1 // RUN: %clang_cc1 -fblocks -fobjc-arc -fobjc-runtime-has-weak -triple i386-apple-darwin -print-ivar-layout -emit-llvm -o /dev/null %s > %t-32.layout 2 // RUN: FileCheck --input-file=%t-32.layout %s 3 // rdar://12184410 4 // rdar://12752901 5 6 void x(id y) {} 7 void y(int a) {} 8 9 extern id opaque_id(); 10 11 void f() { 12 __weak id wid; 13 __block int byref_int = 0; 14 char ch = 'a'; 15 char ch1 = 'b'; 16 char ch2 = 'c'; 17 short sh = 2; 18 const id bar = (id) opaque_id(); 19 id baz = 0; 20 __strong id strong_void_sta; 21 __block id byref_bab = (id)0; 22 __block id bl_var1; 23 int i; double dob; 24 25 // The patterns here are a sequence of bytes, each saying first how 26 // many sizeof(void*) chunks to skip (high nibble) and then how many 27 // to scan (low nibble). A zero byte says that we've reached the end 28 // of the pattern. 29 // 30 // All of these patterns start with 01 3x because the block header on 31 // LP64 consists of an isa pointer (which we're supposed to scan for 32 // some reason) followed by three words (2 ints, a function pointer, 33 // and a descriptor pointer). 34 35 // Test 1 36 // CHECK: Inline instruction for block variable layout: 0x0320 37 void (^b)() = ^{ 38 byref_int = sh + ch+ch1+ch2 ; 39 x(bar); 40 x(baz); 41 x((id)strong_void_sta); 42 x(byref_bab); 43 }; 44 b(); 45 46 // Test 2 47 // CHECK: Inline instruction for block variable layout: 0x0331 48 void (^c)() = ^{ 49 byref_int = sh + ch+ch1+ch2 ; 50 x(bar); 51 x(baz); 52 x((id)strong_void_sta); 53 x(wid); 54 bl_var1 = 0; 55 x(byref_bab); 56 }; 57 } 58 59 @class NSString, NSNumber; 60 void g() { 61 NSString *foo; 62 NSNumber *bar; 63 unsigned int bletch; 64 __weak id weak_delegate; 65 unsigned int i; 66 NSString *y; 67 NSString *z; 68 // CHECK: Inline instruction for block variable layout: 0x0401 69 void (^c)() = ^{ 70 int j = i + bletch; 71 x(foo); 72 x(bar); 73 x(weak_delegate); 74 x(y); 75 x(z); 76 }; 77 c(); 78 } 79 80 // Test 5 (unions/structs and their nesting): 81 void h() { 82 struct S5 { 83 int i1; 84 __unsafe_unretained id o1; 85 struct V { 86 int i2; 87 __unsafe_unretained id o2; 88 } v1; 89 int i3; 90 union UI { 91 void * i1; 92 __unsafe_unretained id o1; 93 int i3; 94 __unsafe_unretained id o3; 95 }ui; 96 }; 97 98 union U { 99 void * i1; 100 __unsafe_unretained id o1; 101 int i3; 102 __unsafe_unretained id o3; 103 }ui; 104 105 struct S5 s2; 106 union U u2; 107 __block id block_id; 108 109 /** 110 block variable layout: BL_NON_OBJECT_WORD:1, BL_UNRETAINE:1, BL_NON_OBJECT_WORD:1, 111 BL_UNRETAINE:1, BL_NON_OBJECT_WORD:3, BL_BYREF:1, BL_OPERATOR:0 112 */ 113 // CHECK: block variable layout: BL_BYREF:1, BL_NON_OBJECT_WORD:1, BL_UNRETAINED:1, BL_NON_OBJECT_WORD:1, BL_UNRETAINED:1, BL_OPERATOR:0 114 void (^c)() = ^{ 115 x(s2.ui.o1); 116 x(u2.o1); 117 block_id = 0; 118 }; 119 c(); 120 } 121 122 // Test for array of stuff. 123 void arr1() { 124 struct S { 125 __unsafe_unretained id unsafe_unretained_var[4]; 126 } imported_s; 127 128 // CHECK: block variable layout: BL_UNRETAINED:4, BL_OPERATOR:0 129 void (^c)() = ^{ 130 x(imported_s.unsafe_unretained_var[2]); 131 }; 132 133 c(); 134 } 135 136 // Test2 for array of stuff. 137 void arr2() { 138 struct S { 139 int a; 140 __unsafe_unretained id unsafe_unretained_var[4]; 141 } imported_s; 142 143 // CHECK: block variable layout: BL_NON_OBJECT_WORD:1, BL_UNRETAINED:4, BL_OPERATOR:0 144 void (^c)() = ^{ 145 x(imported_s.unsafe_unretained_var[2]); 146 }; 147 148 c(); 149 } 150 151 // Test3 for array of stuff. 152 void arr3() { 153 struct S { 154 int a; 155 __unsafe_unretained id unsafe_unretained_var[0]; 156 } imported_s; 157 158 // CHECK: block variable layout: BL_OPERATOR:0 159 void (^c)() = ^{ 160 int i = imported_s.a; 161 }; 162 163 c(); 164 } 165 166 167 // Test4 for array of stuff. 168 @class B; 169 void arr4() { 170 struct S { 171 struct s0 { 172 __unsafe_unretained id s_f0; 173 __unsafe_unretained id s_f1; 174 } f0; 175 176 __unsafe_unretained id f1; 177 178 struct s1 { 179 int *f0; 180 __unsafe_unretained B *f1; 181 } f4[2][2]; 182 } captured_s; 183 184 // CHECK: block variable layout: BL_UNRETAINED:3, BL_NON_OBJECT_WORD:1, BL_UNRETAINED:1, BL_NON_OBJECT_WORD:1, BL_UNRETAINED:1, BL_NON_OBJECT_WORD:1, BL_UNRETAINED:1, BL_NON_OBJECT_WORD:1, BL_UNRETAINED:1, BL_OPERATOR:0 185 void (^c)() = ^{ 186 id i = captured_s.f0.s_f1; 187 }; 188 189 c(); 190 } 191 192 // Test1 bitfield in cpatured aggregate. 193 void bf1() { 194 struct S { 195 int flag : 25; 196 int flag1: 7; 197 int flag2 :1; 198 int flag3: 7; 199 int flag4: 24; 200 } s; 201 202 // CHECK: block variable layout: BL_OPERATOR:0 203 int (^c)() = ^{ 204 return s.flag; 205 }; 206 c(); 207 } 208 209 // Test2 bitfield in cpatured aggregate. 210 void bf2() { 211 struct S { 212 int flag : 1; 213 } s; 214 215 // CHECK: block variable layout: BL_OPERATOR:0 216 int (^c)() = ^{ 217 return s.flag; 218 }; 219 c(); 220 } 221 222 // Test3 bitfield in cpatured aggregate. 223 void bf3() { 224 225 struct { 226 unsigned short _reserved : 16; 227 228 unsigned char _draggedNodesAreDeletable: 1; 229 unsigned char _draggedOutsideOutlineView : 1; 230 unsigned char _adapterRespondsTo_addRootPaths : 1; 231 unsigned char _adapterRespondsTo_moveDataNodes : 1; 232 unsigned char _adapterRespondsTo_removeRootDataNode : 1; 233 unsigned char _adapterRespondsTo_doubleClickDataNode : 1; 234 unsigned char _adapterRespondsTo_selectDataNode : 1; 235 unsigned char _adapterRespondsTo_textDidEndEditing : 1; 236 unsigned char _adapterRespondsTo_updateAndSaveRoots : 1; 237 unsigned char _adapterRespondsTo_askToDeleteRootNodes : 1; 238 unsigned char _adapterRespondsTo_contextMenuForSelectedNodes : 1; 239 unsigned char _adapterRespondsTo_pasteboardFilenamesForNodes : 1; 240 unsigned char _adapterRespondsTo_writeItemsToPasteboard : 1; 241 unsigned char _adapterRespondsTo_writeItemsToPasteboardXXXX : 1; 242 243 unsigned int _filler : 32; 244 } _flags; 245 246 // CHECK: block variable layout: BL_OPERATOR:0 247 unsigned char (^c)() = ^{ 248 return _flags._draggedNodesAreDeletable; 249 }; 250 251 c(); 252 } 253 254 // Test4 unnamed bitfield 255 void bf4() { 256 257 struct { 258 unsigned short _reserved : 16; 259 260 unsigned char _draggedNodesAreDeletable: 1; 261 unsigned char _draggedOutsideOutlineView : 1; 262 unsigned char _adapterRespondsTo_addRootPaths : 1; 263 unsigned char _adapterRespondsTo_moveDataNodes : 1; 264 unsigned char _adapterRespondsTo_removeRootDataNode : 1; 265 unsigned char _adapterRespondsTo_doubleClickDataNode : 1; 266 unsigned char _adapterRespondsTo_selectDataNode : 1; 267 unsigned char _adapterRespondsTo_textDidEndEditing : 1; 268 269 unsigned long long : 64; 270 271 unsigned char _adapterRespondsTo_updateAndSaveRoots : 1; 272 unsigned char _adapterRespondsTo_askToDeleteRootNodes : 1; 273 unsigned char _adapterRespondsTo_contextMenuForSelectedNodes : 1; 274 unsigned char _adapterRespondsTo_pasteboardFilenamesForNodes : 1; 275 unsigned char _adapterRespondsTo_writeItemsToPasteboard : 1; 276 unsigned char _adapterRespondsTo_writeItemsToPasteboardXXXX : 1; 277 278 unsigned int _filler : 32; 279 } _flags; 280 281 // CHECK: block variable layout: BL_OPERATOR:0 282 unsigned char (^c)() = ^{ 283 return _flags._draggedNodesAreDeletable; 284 }; 285 286 c(); 287 } 288 289 290 291 // Test5 unnamed bitfield. 292 void bf5() { 293 struct { 294 unsigned char flag : 1; 295 unsigned int : 32; 296 unsigned char flag1 : 1; 297 } _flags; 298 299 // CHECK: block variable layout: BL_OPERATOR:0 300 unsigned char (^c)() = ^{ 301 return _flags.flag; 302 }; 303 304 c(); 305 } 306 307 308 // Test6 0 length bitfield. 309 void bf6() { 310 struct { 311 unsigned char flag : 1; 312 unsigned int : 0; 313 unsigned char flag1 : 1; 314 } _flags; 315 316 // CHECK: block variable layout: BL_OPERATOR:0 317 unsigned char (^c)() = ^{ 318 return _flags.flag; 319 }; 320 321 c(); 322 } 323 324 // Test7 large number of captured variables. 325 void Test7() { 326 __weak id wid; 327 __weak id wid1, wid2, wid3, wid4; 328 __weak id wid5, wid6, wid7, wid8; 329 __weak id wid9, wid10, wid11, wid12; 330 __weak id wid13, wid14, wid15, wid16; 331 const id bar = (id) opaque_id(); 332 // CHECK: block variable layout: BL_STRONG:1, BL_WEAK:16, BL_OPERATOR:0 333 void (^b)() = ^{ 334 x(bar); 335 x(wid1); 336 x(wid2); 337 x(wid3); 338 x(wid4); 339 x(wid5); 340 x(wid6); 341 x(wid7); 342 x(wid8); 343 x(wid9); 344 x(wid10); 345 x(wid11); 346 x(wid12); 347 x(wid13); 348 x(wid14); 349 x(wid15); 350 x(wid16); 351 }; 352 } 353 354 355 // Test 8 very large number of captured variables. 356 void Test8() { 357 __weak id wid; 358 __weak id wid1, wid2, wid3, wid4; 359 __weak id wid5, wid6, wid7, wid8; 360 __weak id wid9, wid10, wid11, wid12; 361 __weak id wid13, wid14, wid15, wid16; 362 __weak id w1, w2, w3, w4; 363 __weak id w5, w6, w7, w8; 364 __weak id w9, w10, w11, w12; 365 __weak id w13, w14, w15, w16; 366 const id bar = (id) opaque_id(); 367 // CHECK: block variable layout: BL_STRONG:1, BL_WEAK:16, BL_WEAK:16, BL_WEAK:1, BL_OPERATOR:0 368 void (^b)() = ^{ 369 x(bar); 370 x(wid1); 371 x(wid2); 372 x(wid3); 373 x(wid4); 374 x(wid5); 375 x(wid6); 376 x(wid7); 377 x(wid8); 378 x(wid9); 379 x(wid10); 380 x(wid11); 381 x(wid12); 382 x(wid13); 383 x(wid14); 384 x(wid15); 385 x(wid16); 386 x(w1); 387 x(w2); 388 x(w3); 389 x(w4); 390 x(w5); 391 x(w6); 392 x(w7); 393 x(w8); 394 x(w9); 395 x(w10); 396 x(w11); 397 x(w12); 398 x(w13); 399 x(w14); 400 x(w15); 401 x(w16); 402 x(wid); 403 }; 404 } 405
