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

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

#include "llvm/Pass.h"

Inheritance diagram for llvm::Pass:
Inheritance graph
[legend]

Public Member Functions

 Pass (PassKind K, char &pid)
 
 Pass (const Pass &)=delete
 
Passoperator= (const Pass &)=delete
 
virtual ~Pass ()
 
PassKind getPassKind () const
 
virtual StringRef getPassName () const
 getPassName - Return a nice clean name for a pass.
 
AnalysisID getPassID () const
 getPassID - Return the PassID number that corresponds to this pass.
 
virtual bool doInitialization (Module &)
 doInitialization - Virtual method overridden by subclasses to do any necessary initialization before any pass is run.
 
virtual bool doFinalization (Module &)
 doFinalization - Virtual method overriden by subclasses to do any necessary clean up after all passes have run.
 
virtual void print (raw_ostream &OS, const Module *M) const
 print - Print out the internal state of the pass.
 
void dump () const
 
virtual PasscreatePrinterPass (raw_ostream &OS, const std::string &Banner) const =0
 createPrinterPass - Get a Pass appropriate to print the IR this pass operates on (Module, Function or MachineFunction).
 
virtual void assignPassManager (PMStack &, PassManagerType)
 Each pass is responsible for assigning a pass manager to itself.
 
virtual void preparePassManager (PMStack &)
 Check if available pass managers are suitable for this pass or not.
 
virtual PassManagerType getPotentialPassManagerType () const
 Return what kind of Pass Manager can manage this pass.
 
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.
 
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.
 
virtual void * getAdjustedAnalysisPointer (AnalysisID ID)
 getAdjustedAnalysisPointer - This method is used when a pass implements an analysis interface through multiple inheritance.
 
virtual ImmutablePassgetAsImmutablePass ()
 
virtual PMDataManagergetAsPMDataManager ()
 
virtual void verifyAnalysis () const
 verifyAnalysis() - This member can be implemented by a analysis pass to check state of analysis information.
 
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.
 
bool mustPreserveAnalysisID (char &AID) const
 mustPreserveAnalysisID - This method serves the same function as getAnalysisIfAvailable, but works if you just have an AnalysisID.
 
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.
 
template<typename AnalysisType >
AnalysisType & getAnalysis (Function &F, bool *Changed=nullptr)
 getAnalysis<AnalysisType>() - This function is used by subclasses to get to the analysis information that they claim to use by overriding the getAnalysisUsage function.
 
template<typename AnalysisType >
AnalysisType & getAnalysisID (AnalysisID PI) const
 
template<typename AnalysisType >
AnalysisType & getAnalysisID (AnalysisID PI, Function &F, bool *Changed=nullptr)
 

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 94 of file Pass.h.

Constructor & Destructor Documentation

◆ Pass() [1/2]

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

Definition at line 100 of file Pass.h.

◆ Pass() [2/2]

llvm::Pass::Pass ( const Pass )
delete

◆ ~Pass()

Pass::~Pass ( )
virtual

Definition at line 43 of file Pass.cpp.

Member Function Documentation

◆ assignPassManager()

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::CallGraphSCCPass, llvm::LoopPass, llvm::RegionPass, llvm::ModulePass, and llvm::FunctionPass.

Definition at line 142 of file Pass.h.

Referenced by llvm::FunctionPass::assignPassManager(), and llvm::PMTopLevelManager::schedulePass().

◆ createPass()

Pass * Pass::createPass ( AnalysisID  ID)
static

◆ createPrinterPass()

virtual Pass * llvm::Pass::createPrinterPass ( raw_ostream OS,
const std::string &  Banner 
) const
pure virtual

◆ doFinalization()

virtual bool llvm::Pass::doFinalization ( Module )
inlinevirtual

◆ doInitialization()

virtual bool llvm::Pass::doInitialization ( Module )
inlinevirtual

◆ dump()

LLVM_DUMP_METHOD void Pass::dump ( ) const

◆ dumpPassStructure()

void Pass::dumpPassStructure ( unsigned  Offset = 0)
virtual

◆ getAdjustedAnalysisPointer()

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 110 of file Pass.cpp.

Referenced by getAnalysisID(), and getAnalysisIfAvailable().

◆ getAnalysis() [1/2]

template<typename AnalysisType >
AnalysisType & llvm::Pass::getAnalysis

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 230 of file PassAnalysisSupport.h.

References assert().

Referenced by llvm::SIRegisterInfo::findReachingDef(), llvm::AnalysisGetter::getAnalysis(), llvm::SITargetLowering::LowerFormalArguments(), llvm::SITargetLowering::passSpecialInputs(), and llvm::SwingSchedulerDAG::schedule().

◆ getAnalysis() [2/2]

template<typename AnalysisType >
AnalysisType & llvm::Pass::getAnalysis ( Function F,
bool Changed = nullptr 
)

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

If as part of the dependencies, an IR transformation is triggered (e.g. because the analysis requires BreakCriticalEdges), and Changed is non null, *Changed is updated.

Definition at line 260 of file PassAnalysisSupport.h.

References assert(), and F.

◆ getAnalysisID() [1/2]

template<typename AnalysisType >
AnalysisType & llvm::Pass::getAnalysisID ( AnalysisID  PI) const

Definition at line 236 of file PassAnalysisSupport.h.

References assert(), and getAdjustedAnalysisPointer().

◆ getAnalysisID() [2/2]

template<typename AnalysisType >
AnalysisType & llvm::Pass::getAnalysisID ( AnalysisID  PI,
Function F,
bool Changed = nullptr 
)

Definition at line 267 of file PassAnalysisSupport.h.

References assert(), F, and getAdjustedAnalysisPointer().

◆ getAnalysisIfAvailable()

template<typename AnalysisType >
AnalysisType * llvm::Pass::getAnalysisIfAvailable

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 211 of file PassAnalysisSupport.h.

References assert(), and getAdjustedAnalysisPointer().

◆ getAnalysisUsage()

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::DependenceAnalysisWrapperPass, llvm::MachineTraceMetrics, llvm::AAResultsWrapperPass, llvm::ExternalAAWrapperPass, llvm::BasicAAWrapperPass, llvm::BlockFrequencyInfoWrapperPass, llvm::BranchProbabilityInfoWrapperPass, llvm::CallGraphWrapperPass, llvm::DummyCGSCCPass, llvm::CycleInfoWrapperPass, llvm::DominanceFrontierWrapperPass, llvm::DOTGraphTraitsViewerWrapperPass< AnalysisT, IsSimple, GraphT, AnalysisGraphTraitsT >, llvm::DOTGraphTraitsPrinterWrapperPass< AnalysisT, IsSimple, GraphT, AnalysisGraphTraitsT >, llvm::DOTGraphTraitsModuleViewerWrapperPass< AnalysisT, IsSimple, GraphT, AnalysisGraphTraitsT >, llvm::DOTGraphTraitsModulePrinterWrapperPass< AnalysisT, IsSimple, GraphT, AnalysisGraphTraitsT >, llvm::GlobalsAAWrapperPass, llvm::IntervalPartition, llvm::IRSimilarityIdentifierWrapperPass, llvm::IVUsersWrapperPass, llvm::LazyBlockFrequencyInfoPass, llvm::LazyBranchProbabilityInfoPass, llvm::LazyValueInfoWrapperPass, llvm::LoopInfoWrapperPass, llvm::LCSSAVerificationPass, llvm::MemoryDependenceWrapperPass, llvm::MemorySSAWrapperPass, llvm::ModuleSummaryIndexWrapperPass, llvm::ImmutableModuleSummaryIndexWrapperPass, llvm::OptimizationRemarkEmitterWrapperPass, llvm::PhiValuesWrapperPass, llvm::PostDominatorTreeWrapperPass, llvm::ProfileSummaryInfoWrapperPass, llvm::RegionInfoPass, llvm::ScalarEvolutionWrapperPass, llvm::SCEVAAWrapperPass, llvm::ScopedNoAliasAAWrapperPass, llvm::StackSafetyInfoWrapperPass, llvm::StackSafetyGlobalInfoWrapperPass, llvm::TypeBasedAAWrapperPass, llvm::UniformityInfoWrapperPass, llvm::AsmPrinter, llvm::AssignmentTrackingAnalysis, llvm::CFIFixup, llvm::ExecutionDomainFix, llvm::GISelCSEAnalysisWrapperPass, llvm::GISelKnownBitsAnalysis, llvm::InstructionSelect, llvm::IRTranslator, llvm::Legalizer, llvm::LoadStoreOpt, llvm::Localizer, llvm::RegBankSelect, llvm::LazyMachineBlockFrequencyInfoPass, llvm::LiveIntervals, llvm::LiveStacks, llvm::LiveVariables, llvm::MachineBlockFrequencyInfo, llvm::MachineBranchProbabilityInfo, llvm::MachineCycleInfoWrapperPass, llvm::MachineDominanceFrontier, llvm::MachineDominatorTree, llvm::MachineFunctionPass, llvm::MachineLoopInfo, llvm::MachineOptimizationRemarkEmitterPass, llvm::MachinePipeliner, llvm::MachinePostDominatorTree, llvm::MachineRegionInfoPass, llvm::MachineUniformityAnalysisPass, llvm::ReachingDefAnalysis, llvm::ReplaceWithVeclibLegacy, llvm::SelectionDAGISel, llvm::SlotIndexes, llvm::StackProtector, llvm::VirtRegMap, llvm::DominatorTreeWrapperPass, llvm::InstructionCombiningPass, llvm::BasicBlockPathCloning, llvm::BreakFalseDeps, llvm::RegAllocScoring, llvm::RegAllocEvictionAdvisorAnalysis, llvm::RAGreedy, llvm::RegAllocPriorityAdvisorAnalysis, llvm::AMDGPUAAWrapperPass, llvm::AMDGPUArgumentUsageInfo, llvm::AMDGPUAsmPrinter, AMDGPUDAGToDAGISel, llvm::AMDGPUPerfHintAnalysis, llvm::AMDGPURegBankSelect, llvm::AMDGPUResourceUsageAnalysis, llvm::GCNRegPressurePrinter, llvm::ARMBlockPlacement, llvm::dxil::ShaderFlagsAnalysisWrapper, llvm::MipsDAGToDAGISel, llvm::NVPTXAAWrapperPass, llvm::NVPTXAsmPrinter, llvm::SPIRVConvergenceRegionAnalysisWrapperPass, llvm::SPIRVModuleAnalysis, llvm::WebAssemblyExceptionInfo, llvm::gvn::GVNLegacyPass, llvm::CallGraphSCCPass, llvm::LPPassManager, llvm::RGPassManager, llvm::FPPassManager, llvm::legacy::FunctionPassManagerImpl, and llvm::legacy::PassManagerImpl.

Definition at line 98 of file Pass.cpp.

Referenced by llvm::MachineFunctionPass::getAnalysisUsage().

◆ getAsImmutablePass()

ImmutablePass * Pass::getAsImmutablePass ( )
virtual

Reimplemented in llvm::ImmutablePass.

Definition at line 114 of file Pass.cpp.

◆ getAsPMDataManager()

PMDataManager * Pass::getAsPMDataManager ( )
virtual

◆ getPassID()

AnalysisID llvm::Pass::getPassID ( ) const
inline

getPassID - Return the PassID number that corresponds to this pass.

Definition at line 113 of file Pass.h.

Referenced by getPassName(), and llvm::TargetPassConfig::insertPass().

◆ getPassKind()

PassKind llvm::Pass::getPassKind ( ) const
inline

Definition at line 105 of file Pass.h.

◆ getPassName()

StringRef Pass::getPassName ( ) const
virtual

getPassName - Return a nice clean name for a pass.

This usually implemented in terms of the name that is registered by one of the Registration templates, but can be overloaded directly.

Reimplemented in llvm::LPPassManager, llvm::RGPassManager, llvm::BasicBlockSectionsProfileReaderWrapperPass, llvm::InstructionSelect, llvm::IRTranslator, llvm::Legalizer, llvm::LoadStoreOpt, llvm::Localizer, llvm::RegBankSelect, llvm::MIRAddFSDiscriminators, llvm::MIRProfileLoaderPass, llvm::FPPassManager, llvm::BasicBlockPathCloning, GCEmptyBasicBlocks, llvm::RegAllocScoring, llvm::RAGreedy, llvm::AMDGPUAsmPrinter, AMDGPUDAGToDAGISel, llvm::AMDGPURegBankSelect, llvm::R600AsmPrinter, llvm::ARMAsmPrinter, llvm::AVRAsmPrinter, llvm::AVRFrameAnalyzer, llvm::CSKYAsmPrinter, llvm::HexagonAsmPrinter, llvm::LoongArchAsmPrinter, llvm::M68kAsmPrinter, llvm::MipsAsmPrinter, llvm::InsertNOPLoad, llvm::DetectRoundChange, llvm::FixAllFDIVSQRT, llvm::SystemZAsmPrinter, llvm::WebAssemblyAsmPrinter, llvm::X86AsmPrinter, and llvm::XtensaAsmPrinter.

Definition at line 81 of file Pass.cpp.

References getPassID(), llvm::PassRegistry::getPassInfo(), llvm::PassInfo::getPassName(), and llvm::PassRegistry::getPassRegistry().

Referenced by llvm::PMDataManager::addLowerLevelRequiredPass(), dumpPassStructure(), llvm::PassManagerPrettyStackEntry::print(), print(), llvm::PMDataManager::removeNotPreservedAnalysis(), llvm::PMTopLevelManager::schedulePass(), llvm::FunctionPass::skipFunction(), llvm::LoopPass::skipLoop(), llvm::ModulePass::skipModule(), llvm::RegionPass::skipRegion(), and llvm::CallGraphSCCPass::skipSCC().

◆ getPotentialPassManagerType()

PassManagerType Pass::getPotentialPassManagerType ( ) const
virtual

Return what kind of Pass Manager can manage this pass.

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

Definition at line 93 of file Pass.cpp.

References llvm::PMT_Unknown.

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

◆ getResolver()

AnalysisResolver * llvm::Pass::getResolver ( ) const
inline

Definition at line 153 of file Pass.h.

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

◆ lookupPassInfo() [1/2]

const PassInfo * Pass::lookupPassInfo ( const void *  TI)
static

◆ lookupPassInfo() [2/2]

const PassInfo * Pass::lookupPassInfo ( StringRef  Arg)
static

◆ mustPreserveAnalysisID()

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 69 of file Pass.cpp.

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

◆ operator=()

Pass & llvm::Pass::operator= ( const Pass )
delete

◆ preparePassManager()

void Pass::preparePassManager ( PMStack )
virtual

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

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

Definition at line 89 of file Pass.cpp.

◆ print()

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

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. Beware that the module pointer MAY be null. This automatically forwards to a virtual function that does not provide the Module* in case the analysis doesn't need it it can just be ignored.

Reimplemented in llvm::MachinePostDominatorTree, llvm::DependenceAnalysisWrapperPass, llvm::CallGraphWrapperPass, llvm::IntervalPartition, llvm::LiveIntervals, llvm::LiveStacks, llvm::StackSafetyInfoWrapperPass, llvm::StackSafetyGlobalInfoWrapperPass, llvm::LoopInfoWrapperPass, llvm::DXILResourceWrapper, llvm::PostDominatorTreeWrapperPass, llvm::RegionInfoPass, llvm::MachineDominatorTree, llvm::MachineRegionInfoPass, llvm::DominanceFrontierWrapperPass, llvm::IVUsersWrapperPass, llvm::ScalarEvolutionWrapperPass, llvm::BlockFrequencyInfoWrapperPass, llvm::LazyBlockFrequencyInfoPass, llvm::LazyBranchProbabilityInfoPass, llvm::LazyMachineBlockFrequencyInfoPass, llvm::BranchProbabilityInfoWrapperPass, llvm::CycleInfoWrapperPass, llvm::MemorySSAWrapperPass, llvm::UniformityInfoWrapperPass, llvm::MachineCycleInfoWrapperPass, llvm::MachineUniformityAnalysisPass, llvm::PhysicalRegisterUsageInfo, llvm::VirtRegMap, llvm::DominatorTreeWrapperPass, llvm::AMDGPUArgumentUsageInfo, and llvm::WebAssemblyExceptionInfo.

Definition at line 130 of file Pass.cpp.

References getPassName(), and OS.

Referenced by llvm::A57ChainingConstraint::apply(), dump(), llvm::XCoreRegisterInfo::eliminateFrameIndex(), llvm::AMDGPUAsmPrinter::emitInstruction(), llvm::R600AsmPrinter::emitInstruction(), llvm::ARMTargetLowering::EmitInstrWithCustomInserter(), llvm::HexagonLowerToMC(), llvm::BPFMCInstLower::Lower(), llvm::LanaiMCInstLower::Lower(), llvm::MSP430MCInstLower::Lower(), llvm::WebAssemblyMCInstLower::lower(), llvm::DiagnosticInfoMIROptimization::MachineArgument::MachineArgument(), llvm::operator<<(), llvm::LazyMachineBlockFrequencyInfoPass::print(), llvm::MachineBasicBlock::print(), llvm::AArch64InstPrinter::printAdrAdrpLabel(), llvm::AArch64InstPrinter::printAlignedLabel(), llvm::AArch64InstPrinter::printInst(), llvm::X86IntelInstPrinter::printU8Imm(), llvm::Combiner::WorkListMaintainer::reportFullyCreatedInstrs(), and llvm::GCNRegPressurePrinter::runOnMachineFunction().

◆ releaseMemory()

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::AssumptionCacheTracker, llvm::BlockFrequencyInfoWrapperPass, llvm::BranchProbabilityInfoWrapperPass, llvm::CallGraphWrapperPass, llvm::CycleInfoWrapperPass, llvm::DependenceAnalysisWrapperPass, llvm::DominanceFrontierWrapperPass, llvm::IntervalPartition, llvm::IVUsersWrapperPass, llvm::LazyBlockFrequencyInfoPass, llvm::LazyBranchProbabilityInfoPass, llvm::LazyValueInfoWrapperPass, llvm::LoopInfoWrapperPass, llvm::MemoryDependenceWrapperPass, llvm::MemorySSAWrapperPass, llvm::PhiValuesWrapperPass, llvm::PostDominatorTreeWrapperPass, llvm::RegionInfoPass, llvm::ScalarEvolutionWrapperPass, llvm::UniformityInfoWrapperPass, llvm::GISelCSEAnalysisWrapperPass, llvm::GISelKnownBitsAnalysis, llvm::LazyMachineBlockFrequencyInfoPass, llvm::LiveIntervals, llvm::LiveStacks, llvm::LiveVariables, llvm::MachineBlockFrequencyInfo, llvm::MachineCycleInfoWrapperPass, llvm::MachineDominanceFrontier, llvm::MachineDominatorTree, llvm::MachineLoopInfo, llvm::MachinePostDominatorTree, llvm::MachineRegionInfoPass, llvm::MachineTraceMetrics, llvm::ReachingDefAnalysis, llvm::SlotIndexes, llvm::DominatorTreeWrapperPass, llvm::RAGreedy, and llvm::WebAssemblyExceptionInfo.

Definition at line 102 of file Pass.cpp.

Referenced by llvm::legacy::FunctionPassManagerImpl::releaseMemoryOnTheFly().

◆ setResolver()

void Pass::setResolver ( AnalysisResolver AR)

Definition at line 122 of file Pass.cpp.

References assert().

Referenced by llvm::legacy::FunctionPassManager::FunctionPassManager().

◆ verifyAnalysis()

void Pass::verifyAnalysis ( ) const
virtual

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