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

Collaboration diagram for llvm::CombinerHelper:

[legend]

Public Member Functions
	CombinerHelper (GISelChangeObserver &Observer, MachineIRBuilder &B, GISelKnownBits KB=nullptr, MachineDominatorTree MDT=nullptr, const LegalizerInfo *LI=nullptr)

GISelKnownBits *	getKnownBits () const

const TargetLowering &	getTargetLowering () const

bool	isLegalOrBeforeLegalizer (const LegalityQuery &Query) const

void	replaceRegWith (MachineRegisterInfo &MRI, Register FromReg, Register ToReg) const
	MachineRegisterInfo::replaceRegWith() and inform the observer of the changes. More...

void	replaceRegOpWith (MachineRegisterInfo &MRI, MachineOperand &FromRegOp, Register ToReg) const
	Replace a single register operand with a new register and inform the observer of the changes. More...

bool	tryCombineCopy (MachineInstr &MI)
	If `MI` is COPY, try to combine it. More...

bool	matchCombineCopy (MachineInstr &MI)

void	applyCombineCopy (MachineInstr &MI)

bool	isPredecessor (const MachineInstr &DefMI, const MachineInstr &UseMI)
	Returns true if `DefMI` precedes `UseMI` or they are the same instruction. More...

bool	dominates (const MachineInstr &DefMI, const MachineInstr &UseMI)
	Returns true if `DefMI` dominates `UseMI`. More...

bool	tryCombineExtendingLoads (MachineInstr &MI)
	If `MI` is extend that consumes the result of a load, try to combine it. More...

bool	matchCombineExtendingLoads (MachineInstr &MI, PreferredTuple &MatchInfo)

void	applyCombineExtendingLoads (MachineInstr &MI, PreferredTuple &MatchInfo)

bool	tryCombineIndexedLoadStore (MachineInstr &MI)
	Combine `MI` into a pre-indexed or post-indexed load/store operation if legal and the surrounding code makes it useful. More...

bool	matchCombineIndexedLoadStore (MachineInstr &MI, IndexedLoadStoreMatchInfo &MatchInfo)

void	applyCombineIndexedLoadStore (MachineInstr &MI, IndexedLoadStoreMatchInfo &MatchInfo)

bool	matchSextTruncSextLoad (MachineInstr &MI)

bool	applySextTruncSextLoad (MachineInstr &MI)

bool	matchSextInRegOfLoad (MachineInstr &MI, std::tuple< Register, unsigned > &MatchInfo)
	Match sext_inreg(load p), imm -> sextload p. More...

bool	applySextInRegOfLoad (MachineInstr &MI, std::tuple< Register, unsigned > &MatchInfo)

bool	matchOptBrCondByInvertingCond (MachineInstr &MI)
	If a brcond's true block is not the fallthrough, make it so by inverting the condition and swapping operands. More...

void	applyOptBrCondByInvertingCond (MachineInstr &MI)

bool	tryCombineConcatVectors (MachineInstr &MI)
	If `MI` is G_CONCAT_VECTORS, try to combine it. More...

bool	matchCombineConcatVectors (MachineInstr &MI, bool &IsUndef, SmallVectorImpl< Register > &Ops)
	Check if the G_CONCAT_VECTORS `MI` is undef or if it can be flattened into a build_vector. More...

void	applyCombineConcatVectors (MachineInstr &MI, bool IsUndef, const ArrayRef< Register > Ops)
	Replace `MI` with a flattened build_vector with `Ops` or an implicit_def if IsUndef is true. More...

bool	tryCombineShuffleVector (MachineInstr &MI)
	Try to combine G_SHUFFLE_VECTOR into G_CONCAT_VECTORS. More...

bool	matchCombineShuffleVector (MachineInstr &MI, SmallVectorImpl< Register > &Ops)
	Check if the G_SHUFFLE_VECTOR `MI` can be replaced by a concat_vectors. More...

void	applyCombineShuffleVector (MachineInstr &MI, const ArrayRef< Register > Ops)
	Replace `MI` with a concat_vectors with `Ops`. More...

bool	tryCombineMemCpyFamily (MachineInstr &MI, unsigned MaxLen=0)
	Optimize memcpy intrinsics et al, e.g. More...

bool	matchPtrAddImmedChain (MachineInstr &MI, PtrAddChain &MatchInfo)

bool	applyPtrAddImmedChain (MachineInstr &MI, PtrAddChain &MatchInfo)

bool	matchShiftImmedChain (MachineInstr &MI, RegisterImmPair &MatchInfo)
	Fold (shift (shift base, x), y) -> (shift base (x+y)) More...

bool	applyShiftImmedChain (MachineInstr &MI, RegisterImmPair &MatchInfo)

bool	matchShiftOfShiftedLogic (MachineInstr &MI, ShiftOfShiftedLogic &MatchInfo)
	If we have a shift-by-constant of a bitwise logic op that itself has a shift-by-constant operand with identical opcode, we may be able to convert that into 2 independent shifts followed by the logic op. More...

bool	applyShiftOfShiftedLogic (MachineInstr &MI, ShiftOfShiftedLogic &MatchInfo)

bool	matchCombineMulToShl (MachineInstr &MI, unsigned &ShiftVal)
	Transform a multiply by a power-of-2 value to a left shift. More...

bool	applyCombineMulToShl (MachineInstr &MI, unsigned &ShiftVal)

bool	matchCombineShlOfExtend (MachineInstr &MI, RegisterImmPair &MatchData)

bool	applyCombineShlOfExtend (MachineInstr &MI, const RegisterImmPair &MatchData)

bool	matchCombineShiftToUnmerge (MachineInstr &MI, unsigned TargetShiftSize, unsigned &ShiftVal)
	Reduce a shift by a constant to an unmerge and a shift on a half sized type. More...

bool	applyCombineShiftToUnmerge (MachineInstr &MI, const unsigned &ShiftVal)

bool	tryCombineShiftToUnmerge (MachineInstr &MI, unsigned TargetShiftAmount)

bool	matchCombineUnmergeMergeToPlainValues (MachineInstr &MI, SmallVectorImpl< Register > &Operands)
	Transform <ty,...> G_UNMERGE(G_MERGE ty X, Y, Z) -> ty X, Y, Z. More...

bool	applyCombineUnmergeMergeToPlainValues (MachineInstr &MI, SmallVectorImpl< Register > &Operands)

bool	matchCombineUnmergeConstant (MachineInstr &MI, SmallVectorImpl< APInt > &Csts)
	Transform G_UNMERGE Constant -> Constant1, Constant2, ... More...

bool	applyCombineUnmergeConstant (MachineInstr &MI, SmallVectorImpl< APInt > &Csts)

bool	matchCombineUnmergeWithDeadLanesToTrunc (MachineInstr &MI)
	Transform X, Y<dead> = G_UNMERGE Z -> X = G_TRUNC Z. More...

bool	applyCombineUnmergeWithDeadLanesToTrunc (MachineInstr &MI)

bool	matchCombineUnmergeZExtToZExt (MachineInstr &MI)
	Transform X, Y = G_UNMERGE(G_ZEXT(Z)) -> X = G_ZEXT(Z); Y = G_CONSTANT 0. More...

bool	applyCombineUnmergeZExtToZExt (MachineInstr &MI)

bool	matchCombineConstantFoldFpUnary (MachineInstr &MI, Optional< APFloat > &Cst)
	Transform fp_instr(cst) to constant result of the fp operation. More...

bool	applyCombineConstantFoldFpUnary (MachineInstr &MI, Optional< APFloat > &Cst)

bool	matchCombineI2PToP2I (MachineInstr &MI, Register &Reg)
	Transform IntToPtr(PtrToInt(x)) to x if cast is in the same address space. More...

bool	applyCombineI2PToP2I (MachineInstr &MI, Register &Reg)

bool	matchCombineP2IToI2P (MachineInstr &MI, Register &Reg)
	Transform PtrToInt(IntToPtr(x)) to x. More...

bool	applyCombineP2IToI2P (MachineInstr &MI, Register &Reg)

bool	matchCombineAddP2IToPtrAdd (MachineInstr &MI, std::pair< Register, bool > &PtrRegAndCommute)
	Transform G_ADD (G_PTRTOINT x), y -> G_PTRTOINT (G_PTR_ADD x, y) Transform G_ADD y, (G_PTRTOINT x) -> G_PTRTOINT (G_PTR_ADD x, y) More...

bool	applyCombineAddP2IToPtrAdd (MachineInstr &MI, std::pair< Register, bool > &PtrRegAndCommute)

bool	matchCombineConstPtrAddToI2P (MachineInstr &MI, int64_t &NewCst)

bool	applyCombineConstPtrAddToI2P (MachineInstr &MI, int64_t &NewCst)

bool	matchCombineAnyExtTrunc (MachineInstr &MI, Register &Reg)
	Transform anyext(trunc(x)) to x. More...

bool	applyCombineAnyExtTrunc (MachineInstr &MI, Register &Reg)

bool	matchCombineExtOfExt (MachineInstr &MI, std::tuple< Register, unsigned > &MatchInfo)
	Transform [asz]ext([asz]ext(x)) to [asz]ext x. More...

bool	applyCombineExtOfExt (MachineInstr &MI, std::tuple< Register, unsigned > &MatchInfo)

bool	matchCombineFNegOfFNeg (MachineInstr &MI, Register &Reg)
	Transform fneg(fneg(x)) to x. More...

bool	matchCombineFAbsOfFAbs (MachineInstr &MI, Register &Src)
	Match fabs(fabs(x)) to fabs(x). More...

bool	applyCombineFAbsOfFAbs (MachineInstr &MI, Register &Src)

bool	matchCombineTruncOfExt (MachineInstr &MI, std::pair< Register, unsigned > &MatchInfo)
	Transform trunc ([asz]ext x) to x or ([asz]ext x) or (trunc x). More...

bool	applyCombineTruncOfExt (MachineInstr &MI, std::pair< Register, unsigned > &MatchInfo)

bool	matchCombineTruncOfShl (MachineInstr &MI, std::pair< Register, Register > &MatchInfo)
	Transform trunc (shl x, K) to shl (trunc x), K => K < VT.getScalarSizeInBits(). More...

bool	applyCombineTruncOfShl (MachineInstr &MI, std::pair< Register, Register > &MatchInfo)

bool	applyCombineMulByNegativeOne (MachineInstr &MI)
	Transform G_MUL(x, -1) to G_SUB(0, x) More...

bool	matchAnyExplicitUseIsUndef (MachineInstr &MI)
	Return true if any explicit use operand on `MI` is defined by a G_IMPLICIT_DEF. More...

bool	matchAllExplicitUsesAreUndef (MachineInstr &MI)
	Return true if all register explicit use operands on `MI` are defined by a G_IMPLICIT_DEF. More...

bool	matchUndefShuffleVectorMask (MachineInstr &MI)
	Return true if a G_SHUFFLE_VECTOR instruction `MI` has an undef mask. More...

bool	matchUndefStore (MachineInstr &MI)
	Return true if a G_STORE instruction `MI` is storing an undef value. More...

bool	matchUndefSelectCmp (MachineInstr &MI)
	Return true if a G_SELECT instruction `MI` has an undef comparison. More...

bool	matchConstantSelectCmp (MachineInstr &MI, unsigned &OpIdx)
	Return true if a G_SELECT instruction `MI` has a constant comparison. More...

bool	replaceInstWithFConstant (MachineInstr &MI, double C)
	Replace an instruction with a G_FCONSTANT with value `C`. More...

bool	replaceInstWithConstant (MachineInstr &MI, int64_t C)
	Replace an instruction with a G_CONSTANT with value `C`. More...

bool	replaceInstWithUndef (MachineInstr &MI)
	Replace an instruction with a G_IMPLICIT_DEF. More...

bool	replaceSingleDefInstWithOperand (MachineInstr &MI, unsigned OpIdx)
	Delete `MI` and replace all of its uses with its `OpIdx-th` operand. More...

bool	replaceSingleDefInstWithReg (MachineInstr &MI, Register Replacement)
	Delete `MI` and replace all of its uses with `Replacement`. More...

bool	matchEqualDefs (const MachineOperand &MOP1, const MachineOperand &MOP2)
	Return true if `MOP1` and `MOP2` are register operands are defined by equivalent instructions. More...

bool	matchConstantOp (const MachineOperand &MOP, int64_t C)
	Return true if `MOP` is defined by a G_CONSTANT with a value equal to `C`. More...

bool	matchSelectSameVal (MachineInstr &MI)
	Optimize (cond ? x : x) -> x. More...

bool	matchBinOpSameVal (MachineInstr &MI)
	Optimize (x op x) -> x. More...

bool	matchOperandIsZero (MachineInstr &MI, unsigned OpIdx)
	Check if operand `OpIdx` is zero. More...

bool	matchOperandIsUndef (MachineInstr &MI, unsigned OpIdx)
	Check if operand `OpIdx` is undef. More...

bool	matchOperandIsKnownToBeAPowerOfTwo (MachineInstr &MI, unsigned OpIdx)
	Check if operand `OpIdx` is known to be a power of 2. More...

bool	eraseInst (MachineInstr &MI)
	Erase `MI`. More...

bool	matchSimplifyAddToSub (MachineInstr &MI, std::tuple< Register, Register > &MatchInfo)
	Return true if MI is a G_ADD which can be simplified to a G_SUB. More...

bool	applySimplifyAddToSub (MachineInstr &MI, std::tuple< Register, Register > &MatchInfo)

bool	matchHoistLogicOpWithSameOpcodeHands (MachineInstr &MI, InstructionStepsMatchInfo &MatchInfo)
	Match (logic_op (op x...), (op y...)) -> (op (logic_op x, y)) More...

bool	applyBuildInstructionSteps (MachineInstr &MI, InstructionStepsMatchInfo &MatchInfo)
	Replace `MI` with a series of instructions described in `MatchInfo`. More...

bool	matchAshrShlToSextInreg (MachineInstr &MI, std::tuple< Register, int64_t > &MatchInfo)
	Match ashr (shl x, C), C -> sext_inreg (C) More...

bool	applyAshShlToSextInreg (MachineInstr &MI, std::tuple< Register, int64_t > &MatchInfo)

bool	matchRedundantAnd (MachineInstr &MI, Register &Replacement)

bool	matchRedundantOr (MachineInstr &MI, Register &Replacement)

bool	matchRedundantSExtInReg (MachineInstr &MI)

bool	matchNotCmp (MachineInstr &MI, SmallVectorImpl< Register > &RegsToNegate)
	Combine inverting a result of a compare into the opposite cond code. More...

bool	applyNotCmp (MachineInstr &MI, SmallVectorImpl< Register > &RegsToNegate)

bool	matchXorOfAndWithSameReg (MachineInstr &MI, std::pair< Register, Register > &MatchInfo)
	Fold (xor (and x, y), y) -> (and (not x), y) {. More...

bool	applyXorOfAndWithSameReg (MachineInstr &MI, std::pair< Register, Register > &MatchInfo)

bool	matchPtrAddZero (MachineInstr &MI)
	} More...

bool	applyPtrAddZero (MachineInstr &MI)

bool	applySimplifyURemByPow2 (MachineInstr &MI)
	Combine G_UREM x, (known power of 2) to an add and bitmasking. More...

bool	matchCombineInsertVecElts (MachineInstr &MI, SmallVectorImpl< Register > &MatchInfo)

bool	applyCombineInsertVecElts (MachineInstr &MI, SmallVectorImpl< Register > &MatchInfo)

bool	tryCombine (MachineInstr &MI)
	Try to transform `MI` by using all of the above combine functions. More...

Protected Attributes
MachineIRBuilder &	Builder

MachineRegisterInfo &	MRI

GISelChangeObserver &	Observer

GISelKnownBits *	KB

MachineDominatorTree *	MDT

const LegalizerInfo *	LI

Detailed Description

Definition at line 88 of file CombinerHelper.h.

Constructor & Destructor Documentation

◆ CombinerHelper()

CombinerHelper::CombinerHelper	(	GISelChangeObserver &	Observer,
		MachineIRBuilder &	B,
		GISelKnownBits *	KB = `nullptr`,
		MachineDominatorTree *	MDT = `nullptr`,
		const LegalizerInfo *	LI = `nullptr`
	)

Definition at line 38 of file CombinerHelper.cpp.

Member Function Documentation

◆ applyAshShlToSextInreg()

bool CombinerHelper::applyAshShlToSextInreg	(	MachineInstr &	MI,
		std::tuple< Register, int64_t > &	MatchInfo
	)

Definition at line 2828 of file CombinerHelper.cpp.

References assert(), Builder, llvm::MachineIRBuilder::buildSExtInReg(), llvm::LLT::getScalarSizeInBits(), llvm::MachineRegisterInfo::getType(), MI, MRI, llvm::MachineIRBuilder::setInstrAndDebugLoc(), and llvm::Check::Size.

◆ applyBuildInstructionSteps()

bool CombinerHelper::applyBuildInstructionSteps	(	MachineInstr &	MI,
		InstructionStepsMatchInfo &	MatchInfo
	)

Replace MI with a series of instructions described in MatchInfo.

Definition at line 2795 of file CombinerHelper.cpp.

References assert(), Builder, llvm::MachineIRBuilder::buildInstr(), llvm::InstructionStepsMatchInfo::InstrsToBuild, MI, and llvm::MachineIRBuilder::setInstr().

◆ applyCombineAddP2IToPtrAdd()

bool CombinerHelper::applyCombineAddP2IToPtrAdd	(	MachineInstr &	MI,
		std::pair< Register, bool > &	PtrRegAndCommute
	)

Definition at line 2177 of file CombinerHelper.cpp.

References Builder, llvm::MachineIRBuilder::buildPtrAdd(), llvm::MachineIRBuilder::buildPtrToInt(), llvm::MachineRegisterInfo::getType(), MI, MRI, llvm::MachineIRBuilder::setInstrAndDebugLoc(), and std::swap().

◆ applyCombineAnyExtTrunc()

bool CombinerHelper::applyCombineAnyExtTrunc	(	MachineInstr &	MI,
		Register &	Reg
	)

Definition at line 2235 of file CombinerHelper.cpp.

References assert(), MI, MRI, Reg, and replaceRegWith().

◆ applyCombineConcatVectors()

void CombinerHelper::applyCombineConcatVectors	(	MachineInstr &	MI,
		bool	IsUndef,
		const ArrayRef< Register >	Ops
	)

Replace MI with a flattened build_vector with Ops or an implicit_def if IsUndef is true.

Definition at line 155 of file CombinerHelper.cpp.

References llvm::MachineIRBuilder::buildBuildVector(), Builder, llvm::MachineIRBuilder::buildUndef(), llvm::MachineRegisterInfo::cloneVirtualRegister(), MI, MRI, replaceRegWith(), and llvm::MachineIRBuilder::setInsertPt().

Referenced by tryCombineConcatVectors().

◆ applyCombineConstantFoldFpUnary()

bool CombinerHelper::applyCombineConstantFoldFpUnary	(	MachineInstr &	MI,
		Optional< APFloat > &	Cst
	)

Definition at line 1483 of file CombinerHelper.cpp.

References assert(), Builder, llvm::MachineIRBuilder::buildFConstant(), llvm::ConstantFP::get(), llvm::Function::getContext(), llvm::MachineFunction::getFunction(), llvm::MachineIRBuilder::getMF(), llvm::Optional< T >::hasValue(), MI, and llvm::MachineIRBuilder::setInstrAndDebugLoc().

◆ applyCombineConstPtrAddToI2P()

bool CombinerHelper::applyCombineConstPtrAddToI2P	(	MachineInstr &	MI,
		int64_t &	NewCst
	)

Definition at line 2215 of file CombinerHelper.cpp.

References assert(), llvm::MachineIRBuilder::buildConstant(), Builder, MI, and llvm::MachineIRBuilder::setInstrAndDebugLoc().

◆ applyCombineCopy()

void CombinerHelper::applyCombineCopy ( MachineInstr & MI )

Definition at line 93 of file CombinerHelper.cpp.

References MI, MRI, and replaceRegWith().

Referenced by tryCombineCopy().

◆ applyCombineExtendingLoads()

void CombinerHelper::applyCombineExtendingLoads	(	MachineInstr &	MI,
		PreferredTuple &	MatchInfo
	)

rewrites to:

Definition at line 450 of file CombinerHelper.cpp.

References Builder, llvm::MachineIRBuilder::buildTrunc(), llvm::GISelChangeObserver::changedInstr(), llvm::GISelChangeObserver::changingInstr(), llvm::MachineRegisterInfo::cloneVirtualRegister(), llvm::MachineInstr::eraseFromParent(), llvm::GISelChangeObserver::erasingInstr(), llvm::PreferredTuple::ExtendOpcode, llvm::MCInstrInfo::get(), llvm::MachineInstr::getOpcode(), llvm::MachineInstr::getOperand(), llvm::MachineOperand::getParent(), llvm::MachineOperand::getReg(), llvm::LLT::getSizeInBits(), llvm::MachineIRBuilder::getTII(), llvm::MachineRegisterInfo::getType(), llvm::DenseMapBase< DenseMap< KeyT, ValueT, KeyInfoT, BucketT >, KeyT, ValueT, KeyInfoT, BucketT >::lookup(), llvm::PreferredTuple::MI, MI, MRI, Observer, replaceRegOpWith(), replaceRegWith(), llvm::MachineIRBuilder::setInsertPt(), llvm::MachineOperand::setReg(), llvm::PreferredTuple::Ty, llvm::MachineRegisterInfo::use_operands(), UseMI, and Uses.

Referenced by tryCombineExtendingLoads().

◆ applyCombineExtOfExt()

bool CombinerHelper::applyCombineExtOfExt	(	MachineInstr &	MI,
		std::tuple< Register, unsigned > &	MatchInfo
	)

Definition at line 2264 of file CombinerHelper.cpp.

References assert(), Builder, llvm::MachineIRBuilder::buildInstr(), llvm::GISelChangeObserver::changedInstr(), llvm::GISelChangeObserver::changingInstr(), MI, Observer, Reg, and llvm::MachineIRBuilder::setInstrAndDebugLoc().

◆ applyCombineFAbsOfFAbs()

bool CombinerHelper::applyCombineFAbsOfFAbs	(	MachineInstr &	MI,
		Register &	Src
	)

Definition at line 2324 of file CombinerHelper.cpp.

References assert(), MI, MRI, and replaceRegWith().

◆ applyCombineI2PToP2I()

bool CombinerHelper::applyCombineI2PToP2I	(	MachineInstr &	MI,
		Register &	Reg
	)

Definition at line 2128 of file CombinerHelper.cpp.

References assert(), llvm::MachineIRBuilder::buildCopy(), Builder, MI, Reg, and llvm::MachineIRBuilder::setInstr().

◆ applyCombineIndexedLoadStore()

void CombinerHelper::applyCombineIndexedLoadStore	(	MachineInstr &	MI,
		IndexedLoadStoreMatchInfo &	MatchInfo
	)

Definition at line 842 of file CombinerHelper.cpp.

References llvm::MachineInstrBuilder::addDef(), llvm::MachineInstrBuilder::addImm(), llvm::IndexedLoadStoreMatchInfo::Addr, llvm::MachineInstrBuilder::addUse(), llvm::IndexedLoadStoreMatchInfo::Base, llvm::MachineIRBuilder::buildInstr(), llvm::dbgs(), llvm::MachineInstr::eraseFromParent(), llvm::MachineRegisterInfo::getUniqueVRegDef(), llvm::IndexedLoadStoreMatchInfo::IsPre, LLVM_DEBUG, llvm_unreachable, MI, MRI, and llvm::IndexedLoadStoreMatchInfo::Offset.

Referenced by tryCombineIndexedLoadStore().

◆ applyCombineInsertVecElts()

bool CombinerHelper::applyCombineInsertVecElts	(	MachineInstr &	MI,
		SmallVectorImpl< Register > &	MatchInfo
	)

Definition at line 2674 of file CombinerHelper.cpp.

References llvm::MachineIRBuilder::buildBuildVector(), Builder, llvm::MachineIRBuilder::buildUndef(), getReg(), llvm::LLT::getScalarType(), llvm::MachineRegisterInfo::getType(), I, MI, MRI, llvm::MachineIRBuilder::setInstr(), and llvm::SmallVectorBase< SmallVectorSizeType< T > >::size().

◆ applyCombineMulByNegativeOne()

bool CombinerHelper::applyCombineMulByNegativeOne ( MachineInstr & MI )

Transform G_MUL(x, -1) to G_SUB(0, x)

Definition at line 2298 of file CombinerHelper.cpp.

References assert(), llvm::MachineIRBuilder::buildConstant(), Builder, llvm::MachineIRBuilder::buildSub(), llvm::MachineRegisterInfo::getType(), MI, MRI, and llvm::MachineIRBuilder::setInstrAndDebugLoc().

◆ applyCombineMulToShl()

bool CombinerHelper::applyCombineMulToShl	(	MachineInstr &	MI,
		unsigned &	ShiftVal
	)

Definition at line 1748 of file CombinerHelper.cpp.

References assert(), llvm::GISelChangeObserver::changedInstr(), llvm::GISelChangeObserver::changingInstr(), llvm::MachineRegisterInfo::getType(), MI, MRI, and Observer.

◆ applyCombineP2IToI2P()

bool CombinerHelper::applyCombineP2IToI2P	(	MachineInstr &	MI,
		Register &	Reg
	)

Definition at line 2143 of file CombinerHelper.cpp.

References assert(), Builder, llvm::MachineIRBuilder::buildZExtOrTrunc(), MI, Reg, and llvm::MachineIRBuilder::setInstr().

◆ applyCombineShiftToUnmerge()

bool CombinerHelper::applyCombineShiftToUnmerge	(	MachineInstr &	MI,
		const unsigned &	ShiftVal
	)

◆ applyCombineShlOfExtend()

bool CombinerHelper::applyCombineShlOfExtend	(	MachineInstr &	MI,
		const RegisterImmPair &	MatchData
	)

Definition at line 1799 of file CombinerHelper.cpp.

References llvm::MachineIRBuilder::buildConstant(), Builder, llvm::MachineIRBuilder::buildShl(), llvm::MachineIRBuilder::buildZExt(), llvm::MachineRegisterInfo::getType(), llvm::RegisterImmPair::Imm, MI, MRI, llvm::RegisterImmPair::Reg, and llvm::MachineIRBuilder::setInstrAndDebugLoc().

◆ applyCombineShuffleVector()

void CombinerHelper::applyCombineShuffleVector	(	MachineInstr &	MI,
		const ArrayRef< Register >	Ops
	)

Replace MI with a concat_vectors with Ops.

Definition at line 262 of file CombinerHelper.cpp.

References llvm::MachineIRBuilder::buildCopy(), Builder, llvm::MachineIRBuilder::buildMerge(), llvm::MachineRegisterInfo::cloneVirtualRegister(), MI, MRI, replaceRegWith(), llvm::MachineIRBuilder::setInsertPt(), and llvm::ArrayRef< T >::size().

Referenced by tryCombineShuffleVector().

◆ applyCombineTruncOfExt()

bool CombinerHelper::applyCombineTruncOfExt	(	MachineInstr &	MI,
		std::pair< Register, unsigned > &	MatchInfo
	)

Definition at line 2346 of file CombinerHelper.cpp.

References assert(), Builder, llvm::MachineIRBuilder::buildInstr(), llvm::MachineIRBuilder::buildTrunc(), llvm::LLT::getSizeInBits(), llvm::MachineRegisterInfo::getType(), MI, MRI, replaceRegWith(), and llvm::MachineIRBuilder::setInstrAndDebugLoc().

◆ applyCombineTruncOfShl()

bool CombinerHelper::applyCombineTruncOfShl	(	MachineInstr &	MI,
		std::pair< Register, Register > &	MatchInfo
	)

Definition at line 2392 of file CombinerHelper.cpp.

References assert(), Builder, llvm::MachineIRBuilder::buildShl(), llvm::MachineIRBuilder::buildTrunc(), llvm::MachineInstr::getFlags(), llvm::MachineRegisterInfo::getType(), llvm::MachineRegisterInfo::getVRegDef(), MI, MRI, and llvm::MachineIRBuilder::setInstrAndDebugLoc().

◆ applyCombineUnmergeConstant()

bool CombinerHelper::applyCombineUnmergeConstant	(	MachineInstr &	MI,
		SmallVectorImpl< APInt > &	Csts
	)

Definition at line 1898 of file CombinerHelper.cpp.

References assert(), llvm::MachineIRBuilder::buildConstant(), Builder, MI, llvm::MachineIRBuilder::setInstrAndDebugLoc(), and llvm::SmallVectorBase< SmallVectorSizeType< T > >::size().

◆ applyCombineUnmergeMergeToPlainValues()

bool CombinerHelper::applyCombineUnmergeMergeToPlainValues	(	MachineInstr &	MI,
		SmallVectorImpl< Register > &	Operands
	)

Definition at line 1849 of file CombinerHelper.cpp.

References assert(), llvm::MachineIRBuilder::buildCast(), Builder, llvm::MachineRegisterInfo::getType(), MI, MRI, Operands, replaceRegWith(), and llvm::MachineIRBuilder::setInstrAndDebugLoc().

◆ applyCombineUnmergeWithDeadLanesToTrunc()

bool CombinerHelper::applyCombineUnmergeWithDeadLanesToTrunc ( MachineInstr & MI )

Definition at line 1926 of file CombinerHelper.cpp.

References llvm::MachineIRBuilder::buildCast(), Builder, llvm::MachineIRBuilder::buildTrunc(), llvm::MachineInstrBuilder::getReg(), getReg(), llvm::LLT::getSizeInBits(), llvm::MachineRegisterInfo::getType(), llvm::LLT::isVector(), MI, MRI, llvm::LLT::scalar(), and llvm::MachineIRBuilder::setInstrAndDebugLoc().

◆ applyCombineUnmergeZExtToZExt()

bool CombinerHelper::applyCombineUnmergeZExtToZExt ( MachineInstr & MI )

Definition at line 1974 of file CombinerHelper.cpp.

References assert(), llvm::MachineIRBuilder::buildConstant(), Builder, llvm::MachineIRBuilder::buildZExt(), llvm::MachineInstr::getOpcode(), llvm::MachineInstr::getOperand(), llvm::MachineInstrBuilder::getReg(), llvm::MachineOperand::getReg(), getReg(), llvm::LLT::getSizeInBits(), llvm::MachineRegisterInfo::getType(), llvm::MachineRegisterInfo::getVRegDef(), MI, MRI, replaceRegWith(), and llvm::MachineIRBuilder::setInstrAndDebugLoc().

◆ applyNotCmp()

bool CombinerHelper::applyNotCmp	(	MachineInstr &	MI,
		SmallVectorImpl< Register > &	RegsToNegate
	)

Definition at line 3034 of file CombinerHelper.cpp.

References Builder, llvm::GISelChangeObserver::changedInstr(), llvm::GISelChangeObserver::changingInstr(), llvm::tgtok::Def, llvm::MCInstrInfo::get(), llvm::CmpInst::getInversePredicate(), llvm::MachineOperand::getPredicate(), llvm::MachineIRBuilder::getTII(), llvm::MachineRegisterInfo::getVRegDef(), llvm_unreachable, MI, MRI, Observer, Reg, replaceRegWith(), and llvm::MachineOperand::setPredicate().

◆ applyOptBrCondByInvertingCond()

void CombinerHelper::applyOptBrCondByInvertingCond ( MachineInstr & MI )

◆ applyPtrAddImmedChain()

bool CombinerHelper::applyPtrAddImmedChain	(	MachineInstr &	MI,
		PtrAddChain &	MatchInfo
	)

Definition at line 1528 of file CombinerHelper.cpp.

References assert(), llvm::PtrAddChain::Base, llvm::GISelChangeObserver::changedInstr(), llvm::GISelChangeObserver::changingInstr(), llvm::MachineRegisterInfo::getType(), llvm::PtrAddChain::Imm, MI, MRI, and Observer.

◆ applyPtrAddZero()

bool CombinerHelper::applyPtrAddZero ( MachineInstr & MI )

Definition at line 3131 of file CombinerHelper.cpp.

References assert(), Builder, llvm::MachineIRBuilder::buildIntToPtr(), MI, and llvm::MachineIRBuilder::setInstrAndDebugLoc().

◆ applySextInRegOfLoad()

bool CombinerHelper::applySextInRegOfLoad	(	MachineInstr &	MI,
		std::tuple< Register, unsigned > &	MatchInfo
	)

Definition at line 657 of file CombinerHelper.cpp.

References assert(), Builder, llvm::MachineIRBuilder::buildLoadInstr(), llvm::MachineFunction::getMachineMemOperand(), llvm::MachineIRBuilder::getMF(), llvm::MachineRegisterInfo::getVRegDef(), MI, MRI, and llvm::MachineIRBuilder::setInstrAndDebugLoc().

◆ applySextTruncSextLoad()

bool CombinerHelper::applySextTruncSextLoad ( MachineInstr & MI )

Definition at line 614 of file CombinerHelper.cpp.

References assert(), llvm::MachineIRBuilder::buildCopy(), Builder, MI, and llvm::MachineIRBuilder::setInstrAndDebugLoc().

◆ applyShiftImmedChain()

bool CombinerHelper::applyShiftImmedChain	(	MachineInstr &	MI,
		RegisterImmPair &	MatchInfo
	)

Definition at line 1586 of file CombinerHelper.cpp.

References assert(), llvm::MachineIRBuilder::buildConstant(), Builder, llvm::GISelChangeObserver::changedInstr(), llvm::GISelChangeObserver::changingInstr(), llvm::MachineInstrBuilder::getReg(), llvm::LLT::getScalarSizeInBits(), llvm::MachineRegisterInfo::getType(), llvm::RegisterImmPair::Imm, MI, MRI, Observer, llvm::RegisterImmPair::Reg, and llvm::MachineIRBuilder::setInstrAndDebugLoc().

◆ applyShiftOfShiftedLogic()

bool CombinerHelper::applyShiftOfShiftedLogic	(	MachineInstr &	MI,
		ShiftOfShiftedLogic &	MatchInfo
	)

◆ applySimplifyAddToSub()

bool CombinerHelper::applySimplifyAddToSub	(	MachineInstr &	MI,
		std::tuple< Register, Register > &	MatchInfo
	)

Definition at line 2694 of file CombinerHelper.cpp.

References Builder, llvm::MachineIRBuilder::buildSub(), MI, and llvm::MachineIRBuilder::setInstr().

◆ applySimplifyURemByPow2()

bool CombinerHelper::applySimplifyURemByPow2 ( MachineInstr & MI )

Combine G_UREM x, (known power of 2) to an add and bitmasking.

The second source operand is known to be a power of 2.

Definition at line 3140 of file CombinerHelper.cpp.

References llvm::Add, llvm::MachineIRBuilder::buildAdd(), llvm::MachineIRBuilder::buildAnd(), llvm::MachineIRBuilder::buildConstant(), Builder, llvm::MachineRegisterInfo::getType(), MI, MRI, and llvm::MachineIRBuilder::setInstrAndDebugLoc().

◆ applyXorOfAndWithSameReg()

bool CombinerHelper::applyXorOfAndWithSameReg	(	MachineInstr &	MI,
		std::pair< Register, Register > &	MatchInfo
	)

Definition at line 3098 of file CombinerHelper.cpp.

References Builder, llvm::MachineIRBuilder::buildNot(), llvm::GISelChangeObserver::changedInstr(), llvm::GISelChangeObserver::changingInstr(), llvm::MCInstrInfo::get(), llvm::MachineIRBuilder::getTII(), llvm::MachineRegisterInfo::getType(), MI, MRI, Observer, llvm::MachineIRBuilder::setInstrAndDebugLoc(), X, and Y.

◆ dominates()

bool CombinerHelper::dominates	(	const MachineInstr &	DefMI,
		const MachineInstr &	UseMI
	)

Returns true if DefMI dominates UseMI.

By definition an instruction dominates itself.

If we haven't been provided with a MachineDominatorTree during construction, this function returns a conservative result that tracks just a single basic block.

Definition at line 576 of file CombinerHelper.cpp.

References assert(), DefMI, llvm::MachineDominatorTree::dominates(), isPredecessor(), MDT, and UseMI.

◆ eraseInst()

bool CombinerHelper::eraseInst ( MachineInstr & MI )

Erase MI.

Definition at line 2451 of file CombinerHelper.cpp.

References MI.

◆ getKnownBits()

GISelKnownBits* llvm::CombinerHelper::getKnownBits ( ) const

inline

Definition at line 103 of file CombinerHelper.h.

References KB.

◆ getTargetLowering()

const TargetLowering & CombinerHelper::getTargetLowering ( ) const

Definition at line 47 of file CombinerHelper.cpp.

References Builder, llvm::MachineIRBuilder::getMF(), llvm::MachineFunction::getSubtarget(), and llvm::TargetSubtargetInfo::getTargetLowering().

Referenced by applyOptBrCondByInvertingCond(), matchCombineShlOfExtend(), and matchCombineTruncOfShl().

◆ isLegalOrBeforeLegalizer()

bool CombinerHelper::isLegalOrBeforeLegalizer ( const LegalityQuery & Query ) const

Returns: true if the combine is running prior to legalization, or if Query is legal on the target.

Definition at line 51 of file CombinerHelper.cpp.

References llvm::LegalizeActionStep::Action, llvm::LegalizerInfo::getAction(), llvm::LegalizeActions::Legal, and LI.

Referenced by matchAshrShlToSextInreg(), matchCombineShlOfExtend(), matchCombineTruncOfShl(), and matchHoistLogicOpWithSameOpcodeHands().

◆ isPredecessor()

bool CombinerHelper::isPredecessor	(	const MachineInstr &	DefMI,
		const MachineInstr &	UseMI
	)

Returns true if DefMI precedes UseMI or they are the same instruction.

Both must be in the same basic block.

Definition at line 560 of file CombinerHelper.cpp.

References assert(), DefMI, I, llvm_unreachable, and UseMI.

Referenced by dominates().

◆ matchAllExplicitUsesAreUndef()

bool CombinerHelper::matchAllExplicitUsesAreUndef ( MachineInstr & MI )

Return true if all register explicit use operands on MI are defined by a G_IMPLICIT_DEF.

Definition at line 2416 of file CombinerHelper.cpp.

References llvm::all_of(), llvm::getOpcodeDef(), MI, and MRI.

◆ matchAnyExplicitUseIsUndef()

bool CombinerHelper::matchAnyExplicitUseIsUndef ( MachineInstr & MI )

Return true if any explicit use operand on MI is defined by a G_IMPLICIT_DEF.

Definition at line 2409 of file CombinerHelper.cpp.

References llvm::any_of(), llvm::getOpcodeDef(), MI, and MRI.

◆ matchAshrShlToSextInreg()

bool CombinerHelper::matchAshrShlToSextInreg	(	MachineInstr &	MI,
		std::tuple< Register, int64_t > &	MatchInfo
	)

Match ashr (shl x, C), C -> sext_inreg (C)

Definition at line 2811 of file CombinerHelper.cpp.

References assert(), llvm::MachineRegisterInfo::getType(), isLegalOrBeforeLegalizer(), llvm::MIPatternMatch::m_GAShr(), llvm::MIPatternMatch::m_GShl(), llvm::MIPatternMatch::m_ICst(), llvm::MIPatternMatch::m_Reg(), MI, llvm::MIPatternMatch::mi_match(), and MRI.

◆ matchBinOpSameVal()

bool CombinerHelper::matchBinOpSameVal ( MachineInstr & MI )

Optimize (x op x) -> x.

Definition at line 2565 of file CombinerHelper.cpp.

References llvm::canReplaceReg(), matchEqualDefs(), MI, and MRI.

◆ matchCombineAddP2IToPtrAdd()

bool CombinerHelper::matchCombineAddP2IToPtrAdd	(	MachineInstr &	MI,
		std::pair< Register, bool > &	PtrRegAndCommute
	)

Transform G_ADD (G_PTRTOINT x), y -> G_PTRTOINT (G_PTR_ADD x, y) Transform G_ADD y, (G_PTRTOINT x) -> G_PTRTOINT (G_PTR_ADD x, y)

Definition at line 2152 of file CombinerHelper.cpp.

References assert(), llvm::LLT::getScalarSizeInBits(), llvm::MachineRegisterInfo::getType(), llvm::MIPatternMatch::m_GPtrToInt(), llvm::MIPatternMatch::m_Reg(), MI, llvm::MIPatternMatch::mi_match(), and MRI.

◆ matchCombineAnyExtTrunc()

bool CombinerHelper::matchCombineAnyExtTrunc	(	MachineInstr &	MI,
		Register &	Reg
	)

Transform anyext(trunc(x)) to x.

Definition at line 2226 of file CombinerHelper.cpp.

References assert(), llvm::MachineRegisterInfo::getType(), llvm::MIPatternMatch::m_all_of(), llvm::MIPatternMatch::m_GTrunc(), llvm::MIPatternMatch::m_Reg(), llvm::MIPatternMatch::m_SpecificType(), MI, llvm::MIPatternMatch::mi_match(), MRI, and Reg.

◆ matchCombineConcatVectors()

bool CombinerHelper::matchCombineConcatVectors	(	MachineInstr &	MI,
		bool &	IsUndef,
		SmallVectorImpl< Register > &	Ops
	)

Check if the G_CONCAT_VECTORS MI is undef or if it can be flattened into a build_vector.

In the first case IsUndef will be true. In the second case Ops will contain the operands needed to produce the flattened build_vector.

Precondition: MI.getOpcode() == G_CONCAT_VECTORS.

Definition at line 110 of file CombinerHelper.cpp.

References assert(), Builder, llvm::MachineIRBuilder::buildUndef(), llvm::tgtok::Def, llvm::LLT::getNumElements(), llvm::LLT::getScalarType(), llvm::MachineRegisterInfo::getType(), llvm::MachineRegisterInfo::getVRegDef(), MI, MRI, llvm::SmallVectorTemplateBase< T >::push_back(), Reg, llvm::MachineIRBuilder::setInsertPt(), and llvm::RegState::Undef.

Referenced by tryCombineConcatVectors().

◆ matchCombineConstantFoldFpUnary()

bool CombinerHelper::matchCombineConstantFoldFpUnary	(	MachineInstr &	MI,
		Optional< APFloat > &	Cst
	)

Transform fp_instr(cst) to constant result of the fp operation.

Definition at line 1474 of file CombinerHelper.cpp.

References constantFoldFpUnary(), llvm::MachineRegisterInfo::getType(), llvm::Optional< T >::hasValue(), MI, and MRI.

◆ matchCombineConstPtrAddToI2P()

bool CombinerHelper::matchCombineConstPtrAddToI2P	(	MachineInstr &	MI,
		int64_t &	NewCst
	)

Definition at line 2197 of file CombinerHelper.cpp.

References assert(), Builder, llvm::getConstantVRegSExtVal(), llvm::MachineIRBuilder::getMF(), llvm::MachineFunction::getRegInfo(), llvm::MIPatternMatch::m_GIntToPtr(), llvm::MIPatternMatch::m_ICst(), MI, llvm::MIPatternMatch::mi_match(), and MRI.

◆ matchCombineCopy()

bool CombinerHelper::matchCombineCopy ( MachineInstr & MI )

Definition at line 86 of file CombinerHelper.cpp.

References llvm::canReplaceReg(), MI, and MRI.

Referenced by tryCombineCopy().

◆ matchCombineExtendingLoads()

bool CombinerHelper::matchCombineExtendingLoads	(	MachineInstr &	MI,
		PreferredTuple &	MatchInfo
	)

Definition at line 371 of file CombinerHelper.cpp.

References llvm::LegalityQuery::MemDesc::AlignInBits, assert(), llvm::LegalizerInfo::getAction(), llvm::MachineInstrBuilder::getReg(), llvm::MachineRegisterInfo::getType(), llvm::isPowerOf2_32(), llvm::LegalizeActions::Legal, LI, MI, MRI, llvm::LegalityQuery::MemDesc::Ordering, llvm::LegalityQuery::MemDesc::SizeInBits, llvm::MachineRegisterInfo::use_nodbg_instructions(), and UseMI.

Referenced by tryCombineExtendingLoads().

◆ matchCombineExtOfExt()

bool CombinerHelper::matchCombineExtOfExt	(	MachineInstr &	MI,
		std::tuple< Register, unsigned > &	MatchInfo
	)

Transform [asz]ext([asz]ext(x)) to [asz]ext x.

Definition at line 2243 of file CombinerHelper.cpp.

References assert(), llvm::MachineInstr::getOpcode(), llvm::MachineInstr::getOperand(), llvm::MachineOperand::getReg(), llvm::MachineRegisterInfo::getVRegDef(), MI, and MRI.

◆ matchCombineFAbsOfFAbs()

bool CombinerHelper::matchCombineFAbsOfFAbs	(	MachineInstr &	MI,
		Register &	Src
	)

Match fabs(fabs(x)) to fabs(x).

Definition at line 2317 of file CombinerHelper.cpp.

References assert(), llvm::MIPatternMatch::m_GFabs(), llvm::MIPatternMatch::m_Reg(), MI, llvm::MIPatternMatch::mi_match(), and MRI.

◆ matchCombineFNegOfFNeg()

bool CombinerHelper::matchCombineFNegOfFNeg	(	MachineInstr &	MI,
		Register &	Reg
	)

Transform fneg(fneg(x)) to x.

Definition at line 2311 of file CombinerHelper.cpp.

References assert(), llvm::MIPatternMatch::m_GFNeg(), llvm::MIPatternMatch::m_Reg(), MI, llvm::MIPatternMatch::mi_match(), MRI, and Reg.

◆ matchCombineI2PToP2I()

bool CombinerHelper::matchCombineI2PToP2I	(	MachineInstr &	MI,
		Register &	Reg
	)

Transform IntToPtr(PtrToInt(x)) to x if cast is in the same address space.

Definition at line 2119 of file CombinerHelper.cpp.

References assert(), llvm::MachineRegisterInfo::getType(), llvm::MIPatternMatch::m_all_of(), llvm::MIPatternMatch::m_GPtrToInt(), llvm::MIPatternMatch::m_Reg(), llvm::MIPatternMatch::m_SpecificType(), MI, llvm::MIPatternMatch::mi_match(), MRI, and Reg.

◆ matchCombineIndexedLoadStore()

bool CombinerHelper::matchCombineIndexedLoadStore	(	MachineInstr &	MI,
		IndexedLoadStoreMatchInfo &	MatchInfo
	)

Definition at line 821 of file CombinerHelper.cpp.

References llvm::IndexedLoadStoreMatchInfo::Addr, llvm::IndexedLoadStoreMatchInfo::Base, ForceLegalIndexing, llvm::IndexedLoadStoreMatchInfo::IsPre, MI, and llvm::IndexedLoadStoreMatchInfo::Offset.

Referenced by tryCombineIndexedLoadStore().

◆ matchCombineInsertVecElts()

bool CombinerHelper::matchCombineInsertVecElts	(	MachineInstr &	MI,
		SmallVectorImpl< Register > &	MatchInfo
	)

◆ matchCombineMulToShl()

bool CombinerHelper::matchCombineMulToShl	(	MachineInstr &	MI,
		unsigned &	ShiftVal
	)

Transform a multiply by a power-of-2 value to a left shift.

Definition at line 1736 of file CombinerHelper.cpp.

References assert(), llvm::getConstantVRegValWithLookThrough(), MI, and MRI.

◆ matchCombineP2IToI2P()

bool CombinerHelper::matchCombineP2IToI2P	(	MachineInstr &	MI,
		Register &	Reg
	)

Transform PtrToInt(IntToPtr(x)) to x.

Definition at line 2137 of file CombinerHelper.cpp.

References assert(), llvm::MIPatternMatch::m_GIntToPtr(), llvm::MIPatternMatch::m_Reg(), MI, llvm::MIPatternMatch::mi_match(), MRI, and Reg.

◆ matchCombineShiftToUnmerge()

bool CombinerHelper::matchCombineShiftToUnmerge	(	MachineInstr &	MI,
		unsigned	TargetShiftSize,
		unsigned &	ShiftVal
	)

Reduce a shift by a constant to an unmerge and a shift on a half sized type.

This will not produce a shift smaller than TargetShiftSize.

Definition at line 2009 of file CombinerHelper.cpp.

References assert(), llvm::getConstantVRegValWithLookThrough(), llvm::LLT::getSizeInBits(), llvm::MachineRegisterInfo::getType(), llvm::LLT::isVector(), MI, MRI, and llvm::Check::Size.

Referenced by tryCombineShiftToUnmerge().

◆ matchCombineShlOfExtend()

bool CombinerHelper::matchCombineShlOfExtend	(	MachineInstr &	MI,
		RegisterImmPair &	MatchData
	)

◆ matchCombineShuffleVector()

bool CombinerHelper::matchCombineShuffleVector	(	MachineInstr &	MI,
		SmallVectorImpl< Register > &	Ops
	)

Check if the G_SHUFFLE_VECTOR MI can be replaced by a concat_vectors.

Ops will contain the operands needed to produce the flattened concat_vectors.

Precondition: MI.getOpcode() == G_SHUFFLE_VECTOR.

Definition at line 186 of file CombinerHelper.cpp.

References assert(), Builder, llvm::MachineIRBuilder::buildUndef(), llvm::LLT::getNumElements(), llvm::MachineInstrBuilder::getReg(), llvm::MachineRegisterInfo::getType(), llvm::LLT::isVector(), llvm::BitmaskEnumDetail::Mask(), MI, MRI, llvm::SmallVectorTemplateBase< T >::push_back(), and llvm::MachineIRBuilder::setInsertPt().

Referenced by tryCombineShuffleVector().

◆ matchCombineTruncOfExt()

bool CombinerHelper::matchCombineTruncOfExt	(	MachineInstr &	MI,
		std::pair< Register, unsigned > &	MatchInfo
	)

Transform trunc ([asz]ext x) to x or ([asz]ext x) or (trunc x).

Definition at line 2332 of file CombinerHelper.cpp.

References assert(), llvm::MachineInstr::getOpcode(), llvm::MachineInstr::getOperand(), llvm::MachineOperand::getReg(), llvm::MachineRegisterInfo::getVRegDef(), MI, and MRI.

◆ matchCombineTruncOfShl()

bool CombinerHelper::matchCombineTruncOfShl	(	MachineInstr &	MI,
		std::pair< Register, Register > &	MatchInfo
	)

Transform trunc (shl x, K) to shl (trunc x), K => K < VT.getScalarSizeInBits().

Definition at line 2368 of file CombinerHelper.cpp.

References assert(), llvm::KnownBits::countMinLeadingZeros(), llvm::KnownBits::getBitWidth(), llvm::GISelKnownBits::getKnownBits(), llvm::TargetLoweringBase::getPreferredShiftAmountTy(), llvm::LLT::getSizeInBits(), getTargetLowering(), llvm::MachineRegisterInfo::getType(), llvm::MachineRegisterInfo::hasOneNonDBGUse(), isLegalOrBeforeLegalizer(), KB, llvm::Log2_32(), llvm::MIPatternMatch::m_GShl(), llvm::MIPatternMatch::m_Reg(), MI, llvm::MIPatternMatch::mi_match(), MRI, and llvm::Check::Size.

◆ matchCombineUnmergeConstant()

bool CombinerHelper::matchCombineUnmergeConstant	(	MachineInstr &	MI,
		SmallVectorImpl< APInt > &	Csts
	)

Transform G_UNMERGE Constant -> Constant1, Constant2, ...

Definition at line 1873 of file CombinerHelper.cpp.

References llvm::APFloat::bitcastToAPInt(), llvm::SmallVectorImpl< T >::emplace_back(), llvm::MachineOperand::getCImm(), llvm::MachineOperand::getFPImm(), llvm::MachineInstr::getOpcode(), llvm::MachineInstr::getOperand(), llvm::LLT::getSizeInBits(), llvm::MachineRegisterInfo::getType(), llvm::ConstantInt::getValue(), llvm::ConstantFP::getValueAPF(), llvm::MachineRegisterInfo::getVRegDef(), llvm::APInt::lshr(), MI, MRI, and llvm::APInt::trunc().

◆ matchCombineUnmergeMergeToPlainValues()

bool CombinerHelper::matchCombineUnmergeMergeToPlainValues	(	MachineInstr &	MI,
		SmallVectorImpl< Register > &	Operands
	)

Transform <ty,...> G_UNMERGE(G_MERGE ty X, Y, Z) -> ty X, Y, Z.

Definition at line 1822 of file CombinerHelper.cpp.

References assert(), getReg(), llvm::LLT::getSizeInBits(), llvm::MachineRegisterInfo::getType(), llvm::MachineRegisterInfo::getVRegDef(), MI, MRI, Operands, and peekThroughBitcast().

◆ matchCombineUnmergeWithDeadLanesToTrunc()

bool CombinerHelper::matchCombineUnmergeWithDeadLanesToTrunc ( MachineInstr & MI )

Transform X, Y<dead> = G_UNMERGE Z -> X = G_TRUNC Z.

Definition at line 1915 of file CombinerHelper.cpp.

References assert(), MI, MRI, and llvm::MachineRegisterInfo::use_nodbg_empty().

◆ matchCombineUnmergeZExtToZExt()

bool CombinerHelper::matchCombineUnmergeZExtToZExt ( MachineInstr & MI )

Transform X, Y = G_UNMERGE(G_ZEXT(Z)) -> X = G_ZEXT(Z); Y = G_CONSTANT 0.

Definition at line 1948 of file CombinerHelper.cpp.

References assert(), getReg(), llvm::LLT::getSizeInBits(), llvm::MachineRegisterInfo::getType(), llvm::LLT::isVector(), llvm::MIPatternMatch::m_GZExt(), llvm::MIPatternMatch::m_Reg(), MI, llvm::MIPatternMatch::mi_match(), and MRI.

◆ matchConstantOp()

bool CombinerHelper::matchConstantOp	(	const MachineOperand &	MOP,
		int64_t	C
	)

Return true if MOP is defined by a G_CONSTANT with a value equal to C.

Definition at line 2528 of file CombinerHelper.cpp.

References C, llvm::getConstantVRegValWithLookThrough(), llvm::MachineOperand::getReg(), llvm::MachineOperand::isReg(), and MRI.

Referenced by matchOperandIsZero().

◆ matchConstantSelectCmp()

bool CombinerHelper::matchConstantSelectCmp	(	MachineInstr &	MI,
		unsigned &	OpIdx
	)

Return true if a G_SELECT instruction MI has a constant comparison.

If true, OpIdx will store the operand index of the known selected value.

Definition at line 2441 of file CombinerHelper.cpp.

References assert(), llvm::getConstantVRegValWithLookThrough(), MI, and MRI.

◆ matchEqualDefs()

bool CombinerHelper::matchEqualDefs	(	const MachineOperand &	MOP1,
		const MachineOperand &	MOP2
	)

Return true if MOP1 and MOP2 are register operands are defined by equivalent instructions.

Definition at line 2456 of file CombinerHelper.cpp.

References llvm::any_of(), Builder, llvm::getDefIgnoringCopies(), llvm::MachineOperand::getReg(), llvm::MachineIRBuilder::getTII(), llvm::MachineInstr::isDereferenceableInvariantLoad(), llvm::MachineInstr::isIdenticalTo(), llvm::MachineOperand::isReg(), llvm::MachineInstr::mayLoadOrStore(), MRI, llvm::TargetInstrInfo::produceSameValue(), and llvm::MachineInstr::uses().

Referenced by matchBinOpSameVal(), matchHoistLogicOpWithSameOpcodeHands(), and matchSelectSameVal().

◆ matchHoistLogicOpWithSameOpcodeHands()

bool CombinerHelper::matchHoistLogicOpWithSameOpcodeHands	(	MachineInstr &	MI,
		InstructionStepsMatchInfo &	MatchInfo
	)

Match (logic_op (op x...), (op y...)) -> (op (logic_op x, y))

Definition at line 2704 of file CombinerHelper.cpp.

References assert(), llvm::MachineRegisterInfo::createGenericVirtualRegister(), llvm::getDefIgnoringCopies(), llvm::MachineInstr::getOpcode(), llvm::MachineInstr::getOperand(), llvm::MachineOperand::getReg(), llvm::MachineRegisterInfo::getType(), llvm::MachineRegisterInfo::hasOneNonDBGUse(), isLegalOrBeforeLegalizer(), llvm::MachineOperand::isReg(), llvm::Register::isValid(), matchEqualDefs(), MI, MRI, llvm::SmallVectorTemplateBase< T, bool >::push_back(), X, and Y.

◆ matchNotCmp()

bool CombinerHelper::matchNotCmp	(	MachineInstr &	MI,
		SmallVectorImpl< Register > &	RegsToNegate
	)

Combine inverting a result of a compare into the opposite cond code.

Definition at line 2957 of file CombinerHelper.cpp.

References assert(), Builder, llvm::tgtok::Def, llvm::getBuildVectorConstantSplat(), llvm::MachineIRBuilder::getMF(), llvm::MachineFunction::getSubtarget(), llvm::TargetSubtargetInfo::getTargetLowering(), llvm::MachineRegisterInfo::getType(), llvm::MachineRegisterInfo::getVRegDef(), llvm::MachineRegisterInfo::hasOneNonDBGUse(), I, isConstValidTrue(), llvm::MIPatternMatch::m_GXor(), llvm::MIPatternMatch::m_ICst(), llvm::MIPatternMatch::m_Reg(), MI, llvm::MIPatternMatch::mi_match(), MRI, llvm::SmallVectorTemplateBase< T >::push_back(), Reg, and llvm::SmallVectorBase< SmallVectorSizeType< T > >::size().

◆ matchOperandIsKnownToBeAPowerOfTwo()

bool CombinerHelper::matchOperandIsKnownToBeAPowerOfTwo	(	MachineInstr &	MI,
		unsigned	OpIdx
	)

Check if operand OpIdx is known to be a power of 2.

Definition at line 2583 of file CombinerHelper.cpp.

References llvm::MachineOperand::getReg(), llvm::isKnownToBeAPowerOfTwo(), KB, MI, and MRI.

◆ matchOperandIsUndef()

bool CombinerHelper::matchOperandIsUndef	(	MachineInstr &	MI,
		unsigned	OpIdx
	)

Check if operand OpIdx is undef.

Definition at line 2577 of file CombinerHelper.cpp.

References llvm::getOpcodeDef(), llvm::MachineOperand::getReg(), llvm::MachineOperand::isReg(), MI, and MRI.

◆ matchOperandIsZero()

bool CombinerHelper::matchOperandIsZero	(	MachineInstr &	MI,
		unsigned	OpIdx
	)

Check if operand OpIdx is zero.

Definition at line 2571 of file CombinerHelper.cpp.

References llvm::canReplaceReg(), matchConstantOp(), MI, and MRI.

◆ matchOptBrCondByInvertingCond()

bool CombinerHelper::matchOptBrCondByInvertingCond ( MachineInstr & MI )

If a brcond's true block is not the fallthrough, make it so by inverting the condition and swapping operands.

Definition at line 884 of file CombinerHelper.cpp.

References assert(), llvm::MachineBasicBlock::begin(), llvm::MachineBasicBlock::end(), llvm::MachineBasicBlock::isLayoutSuccessor(), MBB, and MI.

◆ matchPtrAddImmedChain()

bool CombinerHelper::matchPtrAddImmedChain	(	MachineInstr &	MI,
		PtrAddChain &	MatchInfo
	)

Definition at line 1495 of file CombinerHelper.cpp.

References llvm::PtrAddChain::Base, llvm::getConstantVRegValWithLookThrough(), llvm::MachineInstr::getOpcode(), llvm::MachineInstr::getOperand(), llvm::MachineOperand::getReg(), llvm::MachineRegisterInfo::getUniqueVRegDef(), llvm::PtrAddChain::Imm, MI, and MRI.

◆ matchPtrAddZero()

bool CombinerHelper::matchPtrAddZero ( MachineInstr & MI )

}

Combine G_PTR_ADD with nullptr to G_INTTOPTR

Definition at line 3113 of file CombinerHelper.cpp.

References assert(), Builder, DL, llvm::LLT::getAddressSpace(), llvm::getConstantVRegVal(), llvm::MachineFunction::getDataLayout(), llvm::MachineIRBuilder::getMF(), llvm::LLT::getScalarType(), llvm::MachineRegisterInfo::getType(), llvm::MachineRegisterInfo::getVRegDef(), llvm::isBuildVectorAllZeros(), llvm::LLT::isPointer(), llvm::LLT::isVector(), MI, and MRI.

◆ matchRedundantAnd()

bool CombinerHelper::matchRedundantAnd	(	MachineInstr &	MI,
		Register &	Replacement
	)

Returns: true if MI is a G_AND instruction whose operands are x and y where x & y == x or x & y == y. (E.g., one of operands is all-ones value.)

Parameters

[in]	MI	- The G_AND instruction.
[out]	Replacement	- A register the G_AND should be replaced with on success.

Definition at line 2841 of file CombinerHelper.cpp.

References assert(), llvm::canReplaceReg(), llvm::GISelKnownBits::getKnownBits(), llvm::MachineRegisterInfo::getType(), llvm::LLT::isVector(), KB, MI, MRI, llvm::KnownBits::One, and llvm::KnownBits::Zero.

◆ matchRedundantOr()

bool CombinerHelper::matchRedundantOr	(	MachineInstr &	MI,
		Register &	Replacement
	)

Returns: true if MI is a G_OR instruction whose operands are x and y where x | y == x or x | y == y. (E.g., one of operands is all-zeros value.)

Parameters

[in]	MI	- The G_OR instruction.
[out]	Replacement	- A register the G_OR should be replaced with on success.

Definition at line 2896 of file CombinerHelper.cpp.

References assert(), llvm::canReplaceReg(), llvm::GISelKnownBits::getKnownBits(), llvm::MachineRegisterInfo::getType(), llvm::LLT::isVector(), KB, MI, MRI, llvm::KnownBits::One, and llvm::KnownBits::Zero.

◆ matchRedundantSExtInReg()

bool CombinerHelper::matchRedundantSExtInReg ( MachineInstr & MI )

Returns: true if MI is a G_SEXT_INREG that can be erased.

Definition at line 2942 of file CombinerHelper.cpp.

References llvm::GISelKnownBits::computeNumSignBits(), llvm::LLT::getScalarSizeInBits(), llvm::MachineRegisterInfo::getType(), KB, MI, and MRI.

◆ matchSelectSameVal()

bool CombinerHelper::matchSelectSameVal ( MachineInstr & MI )

Optimize (cond ? x : x) -> x.

Definition at line 2557 of file CombinerHelper.cpp.

References assert(), llvm::canReplaceReg(), matchEqualDefs(), MI, and MRI.

◆ matchSextInRegOfLoad()

bool CombinerHelper::matchSextInRegOfLoad	(	MachineInstr &	MI,
		std::tuple< Register, unsigned > &	MatchInfo
	)

Match sext_inreg(load p), imm -> sextload p.

Definition at line 622 of file CombinerHelper.cpp.

References assert(), llvm::getOpcodeDef(), llvm::MachineInstr::getOperand(), llvm::MachineOperand::getReg(), llvm::MachineRegisterInfo::getType(), llvm::MachineRegisterInfo::hasOneNonDBGUse(), llvm::isPowerOf2_32(), llvm::LegalityPredicates::isVector(), llvm::MachineInstr::memoperands_begin(), MI, llvm::min(), and MRI.

◆ matchSextTruncSextLoad()

bool CombinerHelper::matchSextTruncSextLoad ( MachineInstr & MI )

Definition at line 588 of file CombinerHelper.cpp.

References assert(), llvm::getOpcodeDef(), llvm::LLT::getSizeInBits(), llvm::MachineRegisterInfo::getType(), llvm::LLT::isVector(), llvm::MIPatternMatch::m_GTrunc(), llvm::MIPatternMatch::m_Reg(), MI, llvm::MIPatternMatch::mi_match(), and MRI.

◆ matchShiftImmedChain()

bool CombinerHelper::matchShiftImmedChain	(	MachineInstr &	MI,
		RegisterImmPair &	MatchInfo
	)

Fold (shift (shift base, x), y) -> (shift base (x+y))

Definition at line 1541 of file CombinerHelper.cpp.

References assert(), llvm::getConstantVRegValWithLookThrough(), llvm::MachineInstr::getOpcode(), llvm::MachineInstr::getOperand(), llvm::MachineOperand::getReg(), llvm::LLT::getScalarSizeInBits(), llvm::MachineRegisterInfo::getType(), llvm::MachineRegisterInfo::getUniqueVRegDef(), llvm::RegisterImmPair::Imm, MI, MRI, and llvm::RegisterImmPair::Reg.

◆ matchShiftOfShiftedLogic()

bool CombinerHelper::matchShiftOfShiftedLogic	(	MachineInstr &	MI,
		ShiftOfShiftedLogic &	MatchInfo
	)

If we have a shift-by-constant of a bitwise logic op that itself has a shift-by-constant operand with identical opcode, we may be able to convert that into 2 independent shifts followed by the logic op.

Definition at line 1620 of file CombinerHelper.cpp.

References assert(), llvm::getConstantVRegValWithLookThrough(), llvm::MachineInstr::getOpcode(), llvm::MachineInstr::getOperand(), llvm::MachineOperand::getReg(), llvm::LLT::getScalarSizeInBits(), llvm::MachineRegisterInfo::getType(), llvm::MachineRegisterInfo::getUniqueVRegDef(), llvm::MachineRegisterInfo::hasOneNonDBGUse(), llvm::ShiftOfShiftedLogic::Logic, llvm::ShiftOfShiftedLogic::LogicNonShiftReg, MI, MRI, llvm::ShiftOfShiftedLogic::Shift2, and llvm::ShiftOfShiftedLogic::ValSum.

◆ matchSimplifyAddToSub()

bool CombinerHelper::matchSimplifyAddToSub	(	MachineInstr &	MI,
		std::tuple< Register, Register > &	MatchInfo
	)

Return true if MI is a G_ADD which can be simplified to a G_SUB.

Definition at line 2613 of file CombinerHelper.cpp.

References llvm::MIPatternMatch::m_Neg(), llvm::MIPatternMatch::m_Reg(), MI, llvm::MIPatternMatch::mi_match(), and MRI.

◆ matchUndefSelectCmp()

bool CombinerHelper::matchUndefSelectCmp ( MachineInstr & MI )

Return true if a G_SELECT instruction MI has an undef comparison.

Definition at line 2435 of file CombinerHelper.cpp.

References assert(), llvm::getOpcodeDef(), MI, and MRI.

◆ matchUndefShuffleVectorMask()

bool CombinerHelper::matchUndefShuffleVectorMask ( MachineInstr & MI )

Return true if a G_SHUFFLE_VECTOR instruction MI has an undef mask.

Definition at line 2423 of file CombinerHelper.cpp.

References llvm::all_of(), assert(), llvm::BitmaskEnumDetail::Mask(), and MI.

◆ matchUndefStore()

bool CombinerHelper::matchUndefStore ( MachineInstr & MI )

Return true if a G_STORE instruction MI is storing an undef value.

Definition at line 2429 of file CombinerHelper.cpp.

References assert(), llvm::getOpcodeDef(), MI, and MRI.

◆ matchXorOfAndWithSameReg()

bool CombinerHelper::matchXorOfAndWithSameReg	(	MachineInstr &	MI,
		std::pair< Register, Register > &	MatchInfo
	)

Fold (xor (and x, y), y) -> (and (not x), y) {.

Definition at line 3067 of file CombinerHelper.cpp.

References assert(), llvm::MachineRegisterInfo::hasOneNonDBGUse(), llvm::MIPatternMatch::m_GAnd(), llvm::MIPatternMatch::m_Reg(), MI, llvm::MIPatternMatch::mi_match(), MRI, std::swap(), X, and Y.

◆ replaceInstWithConstant()

bool CombinerHelper::replaceInstWithConstant	(	MachineInstr &	MI,
		int64_t	C
	)

Replace an instruction with a G_CONSTANT with value C.

Definition at line 2597 of file CombinerHelper.cpp.

References assert(), llvm::MachineIRBuilder::buildConstant(), Builder, C, MI, and llvm::MachineIRBuilder::setInstr().

◆ replaceInstWithFConstant()

bool CombinerHelper::replaceInstWithFConstant	(	MachineInstr &	MI,
		double	C
	)

Replace an instruction with a G_FCONSTANT with value C.

Definition at line 2589 of file CombinerHelper.cpp.

References assert(), Builder, llvm::MachineIRBuilder::buildFConstant(), C, MI, and llvm::MachineIRBuilder::setInstr().

◆ replaceInstWithUndef()

bool CombinerHelper::replaceInstWithUndef ( MachineInstr & MI )

Replace an instruction with a G_IMPLICIT_DEF.

Definition at line 2605 of file CombinerHelper.cpp.

References assert(), Builder, llvm::MachineIRBuilder::buildUndef(), MI, and llvm::MachineIRBuilder::setInstr().

◆ replaceRegOpWith()

void CombinerHelper::replaceRegOpWith	(	MachineRegisterInfo &	MRI,
		MachineOperand &	FromRegOp,
		Register	ToReg
	)		const

Replace a single register operand with a new register and inform the observer of the changes.

Definition at line 68 of file CombinerHelper.cpp.

References assert(), llvm::GISelChangeObserver::changedInstr(), llvm::GISelChangeObserver::changingInstr(), llvm::MachineOperand::getParent(), Observer, and llvm::MachineOperand::setReg().

Referenced by applyCombineExtendingLoads().

◆ replaceRegWith()

void CombinerHelper::replaceRegWith	(	MachineRegisterInfo &	MRI,
		Register	FromReg,
		Register	ToReg
	)		const

◆ replaceSingleDefInstWithOperand()

bool CombinerHelper::replaceSingleDefInstWithOperand	(	MachineInstr &	MI,
		unsigned	OpIdx
	)

Delete MI and replace all of its uses with its OpIdx-th operand.

Definition at line 2536 of file CombinerHelper.cpp.

References assert(), llvm::canReplaceReg(), MI, MRI, and replaceRegWith().

◆ replaceSingleDefInstWithReg()

bool CombinerHelper::replaceSingleDefInstWithReg	(	MachineInstr &	MI,
		Register	Replacement
	)

Delete MI and replace all of its uses with Replacement.

Definition at line 2547 of file CombinerHelper.cpp.

References assert(), llvm::canReplaceReg(), MI, MRI, and replaceRegWith().

◆ tryCombine()

bool CombinerHelper::tryCombine ( MachineInstr & MI )

Try to transform MI by using all of the above combine functions.

Returns true if changed.

Definition at line 3155 of file CombinerHelper.cpp.

References MI, tryCombineCopy(), tryCombineExtendingLoads(), and tryCombineIndexedLoadStore().

◆ tryCombineConcatVectors()

bool CombinerHelper::tryCombineConcatVectors ( MachineInstr & MI )

If MI is G_CONCAT_VECTORS, try to combine it.

Returns true if MI changed. Right now, we support:

concat_vector(undef, undef) => undef
concat_vector(build_vector(A, B), build_vector(C, D)) => build_vector(A, B, C, D)

Precondition: MI.getOpcode() == G_CONCAT_VECTORS.

Definition at line 100 of file CombinerHelper.cpp.

References applyCombineConcatVectors(), matchCombineConcatVectors(), and MI.

◆ tryCombineCopy()

bool CombinerHelper::tryCombineCopy ( MachineInstr & MI )

If MI is COPY, try to combine it.

Returns true if MI changed.

Definition at line 79 of file CombinerHelper.cpp.

References applyCombineCopy(), matchCombineCopy(), and MI.

Referenced by tryCombine().

◆ tryCombineExtendingLoads()

bool CombinerHelper::tryCombineExtendingLoads ( MachineInstr & MI )

If MI is extend that consumes the result of a load, try to combine it.

Returns true if MI changed.

Definition at line 362 of file CombinerHelper.cpp.

References applyCombineExtendingLoads(), matchCombineExtendingLoads(), and MI.

Referenced by tryCombine().

◆ tryCombineIndexedLoadStore()

bool CombinerHelper::tryCombineIndexedLoadStore ( MachineInstr & MI )

Combine MI into a pre-indexed or post-indexed load/store operation if legal and the surrounding code makes it useful.

Definition at line 812 of file CombinerHelper.cpp.

References applyCombineIndexedLoadStore(), matchCombineIndexedLoadStore(), and MI.

Referenced by tryCombine().

◆ tryCombineMemCpyFamily()

bool CombinerHelper::tryCombineMemCpyFamily	(	MachineInstr &	MI,
		unsigned	MaxLen = `0`
	)

Optimize memcpy intrinsics et al, e.g.

constant len calls. /p MaxLen if non-zero specifies the max length of a mem libcall to inline.

For example (pre-indexed):

$addr = G_PTR_ADD $base, $offset
[...]
$val = G_LOAD $addr
[...]
$whatever = COPY $addr

-->

$val, $addr = G_INDEXED_LOAD $base, $offset, 1 (IsPre)
[...]
$whatever = COPY $addr

or (post-indexed):

G_STORE $val, $base
[...]
$addr = G_PTR_ADD $base, $offset
[...]
$whatever = COPY $addr

-->

$addr = G_INDEXED_STORE $val, $base, $offset
[...]
$whatever = COPY $addr

Definition at line 1383 of file CombinerHelper.cpp.

References assert(), llvm::getConstantVRegValWithLookThrough(), llvm::AMDGPU::HSAMD::Kernel::Arg::Key::IsVolatile, MI, and MRI.

◆ tryCombineShiftToUnmerge()

bool CombinerHelper::tryCombineShiftToUnmerge	(	MachineInstr &	MI,
		unsigned	TargetShiftAmount
	)

Definition at line 2108 of file CombinerHelper.cpp.

References applyCombineShiftToUnmerge(), matchCombineShiftToUnmerge(), and MI.

◆ tryCombineShuffleVector()

bool CombinerHelper::tryCombineShuffleVector ( MachineInstr & MI )

Try to combine G_SHUFFLE_VECTOR into G_CONCAT_VECTORS.

Returns true if MI changed.

Precondition: MI.getOpcode() == G_SHUFFLE_VECTOR.

Definition at line 177 of file CombinerHelper.cpp.

References applyCombineShuffleVector(), matchCombineShuffleVector(), and MI.

Member Data Documentation

◆ Builder

MachineIRBuilder& llvm::CombinerHelper::Builder

protected

Definition at line 90 of file CombinerHelper.h.

Referenced by applyAshShlToSextInreg(), applyBuildInstructionSteps(), applyCombineAddP2IToPtrAdd(), applyCombineConcatVectors(), applyCombineConstantFoldFpUnary(), applyCombineConstPtrAddToI2P(), applyCombineExtendingLoads(), applyCombineExtOfExt(), applyCombineI2PToP2I(), applyCombineInsertVecElts(), applyCombineMulByNegativeOne(), applyCombineP2IToI2P(), applyCombineShiftToUnmerge(), applyCombineShlOfExtend(), applyCombineShuffleVector(), applyCombineTruncOfExt(), applyCombineTruncOfShl(), applyCombineUnmergeConstant(), applyCombineUnmergeMergeToPlainValues(), applyCombineUnmergeWithDeadLanesToTrunc(), applyCombineUnmergeZExtToZExt(), applyNotCmp(), applyOptBrCondByInvertingCond(), applyPtrAddZero(), applySextInRegOfLoad(), applySextTruncSextLoad(), applyShiftImmedChain(), applyShiftOfShiftedLogic(), applySimplifyAddToSub(), applySimplifyURemByPow2(), applyXorOfAndWithSameReg(), getTargetLowering(), matchCombineConcatVectors(), matchCombineConstPtrAddToI2P(), matchCombineShuffleVector(), matchEqualDefs(), matchNotCmp(), matchPtrAddZero(), replaceInstWithConstant(), replaceInstWithFConstant(), replaceInstWithUndef(), and replaceRegWith().

◆ KB

GISelKnownBits* llvm::CombinerHelper::KB

protected

Definition at line 93 of file CombinerHelper.h.

Referenced by getKnownBits(), matchCombineShlOfExtend(), matchCombineTruncOfShl(), matchOperandIsKnownToBeAPowerOfTwo(), matchRedundantAnd(), matchRedundantOr(), and matchRedundantSExtInReg().

◆ LI

const LegalizerInfo* llvm::CombinerHelper::LI

protected

Definition at line 95 of file CombinerHelper.h.

Referenced by isLegalOrBeforeLegalizer(), matchCombineExtendingLoads(), and matchCombineShlOfExtend().

◆ MDT

MachineDominatorTree* llvm::CombinerHelper::MDT

protected

Definition at line 94 of file CombinerHelper.h.

Referenced by dominates().

◆ MRI

MachineRegisterInfo& llvm::CombinerHelper::MRI

protected

Definition at line 91 of file CombinerHelper.h.

Referenced by applyAshShlToSextInreg(), applyCombineAddP2IToPtrAdd(), applyCombineAnyExtTrunc(), applyCombineConcatVectors(), applyCombineCopy(), applyCombineExtendingLoads(), applyCombineFAbsOfFAbs(), applyCombineIndexedLoadStore(), applyCombineInsertVecElts(), applyCombineMulByNegativeOne(), applyCombineMulToShl(), applyCombineShiftToUnmerge(), applyCombineShlOfExtend(), applyCombineShuffleVector(), applyCombineTruncOfExt(), applyCombineTruncOfShl(), applyCombineUnmergeMergeToPlainValues(), applyCombineUnmergeWithDeadLanesToTrunc(), applyCombineUnmergeZExtToZExt(), applyNotCmp(), applyOptBrCondByInvertingCond(), applyPtrAddImmedChain(), applySextInRegOfLoad(), applyShiftImmedChain(), applyShiftOfShiftedLogic(), applySimplifyURemByPow2(), applyXorOfAndWithSameReg(), matchAllExplicitUsesAreUndef(), matchAnyExplicitUseIsUndef(), matchAshrShlToSextInreg(), matchBinOpSameVal(), matchCombineAddP2IToPtrAdd(), matchCombineAnyExtTrunc(), matchCombineConcatVectors(), matchCombineConstantFoldFpUnary(), matchCombineConstPtrAddToI2P(), matchCombineCopy(), matchCombineExtendingLoads(), matchCombineExtOfExt(), matchCombineFAbsOfFAbs(), matchCombineFNegOfFNeg(), matchCombineI2PToP2I(), matchCombineInsertVecElts(), matchCombineMulToShl(), matchCombineP2IToI2P(), matchCombineShiftToUnmerge(), matchCombineShlOfExtend(), matchCombineShuffleVector(), matchCombineTruncOfExt(), matchCombineTruncOfShl(), matchCombineUnmergeConstant(), matchCombineUnmergeMergeToPlainValues(), matchCombineUnmergeWithDeadLanesToTrunc(), matchCombineUnmergeZExtToZExt(), matchConstantOp(), matchConstantSelectCmp(), matchEqualDefs(), matchHoistLogicOpWithSameOpcodeHands(), matchNotCmp(), matchOperandIsKnownToBeAPowerOfTwo(), matchOperandIsUndef(), matchOperandIsZero(), matchPtrAddImmedChain(), matchPtrAddZero(), matchRedundantAnd(), matchRedundantOr(), matchRedundantSExtInReg(), matchSelectSameVal(), matchSextInRegOfLoad(), matchSextTruncSextLoad(), matchShiftImmedChain(), matchShiftOfShiftedLogic(), matchSimplifyAddToSub(), matchUndefSelectCmp(), matchUndefStore(), matchXorOfAndWithSameReg(), replaceRegWith(), replaceSingleDefInstWithOperand(), replaceSingleDefInstWithReg(), and tryCombineMemCpyFamily().

◆ Observer

GISelChangeObserver& llvm::CombinerHelper::Observer

protected

Definition at line 92 of file CombinerHelper.h.

Referenced by applyCombineExtendingLoads(), applyCombineExtOfExt(), applyCombineMulToShl(), applyNotCmp(), applyOptBrCondByInvertingCond(), applyPtrAddImmedChain(), applyShiftImmedChain(), applyXorOfAndWithSameReg(), replaceRegOpWith(), and replaceRegWith().

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

include/llvm/CodeGen/GlobalISel/CombinerHelper.h
lib/CodeGen/GlobalISel/CombinerHelper.cpp

Public Member Functions

Protected Attributes

Detailed Description

Constructor & Destructor Documentation

◆ CombinerHelper()

Member Function Documentation

◆ applyAshShlToSextInreg()

◆ applyBuildInstructionSteps()

◆ applyCombineAddP2IToPtrAdd()

◆ applyCombineAnyExtTrunc()

◆ applyCombineConcatVectors()

◆ applyCombineConstantFoldFpUnary()

◆ applyCombineConstPtrAddToI2P()

◆ applyCombineCopy()

◆ applyCombineExtendingLoads()

◆ applyCombineExtOfExt()

◆ applyCombineFAbsOfFAbs()

◆ applyCombineI2PToP2I()

◆ applyCombineIndexedLoadStore()

◆ applyCombineInsertVecElts()

◆ applyCombineMulByNegativeOne()

◆ applyCombineMulToShl()

◆ applyCombineP2IToI2P()

◆ applyCombineShiftToUnmerge()

◆ applyCombineShlOfExtend()

◆ applyCombineShuffleVector()

◆ applyCombineTruncOfExt()

◆ applyCombineTruncOfShl()

◆ applyCombineUnmergeConstant()

◆ applyCombineUnmergeMergeToPlainValues()

◆ applyCombineUnmergeWithDeadLanesToTrunc()

◆ applyCombineUnmergeZExtToZExt()

◆ applyNotCmp()

◆ applyOptBrCondByInvertingCond()

◆ applyPtrAddImmedChain()

◆ applyPtrAddZero()

◆ applySextInRegOfLoad()

◆ applySextTruncSextLoad()

◆ applyShiftImmedChain()

◆ applyShiftOfShiftedLogic()

◆ applySimplifyAddToSub()

◆ applySimplifyURemByPow2()

◆ applyXorOfAndWithSameReg()

◆ dominates()

◆ eraseInst()

◆ getKnownBits()

◆ getTargetLowering()

◆ isLegalOrBeforeLegalizer()

◆ isPredecessor()

◆ matchAllExplicitUsesAreUndef()

◆ matchAnyExplicitUseIsUndef()

◆ matchAshrShlToSextInreg()

◆ matchBinOpSameVal()

◆ matchCombineAddP2IToPtrAdd()

◆ matchCombineAnyExtTrunc()

◆ matchCombineConcatVectors()

◆ matchCombineConstantFoldFpUnary()

◆ matchCombineConstPtrAddToI2P()

◆ matchCombineCopy()

◆ matchCombineExtendingLoads()

◆ matchCombineExtOfExt()

◆ matchCombineFAbsOfFAbs()

◆ matchCombineFNegOfFNeg()

◆ matchCombineI2PToP2I()

◆ matchCombineIndexedLoadStore()

◆ matchCombineInsertVecElts()

◆ matchCombineMulToShl()

◆ matchCombineP2IToI2P()

◆ matchCombineShiftToUnmerge()

◆ matchCombineShlOfExtend()

◆ matchCombineShuffleVector()

◆ matchCombineTruncOfExt()

◆ matchCombineTruncOfShl()

◆ matchCombineUnmergeConstant()

◆ matchCombineUnmergeMergeToPlainValues()

◆ matchCombineUnmergeWithDeadLanesToTrunc()

◆ matchCombineUnmergeZExtToZExt()

◆ matchConstantOp()

◆ matchConstantSelectCmp()

◆ matchEqualDefs()