LLVM 22.0.0git
Public Member Functions | Public Attributes | List of all members
llvm::InstructionSelector Class Referenceabstract

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

Inheritance diagram for llvm::InstructionSelector:
[legend]

Public Member Functions

 ~InstructionSelector () override
virtual bool select (MachineInstr &I)=0
 Select the (possibly generic) instruction I to only use target-specific opcodes.
Public Member Functions inherited from llvm::GIMatchTableExecutor
virtual ~GIMatchTableExecutor ()=default
virtual void setupGeneratedPerFunctionState (MachineFunction &MF)=0
virtual void setupMF (MachineFunction &mf, GISelValueTracking *vt, CodeGenCoverage *covinfo=nullptr, ProfileSummaryInfo *psi=nullptr, BlockFrequencyInfo *bfi=nullptr)
 Setup per-MF executor state.

Public Attributes

const TargetPassConfig * TPC = nullptr
MachineOptimizationRemarkEmitter * MORE = nullptr
GISelObserverWrapper * AllObservers = nullptr
 Note: InstructionSelect does not track changed instructions.
Public Attributes inherited from llvm::GIMatchTableExecutor
CodeGenCoverage * CoverageInfo = nullptr
GISelValueTracking * VT = nullptr
MachineFunction * MF = nullptr
ProfileSummaryInfo * PSI = nullptr
BlockFrequencyInfo * BFI = nullptr
MachineBasicBlock * CurMBB = nullptr

Additional Inherited Members

Static Public Member Functions inherited from llvm::GIMatchTableExecutor
static LLVM_ATTRIBUTE_ALWAYS_INLINE uint64_t fastDecodeULEB128 (const uint8_t *LLVM_ATTRIBUTE_RESTRICT MatchTable, uint64_t &CurrentIdx)
Protected Types inherited from llvm::GIMatchTableExecutor
using ComplexRendererFns
using RecordedMIVector = SmallVector<MachineInstr *, 4>
using NewMIVector = SmallVector<MachineInstrBuilder, 4>
Protected Member Functions inherited from llvm::GIMatchTableExecutor
bool shouldOptForSize (const MachineFunction *MF) const
LLVM_ABI GIMatchTableExecutor ()
template<class TgtExecutor, class PredicateBitset, class ComplexMatcherMemFn, class CustomRendererFn>
bool executeMatchTable (TgtExecutor &Exec, MatcherState &State, const ExecInfoTy< PredicateBitset, ComplexMatcherMemFn, CustomRendererFn > &ExecInfo, MachineIRBuilder &Builder, const uint8_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.
virtual const uint8_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 MatcherState &State) const
virtual bool testMOPredicate_MO (unsigned, const MachineOperand &, const MatcherState &State) const
virtual bool testSimplePredicate (unsigned) const
virtual bool runCustomAction (unsigned, const MatcherState &State, NewMIVector &OutMIs) const
LLVM_ABI bool isOperandImmEqual (const MachineOperand &MO, int64_t Value, const MachineRegisterInfo &MRI, bool Splat=false) const
LLVM_ABI bool isBaseWithConstantOffset (const MachineOperand &Root, const MachineRegisterInfo &MRI) const
 Return true if the specified operand is a G_PTR_ADD with a G_CONSTANT on the right-hand side.
LLVM_ABI bool isObviouslySafeToFold (MachineInstr &MI, MachineInstr &IntoMI) const
 Return true if MI can obviously be folded into IntoMI.
Static Protected Member Functions inherited from llvm::GIMatchTableExecutor
template<typename Ty>
static Ty readBytesAs (const uint8_t *MatchTable)
static ArrayRef< MachineOperand > getRemainingOperands (const MachineInstr &MI, unsigned FirstVarOp)

Detailed Description

Definition at line 22 of file InstructionSelector.h.

Constructor & Destructor Documentation

◆ ~InstructionSelector()

llvm::InstructionSelector::~InstructionSelector ( )
overridedefault

Member Function Documentation

◆ 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.

References I.

Member Data Documentation

◆ AllObservers

GISelObserverWrapper* llvm::InstructionSelector::AllObservers = nullptr

Note: InstructionSelect does not track changed instructions.

changingInstr() and changedInstr() will never be called on these observers.

Definition at line 46 of file InstructionSelector.h.

◆ MORE

MachineOptimizationRemarkEmitter* llvm::InstructionSelector::MORE = nullptr

Definition at line 41 of file InstructionSelector.h.

◆ TPC

const TargetPassConfig* llvm::InstructionSelector::TPC = nullptr

Definition at line 39 of file InstructionSelector.h.

The documentation for this class was generated from the following files:
Generated on for LLVM by doxygen 1.14.0