John McCall | 2673c68 | 2011-07-11 08:38:19 +0000 | [diff] [blame^] | 1 | // RUN: %clang_cc1 %s -triple=x86_64-apple-darwin10 -emit-llvm -o - -fcxx-exceptions -fexceptions | FileCheck %s |
| 2 | |
| 3 | // Test IR generation for partial destruction of aggregates. |
| 4 | |
| 5 | void opaque(); |
| 6 | |
| 7 | // Initializer lists. |
| 8 | namespace test0 { |
| 9 | struct A { A(int); A(); ~A(); void *v; }; |
| 10 | void test() { |
| 11 | A as[10] = { 5, 7 }; |
| 12 | opaque(); |
| 13 | } |
| 14 | // CHECK: define void @_ZN5test04testEv() |
| 15 | // CHECK: [[AS:%.*]] = alloca [10 x [[A:%.*]]], align |
| 16 | // CHECK-NEXT: [[ENDVAR:%.*]] = alloca [[A]]* |
| 17 | // CHECK-NEXT: [[EXN:%.*]] = alloca i8* |
| 18 | // CHECK-NEXT: [[SEL:%.*]] = alloca i32 |
| 19 | // CHECK-NEXT: [[CLEANUP:%.*]] = alloca i32 |
| 20 | |
| 21 | // Initialize. |
| 22 | // CHECK-NEXT: [[E_BEGIN:%.*]] = getelementptr inbounds [10 x [[A]]]* [[AS]], i64 0, i64 0 |
| 23 | // CHECK-NEXT: store [[A]]* [[E_BEGIN]], [[A]]** [[ENDVAR]] |
| 24 | // CHECK-NEXT: invoke void @_ZN5test01AC1Ei([[A]]* [[E_BEGIN]], i32 5) |
| 25 | // CHECK: [[E1:%.*]] = getelementptr inbounds [[A]]* [[E_BEGIN]], i64 1 |
| 26 | // CHECK-NEXT: store [[A]]* [[E1]], [[A]]** [[ENDVAR]] |
| 27 | // CHECK-NEXT: invoke void @_ZN5test01AC1Ei([[A]]* [[E1]], i32 7) |
| 28 | // CHECK: [[E2:%.*]] = getelementptr inbounds [[A]]* [[E1]], i64 1 |
| 29 | // CHECK-NEXT: store [[A]]* [[E2]], [[A]]** [[ENDVAR]] |
| 30 | // CHECK-NEXT: [[E_END:%.*]] = getelementptr inbounds [[A]]* [[E_BEGIN]], i64 10 |
| 31 | // CHECK-NEXT: br label |
| 32 | // CHECK: [[E_CUR:%.*]] = phi [[A]]* [ [[E2]], {{%.*}} ], [ [[E_NEXT:%.*]], {{%.*}} ] |
| 33 | // CHECK-NEXT: invoke void @_ZN5test01AC1Ev([[A]]* [[E_CUR]]) |
| 34 | // CHECK: [[E_NEXT]] = getelementptr inbounds [[A]]* [[E_CUR]], i64 1 |
| 35 | // CHECK-NEXT: store [[A]]* [[E_NEXT]], [[A]]** [[ENDVAR]] |
| 36 | // CHECK-NEXT: [[T0:%.*]] = icmp eq [[A]]* [[E_NEXT]], [[E_END]] |
| 37 | // CHECK-NEXT: br i1 [[T0]], |
| 38 | |
| 39 | // Run. |
| 40 | // CHECK: invoke void @_Z6opaquev() |
| 41 | |
| 42 | // Normal destroy. |
| 43 | // CHECK: [[ED_BEGIN:%.*]] = getelementptr inbounds [10 x [[A]]]* [[AS]], i32 0, i32 0 |
| 44 | // CHECK-NEXT: [[ED_END:%.*]] = getelementptr inbounds [[A]]* [[ED_BEGIN]], i64 10 |
| 45 | // CHECK-NEXT: br label |
| 46 | // CHECK: [[ED_AFTER:%.*]] = phi [[A]]* [ [[ED_END]], {{%.*}} ], [ [[ED_CUR:%.*]], {{%.*}} ] |
| 47 | // CHECK-NEXT: [[ED_CUR]] = getelementptr inbounds [[A]]* [[ED_AFTER]], i64 -1 |
| 48 | // CHECK-NEXT: invoke void @_ZN5test01AD1Ev([[A]]* [[ED_CUR]]) |
| 49 | // CHECK: [[T0:%.*]] = icmp eq [[A]]* [[ED_CUR]], [[ED_BEGIN]] |
| 50 | // CHECK-NEXT: br i1 [[T0]], |
| 51 | // CHECK: ret void |
| 52 | |
| 53 | // Partial destroy for initialization. |
| 54 | // CHECK: llvm.eh.selector({{.*}}, i32 0) |
| 55 | // CHECK: [[PARTIAL_END:%.*]] = load [[A]]** [[ENDVAR]] |
| 56 | // CHECK-NEXT: [[T0:%.*]] = icmp eq [[A]]* [[E_BEGIN]], [[PARTIAL_END]] |
| 57 | // CHECK-NEXT: br i1 [[T0]], |
| 58 | // CHECK: [[E_AFTER:%.*]] = phi [[A]]* [ [[PARTIAL_END]], {{%.*}} ], [ [[E_CUR:%.*]], {{%.*}} ] |
| 59 | // CHECK-NEXT: [[E_CUR]] = getelementptr inbounds [[A]]* [[E_AFTER]], i64 -1 |
| 60 | // CHECK-NEXT: invoke void @_ZN5test01AD1Ev([[A]]* [[E_CUR]]) |
| 61 | // CHECK: [[T0:%.*]] = icmp eq [[A]]* [[E_CUR]], [[E_BEGIN]] |
| 62 | // CHECK-NEXT: br i1 [[T0]], |
| 63 | |
| 64 | // Primary EH destructor. |
| 65 | // CHECK: llvm.eh.selector({{.*}}, i32 0) |
| 66 | // CHECK: [[E0:%.*]] = getelementptr inbounds [10 x [[A]]]* [[AS]], i32 0, i32 0 |
| 67 | // CHECK-NEXT: [[E_END:%.*]] = getelementptr inbounds [[A]]* [[E0]], i64 10 |
| 68 | // CHECK-NEXT: br label |
| 69 | |
| 70 | // Partial destructor for primary normal destructor. |
| 71 | // FIXME: There's some really bad block ordering here which causes |
| 72 | // the partial destroy for the primary normal destructor to fall |
| 73 | // within the primary EH destructor. |
| 74 | // CHECK: llvm.eh.selector({{.*}}, i32 0) |
| 75 | // CHECK: [[T0:%.*]] = icmp eq [[A]]* [[ED_BEGIN]], [[ED_CUR]] |
| 76 | // CHECK-NEXT: br i1 [[T0]] |
| 77 | // CHECK: [[EDD_AFTER:%.*]] = phi [[A]]* [ [[ED_CUR]], {{%.*}} ], [ [[EDD_CUR:%.*]], {{%.*}} ] |
| 78 | // CHECK-NEXT: [[EDD_CUR]] = getelementptr inbounds [[A]]* [[EDD_AFTER]], i64 -1 |
| 79 | // CHECK-NEXT: invoke void @_ZN5test01AD1Ev([[A]]* [[EDD_CUR]]) |
| 80 | // CHECK: [[T0:%.*]] = icmp eq [[A]]* [[EDD_CUR]], [[ED_BEGIN]] |
| 81 | // CHECK-NEXT: br i1 [[T0]] |
| 82 | |
| 83 | // Back to the primary EH destructor. |
| 84 | // CHECK: [[E_AFTER:%.*]] = phi [[A]]* [ [[E_END]], {{%.*}} ], [ [[E_CUR:%.*]], {{%.*}} ] |
| 85 | // CHECK-NEXT: [[E_CUR]] = getelementptr inbounds [[A]]* [[E_AFTER]], i64 -1 |
| 86 | // CHECK-NEXT: invoke void @_ZN5test01AD1Ev([[A]]* [[E_CUR]]) |
| 87 | // CHECK: [[T0:%.*]] = icmp eq [[A]]* [[E_CUR]], [[E0]] |
| 88 | // CHECK-NEXT: br i1 [[T0]], |
| 89 | |
| 90 | } |