55 lines · plain
1// RUN: %clang_cc1 -triple x86_64-apple-darwin -fblocks -fno-escaping-block-tail-calls -emit-llvm -o - %s | FileCheck %s2 3// CHECK-LABEL: define{{.*}} void @test(4// CHECK: store ptr @[[TEST_BLOCK_INVOKE0:.*invoke.*]], ptr5// CHECK: store ptr @[[TEST_BLOCK_INVOKE1:.*invoke.*]], ptr6// CHECK: store ptr @[[TEST_BLOCK_INVOKE2:.*invoke.*]], ptr7// CHECK: store ptr @[[TEST_BLOCK_INVOKE3:.*invoke.*]], ptr8// CHECK: store ptr @[[TEST_BLOCK_INVOKE4:.*invoke.*]], ptr9// CHECK: store ptr @[[TEST_BLOCK_INVOKE5:.*invoke.*]], ptr10// CHECK: store ptr @[[TEST_BLOCK_INVOKE6:.*invoke.*]], ptr11 12// CHECK: define internal void @[[TEST_BLOCK_INVOKE0]]({{.*}}) #[[DISABLEATTR:.*]] {13// CHECK: define internal void @[[TEST_BLOCK_INVOKE1]]({{.*}}) #[[ENABLEATTR:.*]] {14// CHECK: define internal void @[[TEST_BLOCK_INVOKE2]]({{.*}}) #[[DISABLEATTR]] {15// CHECK: define internal void @[[TEST_BLOCK_INVOKE3]]({{.*}}) #[[DISABLEATTR]] {16// CHECK: define internal void @[[TEST_BLOCK_INVOKE4]]({{.*}}) #[[ENABLEATTR]] {17// CHECK: define internal void @[[TEST_BLOCK_INVOKE5]]({{.*}}) #[[DISABLEATTR]] {18// CHECK: define internal void @[[TEST_BLOCK_INVOKE6]]({{.*}}) #[[ENABLEATTR]] {19 20// CHECK-NOT: attributes #[[ENABLEATTR]] = {{{.*}}"disable-tail-calls"="false"{{.*}}}21// CHECK: attributes #[[DISABLEATTR]] = {{{.*}}"disable-tail-calls"="true"{{.*}}}22 23typedef void (^BlockTy)(void);24typedef void (*NoEscapeFnTy)(__attribute__((noescape)) BlockTy);25 26void callee0(__attribute__((noescape)) BlockTy);27void callee1(BlockTy);28 29__attribute__((objc_root_class))30@interface C031-(void)m0:(__attribute__((noescape)) BlockTy)p;32-(void)m1:(BlockTy)p;33@end34 35@implementation C036-(void)m0:(__attribute__((noescape)) BlockTy)p {}37-(void)m1:(BlockTy)p {}38@end39 40NoEscapeFnTy noescapefunc;41 42void test(id a, C0 *c0) {43 BlockTy b0 = ^{ (void)a; }; // disable tail-call optimization.44 callee0(b0);45 callee0(^{ (void)a; }); // enable tail-call optimization.46 callee1(^{ (void)a; }); // disable tail-call optimization.47 48 BlockTy b1 = ^{ (void)a; }; // disable tail-call optimization.49 [c0 m0:b1];50 [c0 m0:^{ (void)a; }]; // enable tail-call optimization.51 [c0 m1:^{ (void)a; }]; // disable tail-call optimization.52 53 noescapefunc(^{ (void)a; }); // enable tail-call optimization.54}55