17 lines · plain
1; This is a basic correctness check for constant propagation. The add2; instruction should be eliminated.3 4; RUN: opt < %s -passes=sccp -S | not grep add5 6define i128 @test(i1 %B) {7 br i1 %B, label %BB1, label %BB28BB1:9 %Val = add i128 0, 110 br label %BB311BB2:12 br label %BB313BB3:14 %Ret = phi i128 [%Val, %BB1], [2, %BB2]15 ret i128 %Ret16}17