LLVM  3.7.0
Public Types | Public Member Functions | Static Public Attributes | List of all members
llvm::LiveRegMatrix Class Reference

#include <LiveRegMatrix.h>

Inheritance diagram for llvm::LiveRegMatrix:
[legend]
Collaboration diagram for llvm::LiveRegMatrix:
[legend]

Public Types

enum  InterferenceKind { IK_Free = 0, IK_VirtReg, IK_RegUnit, IK_RegMask }
 

Public Member Functions

 LiveRegMatrix ()
 
void invalidateVirtRegs ()
 Invalidate cached interference queries after modifying virtual register live ranges. More...
 
InterferenceKind checkInterference (LiveInterval &VirtReg, unsigned PhysReg)
 Check for interference before assigning VirtReg to PhysReg. More...
 
void assign (LiveInterval &VirtReg, unsigned PhysReg)
 Assign VirtReg to PhysReg. More...
 
void unassign (LiveInterval &VirtReg)
 Unassign VirtReg from its PhysReg. More...
 
bool isPhysRegUsed (unsigned PhysReg) const
 Returns true if the given PhysReg has any live intervals assigned. More...
 
bool checkRegMaskInterference (LiveInterval &VirtReg, unsigned PhysReg=0)
 Check for regmask interference only. More...
 
bool checkRegUnitInterference (LiveInterval &VirtReg, unsigned PhysReg)
 Check for regunit interference only. More...
 
LiveIntervalUnion::Queryquery (LiveInterval &VirtReg, unsigned RegUnit)
 Query a line of the assigned virtual register matrix directly. More...
 
LiveIntervalUniongetLiveUnions ()
 Directly access the live interval unions per regunit. More...
 
- Public Member Functions inherited from llvm::FunctionPass
 FunctionPass (char &pid)
 
PasscreatePrinterPass (raw_ostream &O, 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)
 
virtual ~Pass ()
 
PassKind getPassKind () const
 
virtual const char * 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 void preparePassManager (PMStack &)
 Check if available pass managers are suitable for this pass or not. More...
 
void setResolver (AnalysisResolver *AR)
 
AnalysisResolvergetResolver () const
 
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 Attributes

static char ID = 0
 

Additional Inherited Members

- Static Public Member Functions inherited from llvm::Pass
static const PassInfolookupPassInfo (const void *TI)
 
static const PassInfolookupPassInfo (StringRef Arg)
 
static PasscreatePass (AnalysisID ID)
 
- Protected Member Functions inherited from llvm::MachineFunctionPass
 MachineFunctionPass (char &ID)
 
void getAnalysisUsage (AnalysisUsage &AU) const override
 getAnalysisUsage - Subclasses that override getAnalysisUsage must call this. More...
 
- Protected Member Functions inherited from llvm::FunctionPass
bool skipOptnoneFunction (const Function &F) const
 skipOptnoneFunction - This function has Attribute::OptimizeNone and most transformation passes should skip it. More...
 

Detailed Description

Definition at line 39 of file LiveRegMatrix.h.

Member Enumeration Documentation

Enumerator
IK_Free 

No interference, go ahead and assign.

IK_VirtReg 

Virtual register interference.

There are interfering virtual registers assigned to PhysReg or its aliases. This interference could be resolved by unassigning those other virtual registers.

IK_RegUnit 

Register unit interference.

A fixed live range is in the way, typically argument registers for a call. This can't be resolved by unassigning other virtual registers.

IK_RegMask 

RegMask interference.

The live range is crossing an instruction with a regmask operand that doesn't preserve PhysReg. This typically means VirtReg is live across a call, and PhysReg isn't call-preserved.

Definition at line 81 of file LiveRegMatrix.h.

Constructor & Destructor Documentation

Live Register false LiveRegMatrix::LiveRegMatrix ( )

Definition at line 40 of file LiveRegMatrix.cpp.

Member Function Documentation

void LiveRegMatrix::assign ( LiveInterval VirtReg,
unsigned  PhysReg 
)

Assign VirtReg to PhysReg.

This will mark VirtReg's live range as occupied in the LiveRegMatrix and update VirtRegMap. The live range is expected to be available in PhysReg.

Definition at line 99 of file LiveRegMatrix.cpp.

References llvm::dbgs(), DEBUG, foreachUnit(), llvm::LiveInterval::reg, and llvm::MachineRegisterInfo::setPhysRegUsed().

Referenced by llvm::RegAllocBase::allocatePhysRegs().

LiveRegMatrix::InterferenceKind LiveRegMatrix::checkInterference ( LiveInterval VirtReg,
unsigned  PhysReg 
)

Check for interference before assigning VirtReg to PhysReg.

If this function returns IK_Free, it is legal to assign(VirtReg, PhysReg). When there is more than one kind of interference, the InterferenceKind with the highest enum value is returned.

Definition at line 182 of file LiveRegMatrix.cpp.

References llvm::LiveIntervalUnion::Query::checkInterference(), checkRegMaskInterference(), checkRegUnitInterference(), llvm::LiveRange::empty(), IK_Free, IK_RegMask, IK_RegUnit, IK_VirtReg, llvm::MCRegisterInfo::DiffListIterator::isValid(), and query().

bool LiveRegMatrix::checkRegMaskInterference ( LiveInterval VirtReg,
unsigned  PhysReg = 0 
)

Check for regmask interference only.

Return true if VirtReg crosses a regmask operand that clobbers PhysReg. If PhysReg is null, check if VirtReg crosses any regmask operands.

Definition at line 142 of file LiveRegMatrix.cpp.

References llvm::LiveIntervals::checkRegMaskInterference(), llvm::BitVector::clear(), llvm::BitVector::empty(), llvm::LiveInterval::reg, and llvm::BitVector::test().

Referenced by checkInterference().

bool LiveRegMatrix::checkRegUnitInterference ( LiveInterval VirtReg,
unsigned  PhysReg 
)

Check for regunit interference only.

Return true if VirtReg overlaps a fixed assignment of one of PhysRegs's register units.

Definition at line 160 of file LiveRegMatrix.cpp.

References llvm::HexagonISD::CP, llvm::LiveRange::empty(), foreachUnit(), llvm::LiveIntervals::getRegUnit(), llvm::LiveIntervals::getSlotIndexes(), llvm::LiveRange::overlaps(), and llvm::LiveInterval::reg.

Referenced by checkInterference().

LiveIntervalUnion* llvm::LiveRegMatrix::getLiveUnions ( )
inline

Directly access the live interval unions per regunit.

This returns an array indexed by the regunit number.

Definition at line 145 of file LiveRegMatrix.h.

void llvm::LiveRegMatrix::invalidateVirtRegs ( )
inline

Invalidate cached interference queries after modifying virtual register live ranges.

Interference checks may return stale information unless caches are invalidated.

Definition at line 79 of file LiveRegMatrix.h.

Referenced by llvm::RegAllocBase::allocatePhysRegs().

bool LiveRegMatrix::isPhysRegUsed ( unsigned  PhysReg) const

Returns true if the given PhysReg has any live intervals assigned.

Definition at line 134 of file LiveRegMatrix.cpp.

LiveIntervalUnion::Query & LiveRegMatrix::query ( LiveInterval VirtReg,
unsigned  RegUnit 
)

Query a line of the assigned virtual register matrix directly.

Use MCRegUnitIterator to enumerate all regunits in the desired PhysReg. This returns a reference to an internal Query data structure that is only valid until the next query() call.

Definition at line 174 of file LiveRegMatrix.cpp.

References llvm::LiveIntervalUnion::Query::init().

Referenced by checkInterference().

void LiveRegMatrix::unassign ( LiveInterval VirtReg)

Unassign VirtReg from its PhysReg.

Assuming that VirtReg was previously assigned to a PhysReg, this undoes the assignment and updates VirtRegMap accordingly.

Definition at line 117 of file LiveRegMatrix.cpp.

References llvm::dbgs(), DEBUG, foreachUnit(), and llvm::LiveInterval::reg.

Member Data Documentation

char LiveRegMatrix::ID = 0
static

Definition at line 65 of file LiveRegMatrix.h.


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