1 // RUN: %clang_cc1 -triple x86_64-apple-darwin10 -emit-llvm -o - %s | FileCheck %s
2 
3 // rdar://8818236
4 namespace rdar8818236 {
5 struct S {
6   char c2;
7   union {
8     char c;
9     int i;
10   };
11 };
12 
13 // CHECK: @_ZN11rdar88182363fooE = global i64 4
14 char S::*foo  = &S::c;
15 }
16 
17 struct A {
18   union {
19     int a;
20     void* b;
21   };
22 
AA23   A() : a(0) { }
24 };
25 
26 A a;
27 
28 namespace PR7021 {
29   struct X
30   {
31     union { long l; };
32   };
33 
34   // CHECK-LABEL: define void @_ZN6PR70211fENS_1XES0_
f(X x,X z)35   void f(X x, X z) {
36     X x1;
37 
38     // CHECK: store i64 1, i64
39     x1.l = 1;
40 
41     // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64
42     X x2(x1);
43 
44     X x3;
45     // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64
46     x3 = x1;
47 
48     // CHECK: ret void
49   }
50 }
51 
52 namespace test2 {
53   struct A {
54     struct {
55       union {
56         int b;
57       };
58     };
59 
60     A();
61   };
62 
A()63   A::A() : b(10) { }
64   // CHECK-LABEL: define void @_ZN5test21AC2Ev(
65   // CHECK-NOT: }
66   // CHECK: store i32 10
67   // CHECK: }
68 }
69 
70 namespace PR10512 {
71   struct A {
72     A();
73     A(int);
74     A(long);
75 
76     struct {
77       struct {int x;};
78       struct {int y;};
79     };
80   };
81 
82   // CHECK-LABEL: define void @_ZN7PR105121AC2Ev
83   // CHECK: [[THISADDR:%[a-zA-Z0-9.]+]] = alloca [[A:%"struct[A-Za-z0-9:.]+"]]
84   // CHECK-NEXT: store [[A]]* [[THIS:%[a-zA-Z0-9.]+]], [[A]]** [[THISADDR]]
85   // CHECK-NEXT: [[THIS1:%[a-zA-Z0-9.]+]] = load [[A]]*, [[A]]** [[THISADDR]]
86   // CHECK-NEXT: ret void
A()87   A::A() {}
88 
89   // CHECK-LABEL: define void @_ZN7PR105121AC2Ei
90   // CHECK: [[THISADDR:%[a-zA-Z0-9.]+]] = alloca [[A:%"struct[A-Za-z0-9:.]+"]]
91   // CHECK-NEXT: [[XADDR:%[a-zA-Z0-9.]+]] = alloca i32
92   // CHECK-NEXT: store [[A]]* [[THIS:%[a-zA-Z0-9.]+]], [[A]]** [[THISADDR]]
93   // CHECK-NEXT: store i32 [[X:%[a-zA-Z0-9.]+]], i32* [[XADDR]]
94   // CHECK-NEXT: [[THIS1:%[a-zA-Z0-9.]+]] = load [[A]]*, [[A]]** [[THISADDR]]
95   // CHECK-NEXT: {{getelementptr inbounds.*i32 0, i32 0}}
96   // CHECK-NEXT: {{getelementptr inbounds.*i32 0, i32 0}}
97   // CHECK-NEXT: {{getelementptr inbounds.*i32 0, i32 0}}
98   // CHECK-NEXT: [[TMP:%[a-zA-Z0-9.]+]] = load i32, i32* [[XADDR]]
99   // CHECK-NEXT: store i32 [[TMP]]
100   // CHECK-NEXT: ret void
A(int x)101   A::A(int x) : x(x) { }
102 
103   // CHECK-LABEL: define void @_ZN7PR105121AC2El
104   // CHECK: [[THISADDR:%[a-zA-Z0-9.]+]] = alloca [[A:%"struct[A-Za-z0-9:.]+"]]
105   // CHECK-NEXT: [[XADDR:%[a-zA-Z0-9.]+]] = alloca i64
106   // CHECK-NEXT: store [[A]]* [[THIS:%[a-zA-Z0-9.]+]], [[A]]** [[THISADDR]]
107   // CHECK-NEXT: store i64 [[X:%[a-zA-Z0-9.]+]], i64* [[XADDR]]
108   // CHECK-NEXT: [[THIS1:%[a-zA-Z0-9.]+]] = load [[A]]*, [[A]]** [[THISADDR]]
109   // CHECK-NEXT: {{getelementptr inbounds.*i32 0, i32 0}}
110   // CHECK-NEXT: {{getelementptr inbounds.*i32 0, i32 1}}
111   // CHECK-NEXT: {{getelementptr inbounds.*i32 0, i32 0}}
112   // CHECK-NEXT: [[TMP:%[a-zA-Z0-9.]+]] = load i64, i64* [[XADDR]]
113   // CHECK-NEXT: [[CONV:%[a-zA-Z0-9.]+]] = trunc i64 [[TMP]] to i32
114   // CHECK-NEXT: store i32 [[CONV]]
115   // CHECK-NEXT: ret void
A(long y)116   A::A(long y) : y(y) { }
117 }
118 
119 namespace test3 {
120   struct A {
121     union {
122       mutable char fibers[100];
123       struct {
124         void (*callback)(void*);
125         void *callback_value;
126       };
127     };
128 
129     A();
130   };
131 
A()132   A::A() : callback(0), callback_value(0) {}
133   // CHECK-LABEL: define void @_ZN5test31AC2Ev(
134   // CHECK: [[THIS:%.*]] = load
135   // CHECK-NEXT: [[UNION:%.*]] = getelementptr inbounds {{.*}} [[THIS]], i32 0, i32 0
136   // CHECK-NEXT: [[STRUCT:%.*]] = bitcast {{.*}}* [[UNION]] to
137   // CHECK-NEXT: [[CALLBACK:%.*]] = getelementptr inbounds {{.*}} [[STRUCT]], i32 0, i32 0
138   // CHECK: store
139   // CHECK-NEXT: [[UNION:%.*]] = getelementptr inbounds {{.*}} [[THIS]], i32 0, i32 0
140   // CHECK-NEXT: [[STRUCT:%.*]] = bitcast {{.*}}* [[UNION]] to
141   // CHECK-NEXT: [[CVALUE:%.*]] = getelementptr inbounds {{.*}} [[STRUCT]], i32 0, i32 1
142   // CHECK-NEXT: store i8* null, i8** [[CVALUE]]
143 }
144 
145 struct S {
146   // CHECK: store i32 42
147   // CHECK: store i32 55
SS148   S() : x(42), y(55) {}
149   union {
150     struct {
151       int x;
152       union { int y; };
153     };
154   };
155 } s;
156 
157 
158 //PR8760
159 template <typename T> struct Foo {
FooFoo160   Foo() : ptr(__nullptr) {}
161   union {
162     T *ptr;
163   };
164 };
165 Foo<int> f;
166 
167 namespace PR9683 {
168   struct QueueEntry {
169     union {
170       struct {
171         void* mPtr;
172         union {
173           unsigned mSubmissionTag;
174         };
175       };
176       unsigned mValue;
177     };
QueueEntryPR9683::QueueEntry178     QueueEntry() {}
179   };
180   QueueEntry QE;
181 }
182 
183 namespace PR13154 {
184   struct IndirectReferenceField {
185       struct {
186           float &x;
187       };
188       IndirectReferenceField(float &x);
189   };
IndirectReferenceField(float & xx)190   IndirectReferenceField::IndirectReferenceField(float &xx) : x(xx) {}
191 }
192