delete.cpp revision f9cce31a1c71e2949cd5f47616a5624f5fedd84d
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 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