Clang Project

clang_source_code/test/CodeGenCXX/cxx1z-initializer-aggregate.cpp
1// RUN: %clang_cc1 -std=c++1z %s -triple x86_64-linux-gnu -fexceptions -fcxx-exceptions -emit-llvm -o - | FileCheck %s
2
3namespace 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
41namespace 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}
115
116namespace Instantiated1 {
117  struct A { A(); };
118  struct B : A { using A::A; };
119  template<int> B v({});
120  template B v<0>;
121  // CHECK-LABEL: define {{.*}}global_var_init{{.*}} comdat($_ZN13Instantiated11vILi0EEE) {
122  // CHECK: call void @_ZN13Instantiated11BC1Ev(%{{.*}}* @_ZN13Instantiated11vILi0EEE)
123}
124
125namespace Instantiated2 {
126  struct A { A(); };
127  struct B : A {};
128  template<int> B v({});
129  template B v<0>;
130  // CHECK-LABEL: define {{.*}}global_var_init{{.*}} comdat($_ZN13Instantiated21vILi0EEE) {
131  // CHECK: call void @_ZN13Instantiated21AC2Ev(
132}
133
CodeThinker, Enjoy your reading code