aboutsummaryrefslogtreecommitdiffstats
path: root/lib/VMCore/Dominators.cpp
diff options
context:
space:
mode:
authorChris Lattner <sabre@nondot.org>2002-08-02 16:51:27 +0000
committerChris Lattner <sabre@nondot.org>2002-08-02 16:51:27 +0000
commita915ef0fc085d914df69d531c0438d2c330df5de (patch)
treea15d9c4914013f765a390fefcab99978313e3aa6 /lib/VMCore/Dominators.cpp
parentcaa27e2814db36e68b4bbc1bccff85ad9d48a470 (diff)
downloadexternal_llvm-a915ef0fc085d914df69d531c0438d2c330df5de.zip
external_llvm-a915ef0fc085d914df69d531c0438d2c330df5de.tar.gz
external_llvm-a915ef0fc085d914df69d531c0438d2c330df5de.tar.bz2
Fix bug: test/Regression/Other/2002-08-02-DomSetProblem.ll
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3213 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/VMCore/Dominators.cpp')
-rw-r--r--lib/VMCore/Dominators.cpp13
1 files changed, 12 insertions, 1 deletions
diff --git a/lib/VMCore/Dominators.cpp b/lib/VMCore/Dominators.cpp
index eb57587..a388402 100644
--- a/lib/VMCore/Dominators.cpp
+++ b/lib/VMCore/Dominators.cpp
@@ -60,7 +60,7 @@ bool DominatorSet::runOnFunction(Function &F) {
// in at least once. We are guaranteed to have this because we are
// traversing the graph in DFO and have handled start nodes specially.
//
- while (Doms[*PI].size() == 0) ++PI;
+ while (Doms[*PI].empty()) ++PI;
WorkingSet = Doms[*PI];
for (++PI; PI != PEnd; ++PI) { // Intersect all of the predecessor sets
@@ -79,6 +79,17 @@ bool DominatorSet::runOnFunction(Function &F) {
WorkingSet.clear(); // Clear out the set for next iteration
}
} while (Changed);
+
+ // Every basic block in the function should at least dominate themselves, and
+ // thus every basic block should have an entry in Doms. The one case where we
+ // miss this is when a basic block is unreachable. To get these we now do an
+ // extra pass adding self dominance info to the DomSet if the block doesn't
+ // already have an entry.
+ //
+ for (Function::iterator I = F.begin(), E = F.end(); I != E; ++I)
+ if (!Doms.count(I))
+ Doms[I].insert(I);
+
return false;
}