llvm/test/Transforms/JumpThreading/branch-no-const.ll

   1 ; RUN: opt < %s -jump-threading -S | not grep phi
   2
   3 declare i8 @mcguffin()
   4
   5 define i32 @test(i1 %foo, i8 %b) {
   6 entry:
   7   %a = call i8 @mcguffin()
   8   br i1 %foo, label %bb1, label %bb2
   9 bb1:
  10   br label %jt
  11 bb2:
  12   br label %jt
  13 jt:
  14   %x = phi i8 [%a, %bb1], [%b, %bb2]
  15   %A = icmp eq i8 %x, %a
  16   br i1 %A, label %rt, label %rf
  17 rt:
  18   ret i32 7
  19 rf:
  20   ret i32 8
  21 }