test/Transforms/Inline/basictest.ll

   1 ; RUN: opt < %s -inline -scalarrepl -S | FileCheck %s
   2 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"
   3
   4 define i32 @test1f(i32 %i) {
   5         ret i32 %i
   6 }
   7
   8 define i32 @test1(i32 %W) {
   9         %X = call i32 @test1f(i32 7)
  10         %Y = add i32 %X, %W
  11         ret i32 %Y
  12 ; CHECK-LABEL: @test1(
  13 ; CHECK-NEXT: %Y = add i32 7, %W
  14 ; CHECK-NEXT: ret i32 %Y
  15 }
  16
  17
  18
  19 ; rdar://7339069
  20
  21 %T = type { i32, i32 }
  22
  23 ; CHECK-NOT: @test2f(
  24 define internal %T* @test2f(i1 %cond, %T* %P) {
  25   br i1 %cond, label %T, label %F
  26
  27 T:
  28   %A = getelementptr %T, %T* %P, i32 0, i32 0
  29   store i32 42, i32* %A
  30   ret %T* %P
  31
  32 F:
  33   ret %T* %P
  34 }
  35
  36 define i32 @test2(i1 %cond) {
  37   %A = alloca %T
  38
  39   %B = call %T* @test2f(i1 %cond, %T* %A)
  40   %C = getelementptr %T, %T* %B, i32 0, i32 0
  41   %D = load i32, i32* %C
  42   ret i32 %D
  43
  44 ; CHECK-LABEL: @test2(
  45 ; CHECK-NOT: = alloca
  46 ; CHECK: ret i32
  47 }
  48
  49 declare void @barrier() noduplicate
  50
  51 define internal i32 @f() {
  52   call void @barrier() noduplicate
  53   ret i32 1
  54 }
  55
  56 define i32 @g() {
  57   call void @barrier() noduplicate
  58   ret i32 2
  59 }
  60
  61 define internal i32 @h() {
  62   call void @barrier() noduplicate
  63   ret i32 3
  64 }
  65
  66 define i32 @test3() {
  67   %b = call i32 @f()
  68   ret i32 %b
  69 }
  70
  71 ; The call to @f cannot be inlined as there is another callsite
  72 ; calling @f, and @f contains a noduplicate call.
  73 ;
  74 ; The call to @g cannot be inlined as it has external linkage.
  75 ;
  76 ; The call to @h *can* be inlined.
  77
  78 ; CHECK-LABEL: @test(
  79 define i32 @test() {
  80 ; CHECK: call i32 @f()
  81   %a = call i32 @f()
  82 ; CHECK: call i32 @g()
  83   %b = call i32 @g()
  84 ; CHECK-NOT: call i32 @h()
  85   %c = call i32 @h()
  86
  87   %d = add i32 %a, %b
  88   %e = add i32 %d, %c
  89
  90   ret i32 %e
  91 ; CHECK: }
  92 }