[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / Transforms / SCCP / apint-basictest.ll
blobf6ef1ab3f23b9f5baaacac7d91074bc4296f3422
1 ; This is a basic sanity check for constant propagation.  The add instruction
2 ; should be eliminated.
4 ; RUN: opt < %s -sccp -S | not grep add
6 define i128 @test(i1 %B) {
7         br i1 %B, label %BB1, label %BB2
8 BB1:
9         %Val = add i128 0, 1
10         br label %BB3
11 BB2:
12         br label %BB3
13 BB3:
14         %Ret = phi i128 [%Val, %BB1], [2, %BB2]
15         ret i128 %Ret