This class provides the reaching def analysis. More...

#include "llvm/CodeGen/ReachingDefAnalysis.h"

Inheritance diagram for llvm::ReachingDefAnalysis:

Collaboration diagram for llvm::ReachingDefAnalysis:

[legend]

Public Member Functions
	ReachingDefAnalysis ()

void	releaseMemory () override
	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...

void	getAnalysisUsage (AnalysisUsage &AU) const override
	getAnalysisUsage - Subclasses that override getAnalysisUsage must call this. More...

bool	runOnMachineFunction (MachineFunction &MF) override
	runOnMachineFunction - This method must be overloaded to perform the desired machine code transformation or analysis. More...

MachineFunctionProperties	getRequiredProperties () const override

int	getReachingDef (MachineInstr *MI, int PhysReg)
	Provides the instruction id of the closest reaching def instruction of PhysReg that reaches MI, relative to the begining of MI's basic block. More...

int	getClearance (MachineInstr *MI, MCPhysReg PhysReg)
	Provides the clearance - the number of instructions since the closest reaching def instuction of PhysReg that reaches MI. More...

Public Member Functions inherited from llvm::MachineFunctionPass
bool	doInitialization (Module &) override
	doInitialization - Virtual method overridden by subclasses to do any necessary initialization before any pass is run. More...

Public Member Functions inherited from llvm::FunctionPass
	FunctionPass (char &pid)

Pass *	createPrinterPass (raw_ostream &OS, const std::string &Banner) const override
	createPrinterPass - Get a function printer pass. More...

void	assignPassManager (PMStack &PMS, PassManagerType T) override
	Find appropriate Function Pass Manager or Call Graph Pass Manager in the PM Stack and add self into that manager. More...

PassManagerType	getPotentialPassManagerType () const override
	Return what kind of Pass Manager can manage this pass. More...

Public Member Functions inherited from llvm::Pass
	Pass (PassKind K, char &pid)

	Pass (const Pass &)=delete

Pass &	operator= (const Pass &)=delete

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	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 &OS, const Module *M) const
	print - Print out the internal state of the pass. More...

void	dump () const

virtual void	preparePassManager (PMStack &)
	Check if available pass managers are suitable for this pass or not. More...

void	setResolver (AnalysisResolver *AR)

AnalysisResolver *	getResolver () const

virtual void *	getAdjustedAnalysisPointer (AnalysisID ID)
	getAdjustedAnalysisPointer - This method is used when a pass implements an analysis interface through multiple inheritance. More...

virtual ImmutablePass *	getAsImmutablePass ()

virtual PMDataManager *	getAsPMDataManager ()

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 Attributes
static char	ID = 0

Additional Inherited Members
Static Public Member Functions inherited from llvm::Pass
static const PassInfo *	lookupPassInfo (const void *TI)

static const PassInfo *	lookupPassInfo (StringRef Arg)

static Pass *	createPass (AnalysisID ID)

Protected Member Functions inherited from llvm::MachineFunctionPass
	MachineFunctionPass (char &ID)

virtual MachineFunctionProperties	getSetProperties () const

virtual MachineFunctionProperties	getClearedProperties () const

Protected Member Functions inherited from llvm::FunctionPass
bool	skipFunction (const Function &F) const
	Optional passes call this function to check whether the pass should be skipped. More...

Detailed Description

This class provides the reaching def analysis.

Definition at line 36 of file ReachingDefAnalysis.h.

Constructor & Destructor Documentation

◆ ReachingDefAnalysis()

llvm::ReachingDefAnalysis::ReachingDefAnalysis ( )

inline

Definition at line 76 of file ReachingDefAnalysis.h.

References llvm::PassRegistry::getPassRegistry(), llvm::initializeReachingDefAnalysisPass(), and releaseMemory().

Member Function Documentation

◆ getAnalysisUsage()

void llvm::ReachingDefAnalysis::getAnalysisUsage ( AnalysisUsage & AU ) const

inlineoverridevirtual

getAnalysisUsage - Subclasses that override getAnalysisUsage must call this.

For MachineFunctionPasses, calling AU.preservesCFG() indicates that the pass does not modify the MachineBasicBlock CFG.

Reimplemented from llvm::MachineFunctionPass.

Definition at line 81 of file ReachingDefAnalysis.h.

References llvm::MachineFunctionPass::getAnalysisUsage(), runOnMachineFunction(), and llvm::AnalysisUsage::setPreservesAll().

◆ getClearance()

int ReachingDefAnalysis::getClearance	(	MachineInstr *	MI,
		MCPhysReg	PhysReg
	)

Provides the clearance - the number of instructions since the closest reaching def instuction of PhysReg that reaches MI.

Definition at line 192 of file ReachingDefAnalysis.cpp.

References assert(), getReachingDef(), and MI.

Referenced by llvm::createBreakFalseDeps(), and getRequiredProperties().

◆ getReachingDef()

int ReachingDefAnalysis::getReachingDef	(	MachineInstr *	MI,
		int	PhysReg
	)

Provides the instruction id of the closest reaching def instruction of PhysReg that reaches MI, relative to the begining of MI's basic block.

Definition at line 173 of file ReachingDefAnalysis.cpp.

References assert(), llvm::tgtok::Def, llvm::MachineBasicBlock::getNumber(), llvm::MachineInstr::getParent(), llvm::max(), MI, llvm::SmallVectorBase::size(), and Unit.

Referenced by getClearance(), and getRequiredProperties().

◆ getRequiredProperties()

MachineFunctionProperties llvm::ReachingDefAnalysis::getRequiredProperties ( ) const

inlineoverridevirtual

Reimplemented from llvm::MachineFunctionPass.

Definition at line 88 of file ReachingDefAnalysis.h.

References getClearance(), getReachingDef(), MI, llvm::MachineFunctionProperties::NoVRegs, and llvm::MachineFunctionProperties::set().

◆ releaseMemory()

void ReachingDefAnalysis::releaseMemory ( )

overridevirtual

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 from llvm::Pass.

Definition at line 166 of file ReachingDefAnalysis.cpp.

References llvm::SmallVectorImpl< T >::clear().

Referenced by ReachingDefAnalysis().