test/Transforms/Inline/basictest.ll

   1 ; RUN: opt < %s -inline -sroa -S | FileCheck %s
   2 ; RUN: opt < %s -passes='cgscc(inline,function(sroa))' -S | FileCheck %s
   3 target datalayout = "E-p:64:64:64-a0:0:8-f32:32:32-f64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-v64:64:64-v128:128:128"
   4
   5 define i32 @test1f(i32 %i) {
   6         ret i32 %i
   7 }
   8
   9 define i32 @test1(i32 %W) {
  10         %X = call i32 @test1f(i32 7)
  11         %Y = add i32 %X, %W
  12         ret i32 %Y
  13 ; CHECK-LABEL: @test1(
  14 ; CHECK-NEXT: %Y = add i32 7, %W
  15 ; CHECK-NEXT: ret i32 %Y
  16 }
  17
  18
  19
  20 ; rdar://7339069
  21
  22 %T = type { i32, i32 }
  23
  24 ; CHECK-NOT: @test2f(
  25 define internal %T* @test2f(i1 %cond, %T* %P) {
  26   br i1 %cond, label %T, label %F
  27
  28 T:
  29   %A = getelementptr %T, %T* %P, i32 0, i32 0
  30   store i32 42, i32* %A
  31   ret %T* %P
  32
  33 F:
  34   ret %T* %P
  35 }
  36
  37 define i32 @test2(i1 %cond) {
  38   %A = alloca %T
  39
  40   %B = call %T* @test2f(i1 %cond, %T* %A)
  41   %C = getelementptr %T, %T* %B, i32 0, i32 0
  42   %D = load i32, i32* %C
  43   ret i32 %D
  44
  45 ; CHECK-LABEL: @test2(
  46 ; CHECK-NOT: = alloca
  47 ; CHECK: ret i32
  48 }
  49
  50 declare void @barrier() noduplicate
  51
  52 define internal i32 @f() {
  53   call void @barrier() noduplicate
  54   ret i32 1
  55 }
  56
  57 define i32 @g() {
  58   call void @barrier() noduplicate
  59   ret i32 2
  60 }
  61
  62 define internal i32 @h() {
  63   call void @barrier() noduplicate
  64   ret i32 3
  65 }
  66
  67 define i32 @test3() {
  68   %b = call i32 @f()
  69   ret i32 %b
  70 }
  71
  72 ; The call to @f cannot be inlined as there is another callsite
  73 ; calling @f, and @f contains a noduplicate call.
  74 ;
  75 ; The call to @g cannot be inlined as it has external linkage.
  76 ;
  77 ; The call to @h *can* be inlined.
  78
  79 ; CHECK-LABEL: @test(
  80 define i32 @test() {
  81 ; CHECK: call i32 @f()
  82   %a = call i32 @f()
  83 ; CHECK: call i32 @g()
  84   %b = call i32 @g()
  85 ; CHECK-NOT: call i32 @h()
  86   %c = call i32 @h()
  87
  88   %d = add i32 %a, %b
  89   %e = add i32 %d, %c
  90
  91   ret i32 %e
  92 ; CHECK: }
  93 }
  94
  95 ; Inliner shouldn't delete calls it can't inline, even if they're trivially dead
  96 ; CHECK-LABEL: @outer4(
  97 define void @outer4(void ()* %inner4) {
  98 entry:
  99 ; CHECK: call void %inner4()
 100   call void %inner4() nounwind readnone
 101   ret void
 102 }
 103
 104 declare void @inner5_inner()
 105
 106 define void @inner5(void ()* %x) {
 107   call void %x() nounwind readnone
 108   ret void
 109 }
 110
 111 ; Inliner shouldn't delete calls it can't inline, even if they're trivially dead and temporarily indirect
 112 ; CHECK-LABEL: @outer5(
 113 define void @outer5() {
 114 ; CHECK: call void @inner5_inner(
 115   call void @inner5(void ()* @inner5_inner)
 116   ret void
 117 }