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 6 void opaque(); 7 8 // Initializer lists. 9 namespace test0 { 10 struct A { A(int); A(); ~A(); void *v; }; test()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 99 namespace test1 { 100 struct A { A(); A(int); ~A(); }; 101 struct B { A x, y, z; int w; }; 102 test()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 133 namespace test2 { 134 struct A { A(); ~A(); }; 135 test()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 171 namespace test3 { 172 struct A { A(); ~A(); void *p; }; 173 struct B { Btest3::B174 B() {} 175 A a; 176 }; 177 test()178 B *test() { 179 return new B[10]; 180 // invoke void @_ZN5test31BD1Ev( 181 } 182 } 183 184 namespace test4 { 185 struct A { A(unsigned i); ~A(); }; test()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