1 // RUN: %clang_cc1 -triple i386-unknown-unknown %s -emit-llvm -o - -fblocks | FileCheck %s 2 void (^f)(void) = ^{}; 3 4 // rdar://6768379 5 int f0(int (^a0)()) { 6 return a0(1, 2, 3); 7 } 8 9 // Verify that attributes on blocks are set correctly. 10 typedef struct s0 T; 11 struct s0 { 12 int a[64]; 13 }; 14 15 // CHECK: define internal void @__f2_block_invoke(%struct.s0* noalias sret {{%.*}}, i8* {{%.*}}, %struct.s0* byval align 4 {{.*}}) 16 struct s0 f2(struct s0 a0) { 17 return ^(struct s0 a1){ return a1; }(a0); 18 } 19 20 // This should not crash: rdar://6808051 21 void *P = ^{ 22 void *Q = __func__; 23 }; 24 25 void (^test1)(void) = ^(void) { 26 __block int i; 27 ^ { i = 1; }(); 28 }; 29 30 typedef double ftype(double); 31 // It's not clear that we *should* support this syntax, but until that decision 32 // is made, we should support it properly and not crash. 33 ftype ^test2 = ^ftype { 34 return 0; 35 }; 36 37 // rdar://problem/8605032 38 void f3_helper(void (^)(void)); 39 void f3() { 40 _Bool b = 0; 41 f3_helper(^{ if (b) {} }); 42 } 43 44 // rdar://problem/11322251 45 // The bool can fill in between the header and the long long. 46 // Add the appropriate amount of padding between them. 47 void f4_helper(long long (^)(void)); 48 // CHECK-LABEL: define void @f4() 49 void f4(void) { 50 _Bool b = 0; 51 long long ll = 0; 52 // CHECK: alloca <{ i8*, i32, i32, i8*, {{%.*}}*, i8, [3 x i8], i64 }>, align 8 53 f4_helper(^{ if (b) return ll; return 0LL; }); 54 } 55 56 // rdar://problem/11354538 57 // The alignment after rounding up to the align of F5 is actually 58 // greater than the required alignment. Don't assert. 59 struct F5 { 60 char buffer[32] __attribute((aligned)); 61 }; 62 void f5_helper(void (^)(struct F5 *)); 63 // CHECK-LABEL: define void @f5() 64 void f5(void) { 65 struct F5 value; 66 // CHECK: alloca <{ i8*, i32, i32, i8*, {{%.*}}*, [12 x i8], [[F5:%.*]] }>, align 16 67 f5_helper(^(struct F5 *slot) { *slot = value; }); 68 } 69 70 // rdar://14085217 71 void (^b)() = ^{}; 72 int main() { 73 (b?: ^{})(); 74 } 75 // CHECK: [[ZERO:%.*]] = load void (...)*, void (...)** @b 76 // CHECK-NEXT: [[TB:%.*]] = icmp ne void (...)* [[ZERO]], null 77 // CHECK-NEXT: br i1 [[TB]], label [[CT:%.*]], label [[CF:%.*]] 78 // CHECK: [[ONE:%.*]] = bitcast void (...)* [[ZERO]] to void ()* 79 // CHECK-NEXT: br label [[CE:%.*]] 80 81
