1; This test shows a case where SCCP is incorrectly eliminating the PHI node 2; because it thinks it has a constant 0 value, when it really doesn't. 3 4; RUN: opt < %s -sccp -S | grep phi 5 6define i32 @test(i32 %A, i1 %c) { 7bb1: 8 br label %BB2 9BB2: ; preds = %BB4, %bb1 10 %V = phi i32 [ 0, %bb1 ], [ %A, %BB4 ] ; <i32> [#uses=1] 11 br label %BB3 12BB3: ; preds = %BB2 13 br i1 %c, label %BB4, label %BB5 14BB4: ; preds = %BB3 15 br label %BB2 16BB5: ; preds = %BB3 17 ret i32 %V 18} 19 20