LLVM: llvm::Combiner Class Reference (original) (raw)

#include "[llvm/CodeGen/GlobalISel/Combiner.h](Combiner%5F8h%5Fsource.html)"

Public Member Functions
	Combiner (MachineFunction &MF, CombinerInfo &CInfo, const TargetPassConfig TPC, GISelValueTracking VT, GISelCSEInfo *CSEInfo=nullptr)
	If CSEInfo is not null, then the Combiner will use CSEInfo as the observer and also create a CSEMIRBuilder.
	~Combiner () override
virtual bool	tryCombineAll (MachineInstr &I) const =0
bool	combineMachineInstrs ()
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.

Protected Attributes
CombinerInfo &	CInfo
GISelChangeObserver &	Observer
MachineIRBuilder &	B
MachineFunction &	MF
MachineRegisterInfo &	MRI
GISelValueTracking *	VT
const TargetPassConfig *	TPC
GISelCSEInfo *	CSEInfo

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)
Public Attributes inherited from llvm::GIMatchTableExecutor
CodeGenCoverage *	CoverageInfo = nullptr
GISelValueTracking *	VT = nullptr
MachineFunction *	MF = nullptr
ProfileSummaryInfo *	PSI = nullptr
BlockFrequencyInfo *	BFI = nullptr
MachineBasicBlock *	CurMBB = nullptr
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
static Ty	readBytesAs (const uint8_t *MatchTable)
static ArrayRef< MachineOperand >	getRemainingOperands (const MachineInstr &MI, unsigned FirstVarOp)

Combiner implementation.

This is per-function, so passes need to recreate one of these each time they enter a new function.

TODO: Is it worth making this module-wide?

Definition at line 34 of file Combiner.h.

◆ ~Combiner()

Combiner::~Combiner ( )	overridedefault

◆ combineMachineInstrs()

bool Combiner::combineMachineInstrs	(	)

Definition at line 255 of file Combiner.cpp.

References assert(), Changed, CInfo, CSEInfo, llvm::dbgs(), llvm::CombinerInfo::DCE, llvm::errs(), LLVM_DEBUG, llvm::make_early_inc_range(), MBB, MF, MORE, MRI, llvm::post_order(), llvm::reverse(), llvm::GIMatchTableExecutor::setupMF(), tryCombineAll(), and VT.

◆ tryCombineAll()

virtual bool llvm::Combiner::tryCombineAll ( MachineInstr & I) const	pure virtual

LLVM: llvm::Combiner Class Reference (original) (raw)

◆ ~Combiner()

◆ combineMachineInstrs()

◆ tryCombineAll()

◆ B

◆ CInfo

◆ CSEInfo

◆ MF

◆ MRI

◆ Observer

◆ TPC

◆ VT