test/Transforms/ObjCARC/tail-call-invariant-enforcement.ll

   1 ; RUN: opt -objc-arc -S < %s | FileCheck %s
   2
   3 declare i8* @objc_release(i8* %x)
   4 declare i8* @objc_retain(i8* %x)
   5 declare i8* @objc_autorelease(i8* %x)
   6 declare i8* @objc_autoreleaseReturnValue(i8* %x)
   7 declare i8* @objc_retainAutoreleasedReturnValue(i8* %x)
   8
   9 ; Never tail call objc_autorelease.
  10 define i8* @test0(i8* %x) {
  11 entry:
  12   ; CHECK: %tmp0 = call i8* @objc_autorelease(i8* %x)
  13   %tmp0 = call i8* @objc_autorelease(i8* %x)
  14   ; CHECK: %tmp1 = call i8* @objc_autorelease(i8* %x)
  15   %tmp1 = tail call i8* @objc_autorelease(i8* %x)
  16
  17   ret i8* %x
  18 }
  19
  20 ; Always tail call autoreleaseReturnValue.
  21 define i8* @test1(i8* %x) {
  22 entry:
  23   ; CHECK: %tmp0 = tail call i8* @objc_autoreleaseReturnValue(i8* %x)
  24   %tmp0 = call i8* @objc_autoreleaseReturnValue(i8* %x)
  25   ; CHECK: %tmp1 = tail call i8* @objc_autoreleaseReturnValue(i8* %x)
  26   %tmp1 = tail call i8* @objc_autoreleaseReturnValue(i8* %x)
  27   ret i8* %x
  28 }
  29
  30 ; Always tail call objc_retain.
  31 define i8* @test2(i8* %x) {
  32 entry:
  33   ; CHECK: %tmp0 = tail call i8* @objc_retain(i8* %x)
  34   %tmp0 = call i8* @objc_retain(i8* %x)
  35   ; CHECK: %tmp1 = tail call i8* @objc_retain(i8* %x)
  36   %tmp1 = tail call i8* @objc_retain(i8* %x)
  37   ret i8* %x
  38 }
  39
  40 define i8* @tmp(i8* %x) {
  41   ret i8* %x
  42 }
  43
  44 ; Always tail call objc_retainAutoreleasedReturnValue.
  45 define i8* @test3(i8* %x) {
  46 entry:
  47   %y = call i8* @tmp(i8* %x)
  48   ; CHECK: %tmp0 = tail call i8* @objc_retainAutoreleasedReturnValue(i8* %y)
  49   %tmp0 = call i8* @objc_retainAutoreleasedReturnValue(i8* %y)
  50   %z = call i8* @tmp(i8* %x)
  51   ; CHECK: %tmp1 = tail call i8* @objc_retainAutoreleasedReturnValue(i8* %z)
  52   %tmp1 = tail call i8* @objc_retainAutoreleasedReturnValue(i8* %z)
  53   ret i8* %x
  54 }
  55
  56 ; By itself, we should never change whether or not objc_release is tail called.
  57 define i8* @test4(i8* %x) {
  58 entry:
  59   ; CHECK: %tmp0 = call i8* @objc_release(i8* %x)
  60   %tmp0 = call i8* @objc_release(i8* %x)
  61   ; CHECK: %tmp1 = tail call i8* @objc_release(i8* %x)
  62   %tmp1 = tail call i8* @objc_release(i8* %x)
  63   ret i8* %x
  64 }
  65
  66 ; If we convert a tail called @objc_autoreleaseReturnValue to an
  67 ; @objc_autorelease, ensure that the tail call is removed.
  68 define i8* @test5(i8* %x) {
  69 entry:
  70   ; TMP: %tmp0 = call i8* @objc_autorelease(i8* %x)
  71   %tmp0 = tail call i8* @objc_autoreleaseReturnValue(i8* %x)
  72   ret i8* %tmp0
  73 }
  74
  75 ; If we convert a called @objc_autorelease to an @objc_autoreleaseReturnValue,
  76 ; ensure that the tail call is added.
  77 define i8* @test6(i8* %x) {
  78 entry:
  79   ; CHECK: %tmp0 = tail call i8* @objc_retain(i8* %x)
  80   %tmp0 = tail call i8* @objc_retain(i8* %x)
  81   ; CHECK: %tmp1 = tail call i8* @objc_autoreleaseReturnValue(i8* %x)
  82   %tmp1 = call i8* @objc_autorelease(i8* %x)
  83   ret i8* %x
  84 }