1 // RUN: %clang_cc1 -triple i686-pc-linux-gnu %s -o - -emit-llvm -verify | FileCheck %s 2 // expected-no-diagnostics 3 4 typedef __typeof(sizeof(int)) size_t; 5 6 namespace test1 { 7 struct A { void operator delete(void*,size_t); int x; }; 8 9 // CHECK-LABEL: define{{.*}} void @_ZN5test11aEPNS_1AE( a(A * x)10 void a(A *x) { 11 // CHECK: load 12 // CHECK-NEXT: icmp eq {{.*}}, null 13 // CHECK-NEXT: br i1 14 // CHECK: call void @_ZN5test11AdlEPvj(ptr noundef %{{.*}}, i32 noundef 4) 15 delete x; 16 } 17 } 18 19 // Check that we make cookies for the two-arg delete even when using 20 // the global allocator and deallocator. 21 namespace test2 { 22 struct A { 23 int x; 24 void *operator new[](size_t); 25 void operator delete[](void *, size_t); 26 }; 27 28 // CHECK: define{{.*}} ptr @_ZN5test24testEv() test()29 A *test() { 30 // CHECK: [[NEW:%.*]] = call noalias noundef nonnull ptr @_Znaj(i32 noundef 44) 31 // CHECK-NEXT: store i32 10, ptr [[NEW]] 32 // CHECK-NEXT: [[T1:%.*]] = getelementptr inbounds i8, ptr [[NEW]], i32 4 33 // CHECK-NEXT: ret ptr [[T1]] 34 return ::new A[10]; 35 } 36 37 // CHECK-LABEL: define{{.*}} void @_ZN5test24testEPNS_1AE( test(A * p)38 void test(A *p) { 39 // CHECK: [[P:%.*]] = alloca ptr, align 4 40 // CHECK-NEXT: store ptr {{%.*}}, ptr [[P]], align 4 41 // CHECK-NEXT: [[T0:%.*]] = load ptr, ptr [[P]], align 4 42 // CHECK-NEXT: [[T1:%.*]] = icmp eq ptr [[T0]], null 43 // CHECK-NEXT: br i1 [[T1]], 44 // CHECK: [[T3:%.*]] = getelementptr inbounds i8, ptr [[T0]], i32 -4 45 // CHECK-NEXT: [[T5:%.*]] = load i32, ptr [[T3]] 46 // CHECK-NEXT: [[T6:%.*]] = mul i32 4, [[T5]] 47 // CHECK-NEXT: [[T7:%.*]] = add i32 [[T6]], 4 48 // CHECK-NEXT: call void @_ZdaPvj(ptr noundef [[T3]], i32 noundef [[T7]]) 49 // CHECK-NEXT: br label 50 ::delete[] p; 51 } 52 } 53 54 namespace test3 { 55 struct A { 56 int x; 57 void operator delete[](void *, size_t); 58 }; 59 struct B : A {}; 60 61 // CHECK-LABEL: define{{.*}} void @_ZN5test34testEv() test()62 void test() { 63 // CHECK: [[CALL:%.*]] = call noalias noundef nonnull ptr @_Znaj(i32 noundef 24) 64 // CHECK-NEXT: store i32 5 65 (void) new B[5]; 66 } 67 } 68