1 // RUN: not %clang_cc1 -triple x86_64-apple-darwin -verify -emit-llvm -o - %s | FileCheck %s 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 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; 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 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 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 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 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 93 int& reference_return() { 94 return g; 95 } 96 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 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 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 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 { 147 void f(int &a) { 148 (a = 10) = 20; 149 } 150 } 151 152 // PR5590 153 struct s0; 154 struct s1 { struct s0 &s0; }; 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 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 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 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 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 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(); 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() 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; 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
