test/Transforms/ObjCARC/retain-block.ll

   1 ; RUN: opt -objc-arc -S < %s | FileCheck %s
   2
   3 target datalayout = "e-p:64:64:64"
   4
   5 !0 = metadata !{}
   6
   7 declare i8* @objc_retain(i8*)
   8 declare void @callee(i8)
   9 declare void @use_pointer(i8*)
  10 declare void @objc_release(i8*)
  11 declare i8* @objc_retainBlock(i8*)
  12 declare i8* @objc_autorelease(i8*)
  13
  14 ; Basic retainBlock+release elimination.
  15
  16 ; CHECK: define void @test0(i8* %tmp) {
  17 ; CHECK-NOT: @objc
  18 ; CHECK: }
  19 define void @test0(i8* %tmp) {
  20 entry:
  21   %tmp2 = tail call i8* @objc_retainBlock(i8* %tmp) nounwind, !clang.arc.copy_on_escape !0
  22   tail call void @use_pointer(i8* %tmp2)
  23   tail call void @objc_release(i8* %tmp2) nounwind, !clang.imprecise_release !0
  24   ret void
  25 }
  26
  27 ; Same as test0, but there's no copy_on_escape metadata, so there's no
  28 ; optimization possible.
  29
  30 ; CHECK: define void @test0_no_metadata(i8* %tmp) {
  31 ; CHECK: %tmp2 = tail call i8* @objc_retainBlock(i8* %tmp) [[NUW:#[0-9]+]]
  32 ; CHECK: tail call void @objc_release(i8* %tmp2) [[NUW]], !clang.imprecise_release !0
  33 ; CHECK: }
  34 define void @test0_no_metadata(i8* %tmp) {
  35 entry:
  36   %tmp2 = tail call i8* @objc_retainBlock(i8* %tmp) nounwind
  37   tail call void @use_pointer(i8* %tmp2)
  38   tail call void @objc_release(i8* %tmp2) nounwind, !clang.imprecise_release !0
  39   ret void
  40 }
  41
  42 ; Same as test0, but the pointer escapes, so there's no
  43 ; optimization possible.
  44
  45 ; CHECK: define void @test0_escape(i8* %tmp, i8** %z) {
  46 ; CHECK: %tmp2 = tail call i8* @objc_retainBlock(i8* %tmp) [[NUW]], !clang.arc.copy_on_escape !0
  47 ; CHECK: tail call void @objc_release(i8* %tmp2) [[NUW]], !clang.imprecise_release !0
  48 ; CHECK: }
  49 define void @test0_escape(i8* %tmp, i8** %z) {
  50 entry:
  51   %tmp2 = tail call i8* @objc_retainBlock(i8* %tmp) nounwind, !clang.arc.copy_on_escape !0
  52   store i8* %tmp2, i8** %z
  53   tail call void @use_pointer(i8* %tmp2)
  54   tail call void @objc_release(i8* %tmp2) nounwind, !clang.imprecise_release !0
  55   ret void
  56 }
  57
  58 ; Same as test0_escape, but there's no intervening call.
  59
  60 ; CHECK: define void @test0_just_escape(i8* %tmp, i8** %z) {
  61 ; CHECK: %tmp2 = tail call i8* @objc_retainBlock(i8* %tmp) [[NUW]], !clang.arc.copy_on_escape !0
  62 ; CHECK: tail call void @objc_release(i8* %tmp2) [[NUW]], !clang.imprecise_release !0
  63 ; CHECK: }
  64 define void @test0_just_escape(i8* %tmp, i8** %z) {
  65 entry:
  66   %tmp2 = tail call i8* @objc_retainBlock(i8* %tmp) nounwind, !clang.arc.copy_on_escape !0
  67   store i8* %tmp2, i8** %z
  68   tail call void @objc_release(i8* %tmp2) nounwind, !clang.imprecise_release !0
  69   ret void
  70 }
  71
  72 ; Basic nested retainBlock+release elimination.
  73
  74 ; CHECK: define void @test1(i8* %tmp) {
  75 ; CHECK-NOT: @objc
  76 ; CHECK: tail call i8* @objc_retain(i8* %tmp) [[NUW]]
  77 ; CHECK-NOT: @objc
  78 ; CHECK: tail call void @objc_release(i8* %tmp) [[NUW]], !clang.imprecise_release !0
  79 ; CHECK-NOT: @objc
  80 ; CHECK: }
  81 define void @test1(i8* %tmp) {
  82 entry:
  83   %tmp1 = tail call i8* @objc_retain(i8* %tmp) nounwind
  84   %tmp2 = tail call i8* @objc_retainBlock(i8* %tmp) nounwind, !clang.arc.copy_on_escape !0
  85   tail call void @use_pointer(i8* %tmp2)
  86   tail call void @use_pointer(i8* %tmp2)
  87   tail call void @objc_release(i8* %tmp2) nounwind, !clang.imprecise_release !0
  88   tail call void @objc_release(i8* %tmp) nounwind, !clang.imprecise_release !0
  89   ret void
  90 }
  91
  92 ; Same as test1, but there's no copy_on_escape metadata, so there's no
  93 ; retainBlock+release optimization possible. But we can still eliminate
  94 ; the outer retain+release.
  95
  96 ; CHECK: define void @test1_no_metadata(i8* %tmp) {
  97 ; CHECK-NEXT: entry:
  98 ; CHECK-NEXT: tail call i8* @objc_retainBlock(i8* %tmp) [[NUW]]
  99 ; CHECK-NEXT: @use_pointer(i8* %tmp2)
 100 ; CHECK-NEXT: @use_pointer(i8* %tmp2)
 101 ; CHECK-NEXT: tail call void @objc_release(i8* %tmp2) [[NUW]], !clang.imprecise_release !0
 102 ; CHECK-NOT: @objc
 103 ; CHECK: }
 104 define void @test1_no_metadata(i8* %tmp) {
 105 entry:
 106   %tmp1 = tail call i8* @objc_retain(i8* %tmp) nounwind
 107   %tmp2 = tail call i8* @objc_retainBlock(i8* %tmp) nounwind
 108   tail call void @use_pointer(i8* %tmp2)
 109   tail call void @use_pointer(i8* %tmp2)
 110   tail call void @objc_release(i8* %tmp2) nounwind, !clang.imprecise_release !0
 111   tail call void @objc_release(i8* %tmp) nounwind, !clang.imprecise_release !0
 112   ret void
 113 }
 114
 115 ; Same as test1, but the pointer escapes, so there's no
 116 ; retainBlock+release optimization possible. But we can still eliminate
 117 ; the outer retain+release
 118
 119 ; CHECK: define void @test1_escape(i8* %tmp, i8** %z) {
 120 ; CHECK-NEXT: entry:
 121 ; CHECK-NEXT: %tmp2 = tail call i8* @objc_retainBlock(i8* %tmp) [[NUW]], !clang.arc.copy_on_escape !0
 122 ; CHECK-NEXT: store i8* %tmp2, i8** %z
 123 ; CHECK-NEXT: @use_pointer(i8* %tmp2)
 124 ; CHECK-NEXT: @use_pointer(i8* %tmp2)
 125 ; CHECK-NEXT: tail call void @objc_release(i8* %tmp2) [[NUW]], !clang.imprecise_release !0
 126 ; CHECK-NOT: @objc
 127 ; CHECK: }
 128 define void @test1_escape(i8* %tmp, i8** %z) {
 129 entry:
 130   %tmp1 = tail call i8* @objc_retain(i8* %tmp) nounwind
 131   %tmp2 = tail call i8* @objc_retainBlock(i8* %tmp) nounwind, !clang.arc.copy_on_escape !0
 132   store i8* %tmp2, i8** %z
 133   tail call void @use_pointer(i8* %tmp2)
 134   tail call void @use_pointer(i8* %tmp2)
 135   tail call void @objc_release(i8* %tmp2) nounwind, !clang.imprecise_release !0
 136   tail call void @objc_release(i8* %tmp) nounwind, !clang.imprecise_release !0
 137   ret void
 138 }
 139
 140 ; CHECK: attributes [[NUW]] = { nounwind }