1; This is a basic sanity check for constant propagation.  It tests the basic
2; arithmetic operations.
3
4
5; RUN: opt < %s -sccp -S | not grep mul
6; RUN: opt < %s -sccp -S | not grep umod
7
8define i128 @test(i1 %B) {
9	br i1 %B, label %BB1, label %BB2
10BB1:
11	%t1 = add i128 0, 1
12        %t2 = sub i128 0, %t1
13        %t3 = mul i128 %t2, -1
14	br label %BB3
15BB2:
16        %f1 = udiv i128 -1, 1
17        %f2 = add i128 %f1, 1
18        %f3 = urem i128 %f2, 2121
19	br label %BB3
20BB3:
21	%Ret = phi i128 [%t3, %BB1], [%f3, %BB2]
22	ret i128 %Ret
23}
24