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: @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* %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* %B, i32 0, i32 0
  41   %D = load i32* %C
  42   ret i32 %D
  43
  44 ; CHECK: @test2(
  45 ; CHECK-NOT: = alloca
  46 ; CHECK: ret i32
  47 }