1
- // RUN: %clang_cc1 %s -triple x86_64-apple-darwin10 -emit-llvm -o - -mconstructor-aliases -fcxx-exceptions -fexceptions -O1 -disable-llvm-optzns > %t
1
+ // RUN: %clang_cc1 %s -triple x86_64-apple-darwin10 -emit-llvm -o - -mconstructor-aliases -fcxx-exceptions -fexceptions -O1 -disable-llvm-optzns -std=c++03 > %t
2
2
// RUN: FileCheck --check-prefix=CHECK1 --input-file=%t %s
3
3
// RUN: FileCheck --check-prefix=CHECK2 --input-file=%t %s
4
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
- // RUN: %clang_cc1 %s -triple x86_64-apple-darwin10 -emit-llvm -o - -fcxx-exceptions -fexceptions -O1 -disable-llvm-optzns -std=c++11 > %t2
8
- // RUN: FileCheck --check-prefix=CHECK6 --input-file=%t2 %s
5
+ // RUN: FileCheck --check-prefixes=CHECK4,CHECK4v03 --input-file=%t %s
6
+ // RUN: FileCheck --check-prefixes=CHECK5,CHECK5v03 --input-file=%t %s
7
+ // RUN: %clang_cc1 %s -triple x86_64-apple-darwin10 -emit-llvm -o - -mconstructor-aliases -fcxx-exceptions -fexceptions -O1 -disable-llvm-optzns -std=c++11 > %t2
8
+ // RUN: FileCheck --check-prefix=CHECK1 --input-file=%t2 %s
9
+ // RUN: FileCheck --check-prefix=CHECK2v11 --input-file=%t2 %s
10
+ // RUN: FileCheck --check-prefix=CHECK3 --input-file=%t2 %s
11
+ // RUN: FileCheck --check-prefixes=CHECK4,CHECK4v11 --input-file=%t2 %s
12
+ // RUN: FileCheck --check-prefixes=CHECK5,CHECK5v11 --input-file=%t2 %s
13
+ // RUN: FileCheck --check-prefix=CHECK6 --input-file=%t2 %s
9
14
// REQUIRES: asserts
10
15
11
16
struct A {
@@ -98,6 +103,12 @@ namespace test0 {
98
103
// CHECK2: invoke void @_ZN5test04BaseD2Ev
99
104
// CHECK2: unwind label [[BASE_UNWIND:%[a-zA-Z0-9.]+]]
100
105
106
+ // In C++11, the destructors are often known not to throw.
107
+ // CHECK2v11-LABEL: @_ZN5test01AD1Ev = alias {{.*}} @_ZN5test01AD2Ev
108
+ // CHECK2v11-LABEL: define void @_ZN5test01AD2Ev(%"struct.test0::A"* %this) unnamed_addr
109
+ // CHECK2v11: call void @_ZN5test06MemberD1Ev
110
+ // CHECK2v11: call void @_ZN5test04BaseD2Ev
111
+
101
112
struct B : Base, virtual VBase {
102
113
Member M;
103
114
~B ();
@@ -111,13 +122,22 @@ namespace test0 {
111
122
// CHECK2: invoke void @_ZN5test04BaseD2Ev
112
123
// CHECK2: unwind label [[BASE_UNWIND:%[a-zA-Z0-9.]+]]
113
124
125
+ // CHECK2v11-LABEL: define void @_ZN5test01BD2Ev(%"struct.test0::B"* %this, i8** %vtt) unnamed_addr
126
+ // CHECK2v11: call void @_ZN5test06MemberD1Ev
127
+ // CHECK2v11: call void @_ZN5test04BaseD2Ev
128
+
114
129
// CHECK2-LABEL: define void @_ZN5test01BD1Ev(%"struct.test0::B"* %this) unnamed_addr
115
130
// CHECK2: invoke void @_ZN5test06MemberD1Ev
116
131
// CHECK2: unwind label [[MEM_UNWIND:%[a-zA-Z0-9.]+]]
117
132
// CHECK2: invoke void @_ZN5test04BaseD2Ev
118
133
// CHECK2: unwind label [[BASE_UNWIND:%[a-zA-Z0-9.]+]]
119
134
// CHECK2: invoke void @_ZN5test05VBaseD2Ev
120
135
// CHECK2: unwind label [[VBASE_UNWIND:%[a-zA-Z0-9.]+]]
136
+
137
+ // CHECK2v11-LABEL: define void @_ZN5test01BD1Ev(%"struct.test0::B"* %this) unnamed_addr
138
+ // CHECK2v11: call void @_ZN5test06MemberD1Ev
139
+ // CHECK2v11: call void @_ZN5test04BaseD2Ev
140
+ // CHECK2v11: call void @_ZN5test05VBaseD2Ev
121
141
}
122
142
123
143
// Test base-class aliasing.
@@ -189,19 +209,22 @@ namespace test3 {
189
209
}
190
210
191
211
// CHECK4-LABEL: define internal void @_ZN5test312_GLOBAL__N_11CD2Ev(%"struct.test3::(anonymous namespace)::C"* %this) unnamed_addr
192
- // CHECK4: invoke void @_ZN5test31BD2Ev(
212
+ // CHECK4v03: invoke void @_ZN5test31BD2Ev(
213
+ // CHECK4v11: call void @_ZN5test31BD2Ev(
193
214
// CHECK4: call void @_ZN5test31AD2Ev(
194
215
// CHECK4: ret void
195
216
196
217
// CHECK4-LABEL: define internal void @_ZN5test312_GLOBAL__N_11DD0Ev(%"struct.test3::(anonymous namespace)::D"* %this) unnamed_addr
197
- // CHECK4-SAME: personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*)
198
- // CHECK4: invoke void {{.*}} @_ZN5test312_GLOBAL__N_11CD2Ev
218
+ // CHECK4v03-SAME: personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*)
219
+ // CHECK4v03: invoke void {{.*}} @_ZN5test312_GLOBAL__N_11CD2Ev
220
+ // CHECK4v11: call void {{.*}} @_ZN5test312_GLOBAL__N_11CD2Ev
199
221
// CHECK4: call void @_ZdlPv({{.*}}) [[NUW:#[0-9]+]]
200
222
// CHECK4: ret void
201
- // CHECK4: landingpad { i8*, i32 }
202
- // CHECK4-NEXT: cleanup
203
- // CHECK4: call void @_ZdlPv({{.*}}) [[NUW]]
204
- // CHECK4: resume { i8*, i32 }
223
+ // CHECK4v03: landingpad { i8*, i32 }
224
+ // CHECK4v03-NEXT: cleanup
225
+ // CHECK4v03: call void @_ZdlPv({{.*}}) [[NUW]]
226
+ // CHECK4v03: resume { i8*, i32 }
227
+ // CHECK4v11-NOT: landingpad
205
228
206
229
// CHECK4-LABEL: define internal void @_ZThn8_N5test312_GLOBAL__N_11DD1Ev(
207
230
// CHECK4: getelementptr inbounds i8, i8* {{.*}}, i64 -8
@@ -214,14 +237,15 @@ namespace test3 {
214
237
// CHECK4: ret void
215
238
216
239
// CHECK4-LABEL: define internal void @_ZN5test312_GLOBAL__N_11CD0Ev(%"struct.test3::(anonymous namespace)::C"* %this) unnamed_addr
217
- // CHECK4-SAME: personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*)
218
- // CHECK4: invoke void @_ZN5test312_GLOBAL__N_11CD2Ev(
240
+ // CHECK4v03-SAME: personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*)
241
+ // CHECK4v03: invoke void @_ZN5test312_GLOBAL__N_11CD2Ev(
242
+ // CHECK4v11: call void @_ZN5test312_GLOBAL__N_11CD2Ev(
219
243
// CHECK4: call void @_ZdlPv({{.*}}) [[NUW]]
220
244
// CHECK4: ret void
221
- // CHECK4 : landingpad { i8*, i32 }
222
- // CHECK4 -NEXT: cleanup
223
- // CHECK4 : call void @_ZdlPv({{.*}}) [[NUW]]
224
- // CHECK4 : resume { i8*, i32 }
245
+ // CHECK4v03 : landingpad { i8*, i32 }
246
+ // CHECK4v03 -NEXT: cleanup
247
+ // CHECK4v03 : call void @_ZdlPv({{.*}}) [[NUW]]
248
+ // CHECK4v03 : resume { i8*, i32 }
225
249
226
250
// CHECK4-LABEL: define internal void @_ZThn8_N5test312_GLOBAL__N_11CD1Ev(
227
251
// CHECK4: getelementptr inbounds i8, i8* {{.*}}, i64 -8
@@ -282,28 +306,31 @@ namespace test5 {
282
306
283
307
// CHECK5-LABEL: define void @_ZN5test53fooEv()
284
308
// CHECK5: [[ELEMS:%.*]] = alloca [5 x [[A:%.*]]], align
285
- // CHECK5 -NEXT: [[EXN:%.*]] = alloca i8*
286
- // CHECK5 -NEXT: [[SEL:%.*]] = alloca i32
309
+ // CHECK5v03 -NEXT: [[EXN:%.*]] = alloca i8*
310
+ // CHECK5v03 -NEXT: [[SEL:%.*]] = alloca i32
287
311
// CHECK5-NEXT: [[PELEMS:%.*]] = bitcast [5 x [[A]]]* [[ELEMS]] to i8*
288
312
// CHECK5-NEXT: call void @llvm.lifetime.start(i64 5, i8* [[PELEMS]])
289
313
// CHECK5-NEXT: [[BEGIN:%.*]] = getelementptr inbounds [5 x [[A]]], [5 x [[A]]]* [[ELEMS]], i32 0, i32 0
290
314
// CHECK5-NEXT: [[END:%.*]] = getelementptr inbounds [[A]], [[A]]* [[BEGIN]], i64 5
291
315
// CHECK5-NEXT: br label
292
316
// CHECK5: [[POST:%.*]] = phi [[A]]* [ [[END]], {{%.*}} ], [ [[ELT:%.*]], {{%.*}} ]
293
317
// CHECK5-NEXT: [[ELT]] = getelementptr inbounds [[A]], [[A]]* [[POST]], i64 -1
294
- // CHECK5-NEXT: invoke void @_ZN5test51AD1Ev([[A]]* [[ELT]])
318
+ // CHECK5v03-NEXT: invoke void @_ZN5test51AD1Ev([[A]]* [[ELT]])
319
+ // CHECK5v11-NEXT: call void @_ZN5test51AD1Ev([[A]]* [[ELT]])
295
320
// CHECK5: [[T0:%.*]] = icmp eq [[A]]* [[ELT]], [[BEGIN]]
296
321
// CHECK5-NEXT: br i1 [[T0]],
297
322
// CHECK5: call void @llvm.lifetime.end
298
323
// CHECK5-NEXT: ret void
299
324
// lpad
300
- // CHECK5: [[EMPTY:%.*]] = icmp eq [[A]]* [[BEGIN]], [[ELT]]
301
- // CHECK5-NEXT: br i1 [[EMPTY]]
302
- // CHECK5: [[AFTER:%.*]] = phi [[A]]* [ [[ELT]], {{%.*}} ], [ [[CUR:%.*]], {{%.*}} ]
303
- // CHECK5-NEXT: [[CUR:%.*]] = getelementptr inbounds [[A]], [[A]]* [[AFTER]], i64 -1
304
- // CHECK5-NEXT: invoke void @_ZN5test51AD1Ev([[A]]* [[CUR]])
305
- // CHECK5: [[DONE:%.*]] = icmp eq [[A]]* [[CUR]], [[BEGIN]]
306
- // CHECK5-NEXT: br i1 [[DONE]],
325
+ // CHECK5v03: [[EMPTY:%.*]] = icmp eq [[A]]* [[BEGIN]], [[ELT]]
326
+ // CHECK5v03-NEXT: br i1 [[EMPTY]]
327
+ // CHECK5v03: [[AFTER:%.*]] = phi [[A]]* [ [[ELT]], {{%.*}} ], [ [[CUR:%.*]], {{%.*}} ]
328
+ // CHECK5v03-NEXT: [[CUR:%.*]] = getelementptr inbounds [[A]], [[A]]* [[AFTER]], i64 -1
329
+ // CHECK5v03-NEXT: invoke void @_ZN5test51AD1Ev([[A]]* [[CUR]])
330
+ // CHECK5v03: [[DONE:%.*]] = icmp eq [[A]]* [[CUR]], [[BEGIN]]
331
+ // CHECK5v03-NEXT: br i1 [[DONE]],
332
+ // CHECK5v11-NOT: landingpad
333
+ // CHECK5v11: }
307
334
void foo () {
308
335
A elems[5 ];
309
336
}
@@ -334,25 +361,34 @@ namespace test6 {
334
361
C::~C () { opaque (); }
335
362
// CHECK5-LABEL: define void @_ZN5test61CD2Ev(%"struct.test6::C"* %this, i8** %vtt) unnamed_addr
336
363
// CHECK5: invoke void @_ZN5test66opaqueEv
337
- // CHECK5: invoke void @_ZN5test61AD1Ev
338
- // CHECK5: invoke void @_ZN5test61AD1Ev
339
- // CHECK5: invoke void @_ZN5test61AD1Ev
340
- // CHECK5: invoke void @_ZN5test61BILj1EED2Ev
364
+ // CHECK5v03: invoke void @_ZN5test61AD1Ev
365
+ // CHECK5v03: invoke void @_ZN5test61AD1Ev
366
+ // CHECK5v03: invoke void @_ZN5test61AD1Ev
367
+ // CHECK5v03: invoke void @_ZN5test61BILj1EED2Ev
368
+ // CHECK5v11: call void @_ZN5test61AD1Ev
369
+ // CHECK5v11: call void @_ZN5test61AD1Ev
370
+ // CHECK5v11: call void @_ZN5test61AD1Ev
371
+ // CHECK5v11: call void @_ZN5test61BILj1EED2Ev
341
372
// CHECK5: call void @_ZN5test61BILj0EED2Ev
342
373
// CHECK5: ret void
343
- // CHECK5 : invoke void @_ZN5test61AD1Ev
344
- // CHECK5 : invoke void @_ZN5test61AD1Ev
345
- // CHECK5 : invoke void @_ZN5test61AD1Ev
346
- // CHECK5 : invoke void @_ZN5test61BILj1EED2Ev
347
- // CHECK5 : invoke void @_ZN5test61BILj0EED2Ev
374
+ // CHECK5v03 : invoke void @_ZN5test61AD1Ev
375
+ // CHECK5v03 : invoke void @_ZN5test61AD1Ev
376
+ // CHECK5v03 : invoke void @_ZN5test61AD1Ev
377
+ // CHECK5v03 : invoke void @_ZN5test61BILj1EED2Ev
378
+ // CHECK5v03 : invoke void @_ZN5test61BILj0EED2Ev
348
379
349
380
// CHECK5-LABEL: define void @_ZN5test61CD1Ev(%"struct.test6::C"* %this) unnamed_addr
350
- // CHECK5: invoke void @_ZN5test61CD2Ev
351
- // CHECK5: invoke void @_ZN5test61BILj3EED2Ev
352
- // CHECK5: call void @_ZN5test61BILj2EED2Ev
353
- // CHECK5: ret void
354
- // CHECK5: invoke void @_ZN5test61BILj3EED2Ev
355
- // CHECK5: invoke void @_ZN5test61BILj2EED2Ev
381
+ // CHECK5v03: invoke void @_ZN5test61CD2Ev
382
+ // CHECK5v03: invoke void @_ZN5test61BILj3EED2Ev
383
+ // CHECK5v03: call void @_ZN5test61BILj2EED2Ev
384
+ // CHECK5v03: ret void
385
+ // CHECK5v03: invoke void @_ZN5test61BILj3EED2Ev
386
+ // CHECK5v03: invoke void @_ZN5test61BILj2EED2Ev
387
+
388
+ // CHECK5v11: call void @_ZN5test61CD2Ev
389
+ // CHECK5v11: call void @_ZN5test61BILj3EED2Ev
390
+ // CHECK5v11: call void @_ZN5test61BILj2EED2Ev
391
+ // CHECK5v11: ret void
356
392
}
357
393
358
394
// PR 9197
@@ -369,7 +405,8 @@ namespace test7 {
369
405
370
406
// Verify that this doesn't get emitted as an alias
371
407
// CHECK5-LABEL: define void @_ZN5test71BD2Ev(
372
- // CHECK5: invoke void @_ZN5test71DD1Ev(
408
+ // CHECK5v03: invoke void @_ZN5test71DD1Ev(
409
+ // CHECK5v11: call void @_ZN5test71DD1Ev(
373
410
// CHECK5: call void @_ZN5test71AD2Ev(
374
411
B::~B () {}
375
412
}
@@ -394,7 +431,8 @@ namespace test8 {
394
431
// CHECK5: call void @_ZN5test81AC1Ev([[A]]* [[X]])
395
432
// CHECK5-NEXT: br label
396
433
// CHECK5: invoke void @_ZN5test81AC1Ev([[A]]* [[Y]])
397
- // CHECK5: invoke void @_ZN5test81AD1Ev([[A]]* [[Y]])
434
+ // CHECK5v03: invoke void @_ZN5test81AD1Ev([[A]]* [[Y]])
435
+ // CHECK5v11: call void @_ZN5test81AD1Ev([[A]]* [[Y]])
398
436
// CHECK5-NOT: switch
399
437
// CHECK5: invoke void @_ZN5test83dieEv()
400
438
// CHECK5: unreachable
0 commit comments