1 // RUN: %clang_cc1 -std=c++1y -fsized-deallocation %s -emit-llvm -triple x86_64-linux-gnu -o - | FileCheck %s 2 // RUN: %clang_cc1 -std=c++1y %s -emit-llvm -triple x86_64-linux-gnu -o - | FileCheck %s --check-prefix=CHECK-UNSIZED 3 4 // CHECK-UNSIZED-NOT: _ZdlPvm 5 // CHECK-UNSIZED-NOT: _ZdaPvm 6 7 typedef decltype(sizeof(0)) size_t; 8 9 typedef int A; 10 struct B { int n; }; 11 struct C { ~C() {} }; 12 struct D { D(); virtual ~D() {} }; 13 struct E { 14 void *operator new(size_t); 15 void *operator new[](size_t); 16 void operator delete(void *) noexcept; 17 void operator delete[](void *) noexcept; 18 }; 19 struct F { 20 void *operator new(size_t); 21 void *operator new[](size_t); 22 void operator delete(void *, size_t) noexcept; 23 void operator delete[](void *, size_t) noexcept; 24 }; 25 26 template<typename T> T get(); 27 28 template<typename T> 29 void del() { 30 ::delete get<T*>(); 31 ::delete[] get<T*>(); 32 } 33 34 template void del<A>(); 35 template void del<B>(); 36 template void del<C>(); 37 template void del<D>(); 38 template void del<E>(); 39 template void del<F>(); 40 41 D::D() {} 42 43 // CHECK-LABEL: define weak_odr void @_Z3delIiEvv() 44 // CHECK: call void @_ZdlPvm(i8* %{{[^ ]*}}, i64 4) 45 // CHECK: call void @_ZdaPv(i8* %{{[^ ]*}}) 46 47 // CHECK-LABEL: define weak_odr void @_Z3delI1BEvv() 48 // CHECK: call void @_ZdlPvm(i8* %{{[^ ]*}}, i64 4) 49 // CHECK: call void @_ZdaPv(i8* %{{[^ ]*}}) 50 51 // CHECK-LABEL: define weak_odr void @_Z3delI1CEvv() 52 // CHECK: call void @_ZdlPvm(i8* %{{[^ ]*}}, i64 1) 53 // CHECK: mul i64 1, %{{[^ ]*}} 54 // CHECK: add i64 %{{[^ ]*}}, 8 55 // CHECK: call void @_ZdaPvm(i8* %{{[^ ]*}}, i64 %{{[^ ]*}}) 56 57 // CHECK-LABEL: define weak_odr void @_Z3delI1DEvv() 58 // CHECK: call void @_ZdlPvm(i8* %{{[^ ]*}}, i64 8) 59 // CHECK: mul i64 8, %{{[^ ]*}} 60 // CHECK: add i64 %{{[^ ]*}}, 8 61 // CHECK: call void @_ZdaPvm(i8* %{{[^ ]*}}, i64 %{{[^ ]*}}) 62 63 // CHECK-LABEL: define weak_odr void @_Z3delI1EEvv() 64 // CHECK: call void @_ZdlPvm(i8* %{{[^ ]*}}, i64 1) 65 // CHECK: call void @_ZdaPv(i8* %{{[^ ]*}}) 66 67 // CHECK-LABEL: define weak_odr void @_Z3delI1FEvv() 68 // CHECK: call void @_ZdlPvm(i8* %{{[^ ]*}}, i64 1) 69 // CHECK: mul i64 1, %{{[^ ]*}} 70 // CHECK: add i64 %{{[^ ]*}}, 8 71 // CHECK: call void @_ZdaPvm(i8* %{{[^ ]*}}, i64 %{{[^ ]*}}) 72 73 // CHECK-LABEL: define void @_Z10member_delv() 74 // CHECK-NOT: Zdl 75 // CHECK: call void %{{[^ ]*}}(%{{[^ ]*}}* % 76 // CHECK-NOT: Zdl 77 // CHECK: } 78 void member_del() { 79 delete get<D*>(); 80 } 81 82 // CHECK-LABEL: define linkonce_odr void @_ZN1DD0Ev(%{{[^ ]*}}* %this) 83 // CHECK: call void @_ZdlPvm(i8* %{{[^ ]*}}, i64 8) 84