test/Transforms/ObjCARC/intrinsic-use.ll

   1 ; RUN: opt -basicaa -objc-arc -S < %s | FileCheck %s
   2
   3 target datalayout = "e-p:64:64:64"
   4
   5 declare i8* @objc_retain(i8*)
   6 declare i8* @objc_retainAutorelease(i8*)
   7 declare void @objc_release(i8*)
   8 declare i8* @objc_autorelease(i8*)
   9
  10 declare void @clang.arc.use(...)
  11
  12 declare void @test0_helper(i8*, i8**)
  13
  14 ; Ensure that we honor clang.arc.use as a use and don't miscompile
  15 ; the reduced test case from <rdar://13195034>.
  16 ;
  17 ; FIXME: the fact that we re-order retains w.r.t. @clang.arc.use could
  18 ; be problematic if we get run twice, e.g. under LTO.
  19 ;
  20 ; CHECK:      define void @test0(
  21 ; CHECK:        @objc_retain(i8* %x)
  22 ; CHECK-NEXT:   store i8* %y, i8** %temp0
  23 ; CHECK-NEXT:   @objc_retain(i8* %y)
  24 ; CHECK-NEXT:   call void @test0_helper
  25 ; CHECK-NEXT:   [[VAL1:%.*]] = load i8** %temp0
  26 ; CHECK-NEXT:   call void (...)* @clang.arc.use(i8* %y)
  27 ; CHECK-NEXT:   @objc_retain(i8* [[VAL1]])
  28 ; CHECK-NEXT:   @objc_release(i8* %y)
  29 ; CHECK-NEXT:   store i8* [[VAL1]], i8** %temp1
  30 ; CHECK-NEXT:   call void @test0_helper
  31 ; CHECK-NEXT:   [[VAL2:%.*]] = load i8** %temp1
  32 ; CHECK-NEXT:   call void (...)* @clang.arc.use(i8* [[VAL1]])
  33 ; CHECK-NEXT:   @objc_retain(i8* [[VAL2]])
  34 ; CHECK-NEXT:   @objc_release(i8* [[VAL1]])
  35 ; CHECK-NEXT:   @objc_autorelease(i8* %x)
  36 ; CHECK-NEXT:   store i8* %x, i8** %out
  37 ; CHECK-NEXT:   @objc_retain(i8* %x)
  38 ; CHECK-NEXT:   @objc_release(i8* [[VAL2]])
  39 ; CHECK-NEXT:   @objc_release(i8* %x)
  40 ; CHECK-NEXT:   ret void
  41 define void @test0(i8** %out, i8* %x, i8* %y) {
  42 entry:
  43   %temp0 = alloca i8*, align 8
  44   %temp1 = alloca i8*, align 8
  45   %0 = call i8* @objc_retain(i8* %x) nounwind
  46   %1 = call i8* @objc_retain(i8* %y) nounwind
  47   store i8* %y, i8** %temp0
  48   call void @test0_helper(i8* %x, i8** %temp0)
  49   %val1 = load i8** %temp0
  50   %2 = call i8* @objc_retain(i8* %val1) nounwind
  51   call void (...)* @clang.arc.use(i8* %y) nounwind
  52   call void @objc_release(i8* %y) nounwind
  53   store i8* %val1, i8** %temp1
  54   call void @test0_helper(i8* %x, i8** %temp1)
  55   %val2 = load i8** %temp1
  56   %3 = call i8* @objc_retain(i8* %val2) nounwind
  57   call void (...)* @clang.arc.use(i8* %val1) nounwind
  58   call void @objc_release(i8* %val1) nounwind
  59   %4 = call i8* @objc_retain(i8* %x) nounwind
  60   %5 = call i8* @objc_autorelease(i8* %x) nounwind
  61   store i8* %x, i8** %out
  62   call void @objc_release(i8* %val2) nounwind
  63   call void @objc_release(i8* %x) nounwind
  64   ret void
  65 }
  66
  67 ; CHECK:      define void @test0a(
  68 ; CHECK:        @objc_retain(i8* %x)
  69 ; CHECK-NEXT:   store i8* %y, i8** %temp0
  70 ; CHECK-NEXT:   @objc_retain(i8* %y)
  71 ; CHECK-NEXT:   call void @test0_helper
  72 ; CHECK-NEXT:   [[VAL1:%.*]] = load i8** %temp0
  73 ; CHECK-NEXT:   call void (...)* @clang.arc.use(i8* %y)
  74 ; CHECK-NEXT:   @objc_retain(i8* [[VAL1]])
  75 ; CHECK-NEXT:   @objc_release(i8* %y)
  76 ; CHECK-NEXT:   store i8* [[VAL1]], i8** %temp1
  77 ; CHECK-NEXT:   call void @test0_helper
  78 ; CHECK-NEXT:   [[VAL2:%.*]] = load i8** %temp1
  79 ; CHECK-NEXT:   call void (...)* @clang.arc.use(i8* [[VAL1]])
  80 ; CHECK-NEXT:   @objc_retain(i8* [[VAL2]])
  81 ; CHECK-NEXT:   @objc_release(i8* [[VAL1]])
  82 ; CHECK-NEXT:   @objc_autorelease(i8* %x)
  83 ; CHECK-NEXT:   @objc_release(i8* [[VAL2]])
  84 ; CHECK-NEXT:   store i8* %x, i8** %out
  85 ; CHECK-NEXT:   ret void
  86 define void @test0a(i8** %out, i8* %x, i8* %y) {
  87 entry:
  88   %temp0 = alloca i8*, align 8
  89   %temp1 = alloca i8*, align 8
  90   %0 = call i8* @objc_retain(i8* %x) nounwind
  91   %1 = call i8* @objc_retain(i8* %y) nounwind
  92   store i8* %y, i8** %temp0
  93   call void @test0_helper(i8* %x, i8** %temp0)
  94   %val1 = load i8** %temp0
  95   %2 = call i8* @objc_retain(i8* %val1) nounwind
  96   call void (...)* @clang.arc.use(i8* %y) nounwind
  97   call void @objc_release(i8* %y) nounwind, !clang.imprecise_release !0
  98   store i8* %val1, i8** %temp1
  99   call void @test0_helper(i8* %x, i8** %temp1)
 100   %val2 = load i8** %temp1
 101   %3 = call i8* @objc_retain(i8* %val2) nounwind
 102   call void (...)* @clang.arc.use(i8* %val1) nounwind
 103   call void @objc_release(i8* %val1) nounwind, !clang.imprecise_release !0
 104   %4 = call i8* @objc_retain(i8* %x) nounwind
 105   %5 = call i8* @objc_autorelease(i8* %x) nounwind
 106   store i8* %x, i8** %out
 107   call void @objc_release(i8* %val2) nounwind, !clang.imprecise_release !0
 108   call void @objc_release(i8* %x) nounwind, !clang.imprecise_release !0
 109   ret void
 110 }
 111
 112
 113 !0 = metadata !{}
 114