1; This is a basic correctness check for constant propagation. It tests the 2; basic logic operations. 3 4 5; RUN: opt < %s -passes=sccp -S | not grep and 6; RUN: opt < %s -passes=sccp -S | not grep trunc 7; RUN: opt < %s -passes=sccp -S | grep "ret i100 -1" 8 9define i100 @test(i133 %A) { 10 %B = and i133 0, %A 11 %C = icmp sgt i133 %B, 0 12 br i1 %C, label %BB1, label %BB2 13BB1: 14 %t3 = xor i133 %B, -1 15 %t4 = trunc i133 %t3 to i100 16 br label %BB3 17BB2: 18 %f1 = or i133 -1, %A 19 %f2 = lshr i133 %f1, 33 20 %f3 = trunc i133 %f2 to i100 21 br label %BB3 22BB3: 23 %Ret = phi i100 [%t4, %BB1], [%f3, %BB2] 24 ret i100 %Ret 25} 26