llvm/test/Transforms/Inline/basictest.ll

   1 ; RUN: opt < %s -passes='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 ptr @test2f(i1 %cond, ptr %P) {
  26   br i1 %cond, label %T, label %F
  27
  28 T:
  29   store i32 42, ptr %P
  30   ret ptr %P
  31
  32 F:
  33   ret ptr %P
  34 }
  35
  36 define i32 @test2(i1 %cond) {
  37   %A = alloca %T
  38
  39   %B = call ptr @test2f(i1 %cond, ptr %A)
  40   %D = load i32, ptr %B
  41   ret i32 %D
  42
  43 ; CHECK-LABEL: @test2(
  44 ; CHECK-NOT: = alloca
  45 ; CHECK: ret i32
  46 }
  47
  48 declare void @barrier() noduplicate
  49
  50 define internal i32 @f() {
  51   call void @barrier() noduplicate
  52   ret i32 1
  53 }
  54
  55 define i32 @g() {
  56   call void @barrier() noduplicate
  57   ret i32 2
  58 }
  59
  60 define internal i32 @h() {
  61   call void @barrier() noduplicate
  62   ret i32 3
  63 }
  64
  65 define i32 @test3() {
  66   %b = call i32 @f()
  67   ret i32 %b
  68 }
  69
  70 ; The call to @f cannot be inlined as there is another callsite
  71 ; calling @f, and @f contains a noduplicate call.
  72 ;
  73 ; The call to @g cannot be inlined as it has external linkage.
  74 ;
  75 ; The call to @h *can* be inlined.
  76
  77 ; CHECK-LABEL: @test(
  78 define i32 @test() {
  79 ; CHECK: call i32 @f()
  80   %a = call i32 @f()
  81 ; CHECK: call i32 @g()
  82   %b = call i32 @g()
  83 ; CHECK-NOT: call i32 @h()
  84   %c = call i32 @h()
  85
  86   %d = add i32 %a, %b
  87   %e = add i32 %d, %c
  88
  89   ret i32 %e
  90 ; CHECK: }
  91 }
  92
  93 ; Inliner shouldn't delete calls it can't inline, even if they're trivially dead
  94 ; CHECK-LABEL: @outer4(
  95 define void @outer4(ptr %inner4) {
  96 entry:
  97 ; CHECK: call void %inner4()
  98   call void %inner4() nounwind readnone
  99   ret void
 100 }
 101
 102 declare void @inner5_inner()
 103
 104 define void @inner5(ptr %x) {
 105   call void %x() nounwind readnone
 106   ret void
 107 }
 108
 109 ; Inliner shouldn't delete calls it can't inline, even if they're trivially dead and temporarily indirect
 110 ; CHECK-LABEL: @outer5(
 111 define void @outer5() {
 112 ; CHECK: call void @inner5_inner(
 113   call void @inner5(ptr @inner5_inner)
 114   ret void
 115 }