diff options
| author | Cameron Zwarich <zwarich@apple.com> | 2011-01-18 05:44:04 +0000 |
|---|---|---|
| committer | Cameron Zwarich <zwarich@apple.com> | 2011-01-18 05:44:04 +0000 |
| commit | 5d2cf40c40d8c2763a0e5b53481063becdce6e30 (patch) | |
| tree | c456226239e85ee7961adf022e5b8b7d278d19dd | |
| parent | 05d8b71424316ad7b014adbbb316f78c5bd46861 (diff) | |
There is no point in verifying an analysis that is never updated.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@123743 91177308-0d34-0410-b5e6-96231b3b80d8
| -rw-r--r-- | include/llvm/Analysis/DominanceFrontier.h | 2 | ||||
| -rw-r--r-- | lib/VMCore/Dominators.cpp | 11 |
2 files changed, 0 insertions, 13 deletions
diff --git a/include/llvm/Analysis/DominanceFrontier.h b/include/llvm/Analysis/DominanceFrontier.h index 08d6186742..d7f74af1c6 100644 --- a/include/llvm/Analysis/DominanceFrontier.h +++ b/include/llvm/Analysis/DominanceFrontier.h @@ -175,8 +175,6 @@ public: return false; } - virtual void verifyAnalysis() const; - virtual void getAnalysisUsage(AnalysisUsage &AU) const { AU.setPreservesAll(); AU.addRequired<DominatorTree>(); diff --git a/lib/VMCore/Dominators.cpp b/lib/VMCore/Dominators.cpp index 6e58985ba1..51baac5f34 100644 --- a/lib/VMCore/Dominators.cpp +++ b/lib/VMCore/Dominators.cpp @@ -120,17 +120,6 @@ INITIALIZE_PASS_DEPENDENCY(DominatorTree) INITIALIZE_PASS_END(DominanceFrontier, "domfrontier", "Dominance Frontier Construction", true, true) -void DominanceFrontier::verifyAnalysis() const { - if (!VerifyDomInfo) return; - - DominatorTree &DT = getAnalysis<DominatorTree>(); - - DominanceFrontier OtherDF; - const std::vector<BasicBlock*> &DTRoots = DT.getRoots(); - OtherDF.calculate(DT, DT.getNode(DTRoots[0])); - assert(!compare(OtherDF) && "Invalid DominanceFrontier info!"); -} - namespace { class DFCalculateWorkObject { public: |