Clang Project

clang_source_code/test/CodeGenCXX/partial-destruction.cpp
1// RUN: %clang_cc1 %s -triple=x86_64-apple-darwin10 -emit-llvm -o - -fcxx-exceptions -fexceptions -std=c++03 | FileCheck %s -check-prefixes=CHECK,CHECKv03
2// RUN: %clang_cc1 %s -triple=x86_64-apple-darwin10 -emit-llvm -o - -fcxx-exceptions -fexceptions -std=c++11 | FileCheck %s -check-prefixes=CHECK,CHECKv11
3
4// Test IR generation for partial destruction of aggregates.
5
6void opaque();
7
8// Initializer lists.
9namespace test0 {
10  struct A { A(int); A(); ~A(); void *v; };
11  void test() {
12    A as[10] = { 5, 7 };
13    opaque();
14  }
15  // CHECK-LABEL:    define void @_ZN5test04testEv()
16  // CHECK-SAME: personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*)
17  // CHECK:      [[AS:%.*]] = alloca [10 x [[A:%.*]]], align
18  // CHECK-NEXT: [[ENDVAR:%.*]] = alloca [[A]]*
19  // CHECK-NEXT: [[EXN:%.*]] = alloca i8*
20  // CHECK-NEXT: [[SEL:%.*]] = alloca i32
21
22  // Initialize.
23  // CHECK-NEXT: [[E_BEGIN:%.*]] = getelementptr inbounds [10 x [[A]]], [10 x [[A]]]* [[AS]], i64 0, i64 0
24  // CHECK-NEXT: store [[A]]* [[E_BEGIN]], [[A]]** [[ENDVAR]]
25  // CHECK-NEXT: invoke void @_ZN5test01AC1Ei([[A]]* [[E_BEGIN]], i32 5)
26  // CHECK:      [[E1:%.*]] = getelementptr inbounds [[A]], [[A]]* [[E_BEGIN]], i64 1
27  // CHECK-NEXT: store [[A]]* [[E1]], [[A]]** [[ENDVAR]]
28  // CHECK-NEXT: invoke void @_ZN5test01AC1Ei([[A]]* [[E1]], i32 7)
29  // CHECK:      [[E2:%.*]] = getelementptr inbounds [[A]], [[A]]* [[E1]], i64 1
30  // CHECK-NEXT: store [[A]]* [[E2]], [[A]]** [[ENDVAR]]
31  // CHECK-NEXT: [[E_END:%.*]] = getelementptr inbounds [[A]], [[A]]* [[E_BEGIN]], i64 10
32  // CHECK-NEXT: br label
33  // CHECK:      [[E_CUR:%.*]] = phi [[A]]* [ [[E2]], {{%.*}} ], [ [[E_NEXT:%.*]], {{%.*}} ]
34  // CHECK-NEXT: invoke void @_ZN5test01AC1Ev([[A]]* [[E_CUR]])
35  // CHECK:      [[E_NEXT]] = getelementptr inbounds [[A]], [[A]]* [[E_CUR]], i64 1
36  // CHECK-NEXT: store [[A]]* [[E_NEXT]], [[A]]** [[ENDVAR]]
37  // CHECK-NEXT: [[T0:%.*]] = icmp eq [[A]]* [[E_NEXT]], [[E_END]]
38  // CHECK-NEXT: br i1 [[T0]],
39
40  // Run.
41  // CHECK:      invoke void @_Z6opaquev()
42
43  // Normal destroy.
44  // CHECK:      [[ED_BEGIN:%.*]] = getelementptr inbounds [10 x [[A]]], [10 x [[A]]]* [[AS]], i32 0, i32 0
45  // CHECK-NEXT: [[ED_END:%.*]] = getelementptr inbounds [[A]], [[A]]* [[ED_BEGIN]], i64 10
46  // CHECK-NEXT: br label
47  // CHECK:      [[ED_AFTER:%.*]] = phi [[A]]* [ [[ED_END]], {{%.*}} ], [ [[ED_CUR:%.*]], {{%.*}} ]
48  // CHECK-NEXT: [[ED_CUR]] = getelementptr inbounds [[A]], [[A]]* [[ED_AFTER]], i64 -1
49  // CHECKv03-NEXT: invoke void @_ZN5test01AD1Ev([[A]]* [[ED_CUR]])
50  // CHECKv11-NEXT: call   void @_ZN5test01AD1Ev([[A]]* [[ED_CUR]])
51  // CHECK:      [[T0:%.*]] = icmp eq [[A]]* [[ED_CUR]], [[ED_BEGIN]]
52  // CHECK-NEXT: br i1 [[T0]],
53  // CHECK:      ret void
54
55  // Partial destroy for initialization.
56  // CHECK:      landingpad { i8*, i32 }
57  // CHECK-NEXT:   cleanup
58  // CHECK:      [[PARTIAL_END:%.*]] = load [[A]]*, [[A]]** [[ENDVAR]]
59  // CHECK-NEXT: [[T0:%.*]] = icmp eq [[A]]* [[E_BEGIN]], [[PARTIAL_END]]
60  // CHECK-NEXT: br i1 [[T0]],
61  // CHECK:      [[E_AFTER:%.*]] = phi [[A]]* [ [[PARTIAL_END]], {{%.*}} ], [ [[E_CUR:%.*]], {{%.*}} ]
62  // CHECK-NEXT: [[E_CUR]] = getelementptr inbounds [[A]], [[A]]* [[E_AFTER]], i64 -1
63  // CHECKv03-NEXT: invoke void @_ZN5test01AD1Ev([[A]]* [[E_CUR]])
64  // CHECKv11-NEXT: call   void @_ZN5test01AD1Ev([[A]]* [[E_CUR]])
65  // CHECK:      [[T0:%.*]] = icmp eq [[A]]* [[E_CUR]], [[E_BEGIN]]
66  // CHECK-NEXT: br i1 [[T0]],
67
68  // Primary EH destructor.
69  // CHECK:      landingpad { i8*, i32 }
70  // CHECK-NEXT:   cleanup
71  // CHECK:      [[E0:%.*]] = getelementptr inbounds [10 x [[A]]], [10 x [[A]]]* [[AS]], i32 0, i32 0
72  // CHECK-NEXT: [[E_END:%.*]] = getelementptr inbounds [[A]], [[A]]* [[E0]], i64 10
73  // CHECK-NEXT: br label
74
75  // Partial destructor for primary normal destructor.
76  // FIXME: There's some really bad block ordering here which causes
77  // the partial destroy for the primary normal destructor to fall
78  // within the primary EH destructor.
79  // CHECKv03:      landingpad { i8*, i32 }
80  // CHECKv03-NEXT:   cleanup
81  // CHECKv03:      [[T0:%.*]] = icmp eq [[A]]* [[ED_BEGIN]], [[ED_CUR]]
82  // CHECKv03-NEXT: br i1 [[T0]]
83  // CHECKv03:      [[EDD_AFTER:%.*]] = phi [[A]]* [ [[ED_CUR]], {{%.*}} ], [ [[EDD_CUR:%.*]], {{%.*}} ]
84  // CHECKv03-NEXT: [[EDD_CUR]] = getelementptr inbounds [[A]], [[A]]* [[EDD_AFTER]], i64 -1
85  // CHECKv03-NEXT: invoke void @_ZN5test01AD1Ev([[A]]* [[EDD_CUR]])
86  // CHECKv03:      [[T0:%.*]] = icmp eq [[A]]* [[EDD_CUR]], [[ED_BEGIN]]
87  // CHECKv03-NEXT: br i1 [[T0]]
88
89  // Back to the primary EH destructor.
90  // CHECK:      [[E_AFTER:%.*]] = phi [[A]]* [ [[E_END]], {{%.*}} ], [ [[E_CUR:%.*]], {{%.*}} ]
91  // CHECK-NEXT: [[E_CUR]] = getelementptr inbounds [[A]], [[A]]* [[E_AFTER]], i64 -1
92  // CHECKv03-NEXT: invoke void @_ZN5test01AD1Ev([[A]]* [[E_CUR]])
93  // CHECKv11-NEXT: call   void @_ZN5test01AD1Ev([[A]]* [[E_CUR]])
94  // CHECK:      [[T0:%.*]] = icmp eq [[A]]* [[E_CUR]], [[E0]]
95  // CHECK-NEXT: br i1 [[T0]],
96
97}
98
99namespace test1 {
100  struct A { A(); A(int); ~A(); };
101  struct B { A x, y, z; int w; };
102
103  void test() {
104    B v = { 5, 6, 7, 8 };
105  }
106  // CHECK-LABEL:    define void @_ZN5test14testEv()
107  // CHECK-SAME: personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*)
108  // CHECK:      [[V:%.*]] = alloca [[B:%.*]], align 4
109  // CHECK-NEXT: alloca i8*
110  // CHECK-NEXT: alloca i32
111  // CHECK-NEXT: [[X:%.*]] = getelementptr inbounds [[B]], [[B]]* [[V]], i32 0, i32 0
112  // CHECK-NEXT: call void @_ZN5test11AC1Ei([[A:%.*]]* [[X]], i32 5)
113  // CHECK-NEXT: [[Y:%.*]] = getelementptr inbounds [[B]], [[B]]* [[V]], i32 0, i32 1
114  // CHECK-NEXT: invoke void @_ZN5test11AC1Ei([[A]]* [[Y]], i32 6)
115  // CHECK:      [[Z:%.*]] = getelementptr inbounds [[B]], [[B]]* [[V]], i32 0, i32 2
116  // CHECK-NEXT: invoke void @_ZN5test11AC1Ei([[A]]* [[Z]], i32 7)
117  // CHECK:      [[W:%.*]] = getelementptr inbounds [[B]], [[B]]* [[V]], i32 0, i32 3
118  // CHECK-NEXT: store i32 8, i32* [[W]], align 4
119  // CHECK-NEXT: call void @_ZN5test11BD1Ev([[B]]* [[V]])
120  // CHECK-NEXT: ret void
121
122  // FIXME: again, the block ordering is pretty bad here
123  // CHECK:      landingpad { i8*, i32 }
124  // CHECK-NEXT:   cleanup
125  // CHECK:      landingpad { i8*, i32 }
126  // CHECK-NEXT:   cleanup
127  // CHECKv03:      invoke void @_ZN5test11AD1Ev([[A]]* [[Y]])
128  // CHECKv03:      invoke void @_ZN5test11AD1Ev([[A]]* [[X]])
129  // CHECKv11:      call   void @_ZN5test11AD1Ev([[A]]* [[Y]])
130  // CHECKv11:      call   void @_ZN5test11AD1Ev([[A]]* [[X]])
131}
132
133namespace test2 {
134  struct A { A(); ~A(); };
135
136  void test() {
137    A v[4][7];
138
139    // CHECK-LABEL:    define void @_ZN5test24testEv()
140    // CHECK-SAME: personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*)
141    // CHECK:      [[V:%.*]] = alloca [4 x [7 x [[A:%.*]]]], align 1
142    // CHECK-NEXT: alloca i8*
143    // CHECK-NEXT: alloca i32
144
145    // Main initialization loop.
146    // CHECK-NEXT: [[BEGIN:%.*]] = getelementptr inbounds [4 x [7 x [[A]]]], [4 x [7 x [[A]]]]* [[V]], i32 0, i32 0, i32 0
147    // CHECK-NEXT: [[END:%.*]] = getelementptr inbounds [[A]], [[A]]* [[BEGIN]], i64 28
148    // CHECK-NEXT: br label
149    // CHECK:      [[CUR:%.*]] = phi [[A]]* [ [[BEGIN]], {{%.*}} ], [ [[NEXT:%.*]], {{%.*}} ]
150    // CHECK-NEXT: invoke void @_ZN5test21AC1Ev([[A]]* [[CUR]])
151    // CHECK:      [[NEXT:%.*]] = getelementptr inbounds [[A]], [[A]]* [[CUR]], i64 1
152    // CHECK-NEXT: [[DONE:%.*]] = icmp eq [[A]]* [[NEXT]], [[END]]
153    // CHECK-NEXT: br i1 [[DONE]],
154
155    // Partial destruction landing pad.
156    // CHECK:      landingpad { i8*, i32 }
157    // CHECK-NEXT:   cleanup
158    // CHECK:      [[EMPTY:%.*]] = icmp eq [[A]]* [[BEGIN]], [[CUR]]
159    // CHECK-NEXT: br i1 [[EMPTY]],
160    // CHECK:      [[PAST:%.*]] = phi [[A]]* [ [[CUR]], {{%.*}} ], [ [[DEL:%.*]], {{%.*}} ]
161    // CHECK-NEXT: [[DEL]] = getelementptr inbounds [[A]], [[A]]* [[PAST]], i64 -1
162    // CHECKv03-NEXT: invoke void @_ZN5test21AD1Ev([[A]]* [[DEL]])
163    // CHECKv11-NEXT: call   void @_ZN5test21AD1Ev([[A]]* [[DEL]])
164    // CHECK:      [[T0:%.*]] = icmp eq [[A]]* [[DEL]], [[BEGIN]]
165    // CHECK-NEXT: br i1 [[T0]],
166  }
167
168}
169
170// PR10351
171namespace test3 {
172  struct A { A(); ~A(); void *p; };
173  struct B {
174    B() {}
175    A a;
176  };
177
178  B *test() {
179    return new B[10];
180    // invoke void @_ZN5test31BD1Ev(
181  }
182}
183
184namespace test4 {
185  struct A { A(unsigned i); ~A(); };
186  void test() {
187    A v[2][3] = { { A(0), A(1), A(2) }, { A(3), A(4), A(5) } };
188  }
189}
190// CHECK-LABEL: define void @_ZN5test44testEv()
191// CHECK:       [[ARRAY:%.*]] = alloca [2 x [3 x [[A:%.*]]]], align
192// CHECK:       [[A0:%.*]] = getelementptr inbounds [2 x [3 x [[A]]]], [2 x [3 x [[A]]]]* [[ARRAY]], i64 0, i64 0
193// CHECK-NEXT:  store [3 x [[A]]]* [[A0]],
194// CHECK-NEXT:  [[A00:%.*]] = getelementptr inbounds [3 x [[A]]], [3 x [[A]]]* [[A0]], i64 0, i64 0
195// CHECK-NEXT:  store [[A]]* [[A00]],
196// CHECK-NEXT:  invoke void @_ZN5test41AC1Ej([[A]]* [[A00]], i32 0)
197// CHECK:       [[A01:%.*]] = getelementptr inbounds [[A]], [[A]]* [[A00]], i64 1
198// CHECK-NEXT:  store [[A]]* [[A01]],
199// CHECK-NEXT:  invoke void @_ZN5test41AC1Ej([[A]]* [[A01]], i32 1)
200// CHECK:       [[A02:%.*]] = getelementptr inbounds [[A]], [[A]]* [[A01]], i64 1
201// CHECK-NEXT:  store [[A]]* [[A02]],
202// CHECK-NEXT:  invoke void @_ZN5test41AC1Ej([[A]]* [[A02]], i32 2)
203// CHECK:       [[A1:%.*]] = getelementptr inbounds [3 x [[A]]], [3 x [[A]]]* [[A0]], i64 1
204// CHECK-NEXT:  store [3 x [[A]]]* [[A1]],
205// CHECK-NEXT:  [[A10:%.*]] = getelementptr inbounds [3 x [[A]]], [3 x [[A]]]* [[A1]], i64 0, i64 0
206// CHECK-NEXT:  store [[A]]* [[A10]],
207// CHECK-NEXT:  invoke void @_ZN5test41AC1Ej([[A]]* [[A10]], i32 3)
208// CHECK:       [[A11:%.*]] = getelementptr inbounds [[A]], [[A]]* [[A10]], i64 1
209// CHECK-NEXT:  store [[A]]* [[A11]],
210// CHECK-NEXT:  invoke void @_ZN5test41AC1Ej([[A]]* [[A11]], i32 4)
211// CHECK:       [[A12:%.*]] = getelementptr inbounds [[A]], [[A]]* [[A11]], i64 1
212// CHECK-NEXT:  store [[A]]* [[A12]],
213// CHECK-NEXT:  invoke void @_ZN5test41AC1Ej([[A]]* [[A12]], i32 5)
214
CodeThinker, Enjoy your reading code