18 lines · plain
1; This is a basic correctness check for constant propagation. The add2; instruction and phi instruction should be eliminated.3 4; RUN: opt < %s -passes=sccp -S | not grep phi5; RUN: opt < %s -passes=sccp -S | not grep add6 7define i128 @test(i1 %B) {8 br i1 %B, label %BB1, label %BB29BB1:10 %Val = add i128 0, 111 br label %BB312BB2:13 br label %BB314BB3:15 %Ret = phi i128 [%Val, %BB1], [1, %BB2]16 ret i128 %Ret17}18