[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / Transforms / ConstProp / phi.ll
blobc65d34cc933ae2e2e0269f44cbb380dee899519d
1 ; This is a basic sanity check for constant propagation.  The add instruction
2 ; should be eliminated.
4 ; RUN: opt < %s -constprop -die -S | not grep phi
6 define i32 @test(i1 %B) {
7 BB0:
8         br i1 %B, label %BB1, label %BB3
10 BB1:            ; preds = %BB0
11         br label %BB3
13 BB3:            ; preds = %BB1, %BB0
14         %Ret = phi i32 [ 1, %BB0 ], [ 1, %BB1 ]         ; <i32> [#uses=1]
15         ret i32 %Ret