test/Transforms/Inline/always-inline.ll

   1 ; RUN: opt < %s -inline-threshold=0 -always-inline -S | FileCheck %s
   2 ;
   3 ; Ensure the threshold has no impact on these decisions.
   4 ; RUN: opt < %s -inline-threshold=20000000 -always-inline -S | FileCheck %s
   5 ; RUN: opt < %s -inline-threshold=-20000000 -always-inline -S | FileCheck %s
   6
   7 define i32 @inner1() alwaysinline {
   8   ret i32 1
   9 }
  10 define i32 @outer1() {
  11 ; CHECK: @outer1
  12 ; CHECK-NOT: call
  13 ; CHECK: ret
  14
  15    %r = call i32 @inner1()
  16    ret i32 %r
  17 }
  18
  19 ; The always inliner can't DCE internal functions. PR2945
  20 ; CHECK: @pr2945
  21 define internal i32 @pr2945() nounwind {
  22   ret i32 0
  23 }
  24
  25 define internal void @inner2(i32 %N) alwaysinline {
  26   %P = alloca i32, i32 %N
  27   ret void
  28 }
  29 define void @outer2(i32 %N) {
  30 ; The always inliner (unlike the normal one) should be willing to inline
  31 ; a function with a dynamic alloca into one without a dynamic alloca.
  32 ; rdar://6655932
  33 ;
  34 ; CHECK: @outer2
  35 ; CHECK-NOT: call void @inner2
  36 ; CHECK alloca i32, i32 %N
  37 ; CHECK-NOT: call void @inner2
  38 ; CHECK: ret void
  39
  40   call void @inner2( i32 %N )
  41   ret void
  42 }
  43
  44 declare i32 @a() returns_twice
  45 declare i32 @b() returns_twice
  46
  47 define i32 @inner3() alwaysinline {
  48 entry:
  49   %call = call i32 @a() returns_twice
  50   %add = add nsw i32 1, %call
  51   ret i32 %add
  52 }
  53 define i32 @outer3() {
  54 entry:
  55 ; CHECK: @outer3
  56 ; CHECK-NOT: call i32 @a
  57 ; CHECK: ret
  58
  59   %call = call i32 @inner3()
  60   %add = add nsw i32 1, %call
  61   ret i32 %add
  62 }
  63
  64 define i32 @inner4() alwaysinline returns_twice {
  65 entry:
  66   %call = call i32 @b() returns_twice
  67   %add = add nsw i32 1, %call
  68   ret i32 %add
  69 }
  70
  71 define i32 @outer4() {
  72 entry:
  73 ; CHECK: @outer4
  74 ; CHECK: call i32 @b()
  75 ; CHECK: ret
  76
  77   %call = call i32 @inner4() returns_twice
  78   %add = add nsw i32 1, %call
  79   ret i32 %add
  80 }
  81
  82 define i32 @inner5(i8* %addr) alwaysinline {
  83 entry:
  84   indirectbr i8* %addr, [ label %one, label %two ]
  85
  86 one:
  87   ret i32 42
  88
  89 two:
  90   ret i32 44
  91 }
  92 define i32 @outer5(i32 %x) {
  93 ; CHECK: @outer5
  94 ; CHECK: call i32 @inner5
  95 ; CHECK: ret
  96
  97   %cmp = icmp slt i32 %x, 42
  98   %addr = select i1 %cmp, i8* blockaddress(@inner5, %one), i8* blockaddress(@inner5, %two)
  99   %call = call i32 @inner5(i8* %addr)
 100   ret i32 %call
 101 }
 102
 103 define void @inner6(i32 %x) alwaysinline {
 104 entry:
 105   %icmp = icmp slt i32 %x, 0
 106   br i1 %icmp, label %return, label %bb
 107
 108 bb:
 109   %sub = sub nsw i32 %x, 1
 110   call void @inner6(i32 %sub)
 111   ret void
 112
 113 return:
 114   ret void
 115 }
 116 define void @outer6() {
 117 ; CHECK: @outer6
 118 ; CHECK: call void @inner6(i32 42)
 119 ; CHECK: ret
 120
 121 entry:
 122   call void @inner6(i32 42)
 123   ret void
 124 }
 125