clang/test/CodeGenObjC/arc-block-copy-escape.m

   1 // RUN: %clang_cc1 -no-opaque-pointers -fobjc-arc -fblocks -emit-llvm %s -o - | FileCheck -check-prefix=CHECK -check-prefix=CHECK-HEAP %s
   2 // RUN: %clang_cc1 -no-opaque-pointers -fobjc-arc -fblocks -fobjc-avoid-heapify-local-blocks -emit-llvm %s -o - | FileCheck -check-prefix=CHECK -check-prefix=CHECK-NOHEAP %s
   3
   4
   5 typedef void (^block_t)(void);
   6 void use_block(block_t);
   7 void use_int(int);
   8
   9 // rdar://problem/10211676
  10
  11 void test0(int i) {
  12   block_t block = ^{ use_int(i); };
  13   // CHECK-LABEL:      define {{.*}}void @test0(
  14   // CHECK-HEAP:       call {{.*}}i8* @llvm.objc.retainBlock(i8* {{%.*}}) [[NUW:#[0-9]+]], !clang.arc.copy_on_escape
  15   // CHECK-NOHEAP-NOT: @llvm.objc.retainBlock(
  16   // CHECK:            ret void
  17 }
  18
  19 void test1(int i) {
  20   id block = ^{ use_int(i); };
  21   // CHECK-LABEL:   define {{.*}}void @test1(
  22   // CHECK-HEAP:    call {{.*}}i8* @llvm.objc.retainBlock(i8* {{%.*}}) [[NUW]]
  23   // CHECK-NOHEAP:  call {{.*}}i8* @llvm.objc.retainBlock(i8*  {{%.*}}) [[NUW:#[0-9]+]]
  24   // CHECK-NOT:     !clang.arc.copy_on_escape
  25   // CHECK:         ret void
  26 }
  27
  28 // CHECK: attributes [[NUW]] = { nounwind }