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 | ce25e8821815c1442c4fba72ac55d1b285a943e2 (patch) | |
| tree | d3a30bebf927db38a218308453ca042864146535 | |
| parent | 16b0ec59f217fe58d2b1d62885269d1bf6a57ca9 (diff) | |
| download | bcm5719-llvm-ce25e8821815c1442c4fba72ac55d1b285a943e2.tar.gz bcm5719-llvm-ce25e8821815c1442c4fba72ac55d1b285a943e2.zip | |
There is no point in verifying an analysis that is never updated.
llvm-svn: 123743
| -rw-r--r-- | llvm/include/llvm/Analysis/DominanceFrontier.h | 2 | ||||
| -rw-r--r-- | llvm/lib/VMCore/Dominators.cpp | 11 |
2 files changed, 0 insertions, 13 deletions
diff --git a/llvm/include/llvm/Analysis/DominanceFrontier.h b/llvm/include/llvm/Analysis/DominanceFrontier.h index 08d61867422..d7f74af1c65 100644 --- a/llvm/include/llvm/Analysis/DominanceFrontier.h +++ b/llvm/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/llvm/lib/VMCore/Dominators.cpp b/llvm/lib/VMCore/Dominators.cpp index 6e58985ba12..51baac5f34d 100644 --- a/llvm/lib/VMCore/Dominators.cpp +++ b/llvm/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: |
