Fix PR6875:

This includes a patch by Roman Divacky to fix the initial crash.

Move the actual addition of passes from *PassManager::add to
*PassManager::addImpl.  That way, when adding printer passes we won't
recurse infinitely.

Finally, check to make sure that we are actually adding a FunctionPass
to a FunctionPassManager before doing a print before or after it.
Immutable passes are strange in this way because they aren't
FunctionPasses yet they can be and are added to the FunctionPassManager.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@103425 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
David Greene 2010-05-10 20:24:27 +00:00
parent da24b34c9a
commit e89f1c4ee7
3 changed files with 44 additions and 15 deletions

View File

@ -60,6 +60,9 @@ public:
bool run(Module &M);
private:
/// addImpl - Add a pass to the queue of passes to run, without
/// checking whether to add a printer pass.
void addImpl(Pass *P);
/// PassManagerImpl_New is the actual class. PassManager is just the
/// wraper to publish simple pass manager interface
@ -96,6 +99,10 @@ public:
bool doFinalization();
private:
/// addImpl - Add a pass to the queue of passes to run, without
/// checking whether to add a printer pass.
void addImpl(Pass *P);
FunctionPassManagerImpl *FPM;
Module *M;
};

View File

@ -275,7 +275,7 @@ public:
addImmutablePass(IP);
recordAvailableAnalysis(IP);
} else {
P->assignPassManager(activeStack);
P->assignPassManager(activeStack, PMT_FunctionPassManager);
}
}
@ -418,7 +418,7 @@ public:
addImmutablePass(IP);
recordAvailableAnalysis(IP);
} else {
P->assignPassManager(activeStack);
P->assignPassManager(activeStack, PMT_ModulePassManager);
}
}
@ -1270,20 +1270,30 @@ FunctionPassManager::~FunctionPassManager() {
delete FPM;
}
/// addImpl - Add a pass to the queue of passes to run, without
/// checking whether to add a printer pass.
void FunctionPassManager::addImpl(Pass *P) {
FPM->add(P);
}
/// add - Add a pass to the queue of passes to run. This passes
/// ownership of the Pass to the PassManager. When the
/// PassManager_X is destroyed, the pass will be destroyed as well, so
/// there is no need to delete the pass. (TODO delete passes.)
/// This implies that all passes MUST be allocated with 'new'.
void FunctionPassManager::add(Pass *P) {
if (ShouldPrintBeforePass(P))
add(P->createPrinterPass(dbgs(), std::string("*** IR Dump Before ")
+ P->getPassName() + " ***"));
FPM->add(P);
// If this is a not a function pass, don't add a printer for it.
if (P->getPassKind() == PT_Function)
if (ShouldPrintBeforePass(P))
addImpl(P->createPrinterPass(dbgs(), std::string("*** IR Dump Before ")
+ P->getPassName() + " ***"));
if (ShouldPrintAfterPass(P))
add(P->createPrinterPass(dbgs(), std::string("*** IR Dump After ")
+ P->getPassName() + " ***"));
addImpl(P);
if (P->getPassKind() == PT_Function)
if (ShouldPrintAfterPass(P))
addImpl(P->createPrinterPass(dbgs(), std::string("*** IR Dump After ")
+ P->getPassName() + " ***"));
}
/// run - Execute all of the passes scheduled for execution. Keep
@ -1588,20 +1598,26 @@ PassManager::~PassManager() {
delete PM;
}
/// addImpl - Add a pass to the queue of passes to run, without
/// checking whether to add a printer pass.
void PassManager::addImpl(Pass *P) {
PM->add(P);
}
/// add - Add a pass to the queue of passes to run. This passes ownership of
/// the Pass to the PassManager. When the PassManager is destroyed, the pass
/// will be destroyed as well, so there is no need to delete the pass. This
/// implies that all passes MUST be allocated with 'new'.
void PassManager::add(Pass *P) {
if (ShouldPrintBeforePass(P))
add(P->createPrinterPass(dbgs(), std::string("*** IR Dump Before ")
+ P->getPassName() + " ***"));
addImpl(P->createPrinterPass(dbgs(), std::string("*** IR Dump Before ")
+ P->getPassName() + " ***"));
PM->add(P);
addImpl(P);
if (ShouldPrintAfterPass(P))
add(P->createPrinterPass(dbgs(), std::string("*** IR Dump After ")
+ P->getPassName() + " ***"));
addImpl(P->createPrinterPass(dbgs(), std::string("*** IR Dump After ")
+ P->getPassName() + " ***"));
}
/// run - Execute all of the passes scheduled for execution. Keep track of
@ -1764,7 +1780,7 @@ void BasicBlockPass::assignPassManager(PMStack &PMS,
// [3] Assign manager to manage this new manager. This may create
// and push new managers into PMS
BBP->assignPassManager(PMS);
BBP->assignPassManager(PMS, PreferredType);
// [4] Push new manager into PMS
PMS.push(BBP);

View File

@ -0,0 +1,6 @@
; RUN: llc -O2 -print-after-all < %s 2>@1
define void @tester(){
ret void
}