// RUN: // RUN:
// This shouldn't crash.
void test0(id (^maker)(void)) {
maker();
}
int (^test1(int x))(void) {
// CHECK: define i32 ()* @test1(
// CHECK: [[X: // CHECK-NEXT: [[BLOCK: // CHECK-NEXT: store i32 {{ // CHECK: [[T0: // CHECK-NEXT: [[T1: // CHECK-NEXT: [[T2: // CHECK-NEXT: [[T3: // CHECK-NEXT: [[T4: // CHECK-NEXT: [[T5: // CHECK-NEXT: [[T6: // CHECK-NEXT: ret i32 ()* [[T6]]
return ^{ return x; };
}
void test2(id x) {
// CHECK: define void @test2(
// CHECK: [[X:// CHECK-NEXT: [[BLOCK:// CHECK-NEXT: [[PARM:// CHECK-NEXT: store i8* [[PARM]], i8** [[X]]
// CHECK-NEXT: [[SLOTREL:// CHECK: [[SLOT:// CHECK-NEXT: [[T0:// CHECK-NEXT: [[T1:// CHECK-NEXT: store i8* [[T1]], i8** [[SLOT]],
// CHECK-NEXT: bitcast
// CHECK-NEXT: call void @test2_helper(
// CHECK-NEXT: [[T0:// CHECK-NEXT: call void @objc_release(i8* [[T0]]) nounwind, !clang.imprecise_release
// CHECK-NEXT: [[T0:// CHECK-NEXT: call void @objc_release(i8* [[T0]]) nounwind, !clang.imprecise_release
// CHECK-NEXT: ret void
extern void test2_helper(id (^)(void));
test2_helper(^{ return x; });
// CHECK: define internal void @__copy_helper_block_
// CHECK: [[T0:// CHECK-NEXT: [[SRC:// CHECK-NEXT: [[T0:// CHECK-NEXT: [[DST:// CHECK-NEXT: [[T0:// CHECK-NEXT: [[T1:// CHECK-NEXT: [[T2:// CHECK-NEXT: ret void
// CHECK: define internal void @__destroy_helper_block_
// CHECK: [[T0:// CHECK-NEXT: [[T1:// CHECK-NEXT: [[T2:// CHECK-NEXT: [[T3:// CHECK-NEXT: call void @objc_release(i8* [[T3]])
// CHECK-NEXT: ret void
}
void test3(void (^sink)(id*)) {
__strong id strong;
sink(&strong);
// CHECK: define void @test3(
// CHECK: [[SINK: // CHECK-NEXT: [[STRONG: // CHECK-NEXT: [[TEMP: // CHECK-NEXT: bitcast void (i8**)* {{ // CHECK-NEXT: call i8* @objc_retain(
// CHECK-NEXT: bitcast i8*
// CHECK-NEXT: store void (i8**)* {{ // CHECK-NEXT: store i8* null, i8** [[STRONG]]
// CHECK-NEXT: load void (i8**)** [[SINK]]
// CHECK-NEXT: bitcast
// CHECK-NEXT: getelementptr
// CHECK-NEXT: [[BLOCK: // CHECK-NEXT: [[T0: // CHECK-NEXT: store i8* [[T0]], i8** [[TEMP]]
// CHECK-NEXT: [[F0: // CHECK-NEXT: [[F1: // CHECK-NEXT: call void [[F1]](i8* [[BLOCK]], i8** [[TEMP]])
// CHECK-NEXT: [[T0: // CHECK-NEXT: [[T1: // CHECK-NEXT: [[T2: // CHECK-NEXT: store i8* [[T1]], i8** [[STRONG]]
// CHECK-NEXT: call void @objc_release(i8* [[T2]])
// CHECK-NEXT: [[T0: // CHECK-NEXT: call void @objc_release(i8* [[T0]])
// CHECK-NEXT: load void (i8**)** [[SINK]]
// CHECK-NEXT: bitcast
// CHECK-NEXT: call void @objc_release
// CHECK-NEXT: ret void
}
void test4(void) {
id test4_source(void);
void test4_helper(void (^)(void));
__block id var = test4_source();
test4_helper(^{ var = 0; });
// CHECK: define void @test4()
// CHECK: [[VAR: // CHECK-NEXT: [[BLOCK: // CHECK: [[T0: // 0x02000000 - has copy/dispose helpers
// CHECK-NEXT: store i32 33554432, i32* [[T0]]
// CHECK: [[SLOT: // CHECK-NEXT: [[T0: // CHECK-NEXT: [[T1: // CHECK-NEXT: store i8* [[T1]], i8** [[SLOT]]
// CHECK-NEXT: [[SLOT: // 0x42000000 - has signature, copy/dispose helpers
// CHECK: store i32 1107296256,
// CHECK: [[T0: // CHECK-NEXT: store i8* [[T0]], i8**
// CHECK: call void @test4_helper(
// CHECK: [[T0: // CHECK-NEXT: call void @_Block_object_dispose(i8* [[T0]], i32 8)
// CHECK-NEXT: [[T0: // CHECK-NEXT: call void @objc_release(i8* [[T0]])
// CHECK-NEXT: ret void
// CHECK: define internal void @__Block_byref_object_copy_
// CHECK: [[T0: // CHECK-NEXT: load i8**
// CHECK-NEXT: bitcast i8* {{ // CHECK-NEXT: [[T1: // CHECK-NEXT: [[T2: // CHECK-NEXT: store i8* [[T2]], i8** [[T0]]
// CHECK-NEXT: store i8* null, i8** [[T1]]
// CHECK: define internal void @__Block_byref_object_dispose_
// CHECK: [[T0: // CHECK-NEXT: [[T1: // CHECK-NEXT: call void @objc_release(i8* [[T1]])
// CHECK: define internal void @__test4_block_invoke
// CHECK: [[SLOT: // CHECK-NEXT: [[T0: // CHECK-NEXT: store i8* null, i8** [[SLOT]],
// CHECK-NEXT: call void @objc_release(i8* [[T0]])
// CHECK-NEXT: ret void
// CHECK: define internal void @__copy_helper_block_
// CHECK: call void @_Block_object_assign(i8* {{
// CHECK: define internal void @__destroy_helper_block_
// CHECK: call void @_Block_object_dispose(i8* {{}
void test5(void) {
extern id test5_source(void);
void test5_helper(void (^)(void));
__unsafe_unretained id var = test5_source();
test5_helper(^{ (void) var; });
// CHECK: define void @test5()
// CHECK: [[VAR: // CHECK-NEXT: [[BLOCK: // CHECK: [[T0: // CHECK-NEXT: [[T1: // CHECK-NEXT: store i8* [[T1]], i8** [[VAR]],
// CHECK-NEXT: call void @objc_release(i8* [[T1]])
// 0x40000000 - has signature but no copy/dispose
// CHECK: store i32 1073741824, i32*
// CHECK: [[CAPTURE: // CHECK-NEXT: [[T0: // CHECK-NEXT: store i8* [[T0]], i8** [[CAPTURE]]
// CHECK-NEXT: [[T0: // CHECK: call void @test5_helper
// CHECK-NEXT: ret void
}
void test6(void) {
id test6_source(void);
void test6_helper(void (^)(void));
__block __weak id var = test6_source();
test6_helper(^{ var = 0; });
// CHECK: define void @test6()
// CHECK: [[VAR: // CHECK-NEXT: [[BLOCK: // CHECK: [[T0: // 0x02000000 - has copy/dispose helpers
// CHECK-NEXT: store i32 33554432, i32* [[T0]]
// CHECK: [[SLOT: // CHECK-NEXT: [[T0: // CHECK-NEXT: [[T1: // CHECK-NEXT: call i8* @objc_initWeak(i8** [[SLOT]], i8* [[T1]])
// CHECK-NEXT: call void @objc_release(i8* [[T1]])
// CHECK-NEXT: [[SLOT: // 0x42000000 - has signature, copy/dispose helpers
// CHECK: store i32 1107296256,
// CHECK: [[T0: // CHECK-NEXT: store i8* [[T0]], i8**
// CHECK: call void @test6_helper(
// CHECK: [[T0: // CHECK-NEXT: call void @_Block_object_dispose(i8* [[T0]], i32 8)
// CHECK-NEXT: call void @objc_destroyWeak(i8** [[SLOT]])
// CHECK-NEXT: ret void
// CHECK: define internal void @__Block_byref_object_copy_
// CHECK: [[T0: // CHECK-NEXT: load i8**
// CHECK-NEXT: bitcast i8* {{ // CHECK-NEXT: [[T1: // CHECK-NEXT: call void @objc_moveWeak(i8** [[T0]], i8** [[T1]])
// CHECK: define internal void @__Block_byref_object_dispose_
// CHECK: [[T0: // CHECK-NEXT: call void @objc_destroyWeak(i8** [[T0]])
// CHECK: define internal void @__test6_block_invoke
// CHECK: [[SLOT: // CHECK-NEXT: call i8* @objc_storeWeak(i8** [[SLOT]], i8* null)
// CHECK-NEXT: ret void
// CHECK: define internal void @__copy_helper_block_
// 0x8 - FIELD_IS_BYREF (no FIELD_IS_WEAK because clang in control)
// CHECK: call void @_Block_object_assign(i8* {{
// CHECK: define internal void @__destroy_helper_block_
// 0x8 - FIELD_IS_BYREF (no FIELD_IS_WEAK because clang in control)
// CHECK: call void @_Block_object_dispose(i8* {{}
void test7(void) {
id test7_source(void);
void test7_helper(void (^)(void));
void test7_consume(id);
__weak id var = test7_source();
test7_helper(^{ test7_consume(var); });
// CHECK: define void @test7()
// CHECK: [[VAR: // CHECK-NEXT: [[BLOCK: // CHECK: [[T0: // CHECK-NEXT: [[T1: // CHECK-NEXT: call i8* @objc_initWeak(i8** [[VAR]], i8* [[T1]])
// CHECK-NEXT: call void @objc_release(i8* [[T1]])
// 0x42000000 - has signature, copy/dispose helpers
// CHECK: store i32 1107296256,
// CHECK: [[SLOT: // CHECK-NEXT: [[T0: // CHECK-NEXT: call i8* @objc_initWeak(i8** [[SLOT]], i8* [[T0]])
// CHECK: call void @test7_helper(
// CHECK-NEXT: call void @objc_destroyWeak(i8** {{ // CHECK-NEXT: call void @objc_destroyWeak(i8** [[VAR]])
// CHECK-NEXT: ret void
// CHECK: define internal void @__test7_block_invoke
// CHECK: [[SLOT: // CHECK-NEXT: [[T0: // CHECK-NEXT: call void @test7_consume(i8* [[T0]])
// CHECK-NEXT: ret void
// CHECK: define internal void @__copy_helper_block_
// CHECK: getelementptr
// CHECK-NEXT: getelementptr
// CHECK-NEXT: call void @objc_copyWeak(
// CHECK: define internal void @__destroy_helper_block_
// CHECK: getelementptr
// CHECK-NEXT: call void @objc_destroyWeak(
}
@interface Test8 @end
@implementation Test8
- (void) test {
// CHECK: define internal void @"\01-[Test8 test]"
// CHECK: [[SELF:// CHECK-NEXT: alloca i8*
// CHECK-NEXT: [[BLOCK:// CHECK: store
// CHECK-NEXT: store
// CHECK: [[D0:// CHECK: [[T0:// CHECK-NEXT: [[T1:// CHECK-NEXT: [[T2:// CHECK-NEXT: [[T3:// CHECK-NEXT: [[T4:// CHECK-NEXT: store [[TEST8]]* [[T4]], [[TEST8]]** [[T0]]
// CHECK-NEXT: bitcast [[BLOCK_T]]* [[BLOCK]] to
// CHECK: call void @test8_helper(
// CHECK-NEXT: [[T1:// CHECK-NEXT: [[T2:// CHECK-NEXT: call void @objc_release(i8* [[T2]])
// CHECK-NEXT: ret void
extern void test8_helper(void (^)(void));
test8_helper(^{ (void) self; });
}
@end
id test9(void) {
typedef id __attribute__((ns_returns_retained)) blocktype(void);
extern void test9_consume_block(blocktype^);
return ^blocktype {
extern id test9_produce(void);
return test9_produce();
}();
// CHECK: define i8* @test9(
// CHECK: load i8** getelementptr
// CHECK-NEXT: bitcast i8*
// CHECK-NEXT: call i8*
// CHECK-NEXT: call i8* @objc_autoreleaseReturnValue
// CHECK-NEXT: ret i8*
// CHECK: call i8* @test9_produce()
// CHECK-NEXT: call i8* @objc_retain
// CHECK-NEXT: ret i8*
}
// rdar://problem/9814099
// Test that we correctly initialize __block variables
// when the initialization captures the variable.
void test10a(void) {
__block void (^block)(void) = ^{ block(); };
// CHECK: define void @test10a()
// CHECK: [[BYREF:
// Zero-initialization before running the initializer.
// CHECK: [[T0: // CHECK-NEXT: store void ()* null, void ()** [[T0]], align 8
// Run the initializer as an assignment.
// CHECK: [[T0: // CHECK-NEXT: [[T1: // CHECK-NEXT: [[T2: // CHECK-NEXT: [[T3: // CHECK-NEXT: [[T4: // CHECK-NEXT: [[T5: // CHECK-NEXT: [[T6: // CHECK-NEXT: store void ()* {{ // CHECK-NEXT: [[T7: // CHECK-NEXT: call void @objc_release(i8* [[T7]])
// Destroy at end of function.
// CHECK-NEXT: [[SLOT: // CHECK-NEXT: [[T0: // CHECK-NEXT: call void @_Block_object_dispose(i8* [[T0]], i32 8)
// CHECK-NEXT: [[T1: // CHECK-NEXT: [[T2: // CHECK-NEXT: call void @objc_release(i8* [[T2]])
// CHECK-NEXT: ret void
}
// <rdar://problem/10402698>: do this copy and dispose with
// objc_retainBlock/release instead of _Block_object_assign/destroy.
// We can also use _Block_object_assign/destroy with
// BLOCK_FIELD_IS_BLOCK as long as we don't pass BLOCK_BYREF_CALLER.
// CHECK: define internal void @__Block_byref_object_copy
// CHECK: [[D0:// CHECK-NEXT: [[D1:// CHECK-NEXT: [[D2:// CHECK-NEXT: [[S0:// CHECK-NEXT: [[S1:// CHECK-NEXT: [[S2:// CHECK-NEXT: [[T0:// CHECK-NEXT: [[T1:// CHECK-NEXT: [[T2:// CHECK-NEXT: [[T3:// CHECK-NEXT: store void ()* [[T3]], void ()** [[D2]], align 8
// CHECK-NEXT: ret void
// CHECK: define internal void @__Block_byref_object_dispose
// CHECK: [[T0:// CHECK-NEXT: [[T1:// CHECK-NEXT: [[T2:// CHECK-NEXT: [[T3:// CHECK-NEXT: [[T4:// CHECK-NEXT: call void @objc_release(i8* [[T4]])
// CHECK-NEXT: ret void
// Test that we correctly assign to __block variables when the
// assignment captures the variable.
void test10b(void) {
__block void (^block)(void);
block = ^{ block(); };
// CHECK: define void @test10b()
// CHECK: [[BYREF:
// Zero-initialize.
// CHECK: [[T0: // CHECK-NEXT: store void ()* null, void ()** [[T0]], align 8
// CHECK-NEXT: [[SLOT:
// The assignment.
// CHECK: [[T0: // CHECK-NEXT: [[T1: // CHECK-NEXT: [[T2: // CHECK-NEXT: [[T3: // CHECK-NEXT: [[T4: // CHECK-NEXT: [[T5: // CHECK-NEXT: [[T6: // CHECK-NEXT: store void ()* {{ // CHECK-NEXT: [[T7: // CHECK-NEXT: call void @objc_release(i8* [[T7]])
// Destroy at end of function.
// CHECK-NEXT: [[T0: // CHECK-NEXT: call void @_Block_object_dispose(i8* [[T0]], i32 8)
// CHECK-NEXT: [[T1: // CHECK-NEXT: [[T2: // CHECK-NEXT: call void @objc_release(i8* [[T2]])
// CHECK-NEXT: ret void
}
// rdar://problem/10088932
void test11_helper(id);
void test11a(void) {
int x;
test11_helper(^{ (void) x; });
// CHECK: define void @test11a()
// CHECK: [[X: // CHECK-NEXT: [[BLOCK: // CHECK: [[T0: // CHECK-NEXT: [[T1: // CHECK-NEXT: [[T2: // CHECK-NEXT: [[T3: // CHECK-NEXT: [[T4: // CHECK-NEXT: call void @test11_helper(i8* [[T4]])
// CHECK-NEXT: [[T5: // CHECK-NEXT: call void @objc_release(i8* [[T5]])
// CHECK-NEXT: ret void
}
void test11b(void) {
int x;
id b = ^{ (void) x; };
// CHECK: define void @test11b()
// CHECK: [[X: // CHECK-NEXT: [[B: // CHECK-NEXT: [[BLOCK: // CHECK: [[T0: // CHECK-NEXT: [[T1: // CHECK-NEXT: [[T2: // CHECK-NEXT: [[T3: // CHECK-NEXT: [[T4: // CHECK-NEXT: store i8* [[T4]], i8** [[B]], align 8
// CHECK-NEXT: [[T5: // CHECK-NEXT: call void @objc_release(i8* [[T5]])
// CHECK-NEXT: ret void
}
// rdar://problem/9979150
@interface Test12
@property (strong) void(^ablock)(void);
@property (nonatomic, strong) void(^nblock)(void);
@end
@implementation Test12
@synthesize ablock, nblock;
// CHECK: define internal void ()* @"\01-[Test12 ablock]"(
// CHECK: call i8* @objc_getProperty(i8* {{
// CHECK: define internal void @"\01-[Test12 setAblock:]"(
// CHECK: call void @objc_setProperty(i8* {{
// CHECK: define internal void ()* @"\01-[Test12 nblock]"(
// CHECK: call i8* @objc_getProperty(i8* {{
// CHECK: define internal void @"\01-[Test12 setNblock:]"(
// CHECK: call void @objc_setProperty(i8* {{@end
// rdar://problem/10131784
void test13(id x) {
extern void test13_helper(id);
extern void test13_use(void(^)(void));
void (^b)(void) = (x ? ^{test13_helper(x);} : 0);
test13_use(b);
// CHECK: define void @test13(
// CHECK: [[X: // CHECK-NEXT: [[B: // CHECK-NEXT: [[BLOCK: // CHECK-NEXT: [[CLEANUP_ACTIVE: // CHECK-NEXT: [[T0: // CHECK-NEXT: store i8* [[T0]], i8** [[X]], align 8
// CHECK-NEXT: [[CLEANUP_ADDR: // CHECK-NEXT: [[T0: // CHECK-NEXT: [[T1: // CHECK-NEXT: store i1 false, i1* [[CLEANUP_ACTIVE]]
// CHECK-NEXT: br i1 [[T1]],
// CHECK-NOT: br
// CHECK: [[CAPTURE: // CHECK-NEXT: [[T0: // CHECK-NEXT: [[T1: // CHECK-NEXT: store i8* [[T1]], i8** [[CAPTURE]], align 8
// CHECK-NEXT: store i1 true, i1* [[CLEANUP_ACTIVE]]
// CHECK-NEXT: bitcast [[BLOCK_T]]* [[BLOCK]] to void ()*
// CHECK-NEXT: br label
// CHECK: br label
// CHECK: [[T0: // CHECK-NEXT: [[T1: // CHECK-NEXT: [[T2: // CHECK-NEXT: [[T3: // CHECK-NEXT: store void ()* [[T3]], void ()** [[B]], align 8
// CHECK-NEXT: [[T0: // CHECK-NEXT: call void @test13_use(void ()* [[T0]])
// CHECK-NEXT: [[T0: // CHECK-NEXT: [[T1: // CHECK-NEXT: call void @objc_release(i8* [[T1]])
// CHECK-NEXT: [[T0: // CHECK-NEXT: br i1 [[T0]]
// CHECK: [[T0: // CHECK-NEXT: call void @objc_release(i8* [[T0]])
// CHECK-NEXT: br label
// CHECK: [[T0: // CHECK-NEXT: call void @objc_release(i8* [[T0]])
// CHECK-NEXT: ret void
}
// <rdar://problem/10907510>
void test14() {
void (^const x[1])(void) = { ^{} };
}
// rdar://11149025
// Don't make invalid ASTs and crash.
void test15_helper(void (^block)(void), int x);
void test15(int a) {
test15_helper(^{ (void) a; }, ({ a; }));
}
// rdar://11016025
void test16() {
void (^BLKVAR)(void) = ^{ BLKVAR(); };
// CHECK: define void @test16(
// CHECK: [[BLKVAR: // CHECK-NEXT: [[BLOCK: // CHECK-NEXT: [[SLOTREL: // CHECK-NEXT: store void ()* null, void ()** [[BLKVAR]], align 8
}
// rdar://12151005
//
// This is an intentional exception to our conservative jump-scope
// checking for full-expressions containing block literals with
// non-trivial cleanups: if the block literal appears in the operand
// of a return statement, there's no need to extend its lifetime.
id (^test17(id self, int which))(void) {
switch (which) {
case 1: return ^{ return self; };
case 0: return ^{ return self; };
}
return (void*) 0;
}
// CHECK: define i8* ()* @test17(
// CHECK: [[RET:// CHECK-NEXT: [[SELF:// CHECK: [[B0:// CHECK: [[B1:// CHECK: [[T0:// CHECK-NEXT: store i8* [[T0]], i8** [[SELF]], align
// CHECK-NOT: objc_retain
// CHECK-NOT: objc_release
// CHECK: [[DESTROY:// CHECK-NOT: objc_retain
// CHECK-NOT: objc_release
// CHECK: [[T0:// CHECK-NEXT: [[T1:// CHECK-NEXT: [[T2:// CHECK-NEXT: store i8* [[T2]], i8** [[T0]],
// CHECK-NEXT: [[T0:// CHECK-NEXT: [[T1:// CHECK-NEXT: [[T2:// CHECK-NEXT: [[T3:// CHECK-NEXT: store i8* ()* [[T3]], i8* ()** [[RET]]
// CHECK-NEXT: [[T0:// CHECK-NEXT: call void @objc_release(i8* [[T0]])
// CHECK-NEXT: store i32
// CHECK-NEXT: br label
// CHECK-NOT: objc_retain
// CHECK-NOT: objc_release
// CHECK: [[DESTROY:// CHECK-NOT: objc_retain
// CHECK-NOT: objc_release
// CHECK: [[T0:// CHECK-NEXT: [[T1:// CHECK-NEXT: [[T2:// CHECK-NEXT: store i8* [[T2]], i8** [[T0]],
// CHECK-NEXT: [[T0:// CHECK-NEXT: [[T1:// CHECK-NEXT: [[T2:// CHECK-NEXT: [[T3:// CHECK-NEXT: store i8* ()* [[T3]], i8* ()** [[RET]]
// CHECK-NEXT: [[T0:// CHECK-NEXT: call void @objc_release(i8* [[T0]])
// CHECK-NEXT: store i32
// CHECK-NEXT: br label
void test18(id x) {
// CHECK-UNOPT: define void @test18(
// CHECK-UNOPT: [[X:// CHECK-UNOPT-NEXT: [[BLOCK:// CHECK-UNOPT-NEXT: [[PARM:// CHECK-UNOPT-NEXT: store i8* [[PARM]], i8** [[X]]
// CHECK-UNOPT-NEXT: [[SLOTREL:// CHECK-UNOPT: [[SLOT:// CHECK-UNOPT-NEXT: [[T0:// CHECK-UNOPT-NEXT: [[T1:// CHECK-UNOPT-NEXT: store i8* [[T1]], i8** [[SLOT]],
// CHECK-UNOPT-NEXT: bitcast
// CHECK-UNOPT-NEXT: call void @test18_helper(
// CHECK-UNOPT-NEXT: call void @objc_storeStrong(i8** [[SLOTREL]], i8* null) nounwind
// CHECK-UNOPT-NEXT: call void @objc_storeStrong(i8** [[X]], i8* null) nounwind
// CHECK-UNOPT-NEXT: ret void
extern void test18_helper(id (^)(void));
test18_helper(^{ return x; });
// CHECK-UNOPT: define internal void @__copy_helper_block_
// CHECK-UNOPT: [[T0:// CHECK-UNOPT-NEXT: [[SRC:// CHECK-UNOPT-NEXT: [[T0:// CHECK-UNOPT-NEXT: [[DST:// CHECK-UNOPT-NEXT: [[T0:// CHECK-UNOPT-NEXT: [[T1:// CHECK-UNOPT-NEXT: [[T2:// CHECK-UNOPT-NEXT: store i8* null, i8** [[T1]]
// CHECK-UNOPT-NEXT: call void @objc_storeStrong(i8** [[T1]], i8* [[T2]]) nounwind
// CHECK-UNOPT-NEXT: ret void
// CHECK-UNOPT: define internal void @__destroy_helper_block_
// CHECK-UNOPT: [[T0:// CHECK-UNOPT-NEXT: [[T1:// CHECK-UNOPT-NEXT: [[T2:// CHECK-UNOPT-NEXT: call void @objc_storeStrong(i8** [[T2]], i8* null)
// CHECK-UNOPT-NEXT: ret void
}