|
LLVM
4.0.0
|
Holds all the information related to register banks. More...
#include <RegisterBankInfo.h>
Classes | |
| class | InstructionMapping |
| Helper class that represents how the value of an instruction may be mapped and what is the related cost of such mapping. More... | |
| class | OperandsMapper |
| Helper class used to get/create the virtual registers that will be used to replace the MachineOperand when applying a mapping. More... | |
| struct | PartialMapping |
| Helper struct that represents how a value is partially mapped into a register. More... | |
| struct | ValueMapping |
| Helper struct that represents how a value is mapped through different register banks. More... | |
Public Types | |
| typedef SmallVector < InstructionMapping, 4 > | InstructionMappings |
| Convenient type to represent the alternatives for mapping an instruction. More... | |
Public Member Functions | |
| virtual | ~RegisterBankInfo () |
| const RegisterBank & | getRegBank (unsigned ID) const |
Get the register bank identified by ID. More... | |
| const RegisterBank * | getRegBank (unsigned Reg, const MachineRegisterInfo &MRI, const TargetRegisterInfo &TRI) const |
Get the register bank of Reg. More... | |
| unsigned | getNumRegBanks () const |
| Get the total number of register banks. More... | |
| virtual const RegisterBank & | getRegBankFromRegClass (const TargetRegisterClass &RC) const |
Get a register bank that covers RC. More... | |
| virtual unsigned | copyCost (const RegisterBank &A, const RegisterBank &B, unsigned Size) const |
Get the cost of a copy from B to A, or put differently, get the cost of A = COPY B. More... | |
| virtual InstructionMapping | getInstrMapping (const MachineInstr &MI) const |
Get the mapping of the different operands of MI on the register bank. More... | |
| virtual InstructionMappings | getInstrAlternativeMappings (const MachineInstr &MI) const |
Get the alternative mappings for MI. More... | |
Static Public Member Functions | |
| static const TargetRegisterClass * | constrainGenericRegister (unsigned Reg, const TargetRegisterClass &RC, MachineRegisterInfo &MRI) |
Constrain the (possibly generic) virtual register Reg to RC. More... | |
Public Attributes | |
| struct llvm::RegisterBankInfo::PartialMapping | ScalarAddx2 |
| VectorAdd | |
Get the possible mapping for MI. More... | |
Static Public Attributes | |
| static const unsigned | DefaultMappingID = UINT_MAX |
| Identifier used when the related instruction mapping instance is generated by target independent code. More... | |
| static const unsigned | InvalidMappingID = UINT_MAX - 1 |
| Identifier used when the related instruction mapping instance is generated by the default constructor. More... | |
Protected Member Functions | |
| RegisterBankInfo (RegisterBank **RegBanks, unsigned NumRegBanks) | |
Create a RegisterBankInfo that can accomodate up to NumRegBanks RegisterBank instances. More... | |
| RegisterBankInfo () | |
| This constructor is meaningless. More... | |
| RegisterBank & | getRegBank (unsigned ID) |
Get the register bank identified by ID. More... | |
| InstructionMapping | getInstrMappingImpl (const MachineInstr &MI) const |
Try to get the mapping of MI. More... | |
| const PartialMapping & | getPartialMapping (unsigned StartIdx, unsigned Length, const RegisterBank &RegBank) const |
| Get the uniquely generated PartialMapping for the given arguments. More... | |
| const RegisterBank * | getRegBankFromConstraints (const MachineInstr &MI, unsigned OpIdx, const TargetInstrInfo &TII, const TargetRegisterInfo &TRI) const |
Get the register bank for the OpIdx-th operand of MI form the encoding constraints, if any. More... | |
| virtual void | applyMappingImpl (const OperandsMapper &OpdMapper) const |
| See applyMapping. More... | |
| const ValueMapping & | getValueMapping (unsigned StartIdx, unsigned Length, const RegisterBank &RegBank) const |
| Methods to get a uniquely generated ValueMapping. More... | |
| const ValueMapping & | getValueMapping (const PartialMapping *BreakDown, unsigned NumBreakDowns) const |
| Get the ValueMapping for the given arguments. More... | |
| template<typename Iterator > | |
| const ValueMapping * | getOperandsMapping (Iterator Begin, Iterator End) const |
| Methods to get a uniquely generated array of ValueMapping. More... | |
| const ValueMapping * | getOperandsMapping (const SmallVectorImpl< const ValueMapping * > &OpdsMapping) const |
Get the uniquely generated array of ValueMapping for the elements of OpdsMapping. More... | |
| const ValueMapping * | getOperandsMapping (std::initializer_list< const ValueMapping * > OpdsMapping) const |
| Get the uniquely generated array of ValueMapping for the given arguments. More... | |
Static Protected Member Functions | |
| static void | applyDefaultMapping (const OperandsMapper &OpdMapper) |
| Helper method to apply something that is like the default mapping. More... | |
Protected Attributes | |
| RegisterBank ** | RegBanks |
| Hold the set of supported register banks. More... | |
| unsigned | NumRegBanks |
| Total number of register banks. More... | |
| DenseMap< unsigned, const PartialMapping * > | MapOfPartialMappings |
| Keep dynamically allocated PartialMapping in a separate map. More... | |
| DenseMap< unsigned, const ValueMapping * > | MapOfValueMappings |
| Keep dynamically allocated ValueMapping in a separate map. More... | |
| DenseMap< unsigned, ValueMapping * > | MapOfOperandsMappings |
| Keep dynamically allocated array of ValueMapping in a separate map. More... | |
Holds all the information related to register banks.
Definition at line 37 of file RegisterBankInfo.h.
Convenient type to represent the alternatives for mapping an instruction.
Definition at line 267 of file RegisterBankInfo.h.
|
protected |
Create a RegisterBankInfo that can accomodate up to NumRegBanks RegisterBank instances.
Definition at line 55 of file RegisterBankInfo.cpp.
References assert(), llvm::WebAssembly::End, getNumRegBanks(), and isValid().
|
inlineprotected |
This constructor is meaningless.
It just provides a default constructor that can be used at link time when GlobalISel is not built. That way, targets can still inherit from this class without doing crazy gymnastic to avoid link time failures.
Definition at line 395 of file RegisterBankInfo.h.
References llvm_unreachable.
|
virtual |
Definition at line 66 of file RegisterBankInfo.cpp.
References MapOfPartialMappings, and MapOfValueMappings.
|
staticprotected |
Helper method to apply something that is like the default mapping.
Basically, that means that OpdMapper.getMI() is left untouched aside from the reassignment of the register operand that have been remapped. If the mapping of one of the operand spans several registers, this method will abort as this is not like a default mapping anymore.
OpdMapper.getMI().getNumOperands()) the range OpdMapper.getVRegs(OpIdx) is empty or of size 1. Definition at line 350 of file RegisterBankInfo.cpp.
References assert(), llvm::dbgs(), DEBUG, llvm::RegisterBankInfo::OperandsMapper::getInstrMapping(), llvm::RegisterBankInfo::OperandsMapper::getMI(), llvm::RegisterBankInfo::InstructionMapping::getNumOperands(), llvm::MachineInstr::getOperand(), llvm::MachineOperand::getReg(), llvm::RegisterBankInfo::OperandsMapper::getVRegs(), llvm::MachineOperand::isReg(), llvm::RegisterBankInfo::ValueMapping::NumBreakDowns, and llvm::MachineOperand::setReg().
Referenced by llvm::applyMapping().
|
inlineprotectedvirtual |
See applyMapping.
Definition at line 498 of file RegisterBankInfo.h.
References llvm_unreachable.
Referenced by llvm::applyMapping().
|
static |
Constrain the (possibly generic) virtual register Reg to RC.
Reg is a virtual register that either has a bank or a class. Definition at line 118 of file RegisterBankInfo.cpp.
References llvm::MachineRegisterInfo::constrainRegClass(), llvm::RegisterBank::covers(), llvm::MachineRegisterInfo::getRegClassOrRegBank(), and llvm::MachineRegisterInfo::setRegClass().
Referenced by llvm::constrainOperandRegClass(), llvm::AArch64InstructionSelector::select(), and selectCopy().
|
inlinevirtual |
Get the cost of a copy from B to A, or put differently, get the cost of A = COPY B.
Since register banks may cover different size, Size specifies what will be the size in bits that will be copied around.
Reimplemented in llvm::AArch64RegisterBankInfo.
Definition at line 544 of file RegisterBankInfo.h.
References B.
Referenced by llvm::AArch64RegisterBankInfo::copyCost().
|
virtual |
Get the alternative mappings for MI.
Alternative in the sense different from getInstrMapping.
Reimplemented in llvm::AArch64RegisterBankInfo.
Definition at line 345 of file RegisterBankInfo.cpp.
Referenced by llvm::AArch64RegisterBankInfo::getInstrAlternativeMappings().
|
virtual |
Get the mapping of the different operands of MI on the register bank.
This mapping should be the direct translation of MI. In other words, when MI is mapped with the returned mapping, only the register banks of the operands of MI need to be updated. In particular, neither the opcode nor the type of MI needs to be updated for this direct mapping.
The target independent implementation gives a mapping based on the register classes for the target specific opcode. It uses the ID RegisterBankInfo::DefaultMappingID for that mapping. Make sure you do not use that ID for the alternative mapping for MI. See getInstrAlternativeMappings for the alternative mappings.
For instance, if MI is a vector add, the mapping should not be a scalarization of the add.
Reimplemented in llvm::AArch64RegisterBankInfo, and llvm::ARMRegisterBankInfo.
Definition at line 321 of file RegisterBankInfo.cpp.
References getInstrMappingImpl(), llvm::RegisterBankInfo::InstructionMapping::isValid(), and llvm_unreachable.
Referenced by llvm::RegisterBankInfo::OperandsMapper::createVRegs(), llvm::RegisterBankInfo::OperandsMapper::getVRegs(), llvm::RegisterBankInfo::OperandsMapper::print(), and llvm::RegisterBankInfo::OperandsMapper::setVRegs().
|
protected |
Try to get the mapping of MI.
See getInstrMapping for more details on what a mapping represents.
Unlike getInstrMapping the returned InstructionMapping may be invalid (isValid() == false). This means that the target independent code is not smart enough to get the mapping of MI and thus, the target has to provide the information for MI.
This implementation is able to get the mapping of:
Definition at line 137 of file RegisterBankInfo.cpp.
References assert(), DefaultMappingID, llvm::TargetSubtargetInfo::getInstrInfo(), llvm::MachineInstr::getNumOperands(), llvm::MachineInstr::getOperand(), getOperandsMapping(), llvm::MachineInstr::getParent(), llvm::MachineBasicBlock::getParent(), llvm::MachineOperand::getReg(), getRegBank(), getRegBankFromConstraints(), llvm::MachineFunction::getRegInfo(), llvm::TargetSubtargetInfo::getRegisterInfo(), llvm::getSizeInBits(), llvm::MachineFunction::getSubtarget(), getValueMapping(), llvm::MachineInstr::isCopy(), llvm::MachineInstr::isPHI(), llvm::MachineOperand::isReg(), MRI, llvm::RegisterBankInfo::InstructionMapping::setOperandsMapping(), and TII.
Referenced by llvm::ARMRegisterBankInfo::getInstrMapping(), llvm::AArch64RegisterBankInfo::getInstrMapping(), and getInstrMapping().
|
inline |
Get the total number of register banks.
Definition at line 519 of file RegisterBankInfo.h.
References NumRegBanks.
Referenced by getRegBank(), and RegisterBankInfo().
|
protected |
Methods to get a uniquely generated array of ValueMapping.
Get the uniquely generated array of ValueMapping for the elements of between Begin and End.
Elements that are nullptr will be replaced by invalid ValueMapping (ValueMapping::isValid == false).
Begin and End must uniquely identify a ValueMapping. Otherwise, there is no guarantee that the return instance will be unique, i.e., another OperandsMapping could have the same content. Definition at line 278 of file RegisterBankInfo.cpp.
References llvm::WebAssembly::End, fuzzer::Hash(), llvm::hash_combine_range(), and MapOfOperandsMappings.
Referenced by llvm::AArch64RegisterBankInfo::getInstrAlternativeMappings(), llvm::ARMRegisterBankInfo::getInstrMapping(), llvm::AArch64RegisterBankInfo::getInstrMapping(), getInstrMappingImpl(), and getOperandsMapping().
|
protected |
Get the uniquely generated array of ValueMapping for the elements of OpdsMapping.
Elements of OpdsMapping that are nullptr will be replaced by invalid ValueMapping (ValueMapping::isValid == false).
Definition at line 308 of file RegisterBankInfo.cpp.
References llvm::SmallVectorTemplateCommon< T >::begin(), llvm::SmallVectorTemplateCommon< T >::end(), and getOperandsMapping().
|
protected |
Get the uniquely generated array of ValueMapping for the given arguments.
Arguments that are nullptr will be replaced by invalid ValueMapping (ValueMapping::isValid == false).
|
protected |
Get the uniquely generated PartialMapping for the given arguments.
Definition at line 226 of file RegisterBankInfo.cpp.
References fuzzer::Hash(), hashPartialMapping(), and MapOfPartialMappings.
Referenced by getValueMapping().
|
inlineprotected |
Get the register bank identified by ID.
Definition at line 400 of file RegisterBankInfo.h.
References assert(), getNumRegBanks(), and RegBanks.
Referenced by llvm::AArch64RegisterBankInfo::AArch64RegisterBankInfo(), llvm::ARMRegisterBankInfo::ARMRegisterBankInfo(), getInstrMappingImpl(), getRegBank(), llvm::ARMRegisterBankInfo::getRegBankFromRegClass(), llvm::AArch64RegisterBankInfo::getRegBankFromRegClass(), llvm::AArch64InstructionSelector::select(), selectCopy(), and unsupportedBinOp().
|
inline |
Get the register bank identified by ID.
Definition at line 506 of file RegisterBankInfo.h.
References getRegBank().
| const RegisterBank * RegisterBankInfo::getRegBank | ( | unsigned | Reg, |
| const MachineRegisterInfo & | MRI, | ||
| const TargetRegisterInfo & | TRI | ||
| ) | const |
Get the register bank of Reg.
If Reg has not been assigned a register, a register class, or a register bank, then this returns nullptr.
Definition at line 87 of file RegisterBankInfo.cpp.
References assert(), llvm::PointerUnion< PT1, PT2 >::dyn_cast(), llvm::TargetRegisterInfo::getMinimalPhysRegClass(), getRegBankFromRegClass(), llvm::MachineRegisterInfo::getRegClassOrRegBank(), and llvm::TargetRegisterInfo::isPhysicalRegister().
|
protected |
Get the register bank for the OpIdx-th operand of MI form the encoding constraints, if any.
MI did not provide enough information to deduce it. Definition at line 101 of file RegisterBankInfo.cpp.
References assert(), llvm::RegisterBank::covers(), getRegBankFromRegClass(), and llvm::MachineInstr::getRegClassConstraint().
Referenced by getInstrMappingImpl().
|
inlinevirtual |
Get a register bank that covers RC.
RC is a user-defined register class (as opposed as one generated by TableGen).Reimplemented in llvm::AArch64RegisterBankInfo, and llvm::ARMRegisterBankInfo.
Definition at line 534 of file RegisterBankInfo.h.
References llvm_unreachable.
Referenced by getRegBank(), and getRegBankFromConstraints().
|
protected |
Methods to get a uniquely generated ValueMapping.
The most common ValueMapping consists of a single PartialMapping. Feature a method for that.
Definition at line 243 of file RegisterBankInfo.cpp.
References getPartialMapping().
Referenced by getInstrMappingImpl().
|
protected |
Get the ValueMapping for the given arguments.
Definition at line 260 of file RegisterBankInfo.cpp.
References fuzzer::Hash(), hashValueMapping(), and MapOfValueMappings.
Identifier used when the related instruction mapping instance is generated by target independent code.
Make sure not to use that identifier to avoid possible collision.
Definition at line 565 of file RegisterBankInfo.h.
Referenced by llvm::applyMapping(), llvm::ARMRegisterBankInfo::getInstrMapping(), llvm::AArch64RegisterBankInfo::getInstrMapping(), and getInstrMappingImpl().
Identifier used when the related instruction mapping instance is generated by the default constructor.
Make sure not to use that identifier.
Definition at line 570 of file RegisterBankInfo.h.
Referenced by llvm::RegisterBankInfo::InstructionMapping::InstructionMapping(), and llvm::RegisterBankInfo::InstructionMapping::isValid().
|
mutableprotected |
Keep dynamically allocated array of ValueMapping in a separate map.
This shouldn't be needed when everything gets TableGen'ed.
Definition at line 383 of file RegisterBankInfo.h.
Referenced by getOperandsMapping().
|
mutableprotected |
Keep dynamically allocated PartialMapping in a separate map.
This shouldn't be needed when everything gets TableGen'ed.
Definition at line 375 of file RegisterBankInfo.h.
Referenced by getPartialMapping(), and ~RegisterBankInfo().
|
mutableprotected |
Keep dynamically allocated ValueMapping in a separate map.
This shouldn't be needed when everything gets TableGen'ed.
Definition at line 379 of file RegisterBankInfo.h.
Referenced by getValueMapping(), and ~RegisterBankInfo().
|
protected |
Total number of register banks.
Definition at line 371 of file RegisterBankInfo.h.
Referenced by getNumRegBanks().
|
protected |
Hold the set of supported register banks.
Definition at line 369 of file RegisterBankInfo.h.
Referenced by getRegBank().
| struct llvm::RegisterBankInfo::PartialMapping llvm::RegisterBankInfo::ScalarAddx2 |
| llvm::RegisterBankInfo::VectorAdd |
Get the possible mapping for MI.
A mapping defines where the different operands may live and at what cost. For instance, let us consider: v0(16) = G_ADD <2 x i8> v1, v2 The possible mapping could be:
{/*ID
Definition at line 607 of file RegisterBankInfo.h.
1.8.6