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; };
~CC18 struct C { ~C() {} };
~DD19 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>
del()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
D()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