LLVM  4.0.0
Public Member Functions | Static Public Member Functions | List of all members
llvm::Pass Class Referenceabstract

Pass interface - Implemented by all 'passes'. More...

#include <Pass.h>

Inheritance diagram for llvm::Pass:
[legend]

Public Member Functions

 Pass (PassKind K, char &pid)
 
virtual ~Pass ()
 
PassKind getPassKind () const
 
virtual StringRef getPassName () const
 getPassName - Return a nice clean name for a pass. More...
 
AnalysisID getPassID () const
 getPassID - Return the PassID number that corresponds to this pass. More...
 
virtual bool doInitialization (Module &)
 doInitialization - Virtual method overridden by subclasses to do any necessary initialization before any pass is run. More...
 
virtual bool doFinalization (Module &)
 doFinalization - Virtual method overriden by subclasses to do any necessary clean up after all passes have run. More...
 
virtual void print (raw_ostream &O, const Module *M) const
 print - Print out the internal state of the pass. More...
 
void dump () const
 
virtual PasscreatePrinterPass (raw_ostream &O, const std::string &Banner) const =0
 createPrinterPass - Get a Pass appropriate to print the IR this pass operates on (Module, Function or MachineFunction). More...
 
virtual void assignPassManager (PMStack &, PassManagerType)
 Each pass is responsible for assigning a pass manager to itself. More...
 
virtual void preparePassManager (PMStack &)
 Check if available pass managers are suitable for this pass or not. More...
 
virtual PassManagerType getPotentialPassManagerType () const
 Return what kind of Pass Manager can manage this pass. More...
 
void setResolver (AnalysisResolver *AR)
 
AnalysisResolvergetResolver () const
 
virtual void getAnalysisUsage (AnalysisUsage &) const
 getAnalysisUsage - This function should be overriden by passes that need analysis information to do their job. More...
 
virtual void releaseMemory ()
 releaseMemory() - This member can be implemented by a pass if it wants to be able to release its memory when it is no longer needed. More...
 
virtual void * getAdjustedAnalysisPointer (AnalysisID ID)
 getAdjustedAnalysisPointer - This method is used when a pass implements an analysis interface through multiple inheritance. More...
 
virtual ImmutablePassgetAsImmutablePass ()
 
virtual PMDataManagergetAsPMDataManager ()
 
virtual void verifyAnalysis () const
 verifyAnalysis() - This member can be implemented by a analysis pass to check state of analysis information. More...
 
virtual void dumpPassStructure (unsigned Offset=0)
 
template<typename AnalysisType >
AnalysisType * getAnalysisIfAvailable () const
 getAnalysisIfAvailable<AnalysisType>() - Subclasses use this function to get analysis information that might be around, for example to update it. More...
 
bool mustPreserveAnalysisID (char &AID) const
 mustPreserveAnalysisID - This method serves the same function as getAnalysisIfAvailable, but works if you just have an AnalysisID. More...
 
template<typename AnalysisType >
AnalysisType & getAnalysis () const
 getAnalysis<AnalysisType>() - This function is used by subclasses to get to the analysis information that they claim to use by overriding the getAnalysisUsage function. More...
 
template<typename AnalysisType >
AnalysisType & getAnalysis (Function &F)
 getAnalysis<AnalysisType>() - This function is used by subclasses to get to the analysis information that they claim to use by overriding the getAnalysisUsage function. More...
 
template<typename AnalysisType >
AnalysisType & getAnalysisID (AnalysisID PI) const
 
template<typename AnalysisType >
AnalysisType & getAnalysisID (AnalysisID PI, Function &F)
 

Static Public Member Functions

static const PassInfolookupPassInfo (const void *TI)
 
static const PassInfolookupPassInfo (StringRef Arg)
 
static PasscreatePass (AnalysisID ID)
 

Detailed Description

Pass interface - Implemented by all 'passes'.

Subclass this if you are an interprocedural optimization or you do not fit into any of the more constrained passes described below.

Definition at line 81 of file Pass.h.

Constructor & Destructor Documentation

llvm::Pass::Pass ( PassKind  K,
char &  pid 
)
inlineexplicit

Definition at line 89 of file Pass.h.

Pass::~Pass ( )
virtual

Definition at line 34 of file Pass.cpp.

Member Function Documentation

virtual void llvm::Pass::assignPassManager ( PMStack ,
PassManagerType   
)
inlinevirtual

Each pass is responsible for assigning a pass manager to itself.

PMS is the stack of available pass manager.

Reimplemented in llvm::BasicBlockPass, llvm::FunctionPass, llvm::ModulePass, llvm::RegionPass, llvm::CallGraphSCCPass, and llvm::LoopPass.

Definition at line 134 of file Pass.h.

Referenced by llvm::PMTopLevelManager::schedulePass().

Pass * Pass::createPass ( AnalysisID  ID)
static
virtual Pass* llvm::Pass::createPrinterPass ( raw_ostream O,
const std::string &  Banner 
) const
pure virtual
virtual bool llvm::Pass::doFinalization ( Module )
inlinevirtual
virtual bool llvm::Pass::doInitialization ( Module )
inlinevirtual
LLVM_DUMP_METHOD void Pass::dump ( ) const

Definition at line 122 of file Pass.cpp.

References llvm::dbgs(), and print().

Referenced by llvm::LiveIntervals::runOnMachineFunction().

void Pass::dumpPassStructure ( unsigned  Offset = 0)
virtual
void * Pass::getAdjustedAnalysisPointer ( AnalysisID  ID)
virtual

getAdjustedAnalysisPointer - This method is used when a pass implements an analysis interface through multiple inheritance.

If needed, it should override this to adjust the this pointer as needed for the specified pass info.

Definition at line 96 of file Pass.cpp.

Referenced by getAnalysisID(), and getAnalysisIfAvailable().

template<typename AnalysisType >
AnalysisType & llvm::Pass::getAnalysis ( ) const

getAnalysis<AnalysisType>() - This function is used by subclasses to get to the analysis information that they claim to use by overriding the getAnalysisUsage function.

Definition at line 221 of file PassAnalysisSupport.h.

References assert().

Referenced by llvm::createLegacyPMAAResults(), and llvm::createLegacyPMBasicAAResult().

template<typename AnalysisType >
AnalysisType & llvm::Pass::getAnalysis ( Function F)

getAnalysis<AnalysisType>() - This function is used by subclasses to get to the analysis information that they claim to use by overriding the getAnalysisUsage function.

Definition at line 250 of file PassAnalysisSupport.h.

References assert(), and F.

template<typename AnalysisType >
AnalysisType & llvm::Pass::getAnalysisID ( AnalysisID  PI) const
template<typename AnalysisType >
AnalysisType & llvm::Pass::getAnalysisID ( AnalysisID  PI,
Function F 
)
template<typename AnalysisType >
AnalysisType * llvm::Pass::getAnalysisIfAvailable ( ) const

getAnalysisIfAvailable<AnalysisType>() - Subclasses use this function to get analysis information that might be around, for example to update it.

This is different than getAnalysis in that it can fail (if the analysis results haven't been computed), so should only be used if you can handle the case when the analysis is not available. This method is often used by transformation APIs to update analysis results for a pass automatically as the transform is performed.

Definition at line 201 of file PassAnalysisSupport.h.

References assert(), getAdjustedAnalysisPointer(), and llvm::AnalysisResolver::getAnalysisIfAvailable().

Referenced by llvm::createLegacyPMAAResults(), llvm::RegBankSelect::InstrInsertPoint::frequency(), llvm::RegBankSelect::MBBInsertPoint::frequency(), llvm::RegBankSelect::EdgeInsertPoint::frequency(), and llvm::MachineBasicBlock::SplitCriticalEdge().

void Pass::getAnalysisUsage ( AnalysisUsage ) const
virtual

getAnalysisUsage - This function should be overriden by passes that need analysis information to do their job.

If a pass specifies that it uses a particular analysis result to this function, it can then use the getAnalysis<AnalysisType>() function, below.

Reimplemented in llvm::sroa::SROALegacyPass, llvm::gvn::GVNLegacyPass, llvm::ScalarEvolutionWrapperPass, llvm::AAResultsWrapperPass, llvm::DependenceAnalysisWrapperPass, llvm::RegionInfoPass, llvm::LoopInfoWrapperPass, llvm::MemorySSAWrapperPass, llvm::LoopAccessLegacyAnalysis, llvm::MemorySSAPrinterLegacyPass, llvm::RegBankSelect, llvm::MemoryDependenceWrapperPass, llvm::FPPassManager, llvm::legacy::PassManagerImpl, llvm::IRTranslator, llvm::CallGraphWrapperPass, llvm::SlotIndexes, llvm::AAEvalLegacyPass, llvm::NVPTXAsmPrinter, llvm::legacy::FunctionPassManagerImpl, llvm::LiveIntervals, llvm::LiveVariables, llvm::OptimizationRemarkEmitterWrapperPass, llvm::DominatorTreeWrapperPass, llvm::AsmPrinter, llvm::BasicAAWrapperPass, llvm::BranchProbabilityInfoWrapperPass, llvm::IVUsersWrapperPass, llvm::DOTGraphTraitsModulePrinter< AnalysisT, IsSimple, GraphT, AnalysisGraphTraitsT >, llvm::LCSSAVerificationPass, llvm::DominanceFrontierWrapperPass, llvm::CFLSteensAAWrapperPass, llvm::GlobalsAAWrapperPass, llvm::DOTGraphTraitsModuleViewer< AnalysisT, IsSimple, GraphT, AnalysisGraphTraitsT >, llvm::LazyValueInfoWrapperPass, llvm::CFLAndersAAWrapperPass, llvm::MachineLoopInfo, llvm::DummyCGSCCPass, llvm::BlockFrequencyInfoWrapperPass, llvm::StackProtector, llvm::DOTGraphTraitsPrinter< AnalysisT, IsSimple, GraphT, AnalysisGraphTraitsT >, llvm::MachineRegionInfoPass, llvm::LazyBlockFrequencyInfoPass, llvm::LPPassManager, llvm::MachineDominanceFrontier, llvm::RGPassManager, llvm::LazyBranchProbabilityInfoPass, llvm::objcarc::ObjCARCAAWrapperPass, llvm::LiveStacks, llvm::IntervalPartition, llvm::MachineDominatorTree, llvm::ProfileSummaryInfoWrapperPass, llvm::MachinePostDominatorTree, llvm::MachineTraceMetrics, llvm::CallGraphSCCPass, llvm::DemandedBitsWrapperPass, llvm::TypeBasedAAWrapperPass, llvm::VirtRegMap, llvm::ScopedNoAliasAAWrapperPass, llvm::PostDominatorTreeWrapperPass, llvm::SelectionDAGISel, llvm::DOTGraphTraitsViewer< AnalysisT, IsSimple, GraphT, AnalysisGraphTraitsT >, llvm::ModuleSummaryIndexWrapperPass, llvm::SCEVAAWrapperPass, llvm::InstructionCombiningPass, llvm::MachineFunctionPass, llvm::Legalizer, llvm::MachineBranchProbabilityInfo, llvm::PhysicalRegisterUsageInfo, llvm::MachineBlockFrequencyInfo, llvm::LegacyInlinerBase, llvm::UnifyFunctionExitNodes, llvm::InstructionSelect, and llvm::DivergenceAnalysis.

Definition at line 84 of file Pass.cpp.

Referenced by llvm::PMDataManager::dumpPreservedSet(), llvm::PMDataManager::dumpRequiredSet(), llvm::PMDataManager::dumpUsedSet(), llvm::PMTopLevelManager::findAnalysisUsage(), and llvm::MachineFunctionPass::getAnalysisUsage().

ImmutablePass * Pass::getAsImmutablePass ( )
virtual

Reimplemented in llvm::ImmutablePass.

Definition at line 100 of file Pass.cpp.

Referenced by llvm::PMTopLevelManager::schedulePass().

PMDataManager * Pass::getAsPMDataManager ( )
virtual
AnalysisID llvm::Pass::getPassID ( ) const
inline
PassKind llvm::Pass::getPassKind ( ) const
inline

Definition at line 94 of file Pass.h.

StringRef Pass::getPassName ( ) const
virtual
PassManagerType Pass::getPotentialPassManagerType ( ) const
virtual

Return what kind of Pass Manager can manage this pass.

Reimplemented in llvm::BasicBlockPass, llvm::FunctionPass, llvm::ModulePass, llvm::RegionPass, llvm::CallGraphSCCPass, and llvm::LoopPass.

Definition at line 79 of file Pass.cpp.

References llvm::PMT_Unknown.

Referenced by llvm::PMTopLevelManager::schedulePass().

AnalysisResolver* llvm::Pass::getResolver ( ) const
inline
const PassInfo * Pass::lookupPassInfo ( const void *  TI)
static
const PassInfo * Pass::lookupPassInfo ( StringRef  Arg)
static
bool Pass::mustPreserveAnalysisID ( char &  AID) const

mustPreserveAnalysisID - This method serves the same function as getAnalysisIfAvailable, but works if you just have an AnalysisID.

This obviously cannot give you a properly typed instance of the class if you don't have the class name available (use getAnalysisIfAvailable if you do), but it can tell you if you need to preserve the pass at least.

Definition at line 54 of file Pass.cpp.

References llvm::AnalysisResolver::getAnalysisIfAvailable().

Referenced by llvm::LPPassManager::runOnFunction().

void Pass::preparePassManager ( PMStack )
virtual

Check if available pass managers are suitable for this pass or not.

Reimplemented in llvm::RegionPass, and llvm::LoopPass.

Definition at line 75 of file Pass.cpp.

Referenced by llvm::PMTopLevelManager::schedulePass().

void Pass::print ( raw_ostream O,
const Module M 
) const
virtual
void Pass::releaseMemory ( )
virtual

releaseMemory() - This member can be implemented by a pass if it wants to be able to release its memory when it is no longer needed.

The default behavior of passes is to hold onto memory for the entire duration of their lifetime (which is the entire compile time). For pipelined passes, this is not a big deal because that memory gets recycled every time the pass is invoked on another program unit. For IP passes, it is more important to free memory when it is unused.

Optionally implement this function to release pass memory when it is no longer used.

Reimplemented in llvm::ScalarEvolutionWrapperPass, llvm::DependenceAnalysisWrapperPass, llvm::RegionInfoPass, llvm::LoopInfoWrapperPass, llvm::MemorySSAWrapperPass, llvm::LoopAccessLegacyAnalysis, llvm::MemoryDependenceWrapperPass, llvm::CallGraphWrapperPass, llvm::SlotIndexes, llvm::LiveIntervals, llvm::LiveVariables, llvm::DominatorTreeWrapperPass, llvm::MachineDominatorTree, llvm::BranchProbabilityInfoWrapperPass, llvm::AssumptionCacheTracker, llvm::IVUsersWrapperPass, llvm::DominanceFrontierWrapperPass, llvm::LazyValueInfoWrapperPass, llvm::BlockFrequencyInfoWrapperPass, llvm::MachineLoopInfo, llvm::LazyBlockFrequencyInfoPass, llvm::MachineRegionInfoPass, llvm::LazyBranchProbabilityInfoPass, llvm::MachineDominanceFrontier, llvm::IntervalPartition, llvm::LiveStacks, llvm::MachineTraceMetrics, llvm::DemandedBitsWrapperPass, llvm::PostDominatorTreeWrapperPass, and llvm::MachineBlockFrequencyInfo.

Definition at line 88 of file Pass.cpp.

Referenced by llvm::PMDataManager::freePass(), and llvm::legacy::FunctionPassManagerImpl::releaseMemoryOnTheFly().

void Pass::setResolver ( AnalysisResolver AR)
void Pass::verifyAnalysis ( ) const
virtual

The documentation for this class was generated from the following files: