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