1 // RUN: not %clang_cc1 -triple x86_64-apple-darwin -verify -emit-llvm -o - %s | FileCheck %s
t1()2 void t1() {
3   // CHECK-LABEL: define void @_Z2t1v
4   // CHECK: [[REFLOAD:%.*]] = load i32*, i32** @a, align 8
5   // CHECK: load i32, i32* [[REFLOAD]], align 4
6   extern int& a;
7   int b = a;
8 }
9 
t2(int & a)10 void t2(int& a) {
11   // CHECK-LABEL: define void @_Z2t2Ri
12   // CHECK: [[REFLOAD2:%.*]] = load i32*, i32** {{.*}}, align 8
13   // CHECK: load i32, i32* [[REFLOAD2]], align 4
14   int b = a;
15 }
16 
17 int g;
18 int& gr = g;
19 int& grr = gr;
t3()20 void t3() {
21   int b = gr;
22 }
23 
24 // Test reference binding.
25 
26 struct C { int a; };
27 void f(const bool&);
28 void f(const int&);
29 void f(const _Complex int&);
30 void f(const C&);
31 
32 C aggregate_return();
33 
34 bool& bool_reference_return();
35 int& int_reference_return();
36 _Complex int& complex_int_reference_return();
37 C& aggregate_reference_return();
38 
test_bool()39 void test_bool() {
40   bool a = true;
41   f(a);
42 
43   f(true);
44 
45   bool_reference_return() = true;
46   a = bool_reference_return();
47 
48   struct { const bool& b; } b = { true };
49 }
50 
test_scalar()51 void test_scalar() {
52   int a = 10;
53   f(a);
54 
55   struct { int bitfield : 3; } s = { 3 };
56   f(s.bitfield);
57 
58   f(10);
59 
60   __attribute((vector_size(16))) typedef int vec4;
61   f((vec4){1,2,3,4}[0]);
62 
63   int_reference_return() = 10;
64   a = int_reference_return();
65 
66   struct { const int& a; } agg = { 10 };
67 }
68 
test_complex()69 void test_complex() {
70   _Complex int a = 10i;
71   f(a);
72 
73   f(10i);
74 
75   complex_int_reference_return() = 10i;
76   a = complex_int_reference_return();
77 
78   struct { const _Complex int &a; } agg = { 10i };
79 }
80 
test_aggregate()81 void test_aggregate() {
82   C c;
83   f(c);
84 
85   f(aggregate_return());
86   aggregate_reference_return().a = 10;
87 
88   c = aggregate_reference_return();
89 
90   struct { const C& a; } agg = { C() };
91 }
92 
reference_return()93 int& reference_return() {
94   return g;
95 }
96 
reference_decl()97 int reference_decl() {
98   int& a = g;
99   const int& b = 1;
100   return a+b;
101 }
102 
103 struct A {
104   int& b();
105 };
106 
f(A * a)107 void f(A* a) {
108   int b = a->b();
109 }
110 
111 // PR5122
112 void *foo = 0;
113 void * const & kFoo = foo;
114 
115 struct D : C { D(); ~D(); };
116 
h()117 void h() {
118   // CHECK: call void @_ZN1DD1Ev
119   const C& c = D();
120 }
121 
122 namespace T {
123   struct A {
124     A();
125     ~A();
126   };
127 
128   struct B {
129     B();
130     ~B();
131     A f();
132   };
133 
f()134   void f() {
135     // CHECK: call void @_ZN1T1BC1Ev
136     // CHECK: call void @_ZN1T1B1fEv
137     // CHECK: call void @_ZN1T1BD1Ev
138     const A& a = B().f();
139     // CHECK: call void @_ZN1T1fEv
140     f();
141     // CHECK: call void @_ZN1T1AD1Ev
142   }
143 }
144 
145 // PR5227.
146 namespace PR5227 {
f(int & a)147 void f(int &a) {
148   (a = 10) = 20;
149 }
150 }
151 
152 // PR5590
153 struct s0;
154 struct s1 { struct s0 &s0; };
f0(s1 a)155 void f0(s1 a) { s1 b = a; }
156 
157 // PR6024
158 // CHECK: @_Z2f2v()
159 // CHECK: alloca i32,
160 // CHECK-NEXT: store
161 // CHECK-NEXT: ret
f2()162 const int &f2() { return 0; }
163 
164 // Don't constant fold const reference parameters with default arguments to
165 // their default arguments.
166 namespace N1 {
167   const int foo = 1;
168   // CHECK: @_ZN2N14test
test(const int & arg=foo)169   void test(const int& arg = foo) {
170     // Ensure this array is on the stack where we can set values instead of
171     // being a global constant.
172     // CHECK: %args_array = alloca
173     const int* const args_array[] = { &arg };
174   }
175 }
176 
177 // Bind to subobjects while extending the life of the complete object.
178 namespace N2 {
179   class X {
180   public:
181     X(const X&);
182     X &operator=(const X&);
183     ~X();
184   };
185 
186   struct P {
187     X first;
188   };
189 
190   P getP();
191 
192   // CHECK-LABEL: define void @_ZN2N21fEi
193   // CHECK: call void @_ZN2N24getPEv
194   // CHECK: getelementptr inbounds
195   // CHECK: store i32 17
196   // CHECK: call void @_ZN2N21PD1Ev
f(int i)197   void f(int i) {
198     const X& xr = getP().first;
199     i = 17;
200   }
201 
202   struct SpaceWaster {
203     int i, j;
204   };
205 
206   struct ReallyHasX {
207     X x;
208   };
209 
210   struct HasX : ReallyHasX { };
211 
212   struct HasXContainer {
213     HasX has;
214   };
215 
216   struct Y : SpaceWaster, HasXContainer { };
217   struct Z : SpaceWaster, Y { };
218 
219   Z getZ();
220 
221   // CHECK-LABEL: define void @_ZN2N21gEi
222   // CHECK: call void @_ZN2N24getZEv
223   // CHECK: {{getelementptr inbounds.*i32 0, i32 0}}
224   // CHECK: {{getelementptr inbounds.*i32 0, i32 0}}
225   // CHECK: store i32 19
226   // CHECK: call void @_ZN2N21ZD1Ev
227   // CHECK: ret void
g(int i)228   void g(int i) {
229     const X &xr = getZ().has.x;
230     i = 19;
231   }
232 }
233 
234 namespace N3 {
235 
236 // PR7326
237 
238 struct A {
239   explicit A(int);
240   ~A();
241 };
242 
243 // CHECK-LABEL: define internal void @__cxx_global_var_init
244 // CHECK: call void @_ZN2N31AC1Ei(%"struct.N3::A"* @_ZGRN2N35sA123E_, i32 123)
245 // CHECK: call i32 @__cxa_atexit
246 // CHECK: ret void
247 const A &sA123 = A(123);
248 }
249 
250 namespace N4 {
251 
252 struct A {
253   A();
254   ~A();
255 };
256 
f()257 void f() {
258   // CHECK-LABEL: define void @_ZN2N41fEv
259   // CHECK: call void @_ZN2N41AC1Ev(%"struct.N4::A"* @_ZGRZN2N41fEvE2ar_)
260   // CHECK: call i32 @__cxa_atexit
261   // CHECK: ret void
262   static const A& ar = A();
263 
264 }
265 }
266 
267 // PR9494
268 namespace N5 {
269 struct AnyS { bool b; };
270 void f(const bool&);
271 AnyS g();
h()272 void h() {
273   // CHECK: call i8 @_ZN2N51gEv()
274   // CHECK: call void @_ZN2N51fERKb(i8*
275   f(g().b);
276 }
277 }
278 
279 // PR9565
280 namespace PR9565 {
281   struct a { int a : 10, b : 10; };
282   // CHECK-LABEL: define void @_ZN6PR95651fEv()
f()283   void f() {
284     // CHECK: call void @llvm.memcpy
285     a x = { 0, 0 };
286     // CHECK: [[WITH_SEVENTEEN:%[.a-zA-Z0-9]+]] = or i32 [[WITHOUT_SEVENTEEN:%[.a-zA-Z0-9]+]], 17
287     // CHECK: store i32 [[WITH_SEVENTEEN]], i32* [[XA:%[.a-zA-Z0-9]+]]
288     x.a = 17;
289     // CHECK-NEXT: bitcast
290     // CHECK-NEXT: load
291     // CHECK-NEXT: shl
292     // CHECK-NEXT: ashr
293     // CHECK-NEXT: store i32
294     // CHECK-NEXT: store i32*
295     const int &y = x.a;
296     // CHECK-NEXT: bitcast
297     // CHECK-NEXT: load
298     // CHECK-NEXT: and
299     // CHECK-NEXT: or i32 {{.*}}, 19456
300     // CHECK-NEXT: store i32
301     x.b = 19;
302     // CHECK-NEXT: ret void
303   }
304 }
305 
306 namespace N6 {
307   extern struct x {char& x;}y;
a()308   int a() { return y.x; }
309   // CHECK-LABEL: define i32 @_ZN2N61aEv
310   // CHECK: [[REFLOAD3:%.*]] = load i8*, i8** getelementptr inbounds (%"struct.N6::x", %"struct.N6::x"* @_ZN2N61yE, i32 0, i32 0), align 8
311   // CHECK: load i8, i8* [[REFLOAD3]], align 1
312 }
313