Re-fix a bug, where I was now being too aggressive.
llvm-svn: 37348
diff --git a/llvm/lib/Transforms/Scalar/GVNPRE.cpp b/llvm/lib/Transforms/Scalar/GVNPRE.cpp
index 7f76fa1..d32939f 100644
--- a/llvm/lib/Transforms/Scalar/GVNPRE.cpp
+++ b/llvm/lib/Transforms/Scalar/GVNPRE.cpp
@@ -376,6 +376,8 @@
// Second Phase of BuildSets - calculate ANTIC_IN
+ std::set<BasicBlock*> visited;
+
bool changed = true;
unsigned iterations = 0;
while (changed) {
@@ -388,6 +390,8 @@
PDI != E; ++PDI) {
BasicBlock* BB = PDI->getBlock();
+ visited.insert(BB);
+
std::set<Expression>& anticIn = anticipatedIn[BB];
std::set<Expression> old (anticIn.begin(), anticIn.end());
@@ -397,7 +401,7 @@
for (unsigned i = 0; i < BB->getTerminator()->getNumSuccessors(); ++i) {
BasicBlock* currSucc = BB->getTerminator()->getSuccessor(i);
std::set<Expression> temp;
- if (i == 0)
+ if (visted.find(currSucc) == visited.end())
temp.insert(maximalSet.begin(), maximalSet.end());
else
temp.insert(anticIn.begin(), anticIn.end());