aboutsummaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
Diffstat (limited to 'lib')
-rw-r--r--lib/Analysis/LoopPass.cpp2
-rw-r--r--lib/VMCore/PassManager.cpp10
2 files changed, 6 insertions, 6 deletions
diff --git a/lib/Analysis/LoopPass.cpp b/lib/Analysis/LoopPass.cpp
index 57e8f4da96..2236834cd6 100644
--- a/lib/Analysis/LoopPass.cpp
+++ b/lib/Analysis/LoopPass.cpp
@@ -234,7 +234,7 @@ bool LPPassManager::runOnFunction(Function &F) {
recordAvailableAnalysis(P);
removeDeadPasses(P, "", ON_LOOP_MSG);
- // Verify dominator information if it is available and preserved.
+ // If dominator information is available then verify the info if requested.
verifyDomInfo(*LP, F);
if (skipThisLoop)
diff --git a/lib/VMCore/PassManager.cpp b/lib/VMCore/PassManager.cpp
index f98f2e1657..5648e95db5 100644
--- a/lib/VMCore/PassManager.cpp
+++ b/lib/VMCore/PassManager.cpp
@@ -42,7 +42,7 @@ enum PassDebugLevel {
None, Arguments, Structure, Executions, Details
};
-bool VerifyDomInfo = false;
+bool VerifyDomInfo = true;
static cl::opt<bool,true>
VerifyDomInfoX("verify-dom-info", cl::location(VerifyDomInfo),
cl::desc("Verify dominator info (time consuming)"));
@@ -631,7 +631,7 @@ void PMDataManager::verifyDomInfo(Pass &P, Function &F) {
cerr << "Pass " << P.getPassName() << "\n";
cerr << "----- Valid -----\n";
OtherDT.dump();
- cerr << "----- InValid -----\n";
+ cerr << "----- Invalid -----\n";
DT->dump();
assert (0 && "Invalid dominator info");
}
@@ -648,13 +648,13 @@ void PMDataManager::verifyDomInfo(Pass &P, Function &F) {
cerr << "Pass " << P.getPassName() << "\n";
cerr << "----- Valid -----\n";
OtherDF.dump();
- cerr << "----- InValid -----\n";
+ cerr << "----- Invalid -----\n";
DF->dump();
assert (0 && "Invalid dominator info");
}
}
-/// Remove Analyss not preserved by Pass P
+/// Remove Analysis not preserved by Pass P
void PMDataManager::removeNotPreservedAnalysis(Pass *P) {
AnalysisUsage AnUsage;
P->getAnalysisUsage(AnUsage);
@@ -1250,7 +1250,7 @@ bool FPPassManager::runOnFunction(Function &F) {
recordAvailableAnalysis(FP);
removeDeadPasses(FP, F.getNameStart(), ON_FUNCTION_MSG);
- // Verify dominator information if it is available and preserved.
+ // If dominator information is available then verify the info if requested.
verifyDomInfo(*FP, F);
}
return Changed;