1// RUN: %clang_cc1 -triple x86_64-apple-darwin10 -emit-llvm -fblocks -fobjc-arc -fobjc-runtime-has-weak -O2 -disable-llvm-optzns -o - %s | FileCheck %s 2// RUN: %clang_cc1 -triple x86_64-apple-darwin10 -emit-llvm -fblocks -fobjc-arc -fobjc-runtime-has-weak -o - %s | FileCheck -check-prefix=CHECK-UNOPT %s 3 4// This shouldn't crash. 5void test0(id (^maker)(void)) { 6 maker(); 7} 8 9int (^test1(int x))(void) { 10 // CHECK-LABEL: define i32 ()* @test1( 11 // CHECK: [[X:%.*]] = alloca i32, 12 // CHECK-NEXT: [[BLOCK:%.*]] = alloca [[BLOCK_T:<{.*}>]], 13 // CHECK-NEXT: store i32 {{%.*}}, i32* [[X]] 14 // CHECK: [[T0:%.*]] = bitcast [[BLOCK_T]]* [[BLOCK]] to i32 ()* 15 // CHECK-NEXT: [[T1:%.*]] = bitcast i32 ()* [[T0]] to i8* 16 // CHECK-NEXT: [[T2:%.*]] = call i8* @objc_retainBlock(i8* [[T1]]) [[NUW:#[0-9]+]] 17 // CHECK-NEXT: [[T3:%.*]] = bitcast i8* [[T2]] to i32 ()* 18 // CHECK-NEXT: [[T4:%.*]] = bitcast i32 ()* [[T3]] to i8* 19 // CHECK-NEXT: [[T5:%.*]] = tail call i8* @objc_autoreleaseReturnValue(i8* [[T4]]) [[NUW]] 20 // CHECK-NEXT: [[T6:%.*]] = bitcast i8* [[T5]] to i32 ()* 21 // CHECK-NEXT: ret i32 ()* [[T6]] 22 return ^{ return x; }; 23} 24 25void test2(id x) { 26// CHECK-LABEL: define void @test2( 27// CHECK: [[X:%.*]] = alloca i8*, 28// CHECK-NEXT: [[BLOCK:%.*]] = alloca [[BLOCK_T:<{.*}>]], 29// CHECK-NEXT: [[PARM:%.*]] = call i8* @objc_retain(i8* {{%.*}}) 30// CHECK-NEXT: store i8* [[PARM]], i8** [[X]] 31// CHECK-NEXT: [[SLOTREL:%.*]] = getelementptr inbounds [[BLOCK_T]], [[BLOCK_T]]* [[BLOCK]], i32 0, i32 5 32// CHECK: [[SLOT:%.*]] = getelementptr inbounds [[BLOCK_T]], [[BLOCK_T]]* [[BLOCK]], i32 0, i32 5 33// CHECK-NEXT: [[T0:%.*]] = load i8*, i8** [[X]], 34// CHECK-NEXT: [[T1:%.*]] = call i8* @objc_retain(i8* [[T0]]) 35// CHECK-NEXT: store i8* [[T1]], i8** [[SLOT]], 36// CHECK-NEXT: bitcast 37// CHECK-NEXT: call void @test2_helper( 38// CHECK-NEXT: [[T0:%.*]] = load i8*, i8** [[SLOTREL]] 39// CHECK-NEXT: call void @objc_release(i8* [[T0]]) [[NUW]], !clang.imprecise_release 40// CHECK-NEXT: [[T0:%.*]] = load i8*, i8** [[X]] 41// CHECK-NEXT: call void @objc_release(i8* [[T0]]) [[NUW]], !clang.imprecise_release 42// CHECK-NEXT: ret void 43 extern void test2_helper(id (^)(void)); 44 test2_helper(^{ return x; }); 45 46// CHECK-LABEL: define internal void @__copy_helper_block_ 47// CHECK: [[T0:%.*]] = load i8*, i8** 48// CHECK-NEXT: [[SRC:%.*]] = bitcast i8* [[T0]] to [[BLOCK_T]]* 49// CHECK-NEXT: [[T0:%.*]] = load i8*, i8** 50// CHECK-NEXT: [[DST:%.*]] = bitcast i8* [[T0]] to [[BLOCK_T]]* 51// CHECK-NEXT: [[T0:%.*]] = getelementptr inbounds [[BLOCK_T]], [[BLOCK_T]]* [[SRC]], i32 0, i32 5 52// CHECK-NEXT: [[T1:%.*]] = load i8*, i8** [[T0]] 53// CHECK-NEXT: [[T2:%.*]] = call i8* @objc_retain(i8* [[T1]]) [[NUW]] 54// CHECK-NEXT: ret void 55 56// CHECK-LABEL: define internal void @__destroy_helper_block_ 57// CHECK: [[T0:%.*]] = load i8*, i8** 58// CHECK-NEXT: [[T1:%.*]] = bitcast i8* [[T0]] to [[BLOCK_T]]* 59// CHECK-NEXT: [[T2:%.*]] = getelementptr inbounds [[BLOCK_T]], [[BLOCK_T]]* [[T1]], i32 0, i32 5 60// CHECK-NEXT: [[T3:%.*]] = load i8*, i8** [[T2]] 61// CHECK-NEXT: call void @objc_release(i8* [[T3]]) 62// CHECK-NEXT: ret void 63} 64 65void test3(void (^sink)(id*)) { 66 __strong id strong; 67 sink(&strong); 68 69 // CHECK-LABEL: define void @test3( 70 // CHECK: [[SINK:%.*]] = alloca void (i8**)* 71 // CHECK-NEXT: [[STRONG:%.*]] = alloca i8* 72 // CHECK-NEXT: [[TEMP:%.*]] = alloca i8* 73 // CHECK-NEXT: bitcast void (i8**)* {{%.*}} to i8* 74 // CHECK-NEXT: call i8* @objc_retain( 75 // CHECK-NEXT: bitcast i8* 76 // CHECK-NEXT: store void (i8**)* {{%.*}}, void (i8**)** [[SINK]] 77 // CHECK-NEXT: [[STRONGPTR1:%.*]] = bitcast i8** [[STRONG]] to i8* 78 // CHECK-NEXT: call void @llvm.lifetime.start(i64 8, i8* [[STRONGPTR1]]) 79 // CHECK-NEXT: store i8* null, i8** [[STRONG]] 80 81 // CHECK-NEXT: load void (i8**)*, void (i8**)** [[SINK]] 82 // CHECK-NEXT: bitcast 83 // CHECK-NEXT: getelementptr 84 // CHECK-NEXT: [[BLOCK:%.*]] = bitcast 85 // CHECK-NEXT: [[V:%.*]] = load i8*, i8** [[STRONG]] 86 // CHECK-NEXT: store i8* [[V]], i8** [[TEMP]] 87 // CHECK-NEXT: [[F0:%.*]] = load i8*, i8** 88 // CHECK-NEXT: [[F1:%.*]] = bitcast i8* [[F0]] to void (i8*, i8**)* 89 // CHECK-NEXT: call void [[F1]](i8* [[BLOCK]], i8** [[TEMP]]) 90 // CHECK-NEXT: [[T0:%.*]] = load i8*, i8** [[TEMP]] 91 // CHECK-NEXT: [[T1:%.*]] = call i8* @objc_retain(i8* [[T0]]) 92 // CHECK-NEXT: call void (...) @clang.arc.use(i8* [[V]]) [[NUW]] 93 // CHECK-NEXT: [[T2:%.*]] = load i8*, i8** [[STRONG]] 94 // CHECK-NEXT: store i8* [[T1]], i8** [[STRONG]] 95 // CHECK-NEXT: call void @objc_release(i8* [[T2]]) 96 97 // CHECK-NEXT: [[T0:%.*]] = load i8*, i8** [[STRONG]] 98 // CHECK-NEXT: call void @objc_release(i8* [[T0]]) 99 // CHECK-NEXT: [[STRONGPTR2:%.*]] = bitcast i8** [[STRONG]] to i8* 100 // CHECK-NEXT: call void @llvm.lifetime.end(i64 8, i8* [[STRONGPTR2]]) 101 102 // CHECK-NEXT: load void (i8**)*, void (i8**)** [[SINK]] 103 // CHECK-NEXT: bitcast 104 // CHECK-NEXT: call void @objc_release 105 // CHECK-NEXT: ret void 106 107} 108 109void test4(void) { 110 id test4_source(void); 111 void test4_helper(void (^)(void)); 112 __block id var = test4_source(); 113 test4_helper(^{ var = 0; }); 114 115 // CHECK-LABEL: define void @test4() 116 // CHECK: [[VAR:%.*]] = alloca [[BYREF_T:%.*]], 117 // CHECK-NEXT: [[BLOCK:%.*]] = alloca [[BLOCK_T:<{.*}>]], 118 // CHECK: [[T0:%.*]] = getelementptr inbounds [[BYREF_T]], [[BYREF_T]]* [[VAR]], i32 0, i32 2 119 // 0x02000000 - has copy/dispose helpers strong 120 // CHECK-NEXT: store i32 838860800, i32* [[T0]] 121 // CHECK: [[SLOT:%.*]] = getelementptr inbounds [[BYREF_T]], [[BYREF_T]]* [[VAR]], i32 0, i32 6 122 // CHECK-NEXT: [[T0:%.*]] = call i8* @test4_source() 123 // CHECK-NEXT: [[T1:%.*]] = call i8* @objc_retainAutoreleasedReturnValue(i8* [[T0]]) 124 // CHECK-NEXT: store i8* [[T1]], i8** [[SLOT]] 125 // CHECK-NEXT: [[SLOT:%.*]] = getelementptr inbounds [[BYREF_T]], [[BYREF_T]]* [[VAR]], i32 0, i32 6 126 // 0x42800000 - has signature, copy/dispose helpers, as well as BLOCK_HAS_EXTENDED_LAYOUT 127 // CHECK: store i32 -1040187392, 128 // CHECK: [[T0:%.*]] = bitcast [[BYREF_T]]* [[VAR]] to i8* 129 // CHECK-NEXT: store i8* [[T0]], i8** 130 // CHECK: call void @test4_helper( 131 // CHECK: [[T0:%.*]] = bitcast [[BYREF_T]]* [[VAR]] to i8* 132 // CHECK-NEXT: call void @_Block_object_dispose(i8* [[T0]], i32 8) 133 // CHECK-NEXT: [[T0:%.*]] = load i8*, i8** [[SLOT]] 134 // CHECK-NEXT: call void @objc_release(i8* [[T0]]) 135 // CHECK: ret void 136 137 // CHECK-LABEL: define internal void @__Block_byref_object_copy_ 138 // CHECK: [[T0:%.*]] = getelementptr inbounds [[BYREF_T]], [[BYREF_T]]* {{%.*}}, i32 0, i32 6 139 // CHECK-NEXT: load i8*, i8** 140 // CHECK-NEXT: bitcast i8* {{%.*}} to [[BYREF_T]]* 141 // CHECK-NEXT: [[T1:%.*]] = getelementptr inbounds [[BYREF_T]], [[BYREF_T]]* {{%.*}}, i32 0, i32 6 142 // CHECK-NEXT: [[T2:%.*]] = load i8*, i8** [[T1]] 143 // CHECK-NEXT: store i8* [[T2]], i8** [[T0]] 144 // CHECK-NEXT: store i8* null, i8** [[T1]] 145 146 // CHECK-LABEL: define internal void @__Block_byref_object_dispose_ 147 // CHECK: [[T0:%.*]] = getelementptr inbounds [[BYREF_T]], [[BYREF_T]]* {{%.*}}, i32 0, i32 6 148 // CHECK-NEXT: [[T1:%.*]] = load i8*, i8** [[T0]] 149 // CHECK-NEXT: call void @objc_release(i8* [[T1]]) 150 151 // CHECK-LABEL: define internal void @__test4_block_invoke 152 // CHECK: [[SLOT:%.*]] = getelementptr inbounds {{.*}}, i32 0, i32 6 153 // CHECK-NEXT: [[T0:%.*]] = load i8*, i8** [[SLOT]], align 8 154 // CHECK-NEXT: store i8* null, i8** [[SLOT]], 155 // CHECK-NEXT: call void @objc_release(i8* [[T0]]) 156 // CHECK-NEXT: ret void 157 158 // CHECK-LABEL: define internal void @__copy_helper_block_ 159 // CHECK: call void @_Block_object_assign(i8* {{%.*}}, i8* {{%.*}}, i32 8) 160 161 // CHECK-LABEL: define internal void @__destroy_helper_block_ 162 // CHECK: call void @_Block_object_dispose(i8* {{%.*}}, i32 8) 163} 164 165void test5(void) { 166 extern id test5_source(void); 167 void test5_helper(void (^)(void)); 168 __unsafe_unretained id var = test5_source(); 169 test5_helper(^{ (void) var; }); 170 171 // CHECK-LABEL: define void @test5() 172 // CHECK: [[VAR:%.*]] = alloca i8* 173 // CHECK-NEXT: [[BLOCK:%.*]] = alloca [[BLOCK_T:<{.*}>]], 174 // CHECK-NEXT: [[VARPTR1:%.*]] = bitcast i8** [[VAR]] to i8* 175 // CHECK-NEXT: call void @llvm.lifetime.start(i64 8, i8* [[VARPTR1]]) 176 // CHECK: [[T0:%.*]] = call i8* @test5_source() 177 // CHECK-NEXT: [[T1:%.*]] = call i8* @objc_retainAutoreleasedReturnValue(i8* [[T0]]) 178 // CHECK-NEXT: store i8* [[T1]], i8** [[VAR]], 179 // CHECK-NEXT: call void @objc_release(i8* [[T1]]) 180 // 0x40800000 - has signature but no copy/dispose, as well as BLOCK_HAS_EXTENDED_LAYOUT 181 // CHECK: store i32 -1073741824, i32* 182 // CHECK: [[CAPTURE:%.*]] = getelementptr inbounds [[BLOCK_T]], [[BLOCK_T]]* [[BLOCK]], i32 0, i32 5 183 // CHECK-NEXT: [[T0:%.*]] = load i8*, i8** [[VAR]] 184 // CHECK-NEXT: store i8* [[T0]], i8** [[CAPTURE]] 185 // CHECK-NEXT: [[T0:%.*]] = bitcast [[BLOCK_T]]* [[BLOCK]] to 186 // CHECK: call void @test5_helper 187 // CHECK-NEXT: [[VARPTR2:%.*]] = bitcast i8** [[VAR]] to i8* 188 // CHECK-NEXT: call void @llvm.lifetime.end(i64 8, i8* [[VARPTR2]]) 189 // CHECK-NEXT: ret void 190} 191 192void test6(void) { 193 id test6_source(void); 194 void test6_helper(void (^)(void)); 195 __block __weak id var = test6_source(); 196 test6_helper(^{ var = 0; }); 197 198 // CHECK-LABEL: define void @test6() 199 // CHECK: [[VAR:%.*]] = alloca [[BYREF_T:%.*]], 200 // CHECK-NEXT: [[BLOCK:%.*]] = alloca [[BLOCK_T:<{.*}>]], 201 // CHECK-NEXT: [[VARPTR1:%.*]] = bitcast [[BYREF_T]]* [[VAR]] to i8* 202 // CHECK-NEXT: call void @llvm.lifetime.start(i64 48, i8* [[VARPTR1]]) 203 // CHECK: [[T0:%.*]] = getelementptr inbounds [[BYREF_T]], [[BYREF_T]]* [[VAR]], i32 0, i32 2 204 // 0x02000000 - has copy/dispose helpers weak 205 // CHECK-NEXT: store i32 1107296256, i32* [[T0]] 206 // CHECK: [[SLOT:%.*]] = getelementptr inbounds [[BYREF_T]], [[BYREF_T]]* [[VAR]], i32 0, i32 6 207 // CHECK-NEXT: [[T0:%.*]] = call i8* @test6_source() 208 // CHECK-NEXT: [[T1:%.*]] = call i8* @objc_retainAutoreleasedReturnValue(i8* [[T0]]) 209 // CHECK-NEXT: call i8* @objc_initWeak(i8** [[SLOT]], i8* [[T1]]) 210 // CHECK-NEXT: call void @objc_release(i8* [[T1]]) 211 // CHECK-NEXT: [[SLOT:%.*]] = getelementptr inbounds [[BYREF_T]], [[BYREF_T]]* [[VAR]], i32 0, i32 6 212 // 0x42800000 - has signature, copy/dispose helpers, as well as BLOCK_HAS_EXTENDED_LAYOUT 213 // CHECK: store i32 -1040187392, 214 // CHECK: [[T0:%.*]] = bitcast [[BYREF_T]]* [[VAR]] to i8* 215 // CHECK-NEXT: store i8* [[T0]], i8** 216 // CHECK: call void @test6_helper( 217 // CHECK: [[T0:%.*]] = bitcast [[BYREF_T]]* [[VAR]] to i8* 218 // CHECK-NEXT: call void @_Block_object_dispose(i8* [[T0]], i32 8) 219 // CHECK-NEXT: call void @objc_destroyWeak(i8** [[SLOT]]) 220 // CHECK-NEXT: [[VARPTR2:%.*]] = bitcast [[BYREF_T]]* [[VAR]] to i8* 221 // CHECK-NEXT: call void @llvm.lifetime.end(i64 48, i8* [[VARPTR2]]) 222 // CHECK-NEXT: ret void 223 224 // CHECK-LABEL: define internal void @__Block_byref_object_copy_ 225 // CHECK: [[T0:%.*]] = getelementptr inbounds [[BYREF_T]], [[BYREF_T]]* {{%.*}}, i32 0, i32 6 226 // CHECK-NEXT: load i8*, i8** 227 // CHECK-NEXT: bitcast i8* {{%.*}} to [[BYREF_T]]* 228 // CHECK-NEXT: [[T1:%.*]] = getelementptr inbounds [[BYREF_T]], [[BYREF_T]]* {{%.*}}, i32 0, i32 6 229 // CHECK-NEXT: call void @objc_moveWeak(i8** [[T0]], i8** [[T1]]) 230 231 // CHECK-LABEL: define internal void @__Block_byref_object_dispose_ 232 // CHECK: [[T0:%.*]] = getelementptr inbounds [[BYREF_T]], [[BYREF_T]]* {{%.*}}, i32 0, i32 6 233 // CHECK-NEXT: call void @objc_destroyWeak(i8** [[T0]]) 234 235 // CHECK-LABEL: define internal void @__test6_block_invoke 236 // CHECK: [[SLOT:%.*]] = getelementptr inbounds {{.*}}, i32 0, i32 6 237 // CHECK-NEXT: call i8* @objc_storeWeak(i8** [[SLOT]], i8* null) 238 // CHECK-NEXT: ret void 239 240 // CHECK-LABEL: define internal void @__copy_helper_block_ 241 // 0x8 - FIELD_IS_BYREF (no FIELD_IS_WEAK because clang in control) 242 // CHECK: call void @_Block_object_assign(i8* {{%.*}}, i8* {{%.*}}, i32 8) 243 244 // CHECK-LABEL: define internal void @__destroy_helper_block_ 245 // 0x8 - FIELD_IS_BYREF (no FIELD_IS_WEAK because clang in control) 246 // CHECK: call void @_Block_object_dispose(i8* {{%.*}}, i32 8) 247} 248 249void test7(void) { 250 id test7_source(void); 251 void test7_helper(void (^)(void)); 252 void test7_consume(id); 253 __weak id var = test7_source(); 254 test7_helper(^{ test7_consume(var); }); 255 256 // CHECK-LABEL: define void @test7() 257 // CHECK: [[VAR:%.*]] = alloca i8*, 258 // CHECK-NEXT: [[BLOCK:%.*]] = alloca [[BLOCK_T:<{.*}>]], 259 // CHECK: [[T0:%.*]] = call i8* @test7_source() 260 // CHECK-NEXT: [[T1:%.*]] = call i8* @objc_retainAutoreleasedReturnValue(i8* [[T0]]) 261 // CHECK-NEXT: call i8* @objc_initWeak(i8** [[VAR]], i8* [[T1]]) 262 // CHECK-NEXT: call void @objc_release(i8* [[T1]]) 263 // 0x42800000 - has signature, copy/dispose helpers, as well as BLOCK_HAS_EXTENDED_LAYOUT 264 // CHECK: store i32 -1040187392, 265 // CHECK: [[SLOT:%.*]] = getelementptr inbounds [[BLOCK_T]], [[BLOCK_T]]* [[BLOCK]], i32 0, i32 5 266 // CHECK-NEXT: [[T0:%.*]] = call i8* @objc_loadWeakRetained(i8** [[VAR]]) 267 // CHECK-NEXT: call i8* @objc_initWeak(i8** [[SLOT]], i8* [[T0]]) 268 // CHECK: call void @test7_helper( 269 // CHECK-NEXT: call void @objc_destroyWeak(i8** {{%.*}}) 270 // CHECK-NEXT: call void @objc_destroyWeak(i8** [[VAR]]) 271 // CHECK: ret void 272 273 // CHECK-LABEL: define internal void @__test7_block_invoke 274 // CHECK: [[SLOT:%.*]] = getelementptr inbounds [[BLOCK_T]], [[BLOCK_T]]* {{%.*}}, i32 0, i32 5 275 // CHECK-NEXT: [[T0:%.*]] = call i8* @objc_loadWeakRetained(i8** [[SLOT]]) 276 // CHECK-NEXT: call void @test7_consume(i8* [[T0]]) 277 // CHECK-NEXT: call void @objc_release(i8* [[T0]]) 278 // CHECK: ret void 279 280 // CHECK-LABEL: define internal void @__copy_helper_block_ 281 // CHECK: getelementptr 282 // CHECK-NEXT: getelementptr 283 // CHECK-NEXT: call void @objc_copyWeak( 284 285 // CHECK-LABEL: define internal void @__destroy_helper_block_ 286 // CHECK: getelementptr 287 // CHECK-NEXT: call void @objc_destroyWeak( 288} 289 290@interface Test8 @end 291@implementation Test8 292- (void) test { 293// CHECK: define internal void @"\01-[Test8 test]" 294// CHECK: [[SELF:%.*]] = alloca [[TEST8:%.*]]*, 295// CHECK-NEXT: alloca i8* 296// CHECK-NEXT: [[BLOCK:%.*]] = alloca [[BLOCK_T:<{.*}>]], 297// CHECK: store 298// CHECK-NEXT: store 299// CHECK: [[D0:%.*]] = getelementptr inbounds [[BLOCK_T]], [[BLOCK_T]]* [[BLOCK]], i32 0, i32 5 300// CHECK: [[T0:%.*]] = getelementptr inbounds [[BLOCK_T]], [[BLOCK_T]]* [[BLOCK]], i32 0, i32 5 301// CHECK-NEXT: [[T1:%.*]] = load [[TEST8]]*, [[TEST8]]** [[SELF]], 302// CHECK-NEXT: [[T2:%.*]] = bitcast [[TEST8]]* [[T1]] to i8* 303// CHECK-NEXT: [[T3:%.*]] = call i8* @objc_retain(i8* [[T2]]) 304// CHECK-NEXT: [[T4:%.*]] = bitcast i8* [[T3]] to [[TEST8]]* 305// CHECK-NEXT: store [[TEST8]]* [[T4]], [[TEST8]]** [[T0]] 306// CHECK-NEXT: bitcast [[BLOCK_T]]* [[BLOCK]] to 307// CHECK: call void @test8_helper( 308// CHECK-NEXT: [[T1:%.*]] = load [[TEST8]]*, [[TEST8]]** [[D0]] 309// CHECK-NEXT: [[T2:%.*]] = bitcast [[TEST8]]* [[T1]] to i8* 310// CHECK-NEXT: call void @objc_release(i8* [[T2]]) 311// CHECK: ret void 312 313 extern void test8_helper(void (^)(void)); 314 test8_helper(^{ (void) self; }); 315} 316@end 317 318id test9(void) { 319 typedef id __attribute__((ns_returns_retained)) blocktype(void); 320 extern void test9_consume_block(blocktype^); 321 return ^blocktype { 322 extern id test9_produce(void); 323 return test9_produce(); 324 }(); 325 326// CHECK-LABEL: define i8* @test9( 327// CHECK: load i8*, i8** getelementptr 328// CHECK-NEXT: bitcast i8* 329// CHECK-NEXT: call i8* 330// CHECK-NEXT: tail call i8* @objc_autoreleaseReturnValue 331// CHECK-NEXT: ret i8* 332 333// CHECK: call i8* @test9_produce() 334// CHECK-NEXT: call i8* @objc_retain 335// CHECK-NEXT: ret i8* 336} 337 338// rdar://problem/9814099 339// Test that we correctly initialize __block variables 340// when the initialization captures the variable. 341void test10a(void) { 342 __block void (^block)(void) = ^{ block(); }; 343 // CHECK-LABEL: define void @test10a() 344 // CHECK: [[BYREF:%.*]] = alloca [[BYREF_T:%.*]], 345 346 // Zero-initialization before running the initializer. 347 // CHECK: [[T0:%.*]] = getelementptr inbounds [[BYREF_T]], [[BYREF_T]]* [[BYREF]], i32 0, i32 6 348 // CHECK-NEXT: store void ()* null, void ()** [[T0]], align 8 349 350 // Run the initializer as an assignment. 351 // CHECK: [[T0:%.*]] = bitcast void ()* {{%.*}} to i8* 352 // CHECK-NEXT: [[T1:%.*]] = call i8* @objc_retainBlock(i8* [[T0]]) 353 // CHECK-NEXT: [[T2:%.*]] = bitcast i8* [[T1]] to void ()* 354 // CHECK-NEXT: [[T3:%.*]] = getelementptr inbounds [[BYREF_T]], [[BYREF_T]]* [[BYREF]], i32 0, i32 1 355 // CHECK-NEXT: [[T4:%.*]] = load [[BYREF_T]]*, [[BYREF_T]]** [[T3]] 356 // CHECK-NEXT: [[T5:%.*]] = getelementptr inbounds [[BYREF_T]], [[BYREF_T]]* [[T4]], i32 0, i32 6 357 // CHECK-NEXT: [[T6:%.*]] = load void ()*, void ()** [[T5]], align 8 358 // CHECK-NEXT: store void ()* {{%.*}}, void ()** [[T5]], align 8 359 // CHECK-NEXT: [[T7:%.*]] = bitcast void ()* [[T6]] to i8* 360 // CHECK-NEXT: call void @objc_release(i8* [[T7]]) 361 362 // Destroy at end of function. 363 // CHECK-NEXT: [[SLOT:%.*]] = getelementptr inbounds [[BYREF_T]], [[BYREF_T]]* [[BYREF]], i32 0, i32 6 364 // CHECK-NEXT: [[T0:%.*]] = bitcast [[BYREF_T]]* [[BYREF]] to i8* 365 // CHECK-NEXT: call void @_Block_object_dispose(i8* [[T0]], i32 8) 366 // CHECK-NEXT: [[T1:%.*]] = load void ()*, void ()** [[SLOT]] 367 // CHECK-NEXT: [[T2:%.*]] = bitcast void ()* [[T1]] to i8* 368 // CHECK-NEXT: call void @objc_release(i8* [[T2]]) 369 // CHECK: ret void 370} 371 372// <rdar://problem/10402698>: do this copy and dispose with 373// objc_retainBlock/release instead of _Block_object_assign/destroy. 374// We can also use _Block_object_assign/destroy with 375// BLOCK_FIELD_IS_BLOCK as long as we don't pass BLOCK_BYREF_CALLER. 376 377// CHECK-LABEL: define internal void @__Block_byref_object_copy 378// CHECK: [[D0:%.*]] = load i8*, i8** {{%.*}} 379// CHECK-NEXT: [[D1:%.*]] = bitcast i8* [[D0]] to [[BYREF_T]]* 380// CHECK-NEXT: [[D2:%.*]] = getelementptr inbounds [[BYREF_T]], [[BYREF_T]]* [[D1]], i32 0, i32 6 381// CHECK-NEXT: [[S0:%.*]] = load i8*, i8** {{%.*}} 382// CHECK-NEXT: [[S1:%.*]] = bitcast i8* [[S0]] to [[BYREF_T]]* 383// CHECK-NEXT: [[S2:%.*]] = getelementptr inbounds [[BYREF_T]], [[BYREF_T]]* [[S1]], i32 0, i32 6 384// CHECK-NEXT: [[T0:%.*]] = load void ()*, void ()** [[S2]], align 8 385// CHECK-NEXT: [[T1:%.*]] = bitcast void ()* [[T0]] to i8* 386// CHECK-NEXT: [[T2:%.*]] = call i8* @objc_retainBlock(i8* [[T1]]) 387// CHECK-NEXT: [[T3:%.*]] = bitcast i8* [[T2]] to void ()* 388// CHECK-NEXT: store void ()* [[T3]], void ()** [[D2]], align 8 389// CHECK: ret void 390 391// CHECK-LABEL: define internal void @__Block_byref_object_dispose 392// CHECK: [[T0:%.*]] = load i8*, i8** {{%.*}} 393// CHECK-NEXT: [[T1:%.*]] = bitcast i8* [[T0]] to [[BYREF_T]]* 394// CHECK-NEXT: [[T2:%.*]] = getelementptr inbounds [[BYREF_T]], [[BYREF_T]]* [[T1]], i32 0, i32 6 395// CHECK-NEXT: [[T3:%.*]] = load void ()*, void ()** [[T2]] 396// CHECK-NEXT: [[T4:%.*]] = bitcast void ()* [[T3]] to i8* 397// CHECK-NEXT: call void @objc_release(i8* [[T4]]) 398// CHECK-NEXT: ret void 399 400// Test that we correctly assign to __block variables when the 401// assignment captures the variable. 402void test10b(void) { 403 __block void (^block)(void); 404 block = ^{ block(); }; 405 406 // CHECK-LABEL: define void @test10b() 407 // CHECK: [[BYREF:%.*]] = alloca [[BYREF_T:%.*]], 408 409 // Zero-initialize. 410 // CHECK: [[T0:%.*]] = getelementptr inbounds [[BYREF_T]], [[BYREF_T]]* [[BYREF]], i32 0, i32 6 411 // CHECK-NEXT: store void ()* null, void ()** [[T0]], align 8 412 413 // CHECK-NEXT: [[SLOT:%.*]] = getelementptr inbounds [[BYREF_T]], [[BYREF_T]]* [[BYREF]], i32 0, i32 6 414 415 // The assignment. 416 // CHECK: [[T0:%.*]] = bitcast void ()* {{%.*}} to i8* 417 // CHECK-NEXT: [[T1:%.*]] = call i8* @objc_retainBlock(i8* [[T0]]) 418 // CHECK-NEXT: [[T2:%.*]] = bitcast i8* [[T1]] to void ()* 419 // CHECK-NEXT: [[T3:%.*]] = getelementptr inbounds [[BYREF_T]], [[BYREF_T]]* [[BYREF]], i32 0, i32 1 420 // CHECK-NEXT: [[T4:%.*]] = load [[BYREF_T]]*, [[BYREF_T]]** [[T3]] 421 // CHECK-NEXT: [[T5:%.*]] = getelementptr inbounds [[BYREF_T]], [[BYREF_T]]* [[T4]], i32 0, i32 6 422 // CHECK-NEXT: [[T6:%.*]] = load void ()*, void ()** [[T5]], align 8 423 // CHECK-NEXT: store void ()* {{%.*}}, void ()** [[T5]], align 8 424 // CHECK-NEXT: [[T7:%.*]] = bitcast void ()* [[T6]] to i8* 425 // CHECK-NEXT: call void @objc_release(i8* [[T7]]) 426 427 // Destroy at end of function. 428 // CHECK-NEXT: [[T0:%.*]] = bitcast [[BYREF_T]]* [[BYREF]] to i8* 429 // CHECK-NEXT: call void @_Block_object_dispose(i8* [[T0]], i32 8) 430 // CHECK-NEXT: [[T1:%.*]] = load void ()*, void ()** [[SLOT]] 431 // CHECK-NEXT: [[T2:%.*]] = bitcast void ()* [[T1]] to i8* 432 // CHECK-NEXT: call void @objc_release(i8* [[T2]]) 433 // CHECK: ret void 434} 435 436// rdar://problem/10088932 437void test11_helper(id); 438void test11a(void) { 439 int x; 440 test11_helper(^{ (void) x; }); 441 442 // CHECK-LABEL: define void @test11a() 443 // CHECK: [[X:%.*]] = alloca i32, align 4 444 // CHECK-NEXT: [[BLOCK:%.*]] = alloca [[BLOCK_T:<{.*}>]], align 8 445 // CHECK: [[T0:%.*]] = bitcast [[BLOCK_T]]* [[BLOCK]] to void ()* 446 // CHECK-NEXT: [[T1:%.*]] = bitcast void ()* [[T0]] to i8* 447 // CHECK-NEXT: [[T2:%.*]] = call i8* @objc_retainBlock(i8* [[T1]]) 448 // CHECK-NEXT: [[T3:%.*]] = bitcast i8* [[T2]] to void ()* 449 // CHECK-NEXT: [[T4:%.*]] = bitcast void ()* [[T3]] to i8* 450 // CHECK-NEXT: call void @test11_helper(i8* [[T4]]) 451 // CHECK-NEXT: [[T5:%.*]] = bitcast void ()* [[T3]] to i8* 452 // CHECK-NEXT: call void @objc_release(i8* [[T5]]) 453 // CHECK: ret void 454} 455void test11b(void) { 456 int x; 457 id b = ^{ (void) x; }; 458 459 // CHECK-LABEL: define void @test11b() 460 // CHECK: [[X:%.*]] = alloca i32, align 4 461 // CHECK-NEXT: [[B:%.*]] = alloca i8*, align 8 462 // CHECK-NEXT: [[BLOCK:%.*]] = alloca [[BLOCK_T:<{.*}>]], align 8 463 // CHECK: [[T0:%.*]] = bitcast [[BLOCK_T]]* [[BLOCK]] to void ()* 464 // CHECK-NEXT: [[T1:%.*]] = bitcast void ()* [[T0]] to i8* 465 // CHECK-NEXT: [[T2:%.*]] = call i8* @objc_retainBlock(i8* [[T1]]) 466 // CHECK-NEXT: [[T3:%.*]] = bitcast i8* [[T2]] to void ()* 467 // CHECK-NEXT: [[T4:%.*]] = bitcast void ()* [[T3]] to i8* 468 // CHECK-NEXT: store i8* [[T4]], i8** [[B]], align 8 469 // CHECK-NEXT: [[T5:%.*]] = load i8*, i8** [[B]] 470 // CHECK-NEXT: call void @objc_release(i8* [[T5]]) 471 // CHECK: ret void 472} 473 474// rdar://problem/9979150 475@interface Test12 476@property (strong) void(^ablock)(void); 477@property (nonatomic, strong) void(^nblock)(void); 478@end 479@implementation Test12 480@synthesize ablock, nblock; 481// CHECK: define internal void ()* @"\01-[Test12 ablock]"( 482// CHECK: call i8* @objc_getProperty(i8* {{%.*}}, i8* {{%.*}}, i64 {{%.*}}, i1 zeroext true) 483 484// CHECK: define internal void @"\01-[Test12 setAblock:]"( 485// CHECK: call void @objc_setProperty(i8* {{%.*}}, i8* {{%.*}}, i64 {{%.*}}, i8* {{%.*}}, i1 zeroext true, i1 zeroext true) 486 487// CHECK: define internal void ()* @"\01-[Test12 nblock]"( 488// CHECK: call i8* @objc_getProperty(i8* {{%.*}}, i8* {{%.*}}, i64 {{%.*}}, i1 zeroext false) 489 490// CHECK: define internal void @"\01-[Test12 setNblock:]"( 491// CHECK: call void @objc_setProperty(i8* {{%.*}}, i8* {{%.*}}, i64 {{%.*}}, i8* {{%.*}}, i1 zeroext false, i1 zeroext true) 492@end 493 494// rdar://problem/10131784 495void test13(id x) { 496 extern void test13_helper(id); 497 extern void test13_use(void(^)(void)); 498 499 void (^b)(void) = (x ? ^{test13_helper(x);} : 0); 500 test13_use(b); 501 502 // CHECK-LABEL: define void @test13( 503 // CHECK: [[X:%.*]] = alloca i8*, align 8 504 // CHECK-NEXT: [[B:%.*]] = alloca void ()*, align 8 505 // CHECK-NEXT: [[BLOCK:%.*]] = alloca [[BLOCK_T:.*]], align 8 506 // CHECK-NEXT: [[CLEANUP_ACTIVE:%.*]] = alloca i1 507 // CHECK-NEXT: [[T0:%.*]] = call i8* @objc_retain(i8* {{%.*}}) 508 // CHECK-NEXT: store i8* [[T0]], i8** [[X]], align 8 509 // CHECK-NEXT: [[BPTR1:%.*]] = bitcast void ()** [[B]] to i8* 510 // CHECK-NEXT: call void @llvm.lifetime.start(i64 8, i8* [[BPTR1]]) 511 // CHECK-NEXT: [[CLEANUP_ADDR:%.*]] = getelementptr inbounds [[BLOCK_T]], [[BLOCK_T]]* [[BLOCK]], i32 0, i32 5 512 // CHECK-NEXT: [[T0:%.*]] = load i8*, i8** [[X]], align 8 513 // CHECK-NEXT: [[T1:%.*]] = icmp ne i8* [[T0]], null 514 // CHECK-NEXT: store i1 false, i1* [[CLEANUP_ACTIVE]] 515 // CHECK-NEXT: br i1 [[T1]], 516 517 // CHECK-NOT: br 518 // CHECK: [[CAPTURE:%.*]] = getelementptr inbounds [[BLOCK_T]], [[BLOCK_T]]* [[BLOCK]], i32 0, i32 5 519 // CHECK-NEXT: [[T0:%.*]] = load i8*, i8** [[X]], align 8 520 // CHECK-NEXT: [[T1:%.*]] = call i8* @objc_retain(i8* [[T0]]) 521 // CHECK-NEXT: store i8* [[T1]], i8** [[CAPTURE]], align 8 522 // CHECK-NEXT: store i1 true, i1* [[CLEANUP_ACTIVE]] 523 // CHECK-NEXT: bitcast [[BLOCK_T]]* [[BLOCK]] to void ()* 524 // CHECK-NEXT: br label 525 // CHECK: br label 526 // CHECK: [[T0:%.*]] = phi void ()* 527 // CHECK-NEXT: [[T1:%.*]] = bitcast void ()* [[T0]] to i8* 528 // CHECK-NEXT: [[T2:%.*]] = call i8* @objc_retainBlock(i8* [[T1]]) 529 // CHECK-NEXT: [[T3:%.*]] = bitcast i8* [[T2]] to void ()* 530 // CHECK-NEXT: store void ()* [[T3]], void ()** [[B]], align 8 531 // CHECK-NEXT: [[T0:%.*]] = load void ()*, void ()** [[B]], align 8 532 // CHECK-NEXT: call void @test13_use(void ()* [[T0]]) 533 // CHECK-NEXT: [[T0:%.*]] = load void ()*, void ()** [[B]] 534 // CHECK-NEXT: [[T1:%.*]] = bitcast void ()* [[T0]] to i8* 535 // CHECK-NEXT: call void @objc_release(i8* [[T1]]) 536 // CHECK-NEXT: [[BPTR2:%.*]] = bitcast void ()** [[B]] to i8* 537 // CHECK-NEXT: call void @llvm.lifetime.end(i64 8, i8* [[BPTR2]]) 538 539 // CHECK-NEXT: [[T0:%.*]] = load i1, i1* [[CLEANUP_ACTIVE]] 540 // CHECK-NEXT: br i1 [[T0]] 541 // CHECK: [[T0:%.*]] = load i8*, i8** [[CLEANUP_ADDR]] 542 // CHECK-NEXT: call void @objc_release(i8* [[T0]]) 543 // CHECK-NEXT: br label 544 545 // CHECK: [[T0:%.*]] = load i8*, i8** [[X]] 546 // CHECK-NEXT: call void @objc_release(i8* [[T0]]) 547 // CHECK-NEXT: ret void 548} 549 550// <rdar://problem/10907510> 551void test14() { 552 void (^const x[1])(void) = { ^{} }; 553} 554 555// rdar://11149025 556// Don't make invalid ASTs and crash. 557void test15_helper(void (^block)(void), int x); 558void test15(int a) { 559 test15_helper(^{ (void) a; }, ({ a; })); 560} 561 562// rdar://11016025 563void test16() { 564 void (^BLKVAR)(void) = ^{ BLKVAR(); }; 565 566 // CHECK-LABEL: define void @test16( 567 // CHECK: [[BLKVAR:%.*]] = alloca void ()*, align 8 568 // CHECK-NEXT: [[BLOCK:%.*]] = alloca [[BLOCK_T:<{.*}>]], 569 // CHECK-NEXT: [[BLKVARPTR1:%.*]] = bitcast void ()** [[BLKVAR]] to i8* 570 // CHECK-NEXT: call void @llvm.lifetime.start(i64 8, i8* [[BLKVARPTR1]]) 571 // CHECK-NEXT: [[SLOTREL:%.*]] = getelementptr inbounds [[BLOCK_T]], [[BLOCK_T]]* [[BLOCK]], i32 0, i32 5 572 // CHECK-NEXT: store void ()* null, void ()** [[BLKVAR]], align 8 573} 574 575// rdar://12151005 576// 577// This is an intentional exception to our conservative jump-scope 578// checking for full-expressions containing block literals with 579// non-trivial cleanups: if the block literal appears in the operand 580// of a return statement, there's no need to extend its lifetime. 581id (^test17(id self, int which))(void) { 582 switch (which) { 583 case 1: return ^{ return self; }; 584 case 0: return ^{ return self; }; 585 } 586 return (void*) 0; 587} 588// CHECK-LABEL: define i8* ()* @test17( 589// CHECK: [[RET:%.*]] = alloca i8* ()*, align 590// CHECK-NEXT: [[SELF:%.*]] = alloca i8*, 591// CHECK: [[B0:%.*]] = alloca [[BLOCK:<.*>]], align 592// CHECK: [[B1:%.*]] = alloca [[BLOCK]], align 593// CHECK: [[T0:%.*]] = call i8* @objc_retain(i8* 594// CHECK-NEXT: store i8* [[T0]], i8** [[SELF]], align 595// CHECK-NOT: objc_retain 596// CHECK-NOT: objc_release 597// CHECK: [[DESTROY:%.*]] = getelementptr inbounds [[BLOCK]], [[BLOCK]]* [[B0]], i32 0, i32 5 598// CHECK-NOT: objc_retain 599// CHECK-NOT: objc_release 600// CHECK: [[T0:%.*]] = getelementptr inbounds [[BLOCK]], [[BLOCK]]* [[B0]], i32 0, i32 5 601// CHECK-NEXT: [[T1:%.*]] = load i8*, i8** [[SELF]], align 602// CHECK-NEXT: [[T2:%.*]] = call i8* @objc_retain(i8* [[T1]]) 603// CHECK-NEXT: store i8* [[T2]], i8** [[T0]], 604// CHECK-NEXT: [[T0:%.*]] = bitcast [[BLOCK]]* [[B0]] to i8* ()* 605// CHECK-NEXT: [[T1:%.*]] = bitcast i8* ()* [[T0]] to i8* 606// CHECK-NEXT: [[T2:%.*]] = call i8* @objc_retainBlock(i8* [[T1]]) 607// CHECK-NEXT: [[T3:%.*]] = bitcast i8* [[T2]] to i8* ()* 608// CHECK-NEXT: store i8* ()* [[T3]], i8* ()** [[RET]] 609// CHECK-NEXT: [[T0:%.*]] = load i8*, i8** [[DESTROY]] 610// CHECK-NEXT: call void @objc_release(i8* [[T0]]) 611// CHECK-NEXT: store i32 612// CHECK-NEXT: br label 613// CHECK-NOT: objc_retain 614// CHECK-NOT: objc_release 615// CHECK: [[DESTROY:%.*]] = getelementptr inbounds [[BLOCK]], [[BLOCK]]* [[B1]], i32 0, i32 5 616// CHECK-NOT: objc_retain 617// CHECK-NOT: objc_release 618// CHECK: [[T0:%.*]] = getelementptr inbounds [[BLOCK]], [[BLOCK]]* [[B1]], i32 0, i32 5 619// CHECK-NEXT: [[T1:%.*]] = load i8*, i8** [[SELF]], align 620// CHECK-NEXT: [[T2:%.*]] = call i8* @objc_retain(i8* [[T1]]) 621// CHECK-NEXT: store i8* [[T2]], i8** [[T0]], 622// CHECK-NEXT: [[T0:%.*]] = bitcast [[BLOCK]]* [[B1]] to i8* ()* 623// CHECK-NEXT: [[T1:%.*]] = bitcast i8* ()* [[T0]] to i8* 624// CHECK-NEXT: [[T2:%.*]] = call i8* @objc_retainBlock(i8* [[T1]]) 625// CHECK-NEXT: [[T3:%.*]] = bitcast i8* [[T2]] to i8* ()* 626// CHECK-NEXT: store i8* ()* [[T3]], i8* ()** [[RET]] 627// CHECK-NEXT: [[T0:%.*]] = load i8*, i8** [[DESTROY]] 628// CHECK-NEXT: call void @objc_release(i8* [[T0]]) 629// CHECK-NEXT: store i32 630// CHECK-NEXT: br label 631 632void test18(id x) { 633// CHECK-UNOPT-LABEL: define void @test18( 634// CHECK-UNOPT: [[X:%.*]] = alloca i8*, 635// CHECK-UNOPT-NEXT: [[BLOCK:%.*]] = alloca [[BLOCK_T:<{.*}>]], 636// CHECK-UNOPT-NEXT: store i8* null, i8** [[X]] 637// CHECK-UNOPT-NEXT: call void @objc_storeStrong(i8** [[X]], 638// CHECK-UNOPT-NEXT: [[SLOTREL:%.*]] = getelementptr inbounds [[BLOCK_T]], [[BLOCK_T]]* [[BLOCK]], i32 0, i32 5 639// CHECK-UNOPT: [[SLOT:%.*]] = getelementptr inbounds [[BLOCK_T]], [[BLOCK_T]]* [[BLOCK]], i32 0, i32 5 640// CHECK-UNOPT-NEXT: [[T0:%.*]] = load i8*, i8** [[X]], 641// CHECK-UNOPT-NEXT: [[T1:%.*]] = call i8* @objc_retain(i8* [[T0]]) 642// CHECK-UNOPT-NEXT: store i8* [[T1]], i8** [[SLOT]], 643// CHECK-UNOPT-NEXT: bitcast 644// CHECK-UNOPT-NEXT: call void @test18_helper( 645// CHECK-UNOPT-NEXT: call void @objc_storeStrong(i8** [[SLOTREL]], i8* null) [[NUW:#[0-9]+]] 646// CHECK-UNOPT-NEXT: call void @objc_storeStrong(i8** [[X]], i8* null) [[NUW]] 647// CHECK-UNOPT-NEXT: ret void 648 extern void test18_helper(id (^)(void)); 649 test18_helper(^{ return x; }); 650 651// CHECK-UNOPT-LABEL: define internal void @__copy_helper_block_ 652// CHECK-UNOPT: [[T0:%.*]] = load i8*, i8** 653// CHECK-UNOPT-NEXT: [[SRC:%.*]] = bitcast i8* [[T0]] to [[BLOCK_T]]* 654// CHECK-UNOPT-NEXT: [[T0:%.*]] = load i8*, i8** 655// CHECK-UNOPT-NEXT: [[DST:%.*]] = bitcast i8* [[T0]] to [[BLOCK_T]]* 656// CHECK-UNOPT-NEXT: [[T0:%.*]] = getelementptr inbounds [[BLOCK_T]], [[BLOCK_T]]* [[SRC]], i32 0, i32 5 657// CHECK-UNOPT-NEXT: [[T1:%.*]] = getelementptr inbounds [[BLOCK_T]], [[BLOCK_T]]* [[DST]], i32 0, i32 5 658// CHECK-UNOPT-NEXT: [[T2:%.*]] = load i8*, i8** [[T0]] 659// CHECK-UNOPT-NEXT: store i8* null, i8** [[T1]] 660// CHECK-UNOPT-NEXT: call void @objc_storeStrong(i8** [[T1]], i8* [[T2]]) [[NUW]] 661// CHECK-UNOPT-NEXT: ret void 662 663// CHECK-UNOPT-LABEL: define internal void @__destroy_helper_block_ 664// CHECK-UNOPT: [[T0:%.*]] = load i8*, i8** 665// CHECK-UNOPT-NEXT: [[T1:%.*]] = bitcast i8* [[T0]] to [[BLOCK_T]]* 666// CHECK-UNOPT-NEXT: [[T2:%.*]] = getelementptr inbounds [[BLOCK_T]], [[BLOCK_T]]* [[T1]], i32 0, i32 5 667// CHECK-UNOPT-NEXT: call void @objc_storeStrong(i8** [[T2]], i8* null) 668// CHECK-UNOPT-NEXT: ret void 669} 670 671// rdar://13588325 672void test19_sink(void (^)(int)); 673void test19(void (^b)(void)) { 674// CHECK-LABEL: define void @test19( 675// Prologue. 676// CHECK: [[B:%.*]] = alloca void ()*, 677// CHECK-NEXT: [[BLOCK:%.*]] = alloca [[BLOCK_T:<{.*}>]], 678// CHECK-NEXT: [[T0:%.*]] = bitcast void ()* {{%.*}} to i8* 679// CHECK-NEXT: [[T1:%.*]] = call i8* @objc_retain(i8* [[T0]]) 680// CHECK-NEXT: [[T2:%.*]] = bitcast i8* [[T1]] to void ()* 681// CHECK-NEXT: store void ()* [[T2]], void ()** [[B]] 682 683// Block setup. We skip most of this. Note the bare retain. 684// CHECK-NEXT: [[SLOTREL:%.*]] = getelementptr inbounds [[BLOCK_T]], [[BLOCK_T]]* [[BLOCK]], i32 0, i32 5 685// CHECK: [[SLOT:%.*]] = getelementptr inbounds [[BLOCK_T]], [[BLOCK_T]]* [[BLOCK]], i32 0, i32 5 686// CHECK-NEXT: [[T0:%.*]] = load void ()*, void ()** [[B]], 687// CHECK-NEXT: [[T1:%.*]] = bitcast void ()* [[T0]] to i8* 688// CHECK-NEXT: [[T2:%.*]] = call i8* @objc_retain(i8* [[T1]]) 689// CHECK-NEXT: [[T3:%.*]] = bitcast i8* [[T2]] to void ()* 690// CHECK-NEXT: store void ()* [[T3]], void ()** [[SLOT]], 691// Call. 692// CHECK-NEXT: [[T0:%.*]] = bitcast [[BLOCK_T]]* [[BLOCK]] to void (i32)* 693// CHECK-NEXT: call void @test19_sink(void (i32)* [[T0]]) 694 695 test19_sink(^(int x) { b(); }); 696 697// Block teardown. 698// CHECK-NEXT: [[T0:%.*]] = load void ()*, void ()** [[SLOTREL]] 699// CHECK-NEXT: [[T1:%.*]] = bitcast void ()* [[T0]] to i8* 700// CHECK-NEXT: call void @objc_release(i8* [[T1]]) 701 702// Local cleanup. 703// CHECK-NEXT: [[T0:%.*]] = load void ()*, void ()** [[B]] 704// CHECK-NEXT: [[T1:%.*]] = bitcast void ()* [[T0]] to i8* 705// CHECK-NEXT: call void @objc_release(i8* [[T1]]) 706 707// CHECK-NEXT: ret void 708} 709 710// CHECK: attributes [[NUW]] = { nounwind } 711// CHECK-UNOPT: attributes [[NUW]] = { nounwind } 712