diff options
| -rw-r--r-- | include/llvm/Pass.h | 4 | ||||
| -rw-r--r-- | lib/VMCore/PassManager.cpp | 9 |
2 files changed, 12 insertions, 1 deletions
diff --git a/include/llvm/Pass.h b/include/llvm/Pass.h index a5a98f5313..3a28f91330 100644 --- a/include/llvm/Pass.h +++ b/include/llvm/Pass.h @@ -161,6 +161,10 @@ public: /// virtual void releaseMemory() {} + /// verifyAnalysis() - This member can be implemented by a analysis pass to + /// check state of analysis information. + virtual void verifyAnalysis() {} + // dumpPassStructure - Implement the -debug-passes=PassStructure option virtual void dumpPassStructure(unsigned Offset = 0); diff --git a/lib/VMCore/PassManager.cpp b/lib/VMCore/PassManager.cpp index af3cfb025d..8d780e98d0 100644 --- a/lib/VMCore/PassManager.cpp +++ b/lib/VMCore/PassManager.cpp @@ -598,11 +598,18 @@ bool PMDataManager::preserveHigherLevelAnalysis(Pass *P) { void PMDataManager::removeNotPreservedAnalysis(Pass *P) { AnalysisUsage AnUsage; P->getAnalysisUsage(AnUsage); + const std::vector<AnalysisID> &PreservedSet = AnUsage.getPreservedSet(); + // Verify preserved analysis + for (std::map<AnalysisID, Pass*>::iterator I = AvailableAnalysis.begin(), + E = AvailableAnalysis.end(); I != E; ++I) { + Pass *AP = I->second; + AP->verifyAnalysis(); + } + if (AnUsage.getPreservesAll()) return; - const std::vector<AnalysisID> &PreservedSet = AnUsage.getPreservedSet(); for (std::map<AnalysisID, Pass*>::iterator I = AvailableAnalysis.begin(), E = AvailableAnalysis.end(); I != E; ) { std::map<AnalysisID, Pass*>::iterator Info = I++; |