1// RUN: %clang_cc1 -fblocks -fobjc-gc -triple x86_64-apple-darwin -fobjc-runtime=macosx-fragile-10.5 -print-ivar-layout -emit-llvm -o /dev/null %s > %t-64.layout 2// RUN: FileCheck -check-prefix CHECK-LP64 --input-file=%t-64.layout %s 3// rdar://12752901 4 5struct S { 6 int i1; 7 id o1; 8 struct V { 9 int i2; 10 id o2; 11 } v1; 12 int i3; 13 id o3; 14}; 15 16__weak id wid; 17void x(id y) {} 18void y(int a) {} 19 20extern id opaque_id(); 21 22void f() { 23 __block int byref_int = 0; 24 char ch = 'a'; 25 char ch1 = 'b'; 26 char ch2 = 'c'; 27 short sh = 2; 28 const id bar = (id) opaque_id(); 29 id baz = 0; 30 __strong void *strong_void_sta; 31 __block id byref_bab = (id)0; 32 __block void *bl_var1; 33 int i; double dob; 34 35// The patterns here are a sequence of bytes, each saying first how 36// many sizeof(void*) chunks to skip (high nibble) and then how many 37// to scan (low nibble). A zero byte says that we've reached the end 38// of the pattern. 39// 40// All of these patterns start with 01 3x because the block header on 41// LP64 consists of an isa pointer (which we're supposed to scan for 42// some reason) followed by three words (2 ints, a function pointer, 43// and a descriptor pointer). 44 45// FIXME: do these really have to be named L_OBJC_CLASS_NAME_xxx? 46// FIXME: sequences should never end in x0 00 instead of just 00 47 48// Test 1 49// byref int, short, char, char, char, id, id, strong void*, byref id 50// CHECK-LP64: block variable layout for block: 0x01, 0x35, 0x10, 0x00 51 void (^b)() = ^{ 52 byref_int = sh + ch+ch1+ch2 ; 53 x(bar); 54 x(baz); 55 x((id)strong_void_sta); 56 x(byref_bab); 57 }; 58 b(); 59 60// Test 2 61// byref int, short, char, char, char, id, id, strong void*, byref void*, byref id 62// 01 36 10 00 63// CHECK-LP64: block variable layout for block: 0x01, 0x36, 0x10, 0x00 64 void (^c)() = ^{ 65 byref_int = sh + ch+ch1+ch2 ; 66 x(bar); 67 x(baz); 68 x((id)strong_void_sta); 69 x(wid); 70 bl_var1 = 0; 71 x(byref_bab); 72 }; 73 c(); 74 75// Test 3 76// byref int, short, char, char, char, id, id, byref void*, int, double, byref id 77// 01 34 11 30 00 78// FIXME: we'd get a better format here if we sorted by scannability, not just alignment 79// CHECK-LP64: block variable layout for block: 0x01, 0x35, 0x30, 0x00 80 void (^d)() = ^{ 81 byref_int = sh + ch+ch1+ch2 ; 82 x(bar); 83 x(baz); 84 x(wid); 85 bl_var1 = 0; 86 y(i + dob); 87 x(byref_bab); 88 }; 89 d(); 90 91// Test 4 92// struct S (int, id, int, id, int, id) 93// 01 41 11 11 00 94// CHECK-LP64: block variable layout for block: 0x01, 0x41, 0x11, 0x11, 0x00 95 struct S s2; 96 void (^e)() = ^{ 97 x(s2.o1); 98 }; 99 e(); 100} 101 102// Test 5 (unions/structs and their nesting): 103void Test5() { 104 struct S5 { 105 int i1; 106 id o1; 107 struct V { 108 int i2; 109 id o2; 110 } v1; 111 int i3; 112 union UI { 113 void * i1; 114 id o1; 115 int i3; 116 id o3; 117 }ui; 118 }; 119 120 union U { 121 void * i1; 122 id o1; 123 int i3; 124 id o3; 125 }ui; 126 127 struct S5 s2; 128 union U u2; 129 130// struct s2 (int, id, int, id, int, id?), union u2 (id?) 131// 01 41 11 12 00 132// CHECK-LP64: block variable layout for block: 0x01, 0x41, 0x11, 0x12, 0x00 133 void (^c)() = ^{ 134 x(s2.ui.o1); 135 x(u2.o1); 136 }; 137 c(); 138} 139 140// rdar: //8417746 141void CFRelease(id); 142void notifyBlock(id dependentBlock) { 143 id singleObservationToken; 144 id token; 145 void (^b)(); 146 147// id, id, void(^)() 148// 01 33 00 149// CHECK-LP64: block variable layout for block: 0x01, 0x33, 0x00 150 void (^wrapperBlock)() = ^() { 151 CFRelease(singleObservationToken); 152 CFRelease(singleObservationToken); 153 CFRelease(token); 154 CFRelease(singleObservationToken); 155 b(); 156 }; 157 wrapperBlock(); 158} 159 160void test_empty_block() { 161// 01 00 162// CHECK-LP64: block variable layout for block: 0x01, 0x30, 0x00 163 void (^wrapperBlock)() = ^() { 164 }; 165 wrapperBlock(); 166} 167 168// rdar://16111839 169typedef union { char ch[8]; } SS; 170typedef struct { SS s[4]; } CS; 171void test_union_in_layout() { 172 CS cs; 173 ^{ cs; }; 174} 175