LLVM  6.0.0svn
Classes | Public Types | Public Member Functions | Static Public Attributes | List of all members
llvm::RegBankSelect Class Reference

This pass implements the reg bank selector pass used in the GlobalISel pipeline. More...

#include "llvm/CodeGen/GlobalISel/RegBankSelect.h"

Inheritance diagram for llvm::RegBankSelect:
Inheritance graph
[legend]
Collaboration diagram for llvm::RegBankSelect:
Collaboration graph
[legend]

Classes

class  EdgeInsertPoint
 Insertion point on an edge. More...
 
class  InsertPoint
 Abstract class used to represent an insertion point in a CFG. More...
 
class  InstrInsertPoint
 Insertion point before or after an instruction. More...
 
class  MBBInsertPoint
 Insertion point at the beginning or end of a basic block. More...
 
class  RepairingPlacement
 Struct used to represent the placement of a repairing point for a given operand. More...
 

Public Types

enum  Mode { Fast, Greedy }
 List of the modes supported by the RegBankSelect pass. More...
 

Public Member Functions

 RegBankSelect (Mode RunningMode=Fast)
 Create a RegBankSelect pass with the specified RunningMode. More...
 
StringRef getPassName () const override
 getPassName - Return a nice clean name for a pass. More...
 
void getAnalysisUsage (AnalysisUsage &AU) const override
 getAnalysisUsage - This function should be overriden by passes that need analysis information to do their job. More...
 
MachineFunctionProperties getRequiredProperties () const override
 
MachineFunctionProperties getSetProperties () const override
 
bool runOnMachineFunction (MachineFunction &MF) override
 Walk through MF and assign a register bank to every virtual register that are still mapped to nothing. 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)
 
PasscreatePrinterPass (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
 
Passoperator= (const Pass &)=delete
 
virtual ~Pass ()
 
PassKind getPassKind () const
 
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)
 
AnalysisResolvergetResolver () const
 
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 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...
 
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 pass implements the reg bank selector pass used in the GlobalISel pipeline.

At the end of this pass, all register operands have been assigned

Definition at line 91 of file RegBankSelect.h.

Member Enumeration Documentation

◆ Mode

List of the modes supported by the RegBankSelect pass.

Enumerator
Fast 

Assign the register banks as fast as possible (default).

Greedy 

Greedily minimize the cost of assigning register banks.

This should produce code of greater quality, but will require more compile time.

Definition at line 96 of file RegBankSelect.h.

Constructor & Destructor Documentation

◆ RegBankSelect()

llvm::RegBankSelect::RegBankSelect ( Mode  RunningMode = Fast)

Create a RegBankSelect pass with the specified RunningMode.

Referenced by llvm::RegBankSelect::RepairingPlacement::switchTo().

Member Function Documentation

◆ getAnalysisUsage()

void RegBankSelect::getAnalysisUsage ( AnalysisUsage ) const
overridevirtual

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

Definition at line 99 of file RegBankSelect.cpp.

References llvm::MachineInstrBuilder::addDef(), llvm::AnalysisUsage::addRequired(), llvm::MachineInstrBuilder::addUse(), assert(), llvm::SmallVectorTemplateCommon< T >::back(), llvm::RegisterBankInfo::ValueMapping::BreakDown, llvm::MachineIRBuilder::buildInstrNoInsert(), llvm::RegBankSelect::RepairingPlacement::canMaterialize(), llvm::SmallVectorImpl< T >::clear(), llvm::MachineFunction::CloneMachineInstr(), llvm::RegisterBankInfo::copyCost(), llvm::RegisterBankInfo::OperandsMapper::createVRegs(), llvm::dbgs(), DEBUG, llvm::SmallVectorImpl< T >::emplace_back(), llvm::SmallVectorBase::empty(), llvm::CallingConv::Fast, llvm::MachineFunctionPass::getAnalysisUsage(), llvm::MachineBlockFrequencyInfo::getBlockFreq(), llvm::RegisterBankInfo::InstructionMapping::getCost(), llvm::MachineBasicBlock::getFirstTerminator(), llvm::RegisterBankInfo::getInstrMapping(), llvm::RegBankSelect::RepairingPlacement::getKind(), llvm::MachineIRBuilder::getMF(), llvm::ilist_node_with_parent< NodeTy, ParentTy, Options >::getNextNode(), llvm::RegBankSelect::RepairingPlacement::getNumInsertPoints(), llvm::RegisterBankInfo::InstructionMapping::getNumOperands(), llvm::MachineInstr::getOperand(), llvm::RegBankSelect::RepairingPlacement::getOpIdx(), llvm::MachineInstr::getParent(), llvm::MachineOperand::getParent(), llvm::MachineOperand::getReg(), llvm::RegisterBankInfo::getRegBank(), llvm::RegisterBankInfo::OperandsMapper::getVRegs(), llvm::RegBankSelect::RepairingPlacement::hasSplit(), llvm::RegBankSelect::RepairingPlacement::Impossible, llvm::RegBankSelect::RepairingPlacement::Insert, llvm::MachineOperand::isDef(), llvm::TargetPassConfig::isGlobalISelAbortEnabled(), llvm::MachineInstr::isPHI(), llvm::TargetRegisterInfo::isPhysicalRegister(), llvm::MachineOperand::isReg(), llvm::MachineInstr::isTerminator(), llvm::MachineInstr::isUnconditionalBranch(), llvm::RegisterBankInfo::InstructionMapping::isValid(), llvm_unreachable, llvm::max(), MI, llvm::RegBankSelect::RepairingPlacement::None, llvm::RegisterBankInfo::ValueMapping::NumBreakDowns, llvm::PrintReg(), llvm::MachineInstr::readsRegister(), llvm::RegBankSelect::RepairingPlacement::Reassign, llvm::RegisterBankInfo::PartialMapping::RegBank, llvm::MachineRegisterInfo::setRegBank(), std::swap(), llvm::RegBankSelect::RepairingPlacement::switchTo(), and llvm::RegisterBankInfo::InstructionMapping::verify().

Referenced by getPassName().

◆ getPassName()

StringRef llvm::RegBankSelect::getPassName ( ) const
inlineoverridevirtual

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

Definition at line 622 of file RegBankSelect.h.

References getAnalysisUsage().

◆ getRequiredProperties()

MachineFunctionProperties llvm::RegBankSelect::getRequiredProperties ( ) const
inlineoverridevirtual

◆ getSetProperties()

MachineFunctionProperties llvm::RegBankSelect::getSetProperties ( ) const
inlineoverridevirtual

◆ runOnMachineFunction()

bool RegBankSelect::runOnMachineFunction ( MachineFunction MF)
overridevirtual

Walk through MF and assign a register bank to every virtual register that are still mapped to nothing.

The target needs to provide a RegisterBankInfo and in particular override RegisterBankInfo::getInstrMapping.

Simplified algo:

RBI = MF.subtarget.getRegBankInfo()
MIRBuilder.setMF(MF)
for each bb in MF
for each inst in bb
MIRBuilder.setInstr(inst)
MappingCosts = RBI.getMapping(inst);
Idx = findIdxOfMinCost(MappingCosts)
CurRegBank = MappingCosts[Idx].RegBank
MRI.setRegBank(inst.getOperand(0).getReg(), CurRegBank)
for each argument in inst
if (CurRegBank != argument.RegBank)
ArgReg = argument.getReg()
Tmp = MRI.createNewVirtual(MRI.getSize(ArgReg), CurRegBank)
MIRBuilder.buildInstr(COPY, Tmp, ArgReg)
inst.getOperand(argument.getOperandNo()).setReg(Tmp)

Implements llvm::MachineFunctionPass.

Definition at line 597 of file RegBankSelect.cpp.

References llvm::dbgs(), DEBUG, llvm::WebAssembly::End, F(), llvm::MachineFunctionProperties::FailedISel, llvm::CallingConv::Fast, llvm::MachineFunction::getFunction(), llvm::TargetSubtargetInfo::getLegalizerInfo(), llvm::MachineFunction::getName(), llvm::MachineInstr::getOpcode(), llvm::MachineFunction::getProperties(), llvm::MachineFunction::getRegInfo(), llvm::MachineFunction::getSubtarget(), llvm::MachineFunctionProperties::hasProperty(), llvm::isPreISelGenericOpcode(), llvm::isTargetSpecificOpcode(), llvm::reportGISelFailure(), and llvm::MachineIRBuilder::setMBB().

Referenced by getSetProperties().

Member Data Documentation

◆ ID

char RegBankSelect::ID = 0
static

Definition at line 93 of file RegBankSelect.h.


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