test/Transforms/SCCP/2002-05-20-MissedIncomingValue.ll

   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