delete.cpp revision a8b20f70d562cdc2679f82d409832b79fc415277
1// RUN: %clang_cc1 -triple x86_64-apple-darwin10 %s -emit-llvm -o - | FileCheck %s 2 3void t1(int *a) { 4 delete a; 5} 6 7struct S { 8 int a; 9}; 10 11// POD types. 12void t3(S *s) { 13 delete s; 14} 15 16// Non-POD 17struct T { 18 ~T(); 19 int a; 20}; 21 22// CHECK: define void @_Z2t4P1T 23void 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 31template <typename T> 32class A { 33 operator T *() const; 34}; 35 36void f() { 37 A<char*> a; 38 39 delete a; 40} 41 42namespace 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 61namespace 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 [[S:%.*]]]]* [[PTR:%.*]], null 71 // CHECK-NEXT: br i1 72 73 // CHECK: [[ARR:%.*]] = getelementptr inbounds [10 x [20 x [[S]]]]* [[PTR]], i32 0, i32 0, i32 0 74 // CHECK-NEXT: bitcast {{.*}} to i8* 75 // CHECK-NEXT: [[ALLOC:%.*]] = getelementptr inbounds {{.*}}, i64 -8 76 // CHECK-NEXT: bitcast i8* [[ALLOC]] to i64* 77 // CHECK-NEXT: load 78 // CHECK-NEXT: store i64 {{.*}}, i64* [[IDX:%.*]] 79 80 // CHECK: load i64* [[IDX]] 81 // CHECK-NEXT: icmp ne {{.*}}, 0 82 // CHECK-NEXT: br i1 83 84 // CHECK: load i64* [[IDX]] 85 // CHECK-NEXT: [[I:%.*]] = sub i64 {{.*}}, 1 86 // CHECK-NEXT: getelementptr inbounds [[S]]* [[ARR]], i64 [[I]] 87 // CHECK-NEXT: call void @_ZN5test11AD1Ev( 88 // CHECK-NEXT: br label 89 90 // CHECK: load i64* [[IDX]] 91 // CHECK-NEXT: sub 92 // CHECK-NEXT: store {{.*}}, i64* [[IDX]] 93 // CHECK-NEXT: br label 94 95 // CHECK: call void @_ZdaPv(i8* [[ALLOC]]) 96 } 97} 98 99namespace test2 { 100 // CHECK: define void @_ZN5test21fEPb 101 void f(bool *b) { 102 // CHECK: call void @_ZdlPv(i8* 103 delete b; 104 // CHECK: call void @_ZdaPv(i8* 105 delete [] b; 106 } 107} 108 109namespace test3 { 110 void f(int a[10][20]) { 111 // CHECK: call void @_ZdaPv(i8* 112 delete a; 113 } 114} 115 116namespace test4 { 117 // PR10341: ::delete with a virtual destructor 118 struct X { 119 virtual ~X(); 120 void operator delete (void *); 121 }; 122 123 // CHECK: define void @_ZN5test421global_delete_virtualEPNS_1XE 124 void global_delete_virtual(X *xp) { 125 // CHECK: [[VTABLE:%.*]] = load void ([[X:%.*]])*** 126 // CHECK-NEXT: [[VFN:%.*]] = getelementptr inbounds void ([[X]])** [[VTABLE]], i64 0 127 // CHECK-NEXT: [[VFNPTR:%.*]] = load void ([[X]])** [[VFN]] 128 // CHECK-NEXT: call void [[VFNPTR]]([[X]] [[OBJ:%.*]]) 129 // CHECK-NEXT: [[OBJVOID:%.*]] = bitcast [[X]] [[OBJ]] to i8* 130 // CHECK-NEXT: call void @_ZdlPv(i8* [[OBJVOID]]) nounwind 131 ::delete xp; 132 } 133} 134