1*67e74705SXin Li // RUN: %clang_cc1 -w -triple x86_64-elf-gnu -emit-llvm -o - %s -std=c++11 | FileCheck %s
2*67e74705SXin Li
3*67e74705SXin Li // FIXME: The padding in all these objects should be zero-initialized.
4*67e74705SXin Li namespace StructUnion {
5*67e74705SXin Li struct A {
6*67e74705SXin Li int n;
7*67e74705SXin Li double d;
8*67e74705SXin Li union U {
U(int x)9*67e74705SXin Li constexpr U(int x) : x(x) {}
U(const char * y)10*67e74705SXin Li constexpr U(const char *y) : y(y) {}
11*67e74705SXin Li int x;
12*67e74705SXin Li const char *y;
13*67e74705SXin Li } u;
14*67e74705SXin Li
AStructUnion::A15*67e74705SXin Li constexpr A(int n, double d, int x) : n(n), d(d), u(x) {}
AStructUnion::A16*67e74705SXin Li constexpr A(int n, double d, const char *y) : n(n), d(d), u(y) {}
17*67e74705SXin Li };
18*67e74705SXin Li
19*67e74705SXin Li // CHECK: @_ZN11StructUnion1aE = constant {{.*}} { i32 1, double 2.000000e+00, {{.*}} { i32 3, [4 x i8] undef } }
20*67e74705SXin Li extern constexpr A a(1, 2.0, 3);
21*67e74705SXin Li
22*67e74705SXin Li // CHECK: @_ZN11StructUnion1bE = constant {{.*}} { i32 4, double 5.000000e+00, {{.*}} { i8* getelementptr inbounds ([6 x i8], [6 x i8]* @{{.*}}, i32 0, i32 0) } }
23*67e74705SXin Li extern constexpr A b(4, 5, "hello");
24*67e74705SXin Li
25*67e74705SXin Li struct B {
26*67e74705SXin Li int n;
27*67e74705SXin Li };
28*67e74705SXin Li
29*67e74705SXin Li // CHECK: @_ZN11StructUnion1cE = global {{.*}} zeroinitializer
30*67e74705SXin Li // CHECK: @_ZN11StructUnion2c2E = global {{.*}} zeroinitializer
31*67e74705SXin Li B c;
32*67e74705SXin Li B c2 = B();
33*67e74705SXin Li
34*67e74705SXin Li // CHECK: @_ZN11StructUnion1dE = global {{.*}} zeroinitializer
35*67e74705SXin Li B d[10];
36*67e74705SXin Li
37*67e74705SXin Li struct C {
CStructUnion::C38*67e74705SXin Li constexpr C() : c(0) {}
39*67e74705SXin Li int c;
40*67e74705SXin Li };
41*67e74705SXin Li
42*67e74705SXin Li // CHECK: @_ZN11StructUnion1eE = global {{.*}} zeroinitializer
43*67e74705SXin Li C e[10];
44*67e74705SXin Li
45*67e74705SXin Li struct D {
DStructUnion::D46*67e74705SXin Li constexpr D() : d(5) {}
47*67e74705SXin Li int d;
48*67e74705SXin Li };
49*67e74705SXin Li
50*67e74705SXin Li // CHECK: @_ZN11StructUnion1fE = global {{.*}} { i32 5 }
51*67e74705SXin Li D f;
52*67e74705SXin Li
53*67e74705SXin Li union E {
54*67e74705SXin Li int a;
55*67e74705SXin Li void *b = &f;
56*67e74705SXin Li };
57*67e74705SXin Li
58*67e74705SXin Li // CHECK: @_ZN11StructUnion1gE = global {{.*}} @_ZN11StructUnion1fE
59*67e74705SXin Li E g;
60*67e74705SXin Li
61*67e74705SXin Li // CHECK: @_ZN11StructUnion1hE = global {{.*}} @_ZN11StructUnion1fE
62*67e74705SXin Li E h = E();
63*67e74705SXin Li }
64*67e74705SXin Li
65*67e74705SXin Li namespace BaseClass {
66*67e74705SXin Li template<typename T, unsigned> struct X : T {};
67*67e74705SXin Li struct C { char c = 1; };
68*67e74705SXin Li template<unsigned... Ns> struct Cs : X<C,Ns>... {};
69*67e74705SXin Li struct N { int n = 3; };
70*67e74705SXin Li struct D { double d = 4.0; };
71*67e74705SXin Li
72*67e74705SXin Li template<typename ...Ts>
TestBaseClass::Test73*67e74705SXin Li struct Test : Ts... { constexpr Test() : Ts()..., n(5) {} int n; };
74*67e74705SXin Li
75*67e74705SXin Li using Test1 = Test<N, C, Cs<1,2>, D, X<C,1>>;
76*67e74705SXin Li // CHECK: @_ZN9BaseClass2t1E = constant {{.*}} { i32 3, i8 1, i8 1, i8 1, double 4.000000e+00, i8 1, i32 5 }, align 8
77*67e74705SXin Li extern constexpr Test1 t1 = Test1();
78*67e74705SXin Li
79*67e74705SXin Li struct DN : D, N {};
80*67e74705SXin Li struct DND : DN, X<D,0> {};
81*67e74705SXin Li struct DNN : DN, X<N,0> {};
82*67e74705SXin Li // CHECK: @_ZN9BaseClass3dndE = constant {{.*}} { double 4.000000e+00, i32 3, double 4.000000e+00 }
83*67e74705SXin Li extern constexpr DND dnd = DND();
84*67e74705SXin Li // Note, N subobject is laid out in DN subobject's tail padding.
85*67e74705SXin Li // CHECK: @_ZN9BaseClass3dnnE = constant {{.*}} { double 4.000000e+00, i32 3, i32 3 }
86*67e74705SXin Li extern constexpr DNN dnn = DNN();
87*67e74705SXin Li
88*67e74705SXin Li struct E {};
89*67e74705SXin Li struct Test2 : X<E,0>, X<E,1>, X<E,2>, X<E,3> {};
90*67e74705SXin Li // CHECK: @_ZN9BaseClass2t2E = constant {{.*}} undef
91*67e74705SXin Li extern constexpr Test2 t2 = Test2();
92*67e74705SXin Li
93*67e74705SXin Li struct __attribute((packed)) PackedD { double y = 2; };
Test3BaseClass::Test394*67e74705SXin Li struct Test3 : C, PackedD { constexpr Test3() {} };
95*67e74705SXin Li // CHECK: @_ZN9BaseClass2t3E = constant <{ i8, double }> <{ i8 1, double 2.000000e+00 }>
96*67e74705SXin Li extern constexpr Test3 t3 = Test3();
97*67e74705SXin Li }
98*67e74705SXin Li
99*67e74705SXin Li namespace Array {
100*67e74705SXin Li // CHECK: @_ZN5Array3arrE = constant [2 x i32] [i32 4, i32 0]
101*67e74705SXin Li extern constexpr int arr[2] = { 4 };
102*67e74705SXin Li
103*67e74705SXin Li // CHECK: @_ZN5Array1cE = constant [6 x [4 x i8]] [{{.*}} c"foo\00", [4 x i8] c"a\00\00\00", [4 x i8] c"bar\00", [4 x i8] c"xyz\00", [4 x i8] c"b\00\00\00", [4 x i8] c"123\00"]
104*67e74705SXin Li extern constexpr char c[6][4] = { "foo", "a", { "bar" }, { 'x', 'y', 'z' }, { "b" }, '1', '2', '3' };
105*67e74705SXin Li
106*67e74705SXin Li // CHECK: @_ZN5Array2ucE = constant [4 x i8] c"foo\00"
107*67e74705SXin Li extern constexpr unsigned char uc[] = { "foo" };
108*67e74705SXin Li
CArray::C109*67e74705SXin Li struct C { constexpr C() : n(5) {} int n, m = 3 * n + 1; };
110*67e74705SXin Li // CHECK: @_ZN5Array5ctorsE = constant [3 x {{.*}}] [{{.*}} { i32 5, i32 16 }, {{.*}} { i32 5, i32 16 }, {{.*}} { i32 5, i32 16 }]
111*67e74705SXin Li extern const C ctors[3];
112*67e74705SXin Li constexpr C ctors[3];
113*67e74705SXin Li
114*67e74705SXin Li // CHECK: @_ZN5Array1dE = constant {{.*}} { [2 x i32] [i32 1, i32 2], [3 x i32] [i32 3, i32 4, i32 5] }
115*67e74705SXin Li struct D { int n[2]; int m[3]; } extern constexpr d = { 1, 2, 3, 4, 5 };
116*67e74705SXin Li
117*67e74705SXin Li struct E {
118*67e74705SXin Li char c[4];
119*67e74705SXin Li char d[4];
EArray::E120*67e74705SXin Li constexpr E() : c("foo"), d("x") {}
121*67e74705SXin Li };
122*67e74705SXin Li // CHECK: @_ZN5Array1eE = constant {{.*}} { [4 x i8] c"foo\00", [4 x i8] c"x\00\00\00" }
123*67e74705SXin Li extern constexpr E e = E();
124*67e74705SXin Li
125*67e74705SXin Li // PR13290
FArray::F126*67e74705SXin Li struct F { constexpr F() : n(4) {} int n; };
127*67e74705SXin Li // CHECK: @_ZN5Array2f1E = global {{.*}} zeroinitializer
128*67e74705SXin Li F f1[1][1][0] = { };
129*67e74705SXin Li // CHECK: @_ZN5Array2f2E = global {{.* i32 4 .* i32 4 .* i32 4 .* i32 4 .* i32 4 .* i32 4 .* i32 4 .* i32 4}}
130*67e74705SXin Li F f2[2][2][2] = { };
131*67e74705SXin Li }
132*67e74705SXin Li
133*67e74705SXin Li namespace MemberPtr {
134*67e74705SXin Li struct B1 {
135*67e74705SXin Li int a, b;
136*67e74705SXin Li virtual void f();
137*67e74705SXin Li void g();
138*67e74705SXin Li };
139*67e74705SXin Li struct B2 {
140*67e74705SXin Li int c, d;
141*67e74705SXin Li virtual void h();
142*67e74705SXin Li void i();
143*67e74705SXin Li };
144*67e74705SXin Li struct C : B1 {
145*67e74705SXin Li int e;
146*67e74705SXin Li virtual void j();
147*67e74705SXin Li void k();
148*67e74705SXin Li };
149*67e74705SXin Li struct D : C, B2 {
150*67e74705SXin Li int z;
151*67e74705SXin Li virtual void l();
152*67e74705SXin Li void m();
153*67e74705SXin Li };
154*67e74705SXin Li
155*67e74705SXin Li // CHECK: @_ZN9MemberPtr2daE = constant i64 8
156*67e74705SXin Li // CHECK: @_ZN9MemberPtr2dbE = constant i64 12
157*67e74705SXin Li // CHECK: @_ZN9MemberPtr2dcE = constant i64 32
158*67e74705SXin Li // CHECK: @_ZN9MemberPtr2ddE = constant i64 36
159*67e74705SXin Li // CHECK: @_ZN9MemberPtr2deE = constant i64 16
160*67e74705SXin Li // CHECK: @_ZN9MemberPtr2dzE = constant i64 40
161*67e74705SXin Li extern constexpr int (D::*da) = &B1::a;
162*67e74705SXin Li extern constexpr int (D::*db) = &C::b;
163*67e74705SXin Li extern constexpr int (D::*dc) = &B2::c;
164*67e74705SXin Li extern constexpr int (D::*dd) = &D::d;
165*67e74705SXin Li extern constexpr int (D::*de) = &C::e;
166*67e74705SXin Li extern constexpr int (D::*dz) = &D::z;
167*67e74705SXin Li
168*67e74705SXin Li // CHECK: @_ZN9MemberPtr2baE = constant i64 8
169*67e74705SXin Li // CHECK: @_ZN9MemberPtr2bbE = constant i64 12
170*67e74705SXin Li // CHECK: @_ZN9MemberPtr2bcE = constant i64 8
171*67e74705SXin Li // CHECK: @_ZN9MemberPtr2bdE = constant i64 12
172*67e74705SXin Li // CHECK: @_ZN9MemberPtr2beE = constant i64 16
173*67e74705SXin Li // CHECK: @_ZN9MemberPtr3b1zE = constant i64 40
174*67e74705SXin Li // CHECK: @_ZN9MemberPtr3b2zE = constant i64 16
175*67e74705SXin Li extern constexpr int (B1::*ba) = (int(B1::*))&B1::a;
176*67e74705SXin Li extern constexpr int (B1::*bb) = (int(B1::*))&C::b;
177*67e74705SXin Li extern constexpr int (B2::*bc) = (int(B2::*))&B2::c;
178*67e74705SXin Li extern constexpr int (B2::*bd) = (int(B2::*))&D::d;
179*67e74705SXin Li extern constexpr int (B1::*be) = (int(B1::*))&C::e;
180*67e74705SXin Li extern constexpr int (B1::*b1z) = (int(B1::*))&D::z;
181*67e74705SXin Li extern constexpr int (B2::*b2z) = (int(B2::*))&D::z;
182*67e74705SXin Li
183*67e74705SXin Li // CHECK: @_ZN9MemberPtr2dfE = constant {{.*}} { i64 1, i64 0 }
184*67e74705SXin Li // CHECK: @_ZN9MemberPtr2dgE = constant {{.*}} { i64 {{.*}}2B11gEv{{.*}}, i64 0 }
185*67e74705SXin Li // CHECK: @_ZN9MemberPtr2dhE = constant {{.*}} { i64 1, i64 24 }
186*67e74705SXin Li // CHECK: @_ZN9MemberPtr2diE = constant {{.*}} { i64 {{.*}}2B21iEv{{.*}}, i64 24 }
187*67e74705SXin Li // CHECK: @_ZN9MemberPtr2djE = constant {{.*}} { i64 9, i64 0 }
188*67e74705SXin Li // CHECK: @_ZN9MemberPtr2dkE = constant {{.*}} { i64 {{.*}}1C1kEv{{.*}}, i64 0 }
189*67e74705SXin Li // CHECK: @_ZN9MemberPtr2dlE = constant {{.*}} { i64 17, i64 0 }
190*67e74705SXin Li // CHECK: @_ZN9MemberPtr2dmE = constant {{.*}} { i64 {{.*}}1D1mEv{{.*}}, i64 0 }
191*67e74705SXin Li extern constexpr void (D::*df)() = &C::f;
192*67e74705SXin Li extern constexpr void (D::*dg)() = &B1::g;
193*67e74705SXin Li extern constexpr void (D::*dh)() = &B2::h;
194*67e74705SXin Li extern constexpr void (D::*di)() = &D::i;
195*67e74705SXin Li extern constexpr void (D::*dj)() = &C::j;
196*67e74705SXin Li extern constexpr void (D::*dk)() = &C::k;
197*67e74705SXin Li extern constexpr void (D::*dl)() = &D::l;
198*67e74705SXin Li extern constexpr void (D::*dm)() = &D::m;
199*67e74705SXin Li
200*67e74705SXin Li // CHECK: @_ZN9MemberPtr2bfE = constant {{.*}} { i64 1, i64 0 }
201*67e74705SXin Li // CHECK: @_ZN9MemberPtr2bgE = constant {{.*}} { i64 {{.*}}2B11gEv{{.*}}, i64 0 }
202*67e74705SXin Li // CHECK: @_ZN9MemberPtr2bhE = constant {{.*}} { i64 1, i64 0 }
203*67e74705SXin Li // CHECK: @_ZN9MemberPtr2biE = constant {{.*}} { i64 {{.*}}2B21iEv{{.*}}, i64 0 }
204*67e74705SXin Li // CHECK: @_ZN9MemberPtr2bjE = constant {{.*}} { i64 9, i64 0 }
205*67e74705SXin Li // CHECK: @_ZN9MemberPtr2bkE = constant {{.*}} { i64 {{.*}}1C1kEv{{.*}}, i64 0 }
206*67e74705SXin Li // CHECK: @_ZN9MemberPtr3b1lE = constant {{.*}} { i64 17, i64 0 }
207*67e74705SXin Li // CHECK: @_ZN9MemberPtr3b1mE = constant {{.*}} { i64 {{.*}}1D1mEv{{.*}}, i64 0 }
208*67e74705SXin Li // CHECK: @_ZN9MemberPtr3b2lE = constant {{.*}} { i64 17, i64 -24 }
209*67e74705SXin Li // CHECK: @_ZN9MemberPtr3b2mE = constant {{.*}} { i64 {{.*}}1D1mEv{{.*}}, i64 -24 }
210*67e74705SXin Li extern constexpr void (B1::*bf)() = (void(B1::*)())&C::f;
211*67e74705SXin Li extern constexpr void (B1::*bg)() = (void(B1::*)())&B1::g;
212*67e74705SXin Li extern constexpr void (B2::*bh)() = (void(B2::*)())&B2::h;
213*67e74705SXin Li extern constexpr void (B2::*bi)() = (void(B2::*)())&D::i;
214*67e74705SXin Li extern constexpr void (B1::*bj)() = (void(B1::*)())&C::j;
215*67e74705SXin Li extern constexpr void (B1::*bk)() = (void(B1::*)())&C::k;
216*67e74705SXin Li extern constexpr void (B1::*b1l)() = (void(B1::*)())&D::l;
217*67e74705SXin Li extern constexpr void (B1::*b1m)() = (void(B1::*)())&D::m;
218*67e74705SXin Li extern constexpr void (B2::*b2l)() = (void(B2::*)())&D::l;
219*67e74705SXin Li extern constexpr void (B2::*b2m)() = (void(B2::*)())&D::m;
220*67e74705SXin Li }
221*67e74705SXin Li
222*67e74705SXin Li namespace LiteralReference {
223*67e74705SXin Li struct Lit {
LitLiteralReference::Lit224*67e74705SXin Li constexpr Lit() : n(5) {}
225*67e74705SXin Li int n;
226*67e74705SXin Li };
227*67e74705SXin Li
228*67e74705SXin Li // This creates a non-const temporary and binds a reference to it.
229*67e74705SXin Li // CHECK: @[[TEMP:.*]] = internal global {{.*}} { i32 5 }, align 4
230*67e74705SXin Li // CHECK: @_ZN16LiteralReference3litE = constant {{.*}} @[[TEMP]], align 8
231*67e74705SXin Li const Lit &lit = Lit();
232*67e74705SXin Li
233*67e74705SXin Li // This creates a const temporary as part of the reference initialization.
234*67e74705SXin Li // CHECK: @[[TEMP:.*]] = internal constant {{.*}} { i32 5 }, align 4
235*67e74705SXin Li // CHECK: @_ZN16LiteralReference4lit2E = constant {{.*}} @[[TEMP]], align 8
236*67e74705SXin Li const Lit &lit2 = {};
237*67e74705SXin Li
238*67e74705SXin Li struct A { int &&r1; const int &&r2; };
239*67e74705SXin Li struct B { A &&a1; const A &&a2; };
240*67e74705SXin Li B b = { { 0, 1 }, { 2, 3 } };
241*67e74705SXin Li // CHECK: @[[TEMP0:.*]] = internal global i32 0, align 4
242*67e74705SXin Li // CHECK: @[[TEMP1:.*]] = internal constant i32 1, align 4
243*67e74705SXin Li // CHECK: @[[TEMPA1:.*]] = internal global {{.*}} { i32* @[[TEMP0]], i32* @[[TEMP1]] }, align 8
244*67e74705SXin Li // CHECK: @[[TEMP2:.*]] = internal global i32 2, align 4
245*67e74705SXin Li // CHECK: @[[TEMP3:.*]] = internal constant i32 3, align 4
246*67e74705SXin Li // CHECK: @[[TEMPA2:.*]] = internal constant {{.*}} { i32* @[[TEMP2]], i32* @[[TEMP3]] }, align 8
247*67e74705SXin Li // CHECK: @_ZN16LiteralReference1bE = global {{.*}} { {{.*}}* @[[TEMPA1]], {{.*}}* @[[TEMPA2]] }, align 8
248*67e74705SXin Li
249*67e74705SXin Li struct Subobj {
250*67e74705SXin Li int a, b, c;
251*67e74705SXin Li };
252*67e74705SXin Li // CHECK: @[[TEMP:.*]] = internal global {{.*}} { i32 1, i32 2, i32 3 }, align 4
253*67e74705SXin Li // CHECK: @_ZN16LiteralReference2soE = constant {{.*}} (i8* getelementptr {{.*}} @[[TEMP]]{{.*}}, i64 4)
254*67e74705SXin Li constexpr int &&so = Subobj{ 1, 2, 3 }.b;
255*67e74705SXin Li
256*67e74705SXin Li struct Dummy { int padding; };
257*67e74705SXin Li struct Derived : Dummy, Subobj {
DerivedLiteralReference::Derived258*67e74705SXin Li constexpr Derived() : Dummy{200}, Subobj{4, 5, 6} {}
259*67e74705SXin Li };
260*67e74705SXin Li using ConstDerived = const Derived;
261*67e74705SXin Li // CHECK: @[[TEMPCOMMA:.*]] = internal constant {{.*}} { i32 200, i32 4, i32 5, i32 6 }
262*67e74705SXin Li // CHECK: @_ZN16LiteralReference5commaE = constant {{.*}} getelementptr {{.*}} @[[TEMPCOMMA]]{{.*}}, i64 8)
263*67e74705SXin Li constexpr const int &comma = (1, (2, ConstDerived{}).b);
264*67e74705SXin Li
265*67e74705SXin Li // CHECK: @[[TEMPDERIVED:.*]] = internal global {{.*}} { i32 200, i32 4, i32 5, i32 6 }
266*67e74705SXin Li // CHECK: @_ZN16LiteralReference4baseE = constant {{.*}} getelementptr {{.*}} @[[TEMPDERIVED]]{{.*}}, i64 4)
267*67e74705SXin Li constexpr Subobj &&base = Derived{};
268*67e74705SXin Li
269*67e74705SXin Li // CHECK: @_ZN16LiteralReference7derivedE = constant {{.*}} @[[TEMPDERIVED]]
270*67e74705SXin Li constexpr Derived &derived = static_cast<Derived&>(base);
271*67e74705SXin Li }
272*67e74705SXin Li
273*67e74705SXin Li namespace NonLiteralConstexpr {
factorial(int n)274*67e74705SXin Li constexpr int factorial(int n) {
275*67e74705SXin Li return n ? factorial(n-1) * n : 1;
276*67e74705SXin Li }
277*67e74705SXin Li extern void f(int *p);
278*67e74705SXin Li
279*67e74705SXin Li struct NonTrivialDtor {
NonTrivialDtorNonLiteralConstexpr::NonTrivialDtor280*67e74705SXin Li constexpr NonTrivialDtor() : n(factorial(5)), p(&n) {}
~NonTrivialDtorNonLiteralConstexpr::NonTrivialDtor281*67e74705SXin Li ~NonTrivialDtor() {
282*67e74705SXin Li f(p);
283*67e74705SXin Li }
284*67e74705SXin Li
285*67e74705SXin Li int n;
286*67e74705SXin Li int *p;
287*67e74705SXin Li };
288*67e74705SXin Li static_assert(!__is_literal(NonTrivialDtor), "");
289*67e74705SXin Li // CHECK: @_ZN19NonLiteralConstexpr3ntdE = global {{.*}} { i32 120, i32* getelementptr
290*67e74705SXin Li NonTrivialDtor ntd;
291*67e74705SXin Li
292*67e74705SXin Li struct VolatileMember {
VolatileMemberNonLiteralConstexpr::VolatileMember293*67e74705SXin Li constexpr VolatileMember() : n(5) {}
294*67e74705SXin Li volatile int n;
295*67e74705SXin Li };
296*67e74705SXin Li static_assert(!__is_literal(VolatileMember), "");
297*67e74705SXin Li // CHECK: @_ZN19NonLiteralConstexpr2vmE = global {{.*}} { i32 5 }
298*67e74705SXin Li VolatileMember vm;
299*67e74705SXin Li
300*67e74705SXin Li struct Both {
BothNonLiteralConstexpr::Both301*67e74705SXin Li constexpr Both() : n(10) {}
302*67e74705SXin Li ~Both();
303*67e74705SXin Li volatile int n;
304*67e74705SXin Li };
305*67e74705SXin Li // CHECK: @_ZN19NonLiteralConstexpr1bE = global {{.*}} { i32 10 }
306*67e74705SXin Li Both b;
307*67e74705SXin Li
StaticVars()308*67e74705SXin Li void StaticVars() {
309*67e74705SXin Li // CHECK: @_ZZN19NonLiteralConstexpr10StaticVarsEvE3ntd = {{.*}} { i32 120, i32* getelementptr {{.*}}
310*67e74705SXin Li // CHECK: @_ZGVZN19NonLiteralConstexpr10StaticVarsEvE3ntd =
311*67e74705SXin Li static NonTrivialDtor ntd;
312*67e74705SXin Li // CHECK: @_ZZN19NonLiteralConstexpr10StaticVarsEvE2vm = {{.*}} { i32 5 }
313*67e74705SXin Li // CHECK-NOT: @_ZGVZN19NonLiteralConstexpr10StaticVarsEvE2vm =
314*67e74705SXin Li static VolatileMember vm;
315*67e74705SXin Li // CHECK: @_ZZN19NonLiteralConstexpr10StaticVarsEvE1b = {{.*}} { i32 10 }
316*67e74705SXin Li // CHECK: @_ZGVZN19NonLiteralConstexpr10StaticVarsEvE1b =
317*67e74705SXin Li static Both b;
318*67e74705SXin Li }
319*67e74705SXin Li }
320*67e74705SXin Li
321*67e74705SXin Li // PR12067
322*67e74705SXin Li namespace VirtualMembers {
323*67e74705SXin Li struct A {
AVirtualMembers::A324*67e74705SXin Li constexpr A(double d) : d(d) {}
325*67e74705SXin Li virtual void f();
326*67e74705SXin Li double d;
327*67e74705SXin Li };
328*67e74705SXin Li struct B : A {
BVirtualMembers::B329*67e74705SXin Li constexpr B() : A(2.0), c{'h', 'e', 'l', 'l', 'o'} {}
BVirtualMembers::B330*67e74705SXin Li constexpr B(int n) : A(n), c{'w', 'o', 'r', 'l', 'd'} {}
331*67e74705SXin Li virtual void g();
332*67e74705SXin Li char c[5];
333*67e74705SXin Li };
334*67e74705SXin Li struct C {
CVirtualMembers::C335*67e74705SXin Li constexpr C() : n(64) {}
336*67e74705SXin Li int n;
337*67e74705SXin Li };
338*67e74705SXin Li struct D : C, A, B {
DVirtualMembers::D339*67e74705SXin Li constexpr D() : A(1.0), B(), s(5) {}
340*67e74705SXin Li short s;
341*67e74705SXin Li };
342*67e74705SXin Li struct E : D, B {
EVirtualMembers::E343*67e74705SXin Li constexpr E() : B(3), c{'b','y','e'} {}
344*67e74705SXin Li char c[3];
345*67e74705SXin Li };
346*67e74705SXin Li // CHECK: @_ZN14VirtualMembers1eE = global { i8**, double, i32, i8**, double, [5 x i8], i16, i8**, double, [5 x i8], [3 x i8] } { i8** getelementptr inbounds ([11 x i8*], [11 x i8*]* @_ZTVN14VirtualMembers1EE, i32 0, i32 2), double 1.000000e+00, i32 64, i8** getelementptr inbounds ([11 x i8*], [11 x i8*]* @_ZTVN14VirtualMembers1EE, i32 0, i32 5), double 2.000000e+00, [5 x i8] c"hello", i16 5, i8** getelementptr inbounds ([11 x i8*], [11 x i8*]* @_ZTVN14VirtualMembers1EE, i32 0, i32 9), double 3.000000e+00, [5 x i8] c"world", [3 x i8] c"bye" }
347*67e74705SXin Li E e;
348*67e74705SXin Li
349*67e74705SXin Li struct nsMemoryImpl {
350*67e74705SXin Li virtual void f();
351*67e74705SXin Li };
352*67e74705SXin Li // CHECK: @_ZN14VirtualMembersL13sGlobalMemoryE = internal global { i8** } { i8** getelementptr inbounds ([3 x i8*], [3 x i8*]* @_ZTVN14VirtualMembers12nsMemoryImplE, i32 0, i32 2) }
353*67e74705SXin Li __attribute__((used))
354*67e74705SXin Li static nsMemoryImpl sGlobalMemory;
355*67e74705SXin Li
356*67e74705SXin Li template<class T>
357*67e74705SXin Li struct TemplateClass {
TemplateClassVirtualMembers::TemplateClass358*67e74705SXin Li constexpr TemplateClass() : t{42} {}
templateMethodVirtualMembers::TemplateClass359*67e74705SXin Li virtual void templateMethod() {}
360*67e74705SXin Li
361*67e74705SXin Li T t;
362*67e74705SXin Li };
363*67e74705SXin Li // CHECK: @_ZN14VirtualMembers1tE = global { i8**, i32 } { i8** getelementptr inbounds ([3 x i8*], [3 x i8*]* @_ZTVN14VirtualMembers13TemplateClassIiEE, i32 0, i32 2), i32 42 }
364*67e74705SXin Li TemplateClass<int> t;
365*67e74705SXin Li }
366*67e74705SXin Li
367*67e74705SXin Li namespace PR13273 {
368*67e74705SXin Li struct U {
369*67e74705SXin Li int t;
370*67e74705SXin Li U() = default;
371*67e74705SXin Li };
372*67e74705SXin Li
373*67e74705SXin Li struct S : U {
374*67e74705SXin Li S() = default;
375*67e74705SXin Li };
376*67e74705SXin Li
377*67e74705SXin Li // CHECK: @_ZN7PR132731sE = {{.*}} zeroinitializer
378*67e74705SXin Li extern const S s {};
379*67e74705SXin Li }
380*67e74705SXin Li
381*67e74705SXin Li namespace ArrayTemporary {
382*67e74705SXin Li struct A { const int (&x)[3]; };
383*67e74705SXin Li struct B { const A (&x)[2]; };
384*67e74705SXin Li // CHECK: @[[A1:_ZGRN14ArrayTemporary1bE.*]] = internal constant [3 x i32] [i32 1, i32 2, i32 3]
385*67e74705SXin Li // CHECK: @[[A2:_ZGRN14ArrayTemporary1bE.*]] = internal constant [3 x i32] [i32 4, i32 5, i32 6]
386*67e74705SXin Li // CHECK: @[[ARR:_ZGRN14ArrayTemporary1bE.*]] = internal constant [2 x {{.*}}] [{{.*}} { [3 x i32]* @[[A1]] }, {{.*}} { [3 x i32]* @[[A2]] }]
387*67e74705SXin Li // CHECK: @[[B:_ZGRN14ArrayTemporary1bE.*]] = internal global {{.*}} { [2 x {{.*}}]* @[[ARR]] }
388*67e74705SXin Li // CHECK: @_ZN14ArrayTemporary1bE = constant {{.*}}* @[[B]]
389*67e74705SXin Li B &&b = { { { { 1, 2, 3 } }, { { 4, 5, 6 } } } };
390*67e74705SXin Li }
391*67e74705SXin Li
392*67e74705SXin Li namespace UnemittedTemporaryDecl {
393*67e74705SXin Li constexpr int &&ref = 0;
394*67e74705SXin Li extern constexpr int &ref2 = ref;
395*67e74705SXin Li // CHECK: @_ZGRN22UnemittedTemporaryDecl3refE_ = internal global i32 0
396*67e74705SXin Li
397*67e74705SXin Li // FIXME: This declaration should not be emitted -- it isn't odr-used.
398*67e74705SXin Li // CHECK: @_ZN22UnemittedTemporaryDecl3refE
399*67e74705SXin Li
400*67e74705SXin Li // CHECK: @_ZN22UnemittedTemporaryDecl4ref2E = constant i32* @_ZGRN22UnemittedTemporaryDecl3refE_
401*67e74705SXin Li }
402*67e74705SXin Li
403*67e74705SXin Li // CHECK: @_ZZN12LocalVarInit3aggEvE1a = internal constant {{.*}} i32 101
404*67e74705SXin Li // CHECK: @_ZZN12LocalVarInit4ctorEvE1a = internal constant {{.*}} i32 102
405*67e74705SXin Li // CHECK: @_ZZN12LocalVarInit8mutable_EvE1a = private unnamed_addr constant {{.*}} i32 103
406*67e74705SXin Li // CHECK: @_ZGRN33ClassTemplateWithStaticDataMember1SIvE1aE_ = linkonce_odr constant i32 5, comdat
407*67e74705SXin Li // CHECK: @_ZN33ClassTemplateWithStaticDataMember3useE = constant i32* @_ZGRN33ClassTemplateWithStaticDataMember1SIvE1aE_
408*67e74705SXin Li // CHECK: @_ZGRN39ClassTemplateWithHiddenStaticDataMember1SIvE1aE_ = linkonce_odr hidden constant i32 5, comdat
409*67e74705SXin Li // CHECK: @_ZN39ClassTemplateWithHiddenStaticDataMember3useE = constant i32* @_ZGRN39ClassTemplateWithHiddenStaticDataMember1SIvE1aE_
410*67e74705SXin Li // CHECK: @_ZGRZN20InlineStaticConstRef3funEvE1i_ = linkonce_odr constant i32 10, comdat
411*67e74705SXin Li
412*67e74705SXin Li // Constant initialization tests go before this point,
413*67e74705SXin Li // dynamic initialization tests go after.
414*67e74705SXin Li
415*67e74705SXin Li // We must emit a constant initializer for NonLiteralConstexpr::ntd, but also
416*67e74705SXin Li // emit an initializer to register its destructor.
417*67e74705SXin Li // CHECK: define {{.*}}cxx_global_var_init{{.*}}
418*67e74705SXin Li // CHECK-NOT: NonLiteralConstexpr
419*67e74705SXin Li // CHECK: call {{.*}}cxa_atexit{{.*}} @_ZN19NonLiteralConstexpr14NonTrivialDtorD1Ev {{.*}} @_ZN19NonLiteralConstexpr3ntdE
420*67e74705SXin Li // CHECK-NEXT: ret void
421*67e74705SXin Li
422*67e74705SXin Li // We don't need to emit any dynamic initialization for NonLiteralConstexpr::vm.
423*67e74705SXin Li // CHECK-NOT: NonLiteralConstexpr2vm
424*67e74705SXin Li
425*67e74705SXin Li // We must emit a constant initializer for NonLiteralConstexpr::b, but also
426*67e74705SXin Li // emit an initializer to register its destructor.
427*67e74705SXin Li // CHECK: define {{.*}}cxx_global_var_init{{.*}}
428*67e74705SXin Li // CHECK-NOT: NonLiteralConstexpr
429*67e74705SXin Li // CHECK: call {{.*}}cxa_atexit{{.*}} @_ZN19NonLiteralConstexpr4BothD1Ev {{.*}} @_ZN19NonLiteralConstexpr1bE
430*67e74705SXin Li // CHECK-NEXT: ret void
431*67e74705SXin Li
432*67e74705SXin Li // CHECK: define {{.*}}NonLiteralConstexpr10StaticVars
433*67e74705SXin Li // CHECK-NOT: }
434*67e74705SXin Li // CHECK: call {{.*}}cxa_atexit{{.*}}@_ZN19NonLiteralConstexpr14NonTrivialDtorD1Ev
435*67e74705SXin Li // CHECK-NOT: }
436*67e74705SXin Li // CHECK: call {{.*}}cxa_atexit{{.*}}@_ZN19NonLiteralConstexpr4BothD1Ev
437*67e74705SXin Li
438*67e74705SXin Li // PR12848: Don't emit dynamic initializers for local constexpr variables.
439*67e74705SXin Li namespace LocalVarInit {
f(int n)440*67e74705SXin Li constexpr int f(int n) { return n; }
441*67e74705SXin Li struct Agg { int k; };
CtorLocalVarInit::Ctor442*67e74705SXin Li struct Ctor { constexpr Ctor(int n) : k(n) {} int k; };
MutableLocalVarInit::Mutable443*67e74705SXin Li struct Mutable { constexpr Mutable(int n) : k(n) {} mutable int k; };
444*67e74705SXin Li
445*67e74705SXin Li // CHECK: define {{.*}} @_ZN12LocalVarInit6scalarEv
446*67e74705SXin Li // CHECK-NOT: call
447*67e74705SXin Li // CHECK: store i32 100,
448*67e74705SXin Li // CHECK-NOT: call
449*67e74705SXin Li // CHECK: ret i32 100
scalar()450*67e74705SXin Li int scalar() { constexpr int a = { f(100) }; return a; }
451*67e74705SXin Li
452*67e74705SXin Li // CHECK: define {{.*}} @_ZN12LocalVarInit3aggEv
453*67e74705SXin Li // CHECK-NOT: call
454*67e74705SXin Li // CHECK: ret i32 101
agg()455*67e74705SXin Li int agg() { constexpr Agg a = { f(101) }; return a.k; }
456*67e74705SXin Li
457*67e74705SXin Li // CHECK: define {{.*}} @_ZN12LocalVarInit4ctorEv
458*67e74705SXin Li // CHECK-NOT: call
459*67e74705SXin Li // CHECK: ret i32 102
ctor()460*67e74705SXin Li int ctor() { constexpr Ctor a = { f(102) }; return a.k; }
461*67e74705SXin Li
462*67e74705SXin Li // CHECK: define {{.*}} @_ZN12LocalVarInit8mutable_Ev
463*67e74705SXin Li // CHECK-NOT: call
464*67e74705SXin Li // CHECK: call {{.*}}memcpy{{.*}} @_ZZN12LocalVarInit8mutable_EvE1a
465*67e74705SXin Li // CHECK-NOT: call
466*67e74705SXin Li // Can't fold return value due to 'mutable'.
467*67e74705SXin Li // CHECK-NOT: ret i32 103
468*67e74705SXin Li // CHECK: }
mutable_()469*67e74705SXin Li int mutable_() { constexpr Mutable a = { f(103) }; return a.k; }
470*67e74705SXin Li }
471*67e74705SXin Li
472*67e74705SXin Li namespace CrossFuncLabelDiff {
473*67e74705SXin Li // Make sure we refuse to constant-fold the variable b.
a(bool x)474*67e74705SXin Li constexpr long a(bool x) { return x ? 0 : (long)&&lbl + (0 && ({lbl: 0;})); }
test()475*67e74705SXin Li void test() { static long b = (long)&&lbl - a(false); lbl: return; }
476*67e74705SXin Li // CHECK: sub nsw i64 ptrtoint (i8* blockaddress(@_ZN18CrossFuncLabelDiff4testEv, {{.*}}) to i64),
477*67e74705SXin Li // CHECK: store i64 {{.*}}, i64* @_ZZN18CrossFuncLabelDiff4testEvE1b, align 8
478*67e74705SXin Li }
479*67e74705SXin Li
480*67e74705SXin Li // PR12012
481*67e74705SXin Li namespace VirtualBase {
482*67e74705SXin Li struct B {};
483*67e74705SXin Li struct D : virtual B {};
484*67e74705SXin Li D d;
485*67e74705SXin Li // CHECK: call {{.*}}@_ZN11VirtualBase1DC1Ev
486*67e74705SXin Li
487*67e74705SXin Li template<typename T> struct X : T {
XVirtualBase::X488*67e74705SXin Li constexpr X() : T() {}
489*67e74705SXin Li };
490*67e74705SXin Li X<D> x;
491*67e74705SXin Li // CHECK: call {{.*}}@_ZN11VirtualBase1XINS_1DEEC1Ev
492*67e74705SXin Li }
493*67e74705SXin Li
494*67e74705SXin Li // PR12145
495*67e74705SXin Li namespace Unreferenced {
496*67e74705SXin Li int n;
497*67e74705SXin Li constexpr int *p = &n;
498*67e74705SXin Li // We must not emit a load of 'p' here, since it's not odr-used.
499*67e74705SXin Li int q = *p;
500*67e74705SXin Li // CHECK-NOT: _ZN12Unreferenced1pE
501*67e74705SXin Li // CHECK: = load i32, i32* @_ZN12Unreferenced1nE
502*67e74705SXin Li // CHECK-NEXT: store i32 {{.*}}, i32* @_ZN12Unreferenced1qE
503*67e74705SXin Li // CHECK-NOT: _ZN12Unreferenced1pE
504*67e74705SXin Li
505*67e74705SXin Li // Technically, we are not required to substitute variables of reference types
506*67e74705SXin Li // initialized by constant expressions, because the special case for odr-use
507*67e74705SXin Li // of variables in [basic.def.odr]p2 only applies to objects. But we do so
508*67e74705SXin Li // anyway.
509*67e74705SXin Li
510*67e74705SXin Li constexpr int &r = n;
511*67e74705SXin Li // CHECK-NOT: _ZN12Unreferenced1rE
512*67e74705SXin Li int s = r;
513*67e74705SXin Li
514*67e74705SXin Li const int t = 1;
515*67e74705SXin Li const int &rt = t;
516*67e74705SXin Li int f(int);
517*67e74705SXin Li int u = f(rt);
518*67e74705SXin Li // CHECK: call i32 @_ZN12Unreferenced1fEi(i32 1)
519*67e74705SXin Li }
520*67e74705SXin Li
521*67e74705SXin Li namespace InitFromConst {
522*67e74705SXin Li template<typename T> void consume(T);
523*67e74705SXin Li
524*67e74705SXin Li const bool b = true;
525*67e74705SXin Li const int n = 5;
526*67e74705SXin Li constexpr double d = 4.3;
527*67e74705SXin Li
528*67e74705SXin Li struct S { int n = 7; S *p = 0; };
529*67e74705SXin Li constexpr S s = S();
530*67e74705SXin Li const S &r = s;
531*67e74705SXin Li constexpr const S *p = &r;
532*67e74705SXin Li constexpr int S::*mp = &S::n;
533*67e74705SXin Li constexpr int a[3] = { 1, 4, 9 };
534*67e74705SXin Li
test()535*67e74705SXin Li void test() {
536*67e74705SXin Li // CHECK: call void @_ZN13InitFromConst7consumeIbEEvT_(i1 zeroext true)
537*67e74705SXin Li consume(b);
538*67e74705SXin Li
539*67e74705SXin Li // CHECK: call void @_ZN13InitFromConst7consumeIiEEvT_(i32 5)
540*67e74705SXin Li consume(n);
541*67e74705SXin Li
542*67e74705SXin Li // CHECK: call void @_ZN13InitFromConst7consumeIdEEvT_(double 4.300000e+00)
543*67e74705SXin Li consume(d);
544*67e74705SXin Li
545*67e74705SXin Li // CHECK: call void @_ZN13InitFromConst7consumeIRKNS_1SEEEvT_(%"struct.InitFromConst::S"* dereferenceable({{[0-9]+}}) @_ZN13InitFromConstL1sE)
546*67e74705SXin Li consume<const S&>(s);
547*67e74705SXin Li
548*67e74705SXin Li // CHECK: call void @_ZN13InitFromConst7consumeIRKNS_1SEEEvT_(%"struct.InitFromConst::S"* dereferenceable({{[0-9]+}}) @_ZN13InitFromConstL1sE)
549*67e74705SXin Li consume<const S&>(r);
550*67e74705SXin Li
551*67e74705SXin Li // CHECK: call void @_ZN13InitFromConst7consumeIPKNS_1SEEEvT_(%"struct.InitFromConst::S"* @_ZN13InitFromConstL1sE)
552*67e74705SXin Li consume(p);
553*67e74705SXin Li
554*67e74705SXin Li // CHECK: call void @_ZN13InitFromConst7consumeIMNS_1SEiEEvT_(i64 0)
555*67e74705SXin Li consume(mp);
556*67e74705SXin Li
557*67e74705SXin Li // CHECK: call void @_ZN13InitFromConst7consumeIPKiEEvT_(i32* getelementptr inbounds ([3 x i32], [3 x i32]* @_ZN13InitFromConstL1aE, i32 0, i32 0))
558*67e74705SXin Li consume(a);
559*67e74705SXin Li }
560*67e74705SXin Li }
561*67e74705SXin Li
562*67e74705SXin Li namespace Null {
563*67e74705SXin Li decltype(nullptr) null();
564*67e74705SXin Li // CHECK: call {{.*}} @_ZN4Null4nullEv(
565*67e74705SXin Li int *p = null();
566*67e74705SXin Li struct S {};
567*67e74705SXin Li // CHECK: call {{.*}} @_ZN4Null4nullEv(
568*67e74705SXin Li int S::*q = null();
569*67e74705SXin Li }
570*67e74705SXin Li
571*67e74705SXin Li namespace InlineStaticConstRef {
fun()572*67e74705SXin Li inline const int &fun() {
573*67e74705SXin Li static const int &i = 10;
574*67e74705SXin Li return i;
575*67e74705SXin Li // CHECK: ret i32* @_ZGRZN20InlineStaticConstRef3funEvE1i_
576*67e74705SXin Li }
577*67e74705SXin Li const int &use = fun();
578*67e74705SXin Li }
579*67e74705SXin Li
580*67e74705SXin Li namespace ClassTemplateWithStaticDataMember {
581*67e74705SXin Li template <typename T>
582*67e74705SXin Li struct S {
583*67e74705SXin Li static const int &a;
584*67e74705SXin Li };
585*67e74705SXin Li template <typename T>
586*67e74705SXin Li const int &S<T>::a = 5;
587*67e74705SXin Li const int &use = S<void>::a;
588*67e74705SXin Li }
589*67e74705SXin Li
590*67e74705SXin Li namespace ClassTemplateWithHiddenStaticDataMember {
591*67e74705SXin Li template <typename T>
592*67e74705SXin Li struct S {
593*67e74705SXin Li __attribute__((visibility("hidden"))) static const int &a;
594*67e74705SXin Li };
595*67e74705SXin Li template <typename T>
596*67e74705SXin Li const int &S<T>::a = 5;
597*67e74705SXin Li const int &use = S<void>::a;
598*67e74705SXin Li }
599*67e74705SXin Li
600*67e74705SXin Li namespace ClassWithStaticConstexprDataMember {
601*67e74705SXin Li struct X {
602*67e74705SXin Li static constexpr const char &p = 'c';
603*67e74705SXin Li };
604*67e74705SXin Li
605*67e74705SXin Li // CHECK: @_ZGRN34ClassWithStaticConstexprDataMember1X1pE_
f()606*67e74705SXin Li const char *f() { return &X::p; }
607*67e74705SXin Li }
608*67e74705SXin Li
609*67e74705SXin Li // VirtualMembers::TemplateClass::templateMethod() must be defined in this TU,
610*67e74705SXin Li // not just declared.
611*67e74705SXin Li // CHECK: define linkonce_odr void @_ZN14VirtualMembers13TemplateClassIiE14templateMethodEv(%"struct.VirtualMembers::TemplateClass"* %this)
612