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"
|
2006-12-13 20:03:48 +00:00
|
|
|
#include "llvm/Support/CommandLine.h"
|
2006-12-14 00:59:42 +00:00
|
|
|
#include "llvm/Support/Timer.h"
|
2006-11-07 21:31:57 +00:00
|
|
|
#include "llvm/Module.h"
|
2006-11-15 01:27:05 +00:00
|
|
|
#include "llvm/ModuleProvider.h"
|
2006-11-28 02:09:03 +00:00
|
|
|
#include "llvm/Support/Streams.h"
|
2006-12-14 00:59:42 +00:00
|
|
|
#include "llvm/Support/ManagedStatic.h"
|
2006-11-11 01:31:05 +00:00
|
|
|
#include <vector>
|
2006-11-14 01:59:59 +00:00
|
|
|
#include <map>
|
2006-12-15 19:39:30 +00:00
|
|
|
|
2006-11-07 21:31:57 +00:00
|
|
|
using namespace llvm;
|
2006-12-15 19:39:30 +00:00
|
|
|
class llvm::PMDataManager;
|
2006-11-07 21:31:57 +00:00
|
|
|
|
2006-12-07 18:23:30 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// Overview:
|
|
|
|
// The Pass Manager Infrastructure manages passes. It's responsibilities are:
|
|
|
|
//
|
|
|
|
// o Manage optimization pass execution order
|
|
|
|
// o Make required Analysis information available before pass P is run
|
|
|
|
// o Release memory occupied by dead passes
|
|
|
|
// o If Analysis information is dirtied by a pass then regenerate Analysis
|
|
|
|
// information before it is consumed by another pass.
|
|
|
|
//
|
2006-12-14 18:22:14 +00:00
|
|
|
// Pass Manager Infrastructure uses multiple pass managers. They are
|
|
|
|
// PassManager, FunctionPassManager, ModulePassManager, BasicBlockPassManager.
|
|
|
|
// This class hierarcy uses multiple inheritance but pass managers do not derive
|
|
|
|
// from another pass manager.
|
2006-12-07 18:23:30 +00:00
|
|
|
//
|
2006-12-14 18:22:14 +00:00
|
|
|
// PassManager and FunctionPassManager are two top-level pass manager that
|
2006-12-07 18:23:30 +00:00
|
|
|
// represents the external interface of this entire pass manager infrastucture.
|
|
|
|
//
|
|
|
|
// Important classes :
|
|
|
|
//
|
|
|
|
// [o] class PMTopLevelManager;
|
|
|
|
//
|
|
|
|
// Two top level managers, PassManager and FunctionPassManager, derive from
|
|
|
|
// PMTopLevelManager. PMTopLevelManager manages information used by top level
|
|
|
|
// managers such as last user info.
|
|
|
|
//
|
|
|
|
// [o] class PMDataManager;
|
|
|
|
//
|
|
|
|
// PMDataManager manages information, e.g. list of available analysis info,
|
|
|
|
// used by a pass manager to manage execution order of passes. It also provides
|
|
|
|
// a place to implement common pass manager APIs. All pass managers derive from
|
|
|
|
// PMDataManager.
|
|
|
|
//
|
|
|
|
// [o] class BasicBlockPassManager : public FunctionPass, public PMDataManager;
|
|
|
|
//
|
|
|
|
// BasicBlockPassManager manages BasicBlockPasses.
|
|
|
|
//
|
|
|
|
// [o] class FunctionPassManager;
|
|
|
|
//
|
|
|
|
// This is a external interface used by JIT to manage FunctionPasses. This
|
|
|
|
// interface relies on FunctionPassManagerImpl to do all the tasks.
|
|
|
|
//
|
|
|
|
// [o] class FunctionPassManagerImpl : public ModulePass, PMDataManager,
|
|
|
|
// public PMTopLevelManager;
|
|
|
|
//
|
|
|
|
// FunctionPassManagerImpl is a top level manager. It manages FunctionPasses
|
|
|
|
// and BasicBlockPassManagers.
|
|
|
|
//
|
|
|
|
// [o] class ModulePassManager : public Pass, public PMDataManager;
|
|
|
|
//
|
|
|
|
// ModulePassManager manages ModulePasses and FunctionPassManagerImpls.
|
|
|
|
//
|
|
|
|
// [o] class PassManager;
|
|
|
|
//
|
|
|
|
// This is a external interface used by various tools to manages passes. It
|
|
|
|
// relies on PassManagerImpl to do all the tasks.
|
|
|
|
//
|
|
|
|
// [o] class PassManagerImpl : public Pass, public PMDataManager,
|
|
|
|
// public PMDTopLevelManager
|
|
|
|
//
|
|
|
|
// PassManagerImpl is a top level pass manager responsible for managing
|
|
|
|
// ModulePassManagers.
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
2006-12-13 20:03:48 +00:00
|
|
|
namespace llvm {
|
|
|
|
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// Pass debugging information. Often it is useful to find out what pass is
|
|
|
|
// running when a crash occurs in a utility. When this library is compiled with
|
|
|
|
// debugging on, a command line option (--debug-pass) is enabled that causes the
|
|
|
|
// pass name to be printed before it executes.
|
|
|
|
//
|
|
|
|
|
2006-12-13 21:13:31 +00:00
|
|
|
// Different debug levels that can be enabled...
|
|
|
|
enum PassDebugLevel {
|
|
|
|
None, Arguments, Structure, Executions, Details
|
|
|
|
};
|
|
|
|
|
2006-12-13 20:03:48 +00:00
|
|
|
static cl::opt<enum PassDebugLevel>
|
|
|
|
PassDebugging_New("debug-pass", cl::Hidden,
|
|
|
|
cl::desc("Print PassManager debugging information"),
|
|
|
|
cl::values(
|
2006-12-13 21:13:31 +00:00
|
|
|
clEnumVal(None , "disable debug output"),
|
|
|
|
clEnumVal(Arguments , "print pass arguments to pass to 'opt'"),
|
|
|
|
clEnumVal(Structure , "print pass structure before run()"),
|
|
|
|
clEnumVal(Executions, "print pass name before it is executed"),
|
|
|
|
clEnumVal(Details , "print pass details when it is executed"),
|
2006-12-13 20:03:48 +00:00
|
|
|
clEnumValEnd));
|
|
|
|
} // End of llvm namespace
|
|
|
|
|
2006-12-13 02:36:01 +00:00
|
|
|
#ifndef USE_OLD_PASSMANAGER
|
2006-12-15 19:39:30 +00:00
|
|
|
namespace {
|
2006-12-12 22:35:25 +00:00
|
|
|
|
2006-12-07 19:21:29 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// PMTopLevelManager
|
|
|
|
//
|
|
|
|
/// PMTopLevelManager manages LastUser info and collects common APIs used by
|
|
|
|
/// top level pass managers.
|
2006-12-15 19:39:30 +00:00
|
|
|
class VISIBILITY_HIDDEN PMTopLevelManager {
|
2006-12-07 19:21:29 +00:00
|
|
|
public:
|
|
|
|
|
|
|
|
inline std::vector<Pass *>::iterator passManagersBegin() {
|
|
|
|
return PassManagers.begin();
|
|
|
|
}
|
|
|
|
|
|
|
|
inline std::vector<Pass *>::iterator passManagersEnd() {
|
|
|
|
return PassManagers.end();
|
|
|
|
}
|
|
|
|
|
|
|
|
/// 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.
|
2006-12-08 22:34:02 +00:00
|
|
|
void schedulePass(Pass *P);
|
2006-12-07 19:21:29 +00:00
|
|
|
|
|
|
|
/// This is implemented by top level pass manager and used by
|
|
|
|
/// schedulePass() to add analysis info passes that are not available.
|
|
|
|
virtual void addTopLevelPass(Pass *P) = 0;
|
|
|
|
|
|
|
|
/// Set pass P as the last user of the given analysis passes.
|
|
|
|
void setLastUser(std::vector<Pass *> &AnalysisPasses, Pass *P);
|
|
|
|
|
|
|
|
/// Collect passes whose last user is P
|
|
|
|
void collectLastUses(std::vector<Pass *> &LastUses, Pass *P);
|
|
|
|
|
2006-12-08 22:30:11 +00:00
|
|
|
/// Find the pass that implements Analysis AID. Search immutable
|
|
|
|
/// passes and all pass managers. If desired pass is not found
|
|
|
|
/// then return NULL.
|
|
|
|
Pass *findAnalysisPass(AnalysisID AID);
|
|
|
|
|
2006-12-13 02:36:01 +00:00
|
|
|
inline void clearManagers() {
|
|
|
|
PassManagers.clear();
|
|
|
|
}
|
|
|
|
|
2006-12-07 19:21:29 +00:00
|
|
|
virtual ~PMTopLevelManager() {
|
2006-12-13 00:09:23 +00:00
|
|
|
for (std::vector<Pass *>::iterator I = PassManagers.begin(),
|
|
|
|
E = PassManagers.end(); I != E; ++I)
|
|
|
|
delete *I;
|
|
|
|
|
|
|
|
for (std::vector<ImmutablePass *>::iterator
|
|
|
|
I = ImmutablePasses.begin(), E = ImmutablePasses.end(); I != E; ++I)
|
|
|
|
delete *I;
|
|
|
|
|
2006-12-07 19:21:29 +00:00
|
|
|
PassManagers.clear();
|
|
|
|
}
|
|
|
|
|
2006-12-07 20:51:18 +00:00
|
|
|
/// Add immutable pass and initialize it.
|
|
|
|
inline void addImmutablePass(ImmutablePass *P) {
|
|
|
|
P->initializePass();
|
|
|
|
ImmutablePasses.push_back(P);
|
|
|
|
}
|
|
|
|
|
|
|
|
inline std::vector<ImmutablePass *>& getImmutablePasses() {
|
|
|
|
return ImmutablePasses;
|
|
|
|
}
|
|
|
|
|
2006-12-08 22:47:25 +00:00
|
|
|
void addPassManager(Pass *Manager) {
|
|
|
|
PassManagers.push_back(Manager);
|
|
|
|
}
|
|
|
|
|
2006-12-08 23:11:43 +00:00
|
|
|
// Add Manager into the list of managers that are not directly
|
|
|
|
// maintained by this top level pass manager
|
2006-12-12 22:35:25 +00:00
|
|
|
inline void addIndirectPassManager(PMDataManager *Manager) {
|
|
|
|
IndirectPassManagers.push_back(Manager);
|
2006-12-08 23:11:43 +00:00
|
|
|
}
|
|
|
|
|
2006-12-12 23:34:33 +00:00
|
|
|
// Print passes managed by this top level manager.
|
|
|
|
void dumpPasses();
|
2006-12-13 22:10:00 +00:00
|
|
|
void dumpArguments();
|
2006-12-12 23:34:33 +00:00
|
|
|
|
2006-12-07 19:21:29 +00:00
|
|
|
private:
|
|
|
|
|
|
|
|
/// Collection of pass managers
|
|
|
|
std::vector<Pass *> PassManagers;
|
|
|
|
|
2006-12-08 23:11:43 +00:00
|
|
|
/// Collection of pass managers that are not directly maintained
|
|
|
|
/// by this pass manager
|
2006-12-12 22:35:25 +00:00
|
|
|
std::vector<PMDataManager *> IndirectPassManagers;
|
2006-12-08 23:11:43 +00:00
|
|
|
|
2006-12-07 19:21:29 +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-12-07 20:51:18 +00:00
|
|
|
|
|
|
|
/// Immutable passes are managed by top level manager.
|
|
|
|
std::vector<ImmutablePass *> ImmutablePasses;
|
2006-12-07 19:21:29 +00:00
|
|
|
};
|
2006-12-15 19:39:30 +00:00
|
|
|
|
|
|
|
} // End of anon namespace
|
2006-12-07 19:21:29 +00:00
|
|
|
|
2006-12-07 19:54:15 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// PMDataManager
|
2006-12-07 19:21:29 +00:00
|
|
|
|
2006-12-15 19:39:30 +00:00
|
|
|
namespace llvm {
|
2006-12-07 18:36:24 +00:00
|
|
|
/// PMDataManager provides the common place to manage the analysis data
|
|
|
|
/// used by pass managers.
|
|
|
|
class PMDataManager {
|
2006-11-11 01:31:05 +00:00
|
|
|
public:
|
2006-12-07 23:24:58 +00:00
|
|
|
PMDataManager(int D) : TPM(NULL), Depth(D) {
|
2006-12-07 19:54:15 +00:00
|
|
|
initializeAnalysisInfo();
|
|
|
|
}
|
|
|
|
|
2006-12-13 00:09:23 +00:00
|
|
|
virtual ~PMDataManager() {
|
|
|
|
|
|
|
|
for (std::vector<Pass *>::iterator I = PassVector.begin(),
|
|
|
|
E = PassVector.end(); I != E; ++I)
|
|
|
|
delete *I;
|
|
|
|
|
|
|
|
PassVector.clear();
|
|
|
|
}
|
|
|
|
|
2006-11-11 01:31:05 +00:00
|
|
|
/// Return true IFF pass P's required analysis set does not required new
|
|
|
|
/// manager.
|
|
|
|
bool manageablePass(Pass *P);
|
|
|
|
|
|
|
|
/// Augment AvailableAnalysis by adding analysis made available by pass P.
|
2006-12-07 19:33:53 +00:00
|
|
|
void recordAvailableAnalysis(Pass *P);
|
2006-11-11 01:31:05 +00:00
|
|
|
|
|
|
|
/// Remove Analysis that is not preserved by the pass
|
|
|
|
void removeNotPreservedAnalysis(Pass *P);
|
|
|
|
|
|
|
|
/// Remove dead passes
|
2006-12-13 23:50:44 +00:00
|
|
|
void removeDeadPasses(Pass *P, std::string &Msg);
|
2006-11-11 01:31:05 +00:00
|
|
|
|
2006-12-07 18:47:25 +00:00
|
|
|
/// Add pass P into the PassVector. Update
|
2006-11-11 02:04:19 +00:00
|
|
|
/// AvailableAnalysis appropriately if ProcessAnalysis is true.
|
2006-12-14 18:22:14 +00:00
|
|
|
void addPassToManager(Pass *P, bool ProcessAnalysis = true);
|
2006-11-11 01:51:02 +00:00
|
|
|
|
2006-12-07 23:05:44 +00:00
|
|
|
/// Initialize available analysis information.
|
2006-12-07 18:41:09 +00:00
|
|
|
void initializeAnalysisInfo() {
|
2006-12-15 00:08:26 +00:00
|
|
|
TransferLastUses.clear();
|
2006-11-14 01:23:29 +00:00
|
|
|
AvailableAnalysis.clear();
|
|
|
|
}
|
|
|
|
|
2006-12-07 23:05:44 +00:00
|
|
|
/// Populate RequiredPasses with the analysis pass that are required by
|
|
|
|
/// pass P.
|
|
|
|
void collectRequiredAnalysisPasses(std::vector<Pass *> &RequiredPasses,
|
|
|
|
Pass *P);
|
|
|
|
|
|
|
|
/// 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.
|
|
|
|
void initializeAnalysisImpl(Pass *P);
|
2006-11-14 01:59:59 +00:00
|
|
|
|
2006-12-08 22:30:11 +00:00
|
|
|
/// Find the pass that implements Analysis AID. If desired pass is not found
|
|
|
|
/// then return NULL.
|
|
|
|
Pass *findAnalysisPass(AnalysisID AID, bool Direction);
|
|
|
|
|
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-12-07 19:54:15 +00:00
|
|
|
// Access toplevel manager
|
|
|
|
PMTopLevelManager *getTopLevelManager() { return TPM; }
|
|
|
|
void setTopLevelManager(PMTopLevelManager *T) { TPM = T; }
|
|
|
|
|
2006-12-07 23:24:58 +00:00
|
|
|
unsigned getDepth() { return Depth; }
|
|
|
|
|
2006-12-12 23:34:33 +00:00
|
|
|
// Print list of passes that are last used by P.
|
|
|
|
void dumpLastUses(Pass *P, unsigned Offset) {
|
|
|
|
|
|
|
|
std::vector<Pass *> LUses;
|
|
|
|
|
|
|
|
assert (TPM && "Top Level Manager is missing");
|
|
|
|
TPM->collectLastUses(LUses, P);
|
|
|
|
|
|
|
|
for (std::vector<Pass *>::iterator I = LUses.begin(),
|
|
|
|
E = LUses.end(); I != E; ++I) {
|
|
|
|
llvm::cerr << "--" << std::string(Offset*2, ' ');
|
|
|
|
(*I)->dumpPassStructure(0);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2006-12-13 22:10:00 +00:00
|
|
|
void dumpPassArguments() {
|
|
|
|
for(std::vector<Pass *>::iterator I = PassVector.begin(),
|
|
|
|
E = PassVector.end(); I != E; ++I) {
|
|
|
|
if (PMDataManager *PMD = dynamic_cast<PMDataManager *>(*I))
|
|
|
|
PMD->dumpPassArguments();
|
|
|
|
else
|
|
|
|
if (const PassInfo *PI = (*I)->getPassInfo())
|
|
|
|
if (!PI->isAnalysisGroup())
|
|
|
|
cerr << " -" << PI->getPassArgument();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2006-12-13 23:50:44 +00:00
|
|
|
void dumpPassInfo(Pass *P, std::string &Msg1, std::string &Msg2) {
|
|
|
|
if (PassDebugging_New < Executions)
|
|
|
|
return;
|
|
|
|
cerr << (void*)this << std::string(getDepth()*2+1, ' ');
|
|
|
|
cerr << Msg1;
|
|
|
|
cerr << P->getPassName();
|
|
|
|
cerr << Msg2;
|
|
|
|
}
|
|
|
|
|
2006-12-14 00:25:06 +00:00
|
|
|
void dumpAnalysisSetInfo(const char *Msg, Pass *P,
|
|
|
|
const std::vector<AnalysisID> &Set) {
|
|
|
|
if (PassDebugging_New >= Details && !Set.empty()) {
|
|
|
|
cerr << (void*)P << std::string(getDepth()*2+3, ' ') << Msg << " Analyses:";
|
|
|
|
for (unsigned i = 0; i != Set.size(); ++i) {
|
|
|
|
if (i) cerr << ",";
|
|
|
|
cerr << " " << Set[i]->getPassName();
|
|
|
|
}
|
|
|
|
cerr << "\n";
|
|
|
|
}
|
|
|
|
}
|
2006-12-15 00:08:26 +00:00
|
|
|
|
|
|
|
std::vector<Pass *>& getTransferredLastUses() {
|
|
|
|
return TransferLastUses;
|
|
|
|
}
|
|
|
|
|
2006-12-07 23:55:10 +00:00
|
|
|
protected:
|
|
|
|
|
2006-12-15 00:08:26 +00:00
|
|
|
// If a FunctionPass F is the last user of ModulePass info M
|
2006-12-07 23:55:10 +00:00
|
|
|
// then the F's manager, not F, records itself as a last user of M.
|
2006-12-15 00:08:26 +00:00
|
|
|
// Current pass manage is requesting parent manager to record parent
|
|
|
|
// manager as the last user of these TrransferLastUses passes.
|
|
|
|
std::vector<Pass *> TransferLastUses;
|
2006-12-07 23:55:10 +00:00
|
|
|
|
|
|
|
// Top level manager.
|
|
|
|
PMTopLevelManager *TPM;
|
|
|
|
|
2006-11-11 01:31:05 +00:00
|
|
|
private:
|
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
|
|
|
|
|
|
|
// Collection of pass that are managed by this manager
|
|
|
|
std::vector<Pass *> PassVector;
|
2006-12-07 19:54:15 +00:00
|
|
|
|
2006-12-07 23:24:58 +00:00
|
|
|
unsigned Depth;
|
2006-11-11 01:31:05 +00:00
|
|
|
};
|
|
|
|
|
2006-12-12 22:47:13 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
2006-12-13 02:36:01 +00:00
|
|
|
// BasicBlockPassManager
|
2006-12-12 22:47:13 +00:00
|
|
|
//
|
2006-12-13 02:36:01 +00:00
|
|
|
/// BasicBlockPassManager manages BasicBlockPass. It batches all the
|
2006-11-08 10:05:38 +00:00
|
|
|
/// pass together and sequence them to process one basic block before
|
|
|
|
/// processing next basic block.
|
2006-12-15 19:39:30 +00:00
|
|
|
class VISIBILITY_HIDDEN BasicBlockPassManager : public PMDataManager,
|
2006-12-14 18:22:14 +00:00
|
|
|
public FunctionPass {
|
2006-11-08 10:05:38 +00:00
|
|
|
|
|
|
|
public:
|
2006-12-13 02:36:01 +00:00
|
|
|
BasicBlockPassManager(int D) : PMDataManager(D) { }
|
2006-11-08 10:05:38 +00:00
|
|
|
|
|
|
|
/// 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-12-07 19:57:52 +00:00
|
|
|
/// Pass Manager itself does not invalidate any analysis info.
|
|
|
|
void getAnalysisUsage(AnalysisUsage &Info) const {
|
|
|
|
Info.setPreservesAll();
|
|
|
|
}
|
|
|
|
|
2006-12-08 00:59:05 +00:00
|
|
|
bool doInitialization(Module &M);
|
|
|
|
bool doInitialization(Function &F);
|
|
|
|
bool doFinalization(Module &M);
|
|
|
|
bool doFinalization(Function &F);
|
|
|
|
|
2006-12-12 23:34:33 +00:00
|
|
|
// Print passes managed by this manager
|
|
|
|
void dumpPassStructure(unsigned Offset) {
|
2006-12-15 19:39:30 +00:00
|
|
|
llvm::cerr << std::string(Offset*2, ' ') << "BasicBlockPass Manager\n";
|
2006-12-12 23:34:33 +00:00
|
|
|
for (std::vector<Pass *>::iterator I = passVectorBegin(),
|
|
|
|
E = passVectorEnd(); I != E; ++I) {
|
|
|
|
(*I)->dumpPassStructure(Offset + 1);
|
|
|
|
dumpLastUses(*I, Offset+1);
|
|
|
|
}
|
|
|
|
}
|
2006-11-08 10:05:38 +00:00
|
|
|
};
|
|
|
|
|
2006-12-12 22:47:13 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// FunctionPassManagerImpl_New
|
|
|
|
//
|
2006-12-13 21:56:10 +00:00
|
|
|
/// FunctionPassManagerImpl_New manages FunctionPasses and
|
|
|
|
/// BasicBlockPassManagers. 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-12-07 21:27:23 +00:00
|
|
|
class FunctionPassManagerImpl_New : public ModulePass,
|
|
|
|
public PMDataManager,
|
|
|
|
public PMTopLevelManager {
|
2006-11-08 10:05:38 +00:00
|
|
|
public:
|
2006-12-07 23:24:58 +00:00
|
|
|
FunctionPassManagerImpl_New(int D) : PMDataManager(D) {
|
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
|
|
|
|
2006-12-07 21:27:23 +00:00
|
|
|
inline void addTopLevelPass(Pass *P) {
|
2006-12-08 23:53:00 +00:00
|
|
|
|
2006-12-08 23:57:43 +00:00
|
|
|
if (ImmutablePass *IP = dynamic_cast<ImmutablePass *> (P)) {
|
2006-12-08 23:53:00 +00:00
|
|
|
|
|
|
|
// P is a immutable pass then it will be managed by this
|
|
|
|
// top level manager. Set up analysis resolver to connect them.
|
|
|
|
AnalysisResolver_New *AR = new AnalysisResolver_New(*this);
|
|
|
|
P->setResolver(AR);
|
2006-12-12 22:21:37 +00:00
|
|
|
initializeAnalysisImpl(P);
|
2006-12-08 23:57:43 +00:00
|
|
|
addImmutablePass(IP);
|
2006-12-12 22:21:37 +00:00
|
|
|
recordAvailableAnalysis(IP);
|
2006-12-08 23:57:43 +00:00
|
|
|
}
|
|
|
|
else
|
|
|
|
addPass(P);
|
2006-12-07 21:27:23 +00:00
|
|
|
}
|
|
|
|
|
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'.
|
2006-12-07 21:32:57 +00:00
|
|
|
void add(Pass *P) {
|
2006-12-08 22:34:02 +00:00
|
|
|
schedulePass(P);
|
2006-12-07 21:32:57 +00:00
|
|
|
}
|
2006-11-08 10:05:38 +00:00
|
|
|
|
|
|
|
/// 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-15 19:39:54 +00:00
|
|
|
bool runOnFunction(Function &F);
|
2006-12-08 22:57:48 +00:00
|
|
|
bool run(Function &F);
|
2006-11-08 10:05:38 +00:00
|
|
|
|
2006-11-15 01:27:05 +00:00
|
|
|
/// doInitialization - Run all of the initializers for the function passes.
|
|
|
|
///
|
|
|
|
bool doInitialization(Module &M);
|
|
|
|
|
|
|
|
/// doFinalization - Run all of the initializers for the function passes.
|
|
|
|
///
|
|
|
|
bool doFinalization(Module &M);
|
2006-12-07 19:57:52 +00:00
|
|
|
|
|
|
|
/// Pass Manager itself does not invalidate any analysis info.
|
|
|
|
void getAnalysisUsage(AnalysisUsage &Info) const {
|
|
|
|
Info.setPreservesAll();
|
|
|
|
}
|
|
|
|
|
2006-12-12 23:34:33 +00:00
|
|
|
// Print passes managed by this manager
|
|
|
|
void dumpPassStructure(unsigned Offset) {
|
|
|
|
llvm::cerr << std::string(Offset*2, ' ') << "FunctionPass Manager\n";
|
|
|
|
for (std::vector<Pass *>::iterator I = passVectorBegin(),
|
|
|
|
E = passVectorEnd(); I != E; ++I) {
|
|
|
|
(*I)->dumpPassStructure(Offset + 1);
|
|
|
|
dumpLastUses(*I, Offset+1);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2006-11-08 10:05:38 +00:00
|
|
|
private:
|
|
|
|
// Active Pass Managers
|
2006-12-13 02:36:01 +00:00
|
|
|
BasicBlockPassManager *activeBBPassManager;
|
2006-11-08 10:05:38 +00:00
|
|
|
};
|
|
|
|
|
2006-12-12 22:47:13 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
2006-12-13 02:36:01 +00:00
|
|
|
// ModulePassManager
|
2006-12-12 22:47:13 +00:00
|
|
|
//
|
2006-12-13 02:36:01 +00:00
|
|
|
/// ModulePassManager manages ModulePasses and function pass managers.
|
2006-11-08 10:05:38 +00:00
|
|
|
/// It batches all Module passes passes and function pass managers together and
|
|
|
|
/// sequence them to process one module.
|
2006-12-14 18:22:14 +00:00
|
|
|
class ModulePassManager : public Pass, public PMDataManager {
|
2006-11-08 10:05:38 +00:00
|
|
|
|
|
|
|
public:
|
2006-12-13 02:36:01 +00:00
|
|
|
ModulePassManager(int D) : PMDataManager(D) {
|
2006-12-07 23:24:58 +00:00
|
|
|
activeFunctionPassManager = NULL;
|
|
|
|
}
|
2006-11-08 10:05:38 +00:00
|
|
|
|
|
|
|
/// 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
|
|
|
|
2006-12-07 19:57:52 +00:00
|
|
|
/// Pass Manager itself does not invalidate any analysis info.
|
|
|
|
void getAnalysisUsage(AnalysisUsage &Info) const {
|
|
|
|
Info.setPreservesAll();
|
|
|
|
}
|
|
|
|
|
2006-12-12 23:34:33 +00:00
|
|
|
// Print passes managed by this manager
|
|
|
|
void dumpPassStructure(unsigned Offset) {
|
|
|
|
llvm::cerr << std::string(Offset*2, ' ') << "ModulePass Manager\n";
|
|
|
|
for (std::vector<Pass *>::iterator I = passVectorBegin(),
|
|
|
|
E = passVectorEnd(); I != E; ++I) {
|
|
|
|
(*I)->dumpPassStructure(Offset + 1);
|
|
|
|
dumpLastUses(*I, Offset+1);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
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-12-12 22:47:13 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// PassManagerImpl_New
|
|
|
|
//
|
|
|
|
/// PassManagerImpl_New manages ModulePassManagers
|
2006-12-07 21:32:57 +00:00
|
|
|
class PassManagerImpl_New : public Pass,
|
|
|
|
public PMDataManager,
|
2006-12-07 21:27:23 +00:00
|
|
|
public PMTopLevelManager {
|
2006-11-08 10:29:57 +00:00
|
|
|
|
|
|
|
public:
|
|
|
|
|
2006-12-12 22:57:43 +00:00
|
|
|
PassManagerImpl_New(int D) : PMDataManager(D) {
|
|
|
|
activeManager = NULL;
|
|
|
|
}
|
2006-12-07 23:24:58 +00:00
|
|
|
|
2006-11-08 10:29:57 +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 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'.
|
2006-12-07 21:32:57 +00:00
|
|
|
void add(Pass *P) {
|
2006-12-08 22:34:02 +00:00
|
|
|
schedulePass(P);
|
2006-12-07 21:32:57 +00:00
|
|
|
}
|
2006-11-08 10:29:57 +00:00
|
|
|
|
|
|
|
/// 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-12-07 19:57:52 +00:00
|
|
|
/// Pass Manager itself does not invalidate any analysis info.
|
|
|
|
void getAnalysisUsage(AnalysisUsage &Info) const {
|
|
|
|
Info.setPreservesAll();
|
|
|
|
}
|
|
|
|
|
2006-12-07 21:27:23 +00:00
|
|
|
inline void addTopLevelPass(Pass *P) {
|
2006-12-08 23:53:00 +00:00
|
|
|
|
2006-12-08 23:57:43 +00:00
|
|
|
if (ImmutablePass *IP = dynamic_cast<ImmutablePass *> (P)) {
|
2006-12-08 23:53:00 +00:00
|
|
|
|
|
|
|
// P is a immutable pass and it will be managed by this
|
|
|
|
// top level manager. Set up analysis resolver to connect them.
|
|
|
|
AnalysisResolver_New *AR = new AnalysisResolver_New(*this);
|
|
|
|
P->setResolver(AR);
|
2006-12-12 22:21:37 +00:00
|
|
|
initializeAnalysisImpl(P);
|
2006-12-08 23:57:43 +00:00
|
|
|
addImmutablePass(IP);
|
2006-12-12 22:21:37 +00:00
|
|
|
recordAvailableAnalysis(IP);
|
2006-12-08 23:53:00 +00:00
|
|
|
}
|
2006-12-08 23:57:43 +00:00
|
|
|
else
|
|
|
|
addPass(P);
|
2006-12-07 21:27:23 +00:00
|
|
|
}
|
|
|
|
|
2006-11-08 10:29:57 +00:00
|
|
|
private:
|
|
|
|
|
2006-12-07 21:10:57 +00:00
|
|
|
/// Add a pass into a passmanager queue.
|
2006-11-08 10:29:57 +00:00
|
|
|
bool addPass(Pass *p);
|
|
|
|
|
|
|
|
// Active Pass Manager
|
2006-12-13 02:36:01 +00:00
|
|
|
ModulePassManager *activeManager;
|
2006-11-08 10:29:57 +00:00
|
|
|
};
|
|
|
|
|
2006-12-15 19:39:30 +00:00
|
|
|
} // End of llvm namespace
|
|
|
|
|
|
|
|
namespace {
|
|
|
|
|
2006-12-14 00:59:42 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// TimingInfo Class - This class is used to calculate information about the
|
|
|
|
// amount of time each pass takes to execute. This only happens when
|
|
|
|
// -time-passes is enabled on the command line.
|
|
|
|
//
|
|
|
|
|
2006-12-15 19:39:30 +00:00
|
|
|
class VISIBILITY_HIDDEN TimingInfo {
|
2006-12-14 00:59:42 +00:00
|
|
|
std::map<Pass*, Timer> TimingData;
|
|
|
|
TimerGroup TG;
|
|
|
|
|
|
|
|
public:
|
|
|
|
// Use 'create' member to get this.
|
|
|
|
TimingInfo() : TG("... Pass execution timing report ...") {}
|
|
|
|
|
|
|
|
// TimingDtor - Print out information about timing information
|
|
|
|
~TimingInfo() {
|
|
|
|
// Delete all of the timers...
|
|
|
|
TimingData.clear();
|
|
|
|
// TimerGroup is deleted next, printing the report.
|
|
|
|
}
|
|
|
|
|
|
|
|
// createTheTimeInfo - This method either initializes the TheTimeInfo pointer
|
|
|
|
// to a non null value (if the -time-passes option is enabled) or it leaves it
|
|
|
|
// null. It may be called multiple times.
|
|
|
|
static void createTheTimeInfo();
|
|
|
|
|
|
|
|
void passStarted(Pass *P) {
|
|
|
|
|
|
|
|
if (dynamic_cast<PMDataManager *>(P))
|
|
|
|
return;
|
|
|
|
|
|
|
|
std::map<Pass*, Timer>::iterator I = TimingData.find(P);
|
|
|
|
if (I == TimingData.end())
|
|
|
|
I=TimingData.insert(std::make_pair(P, Timer(P->getPassName(), TG))).first;
|
|
|
|
I->second.startTimer();
|
|
|
|
}
|
|
|
|
void passEnded(Pass *P) {
|
|
|
|
|
|
|
|
if (dynamic_cast<PMDataManager *>(P))
|
|
|
|
return;
|
|
|
|
|
|
|
|
std::map<Pass*, Timer>::iterator I = TimingData.find(P);
|
|
|
|
assert (I != TimingData.end() && "passStarted/passEnded not nested right!");
|
|
|
|
I->second.stopTimer();
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
static TimingInfo *TheTimeInfo;
|
|
|
|
|
2006-12-15 19:39:30 +00:00
|
|
|
} // End of anon namespace
|
2006-11-08 10:05:38 +00:00
|
|
|
|
2006-12-12 22:35:25 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// PMTopLevelManager implementation
|
|
|
|
|
|
|
|
/// Set pass P as the last user of the given analysis passes.
|
|
|
|
void PMTopLevelManager::setLastUser(std::vector<Pass *> &AnalysisPasses,
|
|
|
|
Pass *P) {
|
|
|
|
|
|
|
|
for (std::vector<Pass *>::iterator I = AnalysisPasses.begin(),
|
|
|
|
E = AnalysisPasses.end(); I != E; ++I) {
|
|
|
|
Pass *AP = *I;
|
|
|
|
LastUser[AP] = P;
|
|
|
|
// If AP is the last user of other passes then make P last user of
|
|
|
|
// such passes.
|
|
|
|
for (std::map<Pass *, Pass *>::iterator LUI = LastUser.begin(),
|
|
|
|
LUE = LastUser.end(); LUI != LUE; ++LUI) {
|
|
|
|
if (LUI->second == AP)
|
|
|
|
LastUser[LUI->first] = P;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Collect passes whose last user is P
|
|
|
|
void PMTopLevelManager::collectLastUses(std::vector<Pass *> &LastUses,
|
|
|
|
Pass *P) {
|
|
|
|
for (std::map<Pass *, Pass *>::iterator LUI = LastUser.begin(),
|
|
|
|
LUE = LastUser.end(); LUI != LUE; ++LUI)
|
|
|
|
if (LUI->second == P)
|
|
|
|
LastUses.push_back(LUI->first);
|
|
|
|
}
|
|
|
|
|
|
|
|
/// 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 PMTopLevelManager::schedulePass(Pass *P) {
|
|
|
|
|
|
|
|
// TODO : Allocate function manager for this pass, other wise required set
|
|
|
|
// may be inserted into previous function manager
|
|
|
|
|
|
|
|
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) {
|
|
|
|
|
|
|
|
Pass *AnalysisPass = findAnalysisPass(*I);
|
|
|
|
if (!AnalysisPass) {
|
|
|
|
// Schedule this analysis run first.
|
|
|
|
AnalysisPass = (*I)->createPass();
|
|
|
|
schedulePass(AnalysisPass);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// Now all required passes are available.
|
|
|
|
addTopLevelPass(P);
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Find the pass that implements Analysis AID. Search immutable
|
|
|
|
/// passes and all pass managers. If desired pass is not found
|
|
|
|
/// then return NULL.
|
|
|
|
Pass *PMTopLevelManager::findAnalysisPass(AnalysisID AID) {
|
|
|
|
|
|
|
|
Pass *P = NULL;
|
2006-12-12 22:50:05 +00:00
|
|
|
// Check pass managers
|
|
|
|
for (std::vector<Pass *>::iterator I = PassManagers.begin(),
|
|
|
|
E = PassManagers.end(); P == NULL && I != E; ++I) {
|
|
|
|
PMDataManager *PMD = dynamic_cast<PMDataManager *>(*I);
|
|
|
|
assert(PMD && "This is not a PassManager");
|
|
|
|
P = PMD->findAnalysisPass(AID, false);
|
|
|
|
}
|
|
|
|
|
|
|
|
// Check other pass managers
|
|
|
|
for (std::vector<PMDataManager *>::iterator I = IndirectPassManagers.begin(),
|
|
|
|
E = IndirectPassManagers.end(); P == NULL && I != E; ++I)
|
|
|
|
P = (*I)->findAnalysisPass(AID, false);
|
|
|
|
|
2006-12-12 22:35:25 +00:00
|
|
|
for (std::vector<ImmutablePass *>::iterator I = ImmutablePasses.begin(),
|
|
|
|
E = ImmutablePasses.end(); P == NULL && I != E; ++I) {
|
|
|
|
const PassInfo *PI = (*I)->getPassInfo();
|
|
|
|
if (PI == AID)
|
|
|
|
P = *I;
|
|
|
|
|
|
|
|
// If Pass not found then check the interfaces implemented by Immutable Pass
|
|
|
|
if (!P) {
|
|
|
|
const std::vector<const PassInfo*> &ImmPI =
|
|
|
|
PI->getInterfacesImplemented();
|
|
|
|
for (unsigned Index = 0, End = ImmPI.size();
|
|
|
|
P == NULL && Index != End; ++Index)
|
|
|
|
if (ImmPI[Index] == AID)
|
|
|
|
P = *I;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
return P;
|
|
|
|
}
|
|
|
|
|
2006-12-12 23:34:33 +00:00
|
|
|
// Print passes managed by this top level manager.
|
|
|
|
void PMTopLevelManager::dumpPasses() {
|
|
|
|
|
|
|
|
// Print out the immutable passes
|
|
|
|
for (unsigned i = 0, e = ImmutablePasses.size(); i != e; ++i) {
|
|
|
|
ImmutablePasses[i]->dumpPassStructure(0);
|
|
|
|
}
|
|
|
|
|
|
|
|
for (std::vector<Pass *>::iterator I = PassManagers.begin(),
|
|
|
|
E = PassManagers.end(); I != E; ++I)
|
|
|
|
(*I)->dumpPassStructure(1);
|
|
|
|
|
|
|
|
}
|
|
|
|
|
2006-12-13 22:10:00 +00:00
|
|
|
void PMTopLevelManager::dumpArguments() {
|
|
|
|
|
|
|
|
if (PassDebugging_New < Arguments)
|
|
|
|
return;
|
|
|
|
|
|
|
|
cerr << "Pass Arguments: ";
|
|
|
|
for (std::vector<Pass *>::iterator I = PassManagers.begin(),
|
|
|
|
E = PassManagers.end(); I != E; ++I) {
|
|
|
|
PMDataManager *PMD = dynamic_cast<PMDataManager *>(*I);
|
|
|
|
assert(PMD && "This is not a PassManager");
|
|
|
|
PMD->dumpPassArguments();
|
|
|
|
}
|
|
|
|
cerr << "\n";
|
|
|
|
}
|
|
|
|
|
2006-12-07 19:39:39 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
2006-12-07 18:36:24 +00:00
|
|
|
// PMDataManager 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-12-07 18:36:24 +00:00
|
|
|
bool PMDataManager::manageablePass(Pass *P) {
|
2006-11-07 22:35:17 +00:00
|
|
|
|
2006-12-07 18:47:25 +00:00
|
|
|
// TODO
|
|
|
|
// If this pass is not preserving information that is required by a
|
|
|
|
// pass maintained by higher level pass manager then do not insert
|
|
|
|
// this pass into current manager. Use new manager. For example,
|
|
|
|
// For example, If FunctionPass F is not preserving ModulePass Info M1
|
|
|
|
// that is used by another ModulePass M2 then do not insert F in
|
|
|
|
// current function pass manager.
|
2006-11-07 22:35:17 +00:00
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
2006-11-11 01:10:19 +00:00
|
|
|
/// Augement AvailableAnalysis by adding analysis made available by pass P.
|
2006-12-07 19:33:53 +00:00
|
|
|
void PMDataManager::recordAvailableAnalysis(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
|
|
|
|
2006-12-07 19:33:53 +00:00
|
|
|
//This pass is the current implementation of all of the interfaces it
|
|
|
|
//implements as well.
|
|
|
|
const std::vector<const PassInfo*> &II = PI->getInterfacesImplemented();
|
|
|
|
for (unsigned i = 0, e = II.size(); i != e; ++i)
|
|
|
|
AvailableAnalysis[II[i]] = P;
|
2006-11-11 01:10:19 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2006-11-07 22:35:17 +00:00
|
|
|
/// Remove Analyss not preserved by Pass P
|
2006-12-07 18:36:24 +00:00
|
|
|
void PMDataManager::removeNotPreservedAnalysis(Pass *P) {
|
2006-11-11 01:24:55 +00:00
|
|
|
AnalysisUsage AnUsage;
|
|
|
|
P->getAnalysisUsage(AnUsage);
|
|
|
|
|
2006-12-07 20:03:49 +00:00
|
|
|
if (AnUsage.getPreservesAll())
|
|
|
|
return;
|
|
|
|
|
|
|
|
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-12-12 23:07:44 +00:00
|
|
|
E = AvailableAnalysis.end(); I != E; ) {
|
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-12-12 23:07:44 +00:00
|
|
|
if (!dynamic_cast<ImmutablePass*>(I->second)) {
|
|
|
|
std::map<AnalysisID, Pass*>::iterator J = I++;
|
|
|
|
AvailableAnalysis.erase(J);
|
|
|
|
} else
|
|
|
|
++I;
|
|
|
|
} else
|
|
|
|
++I;
|
2006-11-11 01:24:55 +00:00
|
|
|
}
|
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
|
2006-12-13 23:50:44 +00:00
|
|
|
void PMDataManager::removeDeadPasses(Pass *P, std::string &Msg) {
|
2006-12-08 00:37:52 +00:00
|
|
|
|
|
|
|
std::vector<Pass *> DeadPasses;
|
|
|
|
TPM->collectLastUses(DeadPasses, P);
|
|
|
|
|
|
|
|
for (std::vector<Pass *>::iterator I = DeadPasses.begin(),
|
|
|
|
E = DeadPasses.end(); I != E; ++I) {
|
2006-12-13 23:50:44 +00:00
|
|
|
|
|
|
|
std::string Msg1 = " Freeing Pass '";
|
|
|
|
dumpPassInfo(*I, Msg1, Msg);
|
|
|
|
|
2006-12-14 00:59:42 +00:00
|
|
|
if (TheTimeInfo) TheTimeInfo->passStarted(P);
|
2006-12-08 00:37:52 +00:00
|
|
|
(*I)->releaseMemory();
|
2006-12-14 00:59:42 +00:00
|
|
|
if (TheTimeInfo) TheTimeInfo->passEnded(P);
|
|
|
|
|
2006-12-08 00:37:52 +00:00
|
|
|
std::map<AnalysisID, Pass*>::iterator Pos =
|
|
|
|
AvailableAnalysis.find((*I)->getPassInfo());
|
|
|
|
|
2006-12-08 00:59:05 +00:00
|
|
|
// It is possible that pass is already removed from the AvailableAnalysis
|
2006-12-08 00:37:52 +00:00
|
|
|
if (Pos != AvailableAnalysis.end())
|
|
|
|
AvailableAnalysis.erase(Pos);
|
|
|
|
}
|
2006-11-14 03:05:08 +00:00
|
|
|
}
|
|
|
|
|
2006-12-07 18:47:25 +00:00
|
|
|
/// Add pass P into the PassVector. Update
|
2006-11-11 02:04:19 +00:00
|
|
|
/// AvailableAnalysis appropriately if ProcessAnalysis is true.
|
2006-12-07 20:03:49 +00:00
|
|
|
void PMDataManager::addPassToManager(Pass *P,
|
|
|
|
bool ProcessAnalysis) {
|
2006-11-11 01:51:02 +00:00
|
|
|
|
2006-12-08 23:53:00 +00:00
|
|
|
// This manager is going to manage pass P. Set up analysis resolver
|
|
|
|
// to connect them.
|
|
|
|
AnalysisResolver_New *AR = new AnalysisResolver_New(*this);
|
|
|
|
P->setResolver(AR);
|
|
|
|
|
2006-11-11 02:04:19 +00:00
|
|
|
if (ProcessAnalysis) {
|
2006-12-07 23:55:10 +00:00
|
|
|
|
|
|
|
// At the moment, this pass is the last user of all required passes.
|
|
|
|
std::vector<Pass *> LastUses;
|
|
|
|
std::vector<Pass *> RequiredPasses;
|
|
|
|
unsigned PDepth = this->getDepth();
|
|
|
|
|
|
|
|
collectRequiredAnalysisPasses(RequiredPasses, P);
|
|
|
|
for (std::vector<Pass *>::iterator I = RequiredPasses.begin(),
|
|
|
|
E = RequiredPasses.end(); I != E; ++I) {
|
|
|
|
Pass *PRequired = *I;
|
|
|
|
unsigned RDepth = 0;
|
2006-12-09 00:07:38 +00:00
|
|
|
|
|
|
|
PMDataManager &DM = PRequired->getResolver()->getPMDataManager();
|
|
|
|
RDepth = DM.getDepth();
|
|
|
|
|
2006-12-07 23:55:10 +00:00
|
|
|
if (PDepth == RDepth)
|
|
|
|
LastUses.push_back(PRequired);
|
|
|
|
else if (PDepth > RDepth) {
|
|
|
|
// Let the parent claim responsibility of last use
|
2006-12-15 00:08:26 +00:00
|
|
|
TransferLastUses.push_back(PRequired);
|
2006-12-07 23:55:10 +00:00
|
|
|
} else {
|
|
|
|
// Note : This feature is not yet implemented
|
|
|
|
assert (0 &&
|
|
|
|
"Unable to handle Pass that requires lower level Analysis pass");
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2006-12-15 00:08:26 +00:00
|
|
|
LastUses.push_back(P);
|
|
|
|
TPM->setLastUser(LastUses, P);
|
2006-12-07 23:55:10 +00:00
|
|
|
|
2006-12-07 22:09:36 +00:00
|
|
|
// Take a note of analysis required and made available by this pass.
|
2006-11-11 02:04:19 +00:00
|
|
|
// Remove the analysis not preserved by this pass
|
|
|
|
removeNotPreservedAnalysis(P);
|
2006-12-07 22:09:36 +00:00
|
|
|
recordAvailableAnalysis(P);
|
2006-11-11 02:04:19 +00:00
|
|
|
}
|
2006-11-11 01:51:02 +00:00
|
|
|
|
|
|
|
// Add pass
|
|
|
|
PassVector.push_back(P);
|
|
|
|
}
|
|
|
|
|
2006-12-07 23:05:44 +00:00
|
|
|
/// Populate RequiredPasses with the analysis pass that are required by
|
|
|
|
/// pass P.
|
|
|
|
void PMDataManager::collectRequiredAnalysisPasses(std::vector<Pass *> &RP,
|
|
|
|
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-12-08 22:30:11 +00:00
|
|
|
Pass *AnalysisPass = findAnalysisPass(*I, true);
|
2006-12-07 23:05:44 +00:00
|
|
|
assert (AnalysisPass && "Analysis pass is not available");
|
|
|
|
RP.push_back(AnalysisPass);
|
|
|
|
}
|
2006-12-12 23:09:32 +00:00
|
|
|
|
|
|
|
const std::vector<AnalysisID> &IDs = AnUsage.getRequiredTransitiveSet();
|
|
|
|
for (std::vector<AnalysisID>::const_iterator I = IDs.begin(),
|
|
|
|
E = IDs.end(); I != E; ++I) {
|
|
|
|
Pass *AnalysisPass = findAnalysisPass(*I, true);
|
|
|
|
assert (AnalysisPass && "Analysis pass is not available");
|
|
|
|
RP.push_back(AnalysisPass);
|
|
|
|
}
|
2006-12-07 23:05:44 +00:00
|
|
|
}
|
|
|
|
|
2006-11-14 21:49:36 +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.
|
|
|
|
//
|
2006-12-07 18:36:24 +00:00
|
|
|
void PMDataManager::initializeAnalysisImpl(Pass *P) {
|
2006-11-15 01:27:05 +00:00
|
|
|
AnalysisUsage AnUsage;
|
|
|
|
P->getAnalysisUsage(AnUsage);
|
2006-11-14 21:49:36 +00:00
|
|
|
|
|
|
|
for (std::vector<const PassInfo *>::const_iterator
|
|
|
|
I = AnUsage.getRequiredSet().begin(),
|
|
|
|
E = AnUsage.getRequiredSet().end(); I != E; ++I) {
|
2006-12-08 22:30:11 +00:00
|
|
|
Pass *Impl = findAnalysisPass(*I, true);
|
2006-11-14 21:49:36 +00:00
|
|
|
if (Impl == 0)
|
|
|
|
assert(0 && "Analysis used but not available!");
|
2006-12-09 01:11:34 +00:00
|
|
|
AnalysisResolver_New *AR = P->getResolver();
|
|
|
|
AR->addAnalysisImplsPair(*I, Impl);
|
2006-11-14 21:49:36 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2006-12-08 22:30:11 +00:00
|
|
|
/// Find the pass that implements Analysis AID. If desired pass is not found
|
|
|
|
/// then return NULL.
|
|
|
|
Pass *PMDataManager::findAnalysisPass(AnalysisID AID, bool SearchParent) {
|
|
|
|
|
|
|
|
// Check if AvailableAnalysis map has one entry.
|
|
|
|
std::map<AnalysisID, Pass*>::const_iterator I = AvailableAnalysis.find(AID);
|
|
|
|
|
|
|
|
if (I != AvailableAnalysis.end())
|
|
|
|
return I->second;
|
|
|
|
|
|
|
|
// Search Parents through TopLevelManager
|
|
|
|
if (SearchParent)
|
|
|
|
return TPM->findAnalysisPass(AID);
|
|
|
|
|
2006-12-09 00:09:12 +00:00
|
|
|
return NULL;
|
2006-12-08 22:30:11 +00:00
|
|
|
}
|
|
|
|
|
2006-12-08 23:28:54 +00:00
|
|
|
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// NOTE: Is this the right place to define this method ?
|
|
|
|
// getAnalysisToUpdate - Return an analysis result or null if it doesn't exist
|
|
|
|
Pass *AnalysisResolver_New::getAnalysisToUpdate(AnalysisID ID, bool dir) const {
|
|
|
|
return PM.findAnalysisPass(ID, dir);
|
|
|
|
}
|
|
|
|
|
2006-12-07 19:39:39 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
2006-12-13 02:36:01 +00:00
|
|
|
// BasicBlockPassManager implementation
|
2006-11-07 21:31:57 +00:00
|
|
|
|
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-12-13 02:36:01 +00:00
|
|
|
BasicBlockPassManager::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-12-14 18:22:14 +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
|
2006-12-13 02:36:01 +00:00
|
|
|
BasicBlockPassManager::runOnFunction(Function &F) {
|
2006-11-07 21:31:57 +00:00
|
|
|
|
2006-12-12 23:15:28 +00:00
|
|
|
if (F.isExternal())
|
|
|
|
return false;
|
|
|
|
|
2006-12-08 01:38:28 +00:00
|
|
|
bool Changed = doInitialization(F);
|
2006-12-07 18:41:09 +00:00
|
|
|
initializeAnalysisInfo();
|
2006-11-14 01:23:29 +00:00
|
|
|
|
2006-12-14 00:08:04 +00:00
|
|
|
std::string Msg1 = "Executing Pass '";
|
|
|
|
std::string Msg3 = "' Made Modification '";
|
|
|
|
|
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-12-14 00:25:06 +00:00
|
|
|
AnalysisUsage AnUsage;
|
|
|
|
P->getAnalysisUsage(AnUsage);
|
|
|
|
|
2006-12-13 23:50:44 +00:00
|
|
|
std::string Msg2 = "' on BasicBlock '" + (*I).getName() + "'...\n";
|
|
|
|
dumpPassInfo(P, Msg1, Msg2);
|
2006-12-14 00:25:06 +00:00
|
|
|
dumpAnalysisSetInfo("Required", P, AnUsage.getRequiredSet());
|
|
|
|
|
2006-12-12 23:13:09 +00:00
|
|
|
initializeAnalysisImpl(P);
|
2006-12-14 00:08:04 +00:00
|
|
|
|
2006-11-07 21:31:57 +00:00
|
|
|
BasicBlockPass *BP = dynamic_cast<BasicBlockPass*>(P);
|
2006-12-14 00:59:42 +00:00
|
|
|
if (TheTimeInfo) TheTimeInfo->passStarted(P);
|
2006-11-07 21:31:57 +00:00
|
|
|
Changed |= BP->runOnBasicBlock(*I);
|
2006-12-14 00:59:42 +00:00
|
|
|
if (TheTimeInfo) TheTimeInfo->passEnded(P);
|
2006-12-14 00:08:04 +00:00
|
|
|
|
|
|
|
if (Changed)
|
|
|
|
dumpPassInfo(P, Msg3, Msg2);
|
2006-12-14 00:25:06 +00:00
|
|
|
dumpAnalysisSetInfo("Preserved", P, AnUsage.getPreservedSet());
|
2006-12-14 00:08:04 +00:00
|
|
|
|
2006-11-14 01:23:29 +00:00
|
|
|
removeNotPreservedAnalysis(P);
|
2006-12-07 22:09:36 +00:00
|
|
|
recordAvailableAnalysis(P);
|
2006-12-13 23:50:44 +00:00
|
|
|
removeDeadPasses(P, Msg2);
|
2006-11-07 21:31:57 +00:00
|
|
|
}
|
2006-12-08 01:38:28 +00:00
|
|
|
return Changed | doFinalization(F);
|
2006-11-07 21:31:57 +00:00
|
|
|
}
|
|
|
|
|
2006-12-08 00:59:05 +00:00
|
|
|
// Implement doInitialization and doFinalization
|
2006-12-13 02:36:01 +00:00
|
|
|
inline bool BasicBlockPassManager::doInitialization(Module &M) {
|
2006-12-08 00:59:05 +00:00
|
|
|
bool Changed = false;
|
|
|
|
|
|
|
|
for (std::vector<Pass *>::iterator itr = passVectorBegin(),
|
|
|
|
e = passVectorEnd(); itr != e; ++itr) {
|
|
|
|
Pass *P = *itr;
|
|
|
|
BasicBlockPass *BP = dynamic_cast<BasicBlockPass*>(P);
|
|
|
|
Changed |= BP->doInitialization(M);
|
|
|
|
}
|
|
|
|
|
|
|
|
return Changed;
|
|
|
|
}
|
|
|
|
|
2006-12-13 02:36:01 +00:00
|
|
|
inline bool BasicBlockPassManager::doFinalization(Module &M) {
|
2006-12-08 00:59:05 +00:00
|
|
|
bool Changed = false;
|
|
|
|
|
|
|
|
for (std::vector<Pass *>::iterator itr = passVectorBegin(),
|
|
|
|
e = passVectorEnd(); itr != e; ++itr) {
|
|
|
|
Pass *P = *itr;
|
|
|
|
BasicBlockPass *BP = dynamic_cast<BasicBlockPass*>(P);
|
|
|
|
Changed |= BP->doFinalization(M);
|
|
|
|
}
|
|
|
|
|
|
|
|
return Changed;
|
|
|
|
}
|
|
|
|
|
2006-12-13 02:36:01 +00:00
|
|
|
inline bool BasicBlockPassManager::doInitialization(Function &F) {
|
2006-12-08 00:59:05 +00:00
|
|
|
bool Changed = false;
|
|
|
|
|
|
|
|
for (std::vector<Pass *>::iterator itr = passVectorBegin(),
|
|
|
|
e = passVectorEnd(); itr != e; ++itr) {
|
|
|
|
Pass *P = *itr;
|
|
|
|
BasicBlockPass *BP = dynamic_cast<BasicBlockPass*>(P);
|
|
|
|
Changed |= BP->doInitialization(F);
|
|
|
|
}
|
|
|
|
|
|
|
|
return Changed;
|
|
|
|
}
|
|
|
|
|
2006-12-13 02:36:01 +00:00
|
|
|
inline bool BasicBlockPassManager::doFinalization(Function &F) {
|
2006-12-08 00:59:05 +00:00
|
|
|
bool Changed = false;
|
|
|
|
|
|
|
|
for (std::vector<Pass *>::iterator itr = passVectorBegin(),
|
|
|
|
e = passVectorEnd(); itr != e; ++itr) {
|
|
|
|
Pass *P = *itr;
|
|
|
|
BasicBlockPass *BP = dynamic_cast<BasicBlockPass*>(P);
|
|
|
|
Changed |= BP->doFinalization(F);
|
|
|
|
}
|
|
|
|
|
|
|
|
return Changed;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2006-12-07 19:39:39 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
2006-12-13 02:36:01 +00:00
|
|
|
// FunctionPassManager implementation
|
2006-12-07 19:39:39 +00:00
|
|
|
|
2006-11-08 10:44:40 +00:00
|
|
|
/// Create new Function pass manager
|
2006-12-13 02:36:01 +00:00
|
|
|
FunctionPassManager::FunctionPassManager(ModuleProvider *P) {
|
2006-12-08 18:57:16 +00:00
|
|
|
FPM = new FunctionPassManagerImpl_New(0);
|
2006-12-12 22:02:16 +00:00
|
|
|
// FPM is the top level manager.
|
|
|
|
FPM->setTopLevelManager(FPM);
|
2006-12-12 23:27:37 +00:00
|
|
|
|
|
|
|
PMDataManager *PMD = dynamic_cast<PMDataManager *>(FPM);
|
|
|
|
AnalysisResolver_New *AR = new AnalysisResolver_New(*PMD);
|
|
|
|
FPM->setResolver(AR);
|
|
|
|
|
|
|
|
FPM->addPassManager(FPM);
|
2006-12-08 18:57:16 +00:00
|
|
|
MP = P;
|
|
|
|
}
|
|
|
|
|
2006-12-13 02:36:01 +00:00
|
|
|
FunctionPassManager::~FunctionPassManager() {
|
|
|
|
// Note : FPM maintains one entry in PassManagers vector.
|
|
|
|
// This one entry is FPM itself. This is not ideal. One
|
|
|
|
// alternative is have one additional layer between
|
|
|
|
// FunctionPassManager and FunctionPassManagerImpl.
|
|
|
|
// Meanwhile, to avoid going into infinte loop, first
|
|
|
|
// remove FPM from its PassMangers vector.
|
|
|
|
FPM->clearManagers();
|
2006-12-13 00:09:23 +00:00
|
|
|
delete FPM;
|
|
|
|
}
|
|
|
|
|
2006-11-08 10:44:40 +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'.
|
2006-12-13 02:36:01 +00:00
|
|
|
void FunctionPassManager::add(Pass *P) {
|
2006-11-08 10:44:40 +00:00
|
|
|
FPM->add(P);
|
|
|
|
}
|
|
|
|
|
2006-11-15 19:39:54 +00:00
|
|
|
/// run - Execute all of the passes scheduled for execution. Keep
|
|
|
|
/// track of whether any of the passes modifies the function, and if
|
|
|
|
/// so, return true.
|
|
|
|
///
|
2006-12-13 02:36:01 +00:00
|
|
|
bool FunctionPassManager::run(Function &F) {
|
2006-11-15 19:39:54 +00:00
|
|
|
std::string errstr;
|
|
|
|
if (MP->materializeFunction(&F, &errstr)) {
|
2006-12-07 01:30:32 +00:00
|
|
|
cerr << "Error reading bytecode file: " << errstr << "\n";
|
2006-11-15 19:39:54 +00:00
|
|
|
abort();
|
|
|
|
}
|
2006-12-08 22:57:48 +00:00
|
|
|
return FPM->run(F);
|
2006-11-15 19:39:54 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2006-11-15 01:27:05 +00:00
|
|
|
/// doInitialization - Run all of the initializers for the function passes.
|
|
|
|
///
|
2006-12-13 02:36:01 +00:00
|
|
|
bool FunctionPassManager::doInitialization() {
|
2006-11-15 01:27:05 +00:00
|
|
|
return FPM->doInitialization(*MP->getModule());
|
|
|
|
}
|
|
|
|
|
|
|
|
/// doFinalization - Run all of the initializers for the function passes.
|
|
|
|
///
|
2006-12-13 02:36:01 +00:00
|
|
|
bool FunctionPassManager::doFinalization() {
|
2006-11-15 01:27:05 +00:00
|
|
|
return FPM->doFinalization(*MP->getModule());
|
|
|
|
}
|
|
|
|
|
2006-12-07 19:39:39 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
2006-11-08 10:44:40 +00:00
|
|
|
// FunctionPassManagerImpl_New implementation
|
2006-11-07 21:49:50 +00:00
|
|
|
|
|
|
|
/// 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
|
|
|
|
2006-12-13 02:36:01 +00:00
|
|
|
// If P is a BasicBlockPass then use BasicBlockPassManager.
|
2006-11-07 21:49:50 +00:00
|
|
|
if (BasicBlockPass *BP = dynamic_cast<BasicBlockPass*>(P)) {
|
|
|
|
|
2006-12-07 22:34:21 +00:00
|
|
|
if (!activeBBPassManager || !activeBBPassManager->addPass(BP)) {
|
2006-11-07 21:49:50 +00:00
|
|
|
|
2006-12-07 22:34:21 +00:00
|
|
|
// If active manager exists then clear its analysis info.
|
|
|
|
if (activeBBPassManager)
|
|
|
|
activeBBPassManager->initializeAnalysisInfo();
|
2006-12-07 21:58:50 +00:00
|
|
|
|
2006-12-07 22:34:21 +00:00
|
|
|
// Create and add new manager
|
2006-12-07 23:24:58 +00:00
|
|
|
activeBBPassManager =
|
2006-12-13 02:36:01 +00:00
|
|
|
new BasicBlockPassManager(getDepth() + 1);
|
2006-12-12 22:02:16 +00:00
|
|
|
// Inherit top level manager
|
|
|
|
activeBBPassManager->setTopLevelManager(this->getTopLevelManager());
|
2006-12-12 22:35:25 +00:00
|
|
|
|
|
|
|
// Add new manager into current manager's list.
|
2006-11-11 02:04:19 +00:00
|
|
|
addPassToManager(activeBBPassManager, false);
|
2006-12-12 22:35:25 +00:00
|
|
|
|
|
|
|
// Add new manager into top level manager's indirect passes list
|
|
|
|
PMDataManager *PMD = dynamic_cast<PMDataManager *>(activeBBPassManager);
|
|
|
|
assert (PMD && "Manager is not Pass Manager");
|
|
|
|
TPM->addIndirectPassManager(PMD);
|
2006-12-07 22:34:21 +00:00
|
|
|
|
|
|
|
// Add pass into new manager. This time it must succeed.
|
2006-11-08 01:31:28 +00:00
|
|
|
if (!activeBBPassManager->addPass(BP))
|
|
|
|
assert(0 && "Unable to add Pass");
|
2006-12-15 00:08:26 +00:00
|
|
|
|
|
|
|
// If activeBBPassManager transfered any Last Uses then handle them here.
|
|
|
|
std::vector<Pass *> &TLU = activeBBPassManager->getTransferredLastUses();
|
|
|
|
if (!TLU.empty())
|
|
|
|
TPM->setLastUser(TLU, this);
|
|
|
|
|
2006-11-07 21:49:50 +00:00
|
|
|
}
|
2006-12-07 23:55:10 +00:00
|
|
|
|
|
|
|
|
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-12-07 22:34:21 +00:00
|
|
|
|
|
|
|
// If active manager exists then clear its analysis info.
|
|
|
|
if (activeBBPassManager) {
|
|
|
|
activeBBPassManager->initializeAnalysisInfo();
|
|
|
|
activeBBPassManager = NULL;
|
|
|
|
}
|
|
|
|
|
2006-11-07 21:49:50 +00:00
|
|
|
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.
|
2006-11-15 19:39:54 +00:00
|
|
|
bool FunctionPassManagerImpl_New::runOnModule(Module &M) {
|
2006-11-07 21:49:50 +00:00
|
|
|
|
2006-12-08 19:04:09 +00:00
|
|
|
bool Changed = doInitialization(M);
|
2006-12-07 18:41:09 +00:00
|
|
|
initializeAnalysisInfo();
|
2006-11-14 01:23:29 +00:00
|
|
|
|
2006-11-07 21:49:50 +00:00
|
|
|
for (Module::iterator I = M.begin(), E = M.end(); I != E; ++I)
|
2006-12-08 19:03:05 +00:00
|
|
|
this->runOnFunction(*I);
|
|
|
|
|
2006-12-08 19:04:09 +00:00
|
|
|
return Changed | doFinalization(M);
|
2006-11-07 21:49:50 +00:00
|
|
|
}
|
|
|
|
|
2006-11-15 19:39:54 +00:00
|
|
|
/// 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 FunctionPassManagerImpl_New::runOnFunction(Function &F) {
|
|
|
|
|
|
|
|
bool Changed = false;
|
2006-12-12 23:15:28 +00:00
|
|
|
|
|
|
|
if (F.isExternal())
|
|
|
|
return false;
|
|
|
|
|
2006-12-07 18:41:09 +00:00
|
|
|
initializeAnalysisInfo();
|
2006-11-15 19:39:54 +00:00
|
|
|
|
2006-12-14 00:08:04 +00:00
|
|
|
std::string Msg1 = "Executing Pass '";
|
|
|
|
std::string Msg3 = "' Made Modification '";
|
|
|
|
|
2006-11-15 19:39:54 +00:00
|
|
|
for (std::vector<Pass *>::iterator itr = passVectorBegin(),
|
|
|
|
e = passVectorEnd(); itr != e; ++itr) {
|
|
|
|
Pass *P = *itr;
|
2006-12-14 00:25:06 +00:00
|
|
|
AnalysisUsage AnUsage;
|
|
|
|
P->getAnalysisUsage(AnUsage);
|
2006-12-14 00:08:04 +00:00
|
|
|
|
2006-12-13 23:50:44 +00:00
|
|
|
std::string Msg2 = "' on Function '" + F.getName() + "'...\n";
|
|
|
|
dumpPassInfo(P, Msg1, Msg2);
|
2006-12-14 00:25:06 +00:00
|
|
|
dumpAnalysisSetInfo("Required", P, AnUsage.getRequiredSet());
|
2006-12-14 00:08:04 +00:00
|
|
|
|
2006-12-12 23:13:09 +00:00
|
|
|
initializeAnalysisImpl(P);
|
2006-11-15 19:39:54 +00:00
|
|
|
FunctionPass *FP = dynamic_cast<FunctionPass*>(P);
|
2006-12-14 00:59:42 +00:00
|
|
|
|
|
|
|
if (TheTimeInfo) TheTimeInfo->passStarted(P);
|
2006-11-15 19:39:54 +00:00
|
|
|
Changed |= FP->runOnFunction(F);
|
2006-12-14 00:59:42 +00:00
|
|
|
if (TheTimeInfo) TheTimeInfo->passEnded(P);
|
2006-12-14 00:08:04 +00:00
|
|
|
|
|
|
|
if (Changed)
|
|
|
|
dumpPassInfo(P, Msg3, Msg2);
|
2006-12-14 00:25:06 +00:00
|
|
|
dumpAnalysisSetInfo("Preserved", P, AnUsage.getPreservedSet());
|
2006-12-14 00:08:04 +00:00
|
|
|
|
2006-11-15 19:39:54 +00:00
|
|
|
removeNotPreservedAnalysis(P);
|
2006-12-07 22:09:36 +00:00
|
|
|
recordAvailableAnalysis(P);
|
2006-12-13 23:50:44 +00:00
|
|
|
removeDeadPasses(P, Msg2);
|
2006-11-15 19:39:54 +00:00
|
|
|
}
|
|
|
|
return Changed;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2006-11-15 01:27:05 +00:00
|
|
|
inline bool FunctionPassManagerImpl_New::doInitialization(Module &M) {
|
|
|
|
bool Changed = false;
|
|
|
|
|
|
|
|
for (std::vector<Pass *>::iterator itr = passVectorBegin(),
|
|
|
|
e = passVectorEnd(); itr != e; ++itr) {
|
|
|
|
Pass *P = *itr;
|
|
|
|
|
|
|
|
FunctionPass *FP = dynamic_cast<FunctionPass*>(P);
|
|
|
|
Changed |= FP->doInitialization(M);
|
|
|
|
}
|
|
|
|
|
|
|
|
return Changed;
|
|
|
|
}
|
|
|
|
|
|
|
|
inline bool FunctionPassManagerImpl_New::doFinalization(Module &M) {
|
|
|
|
bool Changed = false;
|
|
|
|
|
|
|
|
for (std::vector<Pass *>::iterator itr = passVectorBegin(),
|
|
|
|
e = passVectorEnd(); itr != e; ++itr) {
|
|
|
|
Pass *P = *itr;
|
|
|
|
|
|
|
|
FunctionPass *FP = dynamic_cast<FunctionPass*>(P);
|
|
|
|
Changed |= FP->doFinalization(M);
|
|
|
|
}
|
|
|
|
|
|
|
|
return Changed;
|
|
|
|
}
|
|
|
|
|
2006-12-08 22:57:48 +00:00
|
|
|
// Execute all the passes managed by this top level manager.
|
|
|
|
// Return true if any function is modified by a pass.
|
|
|
|
bool FunctionPassManagerImpl_New::run(Function &F) {
|
|
|
|
|
|
|
|
bool Changed = false;
|
|
|
|
for (std::vector<Pass *>::iterator I = passManagersBegin(),
|
|
|
|
E = passManagersEnd(); I != E; ++I) {
|
2006-12-13 02:36:01 +00:00
|
|
|
FunctionPassManagerImpl_New *FP =
|
|
|
|
dynamic_cast<FunctionPassManagerImpl_New *>(*I);
|
2006-12-08 22:57:48 +00:00
|
|
|
Changed |= FP->runOnFunction(F);
|
|
|
|
}
|
|
|
|
return Changed;
|
|
|
|
}
|
|
|
|
|
2006-12-07 19:39:39 +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-12-13 02:36:01 +00:00
|
|
|
ModulePassManager::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)) {
|
|
|
|
|
2006-12-08 22:30:11 +00:00
|
|
|
if (!activeFunctionPassManager || !activeFunctionPassManager->addPass(P)) {
|
2006-11-07 22:03:15 +00:00
|
|
|
|
2006-12-07 22:34:21 +00:00
|
|
|
// If active manager exists then clear its analysis info.
|
|
|
|
if (activeFunctionPassManager)
|
|
|
|
activeFunctionPassManager->initializeAnalysisInfo();
|
2006-12-07 21:58:50 +00:00
|
|
|
|
2006-12-07 22:34:21 +00:00
|
|
|
// Create and add new manager
|
2006-12-07 23:24:58 +00:00
|
|
|
activeFunctionPassManager =
|
|
|
|
new FunctionPassManagerImpl_New(getDepth() + 1);
|
2006-12-12 22:35:25 +00:00
|
|
|
|
|
|
|
// Add new manager into current manager's list
|
2006-11-11 02:04:19 +00:00
|
|
|
addPassToManager(activeFunctionPassManager, false);
|
2006-12-12 22:35:25 +00:00
|
|
|
|
2006-12-12 22:02:16 +00:00
|
|
|
// Inherit top level manager
|
|
|
|
activeFunctionPassManager->setTopLevelManager(this->getTopLevelManager());
|
2006-12-12 22:35:25 +00:00
|
|
|
|
|
|
|
// Add new manager into top level manager's indirect passes list
|
2006-12-13 21:56:10 +00:00
|
|
|
PMDataManager *PMD =
|
|
|
|
dynamic_cast<PMDataManager *>(activeFunctionPassManager);
|
|
|
|
assert(PMD && "Manager is not Pass Manager");
|
2006-12-12 22:35:25 +00:00
|
|
|
TPM->addIndirectPassManager(PMD);
|
2006-12-08 23:11:43 +00:00
|
|
|
|
2006-12-07 22:34:21 +00:00
|
|
|
// Add pass into new manager. This time it must succeed.
|
2006-11-08 01:31:28 +00:00
|
|
|
if (!activeFunctionPassManager->addPass(FP))
|
|
|
|
assert(0 && "Unable to add pass");
|
2006-12-07 23:55:10 +00:00
|
|
|
|
2006-12-15 00:08:26 +00:00
|
|
|
// If activeFunctionPassManager transfered any Last Uses then
|
|
|
|
// handle them here.
|
|
|
|
std::vector<Pass *> &TLU =
|
|
|
|
activeFunctionPassManager->getTransferredLastUses();
|
|
|
|
if (!TLU.empty())
|
|
|
|
TPM->setLastUser(TLU, this);
|
|
|
|
}
|
2006-12-07 23:55:10 +00:00
|
|
|
|
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-12-07 22:34:21 +00:00
|
|
|
// If active manager exists then clear its analysis info.
|
|
|
|
if (activeFunctionPassManager) {
|
|
|
|
activeFunctionPassManager->initializeAnalysisInfo();
|
|
|
|
activeFunctionPassManager = NULL;
|
|
|
|
}
|
|
|
|
|
2006-11-07 22:03:15 +00:00
|
|
|
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
|
2006-12-13 02:36:01 +00:00
|
|
|
ModulePassManager::runOnModule(Module &M) {
|
2006-11-07 22:03:15 +00:00
|
|
|
bool Changed = false;
|
2006-12-07 18:41:09 +00:00
|
|
|
initializeAnalysisInfo();
|
2006-11-14 01:23:29 +00:00
|
|
|
|
2006-12-14 00:08:04 +00:00
|
|
|
std::string Msg1 = "Executing Pass '";
|
|
|
|
std::string Msg3 = "' Made Modification '";
|
|
|
|
|
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-12-14 00:25:06 +00:00
|
|
|
AnalysisUsage AnUsage;
|
|
|
|
P->getAnalysisUsage(AnUsage);
|
2006-12-14 00:08:04 +00:00
|
|
|
|
2006-12-13 23:50:44 +00:00
|
|
|
std::string Msg2 = "' on Module '" + M.getModuleIdentifier() + "'...\n";
|
|
|
|
dumpPassInfo(P, Msg1, Msg2);
|
2006-12-14 00:25:06 +00:00
|
|
|
dumpAnalysisSetInfo("Required", P, AnUsage.getRequiredSet());
|
2006-12-14 00:08:04 +00:00
|
|
|
|
2006-12-12 23:13:09 +00:00
|
|
|
initializeAnalysisImpl(P);
|
2006-11-07 22:03:15 +00:00
|
|
|
ModulePass *MP = dynamic_cast<ModulePass*>(P);
|
2006-12-14 00:59:42 +00:00
|
|
|
|
|
|
|
if (TheTimeInfo) TheTimeInfo->passStarted(P);
|
2006-11-07 22:03:15 +00:00
|
|
|
Changed |= MP->runOnModule(M);
|
2006-12-14 00:59:42 +00:00
|
|
|
if (TheTimeInfo) TheTimeInfo->passEnded(P);
|
2006-12-14 00:08:04 +00:00
|
|
|
|
|
|
|
if (Changed)
|
|
|
|
dumpPassInfo(P, Msg3, Msg2);
|
2006-12-14 00:25:06 +00:00
|
|
|
dumpAnalysisSetInfo("Preserved", P, AnUsage.getPreservedSet());
|
|
|
|
|
2006-11-14 01:23:29 +00:00
|
|
|
removeNotPreservedAnalysis(P);
|
2006-12-07 22:09:36 +00:00
|
|
|
recordAvailableAnalysis(P);
|
2006-12-13 23:50:44 +00:00
|
|
|
removeDeadPasses(P, Msg2);
|
2006-11-07 22:03:15 +00:00
|
|
|
}
|
|
|
|
return Changed;
|
|
|
|
}
|
|
|
|
|
2006-12-07 19:39:39 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// PassManagerImpl implementation
|
2006-12-13 00:09:23 +00:00
|
|
|
//
|
2006-11-07 22:23:34 +00:00
|
|
|
/// 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-12-13 02:36:01 +00:00
|
|
|
activeManager = new ModulePassManager(getDepth() + 1);
|
2006-12-12 22:02:16 +00:00
|
|
|
// Inherit top level manager
|
|
|
|
activeManager->setTopLevelManager(this->getTopLevelManager());
|
2006-12-08 23:53:00 +00:00
|
|
|
|
|
|
|
// This top level manager is going to manage activeManager.
|
|
|
|
// Set up analysis resolver to connect them.
|
|
|
|
AnalysisResolver_New *AR = new AnalysisResolver_New(*this);
|
|
|
|
activeManager->setResolver(AR);
|
|
|
|
|
2006-12-08 22:47:25 +00:00
|
|
|
addPassManager(activeManager);
|
2006-12-07 21:44:12 +00:00
|
|
|
return activeManager->addPass(P);
|
2006-11-07 22:23:34 +00:00
|
|
|
}
|
2006-12-07 21:44:12 +00:00
|
|
|
return true;
|
2006-11-07 22:23:34 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/// 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
|
|
|
|
|
|
|
bool Changed = false;
|
2006-12-13 20:03:48 +00:00
|
|
|
|
2006-12-14 00:59:42 +00:00
|
|
|
TimingInfo::createTheTimeInfo();
|
|
|
|
|
2006-12-13 22:10:00 +00:00
|
|
|
dumpArguments();
|
2006-12-13 21:13:31 +00:00
|
|
|
if (PassDebugging_New >= Structure)
|
2006-12-13 20:03:48 +00:00
|
|
|
dumpPasses();
|
|
|
|
|
2006-12-08 22:47:25 +00:00
|
|
|
for (std::vector<Pass *>::iterator I = passManagersBegin(),
|
|
|
|
E = passManagersEnd(); I != E; ++I) {
|
2006-12-13 02:36:01 +00:00
|
|
|
ModulePassManager *MP = dynamic_cast<ModulePassManager *>(*I);
|
2006-12-08 22:47:25 +00:00
|
|
|
Changed |= MP->runOnModule(M);
|
2006-11-07 22:23:34 +00:00
|
|
|
}
|
|
|
|
return Changed;
|
|
|
|
}
|
2006-11-08 10:29:57 +00:00
|
|
|
|
2006-12-07 19:39:39 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// PassManager implementation
|
|
|
|
|
2006-11-08 10:29:57 +00:00
|
|
|
/// Create new pass manager
|
2006-12-13 02:36:01 +00:00
|
|
|
PassManager::PassManager() {
|
2006-12-07 23:24:58 +00:00
|
|
|
PM = new PassManagerImpl_New(0);
|
2006-12-12 22:02:16 +00:00
|
|
|
// PM is the top level manager
|
|
|
|
PM->setTopLevelManager(PM);
|
2006-11-08 10:29:57 +00:00
|
|
|
}
|
|
|
|
|
2006-12-13 02:36:01 +00:00
|
|
|
PassManager::~PassManager() {
|
2006-12-13 00:09:23 +00:00
|
|
|
delete PM;
|
|
|
|
}
|
|
|
|
|
2006-11-08 10:29:57 +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 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
|
2006-12-13 02:36:01 +00:00
|
|
|
PassManager::add(Pass *P) {
|
2006-11-08 10:29:57 +00:00
|
|
|
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
|
2006-12-13 02:36:01 +00:00
|
|
|
PassManager::run(Module &M) {
|
2006-11-08 10:29:57 +00:00
|
|
|
return PM->run(M);
|
|
|
|
}
|
|
|
|
|
2006-12-14 00:59:42 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// TimingInfo Class - This class is used to calculate information about the
|
|
|
|
// amount of time each pass takes to execute. This only happens with
|
|
|
|
// -time-passes is enabled on the command line.
|
|
|
|
//
|
|
|
|
bool llvm::TimePassesIsEnabled = false;
|
|
|
|
static cl::opt<bool,true>
|
|
|
|
EnableTiming("time-passes", cl::location(TimePassesIsEnabled),
|
|
|
|
cl::desc("Time each pass, printing elapsed time for each on exit"));
|
|
|
|
|
|
|
|
// createTheTimeInfo - This method either initializes the TheTimeInfo pointer to
|
|
|
|
// a non null value (if the -time-passes option is enabled) or it leaves it
|
|
|
|
// null. It may be called multiple times.
|
|
|
|
void TimingInfo::createTheTimeInfo() {
|
|
|
|
if (!TimePassesIsEnabled || TheTimeInfo) return;
|
|
|
|
|
|
|
|
// Constructed the first time this is called, iff -time-passes is enabled.
|
|
|
|
// This guarantees that the object will be constructed before static globals,
|
|
|
|
// thus it will be destroyed before them.
|
|
|
|
static ManagedStatic<TimingInfo> TTI;
|
|
|
|
TheTimeInfo = &*TTI;
|
|
|
|
}
|
|
|
|
|
2006-12-13 02:36:01 +00:00
|
|
|
#endif
|