2006-11-07 21:31:57 +00:00
|
|
|
//===- PassManager.cpp - LLVM Pass Infrastructure Implementation ----------===//
|
|
|
|
//
|
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
2006-11-08 10:05:38 +00:00
|
|
|
// This file was developed by Devang Patel and is distributed under
|
2006-11-07 21:31:57 +00:00
|
|
|
// the University of Illinois Open Source License. See LICENSE.TXT for details.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// This file implements the LLVM Pass Manager infrastructure.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
|
|
|
|
#include "llvm/PassManager.h"
|
|
|
|
#include "llvm/Module.h"
|
2006-11-11 01:31:05 +00:00
|
|
|
#include <vector>
|
2006-11-14 01:59:59 +00:00
|
|
|
#include <map>
|
2006-11-07 21:31:57 +00:00
|
|
|
|
|
|
|
using namespace llvm;
|
|
|
|
|
2006-11-08 10:05:38 +00:00
|
|
|
namespace llvm {
|
|
|
|
|
2006-11-11 01:31:05 +00:00
|
|
|
/// CommonPassManagerImpl helps pass manager analysis required by
|
|
|
|
/// the managed passes. It provides methods to add/remove analysis
|
|
|
|
/// available and query if certain analysis is available or not.
|
|
|
|
class CommonPassManagerImpl : public Pass {
|
|
|
|
|
|
|
|
public:
|
|
|
|
|
|
|
|
/// Return true IFF pass P's required analysis set does not required new
|
|
|
|
/// manager.
|
|
|
|
bool manageablePass(Pass *P);
|
|
|
|
|
2006-11-14 01:59:59 +00:00
|
|
|
Pass *getAnalysisPass(AnalysisID AID) const {
|
|
|
|
|
|
|
|
std::map<AnalysisID, Pass*>::const_iterator I =
|
|
|
|
AvailableAnalysis.find(AID);
|
|
|
|
|
|
|
|
if (I != AvailableAnalysis.end())
|
|
|
|
return NULL;
|
|
|
|
else
|
|
|
|
return I->second;
|
2006-11-13 22:40:09 +00:00
|
|
|
}
|
2006-11-11 01:31:05 +00:00
|
|
|
|
|
|
|
/// Augment RequiredAnalysis by adding analysis required by pass P.
|
|
|
|
void noteDownRequiredAnalysis(Pass *P);
|
|
|
|
|
|
|
|
/// Augment AvailableAnalysis by adding analysis made available by pass P.
|
|
|
|
void noteDownAvailableAnalysis(Pass *P);
|
|
|
|
|
|
|
|
/// Remove Analysis that is not preserved by the pass
|
|
|
|
void removeNotPreservedAnalysis(Pass *P);
|
|
|
|
|
|
|
|
/// Remove dead passes
|
2006-11-14 03:05:08 +00:00
|
|
|
void removeDeadPasses(Pass *P);
|
2006-11-11 01:31:05 +00:00
|
|
|
|
2006-11-11 01:51:02 +00:00
|
|
|
/// Add pass P into the PassVector. Update RequiredAnalysis and
|
2006-11-11 02:04:19 +00:00
|
|
|
/// AvailableAnalysis appropriately if ProcessAnalysis is true.
|
|
|
|
void addPassToManager (Pass *P, bool ProcessAnalysis = true);
|
2006-11-11 01:51:02 +00:00
|
|
|
|
2006-11-14 01:23:29 +00:00
|
|
|
/// Clear analysis vectors RequiredAnalysis and AvailableAnalysis.
|
|
|
|
/// This is used before running passes managed by the manager.
|
|
|
|
void clearAnalysis() {
|
|
|
|
RequiredAnalysis.clear();
|
|
|
|
AvailableAnalysis.clear();
|
2006-11-14 02:54:23 +00:00
|
|
|
LastUser.clear();
|
2006-11-14 01:23:29 +00:00
|
|
|
}
|
|
|
|
|
2006-11-14 01:59:59 +00:00
|
|
|
// All Required analyses should be available to the pass as it runs! Here
|
|
|
|
// we fill in the AnalysisImpls member of the pass so that it can
|
|
|
|
// successfully use the getAnalysis() method to retrieve the
|
|
|
|
// implementations it needs.
|
|
|
|
//
|
|
|
|
inline void initializeAnalysisImpl(Pass *P) { /* TODO : Implement */ }
|
|
|
|
|
2006-11-11 01:51:02 +00:00
|
|
|
inline std::vector<Pass *>::iterator passVectorBegin() {
|
|
|
|
return PassVector.begin();
|
|
|
|
}
|
|
|
|
|
|
|
|
inline std::vector<Pass *>::iterator passVectorEnd() {
|
|
|
|
return PassVector.end();
|
|
|
|
}
|
|
|
|
|
2006-11-14 02:54:23 +00:00
|
|
|
inline void setLastUser(Pass *P, Pass *LU) { LastUser[P] = LU; }
|
|
|
|
|
2006-11-11 01:31:05 +00:00
|
|
|
private:
|
2006-11-14 00:03:04 +00:00
|
|
|
// Analysis required by the passes managed by this manager. This information
|
|
|
|
// used while selecting pass manager during addPass. If a pass does not
|
|
|
|
// preserve any analysis required by other passes managed by current
|
|
|
|
// pass manager then new pass manager is used.
|
2006-11-11 01:31:05 +00:00
|
|
|
std::vector<AnalysisID> RequiredAnalysis;
|
|
|
|
|
2006-11-14 00:03:04 +00:00
|
|
|
// Set of available Analysis. This information is used while scheduling
|
|
|
|
// pass. If a pass requires an analysis which is not not available then
|
|
|
|
// equired analysis pass is scheduled to run before the pass itself is
|
|
|
|
// scheduled to run.
|
2006-11-14 01:59:59 +00:00
|
|
|
std::map<AnalysisID, Pass*> AvailableAnalysis;
|
2006-11-11 01:51:02 +00:00
|
|
|
|
2006-11-14 02:54:23 +00:00
|
|
|
// Map to keep track of last user of the analysis pass.
|
|
|
|
// LastUser->second is the last user of Lastuser->first.
|
|
|
|
std::map<Pass *, Pass *> LastUser;
|
|
|
|
|
2006-11-11 01:51:02 +00:00
|
|
|
// Collection of pass that are managed by this manager
|
|
|
|
std::vector<Pass *> PassVector;
|
2006-11-11 01:31:05 +00:00
|
|
|
};
|
|
|
|
|
2006-11-08 10:05:38 +00:00
|
|
|
/// BasicBlockPassManager_New manages BasicBlockPass. It batches all the
|
|
|
|
/// pass together and sequence them to process one basic block before
|
|
|
|
/// processing next basic block.
|
2006-11-10 21:33:13 +00:00
|
|
|
class BasicBlockPassManager_New : public CommonPassManagerImpl {
|
2006-11-08 10:05:38 +00:00
|
|
|
|
|
|
|
public:
|
|
|
|
BasicBlockPassManager_New() { }
|
|
|
|
|
|
|
|
/// Add a pass into a passmanager queue.
|
|
|
|
bool addPass(Pass *p);
|
|
|
|
|
|
|
|
/// Execute all of the passes scheduled for execution. Keep track of
|
|
|
|
/// whether any of the passes modifies the function, and if so, return true.
|
|
|
|
bool runOnFunction(Function &F);
|
|
|
|
|
2006-11-13 22:40:09 +00:00
|
|
|
/// Return true IFF AnalysisID AID is currently available.
|
2006-11-14 02:54:23 +00:00
|
|
|
Pass *getAnalysisPassFromManager(AnalysisID AID);
|
2006-11-13 22:40:09 +00:00
|
|
|
|
2006-11-08 10:05:38 +00:00
|
|
|
private:
|
|
|
|
};
|
|
|
|
|
2006-11-08 10:44:40 +00:00
|
|
|
/// FunctionPassManagerImpl_New manages FunctionPasses and BasicBlockPassManagers.
|
2006-11-08 10:05:38 +00:00
|
|
|
/// It batches all function passes and basic block pass managers together and
|
|
|
|
/// sequence them to process one function at a time before processing next
|
|
|
|
/// function.
|
2006-11-10 21:33:13 +00:00
|
|
|
class FunctionPassManagerImpl_New : public CommonPassManagerImpl {
|
2006-11-08 10:05:38 +00:00
|
|
|
public:
|
2006-11-08 10:44:40 +00:00
|
|
|
FunctionPassManagerImpl_New(ModuleProvider *P) { /* TODO */ }
|
|
|
|
FunctionPassManagerImpl_New() {
|
2006-11-08 10:05:38 +00:00
|
|
|
activeBBPassManager = NULL;
|
|
|
|
}
|
2006-11-08 10:44:40 +00:00
|
|
|
~FunctionPassManagerImpl_New() { /* TODO */ };
|
2006-11-08 10:05:38 +00:00
|
|
|
|
|
|
|
/// 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 add(Pass *P) { /* TODO*/ }
|
|
|
|
|
|
|
|
/// Add pass into the pass manager queue.
|
|
|
|
bool addPass(Pass *P);
|
|
|
|
|
|
|
|
/// Execute all of the passes scheduled for execution. Keep
|
|
|
|
/// track of whether any of the passes modifies the function, and if
|
|
|
|
/// so, return true.
|
|
|
|
bool runOnModule(Module &M);
|
|
|
|
|
2006-11-13 22:40:09 +00:00
|
|
|
/// Return true IFF AnalysisID AID is currently available.
|
2006-11-14 02:54:23 +00:00
|
|
|
Pass *getAnalysisPassFromManager(AnalysisID AID);
|
2006-11-13 22:40:09 +00:00
|
|
|
|
2006-11-08 10:05:38 +00:00
|
|
|
private:
|
|
|
|
// Active Pass Managers
|
|
|
|
BasicBlockPassManager_New *activeBBPassManager;
|
|
|
|
};
|
|
|
|
|
|
|
|
/// ModulePassManager_New manages ModulePasses and function pass managers.
|
|
|
|
/// It batches all Module passes passes and function pass managers together and
|
|
|
|
/// sequence them to process one module.
|
2006-11-10 21:33:13 +00:00
|
|
|
class ModulePassManager_New : public CommonPassManagerImpl {
|
2006-11-08 10:05:38 +00:00
|
|
|
|
|
|
|
public:
|
|
|
|
ModulePassManager_New() { activeFunctionPassManager = NULL; }
|
|
|
|
|
|
|
|
/// Add a pass into a passmanager queue.
|
|
|
|
bool addPass(Pass *p);
|
|
|
|
|
|
|
|
/// run - Execute all of the passes scheduled for execution. Keep track of
|
|
|
|
/// whether any of the passes modifies the module, and if so, return true.
|
|
|
|
bool runOnModule(Module &M);
|
2006-11-13 22:40:09 +00:00
|
|
|
|
|
|
|
/// Return true IFF AnalysisID AID is currently available.
|
2006-11-14 02:54:23 +00:00
|
|
|
Pass *getAnalysisPassFromManager(AnalysisID AID);
|
2006-11-08 10:05:38 +00:00
|
|
|
|
|
|
|
private:
|
|
|
|
// Active Pass Manager
|
2006-11-08 10:44:40 +00:00
|
|
|
FunctionPassManagerImpl_New *activeFunctionPassManager;
|
2006-11-08 10:05:38 +00:00
|
|
|
};
|
|
|
|
|
2006-11-08 10:29:57 +00:00
|
|
|
/// PassManager_New manages ModulePassManagers
|
2006-11-10 21:33:13 +00:00
|
|
|
class PassManagerImpl_New : public CommonPassManagerImpl {
|
2006-11-08 10:29:57 +00:00
|
|
|
|
|
|
|
public:
|
|
|
|
|
|
|
|
/// 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 add(Pass *P);
|
|
|
|
|
|
|
|
/// run - Execute all of the passes scheduled for execution. Keep track of
|
|
|
|
/// whether any of the passes modifies the module, and if so, return true.
|
|
|
|
bool run(Module &M);
|
|
|
|
|
2006-11-13 22:40:09 +00:00
|
|
|
/// Return true IFF AnalysisID AID is currently available.
|
2006-11-14 02:54:23 +00:00
|
|
|
Pass *getAnalysisPassFromManager(AnalysisID AID);
|
2006-11-13 22:40:09 +00:00
|
|
|
|
2006-11-08 10:29:57 +00:00
|
|
|
private:
|
|
|
|
|
|
|
|
/// Add a pass into a passmanager queue. This is used by schedulePasses
|
|
|
|
bool addPass(Pass *p);
|
|
|
|
|
2006-11-11 02:22:31 +00:00
|
|
|
/// Schedule pass P for execution. Make sure that passes required by
|
|
|
|
/// P are run before P is run. Update analysis info maintained by
|
|
|
|
/// the manager. Remove dead passes. This is a recursive function.
|
|
|
|
void schedulePass(Pass *P);
|
|
|
|
|
2006-11-08 10:29:57 +00:00
|
|
|
/// Schedule all passes collected in pass queue using add(). Add all the
|
|
|
|
/// schedule passes into various manager's queue using addPass().
|
|
|
|
void schedulePasses();
|
|
|
|
|
|
|
|
// Collection of pass managers
|
|
|
|
std::vector<ModulePassManager_New *> PassManagers;
|
|
|
|
|
|
|
|
// Active Pass Manager
|
|
|
|
ModulePassManager_New *activeManager;
|
|
|
|
};
|
|
|
|
|
2006-11-08 10:05:38 +00:00
|
|
|
} // End of llvm namespace
|
|
|
|
|
2006-11-10 21:33:13 +00:00
|
|
|
// CommonPassManagerImpl implementation
|
2006-11-07 22:35:17 +00:00
|
|
|
|
2006-11-08 01:31:28 +00:00
|
|
|
/// Return true IFF pass P's required analysis set does not required new
|
2006-11-07 22:35:17 +00:00
|
|
|
/// manager.
|
2006-11-10 21:33:13 +00:00
|
|
|
bool CommonPassManagerImpl::manageablePass(Pass *P) {
|
2006-11-07 22:35:17 +00:00
|
|
|
|
|
|
|
AnalysisUsage AnUsage;
|
|
|
|
P->getAnalysisUsage(AnUsage);
|
|
|
|
|
2006-11-11 00:42:16 +00:00
|
|
|
// If this pass is not preserving information that is required by the other
|
|
|
|
// passes managed by this manager then use new manager
|
|
|
|
if (!AnUsage.getPreservesAll()) {
|
|
|
|
const std::vector<AnalysisID> &PreservedSet = AnUsage.getPreservedSet();
|
|
|
|
for (std::vector<AnalysisID>::iterator I = RequiredAnalysis.begin(),
|
|
|
|
E = RequiredAnalysis.end(); I != E; ++I) {
|
|
|
|
if (std::find(PreservedSet.begin(), PreservedSet.end(), *I) ==
|
|
|
|
PreservedSet.end())
|
|
|
|
// This analysis is not preserved. Need new manager.
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
}
|
2006-11-07 22:35:17 +00:00
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
2006-11-11 01:10:19 +00:00
|
|
|
/// Augment RequiredAnalysis by adding analysis required by pass P.
|
2006-11-10 21:33:13 +00:00
|
|
|
void CommonPassManagerImpl::noteDownRequiredAnalysis(Pass *P) {
|
2006-11-11 00:42:16 +00:00
|
|
|
AnalysisUsage AnUsage;
|
|
|
|
P->getAnalysisUsage(AnUsage);
|
|
|
|
const std::vector<AnalysisID> &RequiredSet = AnUsage.getRequiredSet();
|
2006-11-07 22:35:17 +00:00
|
|
|
|
2006-11-11 00:42:16 +00:00
|
|
|
// FIXME: What about duplicates ?
|
2006-11-11 01:24:55 +00:00
|
|
|
RequiredAnalysis.insert(RequiredAnalysis.end(), RequiredSet.begin(),
|
|
|
|
RequiredSet.end());
|
2006-11-07 22:35:17 +00:00
|
|
|
}
|
|
|
|
|
2006-11-11 01:10:19 +00:00
|
|
|
/// Augement AvailableAnalysis by adding analysis made available by pass P.
|
|
|
|
void CommonPassManagerImpl::noteDownAvailableAnalysis(Pass *P) {
|
2006-11-14 01:59:59 +00:00
|
|
|
|
2006-11-11 01:10:19 +00:00
|
|
|
if (const PassInfo *PI = P->getPassInfo()) {
|
2006-11-14 01:59:59 +00:00
|
|
|
AvailableAnalysis[PI] = P;
|
2006-11-11 01:10:19 +00:00
|
|
|
|
|
|
|
//TODO This pass is the current implementation of all of the interfaces it
|
|
|
|
//TODO implements as well.
|
|
|
|
//TODO
|
|
|
|
//TODO const std::vector<const PassInfo*> &II = PI->getInterfacesImplemented();
|
|
|
|
//TODO for (unsigned i = 0, e = II.size(); i != e; ++i)
|
|
|
|
//TODO CurrentAnalyses[II[i]] = P;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2006-11-07 22:35:17 +00:00
|
|
|
/// Remove Analyss not preserved by Pass P
|
2006-11-10 21:33:13 +00:00
|
|
|
void CommonPassManagerImpl::removeNotPreservedAnalysis(Pass *P) {
|
2006-11-11 01:24:55 +00:00
|
|
|
AnalysisUsage AnUsage;
|
|
|
|
P->getAnalysisUsage(AnUsage);
|
|
|
|
const std::vector<AnalysisID> &PreservedSet = AnUsage.getPreservedSet();
|
|
|
|
|
2006-11-14 01:59:59 +00:00
|
|
|
for (std::map<AnalysisID, Pass*>::iterator I = AvailableAnalysis.begin(),
|
2006-11-11 01:24:55 +00:00
|
|
|
E = AvailableAnalysis.end(); I != E; ++I ) {
|
2006-11-14 01:59:59 +00:00
|
|
|
if (std::find(PreservedSet.begin(), PreservedSet.end(), I->first) ==
|
2006-11-11 01:24:55 +00:00
|
|
|
PreservedSet.end()) {
|
|
|
|
// Remove this analysis
|
2006-11-14 01:59:59 +00:00
|
|
|
std::map<AnalysisID, Pass*>::iterator J = I++;
|
2006-11-11 01:24:55 +00:00
|
|
|
AvailableAnalysis.erase(J);
|
|
|
|
}
|
|
|
|
}
|
2006-11-07 22:35:17 +00:00
|
|
|
}
|
|
|
|
|
2006-11-14 03:05:08 +00:00
|
|
|
/// Remove analysis passes that are not used any longer
|
|
|
|
void CommonPassManagerImpl::removeDeadPasses(Pass *P) {
|
|
|
|
|
|
|
|
for (std::map<Pass *, Pass *>::iterator I = LastUser.begin(),
|
|
|
|
E = LastUser.end(); I !=E; ++I) {
|
|
|
|
if (I->second == P) {
|
|
|
|
Pass *deadPass = I->first;
|
|
|
|
deadPass->releaseMemory();
|
|
|
|
|
|
|
|
std::map<AnalysisID, Pass*>::iterator Pos =
|
|
|
|
AvailableAnalysis.find(deadPass->getPassInfo());
|
|
|
|
|
|
|
|
assert (Pos != AvailableAnalysis.end() &&
|
|
|
|
"Pass is not available");
|
|
|
|
AvailableAnalysis.erase(Pos);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2006-11-11 01:51:02 +00:00
|
|
|
/// Add pass P into the PassVector. Update RequiredAnalysis and
|
2006-11-11 02:04:19 +00:00
|
|
|
/// AvailableAnalysis appropriately if ProcessAnalysis is true.
|
|
|
|
void CommonPassManagerImpl::addPassToManager (Pass *P,
|
|
|
|
bool ProcessAnalysis) {
|
2006-11-11 01:51:02 +00:00
|
|
|
|
2006-11-11 02:04:19 +00:00
|
|
|
if (ProcessAnalysis) {
|
|
|
|
// Take a note of analysis required and made available by this pass
|
|
|
|
noteDownRequiredAnalysis(P);
|
|
|
|
noteDownAvailableAnalysis(P);
|
|
|
|
|
|
|
|
// Remove the analysis not preserved by this pass
|
|
|
|
removeNotPreservedAnalysis(P);
|
|
|
|
}
|
2006-11-11 01:51:02 +00:00
|
|
|
|
|
|
|
// Add pass
|
|
|
|
PassVector.push_back(P);
|
|
|
|
}
|
|
|
|
|
2006-11-07 21:31:57 +00:00
|
|
|
/// BasicBlockPassManager implementation
|
|
|
|
|
2006-11-08 01:31:28 +00:00
|
|
|
/// Add pass P into PassVector and return true. If this pass is not
|
|
|
|
/// manageable by this manager then return false.
|
2006-11-07 21:31:57 +00:00
|
|
|
bool
|
2006-11-08 01:31:28 +00:00
|
|
|
BasicBlockPassManager_New::addPass(Pass *P) {
|
2006-11-07 21:31:57 +00:00
|
|
|
|
|
|
|
BasicBlockPass *BP = dynamic_cast<BasicBlockPass*>(P);
|
|
|
|
if (!BP)
|
|
|
|
return false;
|
|
|
|
|
2006-11-07 22:56:50 +00:00
|
|
|
// If this pass does not preserve anlysis that is used by other passes
|
|
|
|
// managed by this manager than it is not a suiable pass for this manager.
|
2006-11-08 01:31:28 +00:00
|
|
|
if (!manageablePass(P))
|
2006-11-07 22:56:50 +00:00
|
|
|
return false;
|
|
|
|
|
2006-11-11 01:51:02 +00:00
|
|
|
addPassToManager (BP);
|
2006-11-11 01:24:55 +00:00
|
|
|
|
2006-11-07 21:31:57 +00:00
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Execute all of the passes scheduled for execution by invoking
|
|
|
|
/// runOnBasicBlock method. Keep track of whether any of the passes modifies
|
|
|
|
/// the function, and if so, return true.
|
|
|
|
bool
|
|
|
|
BasicBlockPassManager_New::runOnFunction(Function &F) {
|
|
|
|
|
|
|
|
bool Changed = false;
|
2006-11-14 01:23:29 +00:00
|
|
|
clearAnalysis();
|
|
|
|
|
2006-11-07 21:31:57 +00:00
|
|
|
for (Function::iterator I = F.begin(), E = F.end(); I != E; ++I)
|
2006-11-11 01:51:02 +00:00
|
|
|
for (std::vector<Pass *>::iterator itr = passVectorBegin(),
|
|
|
|
e = passVectorEnd(); itr != e; ++itr) {
|
2006-11-07 21:31:57 +00:00
|
|
|
Pass *P = *itr;
|
2006-11-14 01:23:29 +00:00
|
|
|
|
|
|
|
noteDownAvailableAnalysis(P);
|
2006-11-07 21:31:57 +00:00
|
|
|
BasicBlockPass *BP = dynamic_cast<BasicBlockPass*>(P);
|
|
|
|
Changed |= BP->runOnBasicBlock(*I);
|
2006-11-14 01:23:29 +00:00
|
|
|
removeNotPreservedAnalysis(P);
|
2006-11-14 03:05:08 +00:00
|
|
|
removeDeadPasses(P);
|
2006-11-07 21:31:57 +00:00
|
|
|
}
|
|
|
|
return Changed;
|
|
|
|
}
|
|
|
|
|
2006-11-13 22:40:09 +00:00
|
|
|
/// Return true IFF AnalysisID AID is currently available.
|
2006-11-14 02:54:23 +00:00
|
|
|
Pass * BasicBlockPassManager_New::getAnalysisPassFromManager(AnalysisID AID) {
|
|
|
|
return getAnalysisPass(AID);
|
2006-11-13 22:40:09 +00:00
|
|
|
}
|
|
|
|
|
2006-11-07 21:49:50 +00:00
|
|
|
// FunctionPassManager_New implementation
|
2006-11-08 10:44:40 +00:00
|
|
|
/// Create new Function pass manager
|
|
|
|
FunctionPassManager_New::FunctionPassManager_New() {
|
|
|
|
FPM = new FunctionPassManagerImpl_New();
|
|
|
|
}
|
|
|
|
|
|
|
|
/// 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_New::add(Pass *P) {
|
|
|
|
FPM->add(P);
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Execute all of the passes scheduled for execution. Keep
|
|
|
|
/// track of whether any of the passes modifies the function, and if
|
|
|
|
/// so, return true.
|
|
|
|
bool
|
|
|
|
FunctionPassManager_New::runOnModule(Module &M) {
|
|
|
|
return FPM->runOnModule(M);
|
|
|
|
}
|
|
|
|
|
|
|
|
// FunctionPassManagerImpl_New implementation
|
2006-11-07 21:49:50 +00:00
|
|
|
|
|
|
|
// FunctionPassManager
|
|
|
|
|
|
|
|
/// Add pass P into the pass manager queue. If P is a BasicBlockPass then
|
|
|
|
/// either use it into active basic block pass manager or create new basic
|
|
|
|
/// block pass manager to handle pass P.
|
|
|
|
bool
|
2006-11-08 10:44:40 +00:00
|
|
|
FunctionPassManagerImpl_New::addPass(Pass *P) {
|
2006-11-07 21:49:50 +00:00
|
|
|
|
|
|
|
// If P is a BasicBlockPass then use BasicBlockPassManager_New.
|
|
|
|
if (BasicBlockPass *BP = dynamic_cast<BasicBlockPass*>(P)) {
|
|
|
|
|
|
|
|
if (!activeBBPassManager
|
|
|
|
|| !activeBBPassManager->addPass(BP)) {
|
|
|
|
|
|
|
|
activeBBPassManager = new BasicBlockPassManager_New();
|
2006-11-11 02:04:19 +00:00
|
|
|
addPassToManager(activeBBPassManager, false);
|
2006-11-08 01:31:28 +00:00
|
|
|
if (!activeBBPassManager->addPass(BP))
|
|
|
|
assert(0 && "Unable to add Pass");
|
2006-11-07 21:49:50 +00:00
|
|
|
}
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
|
|
|
FunctionPass *FP = dynamic_cast<FunctionPass *>(P);
|
|
|
|
if (!FP)
|
|
|
|
return false;
|
|
|
|
|
2006-11-07 22:56:50 +00:00
|
|
|
// If this pass does not preserve anlysis that is used by other passes
|
|
|
|
// managed by this manager than it is not a suiable pass for this manager.
|
2006-11-08 01:31:28 +00:00
|
|
|
if (!manageablePass(P))
|
2006-11-07 22:56:50 +00:00
|
|
|
return false;
|
|
|
|
|
2006-11-11 01:51:02 +00:00
|
|
|
addPassToManager (FP);
|
2006-11-07 21:49:50 +00:00
|
|
|
activeBBPassManager = NULL;
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Execute all of the passes scheduled for execution by invoking
|
|
|
|
/// runOnFunction method. Keep track of whether any of the passes modifies
|
|
|
|
/// the function, and if so, return true.
|
|
|
|
bool
|
2006-11-08 10:44:40 +00:00
|
|
|
FunctionPassManagerImpl_New::runOnModule(Module &M) {
|
2006-11-07 21:49:50 +00:00
|
|
|
|
|
|
|
bool Changed = false;
|
2006-11-14 01:23:29 +00:00
|
|
|
clearAnalysis();
|
|
|
|
|
2006-11-07 21:49:50 +00:00
|
|
|
for (Module::iterator I = M.begin(), E = M.end(); I != E; ++I)
|
2006-11-11 01:51:02 +00:00
|
|
|
for (std::vector<Pass *>::iterator itr = passVectorBegin(),
|
|
|
|
e = passVectorEnd(); itr != e; ++itr) {
|
2006-11-07 21:49:50 +00:00
|
|
|
Pass *P = *itr;
|
2006-11-14 01:23:29 +00:00
|
|
|
|
|
|
|
noteDownAvailableAnalysis(P);
|
2006-11-07 21:49:50 +00:00
|
|
|
FunctionPass *FP = dynamic_cast<FunctionPass*>(P);
|
|
|
|
Changed |= FP->runOnFunction(*I);
|
2006-11-14 01:23:29 +00:00
|
|
|
removeNotPreservedAnalysis(P);
|
2006-11-14 03:05:08 +00:00
|
|
|
removeDeadPasses(P);
|
2006-11-07 21:49:50 +00:00
|
|
|
}
|
|
|
|
return Changed;
|
|
|
|
}
|
|
|
|
|
2006-11-13 22:40:09 +00:00
|
|
|
/// Return true IFF AnalysisID AID is currently available.
|
2006-11-14 02:54:23 +00:00
|
|
|
Pass *FunctionPassManagerImpl_New::getAnalysisPassFromManager(AnalysisID AID) {
|
2006-11-13 22:40:09 +00:00
|
|
|
|
2006-11-14 02:54:23 +00:00
|
|
|
Pass *P = getAnalysisPass(AID);
|
|
|
|
if (P)
|
|
|
|
return P;
|
2006-11-13 22:40:09 +00:00
|
|
|
|
|
|
|
if (activeBBPassManager &&
|
2006-11-14 01:59:59 +00:00
|
|
|
activeBBPassManager->getAnalysisPass(AID) != 0)
|
2006-11-14 02:54:23 +00:00
|
|
|
return activeBBPassManager->getAnalysisPass(AID);
|
2006-11-13 22:40:09 +00:00
|
|
|
|
|
|
|
// TODO : Check inactive managers
|
2006-11-14 02:54:23 +00:00
|
|
|
return NULL;
|
2006-11-13 22:40:09 +00:00
|
|
|
}
|
2006-11-07 21:49:50 +00:00
|
|
|
|
2006-11-07 22:03:15 +00:00
|
|
|
// ModulePassManager implementation
|
|
|
|
|
|
|
|
/// Add P into pass vector if it is manageble. If P is a FunctionPass
|
2006-11-08 10:44:40 +00:00
|
|
|
/// then use FunctionPassManagerImpl_New to manage it. Return false if P
|
2006-11-07 22:03:15 +00:00
|
|
|
/// is not manageable by this manager.
|
|
|
|
bool
|
2006-11-08 01:31:28 +00:00
|
|
|
ModulePassManager_New::addPass(Pass *P) {
|
2006-11-07 22:03:15 +00:00
|
|
|
|
|
|
|
// If P is FunctionPass then use function pass maanager.
|
|
|
|
if (FunctionPass *FP = dynamic_cast<FunctionPass*>(P)) {
|
|
|
|
|
|
|
|
activeFunctionPassManager = NULL;
|
|
|
|
|
|
|
|
if (!activeFunctionPassManager
|
|
|
|
|| !activeFunctionPassManager->addPass(P)) {
|
|
|
|
|
2006-11-08 10:44:40 +00:00
|
|
|
activeFunctionPassManager = new FunctionPassManagerImpl_New();
|
2006-11-11 02:04:19 +00:00
|
|
|
addPassToManager(activeFunctionPassManager, false);
|
2006-11-08 01:31:28 +00:00
|
|
|
if (!activeFunctionPassManager->addPass(FP))
|
|
|
|
assert(0 && "Unable to add pass");
|
2006-11-07 22:03:15 +00:00
|
|
|
}
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
|
|
|
ModulePass *MP = dynamic_cast<ModulePass *>(P);
|
|
|
|
if (!MP)
|
|
|
|
return false;
|
|
|
|
|
2006-11-07 22:56:50 +00:00
|
|
|
// If this pass does not preserve anlysis that is used by other passes
|
|
|
|
// managed by this manager than it is not a suiable pass for this manager.
|
2006-11-08 01:31:28 +00:00
|
|
|
if (!manageablePass(P))
|
2006-11-07 22:56:50 +00:00
|
|
|
return false;
|
|
|
|
|
2006-11-11 01:51:02 +00:00
|
|
|
addPassToManager(MP);
|
2006-11-07 22:03:15 +00:00
|
|
|
activeFunctionPassManager = NULL;
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
/// Execute all of the passes scheduled for execution by invoking
|
|
|
|
/// runOnModule method. Keep track of whether any of the passes modifies
|
|
|
|
/// the module, and if so, return true.
|
|
|
|
bool
|
|
|
|
ModulePassManager_New::runOnModule(Module &M) {
|
|
|
|
bool Changed = false;
|
2006-11-14 01:23:29 +00:00
|
|
|
clearAnalysis();
|
|
|
|
|
2006-11-11 01:51:02 +00:00
|
|
|
for (std::vector<Pass *>::iterator itr = passVectorBegin(),
|
|
|
|
e = passVectorEnd(); itr != e; ++itr) {
|
2006-11-07 22:03:15 +00:00
|
|
|
Pass *P = *itr;
|
2006-11-14 01:23:29 +00:00
|
|
|
|
|
|
|
noteDownAvailableAnalysis(P);
|
2006-11-07 22:03:15 +00:00
|
|
|
ModulePass *MP = dynamic_cast<ModulePass*>(P);
|
|
|
|
Changed |= MP->runOnModule(M);
|
2006-11-14 01:23:29 +00:00
|
|
|
removeNotPreservedAnalysis(P);
|
2006-11-14 03:05:08 +00:00
|
|
|
removeDeadPasses(P);
|
2006-11-07 22:03:15 +00:00
|
|
|
}
|
|
|
|
return Changed;
|
|
|
|
}
|
|
|
|
|
2006-11-13 22:40:09 +00:00
|
|
|
/// Return true IFF AnalysisID AID is currently available.
|
2006-11-14 02:54:23 +00:00
|
|
|
Pass *ModulePassManager_New::getAnalysisPassFromManager(AnalysisID AID) {
|
2006-11-13 22:40:09 +00:00
|
|
|
|
2006-11-14 02:54:23 +00:00
|
|
|
|
|
|
|
Pass *P = getAnalysisPass(AID);
|
|
|
|
if (P)
|
|
|
|
return P;
|
2006-11-13 22:40:09 +00:00
|
|
|
|
|
|
|
if (activeFunctionPassManager &&
|
2006-11-14 01:59:59 +00:00
|
|
|
activeFunctionPassManager->getAnalysisPass(AID) != 0)
|
2006-11-14 02:54:23 +00:00
|
|
|
return activeFunctionPassManager->getAnalysisPass(AID);
|
2006-11-13 22:40:09 +00:00
|
|
|
|
|
|
|
// TODO : Check inactive managers
|
2006-11-14 02:54:23 +00:00
|
|
|
return NULL;
|
2006-11-13 22:40:09 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/// Return true IFF AnalysisID AID is currently available.
|
2006-11-14 02:54:23 +00:00
|
|
|
Pass *PassManagerImpl_New::getAnalysisPassFromManager(AnalysisID AID) {
|
2006-11-13 22:40:09 +00:00
|
|
|
|
2006-11-14 02:54:23 +00:00
|
|
|
Pass *P = NULL;
|
2006-11-13 22:53:19 +00:00
|
|
|
for (std::vector<ModulePassManager_New *>::iterator itr = PassManagers.begin(),
|
2006-11-14 02:54:23 +00:00
|
|
|
e = PassManagers.end(); !P && itr != e; ++itr)
|
|
|
|
P = (*itr)->getAnalysisPassFromManager(AID);
|
|
|
|
return P;
|
2006-11-13 22:40:09 +00:00
|
|
|
}
|
|
|
|
|
2006-11-11 02:22:31 +00:00
|
|
|
/// Schedule pass P for execution. Make sure that passes required by
|
|
|
|
/// P are run before P is run. Update analysis info maintained by
|
|
|
|
/// the manager. Remove dead passes. This is a recursive function.
|
|
|
|
void PassManagerImpl_New::schedulePass(Pass *P) {
|
|
|
|
|
|
|
|
AnalysisUsage AnUsage;
|
|
|
|
P->getAnalysisUsage(AnUsage);
|
|
|
|
const std::vector<AnalysisID> &RequiredSet = AnUsage.getRequiredSet();
|
|
|
|
for (std::vector<AnalysisID>::const_iterator I = RequiredSet.begin(),
|
|
|
|
E = RequiredSet.end(); I != E; ++I) {
|
|
|
|
|
2006-11-14 02:54:23 +00:00
|
|
|
Pass *AnalysisPass = getAnalysisPassFromManager(*I);
|
|
|
|
if (!AnalysisPass) {
|
2006-11-11 02:22:31 +00:00
|
|
|
// Schedule this analysis run first.
|
2006-11-14 02:54:23 +00:00
|
|
|
AnalysisPass = (*I)->createPass();
|
|
|
|
schedulePass(AnalysisPass);
|
2006-11-11 02:22:31 +00:00
|
|
|
}
|
2006-11-14 02:54:23 +00:00
|
|
|
setLastUser (AnalysisPass, P);
|
2006-11-11 02:22:31 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
addPass(P);
|
|
|
|
}
|
|
|
|
|
2006-11-07 22:23:34 +00:00
|
|
|
/// Schedule all passes from the queue by adding them in their
|
|
|
|
/// respective manager's queue.
|
2006-11-11 02:22:31 +00:00
|
|
|
void PassManagerImpl_New::schedulePasses() {
|
|
|
|
for (std::vector<Pass *>::iterator I = passVectorBegin(),
|
|
|
|
E = passVectorEnd(); I != E; ++I)
|
|
|
|
schedulePass (*I);
|
2006-11-07 22:23:34 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/// Add pass P to the queue of passes to run.
|
2006-11-11 02:22:31 +00:00
|
|
|
void PassManagerImpl_New::add(Pass *P) {
|
|
|
|
// Do not process Analysis now. Analysis is process while scheduling
|
|
|
|
// the pass vector.
|
2006-11-11 02:06:21 +00:00
|
|
|
addPassToManager(P, false);
|
2006-11-07 22:23:34 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
// PassManager_New implementation
|
|
|
|
/// Add P into active pass manager or use new module pass manager to
|
|
|
|
/// manage it.
|
2006-11-11 02:22:31 +00:00
|
|
|
bool PassManagerImpl_New::addPass(Pass *P) {
|
2006-11-07 22:23:34 +00:00
|
|
|
|
2006-11-11 00:42:16 +00:00
|
|
|
if (!activeManager || !activeManager->addPass(P)) {
|
2006-11-07 22:23:34 +00:00
|
|
|
activeManager = new ModulePassManager_New();
|
|
|
|
PassManagers.push_back(activeManager);
|
|
|
|
}
|
|
|
|
|
|
|
|
return activeManager->addPass(P);
|
|
|
|
}
|
|
|
|
|
|
|
|
/// run - Execute all of the passes scheduled for execution. Keep track of
|
|
|
|
/// whether any of the passes modifies the module, and if so, return true.
|
2006-11-11 02:22:31 +00:00
|
|
|
bool PassManagerImpl_New::run(Module &M) {
|
2006-11-07 22:23:34 +00:00
|
|
|
|
|
|
|
schedulePasses();
|
|
|
|
bool Changed = false;
|
|
|
|
for (std::vector<ModulePassManager_New *>::iterator itr = PassManagers.begin(),
|
|
|
|
e = PassManagers.end(); itr != e; ++itr) {
|
|
|
|
ModulePassManager_New *pm = *itr;
|
|
|
|
Changed |= pm->runOnModule(M);
|
|
|
|
}
|
|
|
|
return Changed;
|
|
|
|
}
|
2006-11-08 10:29:57 +00:00
|
|
|
|
|
|
|
/// Create new pass manager
|
|
|
|
PassManager_New::PassManager_New() {
|
|
|
|
PM = new PassManagerImpl_New();
|
|
|
|
}
|
|
|
|
|
|
|
|
/// 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_New::add(Pass *P) {
|
|
|
|
PM->add(P);
|
|
|
|
}
|
|
|
|
|
|
|
|
/// run - Execute all of the passes scheduled for execution. Keep track of
|
|
|
|
/// whether any of the passes modifies the module, and if so, return true.
|
|
|
|
bool
|
|
|
|
PassManager_New::run(Module &M) {
|
|
|
|
return PM->run(M);
|
|
|
|
}
|
|
|
|
|