1 // RUN: %clang_cc1 -verify -triple x86_64-apple-darwin -emit-llvm -o - %s -std=c++11 | FileCheck %s 2 3 // FIXME: The padding in all these objects should be zero-initialized. 4 namespace StructUnion { 5 struct A { 6 int n; 7 double d; 8 union U { 9 constexpr U(int x) : x(x) {} 10 constexpr U(const char *y) : y(y) {} 11 int x; 12 const char *y; 13 } u; 14 15 constexpr A(int n, double d, int x) : n(n), d(d), u(x) {} 16 constexpr A(int n, double d, const char *y) : n(n), d(d), u(y) {} 17 }; 18 19 // CHECK: @_ZN11StructUnion1aE = global {{.*}} { i32 1, double 2.000000e+00, {{.*}} { i32 3, [4 x i8] undef } } 20 extern constexpr A a(1, 2.0, 3); 21 22 // CHECK: @_ZN11StructUnion1bE = global {{.*}} { i32 4, double 5.000000e+00, {{.*}} { i8* getelementptr inbounds ([6 x i8]* @{{.*}}, i32 0, i32 0) } } 23 extern constexpr A b(4, 5, "hello"); 24 25 struct B { 26 int n; 27 }; 28 29 // CHECK: @_ZN11StructUnion1cE = global {{.*}} zeroinitializer 30 // CHECK: @_ZN11StructUnion2c2E = global {{.*}} zeroinitializer 31 B c; 32 B c2 = B(); 33 34 // CHECK: @_ZN11StructUnion1dE = global {{.*}} zeroinitializer 35 B d[10]; 36 37 struct C { 38 constexpr C() : c(0) {} 39 int c; 40 }; 41 42 // CHECK: @_ZN11StructUnion1eE = global {{.*}} zeroinitializer 43 C e[10]; 44 45 struct D { 46 constexpr D() : d(5) {} 47 int d; 48 }; 49 50 // CHECK: @_ZN11StructUnion1fE = global {{.*}} { i32 5 } 51 D f; 52 } 53 54 namespace BaseClass { 55 template<typename T, unsigned> struct X : T {}; 56 struct C { char c = 1; }; 57 template<unsigned... Ns> struct Cs : X<C,Ns>... {}; 58 struct N { int n = 3; }; 59 struct D { double d = 4.0; }; 60 61 template<typename ...Ts> 62 struct Test : Ts... { constexpr Test() : Ts()..., n(5) {} int n; }; 63 64 using Test1 = Test<N, C, Cs<1,2>, D, X<C,1>>; 65 // CHECK: @_ZN9BaseClass2t1E = global {{.*}} { i32 3, i8 1, i8 1, i8 1, double 4.000000e+00, i8 1, i32 5 }, align 8 66 extern constexpr Test1 t1 = Test1(); 67 68 struct DN : D, N {}; 69 struct DND : DN, X<D,0> {}; 70 struct DNN : DN, X<N,0> {}; 71 // CHECK: @_ZN9BaseClass3dndE = global {{.*}} { double 4.000000e+00, i32 3, double 4.000000e+00 } 72 extern constexpr DND dnd = DND(); 73 // Note, N subobject is laid out in DN subobject's tail padding. 74 // CHECK: @_ZN9BaseClass3dnnE = global {{.*}} { double 4.000000e+00, i32 3, i32 3 } 75 extern constexpr DNN dnn = DNN(); 76 77 struct E {}; 78 struct Test2 : X<E,0>, X<E,1>, X<E,2>, X<E,3> {}; 79 // CHECK: @_ZN9BaseClass2t2E = global {{.*}} undef 80 extern constexpr Test2 t2 = Test2(); 81 } 82 83 namespace Array { 84 // CHECK: @_ZN5Array3arrE = constant [2 x i32] [i32 4, i32 0] 85 extern constexpr int arr[2] = { 4 }; 86 87 // 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"] 88 extern constexpr char c[6][4] = { "foo", "a", { "bar" }, { 'x', 'y', 'z' }, { "b" }, '1', '2', '3' }; 89 90 struct C { constexpr C() : n(5) {} int n, m = 3 * n + 1; }; 91 // CHECK: @_ZN5Array5ctorsE = global [3 x {{.*}}] [{{.*}} { i32 5, i32 16 }, {{.*}} { i32 5, i32 16 }, {{.*}} { i32 5, i32 16 }] 92 extern const C ctors[3]; 93 constexpr C ctors[3]; 94 95 // CHECK: @_ZN5Array1dE = constant {{.*}} { [2 x i32] [i32 1, i32 2], [3 x i32] [i32 3, i32 4, i32 5] } 96 struct D { int n[2]; int m[3]; } extern constexpr d = { 1, 2, 3, 4, 5 }; 97 } 98 99 namespace MemberPtr { 100 struct B1 { 101 int a, b; 102 virtual void f(); 103 void g(); 104 }; 105 struct B2 { 106 int c, d; 107 virtual void h(); 108 void i(); 109 }; 110 struct C : B1 { 111 int e; 112 virtual void j(); 113 void k(); 114 }; 115 struct D : C, B2 { 116 int z; 117 virtual void l(); 118 void m(); 119 }; 120 121 // CHECK: @_ZN9MemberPtr2daE = constant i64 8 122 // CHECK: @_ZN9MemberPtr2dbE = constant i64 12 123 // CHECK: @_ZN9MemberPtr2dcE = constant i64 32 124 // CHECK: @_ZN9MemberPtr2ddE = constant i64 36 125 // CHECK: @_ZN9MemberPtr2deE = constant i64 16 126 // CHECK: @_ZN9MemberPtr2dzE = constant i64 40 127 extern constexpr int (D::*da) = &B1::a; 128 extern constexpr int (D::*db) = &C::b; 129 extern constexpr int (D::*dc) = &B2::c; 130 extern constexpr int (D::*dd) = &D::d; 131 extern constexpr int (D::*de) = &C::e; 132 extern constexpr int (D::*dz) = &D::z; 133 134 // CHECK: @_ZN9MemberPtr2baE = constant i64 8 135 // CHECK: @_ZN9MemberPtr2bbE = constant i64 12 136 // CHECK: @_ZN9MemberPtr2bcE = constant i64 8 137 // CHECK: @_ZN9MemberPtr2bdE = constant i64 12 138 // CHECK: @_ZN9MemberPtr2beE = constant i64 16 139 // CHECK: @_ZN9MemberPtr3b1zE = constant i64 40 140 // CHECK: @_ZN9MemberPtr3b2zE = constant i64 16 141 extern constexpr int (B1::*ba) = (int(B1::*))&B1::a; 142 extern constexpr int (B1::*bb) = (int(B1::*))&C::b; 143 extern constexpr int (B2::*bc) = (int(B2::*))&B2::c; 144 extern constexpr int (B2::*bd) = (int(B2::*))&D::d; 145 extern constexpr int (B1::*be) = (int(B1::*))&C::e; 146 extern constexpr int (B1::*b1z) = (int(B1::*))&D::z; 147 extern constexpr int (B2::*b2z) = (int(B2::*))&D::z; 148 149 // CHECK: @_ZN9MemberPtr2dfE = constant {{.*}} { i64 1, i64 0 } 150 // CHECK: @_ZN9MemberPtr2dgE = constant {{.*}} { i64 {{.*}}2B11gEv{{.*}}, i64 0 } 151 // CHECK: @_ZN9MemberPtr2dhE = constant {{.*}} { i64 1, i64 24 } 152 // CHECK: @_ZN9MemberPtr2diE = constant {{.*}} { i64 {{.*}}2B21iEv{{.*}}, i64 24 } 153 // CHECK: @_ZN9MemberPtr2djE = constant {{.*}} { i64 9, i64 0 } 154 // CHECK: @_ZN9MemberPtr2dkE = constant {{.*}} { i64 {{.*}}1C1kEv{{.*}}, i64 0 } 155 // CHECK: @_ZN9MemberPtr2dlE = constant {{.*}} { i64 17, i64 0 } 156 // CHECK: @_ZN9MemberPtr2dmE = constant {{.*}} { i64 {{.*}}1D1mEv{{.*}}, i64 0 } 157 extern constexpr void (D::*df)() = &C::f; 158 extern constexpr void (D::*dg)() = &B1::g; 159 extern constexpr void (D::*dh)() = &B2::h; 160 extern constexpr void (D::*di)() = &D::i; 161 extern constexpr void (D::*dj)() = &C::j; 162 extern constexpr void (D::*dk)() = &C::k; 163 extern constexpr void (D::*dl)() = &D::l; 164 extern constexpr void (D::*dm)() = &D::m; 165 166 // CHECK: @_ZN9MemberPtr2bfE = constant {{.*}} { i64 1, i64 0 } 167 // CHECK: @_ZN9MemberPtr2bgE = constant {{.*}} { i64 {{.*}}2B11gEv{{.*}}, i64 0 } 168 // CHECK: @_ZN9MemberPtr2bhE = constant {{.*}} { i64 1, i64 0 } 169 // CHECK: @_ZN9MemberPtr2biE = constant {{.*}} { i64 {{.*}}2B21iEv{{.*}}, i64 0 } 170 // CHECK: @_ZN9MemberPtr2bjE = constant {{.*}} { i64 9, i64 0 } 171 // CHECK: @_ZN9MemberPtr2bkE = constant {{.*}} { i64 {{.*}}1C1kEv{{.*}}, i64 0 } 172 // CHECK: @_ZN9MemberPtr3b1lE = constant {{.*}} { i64 17, i64 0 } 173 // CHECK: @_ZN9MemberPtr3b1mE = constant {{.*}} { i64 {{.*}}1D1mEv{{.*}}, i64 0 } 174 // CHECK: @_ZN9MemberPtr3b2lE = constant {{.*}} { i64 17, i64 -24 } 175 // CHECK: @_ZN9MemberPtr3b2mE = constant {{.*}} { i64 {{.*}}1D1mEv{{.*}}, i64 -24 } 176 extern constexpr void (B1::*bf)() = (void(B1::*)())&C::f; 177 extern constexpr void (B1::*bg)() = (void(B1::*)())&B1::g; 178 extern constexpr void (B2::*bh)() = (void(B2::*)())&B2::h; 179 extern constexpr void (B2::*bi)() = (void(B2::*)())&D::i; 180 extern constexpr void (B1::*bj)() = (void(B1::*)())&C::j; 181 extern constexpr void (B1::*bk)() = (void(B1::*)())&C::k; 182 extern constexpr void (B1::*b1l)() = (void(B1::*)())&D::l; 183 extern constexpr void (B1::*b1m)() = (void(B1::*)())&D::m; 184 extern constexpr void (B2::*b2l)() = (void(B2::*)())&D::l; 185 extern constexpr void (B2::*b2m)() = (void(B2::*)())&D::m; 186 } 187 188 // Constant initialization tests go before this point, 189 // dynamic initialization tests go after. 190 191 namespace CrossFuncLabelDiff { 192 // Make sure we refuse to constant-fold the variable b. 193 constexpr long a(bool x) { return x ? 0 : (long)&&lbl + (0 && ({lbl: 0;})); } 194 void test() { static long b = (long)&&lbl - a(false); lbl: return; } 195 // CHECK: sub nsw i64 ptrtoint (i8* blockaddress(@_ZN18CrossFuncLabelDiff4testEv, {{.*}}) to i64), 196 // CHECK: store i64 {{.*}}, i64* @_ZZN18CrossFuncLabelDiff4testEvE1b, align 8 197 } 198