1 // RUN: %clang_cc1 -triple i386-apple-darwin9 -fobjc-runtime=macosx-fragile-10.5 -emit-llvm -fblocks -o - %s | FileCheck %s
3 // test1. All of this is somehow testing rdar://6676764
10 - (int)foo: (T* (^)(T*)) x;
21 // CHECK: define internal i32 @"__8-[A im0]_block_invoke"(
24 (void) ^{ return 1; }();
31 ^(void) { [self im0]; }();
37 ^{ ^{[super im0];}(); }();
41 // rdar://problem/9006315
42 // In-depth test for the initialization of a __weak __block variable.
43 @interface Test2 -(void) destroy; @end
44 void test2(Test2 *x) {
45 extern void test2_helper(void (^)(void));
46 // CHECK-LABEL: define void @test2(
47 // CHECK: [[X:%.*]] = alloca [[TEST2:%.*]]*,
48 // CHECK-NEXT: [[WEAKX:%.*]] = alloca [[WEAK_T:%.*]],
49 // CHECK-NEXT: [[BLOCK:%.*]] = alloca [[BLOCK_T:<{.*}>]],
50 // CHECK-NEXT: store [[TEST2]]*
52 // isa=1 for weak byrefs.
53 // CHECK-NEXT: [[T0:%.*]] = getelementptr inbounds [[WEAK_T]]* [[WEAKX]], i32 0, i32 0
54 // CHECK-NEXT: store i8* inttoptr (i32 1 to i8*), i8** [[T0]]
57 // CHECK-NEXT: [[T1:%.*]] = getelementptr inbounds [[WEAK_T]]* [[WEAKX]], i32 0, i32 1
58 // CHECK-NEXT: store [[WEAK_T]]* [[WEAKX]], [[WEAK_T]]** [[T1]]
60 // Flags. This is just BLOCK_HAS_COPY_DISPOSE BLOCK_BYREF_LAYOUT_UNRETAINED
61 // CHECK-NEXT: [[T2:%.*]] = getelementptr inbounds [[WEAK_T]]* [[WEAKX]], i32 0, i32 2
62 // CHECK-NEXT: store i32 1375731712, i32* [[T2]]
65 // CHECK-NEXT: [[T3:%.*]] = getelementptr inbounds [[WEAK_T]]* [[WEAKX]], i32 0, i32 3
66 // CHECK-NEXT: store i32 28, i32* [[T3]]
68 // Copy and dipose helpers.
69 // CHECK-NEXT: [[T4:%.*]] = getelementptr inbounds [[WEAK_T]]* [[WEAKX]], i32 0, i32 4
70 // CHECK-NEXT: store i8* bitcast (void (i8*, i8*)* @__Block_byref_object_copy_{{.*}} to i8*), i8** [[T4]]
71 // CHECK-NEXT: [[T5:%.*]] = getelementptr inbounds [[WEAK_T]]* [[WEAKX]], i32 0, i32 5
72 // CHECK-NEXT: store i8* bitcast (void (i8*)* @__Block_byref_object_dispose_{{.*}} to i8*), i8** [[T5]]
74 // Actually capture the value.
75 // CHECK-NEXT: [[T6:%.*]] = getelementptr inbounds [[WEAK_T]]* [[WEAKX]], i32 0, i32 6
76 // CHECK-NEXT: [[CAPTURE:%.*]] = load [[TEST2]]** [[X]]
77 // CHECK-NEXT: store [[TEST2]]* [[CAPTURE]], [[TEST2]]** [[T6]]
79 // Then we initialize the block, blah blah blah.
80 // CHECK: call void @test2_helper(
82 // Finally, kill the variable with BLOCK_FIELD_IS_BYREF. We're not
83 // supposed to pass BLOCK_FIELD_IS_WEAK here.
84 // CHECK: [[T0:%.*]] = bitcast [[WEAK_T]]* [[WEAKX]] to i8*
85 // CHECK: call void @_Block_object_dispose(i8* [[T0]], i32 8)
87 __weak __block Test2 *weakX = x;
88 test2_helper(^{ [weakX destroy]; });
91 // rdar://problem/9124263
92 // In the test above, check that the use in the invocation function
93 // doesn't require a read barrier.
94 // CHECK-LABEL: define internal void @__test2_block_invoke
95 // CHECK: [[BLOCK:%.*]] = bitcast i8* {{%.*}} to [[BLOCK_T]]*
97 // CHECK: [[T0:%.*]] = getelementptr inbounds [[BLOCK_T]]* [[BLOCK]], i32 0, i32 5
98 // CHECK-NEXT: [[T1:%.*]] = load i8** [[T0]]
99 // CHECK-NEXT: [[T2:%.*]] = bitcast i8* [[T1]] to [[WEAK_T]]{{.*}}*
100 // CHECK-NEXT: [[T3:%.*]] = getelementptr inbounds [[WEAK_T]]{{.*}}* [[T2]], i32 0, i32 1
101 // CHECK-NEXT: [[T4:%.*]] = load [[WEAK_T]]{{.*}}** [[T3]]
102 // CHECK-NEXT: [[WEAKX:%.*]] = getelementptr inbounds [[WEAK_T]]{{.*}}* [[T4]], i32 0, i32 6
103 // CHECK-NEXT: [[T0:%.*]] = load [[TEST2]]** [[WEAKX]], align 4
105 // rdar://problem/12722954
106 // Make sure that ... is appropriately positioned in a block call.
107 void test3(void (^block)(int, ...)) {
110 // CHECK-LABEL: define void @test3(
111 // CHECK: [[BLOCK:%.*]] = alloca void (i32, ...)*, align 4
112 // CHECK-NEXT: store void (i32, ...)*
113 // CHECK-NEXT: [[T0:%.*]] = load void (i32, ...)** [[BLOCK]], align 4
114 // CHECK-NEXT: [[T1:%.*]] = bitcast void (i32, ...)* [[T0]] to [[BLOCK_T:%.*]]*
115 // CHECK-NEXT: [[T2:%.*]] = getelementptr inbounds [[BLOCK_T]]* [[T1]], i32 0, i32 3
116 // CHECK-NEXT: [[T3:%.*]] = bitcast [[BLOCK_T]]* [[T1]] to i8*
117 // CHECK-NEXT: [[T4:%.*]] = load i8** [[T2]]
118 // CHECK-NEXT: [[T5:%.*]] = bitcast i8* [[T4]] to void (i8*, i32, ...)*
119 // CHECK-NEXT: call void (i8*, i32, ...)* [[T5]](i8* [[T3]], i32 0, i32 1, i32 2, i32 3)
120 // CHECK-NEXT: ret void
122 void test4(void (^block)()) {
125 // CHECK-LABEL: define void @test4(
126 // CHECK: [[BLOCK:%.*]] = alloca void (...)*, align 4
127 // CHECK-NEXT: store void (...)*
128 // CHECK-NEXT: [[T0:%.*]] = load void (...)** [[BLOCK]], align 4
129 // CHECK-NEXT: [[T1:%.*]] = bitcast void (...)* [[T0]] to [[BLOCK_T:%.*]]*
130 // CHECK-NEXT: [[T2:%.*]] = getelementptr inbounds [[BLOCK_T]]* [[T1]], i32 0, i32 3
131 // CHECK-NEXT: [[T3:%.*]] = bitcast [[BLOCK_T]]* [[T1]] to i8*
132 // CHECK-NEXT: [[T4:%.*]] = load i8** [[T2]]
133 // CHECK-NEXT: [[T5:%.*]] = bitcast i8* [[T4]] to void (i8*, i32, i32, i32, i32)*
134 // CHECK-NEXT: call void [[T5]](i8* [[T3]], i32 0, i32 1, i32 2, i32 3)
135 // CHECK-NEXT: ret void