xref: /minix3/external/bsd/llvm/dist/clang/test/CodeGenCXX/destructors.cpp (revision 0a6a1f1d05b60e214de2f05a7310ddd1f0e590e7)
1 // RUN: %clang_cc1 %s -triple x86_64-apple-darwin10 -emit-llvm -o - -mconstructor-aliases -fcxx-exceptions -fexceptions -O1 -disable-llvm-optzns > %t
2 // RUN: FileCheck --check-prefix=CHECK1 --input-file=%t %s
3 // RUN: FileCheck --check-prefix=CHECK2 --input-file=%t %s
4 // RUN: FileCheck --check-prefix=CHECK3 --input-file=%t %s
5 // RUN: FileCheck --check-prefix=CHECK4 --input-file=%t %s
6 // RUN: FileCheck --check-prefix=CHECK5 --input-file=%t %s
7 
8 struct A {
9   int a;
10 
11   ~A();
12 };
13 
14 // Base with non-trivial destructor
15 struct B : A {
16   ~B();
17 };
18 
~B()19 B::~B() { }
20 
21 // Field with non-trivial destructor
22 struct C {
23   A a;
24 
25   ~C();
26 };
27 
~C()28 C::~C() { }
29 
30 namespace PR7526 {
31   extern void foo();
32   struct allocator {
33     ~allocator() throw();
34   };
35 
36   struct allocator_derived : allocator { };
37 
38   // CHECK1-LABEL: define void @_ZN6PR75263fooEv()
39   // CHECK1: call void {{.*}} @_ZN6PR75269allocatorD2Ev
40 
41   // CHECK1-LABEL: define void @_ZN6PR75269allocatorD2Ev(%"struct.PR7526::allocator"* %this) unnamed_addr
42   // CHECK1: call void @__cxa_call_unexpected
~allocator()43   allocator::~allocator() throw() { foo(); }
44 
foo()45   void foo() {
46     allocator_derived ad;
47   }
48 }
49 
50 // PR5084
51 template<typename T>
52 class A1 {
53   ~A1();
54 };
55 
56 template<> A1<char>::~A1();
57 
58 // PR5529
59 namespace PR5529 {
60   struct A {
61     ~A();
62   };
63 
~A()64   A::~A() { }
65   struct B : A {
66     virtual ~B();
67   };
68 
~B()69   B::~B()  {}
70 }
71 
72 // FIXME: there's a known problem in the codegen here where, if one
73 // destructor throws, the remaining destructors aren't run.  Fix it,
74 // then make this code check for it.
75 namespace test0 {
76   void foo();
77   struct VBase { ~VBase(); };
78   struct Base { ~Base(); };
79   struct Member { ~Member(); };
80 
81   struct A : Base {
82     Member M;
83     ~A();
84   };
85 
86   // The function-try-block won't suppress -mconstructor-aliases here.
~A()87   A::~A() try { } catch (int i) {}
88 
89 // complete destructor alias tested above
90 
91 // CHECK2-LABEL: @_ZN5test01AD1Ev = alias {{.*}} @_ZN5test01AD2Ev
92 // CHECK2-LABEL: define void @_ZN5test01AD2Ev(%"struct.test0::A"* %this) unnamed_addr
93 // CHECK2: invoke void @_ZN5test06MemberD1Ev
94 // CHECK2:   unwind label [[MEM_UNWIND:%[a-zA-Z0-9.]+]]
95 // CHECK2: invoke void @_ZN5test04BaseD2Ev
96 // CHECK2:   unwind label [[BASE_UNWIND:%[a-zA-Z0-9.]+]]
97 
98   struct B : Base, virtual VBase {
99     Member M;
100     ~B();
101   };
~B()102   B::~B() try { } catch (int i) {}
103   // It will suppress the delegation optimization here, though.
104 
105 // CHECK2-LABEL: define void @_ZN5test01BD2Ev(%"struct.test0::B"* %this, i8** %vtt) unnamed_addr
106 // CHECK2: invoke void @_ZN5test06MemberD1Ev
107 // CHECK2:   unwind label [[MEM_UNWIND:%[a-zA-Z0-9.]+]]
108 // CHECK2: invoke void @_ZN5test04BaseD2Ev
109 // CHECK2:   unwind label [[BASE_UNWIND:%[a-zA-Z0-9.]+]]
110 
111 // CHECK2-LABEL: define void @_ZN5test01BD1Ev(%"struct.test0::B"* %this) unnamed_addr
112 // CHECK2: invoke void @_ZN5test06MemberD1Ev
113 // CHECK2:   unwind label [[MEM_UNWIND:%[a-zA-Z0-9.]+]]
114 // CHECK2: invoke void @_ZN5test04BaseD2Ev
115 // CHECK2:   unwind label [[BASE_UNWIND:%[a-zA-Z0-9.]+]]
116 // CHECK2: invoke void @_ZN5test05VBaseD2Ev
117 // CHECK2:   unwind label [[VBASE_UNWIND:%[a-zA-Z0-9.]+]]
118 }
119 
120 // Test base-class aliasing.
121 namespace test1 {
122   struct A { ~A(); char ***m; }; // non-trivial destructor
123   struct B { ~B(); }; // non-trivial destructor
124   struct Empty { }; // trivial destructor, empty
125   struct NonEmpty { int x; }; // trivial destructor, non-empty
126 
127   // There must be a definition in this translation unit for the alias
128   // optimization to apply.
~A()129   A::~A() { delete m; }
130 
131   struct M : A { ~M(); };
~M()132   M::~M() {}
133   // CHECK3: @_ZN5test11MD2Ev = alias {{.*}} @_ZN5test11AD2Ev
134 
135   struct N : A, Empty { ~N(); };
~N()136   N::~N() {}
137   // CHECK3: @_ZN5test11ND2Ev = alias {{.*}} @_ZN5test11AD2Ev
138 
139   struct O : Empty, A { ~O(); };
~O()140   O::~O() {}
141   // CHECK3: @_ZN5test11OD2Ev = alias {{.*}} @_ZN5test11AD2Ev
142 
143   struct P : NonEmpty, A { ~P(); };
~P()144   P::~P() {} // CHECK3-LABEL: define void @_ZN5test11PD2Ev(%"struct.test1::P"* %this) unnamed_addr
145 
146   struct Q : A, B { ~Q(); };
~Q()147   Q::~Q() {} // CHECK3-LABEL: define void @_ZN5test11QD2Ev(%"struct.test1::Q"* %this) unnamed_addr
148 
149   struct R : A { ~R(); };
~R()150   R::~R() { A a; } // CHECK3-LABEL: define void @_ZN5test11RD2Ev(%"struct.test1::R"* %this) unnamed_addr
151 
152   struct S : A { ~S(); int x; };
~S()153   S::~S() {}
154   // CHECK4: @_ZN5test11SD2Ev = alias bitcast {{.*}} @_ZN5test11AD2Ev
155 
156   struct T : A { ~T(); B x; };
~T()157   T::~T() {} // CHECK4-LABEL: define void @_ZN5test11TD2Ev(%"struct.test1::T"* %this) unnamed_addr
158 
159   // The VTT parameter prevents this.  We could still make this work
160   // for calling conventions that are safe against extra parameters.
161   struct U : A, virtual B { ~U(); };
~U()162   U::~U() {} // CHECK4-LABEL: define void @_ZN5test11UD2Ev(%"struct.test1::U"* %this, i8** %vtt) unnamed_addr
163 }
164 
165 // PR6471
166 namespace test2 {
167   struct A { ~A(); char ***m; };
168   struct B : A { ~B(); };
169 
~B()170   B::~B() {}
171   // CHECK4-LABEL: define void @_ZN5test21BD2Ev(%"struct.test2::B"* %this) unnamed_addr
172   // CHECK4: call void @_ZN5test21AD2Ev
173 }
174 
175 // PR7142
176 namespace test3 {
177   struct A { virtual ~A(); };
178   struct B { virtual ~B(); };
179   namespace { // internal linkage => deferred
180     struct C : A, B {}; // ~B() in D requires a this-adjustment thunk
181     struct D : C {};    // D::~D() is an alias to C::~C()
182   }
183 
test()184   void test() {
185     new D; // Force emission of D's vtable
186   }
187 
188   // CHECK4-LABEL: define internal void @_ZN5test312_GLOBAL__N_11DD0Ev(%"struct.test3::(anonymous namespace)::D"* %this) unnamed_addr
189   // CHECK4: invoke void {{.*}} @_ZN5test312_GLOBAL__N_11CD2Ev
190   // CHECK4: call void @_ZdlPv({{.*}}) [[NUW:#[0-9]+]]
191   // CHECK4: ret void
192   // CHECK4: landingpad { i8*, i32 } personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*)
193   // CHECK4-NEXT: cleanup
194   // CHECK4: call void @_ZdlPv({{.*}}) [[NUW]]
195   // CHECK4: resume { i8*, i32 }
196 
197   // CHECK4-LABEL: define internal void @_ZThn8_N5test312_GLOBAL__N_11DD1Ev(
198   // CHECK4: getelementptr inbounds i8* {{.*}}, i64 -8
199   // CHECK4: call void {{.*}} @_ZN5test312_GLOBAL__N_11CD2Ev
200   // CHECK4: ret void
201 
202   // CHECK4-LABEL: define internal void @_ZThn8_N5test312_GLOBAL__N_11DD0Ev(
203   // CHECK4: getelementptr inbounds i8* {{.*}}, i64 -8
204   // CHECK4: call void @_ZN5test312_GLOBAL__N_11DD0Ev(
205   // CHECK4: ret void
206 
207   // CHECK4-LABEL: declare void @_ZN5test31BD2Ev(
208   // CHECK4-LABEL: declare void @_ZN5test31AD2Ev(
209 
210   // CHECK4-LABEL: define internal void @_ZN5test312_GLOBAL__N_11CD2Ev(%"struct.test3::(anonymous namespace)::C"* %this) unnamed_addr
211   // CHECK4: invoke void @_ZN5test31BD2Ev(
212   // CHECK4: call void @_ZN5test31AD2Ev(
213   // CHECK4: ret void
214 
215 
216   // CHECK4-LABEL: define internal void @_ZN5test312_GLOBAL__N_11CD0Ev(%"struct.test3::(anonymous namespace)::C"* %this) unnamed_addr
217   // CHECK4: invoke void @_ZN5test312_GLOBAL__N_11CD2Ev(
218   // CHECK4: call void @_ZdlPv({{.*}}) [[NUW]]
219   // CHECK4: ret void
220   // CHECK4: landingpad { i8*, i32 } personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*)
221   // CHECK4-NEXT: cleanup
222   // CHECK4: call void @_ZdlPv({{.*}}) [[NUW]]
223   // CHECK4: resume { i8*, i32 }
224 
225   // CHECK4-LABEL: define internal void @_ZThn8_N5test312_GLOBAL__N_11CD1Ev(
226   // CHECK4: getelementptr inbounds i8* {{.*}}, i64 -8
227   // CHECK4: call void @_ZN5test312_GLOBAL__N_11CD2Ev(
228   // CHECK4: ret void
229 
230   // CHECK4-LABEL: define internal void @_ZThn8_N5test312_GLOBAL__N_11CD0Ev(
231   // CHECK4: getelementptr inbounds i8* {{.*}}, i64 -8
232   // CHECK4: call void @_ZN5test312_GLOBAL__N_11CD0Ev(
233   // CHECK4: ret void
234 
235   // CHECK4: attributes [[NUW]] = {{[{].*}} nounwind {{.*[}]}}
236 }
237 
238 namespace test4 {
239   struct A { ~A(); };
240 
241   // CHECK5-LABEL: define void @_ZN5test43fooEv()
242   // CHECK5: call void @_ZN5test41AD1Ev
243   // CHECK5: ret void
foo()244   void foo() {
245     {
246       A a;
247       goto failure;
248     }
249 
250   failure:
251     return;
252   }
253 
254   // CHECK5-LABEL: define void @_ZN5test43barEi(
255   // CHECK5:      [[X:%.*]] = alloca i32
256   // CHECK5-NEXT: [[A:%.*]] = alloca
257   // CHECK5:      br label
258   // CHECK5:      [[TMP:%.*]] = load i32* [[X]]
259   // CHECK5-NEXT: [[CMP:%.*]] = icmp ne i32 [[TMP]], 0
260   // CHECK5-NEXT: br i1
261   // CHECK5:      call void @_ZN5test41AD1Ev(
262   // CHECK5:      br label
263   // CHECK5:      [[TMP:%.*]] = load i32* [[X]]
264   // CHECK5:      [[TMP2:%.*]] = add nsw i32 [[TMP]], -1
265   // CHECK5:      store i32 [[TMP2]], i32* [[X]]
266   // CHECK5:      br label
267   // CHECK5:      ret void
bar(int x)268   void bar(int x) {
269     for (A a; x; ) {
270       x--;
271     }
272   }
273 }
274 
275 // PR7575
276 namespace test5 {
277   struct A { ~A(); };
278 
279   // CHECK5-LABEL: define void @_ZN5test53fooEv()
280   // CHECK5:      [[ELEMS:%.*]] = alloca [5 x [[A:%.*]]], align
281   // CHECK5-NEXT: [[EXN:%.*]] = alloca i8*
282   // CHECK5-NEXT: [[SEL:%.*]] = alloca i32
283   // CHECK5-NEXT: [[BEGIN:%.*]] = getelementptr inbounds [5 x [[A]]]* [[ELEMS]], i32 0, i32 0
284   // CHECK5-NEXT: [[END:%.*]] = getelementptr inbounds [[A]]* [[BEGIN]], i64 5
285   // CHECK5-NEXT: br label
286   // CHECK5:      [[POST:%.*]] = phi [[A]]* [ [[END]], {{%.*}} ], [ [[ELT:%.*]], {{%.*}} ]
287   // CHECK5-NEXT: [[ELT]] = getelementptr inbounds [[A]]* [[POST]], i64 -1
288   // CHECK5-NEXT: invoke void @_ZN5test51AD1Ev([[A]]* [[ELT]])
289   // CHECK5:      [[T0:%.*]] = icmp eq [[A]]* [[ELT]], [[BEGIN]]
290   // CHECK5-NEXT: br i1 [[T0]],
291   // CHECK5:      ret void
292   // lpad
293   // CHECK5:      [[EMPTY:%.*]] = icmp eq [[A]]* [[BEGIN]], [[ELT]]
294   // CHECK5-NEXT: br i1 [[EMPTY]]
295   // CHECK5:      [[AFTER:%.*]] = phi [[A]]* [ [[ELT]], {{%.*}} ], [ [[CUR:%.*]], {{%.*}} ]
296   // CHECK5-NEXT: [[CUR:%.*]] = getelementptr inbounds [[A]]* [[AFTER]], i64 -1
297   // CHECK5-NEXT: invoke void @_ZN5test51AD1Ev([[A]]* [[CUR]])
298   // CHECK5:      [[DONE:%.*]] = icmp eq [[A]]* [[CUR]], [[BEGIN]]
299   // CHECK5-NEXT: br i1 [[DONE]],
foo()300   void foo() {
301     A elems[5];
302   }
303 }
304 
305 namespace test6 {
306   void opaque();
307 
308   struct A { ~A(); };
309   template <unsigned> struct B { B(); ~B(); int _; };
310   struct C : B<0>, B<1>, virtual B<2>, virtual B<3> {
311     A x, y, z;
312 
313     C();
314     ~C();
315   };
316 
C()317   C::C() { opaque(); }
318   // CHECK5-LABEL: define void @_ZN5test61CC1Ev(%"struct.test6::C"* %this) unnamed_addr
319   // CHECK5:   call void @_ZN5test61BILj2EEC2Ev
320   // CHECK5:   invoke void @_ZN5test61BILj3EEC2Ev
321   // CHECK5:   invoke void @_ZN5test61BILj0EEC2Ev
322   // CHECK5:   invoke void @_ZN5test61BILj1EEC2Ev
323   // CHECK5:   invoke void @_ZN5test66opaqueEv
324   // CHECK5:   ret void
325   // FIXME: way too much EH cleanup code follows
326 
~C()327   C::~C() { opaque(); }
328   // CHECK5-LABEL: define void @_ZN5test61CD2Ev(%"struct.test6::C"* %this, i8** %vtt) unnamed_addr
329   // CHECK5:   invoke void @_ZN5test66opaqueEv
330   // CHECK5:   invoke void @_ZN5test61AD1Ev
331   // CHECK5:   invoke void @_ZN5test61AD1Ev
332   // CHECK5:   invoke void @_ZN5test61AD1Ev
333   // CHECK5:   invoke void @_ZN5test61BILj1EED2Ev
334   // CHECK5:   call void @_ZN5test61BILj0EED2Ev
335   // CHECK5:   ret void
336   // CHECK5:   invoke void @_ZN5test61AD1Ev
337   // CHECK5:   invoke void @_ZN5test61AD1Ev
338   // CHECK5:   invoke void @_ZN5test61AD1Ev
339   // CHECK5:   invoke void @_ZN5test61BILj1EED2Ev
340   // CHECK5:   invoke void @_ZN5test61BILj0EED2Ev
341 
342   // CHECK5-LABEL: define void @_ZN5test61CD1Ev(%"struct.test6::C"* %this) unnamed_addr
343   // CHECK5:   invoke void @_ZN5test61CD2Ev
344   // CHECK5:   invoke void @_ZN5test61BILj3EED2Ev
345   // CHECK5:   call void @_ZN5test61BILj2EED2Ev
346   // CHECK5:   ret void
347   // CHECK5:   invoke void @_ZN5test61BILj3EED2Ev
348   // CHECK5:   invoke void @_ZN5test61BILj2EED2Ev
349 }
350 
351 // PR 9197
352 namespace test7 {
353   struct D { ~D(); };
354 
355   struct A { ~A(); };
~A()356   A::~A() { }
357 
358   struct B : public A {
359     ~B();
360     D arr[1];
361   };
362 
363   // Verify that this doesn't get emitted as an alias
364   // CHECK5-LABEL: define void @_ZN5test71BD2Ev(
365   // CHECK5:   invoke void @_ZN5test71DD1Ev(
366   // CHECK5:   call void @_ZN5test71AD2Ev(
~B()367   B::~B() {}
368 }
369 
370 // PR10467
371 namespace test8 {
372   struct A { A(); ~A(); };
373 
374   void die() __attribute__((noreturn));
test()375   void test() {
376     A x;
377     while (1) {
378       A y;
379       goto l;
380     }
381   l: die();
382   }
383 
384   // CHECK5-LABEL:    define void @_ZN5test84testEv()
385   // CHECK5:      [[X:%.*]] = alloca [[A:%.*]], align 1
386   // CHECK5-NEXT: [[Y:%.*]] = alloca [[A:%.*]], align 1
387   // CHECK5:      call void @_ZN5test81AC1Ev([[A]]* [[X]])
388   // CHECK5-NEXT: br label
389   // CHECK5:      invoke void @_ZN5test81AC1Ev([[A]]* [[Y]])
390   // CHECK5:      invoke void @_ZN5test81AD1Ev([[A]]* [[Y]])
391   // CHECK5-NOT:  switch
392   // CHECK5:      invoke void @_ZN5test83dieEv()
393   // CHECK5:      unreachable
394 }
395 
396 // PR12710
397 namespace test9 {
398   struct ArgType {
399     ~ArgType();
400   };
401   template<typename T>
402   void f1(const ArgType& = ArgType());
403   void f2();
bar()404   void bar() {
405     f1<int>();
406     f2();
407   }
408   // CHECK5: call void @_ZN5test97ArgTypeD1Ev(%"struct.test9::ArgType"* %
409   // CHECK5: call void @_ZN5test92f2Ev()
410 }
411 
412 namespace test10 {
413   // We used to crash trying to replace _ZN6test106OptionD1Ev with
414   // _ZN6test106OptionD2Ev twice.
415   struct Option {
~Optiontest10::Option416     virtual ~Option() {}
417   };
418   template <class DataType> class opt : public Option {};
419   template class opt<int>;
420   // CHECK5-LABEL: define zeroext i1 @_ZN6test1016handleOccurrenceEv(
handleOccurrence()421   bool handleOccurrence() {
422     // CHECK5: call void @_ZN6test106OptionD2Ev(
423     Option x;
424     return true;
425   }
426 }
427