diff --git a/test/Transforms/SCCP/2002-05-20-MissedIncomingValue.ll b/test/Transforms/SCCP/2002-05-20-MissedIncomingValue.ll new file mode 100644 index 00000000000..ec30c67aade --- /dev/null +++ b/test/Transforms/SCCP/2002-05-20-MissedIncomingValue.ll @@ -0,0 +1,20 @@ +; This test shows a case where SCCP is incorrectly eliminating the PHI node +; because it thinks it has a constant 0 value, when it really doesn't. + +; RUN: as < %s | opt -sccp | dis | grep phi + +int "test"(int %A, bool %c) { +bb1: + br label %BB2 +BB2: + %V = phi int [0, %bb1], [%A, %BB4] + br label %BB3 + +BB3: + br bool %c, label %BB4, label %BB5 +BB4: + br label %BB2 + +BB5: + ret int %V +}