1; This is a basic sanity check for constant propagation.  The add instruction
2; and phi instruction should be eliminated.
3
4; RUN: opt < %s -sccp -S | not grep phi
5; RUN: opt < %s -sccp -S | not grep add
6
7define i128 @test(i1 %B) {
8	br i1 %B, label %BB1, label %BB2
9BB1:
10	%Val = add i128 0, 1
11	br label %BB3
12BB2:
13	br label %BB3
14BB3:
15	%Ret = phi i128 [%Val, %BB1], [1, %BB2]
16	ret i128 %Ret
17}
18