1 // RUN: %clang_cc1 -triple x86_64-apple-darwin10 %s -emit-llvm -o - | FileCheck %s 2 3 void t1(int *a) { 4 delete a; 5 } 6 7 struct S { 8 int a; 9 }; 10 11 // POD types. 12 void t3(S *s) { 13 delete s; 14 } 15 16 // Non-POD 17 struct T { 18 ~T(); 19 int a; 20 }; 21 22 // CHECK: define void @_Z2t4P1T 23 void t4(T *t) { 24 // CHECK: call void @_ZN1TD1Ev 25 // CHECK-NEXT: bitcast 26 // CHECK-NEXT: call void @_ZdlPv 27 delete t; 28 } 29 30 // PR5102 31 template <typename T> 32 class A { 33 public: operator T *() const; 34 }; 35 36 void f() { 37 A<char*> a; 38 39 delete a; 40 } 41 42 namespace test0 { 43 struct A { 44 void *operator new(__SIZE_TYPE__ sz); 45 void operator delete(void *p) { ::operator delete(p); } 46 ~A() {} 47 }; 48 49 // CHECK: define void @_ZN5test04testEPNS_1AE( 50 void test(A *a) { 51 // CHECK: call void @_ZN5test01AD1Ev 52 // CHECK-NEXT: bitcast 53 // CHECK-NEXT: call void @_ZN5test01AdlEPv 54 delete a; 55 } 56 57 // CHECK: define linkonce_odr void @_ZN5test01AD1Ev(%"struct.test0::A"* %this) unnamed_addr 58 // CHECK: define linkonce_odr void @_ZN5test01AdlEPv 59 } 60 61 namespace test1 { 62 struct A { 63 int x; 64 ~A(); 65 }; 66 67 // CHECK: define void @_ZN5test14testEPA10_A20_NS_1AE( 68 void test(A (*arr)[10][20]) { 69 delete [] arr; 70 // CHECK: icmp eq [10 x [20 x [[A:%.*]]]]* [[PTR:%.*]], null 71 // CHECK-NEXT: br i1 72 73 // CHECK: [[BEGIN:%.*]] = getelementptr inbounds [10 x [20 x [[A]]]]* [[PTR]], i32 0, i32 0, i32 0 74 // CHECK-NEXT: [[T0:%.*]] = bitcast [[A]]* [[BEGIN]] to i8* 75 // CHECK-NEXT: [[ALLOC:%.*]] = getelementptr inbounds i8* [[T0]], i64 -8 76 // CHECK-NEXT: [[T1:%.*]] = bitcast i8* [[ALLOC]] to i64* 77 // CHECK-NEXT: [[COUNT:%.*]] = load i64* [[T1]] 78 // CHECK: [[END:%.*]] = getelementptr inbounds [[A]]* [[BEGIN]], i64 [[COUNT]] 79 // CHECK-NEXT: [[ISEMPTY:%.*]] = icmp eq [[A]]* [[BEGIN]], [[END]] 80 // CHECK-NEXT: br i1 [[ISEMPTY]], 81 // CHECK: [[PAST:%.*]] = phi [[A]]* [ [[END]], {{%.*}} ], [ [[CUR:%.*]], {{%.*}} ] 82 // CHECK-NEXT: [[CUR:%.*]] = getelementptr inbounds [[A]]* [[PAST]], i64 -1 83 // CHECK-NEXT: call void @_ZN5test11AD1Ev([[A]]* [[CUR]]) 84 // CHECK-NEXT: [[ISDONE:%.*]] = icmp eq [[A]]* [[CUR]], [[BEGIN]] 85 // CHECK-NEXT: br i1 [[ISDONE]] 86 // CHECK: call void @_ZdaPv(i8* [[ALLOC]]) 87 } 88 } 89 90 namespace test2 { 91 // CHECK: define void @_ZN5test21fEPb 92 void f(bool *b) { 93 // CHECK: call void @_ZdlPv(i8* 94 delete b; 95 // CHECK: call void @_ZdaPv(i8* 96 delete [] b; 97 } 98 } 99 100 namespace test3 { 101 void f(int a[10][20]) { 102 // CHECK: call void @_ZdaPv(i8* 103 delete a; 104 } 105 } 106 107 namespace test4 { 108 // PR10341: ::delete with a virtual destructor 109 struct X { 110 virtual ~X(); 111 void operator delete (void *); 112 }; 113 114 // CHECK: define void @_ZN5test421global_delete_virtualEPNS_1XE 115 void global_delete_virtual(X *xp) { 116 // CHECK: [[VTABLE:%.*]] = load void ([[X:%.*]])*** 117 // CHECK-NEXT: [[VFN:%.*]] = getelementptr inbounds void ([[X]])** [[VTABLE]], i64 0 118 // CHECK-NEXT: [[VFNPTR:%.*]] = load void ([[X]])** [[VFN]] 119 // CHECK-NEXT: call void [[VFNPTR]]([[X]] [[OBJ:%.*]]) 120 // CHECK-NEXT: [[OBJVOID:%.*]] = bitcast [[X]] [[OBJ]] to i8* 121 // CHECK-NEXT: call void @_ZdlPv(i8* [[OBJVOID]]) nounwind 122 ::delete xp; 123 } 124 } 125 126 namespace test5 { 127 struct Incomplete; 128 // CHECK: define void @_ZN5test523array_delete_incompleteEPNS_10IncompleteES1_ 129 void array_delete_incomplete(Incomplete *p1, Incomplete *p2) { 130 // CHECK: call void @_ZdlPv 131 delete p1; 132 // CHECK: call void @_ZdaPv 133 delete [] p2; 134 } 135 } 136
