Remove workaround in PostDominators

Remove a FIXME and unify code that was necessary to work around broken
updateDFSNumbers().  Before updateDFSNumbers() did not work correctly for post
dominators.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@92968 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Tobias Grosser 2010-01-07 23:50:25 +00:00
parent ecd4694458
commit 365ccd3a91
2 changed files with 5 additions and 18 deletions

View File

@ -347,15 +347,8 @@ void Calculate(DominatorTreeBase<typename GraphTraits<NodeT>::NodeType>& DT,
DT.IDoms.clear();
DT.Info.clear();
std::vector<typename GraphT::NodeType*>().swap(DT.Vertex);
// FIXME: This does not work on PostDomTrees. It seems likely that this is
// due to an error in the algorithm for post-dominators. This really should
// be investigated and fixed at some point.
// DT.updateDFSNumbers();
// Start out with the DFS numbers being invalid. Let them be computed if
// demanded.
DT.DFSInfoValid = false;
DT.updateDFSNumbers();
}
}

View File

@ -652,21 +652,17 @@ public:
/// recalculate - compute a dominator tree for the given function
template<class FT>
void recalculate(FT& F) {
if (!this->IsPostDominators) {
reset();
reset();
this->Vertex.push_back(0);
// Initialize roots
if (!this->IsPostDominators) {
// Initialize root
this->Roots.push_back(&F.front());
this->IDoms[&F.front()] = 0;
this->DomTreeNodes[&F.front()] = 0;
this->Vertex.push_back(0);
Calculate<FT, NodeT*>(*this, F);
updateDFSNumbers();
} else {
reset(); // Reset from the last time we were run...
// Initialize the roots list
for (typename FT::iterator I = F.begin(), E = F.end(); I != E; ++I) {
if (std::distance(GraphTraits<FT*>::child_begin(I),
@ -678,8 +674,6 @@ public:
this->DomTreeNodes[I] = 0;
}
this->Vertex.push_back(0);
Calculate<FT, Inverse<NodeT*> >(*this, F);
}
}