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