1 // Check that delete exprs call the sized deallocation function if 2 // -fsized-deallocation is passed in both C++11 and C++14. 3 // RUN: %clang_cc1 -std=c++11 -fsized-deallocation %s -emit-llvm -triple x86_64-linux-gnu -o - | FileCheck %s 4 // RUN: %clang_cc1 -std=c++14 -fsized-deallocation %s -emit-llvm -triple x86_64-linux-gnu -o - | FileCheck %s 5 6 // Check that we don't used sized deallocation without -fsized-deallocation and 7 // C++14. 8 // RUN: %clang_cc1 -std=c++11 %s -emit-llvm -triple x86_64-linux-gnu -o - | FileCheck %s --check-prefix=CHECK-UNSIZED 9 // RUN: %clang_cc1 -std=c++14 %s -emit-llvm -triple x86_64-linux-gnu -o - | FileCheck %s --check-prefix=CHECK-UNSIZED 10 11 // CHECK-UNSIZED-NOT: _ZdlPvm 12 // CHECK-UNSIZED-NOT: _ZdaPvm 13 14 typedef decltype(sizeof(0)) size_t; 15 16 typedef int A; 17 struct B { int n; }; 18 struct C { ~C() {} }; 19 struct D { D(); virtual ~D() {} }; 20 struct E { 21 void *operator new(size_t); 22 void *operator new[](size_t); 23 void operator delete(void *) noexcept; 24 void operator delete[](void *) noexcept; 25 }; 26 struct F { 27 void *operator new(size_t); 28 void *operator new[](size_t); 29 void operator delete(void *, size_t) noexcept; 30 void operator delete[](void *, size_t) noexcept; 31 }; 32 33 template<typename T> T get(); 34 35 template<typename T> 36 void del() { 37 ::delete get<T*>(); 38 ::delete[] get<T*>(); 39 delete get<T*>(); 40 delete[] get<T*>(); 41 } 42 43 template void del<A>(); 44 template void del<B>(); 45 template void del<C>(); 46 template void del<D>(); 47 template void del<E>(); 48 template void del<F>(); 49 50 D::D() {} 51 52 // CHECK-LABEL: define weak_odr void @_Z3delIiEvv() 53 // CHECK: call void @_ZdlPvm(i8* %{{[^ ]*}}, i64 4) 54 // CHECK: call void @_ZdaPv(i8* %{{[^ ]*}}) 55 // 56 // CHECK: call void @_ZdlPvm(i8* %{{[^ ]*}}, i64 4) 57 // CHECK: call void @_ZdaPv(i8* %{{[^ ]*}}) 58 59 // CHECK-LABEL: declare void @_ZdlPvm(i8* 60 61 // CHECK-LABEL: define weak_odr void @_Z3delI1BEvv() 62 // CHECK: call void @_ZdlPvm(i8* %{{[^ ]*}}, i64 4) 63 // CHECK: call void @_ZdaPv(i8* %{{[^ ]*}}) 64 // 65 // CHECK: call void @_ZdlPvm(i8* %{{[^ ]*}}, i64 4) 66 // CHECK: call void @_ZdaPv(i8* %{{[^ ]*}}) 67 68 // CHECK-LABEL: define weak_odr void @_Z3delI1CEvv() 69 // CHECK: call void @_ZdlPvm(i8* %{{[^ ]*}}, i64 1) 70 // CHECK: mul i64 1, %{{[^ ]*}} 71 // CHECK: add i64 %{{[^ ]*}}, 8 72 // CHECK: call void @_ZdaPvm(i8* %{{[^ ]*}}, i64 %{{[^ ]*}}) 73 // 74 // CHECK: call void @_ZdlPvm(i8* %{{[^ ]*}}, i64 1) 75 // CHECK: mul i64 1, %{{[^ ]*}} 76 // CHECK: add i64 %{{[^ ]*}}, 8 77 // CHECK: call void @_ZdaPvm(i8* %{{[^ ]*}}, i64 %{{[^ ]*}}) 78 79 // CHECK-LABEL: declare void @_ZdaPvm(i8* 80 81 // CHECK-LABEL: define weak_odr void @_Z3delI1DEvv() 82 // CHECK: call void @_ZdlPvm(i8* %{{[^ ]*}}, i64 8) 83 // CHECK: mul i64 8, %{{[^ ]*}} 84 // CHECK: add i64 %{{[^ ]*}}, 8 85 // CHECK: call void @_ZdaPvm(i8* %{{[^ ]*}}, i64 %{{[^ ]*}}) 86 // 87 // CHECK-NOT: Zdl 88 // CHECK: call void %{{.*}} 89 // CHECK-NOT: Zdl 90 // CHECK: mul i64 8, %{{[^ ]*}} 91 // CHECK: add i64 %{{[^ ]*}}, 8 92 // CHECK: call void @_ZdaPvm(i8* %{{[^ ]*}}, i64 %{{[^ ]*}}) 93 94 // CHECK-LABEL: define weak_odr void @_Z3delI1EEvv() 95 // CHECK: call void @_ZdlPvm(i8* %{{[^ ]*}}, i64 1) 96 // CHECK: call void @_ZdaPv(i8* %{{[^ ]*}}) 97 // 98 // CHECK: call void @_ZN1EdlEPv(i8* %{{[^ ]*}}) 99 // CHECK: call void @_ZN1EdaEPv(i8* %{{[^ ]*}}) 100 101 // CHECK-LABEL: define weak_odr void @_Z3delI1FEvv() 102 // CHECK: call void @_ZdlPvm(i8* %{{[^ ]*}}, i64 1) 103 // CHECK: mul i64 1, %{{[^ ]*}} 104 // CHECK: add i64 %{{[^ ]*}}, 8 105 // CHECK: call void @_ZdaPvm(i8* %{{[^ ]*}}, i64 %{{[^ ]*}}) 106 // 107 // CHECK: call void @_ZN1FdlEPvm(i8* %{{[^ ]*}}, i64 1) 108 // CHECK: mul i64 1, %{{[^ ]*}} 109 // CHECK: add i64 %{{[^ ]*}}, 8 110 // CHECK: call void @_ZN1FdaEPvm(i8* %{{[^ ]*}}, i64 %{{[^ ]*}}) 111 112 113 // CHECK-LABEL: define linkonce_odr void @_ZN1DD0Ev(%{{[^ ]*}}* %this) 114 // CHECK: call void @_ZdlPvm(i8* %{{[^ ]*}}, i64 8) 115