test/Transforms/Inline/inline_prune.ll

   1 ; RUN: opt < %s -inline -S | \
   2 ; RUN:    not grep "callee[12]("
   3 ; RUN: opt < %s -inline -S | not grep mul
   4
   5 define internal i32 @callee1(i32 %A, i32 %B) {
   6         %cond = icmp eq i32 %A, 123             ; <i1> [#uses=1]
   7         br i1 %cond, label %T, label %F
   8
   9 T:              ; preds = %0
  10         %C = mul i32 %B, %B             ; <i32> [#uses=1]
  11         ret i32 %C
  12
  13 F:              ; preds = %0
  14         ret i32 0
  15 }
  16
  17 define internal i32 @callee2(i32 %A, i32 %B) {
  18         switch i32 %A, label %T [
  19                  i32 10, label %F
  20                  i32 1234, label %G
  21         ]
  22                 ; No predecessors!
  23         %cond = icmp eq i32 %A, 123             ; <i1> [#uses=1]
  24         br i1 %cond, label %T, label %F
  25
  26 T:              ; preds = %1, %0
  27         %C = mul i32 %B, %B             ; <i32> [#uses=1]
  28         ret i32 %C
  29
  30 F:              ; preds = %1, %0
  31         ret i32 0
  32
  33 G:              ; preds = %0
  34         %D = mul i32 %B, %B             ; <i32> [#uses=1]
  35         %E = mul i32 %D, %B             ; <i32> [#uses=1]
  36         ret i32 %E
  37 }
  38
  39 define i32 @test(i32 %A) {
  40         %X = call i32 @callee1( i32 10, i32 %A )                ; <i32> [#uses=1]
  41         %Y = call i32 @callee2( i32 10, i32 %A )                ; <i32> [#uses=1]
  42         %Z = add i32 %X, %Y             ; <i32> [#uses=1]
  43         ret i32 %Z
  44 }
  45