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 6 define i32 @test(i32 %A, i1 %c) { 7 bb1: 8 br label %BB2 9 BB2: ; preds = %BB4, %bb1 10 %V = phi i32 [ 0, %bb1 ], [ %A, %BB4 ] ; <i32> [#uses=1] 11 br label %BB3 12 BB3: ; preds = %BB2 13 br i1 %c, label %BB4, label %BB5 14 BB4: ; preds = %BB3 15 br label %BB2 16 BB5: ; preds = %BB3 17 ret i32 %V 18 } 19 20
