const-init-cxx11.cpp revision b6e3808bfe385da8d90bb431e41e30d721d5433f
15930a4c5224eea3b0558655f7f8c9ea027ef573eEli Friedman// RUN: %clang_cc1 -verify -triple x86_64-apple-darwin -emit-llvm -o - %s -std=c++11 | FileCheck %s 25930a4c5224eea3b0558655f7f8c9ea027ef573eEli Friedman 32d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith// FIXME: The padding in all these objects should be zero-initialized. 42d6a5670465cb3f1d811695a9f23e372508240d2Richard Smithnamespace StructUnion { 52d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith struct A { 62d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith int n; 72d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith double d; 82d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith union U { 92d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith constexpr U(int x) : x(x) {} 102d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith constexpr U(const char *y) : y(y) {} 112d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith int x; 122d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith const char *y; 132d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith } u; 142d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith 152d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith constexpr A(int n, double d, int x) : n(n), d(d), u(x) {} 162d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith constexpr A(int n, double d, const char *y) : n(n), d(d), u(y) {} 172d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith }; 182d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith 19e15c71236252c21a77c8a406246053e1cbb63ffaRichard Smith // CHECK: @_ZN11StructUnion1aE = constant {{.*}} { i32 1, double 2.000000e+00, {{.*}} { i32 3, [4 x i8] undef } } 202d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith extern constexpr A a(1, 2.0, 3); 212d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith 22e15c71236252c21a77c8a406246053e1cbb63ffaRichard Smith // CHECK: @_ZN11StructUnion1bE = constant {{.*}} { i32 4, double 5.000000e+00, {{.*}} { i8* getelementptr inbounds ([6 x i8]* @{{.*}}, i32 0, i32 0) } } 232d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith extern constexpr A b(4, 5, "hello"); 242d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith 252d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith struct B { 262d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith int n; 272d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith }; 282d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith 292d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith // CHECK: @_ZN11StructUnion1cE = global {{.*}} zeroinitializer 302d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith // CHECK: @_ZN11StructUnion2c2E = global {{.*}} zeroinitializer 312d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith B c; 322d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith B c2 = B(); 332d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith 342d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith // CHECK: @_ZN11StructUnion1dE = global {{.*}} zeroinitializer 352d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith B d[10]; 362d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith 372d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith struct C { 382d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith constexpr C() : c(0) {} 392d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith int c; 402d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith }; 412d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith 422d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith // CHECK: @_ZN11StructUnion1eE = global {{.*}} zeroinitializer 432d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith C e[10]; 442d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith 452d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith struct D { 462d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith constexpr D() : d(5) {} 472d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith int d; 482d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith }; 492d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith 502d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith // CHECK: @_ZN11StructUnion1fE = global {{.*}} { i32 5 } 512d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith D f; 52d079abfb5eefaf7da232e39a6564f561402cf4feRichard Smith 53d079abfb5eefaf7da232e39a6564f561402cf4feRichard Smith union E { 54d079abfb5eefaf7da232e39a6564f561402cf4feRichard Smith int a; 55d079abfb5eefaf7da232e39a6564f561402cf4feRichard Smith void *b = &f; 56d079abfb5eefaf7da232e39a6564f561402cf4feRichard Smith }; 57d079abfb5eefaf7da232e39a6564f561402cf4feRichard Smith 58d079abfb5eefaf7da232e39a6564f561402cf4feRichard Smith // CHECK: @_ZN11StructUnion1gE = global {{.*}} @_ZN11StructUnion1fE 59d079abfb5eefaf7da232e39a6564f561402cf4feRichard Smith E g; 60d079abfb5eefaf7da232e39a6564f561402cf4feRichard Smith 61d079abfb5eefaf7da232e39a6564f561402cf4feRichard Smith // CHECK: @_ZN11StructUnion1hE = global {{.*}} @_ZN11StructUnion1fE 62d079abfb5eefaf7da232e39a6564f561402cf4feRichard Smith E h = E(); 632d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith} 642d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith 652d6a5670465cb3f1d811695a9f23e372508240d2Richard Smithnamespace BaseClass { 662d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith template<typename T, unsigned> struct X : T {}; 672d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith struct C { char c = 1; }; 682d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith template<unsigned... Ns> struct Cs : X<C,Ns>... {}; 692d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith struct N { int n = 3; }; 702d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith struct D { double d = 4.0; }; 712d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith 722d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith template<typename ...Ts> 732d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith struct Test : Ts... { constexpr Test() : Ts()..., n(5) {} int n; }; 742d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith 752d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith using Test1 = Test<N, C, Cs<1,2>, D, X<C,1>>; 76e15c71236252c21a77c8a406246053e1cbb63ffaRichard Smith // CHECK: @_ZN9BaseClass2t1E = constant {{.*}} { i32 3, i8 1, i8 1, i8 1, double 4.000000e+00, i8 1, i32 5 }, align 8 772d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith extern constexpr Test1 t1 = Test1(); 782d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith 792d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith struct DN : D, N {}; 802d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith struct DND : DN, X<D,0> {}; 812d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith struct DNN : DN, X<N,0> {}; 82e15c71236252c21a77c8a406246053e1cbb63ffaRichard Smith // CHECK: @_ZN9BaseClass3dndE = constant {{.*}} { double 4.000000e+00, i32 3, double 4.000000e+00 } 832d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith extern constexpr DND dnd = DND(); 842d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith // Note, N subobject is laid out in DN subobject's tail padding. 85e15c71236252c21a77c8a406246053e1cbb63ffaRichard Smith // CHECK: @_ZN9BaseClass3dnnE = constant {{.*}} { double 4.000000e+00, i32 3, i32 3 } 862d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith extern constexpr DNN dnn = DNN(); 872d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith 882d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith struct E {}; 892d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith struct Test2 : X<E,0>, X<E,1>, X<E,2>, X<E,3> {}; 90e15c71236252c21a77c8a406246053e1cbb63ffaRichard Smith // CHECK: @_ZN9BaseClass2t2E = constant {{.*}} undef 912d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith extern constexpr Test2 t2 = Test2(); 925fe61c6cb09a5a2d2ecddfb74f8b253d9d462165Eli Friedman 935fe61c6cb09a5a2d2ecddfb74f8b253d9d462165Eli Friedman struct __attribute((packed)) PackedD { double y = 2; }; 945fe61c6cb09a5a2d2ecddfb74f8b253d9d462165Eli Friedman struct Test3 : C, PackedD { constexpr Test3() {} }; 955fe61c6cb09a5a2d2ecddfb74f8b253d9d462165Eli Friedman // CHECK: @_ZN9BaseClass2t3E = constant <{ i8, double }> <{ i8 1, double 2.000000e+00 }> 965fe61c6cb09a5a2d2ecddfb74f8b253d9d462165Eli Friedman extern constexpr Test3 t3 = Test3(); 972d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith} 982d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith 992d6a5670465cb3f1d811695a9f23e372508240d2Richard Smithnamespace Array { 1002d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith // CHECK: @_ZN5Array3arrE = constant [2 x i32] [i32 4, i32 0] 1012d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith extern constexpr int arr[2] = { 4 }; 1022d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith 1032d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith // 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"] 1042d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith extern constexpr char c[6][4] = { "foo", "a", { "bar" }, { 'x', 'y', 'z' }, { "b" }, '1', '2', '3' }; 1052d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith 106fe587201feaebc69e6d18858bea85c77926b6ecfRichard Smith // CHECK: @_ZN5Array2ucE = constant [4 x i8] c"foo\00" 107fe587201feaebc69e6d18858bea85c77926b6ecfRichard Smith extern constexpr unsigned char uc[] = { "foo" }; 108fe587201feaebc69e6d18858bea85c77926b6ecfRichard Smith 1092d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith struct C { constexpr C() : n(5) {} int n, m = 3 * n + 1; }; 110e15c71236252c21a77c8a406246053e1cbb63ffaRichard Smith // CHECK: @_ZN5Array5ctorsE = constant [3 x {{.*}}] [{{.*}} { i32 5, i32 16 }, {{.*}} { i32 5, i32 16 }, {{.*}} { i32 5, i32 16 }] 1112d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith extern const C ctors[3]; 1122d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith constexpr C ctors[3]; 1132d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith 1142d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith // CHECK: @_ZN5Array1dE = constant {{.*}} { [2 x i32] [i32 1, i32 2], [3 x i32] [i32 3, i32 4, i32 5] } 1152d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith struct D { int n[2]; int m[3]; } extern constexpr d = { 1, 2, 3, 4, 5 }; 116f3908f2ae111b1b12ade2524dda71c669ed6f121Richard Smith 117f3908f2ae111b1b12ade2524dda71c669ed6f121Richard Smith struct E { 118f3908f2ae111b1b12ade2524dda71c669ed6f121Richard Smith char c[4]; 119f3908f2ae111b1b12ade2524dda71c669ed6f121Richard Smith char d[4]; 120f3908f2ae111b1b12ade2524dda71c669ed6f121Richard Smith constexpr E() : c("foo"), d("x") {} 121f3908f2ae111b1b12ade2524dda71c669ed6f121Richard Smith }; 122e15c71236252c21a77c8a406246053e1cbb63ffaRichard Smith // CHECK: @_ZN5Array1eE = constant {{.*}} { [4 x i8] c"foo\00", [4 x i8] c"x\00\00\00" } 123f3908f2ae111b1b12ade2524dda71c669ed6f121Richard Smith extern constexpr E e = E(); 124de31aa7f0ef71f5c162372e319cbc03c0924f074Richard Smith 125de31aa7f0ef71f5c162372e319cbc03c0924f074Richard Smith // PR13290 126de31aa7f0ef71f5c162372e319cbc03c0924f074Richard Smith struct F { constexpr F() : n(4) {} int n; }; 127de31aa7f0ef71f5c162372e319cbc03c0924f074Richard Smith // CHECK: @_ZN5Array2f1E = global {{.*}} zeroinitializer 128de31aa7f0ef71f5c162372e319cbc03c0924f074Richard Smith F f1[1][1][0] = { }; 129de31aa7f0ef71f5c162372e319cbc03c0924f074Richard Smith // CHECK: @_ZN5Array2f2E = global {{.* i32 4 .* i32 4 .* i32 4 .* i32 4 .* i32 4 .* i32 4 .* i32 4 .* i32 4}} 130de31aa7f0ef71f5c162372e319cbc03c0924f074Richard Smith F f2[2][2][2] = { }; 1312d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith} 1322d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith 1332d6a5670465cb3f1d811695a9f23e372508240d2Richard Smithnamespace MemberPtr { 1342d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith struct B1 { 1352d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith int a, b; 1362d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith virtual void f(); 1372d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith void g(); 1382d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith }; 1392d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith struct B2 { 1402d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith int c, d; 1412d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith virtual void h(); 1422d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith void i(); 1432d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith }; 1442d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith struct C : B1 { 1452d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith int e; 1462d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith virtual void j(); 1472d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith void k(); 1482d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith }; 1492d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith struct D : C, B2 { 1502d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith int z; 1512d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith virtual void l(); 1522d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith void m(); 1532d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith }; 1542d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith 1552d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith // CHECK: @_ZN9MemberPtr2daE = constant i64 8 1562d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith // CHECK: @_ZN9MemberPtr2dbE = constant i64 12 1572d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith // CHECK: @_ZN9MemberPtr2dcE = constant i64 32 1582d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith // CHECK: @_ZN9MemberPtr2ddE = constant i64 36 1592d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith // CHECK: @_ZN9MemberPtr2deE = constant i64 16 1602d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith // CHECK: @_ZN9MemberPtr2dzE = constant i64 40 1612d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith extern constexpr int (D::*da) = &B1::a; 1622d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith extern constexpr int (D::*db) = &C::b; 1632d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith extern constexpr int (D::*dc) = &B2::c; 1642d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith extern constexpr int (D::*dd) = &D::d; 1652d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith extern constexpr int (D::*de) = &C::e; 1662d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith extern constexpr int (D::*dz) = &D::z; 1672d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith 1682d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith // CHECK: @_ZN9MemberPtr2baE = constant i64 8 1692d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith // CHECK: @_ZN9MemberPtr2bbE = constant i64 12 1702d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith // CHECK: @_ZN9MemberPtr2bcE = constant i64 8 1712d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith // CHECK: @_ZN9MemberPtr2bdE = constant i64 12 1722d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith // CHECK: @_ZN9MemberPtr2beE = constant i64 16 1732d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith // CHECK: @_ZN9MemberPtr3b1zE = constant i64 40 1742d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith // CHECK: @_ZN9MemberPtr3b2zE = constant i64 16 1752d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith extern constexpr int (B1::*ba) = (int(B1::*))&B1::a; 1762d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith extern constexpr int (B1::*bb) = (int(B1::*))&C::b; 1772d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith extern constexpr int (B2::*bc) = (int(B2::*))&B2::c; 1782d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith extern constexpr int (B2::*bd) = (int(B2::*))&D::d; 1792d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith extern constexpr int (B1::*be) = (int(B1::*))&C::e; 1802d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith extern constexpr int (B1::*b1z) = (int(B1::*))&D::z; 1812d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith extern constexpr int (B2::*b2z) = (int(B2::*))&D::z; 1822d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith 1832d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith // CHECK: @_ZN9MemberPtr2dfE = constant {{.*}} { i64 1, i64 0 } 1842d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith // CHECK: @_ZN9MemberPtr2dgE = constant {{.*}} { i64 {{.*}}2B11gEv{{.*}}, i64 0 } 1852d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith // CHECK: @_ZN9MemberPtr2dhE = constant {{.*}} { i64 1, i64 24 } 1862d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith // CHECK: @_ZN9MemberPtr2diE = constant {{.*}} { i64 {{.*}}2B21iEv{{.*}}, i64 24 } 1872d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith // CHECK: @_ZN9MemberPtr2djE = constant {{.*}} { i64 9, i64 0 } 1882d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith // CHECK: @_ZN9MemberPtr2dkE = constant {{.*}} { i64 {{.*}}1C1kEv{{.*}}, i64 0 } 1892d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith // CHECK: @_ZN9MemberPtr2dlE = constant {{.*}} { i64 17, i64 0 } 1902d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith // CHECK: @_ZN9MemberPtr2dmE = constant {{.*}} { i64 {{.*}}1D1mEv{{.*}}, i64 0 } 1912d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith extern constexpr void (D::*df)() = &C::f; 1922d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith extern constexpr void (D::*dg)() = &B1::g; 1932d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith extern constexpr void (D::*dh)() = &B2::h; 1942d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith extern constexpr void (D::*di)() = &D::i; 1952d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith extern constexpr void (D::*dj)() = &C::j; 1962d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith extern constexpr void (D::*dk)() = &C::k; 1972d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith extern constexpr void (D::*dl)() = &D::l; 1982d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith extern constexpr void (D::*dm)() = &D::m; 1992d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith 2002d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith // CHECK: @_ZN9MemberPtr2bfE = constant {{.*}} { i64 1, i64 0 } 2012d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith // CHECK: @_ZN9MemberPtr2bgE = constant {{.*}} { i64 {{.*}}2B11gEv{{.*}}, i64 0 } 2022d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith // CHECK: @_ZN9MemberPtr2bhE = constant {{.*}} { i64 1, i64 0 } 2032d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith // CHECK: @_ZN9MemberPtr2biE = constant {{.*}} { i64 {{.*}}2B21iEv{{.*}}, i64 0 } 2042d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith // CHECK: @_ZN9MemberPtr2bjE = constant {{.*}} { i64 9, i64 0 } 2052d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith // CHECK: @_ZN9MemberPtr2bkE = constant {{.*}} { i64 {{.*}}1C1kEv{{.*}}, i64 0 } 2062d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith // CHECK: @_ZN9MemberPtr3b1lE = constant {{.*}} { i64 17, i64 0 } 2072d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith // CHECK: @_ZN9MemberPtr3b1mE = constant {{.*}} { i64 {{.*}}1D1mEv{{.*}}, i64 0 } 2082d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith // CHECK: @_ZN9MemberPtr3b2lE = constant {{.*}} { i64 17, i64 -24 } 2092d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith // CHECK: @_ZN9MemberPtr3b2mE = constant {{.*}} { i64 {{.*}}1D1mEv{{.*}}, i64 -24 } 2102d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith extern constexpr void (B1::*bf)() = (void(B1::*)())&C::f; 2112d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith extern constexpr void (B1::*bg)() = (void(B1::*)())&B1::g; 2122d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith extern constexpr void (B2::*bh)() = (void(B2::*)())&B2::h; 2132d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith extern constexpr void (B2::*bi)() = (void(B2::*)())&D::i; 2142d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith extern constexpr void (B1::*bj)() = (void(B1::*)())&C::j; 2152d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith extern constexpr void (B1::*bk)() = (void(B1::*)())&C::k; 2162d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith extern constexpr void (B1::*b1l)() = (void(B1::*)())&D::l; 2172d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith extern constexpr void (B1::*b1m)() = (void(B1::*)())&D::m; 2182d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith extern constexpr void (B2::*b2l)() = (void(B2::*)())&D::l; 2192d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith extern constexpr void (B2::*b2m)() = (void(B2::*)())&D::m; 2202d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith} 2212d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith 2227ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smithnamespace LiteralReference { 2237ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith struct Lit { 2247ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith constexpr Lit() : n(5) {} 2257ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith int n; 2267ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith }; 227211c8ddb5b500ed84833751363d0cfe1115f4dd3Richard Smith 228211c8ddb5b500ed84833751363d0cfe1115f4dd3Richard Smith // This creates a non-const temporary and binds a reference to it. 229211c8ddb5b500ed84833751363d0cfe1115f4dd3Richard Smith // CHECK: @[[TEMP:.*]] = private global {{.*}} { i32 5 }, align 4 230211c8ddb5b500ed84833751363d0cfe1115f4dd3Richard Smith // CHECK: @_ZN16LiteralReference3litE = constant {{.*}} @[[TEMP]], align 8 2317ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith const Lit &lit = Lit(); 232211c8ddb5b500ed84833751363d0cfe1115f4dd3Richard Smith 233211c8ddb5b500ed84833751363d0cfe1115f4dd3Richard Smith // This creates a const temporary as part of the reference initialization. 234211c8ddb5b500ed84833751363d0cfe1115f4dd3Richard Smith // CHECK: @[[TEMP:.*]] = private constant {{.*}} { i32 5 }, align 4 235211c8ddb5b500ed84833751363d0cfe1115f4dd3Richard Smith // CHECK: @_ZN16LiteralReference4lit2E = constant {{.*}} @[[TEMP]], align 8 236211c8ddb5b500ed84833751363d0cfe1115f4dd3Richard Smith const Lit &lit2 = {}; 237211c8ddb5b500ed84833751363d0cfe1115f4dd3Richard Smith 238211c8ddb5b500ed84833751363d0cfe1115f4dd3Richard Smith struct A { int &&r1; const int &&r2; }; 239211c8ddb5b500ed84833751363d0cfe1115f4dd3Richard Smith struct B { A &&a1; const A &&a2; }; 240211c8ddb5b500ed84833751363d0cfe1115f4dd3Richard Smith B b = { { 0, 1 }, { 2, 3 } }; 241211c8ddb5b500ed84833751363d0cfe1115f4dd3Richard Smith // CHECK: @[[TEMP0:.*]] = private global i32 0, align 4 242211c8ddb5b500ed84833751363d0cfe1115f4dd3Richard Smith // CHECK: @[[TEMP1:.*]] = private constant i32 1, align 4 243211c8ddb5b500ed84833751363d0cfe1115f4dd3Richard Smith // CHECK: @[[TEMPA1:.*]] = private global {{.*}} { i32* @[[TEMP0]], i32* @[[TEMP1]] }, align 8 244211c8ddb5b500ed84833751363d0cfe1115f4dd3Richard Smith // CHECK: @[[TEMP2:.*]] = private global i32 2, align 4 245211c8ddb5b500ed84833751363d0cfe1115f4dd3Richard Smith // CHECK: @[[TEMP3:.*]] = private constant i32 3, align 4 246211c8ddb5b500ed84833751363d0cfe1115f4dd3Richard Smith // CHECK: @[[TEMPA2:.*]] = private constant {{.*}} { i32* @[[TEMP2]], i32* @[[TEMP3]] }, align 8 247211c8ddb5b500ed84833751363d0cfe1115f4dd3Richard Smith // CHECK: @_ZN16LiteralReference1bE = global {{.*}} { {{.*}}* @[[TEMPA1]], {{.*}}* @[[TEMPA2]] }, align 8 248211c8ddb5b500ed84833751363d0cfe1115f4dd3Richard Smith 249211c8ddb5b500ed84833751363d0cfe1115f4dd3Richard Smith struct Subobj { 250211c8ddb5b500ed84833751363d0cfe1115f4dd3Richard Smith int a, b, c; 251211c8ddb5b500ed84833751363d0cfe1115f4dd3Richard Smith }; 252211c8ddb5b500ed84833751363d0cfe1115f4dd3Richard Smith // CHECK: @[[TEMP:.*]] = private global {{.*}} { i32 1, i32 2, i32 3 }, align 4 253211c8ddb5b500ed84833751363d0cfe1115f4dd3Richard Smith // CHECK: @_ZN16LiteralReference2soE = constant {{.*}} (i8* getelementptr {{.*}} @[[TEMP]]{{.*}}, i64 4) 254211c8ddb5b500ed84833751363d0cfe1115f4dd3Richard Smith constexpr int &&so = Subobj{ 1, 2, 3 }.b; 255211c8ddb5b500ed84833751363d0cfe1115f4dd3Richard Smith 256211c8ddb5b500ed84833751363d0cfe1115f4dd3Richard Smith struct Dummy { int padding; }; 257211c8ddb5b500ed84833751363d0cfe1115f4dd3Richard Smith struct Derived : Dummy, Subobj { 258211c8ddb5b500ed84833751363d0cfe1115f4dd3Richard Smith constexpr Derived() : Dummy{200}, Subobj{4, 5, 6} {} 259211c8ddb5b500ed84833751363d0cfe1115f4dd3Richard Smith }; 260211c8ddb5b500ed84833751363d0cfe1115f4dd3Richard Smith using ConstDerived = const Derived; 261211c8ddb5b500ed84833751363d0cfe1115f4dd3Richard Smith // CHECK: @[[TEMPCOMMA:.*]] = private constant {{.*}} { i32 200, i32 4, i32 5, i32 6 } 262211c8ddb5b500ed84833751363d0cfe1115f4dd3Richard Smith // CHECK: @_ZN16LiteralReference5commaE = constant {{.*}} getelementptr {{.*}} @[[TEMPCOMMA]]{{.*}}, i64 8) 263211c8ddb5b500ed84833751363d0cfe1115f4dd3Richard Smith constexpr const int &comma = (1, (2, ConstDerived{}).b); 264211c8ddb5b500ed84833751363d0cfe1115f4dd3Richard Smith 265211c8ddb5b500ed84833751363d0cfe1115f4dd3Richard Smith // CHECK: @[[TEMPDERIVED:.*]] = private global {{.*}} { i32 200, i32 4, i32 5, i32 6 } 266211c8ddb5b500ed84833751363d0cfe1115f4dd3Richard Smith // CHECK: @_ZN16LiteralReference4baseE = constant {{.*}} getelementptr {{.*}} @[[TEMPDERIVED]]{{.*}}, i64 4) 267211c8ddb5b500ed84833751363d0cfe1115f4dd3Richard Smith constexpr Subobj &&base = Derived{}; 268211c8ddb5b500ed84833751363d0cfe1115f4dd3Richard Smith 269211c8ddb5b500ed84833751363d0cfe1115f4dd3Richard Smith // CHECK: @_ZN16LiteralReference7derivedE = constant {{.*}} @[[TEMPDERIVED]] 270211c8ddb5b500ed84833751363d0cfe1115f4dd3Richard Smith constexpr Derived &derived = static_cast<Derived&>(base); 2717ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith} 2727ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith 2737ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smithnamespace NonLiteralConstexpr { 2747ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith constexpr int factorial(int n) { 2757ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith return n ? factorial(n-1) * n : 1; 2767ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith } 2777ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith extern void f(int *p); 2787ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith 2797ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith struct NonTrivialDtor { 2807ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith constexpr NonTrivialDtor() : n(factorial(5)), p(&n) {} 2817ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith ~NonTrivialDtor() { 2827ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith f(p); 2837ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith } 2847ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith 2857ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith int n; 2867ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith int *p; 2877ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith }; 2887ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith static_assert(!__is_literal(NonTrivialDtor), ""); 2897ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith // CHECK: @_ZN19NonLiteralConstexpr3ntdE = global {{.*}} { i32 120, i32* getelementptr 2907ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith NonTrivialDtor ntd; 2917ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith 2927ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith struct VolatileMember { 2937ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith constexpr VolatileMember() : n(5) {} 2947ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith volatile int n; 2957ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith }; 2967ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith static_assert(!__is_literal(VolatileMember), ""); 2977ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith // CHECK: @_ZN19NonLiteralConstexpr2vmE = global {{.*}} { i32 5 } 2987ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith VolatileMember vm; 2997ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith 3007ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith struct Both { 3017ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith constexpr Both() : n(10) {} 3027ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith ~Both(); 3037ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith volatile int n; 3047ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith }; 3057ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith // CHECK: @_ZN19NonLiteralConstexpr1bE = global {{.*}} { i32 10 } 3067ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith Both b; 3077ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith 3087ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith void StaticVars() { 3097ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith // CHECK: @_ZZN19NonLiteralConstexpr10StaticVarsEvE3ntd = {{.*}} { i32 120, i32* getelementptr {{.*}} 3107ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith // CHECK: @_ZGVZN19NonLiteralConstexpr10StaticVarsEvE3ntd = 3117ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith static NonTrivialDtor ntd; 3127ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith // CHECK: @_ZZN19NonLiteralConstexpr10StaticVarsEvE2vm = {{.*}} { i32 5 } 3137ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith // CHECK-NOT: @_ZGVZN19NonLiteralConstexpr10StaticVarsEvE2vm = 3147ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith static VolatileMember vm; 3157ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith // CHECK: @_ZZN19NonLiteralConstexpr10StaticVarsEvE1b = {{.*}} { i32 10 } 3167ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith // CHECK: @_ZGVZN19NonLiteralConstexpr10StaticVarsEvE1b = 3177ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith static Both b; 3187ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith } 3197ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith} 3207ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith 321c22adbd40ac2fc445e41fb664777179aa5c522e3Richard Smith// PR12067 322c22adbd40ac2fc445e41fb664777179aa5c522e3Richard Smithnamespace VirtualMembers { 323c22adbd40ac2fc445e41fb664777179aa5c522e3Richard Smith struct A { 324c22adbd40ac2fc445e41fb664777179aa5c522e3Richard Smith constexpr A(double d) : d(d) {} 325c22adbd40ac2fc445e41fb664777179aa5c522e3Richard Smith virtual void f(); 326c22adbd40ac2fc445e41fb664777179aa5c522e3Richard Smith double d; 327c22adbd40ac2fc445e41fb664777179aa5c522e3Richard Smith }; 328c22adbd40ac2fc445e41fb664777179aa5c522e3Richard Smith struct B : A { 329c22adbd40ac2fc445e41fb664777179aa5c522e3Richard Smith constexpr B() : A(2.0), c{'h', 'e', 'l', 'l', 'o'} {} 330c22adbd40ac2fc445e41fb664777179aa5c522e3Richard Smith constexpr B(int n) : A(n), c{'w', 'o', 'r', 'l', 'd'} {} 331c22adbd40ac2fc445e41fb664777179aa5c522e3Richard Smith virtual void g(); 332c22adbd40ac2fc445e41fb664777179aa5c522e3Richard Smith char c[5]; 333c22adbd40ac2fc445e41fb664777179aa5c522e3Richard Smith }; 334c22adbd40ac2fc445e41fb664777179aa5c522e3Richard Smith struct C { 335c22adbd40ac2fc445e41fb664777179aa5c522e3Richard Smith constexpr C() : n(64) {} 336c22adbd40ac2fc445e41fb664777179aa5c522e3Richard Smith int n; 337c22adbd40ac2fc445e41fb664777179aa5c522e3Richard Smith }; 338c22adbd40ac2fc445e41fb664777179aa5c522e3Richard Smith struct D : C, A, B { 339c22adbd40ac2fc445e41fb664777179aa5c522e3Richard Smith constexpr D() : A(1.0), B(), s(5) {} 340c22adbd40ac2fc445e41fb664777179aa5c522e3Richard Smith short s; 341c22adbd40ac2fc445e41fb664777179aa5c522e3Richard Smith }; 342c22adbd40ac2fc445e41fb664777179aa5c522e3Richard Smith struct E : D, B { 343c22adbd40ac2fc445e41fb664777179aa5c522e3Richard Smith constexpr E() : B(3), c{'b','y','e'} {} 344c22adbd40ac2fc445e41fb664777179aa5c522e3Richard Smith char c[3]; 345c22adbd40ac2fc445e41fb664777179aa5c522e3Richard Smith }; 346c22adbd40ac2fc445e41fb664777179aa5c522e3Richard Smith 347c22adbd40ac2fc445e41fb664777179aa5c522e3Richard Smith // 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*]* @_ZTVN14VirtualMembers1EE, i64 0, i64 2), double 1.000000e+00, i32 64, i8** getelementptr inbounds ([11 x i8*]* @_ZTVN14VirtualMembers1EE, i64 0, i64 5), double 2.000000e+00, [5 x i8] c"hello", i16 5, i8** getelementptr inbounds ([11 x i8*]* @_ZTVN14VirtualMembers1EE, i64 0, i64 9), double 3.000000e+00, [5 x i8] c"world", [3 x i8] c"bye" } 348c22adbd40ac2fc445e41fb664777179aa5c522e3Richard Smith E e; 349c22adbd40ac2fc445e41fb664777179aa5c522e3Richard Smith 350c22adbd40ac2fc445e41fb664777179aa5c522e3Richard Smith struct nsMemoryImpl { 351c22adbd40ac2fc445e41fb664777179aa5c522e3Richard Smith virtual void f(); 352c22adbd40ac2fc445e41fb664777179aa5c522e3Richard Smith }; 353c22adbd40ac2fc445e41fb664777179aa5c522e3Richard Smith // CHECK: @_ZN14VirtualMembersL13sGlobalMemoryE = internal global { i8** } { i8** getelementptr inbounds ([3 x i8*]* @_ZTVN14VirtualMembers12nsMemoryImplE, i64 0, i64 2) } 354c22adbd40ac2fc445e41fb664777179aa5c522e3Richard Smith static nsMemoryImpl sGlobalMemory; 355c22adbd40ac2fc445e41fb664777179aa5c522e3Richard Smith} 356c22adbd40ac2fc445e41fb664777179aa5c522e3Richard Smith 357f4bb8d06c4f1665f89a9e9ddd61f2a2d26904da0Richard Smithnamespace PR13273 { 358f4bb8d06c4f1665f89a9e9ddd61f2a2d26904da0Richard Smith struct U { 359f4bb8d06c4f1665f89a9e9ddd61f2a2d26904da0Richard Smith int t; 360f4bb8d06c4f1665f89a9e9ddd61f2a2d26904da0Richard Smith U() = default; 361f4bb8d06c4f1665f89a9e9ddd61f2a2d26904da0Richard Smith }; 362f4bb8d06c4f1665f89a9e9ddd61f2a2d26904da0Richard Smith 363f4bb8d06c4f1665f89a9e9ddd61f2a2d26904da0Richard Smith struct S : U { 364f4bb8d06c4f1665f89a9e9ddd61f2a2d26904da0Richard Smith S() = default; 365f4bb8d06c4f1665f89a9e9ddd61f2a2d26904da0Richard Smith }; 366f4bb8d06c4f1665f89a9e9ddd61f2a2d26904da0Richard Smith 3678ae4ec28451a16a57718286da3e476fc2f495c3fRichard Smith // CHECK: @_ZN7PR132731sE = {{.*}} zeroinitializer 3688ae4ec28451a16a57718286da3e476fc2f495c3fRichard Smith extern const S s {}; 369f4bb8d06c4f1665f89a9e9ddd61f2a2d26904da0Richard Smith} 370f4bb8d06c4f1665f89a9e9ddd61f2a2d26904da0Richard Smith 371b6e3808bfe385da8d90bb431e41e30d721d5433fRichard Smithnamespace ArrayTemporary { 372b6e3808bfe385da8d90bb431e41e30d721d5433fRichard Smith struct A { const int (&x)[3]; }; 373b6e3808bfe385da8d90bb431e41e30d721d5433fRichard Smith struct B { const A (&x)[2]; }; 374b6e3808bfe385da8d90bb431e41e30d721d5433fRichard Smith // CHECK: @[[A1:_ZGRN14ArrayTemporary1bE.*]] = private constant [3 x i32] [i32 1, i32 2, i32 3] 375b6e3808bfe385da8d90bb431e41e30d721d5433fRichard Smith // CHECK: @[[A2:_ZGRN14ArrayTemporary1bE.*]] = private constant [3 x i32] [i32 4, i32 5, i32 6] 376b6e3808bfe385da8d90bb431e41e30d721d5433fRichard Smith // CHECK: @[[ARR:_ZGRN14ArrayTemporary1bE.*]] = private constant [2 x {{.*}}] [{{.*}} { [3 x i32]* @[[A1]] }, {{.*}} { [3 x i32]* @[[A2]] }] 377b6e3808bfe385da8d90bb431e41e30d721d5433fRichard Smith // CHECK: @[[B:_ZGRN14ArrayTemporary1bE.*]] = private global {{.*}} { [2 x {{.*}}]* @[[ARR]] } 378b6e3808bfe385da8d90bb431e41e30d721d5433fRichard Smith // CHECK: @_ZN14ArrayTemporary1bE = constant {{.*}}* @[[B]] 379b6e3808bfe385da8d90bb431e41e30d721d5433fRichard Smith B &&b = { { { { 1, 2, 3 } }, { { 4, 5, 6 } } } }; 380b6e3808bfe385da8d90bb431e41e30d721d5433fRichard Smith} 381b6e3808bfe385da8d90bb431e41e30d721d5433fRichard Smith 382211c8ddb5b500ed84833751363d0cfe1115f4dd3Richard Smithnamespace UnemittedTemporaryDecl { 383211c8ddb5b500ed84833751363d0cfe1115f4dd3Richard Smith constexpr int &&ref = 0; 384211c8ddb5b500ed84833751363d0cfe1115f4dd3Richard Smith extern constexpr int &ref2 = ref; 385211c8ddb5b500ed84833751363d0cfe1115f4dd3Richard Smith // CHECK: @_ZGRN22UnemittedTemporaryDecl3refE = private global i32 0 386211c8ddb5b500ed84833751363d0cfe1115f4dd3Richard Smith 387211c8ddb5b500ed84833751363d0cfe1115f4dd3Richard Smith // FIXME: This declaration should not be emitted -- it isn't odr-used. 388211c8ddb5b500ed84833751363d0cfe1115f4dd3Richard Smith // CHECK: @_ZN22UnemittedTemporaryDecl3refE 389211c8ddb5b500ed84833751363d0cfe1115f4dd3Richard Smith 390211c8ddb5b500ed84833751363d0cfe1115f4dd3Richard Smith // CHECK: @_ZN22UnemittedTemporaryDecl4ref2E = constant i32* @_ZGRN22UnemittedTemporaryDecl3refE 391211c8ddb5b500ed84833751363d0cfe1115f4dd3Richard Smith} 392211c8ddb5b500ed84833751363d0cfe1115f4dd3Richard Smith 393e67ca5803ac9e39cc31ed1ad9576e1626c8141ebRichard Smith// CHECK: @_ZZN12LocalVarInit3aggEvE1a = internal constant {{.*}} i32 101 394e67ca5803ac9e39cc31ed1ad9576e1626c8141ebRichard Smith// CHECK: @_ZZN12LocalVarInit4ctorEvE1a = internal constant {{.*}} i32 102 395e67ca5803ac9e39cc31ed1ad9576e1626c8141ebRichard Smith// CHECK: @_ZZN12LocalVarInit8mutable_EvE1a = private unnamed_addr constant {{.*}} i32 103 396e67ca5803ac9e39cc31ed1ad9576e1626c8141ebRichard Smith 3972d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith// Constant initialization tests go before this point, 3982d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith// dynamic initialization tests go after. 3992d6a5670465cb3f1d811695a9f23e372508240d2Richard Smith 4007ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith// We must emit a constant initializer for NonLiteralConstexpr::ntd, but also 4017ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith// emit an initializer to register its destructor. 4027ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith// CHECK: define {{.*}}cxx_global_var_init{{.*}} 4037ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith// CHECK-NOT: NonLiteralConstexpr 4047ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith// CHECK: call {{.*}}cxa_atexit{{.*}} @_ZN19NonLiteralConstexpr14NonTrivialDtorD1Ev {{.*}} @_ZN19NonLiteralConstexpr3ntdE 4057ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith// CHECK-NEXT: ret void 4067ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith 4077ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith// We don't need to emit any dynamic initialization for NonLiteralConstexpr::vm. 4087ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith// CHECK-NOT: NonLiteralConstexpr2vm 4097ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith 4107ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith// We must emit a constant initializer for NonLiteralConstexpr::b, but also 4117ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith// emit an initializer to register its destructor. 4127ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith// CHECK: define {{.*}}cxx_global_var_init{{.*}} 4137ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith// CHECK-NOT: NonLiteralConstexpr 4147ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith// CHECK: call {{.*}}cxa_atexit{{.*}} @_ZN19NonLiteralConstexpr4BothD1Ev {{.*}} @_ZN19NonLiteralConstexpr1bE 4157ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith// CHECK-NEXT: ret void 4167ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith 4177ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith// CHECK: define {{.*}}NonLiteralConstexpr10StaticVars 4187ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith// CHECK-NOT: } 4197ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith// CHECK: call {{.*}}cxa_atexit{{.*}}@_ZN19NonLiteralConstexpr14NonTrivialDtorD1Ev 4207ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith// CHECK-NOT: } 4217ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith// CHECK: call {{.*}}cxa_atexit{{.*}}@_ZN19NonLiteralConstexpr4BothD1Ev 4227ca4850a3e3530fa6c93b64b740446e32c97f992Richard Smith 423e67ca5803ac9e39cc31ed1ad9576e1626c8141ebRichard Smith// PR12848: Don't emit dynamic initializers for local constexpr variables. 424e67ca5803ac9e39cc31ed1ad9576e1626c8141ebRichard Smithnamespace LocalVarInit { 425e67ca5803ac9e39cc31ed1ad9576e1626c8141ebRichard Smith constexpr int f(int n) { return n; } 426e67ca5803ac9e39cc31ed1ad9576e1626c8141ebRichard Smith struct Agg { int k; }; 427e67ca5803ac9e39cc31ed1ad9576e1626c8141ebRichard Smith struct Ctor { constexpr Ctor(int n) : k(n) {} int k; }; 428e67ca5803ac9e39cc31ed1ad9576e1626c8141ebRichard Smith struct Mutable { constexpr Mutable(int n) : k(n) {} mutable int k; }; 429e67ca5803ac9e39cc31ed1ad9576e1626c8141ebRichard Smith 430e67ca5803ac9e39cc31ed1ad9576e1626c8141ebRichard Smith // CHECK: define {{.*}} @_ZN12LocalVarInit6scalarEv 431e67ca5803ac9e39cc31ed1ad9576e1626c8141ebRichard Smith // CHECK-NOT: call 432e67ca5803ac9e39cc31ed1ad9576e1626c8141ebRichard Smith // CHECK: store i32 100, 433e67ca5803ac9e39cc31ed1ad9576e1626c8141ebRichard Smith // CHECK-NOT: call 434e67ca5803ac9e39cc31ed1ad9576e1626c8141ebRichard Smith // CHECK: ret i32 100 435e67ca5803ac9e39cc31ed1ad9576e1626c8141ebRichard Smith int scalar() { constexpr int a = { f(100) }; return a; } 436e67ca5803ac9e39cc31ed1ad9576e1626c8141ebRichard Smith 437e67ca5803ac9e39cc31ed1ad9576e1626c8141ebRichard Smith // CHECK: define {{.*}} @_ZN12LocalVarInit3aggEv 438e67ca5803ac9e39cc31ed1ad9576e1626c8141ebRichard Smith // CHECK-NOT: call 439e67ca5803ac9e39cc31ed1ad9576e1626c8141ebRichard Smith // CHECK: ret i32 101 440e67ca5803ac9e39cc31ed1ad9576e1626c8141ebRichard Smith int agg() { constexpr Agg a = { f(101) }; return a.k; } 441e67ca5803ac9e39cc31ed1ad9576e1626c8141ebRichard Smith 442e67ca5803ac9e39cc31ed1ad9576e1626c8141ebRichard Smith // CHECK: define {{.*}} @_ZN12LocalVarInit4ctorEv 443e67ca5803ac9e39cc31ed1ad9576e1626c8141ebRichard Smith // CHECK-NOT: call 444e67ca5803ac9e39cc31ed1ad9576e1626c8141ebRichard Smith // CHECK: ret i32 102 445e67ca5803ac9e39cc31ed1ad9576e1626c8141ebRichard Smith int ctor() { constexpr Ctor a = { f(102) }; return a.k; } 446e67ca5803ac9e39cc31ed1ad9576e1626c8141ebRichard Smith 447e67ca5803ac9e39cc31ed1ad9576e1626c8141ebRichard Smith // CHECK: define {{.*}} @_ZN12LocalVarInit8mutable_Ev 448e67ca5803ac9e39cc31ed1ad9576e1626c8141ebRichard Smith // CHECK-NOT: call 449e67ca5803ac9e39cc31ed1ad9576e1626c8141ebRichard Smith // CHECK: call {{.*}}memcpy{{.*}} @_ZZN12LocalVarInit8mutable_EvE1a 450e67ca5803ac9e39cc31ed1ad9576e1626c8141ebRichard Smith // CHECK-NOT: call 451e67ca5803ac9e39cc31ed1ad9576e1626c8141ebRichard Smith // Can't fold return value due to 'mutable'. 452e67ca5803ac9e39cc31ed1ad9576e1626c8141ebRichard Smith // CHECK-NOT: ret i32 103 453e67ca5803ac9e39cc31ed1ad9576e1626c8141ebRichard Smith // CHECK: } 454e67ca5803ac9e39cc31ed1ad9576e1626c8141ebRichard Smith int mutable_() { constexpr Mutable a = { f(103) }; return a.k; } 455e67ca5803ac9e39cc31ed1ad9576e1626c8141ebRichard Smith} 456e67ca5803ac9e39cc31ed1ad9576e1626c8141ebRichard Smith 4575930a4c5224eea3b0558655f7f8c9ea027ef573eEli Friedmannamespace CrossFuncLabelDiff { 4585930a4c5224eea3b0558655f7f8c9ea027ef573eEli Friedman // Make sure we refuse to constant-fold the variable b. 459745f5147e065900267c85a5568785a1991d4838fRichard Smith constexpr long a(bool x) { return x ? 0 : (long)&&lbl + (0 && ({lbl: 0;})); } 460745f5147e065900267c85a5568785a1991d4838fRichard Smith void test() { static long b = (long)&&lbl - a(false); lbl: return; } 4615930a4c5224eea3b0558655f7f8c9ea027ef573eEli Friedman // CHECK: sub nsw i64 ptrtoint (i8* blockaddress(@_ZN18CrossFuncLabelDiff4testEv, {{.*}}) to i64), 4625930a4c5224eea3b0558655f7f8c9ea027ef573eEli Friedman // CHECK: store i64 {{.*}}, i64* @_ZZN18CrossFuncLabelDiff4testEvE1b, align 8 4635930a4c5224eea3b0558655f7f8c9ea027ef573eEli Friedman} 464ce582fe2a7aad8b14b3636ad9cac0a3b8bbb219bRichard Smith 465ce582fe2a7aad8b14b3636ad9cac0a3b8bbb219bRichard Smith// PR12012 466ce582fe2a7aad8b14b3636ad9cac0a3b8bbb219bRichard Smithnamespace VirtualBase { 467ce582fe2a7aad8b14b3636ad9cac0a3b8bbb219bRichard Smith struct B {}; 468ce582fe2a7aad8b14b3636ad9cac0a3b8bbb219bRichard Smith struct D : virtual B {}; 469ce582fe2a7aad8b14b3636ad9cac0a3b8bbb219bRichard Smith D d; 470ce582fe2a7aad8b14b3636ad9cac0a3b8bbb219bRichard Smith // CHECK: call {{.*}}@_ZN11VirtualBase1DC1Ev 471ce582fe2a7aad8b14b3636ad9cac0a3b8bbb219bRichard Smith 472ce582fe2a7aad8b14b3636ad9cac0a3b8bbb219bRichard Smith template<typename T> struct X : T { 473ce582fe2a7aad8b14b3636ad9cac0a3b8bbb219bRichard Smith constexpr X() : T() {} 474ce582fe2a7aad8b14b3636ad9cac0a3b8bbb219bRichard Smith }; 475ce582fe2a7aad8b14b3636ad9cac0a3b8bbb219bRichard Smith X<D> x; 476ce582fe2a7aad8b14b3636ad9cac0a3b8bbb219bRichard Smith // CHECK: call {{.*}}@_ZN11VirtualBase1XINS_1DEEC1Ev 477ce582fe2a7aad8b14b3636ad9cac0a3b8bbb219bRichard Smith} 478a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smith 479a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smith// PR12145 480a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smithnamespace Unreferenced { 481a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smith int n; 482a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smith constexpr int *p = &n; 483a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smith // We must not emit a load of 'p' here, since it's not odr-used. 484a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smith int q = *p; 485a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smith // CHECK-NOT: _ZN12Unreferenced1pE 486a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smith // CHECK: = load i32* @_ZN12Unreferenced1nE 487a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smith // CHECK-NEXT: store i32 {{.*}}, i32* @_ZN12Unreferenced1qE 488a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smith // CHECK-NOT: _ZN12Unreferenced1pE 489a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smith 490a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smith // Technically, we are not required to substitute variables of reference types 491a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smith // initialized by constant expressions, because the special case for odr-use 492a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smith // of variables in [basic.def.odr]p2 only applies to objects. But we do so 493a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smith // anyway. 494a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smith 495a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smith constexpr int &r = n; 496a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smith // CHECK-NOT: _ZN12Unreferenced1rE 497a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smith int s = r; 498a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smith 499a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smith const int t = 1; 500a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smith const int &rt = t; 501a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smith int f(int); 502a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smith int u = f(rt); 503a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smith // CHECK: call i32 @_ZN12Unreferenced1fEi(i32 1) 504a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smith} 505a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smith 506a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smithnamespace InitFromConst { 507a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smith template<typename T> void consume(T); 508a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smith 509a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smith const bool b = true; 510a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smith const int n = 5; 511946e2726f91c17574d248f9c4b3eeea41e892a22Richard Smith constexpr double d = 4.3; 512a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smith 513a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smith struct S { int n = 7; S *p = 0; }; 514a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smith constexpr S s = S(); 515a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smith const S &r = s; 516a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smith constexpr const S *p = &r; 517a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smith constexpr int S::*mp = &S::n; 518a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smith constexpr int a[3] = { 1, 4, 9 }; 519a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smith 520a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smith void test() { 521a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smith // CHECK: call void @_ZN13InitFromConst7consumeIbEEvT_(i1 zeroext true) 522a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smith consume(b); 523a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smith 524a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smith // CHECK: call void @_ZN13InitFromConst7consumeIiEEvT_(i32 5) 525a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smith consume(n); 526a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smith 527a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smith // CHECK: call void @_ZN13InitFromConst7consumeIdEEvT_(double 4.300000e+00) 528a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smith consume(d); 529a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smith 530a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smith // CHECK: call void @_ZN13InitFromConst7consumeIRKNS_1SEEEvT_(%"struct.InitFromConst::S"* @_ZN13InitFromConstL1sE) 531a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smith consume<const S&>(s); 532a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smith 5335016a70c183a50845a0421802d161093dd0643f6Richard Smith // CHECK: call void @_ZN13InitFromConst7consumeIRKNS_1SEEEvT_(%"struct.InitFromConst::S"* @_ZN13InitFromConstL1sE) 534a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smith consume<const S&>(r); 535a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smith 536a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smith // CHECK: call void @_ZN13InitFromConst7consumeIPKNS_1SEEEvT_(%"struct.InitFromConst::S"* @_ZN13InitFromConstL1sE) 537a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smith consume(p); 538a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smith 539a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smith // CHECK: call void @_ZN13InitFromConst7consumeIMNS_1SEiEEvT_(i64 0) 540a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smith consume(mp); 541a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smith 542a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smith // CHECK: call void @_ZN13InitFromConst7consumeIPKiEEvT_(i32* getelementptr inbounds ([3 x i32]* @_ZN13InitFromConstL1aE, i32 0, i32 0)) 543a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smith consume(a); 544a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smith } 545a3ca41f0c2bd1c4a752df88b283332f3b757d21eRichard Smith} 54649149fe0d2be06ce1ceed1e9d2548a0b75a59c47Richard Smith 54749149fe0d2be06ce1ceed1e9d2548a0b75a59c47Richard Smithnamespace Null { 54849149fe0d2be06ce1ceed1e9d2548a0b75a59c47Richard Smith decltype(nullptr) null(); 54949149fe0d2be06ce1ceed1e9d2548a0b75a59c47Richard Smith // CHECK: call {{.*}} @_ZN4Null4nullEv( 55049149fe0d2be06ce1ceed1e9d2548a0b75a59c47Richard Smith int *p = null(); 55149149fe0d2be06ce1ceed1e9d2548a0b75a59c47Richard Smith struct S {}; 55249149fe0d2be06ce1ceed1e9d2548a0b75a59c47Richard Smith // CHECK: call {{.*}} @_ZN4Null4nullEv( 55349149fe0d2be06ce1ceed1e9d2548a0b75a59c47Richard Smith int S::*q = null(); 55449149fe0d2be06ce1ceed1e9d2548a0b75a59c47Richard Smith} 555