aboutsummaryrefslogtreecommitdiff
path: root/lib/VMCore/PassManager.cpp
diff options
context:
space:
mode:
authorDevang Patel <dpatel@apple.com>2007-03-06 17:52:53 +0000
committerDevang Patel <dpatel@apple.com>2007-03-06 17:52:53 +0000
commit7b65dd91c156590c03847152a202bf7aa9b0c556 (patch)
tree7ae9ac80f627c4ec1b3194b2e8372f6985de3b3e /lib/VMCore/PassManager.cpp
parentf429e82c98f56768910ac35c08d2a50ab70a824b (diff)
Keep track of higher level analysis.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@34974 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/VMCore/PassManager.cpp')
-rw-r--r--lib/VMCore/PassManager.cpp26
1 files changed, 26 insertions, 0 deletions
diff --git a/lib/VMCore/PassManager.cpp b/lib/VMCore/PassManager.cpp
index 72804be100..60c002cd28 100644
--- a/lib/VMCore/PassManager.cpp
+++ b/lib/VMCore/PassManager.cpp
@@ -532,6 +532,30 @@ void PMDataManager::recordAvailableAnalysis(Pass *P) {
}
}
+// Return true if P preserves high level analysis used by other
+// passes managed by this manager
+bool PMDataManager::preserveHigherLevelAnalysis(Pass *P) {
+
+ AnalysisUsage AnUsage;
+ P->getAnalysisUsage(AnUsage);
+
+ if (AnUsage.getPreservesAll())
+ return true;
+
+ const std::vector<AnalysisID> &PreservedSet = AnUsage.getPreservedSet();
+ for (std::vector<Pass *>::iterator I = HigherLevelAnalysis.begin(),
+ E = HigherLevelAnalysis.end(); I != E; ++I) {
+ Pass *P1 = *I;
+ if (std::find(PreservedSet.begin(), PreservedSet.end(), P1->getPassInfo()) ==
+ PreservedSet.end()) {
+ if (!dynamic_cast<ImmutablePass*>(P1))
+ return false;
+ }
+ }
+
+ return true;
+}
+
/// Remove Analyss not preserved by Pass P
void PMDataManager::removeNotPreservedAnalysis(Pass *P) {
AnalysisUsage AnUsage;
@@ -634,6 +658,8 @@ void PMDataManager::add(Pass *P,
else if (PDepth > RDepth) {
// Let the parent claim responsibility of last use
TransferLastUses.push_back(PRequired);
+ // Keep track of higher level analysis used by this manager.
+ HigherLevelAnalysis.push_back(PRequired);
} else {
// Note : This feature is not yet implemented
assert (0 &&