test/Transforms/Inline/basictest.ll

   1 ; RUN: opt < %s -inline -scalarrepl -S | FileCheck %s
   2
   3 define i32 @test1f(i32 %i) {
   4         ret i32 %i
   5 }
   6
   7 define i32 @test1(i32 %W) {
   8         %X = call i32 @test1f(i32 7)
   9         %Y = add i32 %X, %W
  10         ret i32 %Y
  11 ; CHECK: @test1(
  12 ; CHECK-NEXT: %Y = add i32 7, %W
  13 ; CHECK-NEXT: ret i32 %Y
  14 }
  15
  16
  17
  18 ; rdar://7339069
  19
  20 %T = type { i32, i32 }
  21
  22 ; CHECK-NOT: @test2f
  23 define internal %T* @test2f(i1 %cond, %T* %P) {
  24   br i1 %cond, label %T, label %F
  25
  26 T:
  27   %A = getelementptr %T* %P, i32 0, i32 0
  28   store i32 42, i32* %A
  29   ret %T* %P
  30
  31 F:
  32   ret %T* %P
  33 }
  34
  35 define i32 @test2(i1 %cond) {
  36   %A = alloca %T
  37
  38   %B = call %T* @test2f(i1 %cond, %T* %A)
  39   %C = getelementptr %T* %B, i32 0, i32 0
  40   %D = load i32* %C
  41   ret i32 %D
  42
  43 ; CHECK: @test2(
  44 ; CHECK-NOT: = alloca
  45 ; CHECK: ret i32 42
  46 }