| Richard Smith | 872307e | 2016-03-08 22:17:41 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -std=c++1z %s -triple x86_64-linux-gnu -fexceptions -fcxx-exceptions -emit-llvm -o - | FileCheck %s |
| 2 | |
| 3 | namespace Constant { |
| 4 | struct A { |
| 5 | int n; |
| 6 | char k; |
| 7 | ~A(); |
| 8 | }; |
| 9 | |
| 10 | struct B { |
| 11 | char k2; |
| 12 | }; |
| 13 | |
| 14 | struct C : B {}; |
| 15 | |
| 16 | struct D : A, C {}; |
| 17 | |
| 18 | C c1 = {}; |
| 19 | C c2 = {1}; |
| 20 | // CHECK: @_ZN8Constant2c1E = global { i8 } zeroinitializer, align 1 |
| 21 | // CHECK: @_ZN8Constant2c2E = global { i8 } { i8 1 }, align 1 |
| 22 | |
| 23 | // Test packing bases into tail padding. |
| 24 | D d1 = {}; |
| 25 | D d2 = {1, 2, 3}; |
| 26 | D d3 = {1}; |
| 27 | // CHECK: @_ZN8Constant2d1E = global { i32, i8, i8 } zeroinitializer, align 4 |
| 28 | // CHECK: @_ZN8Constant2d2E = global { i32, i8, i8 } { i32 1, i8 2, i8 3 }, align 4 |
| 29 | // CHECK: @_ZN8Constant2d3E = global { i32, i8, i8 } { i32 1, i8 0, i8 0 }, align 4 |
| 30 | |
| 31 | // CHECK-LABEL: define {{.*}}global_var_init |
| 32 | // CHECK: call {{.*}} @__cxa_atexit({{.*}} @_ZN8Constant1DD1Ev {{.*}} @_ZN8Constant2d1E |
| 33 | |
| 34 | // CHECK-LABEL: define {{.*}}global_var_init |
| 35 | // CHECK: call {{.*}} @__cxa_atexit({{.*}} @_ZN8Constant1DD1Ev {{.*}} @_ZN8Constant2d2E |
| 36 | |
| 37 | // CHECK-LABEL: define {{.*}}global_var_init |
| 38 | // CHECK: call {{.*}} @__cxa_atexit({{.*}} @_ZN8Constant1DD1Ev {{.*}} @_ZN8Constant2d3E |
| 39 | } |
| 40 | |
| 41 | namespace Dynamic { |
| 42 | struct A { |
| 43 | A(); |
| 44 | A(int); |
| 45 | A(const char*, unsigned); |
| 46 | ~A(); |
| 47 | void *p; |
| 48 | }; |
| 49 | |
| 50 | struct B { |
| 51 | ~B(); |
| 52 | int n = 5; |
| 53 | }; |
| 54 | |
| 55 | struct C { |
| 56 | C(bool = true); |
| 57 | }; |
| 58 | |
| 59 | int f(), g(), h(), i(); |
| 60 | struct D : A, B, C { |
| 61 | int n = f(); |
| 62 | }; |
| 63 | |
| 64 | D d1 = {}; |
| 65 | // CHECK-LABEL: define {{.*}}global_var_init |
| 66 | // CHECK: call void @_ZN7Dynamic1AC2Ev({{.*}} @_ZN7Dynamic2d1E |
| 67 | // CHECK: store i32 5, {{.*}}i8* getelementptr inbounds {{.*}} @_ZN7Dynamic2d1E{{.*}}, i64 8 |
| 68 | // CHECK: invoke void @_ZN7Dynamic1CC2Eb({{.*}} @_ZN7Dynamic2d1E{{.*}}, i1 zeroext true) |
| 69 | // CHECK: unwind label %[[UNWIND:.*]] |
| 70 | // CHECK: invoke i32 @_ZN7Dynamic1fEv() |
| 71 | // CHECK: unwind label %[[UNWIND:.*]] |
| 72 | // CHECK: store i32 {{.*}}, i32* getelementptr {{.*}} @_ZN7Dynamic2d1E, i32 0, i32 2 |
| 73 | // CHECK: call {{.*}} @__cxa_atexit({{.*}} @_ZN7Dynamic1DD1Ev {{.*}} @_ZN7Dynamic2d1E |
| 74 | // CHECK: ret |
| 75 | // |
| 76 | // UNWIND: |
| 77 | // CHECK: call void @_ZN7Dynamic1BD1Ev({{.*}}i8* getelementptr inbounds {{.*}} @_ZN7Dynamic2d1E{{.*}}, i64 8 |
| 78 | // CHECK: call void @_ZN7Dynamic1AD1Ev({{.*}} @_ZN7Dynamic2d1E |
| 79 | |
| 80 | D d2 = {1, 2, false}; |
| 81 | // CHECK-LABEL: define {{.*}}global_var_init |
| 82 | // CHECK: call void @_ZN7Dynamic1AC1Ei({{.*}} @_ZN7Dynamic2d2E{{.*}}, i32 1) |
| 83 | // CHECK: store i32 2, {{.*}}i8* getelementptr inbounds {{.*}}@_ZN7Dynamic2d2E{{.*}}, i64 8 |
| 84 | // CHECK: invoke void @_ZN7Dynamic1CC1Eb({{.*}} @_ZN7Dynamic2d2E{{.*}}, i1 zeroext false) |
| 85 | // CHECK: invoke i32 @_ZN7Dynamic1fEv() |
| 86 | // CHECK: store i32 {{.*}}, i32* getelementptr {{.*}} @_ZN7Dynamic2d2E, i32 0, i32 2 |
| 87 | // CHECK: call {{.*}} @__cxa_atexit({{.*}} @_ZN7Dynamic1DD1Ev {{.*}} @_ZN7Dynamic2d2E |
| 88 | // CHECK: ret void |
| 89 | |
| 90 | D d3 = {g(), h(), {}, i()}; |
| 91 | // CHECK-LABEL: define {{.*}}global_var_init |
| 92 | // CHECK: %[[G_CALL:.*]] = call i32 @_ZN7Dynamic1gEv() |
| 93 | // CHECK: call void @_ZN7Dynamic1AC1Ei({{.*}} @_ZN7Dynamic2d3E{{.*}}, i32 %[[G_CALL]]) |
| 94 | // CHECK: %[[H_CALL:.*]] = invoke i32 @_ZN7Dynamic1hEv() |
| 95 | // CHECK: unwind label %[[DESTROY_A_LPAD:.*]] |
| 96 | // CHECK: store i32 %[[H_CALL]], {{.*}}i8* getelementptr inbounds {{.*}} @_ZN7Dynamic2d3E{{.*}}, i64 8 |
| 97 | // CHECK: invoke void @_ZN7Dynamic1CC2Eb({{.*}} @_ZN7Dynamic2d3E{{.*}}, i1 zeroext true) |
| 98 | // CHECK: unwind label %[[DESTROY_AB_LPAD:.*]] |
| 99 | // CHECK: %[[I_CALL:.*]] = invoke i32 @_ZN7Dynamic1iEv() |
| 100 | // CHECK: unwind label %[[DESTROY_AB_LPAD:.*]] |
| 101 | // CHECK: store i32 %[[I_CALL]], i32* getelementptr {{.*}} @_ZN7Dynamic2d3E, i32 0, i32 2 |
| 102 | // CHECK: call {{.*}} @__cxa_atexit({{.*}} @_ZN7Dynamic1DD1Ev {{.*}} @_ZN7Dynamic2d3E to i8* |
| 103 | // CHECK: ret |
| 104 | // |
| 105 | // DESTROY_A_LPAD: |
| 106 | // CHECK: br label %[[A_CLEANUP:.*]] |
| 107 | // |
| 108 | // DESTROY_B_LPAD: |
| 109 | // CHECK: call void @_ZN7Dynamic1BD1Ev({{.*}}i8* getelementptr inbounds {{.*}} @_ZN7Dynamic2d3E{{.*}}, i64 8 |
| 110 | // CHECK: br label %[[A_CLEANUP:.*]] |
| 111 | // |
| 112 | // A_CLEANUP: |
| 113 | // CHECK: call void @_ZN7Dynamic1AD1Ev({{.*}} @_ZN7Dynamic2d3E |
| 114 | } |