[InstCombine] Signed saturation tests. NFC
[llvm-complete.git] / test / Transforms / JumpThreading / branch-no-const.ll
blob16867b07c2e436cf007ffe9976cf3b7e942f593c
1 ; RUN: opt < %s -jump-threading -S | not grep phi
3 declare i8 @mcguffin()
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