LLVM  10.0.0svn
Classes | Public Member Functions | Public Attributes | Protected Types | Protected Member Functions | List of all members
llvm::InstructionSelector Class Referenceabstract

Provides the logic to select generic machine instructions. More...

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

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

Classes

struct  ISelInfoTy
 
struct  MatcherState
 

Public Member Functions

virtual ~InstructionSelector ()=default
 
virtual bool select (MachineInstr &I)=0
 Select the (possibly generic) instruction I to only use target-specific opcodes. More...
 
virtual void setupMF (MachineFunction &mf, GISelKnownBits &KB, CodeGenCoverage &covinfo)
 Setup per-MF selector state. More...
 

Public Attributes

CodeGenCoverageCoverageInfo = nullptr
 
GISelKnownBitsKnownBits = nullptr
 
MachineFunctionMF = nullptr
 

Protected Types

using ComplexRendererFns = Optional< SmallVector< std::function< void(MachineInstrBuilder &)>, 4 > >
 
using RecordedMIVector = SmallVector< MachineInstr *, 4 >
 
using NewMIVector = SmallVector< MachineInstrBuilder, 4 >
 

Protected Member Functions

 InstructionSelector ()
 
template<class TgtInstructionSelector , class PredicateBitset , class ComplexMatcherMemFn , class CustomRendererFn >
bool executeMatchTable (TgtInstructionSelector &ISel, NewMIVector &OutMIs, MatcherState &State, const ISelInfoTy< PredicateBitset, ComplexMatcherMemFn, CustomRendererFn > &ISelInfo, const int64_t *MatchTable, const TargetInstrInfo &TII, MachineRegisterInfo &MRI, const TargetRegisterInfo &TRI, const RegisterBankInfo &RBI, const PredicateBitset &AvailableFeatures, CodeGenCoverage &CoverageInfo) const
 Execute a given matcher table and return true if the match was successful and false otherwise. More...
 
virtual const int64_t * getMatchTable () const
 
virtual bool testImmPredicate_I64 (unsigned, int64_t) const
 
virtual bool testImmPredicate_APInt (unsigned, const APInt &) const
 
virtual bool testImmPredicate_APFloat (unsigned, const APFloat &) const
 
virtual bool testMIPredicate_MI (unsigned, const MachineInstr &) const
 
bool constrainOperandRegToRegClass (MachineInstr &I, unsigned OpIdx, const TargetRegisterClass &RC, const TargetInstrInfo &TII, const TargetRegisterInfo &TRI, const RegisterBankInfo &RBI) const
 Constrain a register operand of an instruction I to a specified register class. More...
 
bool isOperandImmEqual (const MachineOperand &MO, int64_t Value, const MachineRegisterInfo &MRI) const
 
bool isBaseWithConstantOffset (const MachineOperand &Root, const MachineRegisterInfo &MRI) const
 Return true if the specified operand is a G_GEP with a G_CONSTANT on the right-hand side. More...
 
bool isObviouslySafeToFold (MachineInstr &MI, MachineInstr &IntoMI) const
 Return true if MI can obviously be folded into IntoMI. More...
 

Detailed Description

Provides the logic to select generic machine instructions.

Definition at line 368 of file InstructionSelector.h.

Member Typedef Documentation

◆ ComplexRendererFns

Definition at line 399 of file InstructionSelector.h.

◆ NewMIVector

Definition at line 401 of file InstructionSelector.h.

◆ RecordedMIVector

Definition at line 400 of file InstructionSelector.h.

Constructor & Destructor Documentation

◆ ~InstructionSelector()

virtual llvm::InstructionSelector::~InstructionSelector ( )
virtualdefault

◆ InstructionSelector()

InstructionSelector::InstructionSelector ( )
protecteddefault

Member Function Documentation

◆ constrainOperandRegToRegClass()

bool InstructionSelector::constrainOperandRegToRegClass ( MachineInstr I,
unsigned  OpIdx,
const TargetRegisterClass RC,
const TargetInstrInfo TII,
const TargetRegisterInfo TRI,
const RegisterBankInfo RBI 
) const
protected

Constrain a register operand of an instruction I to a specified register class.

This could involve inserting COPYs before (for uses) or after (for defs) and may replace the operand of I.

Returns
whether operand regclass constraining succeeded.

Definition at line 36 of file InstructionSelector.cpp.

References llvm::constrainOperandRegClass(), llvm::MachineInstr::getOperand(), llvm::MachineBasicBlock::getParent(), llvm::MachineInstr::getParent(), llvm::MachineFunction::getRegInfo(), MF, and MRI.

Referenced by executeMatchTable().

◆ executeMatchTable()

template<class TgtInstructionSelector , class PredicateBitset , class ComplexMatcherMemFn , class CustomRendererFn >
bool llvm::InstructionSelector::executeMatchTable ( TgtInstructionSelector &  ISel,
NewMIVector OutMIs,
MatcherState State,
const ISelInfoTy< PredicateBitset, ComplexMatcherMemFn, CustomRendererFn > &  ISelInfo,
const int64_t *  MatchTable,
const TargetInstrInfo TII,
MachineRegisterInfo MRI,
const TargetRegisterInfo TRI,
const RegisterBankInfo RBI,
const PredicateBitset &  AvailableFeatures,
CodeGenCoverage CoverageInfo 
) const
protected

Execute a given matcher table and return true if the match was successful and false otherwise.

Definition at line 48 of file InstructionSelectorImpl.h.

References add(), assert(), llvm::BuildMI(), llvm::InstructionSelector::ISelInfoTy< PredicateBitset, ComplexMatcherMemFn, CustomRendererFn >::ComplexPredicates, constrainOperandRegToRegClass(), llvm::constrainSelectedInstRegOperands(), llvm::MachineRegisterInfo::createGenericVirtualRegister(), llvm::InstructionSelector::ISelInfoTy< PredicateBitset, ComplexMatcherMemFn, CustomRendererFn >::CustomRenderers, llvm::dbgs(), DEBUG_WITH_TYPE, llvm::Default, llvm::SmallVectorBase::empty(), llvm::ConstantInt::equalsInt(), llvm::InstructionSelector::ISelInfoTy< PredicateBitset, ComplexMatcherMemFn, CustomRendererFn >::FeatureBitsets, llvm::MCInstrInfo::get(), llvm::LLT::getAddressSpace(), llvm::MachineMemOperand::getAddrSpace(), llvm::MachineMemOperand::getAlignment(), llvm::MachineOperand::getCImm(), llvm::MachineFunction::getDataLayout(), llvm::MachineOperand::getIntrinsicID(), getName(), llvm::DataLayout::getPointerSizeInBits(), llvm::MachineOperand::getPredicate(), llvm::MachineOperand::getReg(), llvm::RegisterBankInfo::getRegBank(), llvm::RegisterBankInfo::getRegBankFromRegClass(), llvm::TargetRegisterInfo::getRegClass(), llvm::MachineMemOperand::getSize(), llvm::LLT::getSizeInBits(), llvm::MachineMemOperand::getSizeInBits(), llvm::getSizeInBits(), llvm::MachineRegisterInfo::getType(), llvm::Optional< T >::getValue(), llvm::MachineRegisterInfo::getVRegDef(), llvm::GIM_CheckAPFloatImmPredicate, llvm::GIM_CheckAPIntImmPredicate, llvm::GIM_CheckAtomicOrdering, llvm::GIM_CheckAtomicOrderingOrStrongerThan, llvm::GIM_CheckAtomicOrderingWeakerThan, llvm::GIM_CheckCmpPredicate, llvm::GIM_CheckComplexPattern, llvm::GIM_CheckConstantInt, llvm::GIM_CheckCxxInsnPredicate, llvm::GIM_CheckFeatures, llvm::GIM_CheckI64ImmPredicate, llvm::GIM_CheckIntrinsicID, llvm::GIM_CheckIsMBB, llvm::GIM_CheckIsSafeToFold, llvm::GIM_CheckIsSameOperand, llvm::GIM_CheckLiteralInt, llvm::GIM_CheckMemoryAddressSpace, llvm::GIM_CheckMemoryAlignment, llvm::GIM_CheckMemorySizeEqualTo, llvm::GIM_CheckMemorySizeEqualToLLT, llvm::GIM_CheckMemorySizeGreaterThanLLT, llvm::GIM_CheckMemorySizeLessThanLLT, llvm::GIM_CheckNumOperands, llvm::GIM_CheckOpcode, llvm::GIM_CheckPointerToAny, llvm::GIM_CheckRegBankForClass, llvm::GIM_CheckType, llvm::GIM_RecordInsn, llvm::GIM_Reject, llvm::GIM_SwitchOpcode, llvm::GIM_SwitchType, llvm::GIM_Try, llvm::GIPFP_APFloat_Invalid, llvm::GIPFP_APInt_Invalid, llvm::GIPFP_I64_Invalid, llvm::GIPFP_MI_Invalid, llvm::GIR_AddImm, llvm::GIR_AddImplicitDef, llvm::GIR_AddImplicitUse, llvm::GIR_AddRegister, llvm::GIR_AddTempRegister, llvm::GIR_BuildMI, llvm::GIR_ComplexRenderer, llvm::GIR_ComplexSubOperandRenderer, llvm::GIR_ConstrainOperandRC, llvm::GIR_ConstrainSelectedInstOperands, llvm::GIR_Copy, llvm::GIR_CopyConstantAsSImm, llvm::GIR_CopyFConstantAsFPImm, llvm::GIR_CopyOrAddZeroReg, llvm::GIR_CopySubReg, llvm::GIR_Coverage, llvm::GIR_CustomRenderer, llvm::GIR_Done, llvm::GIR_EraseFromParent, llvm::GIR_MakeTempReg, llvm::GIR_MergeMemOperands, llvm::GIR_MutateOpcode, llvm::GIU_MergeMemOperands_EndOfList, llvm::Optional< T >::hasValue(), I, llvm::RegState::Implicit, llvm::isAtLeastOrStrongerThan(), llvm::MachineOperand::isCImm(), llvm::MachineOperand::isIntrinsicID(), isObviouslySafeToFold(), isOperandImmEqual(), llvm::Register::isPhysicalRegister(), llvm::LLT::isPointer(), llvm::MachineOperand::isPredicate(), llvm::MachineOperand::isReg(), llvm::isStrongerThan(), llvm_unreachable, MF, llvm::MinAlign(), llvm::InstructionSelector::MatcherState::MIs, MRI, llvm::SmallVectorImpl< T >::pop_back_val(), llvm::SmallVectorTemplateBase< T, bool >::push_back(), llvm::InstructionSelector::MatcherState::Renderers, llvm::SmallVectorImpl< T >::resize(), llvm::CodeGenCoverage::setCovered(), llvm::SignExtend64(), Size, llvm::SmallVectorBase::size(), Success, llvm::InstructionSelector::MatcherState::TempRegisters, testImmPredicate_APFloat(), testImmPredicate_APInt(), testImmPredicate_I64(), testMIPredicate_MI(), TII, TRI, llvm::InstructionSelector::ISelInfoTy< PredicateBitset, ComplexMatcherMemFn, CustomRendererFn >::TypeIDMap, and llvm::InstructionSelector::ISelInfoTy< PredicateBitset, ComplexMatcherMemFn, CustomRendererFn >::TypeObjects.

◆ getMatchTable()

virtual const int64_t* llvm::InstructionSelector::getMatchTable ( ) const
inlineprotectedvirtual

Definition at line 451 of file InstructionSelector.h.

References llvm_unreachable.

◆ isBaseWithConstantOffset()

bool InstructionSelector::isBaseWithConstantOffset ( const MachineOperand Root,
const MachineRegisterInfo MRI 
) const
protected

Return true if the specified operand is a G_GEP with a G_CONSTANT on the right-hand side.

GlobalISel's separation of pointer and integer types means that we don't need to worry about G_OR with equivalent semantics.

Definition at line 57 of file InstructionSelector.cpp.

References llvm::MachineInstr::getOpcode(), llvm::MachineInstr::getOperand(), llvm::MachineOperand::getReg(), llvm::MachineRegisterInfo::getVRegDef(), and llvm::MachineOperand::isReg().

Referenced by isStackPtrRelative().

◆ isObviouslySafeToFold()

bool InstructionSelector::isObviouslySafeToFold ( MachineInstr MI,
MachineInstr IntoMI 
) const
protected

Return true if MI can obviously be folded into IntoMI.

MI and IntoMI do not need to be in the same basic blocks, but MI must preceed IntoMI.

Definition at line 74 of file InstructionSelector.cpp.

References llvm::empty(), llvm::ilist_node_impl< OptionsT >::getIterator(), llvm::MachineInstr::getParent(), llvm::MachineInstr::hasUnmodeledSideEffects(), llvm::MachineInstr::implicit_operands(), llvm::MachineInstr::mayLoadOrStore(), and llvm::MachineInstr::mayRaiseFPException().

Referenced by executeMatchTable().

◆ isOperandImmEqual()

bool InstructionSelector::isOperandImmEqual ( const MachineOperand MO,
int64_t  Value,
const MachineRegisterInfo MRI 
) const
protected

◆ select()

virtual bool llvm::InstructionSelector::select ( MachineInstr I)
pure virtual

Select the (possibly generic) instruction I to only use target-specific opcodes.

It is OK to insert multiple instructions, but they cannot be generic pre-isel instructions.

Returns
whether selection succeeded.
Precondition
I.getParent() && I.getParent()->getParent()
Postcondition
if returns true: for I in all mutated/inserted instructions: !isPreISelGenericOpcode(I.getOpcode())

Implemented in llvm::AMDGPUInstructionSelector.

◆ setupMF()

virtual void llvm::InstructionSelector::setupMF ( MachineFunction mf,
GISelKnownBits KB,
CodeGenCoverage covinfo 
)
inlinevirtual

Setup per-MF selector state.

Definition at line 389 of file InstructionSelector.h.

◆ testImmPredicate_APFloat()

virtual bool llvm::InstructionSelector::testImmPredicate_APFloat ( unsigned  ,
const APFloat  
) const
inlineprotectedvirtual

Definition at line 463 of file InstructionSelector.h.

References llvm_unreachable.

Referenced by executeMatchTable().

◆ testImmPredicate_APInt()

virtual bool llvm::InstructionSelector::testImmPredicate_APInt ( unsigned  ,
const APInt  
) const
inlineprotectedvirtual

Definition at line 459 of file InstructionSelector.h.

References llvm_unreachable.

Referenced by executeMatchTable().

◆ testImmPredicate_I64()

virtual bool llvm::InstructionSelector::testImmPredicate_I64 ( unsigned  ,
int64_t   
) const
inlineprotectedvirtual

Definition at line 455 of file InstructionSelector.h.

References llvm_unreachable.

Referenced by executeMatchTable().

◆ testMIPredicate_MI()

virtual bool llvm::InstructionSelector::testMIPredicate_MI ( unsigned  ,
const MachineInstr  
) const
inlineprotectedvirtual

Definition at line 467 of file InstructionSelector.h.

References llvm_unreachable, MI, MRI, TII, and TRI.

Referenced by executeMatchTable().

Member Data Documentation

◆ CoverageInfo

CodeGenCoverage* llvm::InstructionSelector::CoverageInfo = nullptr

◆ KnownBits

GISelKnownBits* llvm::InstructionSelector::KnownBits = nullptr

Definition at line 385 of file InstructionSelector.h.

◆ MF

MachineFunction* llvm::InstructionSelector::MF = nullptr

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