Fix bug: test/Regression/Transforms/SCCP/2002-05-20-MissedIncomingValue.ll
That was causing a miscompilation of strtol/atoi plus others
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@2669 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/lib/Transforms/Scalar/SCCP.cpp b/lib/Transforms/Scalar/SCCP.cpp
index 0594545..24d383b 100644
--- a/lib/Transforms/Scalar/SCCP.cpp
+++ b/lib/Transforms/Scalar/SCCP.cpp
@@ -176,6 +176,16 @@
DEBUG_SCCP(cerr << "Marking BB Executable: " << BB);
BBExecutable.insert(BB); // Basic block is executable!
BBWorkList.push_back(BB); // Add the block to the work list!
+
+ // Visit all of the PHI nodes that merge values from this block... Because
+ // this block is newly executable, PHI nodes that used to be constant now
+ // may not be. Note that we only mark PHI nodes that live in blocks that
+ // can execute!
+ //
+ for (Value::use_iterator I = BB->use_begin(), E = BB->use_end(); I != E;++I)
+ if (PHINode *PN = dyn_cast<PHINode>(*I))
+ if (BBExecutable.count(PN->getParent()))
+ visitPHINode(PN);
}
@@ -308,7 +318,7 @@
InstVal &IV = ValueState[Inst];
if (IV.isConstant()) {
Constant *Const = IV.getConstant();
- DEBUG_SCCP(cerr << "Constant: " << Inst << " is: " << Const);
+ DEBUG_SCCP(cerr << "Constant: " << Const << " = " << Inst);
// Replaces all of the uses of a variable with uses of the constant.
Inst->replaceAllUsesWith(Const);