1 // RUN: %clang_cc1 %s -emit-llvm -o %t.ll -triple=x86_64-apple-darwin10 2 // RUN: FileCheck %s < %t.ll 3 // RUN: FileCheck -check-prefix=CHECK-GLOBAL %s < %t.ll 4 5 struct A { int a; int b; }; 6 struct B { int b; }; 7 struct C : B, A { }; 8 9 // Zero init. 10 namespace ZeroInit { 11 // CHECK-GLOBAL: @_ZN8ZeroInit1aE = global i64 -1 12 int A::* a; 13 14 // CHECK-GLOBAL: @_ZN8ZeroInit2aaE = global [2 x i64] [i64 -1, i64 -1] 15 int A::* aa[2]; 16 17 // CHECK-GLOBAL: @_ZN8ZeroInit3aaaE = global [2 x [2 x i64]] {{\[}}[2 x i64] [i64 -1, i64 -1], [2 x i64] [i64 -1, i64 -1]] 18 int A::* aaa[2][2]; 19 20 // CHECK-GLOBAL: @_ZN8ZeroInit1bE = global i64 -1, 21 int A::* b = 0; 22 23 // CHECK-GLOBAL: @_ZN8ZeroInit2saE = internal global %struct.anon { i64 -1 } 24 struct { 25 int A::*a; 26 } sa; 27 void test_sa() { (void) sa; } // force emission 28 29 // CHECK-GLOBAL: @_ZN8ZeroInit3ssaE = internal 30 // CHECK-GLOBAL: [2 x i64] [i64 -1, i64 -1] 31 struct { 32 int A::*aa[2]; 33 } ssa[2]; 34 void test_ssa() { (void) ssa; } 35 36 // CHECK-GLOBAL: @_ZN8ZeroInit2ssE = internal global %struct.anon.1 { %struct.anon.2 { i64 -1 } } 37 struct { 38 struct { 39 int A::*pa; 40 } s; 41 } ss; 42 void test_ss() { (void) ss; } 43 44 struct A { 45 int A::*a; 46 int b; 47 }; 48 49 struct B { 50 A a[10]; 51 char c; 52 int B::*b; 53 }; 54 55 struct C : A, B { int j; }; 56 // CHECK-GLOBAL: @_ZN8ZeroInit1cE = global {{%.*}} <{ %"struct.ZeroInit::A" { i64 -1, i32 0 }, %"struct.ZeroInit::B" { [10 x %"struct.ZeroInit::A"] [%"struct.ZeroInit::A" { i64 -1, i32 0 }, %"struct.ZeroInit::A" { i64 -1, i32 0 }, %"struct.ZeroInit::A" { i64 -1, i32 0 }, %"struct.ZeroInit::A" { i64 -1, i32 0 }, %"struct.ZeroInit::A" { i64 -1, i32 0 }, %"struct.ZeroInit::A" { i64 -1, i32 0 }, %"struct.ZeroInit::A" { i64 -1, i32 0 }, %"struct.ZeroInit::A" { i64 -1, i32 0 }, %"struct.ZeroInit::A" { i64 -1, i32 0 }, %"struct.ZeroInit::A" { i64 -1, i32 0 }], i8 0, i64 -1 }, i32 0, [4 x i8] zeroinitializer }>, align 8 57 C c; 58 } 59 60 // PR5674 61 namespace PR5674 { 62 // CHECK-GLOBAL: @_ZN6PR56742pbE = global i64 4 63 int A::*pb = &A::b; 64 } 65 66 // Casts. 67 namespace Casts { 68 69 int A::*pa; 70 int C::*pc; 71 72 void f() { 73 // CHECK: store i64 -1, i64* @_ZN5Casts2paE 74 pa = 0; 75 76 // CHECK-NEXT: [[TMP:%.*]] = load i64, i64* @_ZN5Casts2paE, align 8 77 // CHECK-NEXT: [[ADJ:%.*]] = add nsw i64 [[TMP]], 4 78 // CHECK-NEXT: [[ISNULL:%.*]] = icmp eq i64 [[TMP]], -1 79 // CHECK-NEXT: [[RES:%.*]] = select i1 [[ISNULL]], i64 [[TMP]], i64 [[ADJ]] 80 // CHECK-NEXT: store i64 [[RES]], i64* @_ZN5Casts2pcE 81 pc = pa; 82 83 // CHECK-NEXT: [[TMP:%.*]] = load i64, i64* @_ZN5Casts2pcE, align 8 84 // CHECK-NEXT: [[ADJ:%.*]] = sub nsw i64 [[TMP]], 4 85 // CHECK-NEXT: [[ISNULL:%.*]] = icmp eq i64 [[TMP]], -1 86 // CHECK-NEXT: [[RES:%.*]] = select i1 [[ISNULL]], i64 [[TMP]], i64 [[ADJ]] 87 // CHECK-NEXT: store i64 [[RES]], i64* @_ZN5Casts2paE 88 pa = static_cast<int A::*>(pc); 89 } 90 91 } 92 93 // Comparisons 94 namespace Comparisons { 95 void f() { 96 int A::*a; 97 98 // CHECK: icmp ne i64 {{.*}}, -1 99 if (a) { } 100 101 // CHECK: icmp ne i64 {{.*}}, -1 102 if (a != 0) { } 103 104 // CHECK: icmp ne i64 -1, {{.*}} 105 if (0 != a) { } 106 107 // CHECK: icmp eq i64 {{.*}}, -1 108 if (a == 0) { } 109 110 // CHECK: icmp eq i64 -1, {{.*}} 111 if (0 == a) { } 112 } 113 } 114 115 namespace ValueInit { 116 117 struct A { 118 int A::*a; 119 120 char c; 121 122 A(); 123 }; 124 125 // CHECK-LABEL: define void @_ZN9ValueInit1AC2Ev(%"struct.ValueInit::A"* %this) unnamed_addr 126 // CHECK: store i64 -1, i64* 127 // CHECK: ret void 128 A::A() : a() {} 129 130 } 131 132 namespace VirtualBases { 133 134 struct A { 135 char c; 136 int A::*i; 137 }; 138 139 // CHECK-GLOBAL: @_ZN12VirtualBases1bE = global %"struct.VirtualBases::B" { i32 (...)** null, %"struct.VirtualBases::A" { i8 0, i64 -1 } }, align 8 140 struct B : virtual A { }; 141 B b; 142 143 // CHECK-GLOBAL: @_ZN12VirtualBases1cE = global %"struct.VirtualBases::C" { i32 (...)** null, i64 -1, %"struct.VirtualBases::A" { i8 0, i64 -1 } }, align 8 144 struct C : virtual A { int A::*i; }; 145 C c; 146 147 // CHECK-GLOBAL: @_ZN12VirtualBases1dE = global %"struct.VirtualBases::D" { %"struct.VirtualBases::C.base" { i32 (...)** null, i64 -1 }, i64 -1, %"struct.VirtualBases::A" { i8 0, i64 -1 } }, align 8 148 struct D : C { int A::*i; }; 149 D d; 150 151 } 152 153 namespace Test1 { 154 155 // Don't crash when A contains a bit-field. 156 struct A { 157 int A::* a; 158 int b : 10; 159 }; 160 A a; 161 162 } 163 164 namespace BoolPtrToMember { 165 struct X { 166 bool member; 167 }; 168 169 // CHECK-LABEL: define dereferenceable({{[0-9]+}}) i8* @_ZN15BoolPtrToMember1fERNS_1XEMS0_b 170 bool &f(X &x, bool X::*member) { 171 // CHECK: {{bitcast.* to i8\*}} 172 // CHECK-NEXT: getelementptr inbounds i8, i8* 173 // CHECK-NEXT: ret i8* 174 return x.*member; 175 } 176 } 177 178 namespace PR8507 { 179 180 struct S; 181 void f(S* p, double S::*pm) { 182 if (0 < p->*pm) { 183 } 184 } 185 186 } 187 188 namespace test4 { 189 struct A { int A_i; }; 190 struct B : virtual A { int A::*B_p; }; 191 struct C : virtual B { int *C_p; }; 192 struct D : C { int *D_p; }; 193 194 // CHECK-GLOBAL: @_ZN5test41dE = global %"struct.test4::D" { %"struct.test4::C.base" zeroinitializer, i32* null, %"struct.test4::B.base" { i32 (...)** null, i64 -1 }, %"struct.test4::A" zeroinitializer }, align 8 195 D d; 196 } 197 198 namespace PR11487 { 199 union U 200 { 201 int U::* mptr; 202 char x[16]; 203 } x; 204 // CHECK-GLOBAL: @_ZN7PR114871xE = global %"union.PR11487::U" { i64 -1, [8 x i8] zeroinitializer }, align 8 205 206 } 207 208 namespace PR13097 { 209 struct X { int x; X(const X&); }; 210 struct A { 211 int qq; 212 X x; 213 }; 214 A f(); 215 X g() { return f().*&A::x; } 216 // CHECK-LABEL: define void @_ZN7PR130971gEv 217 // CHECK: call void @_ZN7PR130971fEv 218 // CHECK-NOT: memcpy 219 // CHECK: call void @_ZN7PR130971XC1ERKS0_ 220 } 221 222 namespace PR21089 { 223 struct A { 224 bool : 1; 225 int A::*x; 226 bool y; 227 A(); 228 }; 229 struct B : A { 230 }; 231 B b; 232 // CHECK-GLOBAL: @_ZN7PR210891bE = global %"struct.PR21089::B" { %"struct.PR21089::A.base" <{ i8 0, [7 x i8] zeroinitializer, i64 -1, i8 0 }>, [7 x i8] zeroinitializer }, align 8 233 } 234 235 namespace PR21282 { 236 union U { 237 int U::*x; 238 long y[2]; 239 }; 240 U u; 241 // CHECK-GLOBAL: @_ZN7PR212821uE = global %"union.PR21282::U" { i64 -1, [8 x i8] zeroinitializer }, align 8 242 } 243 244 namespace FlexibleArrayMember { 245 struct S { 246 int S::*x[]; 247 }; 248 S s; 249 // CHECK-GLOBAL: @_ZN19FlexibleArrayMember1sE = global %"struct.FlexibleArrayMember::S" zeroinitializer, align 8 250 } 251 252 namespace IndirectPDM { 253 union U { 254 union { 255 int U::*m; 256 }; 257 }; 258 U u; 259 // CHECK-GLOBAL: @_ZN11IndirectPDM1uE = global %"union.IndirectPDM::U" { %union.anon { i64 -1 } }, align 8 260 } 261
