[llvm-commits] [llvm] r123743 - in /llvm/trunk: include/llvm/Analysis/DominanceFrontier.h lib/VMCore/Dominators.cpp

[Cameron Zwarich]

Author: zwarich
Date: Mon Jan 17 23:44:04 2011
New Revision: 123743

URL: http://llvm.org/viewvc/llvm-project?rev=123743&view=rev
Log:
There is no point in verifying an analysis that is never updated.

Modified:
    llvm/trunk/include/llvm/Analysis/DominanceFrontier.h
    llvm/trunk/lib/VMCore/Dominators.cpp

Modified: llvm/trunk/include/llvm/Analysis/DominanceFrontier.h
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/include/llvm/Analysis/DominanceFrontier.h?rev=123743&r1=123742&r2=123743&view=diff
==============================================================================
--- llvm/trunk/include/llvm/Analysis/DominanceFrontier.h (original)
+++ llvm/trunk/include/llvm/Analysis/DominanceFrontier.h Mon Jan 17 23:44:04 2011
@@ -175,8 +175,6 @@
     return false;
   }
 
-  virtual void verifyAnalysis() const;
-
   virtual void getAnalysisUsage(AnalysisUsage &AU) const {
     AU.setPreservesAll();
     AU.addRequired<DominatorTree>();

Modified: llvm/trunk/lib/VMCore/Dominators.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/VMCore/Dominators.cpp?rev=123743&r1=123742&r2=123743&view=diff
==============================================================================
--- llvm/trunk/lib/VMCore/Dominators.cpp (original)
+++ llvm/trunk/lib/VMCore/Dominators.cpp Mon Jan 17 23:44:04 2011
@@ -120,17 +120,6 @@
 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: