test/Transforms/SimplifyCFG/UncondBranchToReturn.ll

   1 ; The unify-function-exit-nodes pass often makes basic blocks that just contain
   2 ; a PHI node and a return.  Make sure the simplify cfg can straighten out this
   3 ; important case.  This is basically the most trivial form of tail-duplication.
   4
   5 ; RUN: opt < %s -simplifycfg -S | \
   6 ; RUN:    not grep {br label}
   7
   8 define i32 @test(i1 %B, i32 %A, i32 %B.upgrd.1) {
   9         br i1 %B, label %T, label %F
  10 T:              ; preds = %0
  11         br label %ret
  12 F:              ; preds = %0
  13         br label %ret
  14 ret:            ; preds = %F, %T
  15         %X = phi i32 [ %A, %F ], [ %B.upgrd.1, %T ]             ; <i32> [#uses=1]
  16         ret i32 %X
  17 }
  18
  19
  20 ; Make sure it's willing to move unconditional branches to return instructions
  21 ; as well, even if the return block is shared and the source blocks are
  22 ; non-empty.
  23 define i32 @test2(i1 %B, i32 %A, i32 %B.upgrd.2) {
  24         br i1 %B, label %T, label %F
  25 T:              ; preds = %0
  26         call i32 @test( i1 true, i32 5, i32 8 )         ; <i32>:1 [#uses=0]
  27         br label %ret
  28 F:              ; preds = %0
  29         call i32 @test( i1 true, i32 5, i32 8 )         ; <i32>:2 [#uses=0]
  30         br label %ret
  31 ret:            ; preds = %F, %T
  32         ret i32 %A
  33 }