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: llvm-upgrade < %s | llvm-as | opt -sccp | llvm-dis | grep phi
   5
   6 int "test"(int %A, bool %c) {
   7 bb1:
   8         br label %BB2
   9 BB2:
  10         %V = phi int [0, %bb1], [%A, %BB4]
  11         br label %BB3
  12
  13 BB3:
  14         br bool %c, label %BB4, label %BB5
  15 BB4:
  16         br label %BB2
  17
  18 BB5:
  19         ret int %V
  20 }