X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=lib%2FVMCore%2FPass.cpp;h=b593d475ca0efe3119cb0edf5b5779d1f57a4de4;hb=e934fefd6b6c83816e81bc86389cd593fb930773;hp=a139a25e4d6fa7ca1ef7ea2ee5d0e955eb9a8e4b;hpb=41300863c5e73edd0228e2486c01a46eb2a153e0;p=oota-llvm.git diff --git a/lib/VMCore/Pass.cpp b/lib/VMCore/Pass.cpp index a139a25e4d6..b593d475ca0 100644 --- a/lib/VMCore/Pass.cpp +++ b/lib/VMCore/Pass.cpp @@ -1,4 +1,11 @@ -//===- Pass.cpp - LLVM Pass Infrastructure Impementation ------------------===// +//===- Pass.cpp - LLVM Pass Infrastructure Implementation -----------------===// +// +// The LLVM Compiler Infrastructure +// +// This file was developed by the LLVM research group and is distributed under +// the University of Illinois Open Source License. See LICENSE.TXT for details. +// +//===----------------------------------------------------------------------===// // // This file implements the LLVM Pass infrastructure. It is primarily // responsible with ensuring that passes are executed and batched together @@ -8,166 +15,309 @@ #include "llvm/PassManager.h" #include "llvm/Module.h" -#include "llvm/Method.h" -#include "Support/STLExtras.h" +#include "llvm/ModuleProvider.h" +#include "llvm/ADT/STLExtras.h" +#include "llvm/Support/ManagedStatic.h" +#include "llvm/Support/TypeInfo.h" #include +#include +using namespace llvm; + +//===----------------------------------------------------------------------===// +// Pass Implementation +// -// Source of unique analysis ID #'s. -unsigned AnalysisID::NextID = 0; +// Force out-of-line virtual method. +ModulePass::~ModulePass() { } -void AnalysisResolver::setAnalysisResolver(Pass *P, AnalysisResolver *AR) { - assert(P->Resolver == 0 && "Pass already in a PassManager!"); - P->Resolver = AR; +bool Pass::mustPreserveAnalysisID(const PassInfo *AnalysisID) const { + return Resolver->getAnalysisToUpdate(AnalysisID, true) != 0; } +// dumpPassStructure - Implement the -debug-passes=Structure option +void Pass::dumpPassStructure(unsigned Offset) { + cerr << std::string(Offset*2, ' ') << getPassName() << "\n"; +} -// 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. +// getPassName - Use C++ RTTI to get a SOMEWHAT intelligible name for the pass. // -#ifndef NDEBUG -#include "Support/CommandLine.h" -#include -#include - -// Different debug levels that can be enabled... -enum PassDebugLevel { - None, PassStructure, PassExecutions, PassDetails -}; - -static cl::Enum PassDebugging("debug-pass", cl::Hidden, - "Print PassManager debugging information", - clEnumVal(None , "disable debug output"), - clEnumVal(PassStructure , "print pass structure before run()"), - clEnumVal(PassExecutions, "print pass name before it is executed"), - clEnumVal(PassDetails , "print pass details when it is executed"), 0); - -void PMDebug::PrintPassStructure(Pass *P) { - if (PassDebugging >= PassStructure) - P->dumpPassStructure(); -} - -void PMDebug::PrintPassInformation(unsigned Depth, const char *Action, - Pass *P, Value *V) { - if (PassDebugging >= PassExecutions) { - std::cerr << std::string(Depth*2, ' ') << Action << " '" - << typeid(*P).name(); - if (V) { - std::cerr << "' on "; - switch (V->getValueType()) { - case Value::ModuleVal: - std::cerr << "Module\n"; return; - case Value::MethodVal: - std::cerr << "Method '" << V->getName(); break; - case Value::BasicBlockVal: - std::cerr << "BasicBlock '" << V->getName(); break; - default: - std::cerr << typeid(*V).name() << " '" << V->getName(); break; - } - } - std::cerr << "'...\n"; - } +const char *Pass::getPassName() const { + if (const PassInfo *PI = getPassInfo()) + return PI->getPassName(); + return typeid(*this).name(); } -void PMDebug::PrintAnalysisSetInfo(unsigned Depth, const char *Msg, - const Pass::AnalysisSet &Set) { - if (PassDebugging >= PassDetails && !Set.empty()) { - std::cerr << std::string(Depth*2+2, ' ') << Msg << " Analyses:"; - for (unsigned i = 0; i < Set.size(); ++i) { - Pass *P = Set[i].createPass(); // Good thing this is just debug code... - std::cerr << " " << typeid(*P).name(); - delete P; - } - std::cerr << "\n"; - } +// print - Print out the internal state of the pass. This is called by Analyze +// to print out the contents of an analysis. Otherwise it is not necessary to +// implement this method. +// +void Pass::print(std::ostream &O,const Module*) const { + O << "Pass::print not implemented for pass: '" << getPassName() << "'!\n"; } -// dumpPassStructure - Implement the -debug-passes=PassStructure option -void Pass::dumpPassStructure(unsigned Offset = 0) { - std::cerr << std::string(Offset*2, ' ') << typeid(*this).name() << "\n"; +// dump - call print(cerr); +void Pass::dump() const { + print(*cerr.stream(), 0); } -#endif +//===----------------------------------------------------------------------===// +// ImmutablePass Implementation +// +// Force out-of-line virtual method. +ImmutablePass::~ImmutablePass() { } //===----------------------------------------------------------------------===// -// Pass Implementation +// FunctionPass Implementation // -void Pass::addToPassManager(PassManagerT *PM, AnalysisSet &Destroyed, - AnalysisSet &Provided) { - PM->addPass(this, Destroyed, Provided); +// run - On a module, we run this pass by initializing, runOnFunction'ing once +// for every function in the module, then by finalizing. +// +bool FunctionPass::runOnModule(Module &M) { + bool Changed = doInitialization(M); + + for (Module::iterator I = M.begin(), E = M.end(); I != E; ++I) + if (!I->isDeclaration()) // Passes are not run on external functions! + Changed |= runOnFunction(*I); + + return Changed | doFinalization(M); +} + +// run - On a function, we simply initialize, run the function, then finalize. +// +bool FunctionPass::run(Function &F) { + if (F.isDeclaration()) return false;// Passes are not run on external functions! + + bool Changed = doInitialization(*F.getParent()); + Changed |= runOnFunction(F); + return Changed | doFinalization(*F.getParent()); } //===----------------------------------------------------------------------===// -// MethodPass Implementation +// BasicBlockPass Implementation +// + +// To run this pass on a function, we simply call runOnBasicBlock once for each +// function. // +bool BasicBlockPass::runOnFunction(Function &F) { + bool Changed = doInitialization(F); + for (Function::iterator I = F.begin(), E = F.end(); I != E; ++I) + Changed |= runOnBasicBlock(*I); + return Changed | doFinalization(F); +} -// run - On a module, we run this pass by initializing, ronOnMethod'ing once -// for every method in the module, then by finalizing. +// To run directly on the basic block, we initialize, runOnBasicBlock, then +// finalize. // -bool MethodPass::run(Module *M) { +bool BasicBlockPass::runPass(BasicBlock &BB) { + Function &F = *BB.getParent(); + Module &M = *F.getParent(); bool Changed = doInitialization(M); + Changed |= doInitialization(F); + Changed |= runOnBasicBlock(BB); + Changed |= doFinalization(F); + Changed |= doFinalization(M); + return Changed; +} + +//===----------------------------------------------------------------------===// +// Pass Registration mechanism +// +namespace { +class PassRegistrar { + /// PassInfoMap - Keep track of the passinfo object for each registered llvm + /// pass. + std::map PassInfoMap; - for (Module::iterator I = M->begin(), E = M->end(); I != E; ++I) - if (!(*I)->isExternal()) // Passes are not run on external methods! - Changed |= runOnMethod(*I); + /// AnalysisGroupInfo - Keep track of information for each analysis group. + struct AnalysisGroupInfo { + const PassInfo *DefaultImpl; + std::set Implementations; + AnalysisGroupInfo() : DefaultImpl(0) {} + }; - return Changed | doFinalization(M); + /// AnalysisGroupInfoMap - Information for each analysis group. + std::map AnalysisGroupInfoMap; + +public: + + const PassInfo *GetPassInfo(const std::type_info &TI) const { + std::map::const_iterator I = PassInfoMap.find(TI); + return I != PassInfoMap.end() ? I->second : 0; + } + + void RegisterPass(PassInfo &PI) { + bool Inserted = + PassInfoMap.insert(std::make_pair(TypeInfo(PI.getTypeInfo()),&PI)).second; + assert(Inserted && "Pass registered multiple times!"); + } + + void UnregisterPass(PassInfo &PI) { + std::map::iterator I = + PassInfoMap.find(PI.getTypeInfo()); + assert(I != PassInfoMap.end() && "Pass registered but not in map!"); + + // Remove pass from the map. + PassInfoMap.erase(I); + } + + void EnumerateWith(PassRegistrationListener *L) { + for (std::map::const_iterator I = PassInfoMap.begin(), + E = PassInfoMap.end(); I != E; ++I) + L->passEnumerate(I->second); + } + + + /// Analysis Group Mechanisms. + void RegisterAnalysisGroup(PassInfo *InterfaceInfo, + const PassInfo *ImplementationInfo, + bool isDefault) { + AnalysisGroupInfo &AGI = AnalysisGroupInfoMap[InterfaceInfo]; + assert(AGI.Implementations.count(ImplementationInfo) == 0 && + "Cannot add a pass to the same analysis group more than once!"); + AGI.Implementations.insert(ImplementationInfo); + if (isDefault) { + assert(AGI.DefaultImpl == 0 && InterfaceInfo->getNormalCtor() == 0 && + "Default implementation for analysis group already specified!"); + assert(ImplementationInfo->getNormalCtor() && + "Cannot specify pass as default if it does not have a default ctor"); + AGI.DefaultImpl = ImplementationInfo; + InterfaceInfo->setNormalCtor(ImplementationInfo->getNormalCtor()); + } + } +}; } -// run - On a method, we simply initialize, run the method, then finalize. -// -bool MethodPass::run(Method *M) { - if (M->isExternal()) return false; // Passes are not run on external methods! +static ManagedStatic PassRegistrarObj; +static std::vector *Listeners = 0; - return doInitialization(M->getParent()) | runOnMethod(M) - | doFinalization(M->getParent()); +// getPassInfo - Return the PassInfo data structure that corresponds to this +// pass... +const PassInfo *Pass::getPassInfo() const { + if (PassInfoCache) return PassInfoCache; + return lookupPassInfo(typeid(*this)); } -void MethodPass::addToPassManager(PassManagerT *PM, - AnalysisSet &Destroyed, - AnalysisSet &Provided) { - PM->addPass(this, Destroyed, Provided); +const PassInfo *Pass::lookupPassInfo(const std::type_info &TI) { + return PassRegistrarObj->GetPassInfo(TI); } -void MethodPass::addToPassManager(PassManagerT *PM, - AnalysisSet &Destroyed, - AnalysisSet &Provided) { - PM->addPass(this, Destroyed, Provided); +void RegisterPassBase::registerPass() { + PassRegistrarObj->RegisterPass(PIObj); + + // Notify any listeners. + if (Listeners) + for (std::vector::iterator + I = Listeners->begin(), E = Listeners->end(); I != E; ++I) + (*I)->passRegistered(&PIObj); +} + +void RegisterPassBase::unregisterPass() { + PassRegistrarObj->UnregisterPass(PIObj); } //===----------------------------------------------------------------------===// -// BasicBlockPass Implementation +// Analysis Group Implementation Code +//===----------------------------------------------------------------------===// + +// RegisterAGBase implementation // +RegisterAGBase::RegisterAGBase(const std::type_info &Interface, + const std::type_info *Pass, bool isDefault) + : RegisterPassBase(Interface), + ImplementationInfo(0), isDefaultImplementation(isDefault) { -// To run this pass on a method, we simply call runOnBasicBlock once for each -// method. + InterfaceInfo = const_cast(Pass::lookupPassInfo(Interface)); + if (InterfaceInfo == 0) { + // First reference to Interface, register it now. + registerPass(); + InterfaceInfo = &PIObj; + } + assert(PIObj.isAnalysisGroup() && + "Trying to join an analysis group that is a normal pass!"); + + if (Pass) { + ImplementationInfo = Pass::lookupPassInfo(*Pass); + assert(ImplementationInfo && + "Must register pass before adding to AnalysisGroup!"); + + // Make sure we keep track of the fact that the implementation implements + // the interface. + PassInfo *IIPI = const_cast(ImplementationInfo); + IIPI->addInterfaceImplemented(InterfaceInfo); + + PassRegistrarObj->RegisterAnalysisGroup(InterfaceInfo, IIPI, isDefault); + } +} + +void RegisterAGBase::setGroupName(const char *Name) { + assert(InterfaceInfo->getPassName()[0] == 0 && "Interface Name already set!"); + InterfaceInfo->setPassName(Name); +} + + +//===----------------------------------------------------------------------===// +// PassRegistrationListener implementation // -bool BasicBlockPass::runOnMethod(Method *M) { - bool Changed = false; - for (Method::iterator I = M->begin(), E = M->end(); I != E; ++I) - Changed |= runOnBasicBlock(*I); - return Changed; + +// PassRegistrationListener ctor - Add the current object to the list of +// PassRegistrationListeners... +PassRegistrationListener::PassRegistrationListener() { + if (!Listeners) Listeners = new std::vector(); + Listeners->push_back(this); } -// To run directly on the basic block, we initialize, runOnBasicBlock, then -// finalize. +// dtor - Remove object from list of listeners... +PassRegistrationListener::~PassRegistrationListener() { + std::vector::iterator I = + std::find(Listeners->begin(), Listeners->end(), this); + assert(Listeners && I != Listeners->end() && + "PassRegistrationListener not registered!"); + Listeners->erase(I); + + if (Listeners->empty()) { + delete Listeners; + Listeners = 0; + } +} + +// enumeratePasses - Iterate over the registered passes, calling the +// passEnumerate callback on each PassInfo object. // -bool BasicBlockPass::run(BasicBlock *BB) { - Module *M = BB->getParent()->getParent(); - return doInitialization(M) | runOnBasicBlock(BB) | doFinalization(M); +void PassRegistrationListener::enumeratePasses() { + PassRegistrarObj->EnumerateWith(this); } -void BasicBlockPass::addToPassManager(PassManagerT *PM, - AnalysisSet &Destroyed, - AnalysisSet &Provided) { - PM->addPass(this, Destroyed, Provided); +//===----------------------------------------------------------------------===// +// AnalysisUsage Class Implementation +// + +namespace { + struct GetCFGOnlyPasses : public PassRegistrationListener { + std::vector &CFGOnlyList; + GetCFGOnlyPasses(std::vector &L) : CFGOnlyList(L) {} + + void passEnumerate(const PassInfo *P) { + if (P->isCFGOnlyPass()) + CFGOnlyList.push_back(P); + } + }; } -void BasicBlockPass::addToPassManager(PassManagerT *PM, - AnalysisSet &Destroyed, - AnalysisSet &Provided) { - PM->addPass(this, Destroyed, Provided); +// setPreservesCFG - This function should be called to by the pass, iff they do +// not: +// +// 1. Add or remove basic blocks from the function +// 2. Modify terminator instructions in any way. +// +// This function annotates the AnalysisUsage info object to say that analyses +// that only depend on the CFG are preserved by this pass. +// +void AnalysisUsage::setPreservesCFG() { + // Since this transformation doesn't modify the CFG, it preserves all analyses + // that only depend on the CFG (like dominators, loop info, etc...) + GetCFGOnlyPasses(Preserved).enumeratePasses(); } +