125 lines · c
1// RUN: %clang_cc1 -triple i386-unknown-unknown %s -emit-llvm -Wno-strict-prototypes -o - -fblocks | FileCheck --check-prefix=CHECK --check-prefix=SIG_STR %s2// RUN: %clang_cc1 -triple i386-unknown-unknown %s -emit-llvm -Wno-strict-prototypes -o - -fblocks -fdisable-block-signature-string | FileCheck --check-prefix=CHECK --check-prefix=NO_SIG_STR %s3// RUN: %clang_cc1 -triple s390x-unknown-unknown %s -emit-llvm -Wno-strict-prototypes -o - -fblocks | FileCheck --check-prefix=SYSTEMZ %s4 5// SIG_STR: @[[STR:.*]] = private unnamed_addr constant [6 x i8] c"v4@?0\00", align 16// SIG_STR: @{{.*}} = internal constant { ptr, i32, i32, ptr, ptr } { ptr @_NSConcreteGlobalBlock, i32 1342177280, i32 0, ptr @f_block_invoke, ptr @{{.*}} }, align 47// NO_SIG_STR: @{{.*}} = internal constant { ptr, i32, i32, ptr, ptr } { ptr @_NSConcreteGlobalBlock, i32 268435456, i32 0, ptr @f_block_invoke, ptr @{{.*}} }, align 48 9// SIG_STR: @{{.*}} = internal constant { i32, i32, ptr, ptr, ptr, ptr } { i32 0, i32 24, ptr @__copy_helper_block_4_20r, ptr @__destroy_helper_block_4_20r, ptr @[[STR]], ptr null }, align 410// SIG_STR: @[[BLOCK_DESCRIPTOR_TMP21:.*]] = internal constant { i32, i32, ptr, ptr, ptr, ptr } { i32 0, i32 24, ptr @__copy_helper_block_4_20r, ptr @__destroy_helper_block_4_20r, ptr @[[STR]], ptr null }, align 411// NO_SIG_STR: @{{.*}} = internal constant { i32, i32, ptr, ptr, ptr, ptr } { i32 0, i32 24, ptr @__copy_helper_block_4_20r, ptr @__destroy_helper_block_4_20r, ptr null, ptr null }, align 412// NO_SIG_STR: @[[BLOCK_DESCRIPTOR_TMP21:.*]] = internal constant { i32, i32, ptr, ptr, ptr, ptr } { i32 0, i32 24, ptr @__copy_helper_block_4_20r, ptr @__destroy_helper_block_4_20r, ptr null, ptr null }, align 413 14void (^f)(void) = ^{};15 16int f0(int (^a0)()) {17 return a0(1, 2, 3);18}19 20// Verify that attributes on blocks are set correctly.21typedef struct s0 T;22struct s0 {23 int a[64];24};25 26// CHECK: define internal void @__f2_block_invoke(ptr dead_on_unwind noalias writable sret(%struct.s0) align 4 {{%.*}}, ptr noundef {{%.*}}, ptr noundef byval(%struct.s0) align 4 {{.*}})27struct s0 f2(struct s0 a0) {28 return ^(struct s0 a1){ return a1; }(a0);29}30 31// This should not crash.32void *P = ^{33 void *Q = __func__;34};35 36void (^test1)(void) = ^(void) {37 __block int i;38 ^ { i = 1; }();39};40 41// CHECK-LABEL: define linkonce_odr hidden void @__copy_helper_block_4_20r(ptr noundef %0, ptr noundef %1) unnamed_addr42// CHECK: %[[_ADDR:.*]] = alloca ptr, align 443// CHECK-NEXT: %[[_ADDR1:.*]] = alloca ptr, align 444// CHECK-NEXT: store ptr %0, ptr %[[_ADDR]], align 445// CHECK-NEXT: store ptr %1, ptr %[[_ADDR1]], align 446// CHECK-NEXT: %[[V2:.*]] = load ptr, ptr %[[_ADDR1]], align 447// CHECK-NEXT: %[[V3:.*]] = load ptr, ptr %[[_ADDR]], align 448// CHECK-NEXT: %[[V4:.*]] = getelementptr inbounds nuw <{ ptr, i32, i32, ptr, ptr, ptr }>, ptr %[[V2]], i32 0, i32 549// CHECK-NEXT: %[[V5:.*]] = getelementptr inbounds nuw <{ ptr, i32, i32, ptr, ptr, ptr }>, ptr %[[V3]], i32 0, i32 550// CHECK-NEXT: %[[BLOCKCOPY_SRC:.*]] = load ptr, ptr %[[V4]], align 451// CHECK-NEXT: call void @_Block_object_assign(ptr %[[V5]], ptr %[[BLOCKCOPY_SRC]], i32 8)52// CHECK-NEXT: ret void53 54// SYSTEMZ: declare void @_Block_object_assign(ptr noundef, ptr noundef, i32 noundef signext)55 56// CHECK-LABEL: define linkonce_odr hidden void @__destroy_helper_block_4_20r(ptr noundef %0) unnamed_addr57// CHECK: %[[_ADDR:.*]] = alloca ptr, align 458// CHECK-NEXT: store ptr %0, ptr %[[_ADDR]], align 459// CHECK-NEXT: %[[V1:.*]] = load ptr, ptr %[[_ADDR]], align 460// CHECK-NEXT: %[[V2:.*]] = getelementptr inbounds nuw <{ ptr, i32, i32, ptr, ptr, ptr }>, ptr %[[V1]], i32 0, i32 561// CHECK-NEXT: %[[V3:.*]] = load ptr, ptr %[[V2]], align 462// CHECK-NEXT: call void @_Block_object_dispose(ptr %[[V3]], i32 8)63// CHECK-NEXT: ret void64 65// SYSTEMZ: declare void @_Block_object_dispose(ptr noundef, i32 noundef signext)66 67typedef double ftype(double);68// It's not clear that we *should* support this syntax, but until that decision69// is made, we should support it properly and not crash.70ftype ^test2 = ^ftype {71 return 0;72};73 74void f3_helper(void (^)(void));75void f3(void) {76 _Bool b = 0;77 f3_helper(^{ if (b) {} });78}79 80// The bool can fill in between the header and the long long.81// Add the appropriate amount of padding between them.82void f4_helper(long long (^)(void));83// CHECK-LABEL: define{{.*}} void @f4()84void f4(void) {85 _Bool b = 0;86 long long ll = 0;87 // CHECK: alloca <{ ptr, i32, i32, ptr, ptr, i8, [3 x i8], i64 }>, align 888 f4_helper(^{ if (b) return ll; return 0LL; });89}90 91// The alignment after rounding up to the align of F5 is actually92// greater than the required alignment. Don't assert.93struct F5 {94 char buffer[32] __attribute((aligned));95};96void f5_helper(void (^)(struct F5 *));97// CHECK-LABEL: define{{.*}} void @f5()98void f5(void) {99 struct F5 value;100 // CHECK: alloca <{ ptr, i32, i32, ptr, ptr, [12 x i8], [[F5:%.*]] }>, align 16101 f5_helper(^(struct F5 *slot) { *slot = value; });102}103 104void (^b)() = ^{};105int main(void) {106 (b?: ^{})();107}108// CHECK: [[ZERO:%.*]] = load ptr, ptr @b109// CHECK-NEXT: [[TB:%.*]] = icmp ne ptr [[ZERO]], null110// CHECK-NEXT: br i1 [[TB]], label [[CT:%.*]], label [[CF:%.*]]111// CHECK: br label [[CE:%.*]]112 113// Ensure that we don't emit helper code in copy/dispose routines for variables114// that are const-captured.115void testConstCaptureInCopyAndDestroyHelpers(void) {116 const int x = 0;117 __block int i;118 (^ { i = x; })();119}120// CHECK-LABEL: define{{.*}} void @testConstCaptureInCopyAndDestroyHelpers(121// CHECK: %[[BLOCK_DESCRIPTOR:.*]] = getelementptr inbounds nuw <{ ptr, i32, i32, ptr, ptr, ptr }>, ptr %{{.*}}, i32 0, i32 4122// CHECK: store ptr @[[BLOCK_DESCRIPTOR_TMP21]], ptr %[[BLOCK_DESCRIPTOR]], align 4123 124// CHECK-LABEL: define internal void @__testConstCaptureInCopyAndDestroyHelpers_block_invoke125