mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-12-14 11:32:34 +00:00
[DomTree] verifyDomTree to unconditionally perform DT verification
I folded the check for the flag -verify-dom-info into the only caller where I think it is supposed to be checked: verifyAnalysis. (The idea of the flag is to enable this expensive verification in verifyPreservedAnalysis.) I'm assuming that when manually scheduling the verification pass with -passes=verify<domtree>, we do want to perform the verification. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@236575 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
parent
caa560cfb9
commit
3a1777818d
@ -282,9 +282,6 @@ bool DominatorTree::isReachableFromEntry(const Use &U) const {
|
||||
}
|
||||
|
||||
void DominatorTree::verifyDomTree() const {
|
||||
if (!VerifyDomInfo)
|
||||
return;
|
||||
|
||||
Function &F = *getRoot()->getParent();
|
||||
|
||||
DominatorTree OtherDT;
|
||||
@ -350,7 +347,10 @@ bool DominatorTreeWrapperPass::runOnFunction(Function &F) {
|
||||
return false;
|
||||
}
|
||||
|
||||
void DominatorTreeWrapperPass::verifyAnalysis() const { DT.verifyDomTree(); }
|
||||
void DominatorTreeWrapperPass::verifyAnalysis() const {
|
||||
if (VerifyDomInfo)
|
||||
DT.verifyDomTree();
|
||||
}
|
||||
|
||||
void DominatorTreeWrapperPass::print(raw_ostream &OS, const Module *) const {
|
||||
DT.print(OS);
|
||||
|
@ -455,10 +455,9 @@ static Instruction *findLocationForEntrySafepoint(Function &F,
|
||||
// Note: SplitBlock modifies the DT. Simply passing a Pass (which is a
|
||||
// module pass) is not enough.
|
||||
DT.recalculate(F);
|
||||
#ifndef NDEBUG
|
||||
|
||||
// SplitBlock updates the DT
|
||||
DT.verifyDomTree();
|
||||
#endif
|
||||
DEBUG(DT.verifyDomTree());
|
||||
|
||||
return BB->getTerminator();
|
||||
}
|
||||
|
Loading…
Reference in New Issue
Block a user