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

Collaboration diagram for llvm::LegalizerHelper:

Public Types
enum	LegalizeResult { AlreadyLegal, Legalized, UnableToLegalize }

Public Member Functions
const LegalizerInfo &	getLegalizerInfo () const
	Expose LegalizerInfo so the clients can re-use. More...

const TargetLowering &	getTargetLowering () const

	LegalizerHelper (MachineFunction &MF, GISelChangeObserver &Observer, MachineIRBuilder &B)

	LegalizerHelper (MachineFunction &MF, const LegalizerInfo &LI, GISelChangeObserver &Observer, MachineIRBuilder &B)

LegalizeResult	legalizeInstrStep (MachineInstr &MI)
	Replace `MI` by a sequence of legal instructions that can implement the same operation. More...

LegalizeResult	libcall (MachineInstr &MI)
	Legalize an instruction by emiting a runtime library call instead. More...

LegalizeResult	narrowScalar (MachineInstr &MI, unsigned TypeIdx, LLT NarrowTy)
	Legalize an instruction by reducing the width of the underlying scalar type. More...

LegalizeResult	widenScalar (MachineInstr &MI, unsigned TypeIdx, LLT WideTy)
	Legalize an instruction by performing the operation on a wider scalar type (for example a 16-bit addition can be safely performed at 32-bits precision, ignoring the unused bits). More...

LegalizeResult	bitcast (MachineInstr &MI, unsigned TypeIdx, LLT Ty)
	Legalize an instruction by replacing the value type. More...

LegalizeResult	lower (MachineInstr &MI, unsigned TypeIdx, LLT Ty)
	Legalize an instruction by splitting it into simpler parts, hopefully understood by the target. More...

LegalizeResult	fewerElementsVector (MachineInstr &MI, unsigned TypeIdx, LLT NarrowTy)
	Legalize a vector instruction by splitting into multiple components, each acting on the same scalar type as the original but with fewer elements. More...

LegalizeResult	moreElementsVector (MachineInstr &MI, unsigned TypeIdx, LLT MoreTy)
	Legalize a vector instruction by increasing the number of vector elements involved and ignoring the added elements later. More...

Register	coerceToScalar (Register Val)
	Cast the given value to an LLT::scalar with an equivalent size. More...

void	widenScalarSrc (MachineInstr &MI, LLT WideTy, unsigned OpIdx, unsigned ExtOpcode)
	Legalize a single operand `OpIdx` of the machine instruction `MI` as a Use by extending the operand's type to `WideTy` using the specified `ExtOpcode` for the extension instruction, and replacing the vreg of the operand in place. More...

void	narrowScalarSrc (MachineInstr &MI, LLT NarrowTy, unsigned OpIdx)
	Legalize a single operand `OpIdx` of the machine instruction `MI` as a Use by truncating the operand's type to `NarrowTy` using G_TRUNC, and replacing the vreg of the operand in place. More...

void	widenScalarDst (MachineInstr &MI, LLT WideTy, unsigned OpIdx=0, unsigned TruncOpcode=TargetOpcode::G_TRUNC)
	Legalize a single operand `OpIdx` of the machine instruction `MI` as a Def by extending the operand's type to `WideTy` and truncating it back with the `TruncOpcode`, and replacing the vreg of the operand in place. More...

void	narrowScalarDst (MachineInstr &MI, LLT NarrowTy, unsigned OpIdx, unsigned ExtOpcode)

void	moreElementsVectorDst (MachineInstr &MI, LLT MoreTy, unsigned OpIdx)
	Legalize a single operand `OpIdx` of the machine instruction `MI` as a Def by performing it with additional vector elements and extracting the result elements, and replacing the vreg of the operand in place. More...

void	moreElementsVectorSrc (MachineInstr &MI, LLT MoreTy, unsigned OpIdx)
	Legalize a single operand `OpIdx` of the machine instruction `MI` as a Use by producing a vector with undefined high elements, extracting the original vector type, and replacing the vreg of the operand in place. More...

void	bitcastSrc (MachineInstr &MI, LLT CastTy, unsigned OpIdx)
	Legalize a single operand `OpIdx` of the machine instruction `MI` as a use by inserting a G_BITCAST to `CastTy`. More...

void	bitcastDst (MachineInstr &MI, LLT CastTy, unsigned OpIdx)
	Legalize a single operand `OpIdx` of the machine instruction `MI` as a def by inserting a G_BITCAST from `CastTy`. More...

Register	widenWithUnmerge (LLT WideTy, Register OrigReg)
	Widen `OrigReg` to `WideTy` by merging to a wider type, padding with G_IMPLICIT_DEF, and producing dead results. More...

Align	getStackTemporaryAlignment (LLT Type, Align MinAlign=Align()) const
	Return the alignment to use for a stack temporary object with the given type. More...

MachineInstrBuilder	createStackTemporary (TypeSize Bytes, Align Alignment, MachinePointerInfo &PtrInfo)
	Create a stack temporary based on the size in bytes and the alignment. More...

Register	getVectorElementPointer (Register VecPtr, LLT VecTy, Register Index)
	Get a pointer to vector element `Index` located in memory for a vector of type `VecTy` starting at a base address of `VecPtr`. More...

LegalizeResult	fewerElementsVectorImplicitDef (MachineInstr &MI, unsigned TypeIdx, LLT NarrowTy)

LegalizeResult	fewerElementsVectorMultiEltType (MachineInstr &MI, unsigned TypeIdx, LLT NarrowTy)
	Legalize a instruction with a vector type where each operand may have a different element type. More...

LegalizeResult	fewerElementsVectorCasts (MachineInstr &MI, unsigned TypeIdx, LLT NarrowTy)

LegalizeResult	fewerElementsVectorCmp (MachineInstr &MI, unsigned TypeIdx, LLT NarrowTy)

LegalizeResult	fewerElementsVectorSelect (MachineInstr &MI, unsigned TypeIdx, LLT NarrowTy)

LegalizeResult	fewerElementsVectorPhi (MachineInstr &MI, unsigned TypeIdx, LLT NarrowTy)

LegalizeResult	moreElementsVectorPhi (MachineInstr &MI, unsigned TypeIdx, LLT MoreTy)

LegalizeResult	fewerElementsVectorUnmergeValues (MachineInstr &MI, unsigned TypeIdx, LLT NarrowTy)

LegalizeResult	fewerElementsVectorMerge (MachineInstr &MI, unsigned TypeIdx, LLT NarrowTy)

LegalizeResult	fewerElementsVectorExtractInsertVectorElt (MachineInstr &MI, unsigned TypeIdx, LLT NarrowTy)

LegalizeResult	fewerElementsVectorMulo (MachineInstr &MI, unsigned TypeIdx, LLT NarrowTy)

LegalizeResult	reduceLoadStoreWidth (MachineInstr &MI, unsigned TypeIdx, LLT NarrowTy)

LegalizeResult	reduceOperationWidth (MachineInstr &MI, unsigned TypeIdx, LLT NarrowTy)
	Legalize an instruction by reducing the operation width, either by narrowing the type of the operation or by reducing the number of elements of a vector. More...

LegalizeResult	fewerElementsVectorSextInReg (MachineInstr &MI, unsigned TypeIdx, LLT NarrowTy)

LegalizeResult	narrowScalarShiftByConstant (MachineInstr &MI, const APInt &Amt, LLT HalfTy, LLT ShiftAmtTy)

LegalizeResult	fewerElementsVectorReductions (MachineInstr &MI, unsigned TypeIdx, LLT NarrowTy)

LegalizeResult	narrowScalarShift (MachineInstr &MI, unsigned TypeIdx, LLT Ty)

LegalizeResult	narrowScalarAddSub (MachineInstr &MI, unsigned TypeIdx, LLT NarrowTy)

LegalizeResult	narrowScalarMul (MachineInstr &MI, LLT Ty)

LegalizeResult	narrowScalarFPTOI (MachineInstr &MI, unsigned TypeIdx, LLT Ty)

LegalizeResult	narrowScalarExtract (MachineInstr &MI, unsigned TypeIdx, LLT Ty)

LegalizeResult	narrowScalarInsert (MachineInstr &MI, unsigned TypeIdx, LLT Ty)

LegalizeResult	narrowScalarBasic (MachineInstr &MI, unsigned TypeIdx, LLT Ty)

LegalizeResult	narrowScalarExt (MachineInstr &MI, unsigned TypeIdx, LLT Ty)

LegalizeResult	narrowScalarSelect (MachineInstr &MI, unsigned TypeIdx, LLT Ty)

LegalizeResult	narrowScalarCTLZ (MachineInstr &MI, unsigned TypeIdx, LLT Ty)

LegalizeResult	narrowScalarCTTZ (MachineInstr &MI, unsigned TypeIdx, LLT Ty)

LegalizeResult	narrowScalarCTPOP (MachineInstr &MI, unsigned TypeIdx, LLT Ty)

LegalizeResult	bitcastExtractVectorElt (MachineInstr &MI, unsigned TypeIdx, LLT CastTy)
	Perform Bitcast legalize action on G_EXTRACT_VECTOR_ELT. More...

LegalizeResult	bitcastInsertVectorElt (MachineInstr &MI, unsigned TypeIdx, LLT CastTy)
	Perform Bitcast legalize action on G_INSERT_VECTOR_ELT. More...

LegalizeResult	lowerBitcast (MachineInstr &MI)

LegalizeResult	lowerLoad (MachineInstr &MI)

LegalizeResult	lowerStore (MachineInstr &MI)

LegalizeResult	lowerBitCount (MachineInstr &MI)

LegalizeResult	lowerFunnelShiftWithInverse (MachineInstr &MI)

LegalizeResult	lowerFunnelShiftAsShifts (MachineInstr &MI)

LegalizeResult	lowerFunnelShift (MachineInstr &MI)

LegalizeResult	lowerRotateWithReverseRotate (MachineInstr &MI)

LegalizeResult	lowerRotate (MachineInstr &MI)

LegalizeResult	lowerU64ToF32BitOps (MachineInstr &MI)

LegalizeResult	lowerUITOFP (MachineInstr &MI)

LegalizeResult	lowerSITOFP (MachineInstr &MI)

LegalizeResult	lowerFPTOUI (MachineInstr &MI)

LegalizeResult	lowerFPTOSI (MachineInstr &MI)

LegalizeResult	lowerFPTRUNC_F64_TO_F16 (MachineInstr &MI)

LegalizeResult	lowerFPTRUNC (MachineInstr &MI)

LegalizeResult	lowerFPOWI (MachineInstr &MI)

LegalizeResult	lowerMinMax (MachineInstr &MI)

LegalizeResult	lowerFCopySign (MachineInstr &MI)

LegalizeResult	lowerFMinNumMaxNum (MachineInstr &MI)

LegalizeResult	lowerFMad (MachineInstr &MI)

LegalizeResult	lowerIntrinsicRound (MachineInstr &MI)

LegalizeResult	lowerFFloor (MachineInstr &MI)

LegalizeResult	lowerMergeValues (MachineInstr &MI)

LegalizeResult	lowerUnmergeValues (MachineInstr &MI)

LegalizeResult	lowerExtractInsertVectorElt (MachineInstr &MI)
	Lower a vector extract or insert by writing the vector to a stack temporary and reloading the element or vector. More...

LegalizeResult	lowerShuffleVector (MachineInstr &MI)

LegalizeResult	lowerDynStackAlloc (MachineInstr &MI)

LegalizeResult	lowerExtract (MachineInstr &MI)

LegalizeResult	lowerInsert (MachineInstr &MI)

LegalizeResult	lowerSADDO_SSUBO (MachineInstr &MI)

LegalizeResult	lowerAddSubSatToMinMax (MachineInstr &MI)

LegalizeResult	lowerAddSubSatToAddoSubo (MachineInstr &MI)

LegalizeResult	lowerShlSat (MachineInstr &MI)

LegalizeResult	lowerBswap (MachineInstr &MI)

LegalizeResult	lowerBitreverse (MachineInstr &MI)

LegalizeResult	lowerReadWriteRegister (MachineInstr &MI)

LegalizeResult	lowerSMULH_UMULH (MachineInstr &MI)

LegalizeResult	lowerSelect (MachineInstr &MI)

LegalizeResult	lowerDIVREM (MachineInstr &MI)

Public Attributes
MachineIRBuilder &	MIRBuilder
	Expose MIRBuilder so clients can set their own RecordInsertInstruction functions. More...

GISelChangeObserver &	Observer
	To keep track of changes made by the LegalizerHelper. More...

Detailed Description

Definition at line 37 of file LegalizerHelper.h.

Member Enumeration Documentation

◆ LegalizeResult

enum llvm::LegalizerHelper::LegalizeResult

Enumerator
AlreadyLegal	Instruction was already legal and no change was made to the MachineFunction.
Legalized	Instruction has been legalized and the MachineFunction changed.
UnableToLegalize	Some kind of error has occurred and we could not legalize this instruction.

Definition at line 52 of file LegalizerHelper.h.

Constructor & Destructor Documentation

◆ LegalizerHelper() [1/2]

LegalizerHelper::LegalizerHelper	(	MachineFunction &	MF,
		GISelChangeObserver &	Observer,
		MachineIRBuilder &	B
	)

Definition at line 90 of file LegalizerHelper.cpp.

◆ LegalizerHelper() [2/2]

LegalizerHelper::LegalizerHelper	(	MachineFunction &	MF,
		const LegalizerInfo &	LI,
		GISelChangeObserver &	Observer,
		MachineIRBuilder &	B
	)

Definition at line 97 of file LegalizerHelper.cpp.

Member Function Documentation

◆ bitcast()

LegalizerHelper::LegalizeResult LegalizerHelper::bitcast	(	MachineInstr &	MI,
		unsigned	TypeIdx,
		LLT	Ty
	)

Legalize an instruction by replacing the value type.

Definition at line 2857 of file LegalizerHelper.cpp.

References bitcastDst(), bitcastExtractVectorElt(), bitcastInsertVectorElt(), bitcastSrc(), llvm::GISelChangeObserver::changedInstr(), llvm::GISelChangeObserver::changingInstr(), llvm::dbgs(), llvm::MachineRegisterInfo::getType(), llvm::LLT::isVector(), Legalized, LLVM_DEBUG, MI, Observer, and UnableToLegalize.

Referenced by legalizeInstrStep().

◆ bitcastDst()

void LegalizerHelper::bitcastDst	(	MachineInstr &	MI,
		LLT	CastTy,
		unsigned	OpIdx
	)

Legalize a single operand OpIdx of the machine instruction MI as a def by inserting a G_BITCAST from CastTy.

Definition at line 1328 of file LegalizerHelper.cpp.

References llvm::MachineIRBuilder::buildBitcast(), llvm::MachineRegisterInfo::createGenericVirtualRegister(), llvm::MachineIRBuilder::getInsertPt(), llvm::MachineIRBuilder::getMBB(), MI, MIRBuilder, llvm::MachineIRBuilder::setInsertPt(), and llvm::MachineOperand::setReg().

Referenced by bitcast(), and llvm::AMDGPULegalizerInfo::legalizeSBufferLoad().

◆ bitcastExtractVectorElt()

LegalizerHelper::LegalizeResult LegalizerHelper::bitcastExtractVectorElt	(	MachineInstr &	MI,
		unsigned	TypeIdx,
		LLT	CastTy
	)

Perform Bitcast legalize action on G_EXTRACT_VECTOR_ELT.

Perform a G_EXTRACT_VECTOR_ELT in a different sized vector element.

If this is casting to a vector with a smaller element size, perform multiple element extracts and merge the results. If this is coercing to a vector with larger elements, index the bitcasted vector and extract the target element with bit operations. This is intended to force the indexing in the native register size for architectures that can dynamically index the register file.

Definition at line 2515 of file LegalizerHelper.cpp.

References llvm::MachineIRBuilder::buildAdd(), llvm::MachineIRBuilder::buildBitcast(), llvm::MachineIRBuilder::buildBuildVector(), llvm::MachineIRBuilder::buildConstant(), llvm::MachineIRBuilder::buildExtractVectorElement(), llvm::MachineIRBuilder::buildLShr(), llvm::MachineIRBuilder::buildMul(), llvm::MachineIRBuilder::buildTrunc(), getBitcastWiderVectorElementOffset(), llvm::LLT::getElementType(), llvm::LLT::getNumElements(), llvm::MachineInstrBuilder::getReg(), llvm::LLT::getSizeInBits(), llvm::MachineRegisterInfo::getType(), I, llvm::isPowerOf2_32(), llvm::LLT::isVector(), Legalized, llvm::Log2_32(), MI, MIRBuilder, llvm::LLT::scalarOrVector(), and UnableToLegalize.

Referenced by bitcast().

◆ bitcastInsertVectorElt()

LegalizerHelper::LegalizeResult LegalizerHelper::bitcastInsertVectorElt	(	MachineInstr &	MI,
		unsigned	TypeIdx,
		LLT	CastTy
	)

Perform Bitcast legalize action on G_INSERT_VECTOR_ELT.

Perform a G_INSERT_VECTOR_ELT in a different sized vector element.

If this is increasing the element size, perform the indexing in the target element type, and use bit operations to insert at the element position. This is intended for architectures that can dynamically index the register file and want to force indexing in the native register size.

Definition at line 2654 of file LegalizerHelper.cpp.

References llvm::MachineIRBuilder::buildBitcast(), buildBitFieldInsert(), llvm::MachineIRBuilder::buildConstant(), llvm::MachineIRBuilder::buildExtractVectorElement(), llvm::MachineIRBuilder::buildInsertVectorElement(), llvm::MachineIRBuilder::buildLShr(), getBitcastWiderVectorElementOffset(), llvm::LLT::getElementType(), llvm::LLT::getNumElements(), llvm::MachineInstrBuilder::getReg(), llvm::LLT::getSizeInBits(), llvm::MachineRegisterInfo::getType(), llvm::isPowerOf2_32(), llvm::LLT::isVector(), Legalized, llvm::Log2_32(), MI, MIRBuilder, and UnableToLegalize.

Referenced by bitcast().

◆ bitcastSrc()

void LegalizerHelper::bitcastSrc	(	MachineInstr &	MI,
		LLT	CastTy,
		unsigned	OpIdx
	)

Legalize a single operand OpIdx of the machine instruction MI as a use by inserting a G_BITCAST to CastTy.

Definition at line 1323 of file LegalizerHelper.cpp.

References llvm::MachineIRBuilder::buildBitcast(), llvm::MachineInstrBuilder::getReg(), MI, and MIRBuilder.

Referenced by bitcast().

◆ coerceToScalar()

Register LegalizerHelper::coerceToScalar ( Register Val )

Cast the given value to an LLT::scalar with an equivalent size.

Returns the register to use if an instruction was inserted. Returns the original register if no coercion was necessary.

Definition at line 1232 of file LegalizerHelper.cpp.

References assert(), llvm::MachineIRBuilder::buildBitcast(), llvm::MachineIRBuilder::buildPtrToInt(), DL, llvm::LLT::getAddressSpace(), llvm::MachineIRBuilder::getDataLayout(), llvm::LLT::getElementType(), llvm::MachineInstrBuilder::getReg(), llvm::LLT::getSizeInBits(), llvm::MachineRegisterInfo::getType(), llvm::LLT::isPointer(), llvm::LLT::isScalar(), llvm::LLT::isVector(), MIRBuilder, and llvm::LLT::scalar().

Referenced by lowerUnmergeValues().

◆ createStackTemporary()

MachineInstrBuilder LegalizerHelper::createStackTemporary	(	TypeSize	Bytes,
		Align	Alignment,
		MachinePointerInfo &	PtrInfo
	)

Create a stack temporary based on the size in bytes and the alignment.

Definition at line 3236 of file LegalizerHelper.cpp.

References llvm::MachineIRBuilder::buildFrameIndex(), llvm::MachineFrameInfo::CreateStackObject(), DL, llvm::MachineIRBuilder::getDataLayout(), llvm::MachinePointerInfo::getFixedStack(), llvm::MachineFunction::getFrameInfo(), llvm::MachineIRBuilder::getMF(), MIRBuilder, and llvm::LLT::pointer().

Referenced by lowerExtractInsertVectorElt().

◆ fewerElementsVector()

LegalizerHelper::LegalizeResult LegalizerHelper::fewerElementsVector	(	MachineInstr &	MI,
		unsigned	TypeIdx,
		LLT	NarrowTy
	)

Legalize a vector instruction by splitting into multiple components, each acting on the same scalar type as the original but with fewer elements.

Definition at line 4079 of file LegalizerHelper.cpp.

Referenced by llvm::AMDGPURegisterBankInfo::applyMappingLoad(), and legalizeInstrStep().

◆ fewerElementsVectorCasts()

LegalizerHelper::LegalizeResult LegalizerHelper::fewerElementsVectorCasts	(	MachineInstr &	MI,
		unsigned	TypeIdx,
		LLT	NarrowTy
	)

Definition at line 3397 of file LegalizerHelper.cpp.

References llvm::MachineIRBuilder::buildBuildVector(), llvm::MachineIRBuilder::buildConcatVectors(), llvm::MachineIRBuilder::buildInstr(), llvm::MachineRegisterInfo::createGenericVirtualRegister(), llvm::LLT::getElementType(), llvm::LLT::getNumElements(), llvm::MachineRegisterInfo::getType(), I, llvm::LLT::isVector(), Legalized, MI, MIRBuilder, llvm::MachineInstr::setFlags(), UnableToLegalize, and llvm::LLT::vector().

Referenced by fewerElementsVector().

◆ fewerElementsVectorCmp()

LegalizerHelper::LegalizeResult LegalizerHelper::fewerElementsVectorCmp	(	MachineInstr &	MI,
		unsigned	TypeIdx,
		LLT	NarrowTy
	)

◆ fewerElementsVectorExtractInsertVectorElt()

LegalizerHelper::LegalizeResult LegalizerHelper::fewerElementsVectorExtractInsertVectorElt	(	MachineInstr &	MI,
		unsigned	TypeIdx,
		LLT	NarrowTy
	)

Definition at line 3779 of file LegalizerHelper.cpp.

References assert(), llvm::MachineIRBuilder::buildConstant(), llvm::MachineIRBuilder::buildExtractVectorElement(), llvm::MachineIRBuilder::buildInsertVectorElement(), llvm::MachineIRBuilder::buildUndef(), llvm::LLT::getNumElements(), llvm::MachineRegisterInfo::getType(), llvm::LLT::isVector(), Legalized, lowerExtractInsertVectorElt(), llvm::MIPatternMatch::m_ICst(), MI, llvm::MIPatternMatch::mi_match(), MIRBuilder, and UnableToLegalize.

Referenced by fewerElementsVector().

◆ fewerElementsVectorImplicitDef()

LegalizerHelper::LegalizeResult LegalizerHelper::fewerElementsVectorImplicitDef	(	MachineInstr &	MI,
		unsigned	TypeIdx,
		LLT	NarrowTy
	)

Definition at line 3285 of file LegalizerHelper.cpp.

References llvm::MachineIRBuilder::buildUndef(), llvm::getLCMType(), llvm::LLT::getSizeInBits(), llvm::MachineRegisterInfo::getType(), Legalized, MI, and MIRBuilder.

Referenced by fewerElementsVector().

◆ fewerElementsVectorMerge()

LegalizerHelper::LegalizeResult LegalizerHelper::fewerElementsVectorMerge	(	MachineInstr &	MI,
		unsigned	TypeIdx,
		LLT	NarrowTy
	)

Definition at line 3755 of file LegalizerHelper.cpp.

References E, llvm::getGCDType(), llvm::MachineRegisterInfo::getType(), I, Legalized, and MI.

Referenced by fewerElementsVector().

◆ fewerElementsVectorMulo()

LegalizerHelper::LegalizeResult LegalizerHelper::fewerElementsVectorMulo	(	MachineInstr &	MI,
		unsigned	TypeIdx,
		LLT	NarrowTy
	)

Definition at line 3691 of file LegalizerHelper.cpp.

References llvm::MachineIRBuilder::buildInstr(), llvm::MachineIRBuilder::buildUnmerge(), llvm::LLT::getElementType(), llvm::getGCDType(), llvm::LLT::getNumElements(), llvm::MachineInstr::getNumOperands(), llvm::MachineRegisterInfo::getType(), I, llvm::LLT::isVector(), Legalized, MI, MIRBuilder, llvm::LLT::scalarOrVector(), and UnableToLegalize.

Referenced by fewerElementsVector().

◆ fewerElementsVectorMultiEltType()

LegalizerHelper::LegalizeResult LegalizerHelper::fewerElementsVectorMultiEltType	(	MachineInstr &	MI,
		unsigned	TypeIdx,
		LLT	NarrowTy
	)

Legalize a instruction with a vector type where each operand may have a different element type.

All type indexes must have the same number of elements.

Definition at line 3314 of file LegalizerHelper.cpp.

References llvm::MachineInstrBuilder::addDef(), llvm::MachineInstrBuilder::addUse(), assert(), llvm::MachineIRBuilder::buildInstrNoInsert(), llvm::SmallVectorImpl< T >::clear(), llvm::MachineRegisterInfo::createGenericVirtualRegister(), E, getNarrowTypeBreakDown(), llvm::LLT::getNumElements(), llvm::LLT::getScalarType(), llvm::MachineRegisterInfo::getType(), I, llvm::MachineIRBuilder::insertInstr(), llvm::LLT::isVector(), Legalized, MI, MIRBuilder, llvm::LLT::scalarOrVector(), and UnableToLegalize.

Referenced by fewerElementsVector().

◆ fewerElementsVectorPhi()

LegalizerHelper::LegalizeResult LegalizerHelper::fewerElementsVectorPhi	(	MachineInstr &	MI,
		unsigned	TypeIdx,
		LLT	NarrowTy
	)

◆ fewerElementsVectorReductions()

LegalizerHelper::LegalizeResult LegalizerHelper::fewerElementsVectorReductions	(	MachineInstr &	MI,
		unsigned	TypeIdx,
		LLT	NarrowTy
	)

Definition at line 4205 of file LegalizerHelper.cpp.

References assert(), llvm::MachineIRBuilder::buildInstr(), llvm::dbgs(), llvm::LLT::getNumElements(), llvm::MachineInstrBuilder::getReg(), getReg(), llvm::MachineRegisterInfo::getType(), llvm::isPowerOf2_32(), Legalized, LLVM_DEBUG, MI, MIRBuilder, and UnableToLegalize.

Referenced by fewerElementsVector().

◆ fewerElementsVectorSelect()

LegalizerHelper::LegalizeResult LegalizerHelper::fewerElementsVectorSelect	(	MachineInstr &	MI,
		unsigned	TypeIdx,
		LLT	NarrowTy
	)

◆ fewerElementsVectorSextInReg()

LegalizerHelper::LegalizeResult LegalizerHelper::fewerElementsVectorSextInReg	(	MachineInstr &	MI,
		unsigned	TypeIdx,
		LLT	NarrowTy
	)

Definition at line 4057 of file LegalizerHelper.cpp.

References llvm::MachineIRBuilder::buildSExtInReg(), llvm::MachineInstrBuilder::getReg(), llvm::MachineRegisterInfo::getType(), Legalized, MI, and MIRBuilder.

Referenced by fewerElementsVector().

◆ fewerElementsVectorUnmergeValues()

LegalizerHelper::LegalizeResult LegalizerHelper::fewerElementsVectorUnmergeValues	(	MachineInstr &	MI,
		unsigned	TypeIdx,
		LLT	NarrowTy
	)

Definition at line 3651 of file LegalizerHelper.cpp.

References llvm::MachineInstrBuilder::addDef(), llvm::MachineInstrBuilder::addUse(), llvm::MachineIRBuilder::buildInstr(), llvm::MachineIRBuilder::buildUnmerge(), llvm::getGCDType(), llvm::MachineInstr::getNumOperands(), llvm::MachineRegisterInfo::getType(), I, Legalized, MI, MIRBuilder, and UnableToLegalize.

Referenced by fewerElementsVector().

◆ getLegalizerInfo()

const LegalizerInfo& llvm::LegalizerHelper::getLegalizerInfo ( ) const

inline

Expose LegalizerInfo so the clients can re-use.

Definition at line 66 of file LegalizerHelper.h.

◆ getStackTemporaryAlignment()

Align LegalizerHelper::getStackTemporaryAlignment	(	LLT	Type,
		Align	MinAlign = `Align()`
	)		const

Return the alignment to use for a stack temporary object with the given type.

Definition at line 3225 of file LegalizerHelper.cpp.

References Align, llvm::LLT::getSizeInBytes(), llvm::max(), llvm::MinAlign(), and llvm::PowerOf2Ceil().

Referenced by lowerExtractInsertVectorElt().

◆ getTargetLowering()

const TargetLowering& llvm::LegalizerHelper::getTargetLowering ( ) const

inline

Definition at line 67 of file LegalizerHelper.h.

◆ getVectorElementPointer()

Register LegalizerHelper::getVectorElementPointer	(	Register	VecPtr,
		LLT	VecTy,
		Register	Index
	)

Get a pointer to vector element Index located in memory for a vector of type VecTy starting at a base address of VecPtr.

If Index is out of bounds the returned pointer is unspecified, but will be within the vector bounds.

Definition at line 3266 of file LegalizerHelper.cpp.

References assert(), llvm::MachineIRBuilder::buildConstant(), llvm::MachineIRBuilder::buildMul(), llvm::MachineIRBuilder::buildPtrAdd(), clampDynamicVectorIndex(), llvm::LLT::getElementType(), llvm::MachineInstrBuilder::getReg(), llvm::LLT::getSizeInBits(), llvm::MachineRegisterInfo::getType(), Index, MIRBuilder, and llvm::Mul.

Referenced by lowerExtractInsertVectorElt().

◆ legalizeInstrStep()

LegalizerHelper::LegalizeResult LegalizerHelper::legalizeInstrStep ( MachineInstr & MI )

Replace MI by a sequence of legal instructions that can implement the same operation.

Note that this means MI may be deleted, so any iterator steps should be performed before calling this function. Helper should be initialized to the MachineFunction containing MI.

Considered as an opaque blob, the legal code will use and define the same registers as MI.

Definition at line 104 of file LegalizerHelper.cpp.

References AlreadyLegal, llvm::LegalizeActions::Bitcast, bitcast(), llvm::LegalizeActions::Custom, llvm::dbgs(), llvm::LegalizeActions::FewerElements, fewerElementsVector(), llvm::LegalizerInfo::getAction(), llvm::IRSimilarity::Legal, llvm::LegalizerInfo::legalizeCustom(), Legalized, llvm::LegalizerInfo::legalizeIntrinsic(), libcall(), LLVM_DEBUG, llvm::LegalizeActions::Lower, lower(), MI, MIRBuilder, llvm::LegalizeActions::MoreElements, moreElementsVector(), llvm::LegalizeActions::NarrowScalar, narrowScalar(), llvm::MachineIRBuilder::setInstrAndDebugLoc(), UnableToLegalize, llvm::LegalizeActions::WidenScalar, and widenScalar().

Referenced by llvm::Legalizer::legalizeMachineFunction().

◆ libcall()

LegalizerHelper::LegalizeResult LegalizerHelper::libcall ( MachineInstr & MI )

Legalize an instruction by emiting a runtime library call instead.

Definition at line 671 of file LegalizerHelper.cpp.

References conversionLibcall(), llvm::createMemLibcall(), llvm::dbgs(), llvm::IntegerType::get(), llvm::Function::getContext(), llvm::Type::getDoubleTy(), llvm::Type::getFloatTy(), getFloatTypeForLLT(), llvm::MachineFunction::getFunction(), llvm::Type::getInt32Ty(), llvm::Type::getInt64Ty(), llvm::MachineIRBuilder::getMF(), llvm::MachineIRBuilder::getMRI(), llvm::LLT::getSizeInBits(), llvm::MachineRegisterInfo::getType(), Legalized, LLVM_DEBUG, MI, MIRBuilder, simpleLibcall(), llvm::Check::Size, and UnableToLegalize.

Referenced by legalizeInstrStep().

◆ lower()

LegalizerHelper::LegalizeResult LegalizerHelper::lower	(	MachineInstr &	MI,
		unsigned	TypeIdx,
		LLT	Ty
	)

Legalize an instruction by splitting it into simpler parts, hopefully understood by the target.

Definition at line 2921 of file LegalizerHelper.cpp.

Referenced by legalizeInstrStep().

◆ lowerAddSubSatToAddoSubo()

LegalizerHelper::LegalizeResult LegalizerHelper::lowerAddSubSatToAddoSubo ( MachineInstr & MI )

Definition at line 6560 of file LegalizerHelper.cpp.

References llvm::MachineIRBuilder::buildAdd(), llvm::MachineIRBuilder::buildAShr(), llvm::MachineIRBuilder::buildConstant(), llvm::MachineIRBuilder::buildInstr(), llvm::MachineIRBuilder::buildSelect(), llvm::LLT::changeElementSize(), llvm::LLT::getScalarSizeInBits(), llvm::APInt::getSignedMinValue(), llvm::MachineRegisterInfo::getType(), Legalized, llvm_unreachable, MI, and MIRBuilder.

Referenced by lower().

◆ lowerAddSubSatToMinMax()

LegalizerHelper::LegalizeResult LegalizerHelper::lowerAddSubSatToMinMax ( MachineInstr & MI )

◆ lowerBitcast()

LegalizerHelper::LegalizeResult LegalizerHelper::lowerBitcast ( MachineInstr & MI )

Definition at line 2419 of file LegalizerHelper.cpp.

References llvm::MachineIRBuilder::buildBitcast(), llvm::MachineIRBuilder::buildMerge(), llvm::LLT::getElementType(), llvm::LLT::getNumElements(), llvm::MachineInstrBuilder::getReg(), llvm::MachineRegisterInfo::getType(), getUnmergePieces(), llvm::LLT::isVector(), Legalized, MI, MIRBuilder, UnableToLegalize, and llvm::LLT::vector().

Referenced by lower().

◆ lowerBitCount()

LegalizerHelper::LegalizeResult LegalizerHelper::lowerBitCount ( MachineInstr & MI )

Definition at line 5210 of file LegalizerHelper.cpp.

Referenced by lower().

◆ lowerBitreverse()

LegalizerHelper::LegalizeResult LegalizerHelper::lowerBitreverse ( MachineInstr & MI )

Definition at line 6708 of file LegalizerHelper.cpp.

References llvm::ISD::BSWAP, llvm::MachineIRBuilder::buildInstr(), llvm::LLT::getSizeInBits(), llvm::APInt::getSplat(), llvm::MachineRegisterInfo::getType(), Legalized, MI, MIRBuilder, llvm::Check::Size, and SwapN().

Referenced by lower().

◆ lowerBswap()

LegalizerHelper::LegalizeResult LegalizerHelper::lowerBswap ( MachineInstr & MI )

Definition at line 6662 of file LegalizerHelper.cpp.

References llvm::MachineIRBuilder::buildAnd(), llvm::MachineIRBuilder::buildConstant(), llvm::MachineIRBuilder::buildLShr(), llvm::MachineIRBuilder::buildOr(), llvm::MachineIRBuilder::buildShl(), llvm::LLT::getScalarSizeInBits(), llvm::MachineRegisterInfo::getType(), i, Legalized, llvm::BitmaskEnumDetail::Mask(), MI, and MIRBuilder.

Referenced by lower().

◆ lowerDIVREM()

LegalizerHelper::LegalizeResult LegalizerHelper::lowerDIVREM ( MachineInstr & MI )

Definition at line 6824 of file LegalizerHelper.cpp.

References llvm::MachineIRBuilder::buildInstr(), getReg(), Legalized, MI, and MIRBuilder.

Referenced by lower().

◆ lowerDynStackAlloc()

LegalizerHelper::LegalizeResult LegalizerHelper::lowerDynStackAlloc ( MachineInstr & MI )

Definition at line 6325 of file LegalizerHelper.cpp.

References llvm::assumeAligned(), llvm::MachineIRBuilder::buildCast(), llvm::MachineIRBuilder::buildCopy(), llvm::LLT::getSizeInBits(), llvm::TargetLoweringBase::getStackPointerRegisterToSaveRestore(), llvm::MachineRegisterInfo::getType(), MI, MIRBuilder, llvm::LLT::scalar(), llvm::TargetFrameLowering::StackGrowsUp, and UnableToLegalize.

Referenced by lower().

◆ lowerExtract()

LegalizerHelper::LegalizeResult LegalizerHelper::lowerExtract ( MachineInstr & MI )

Definition at line 6362 of file LegalizerHelper.cpp.

References llvm::MachineIRBuilder::buildBitcast(), llvm::MachineIRBuilder::buildConstant(), llvm::MachineIRBuilder::buildLShr(), llvm::MachineIRBuilder::buildTrunc(), llvm::LLT::getElementType(), llvm::MachineInstrBuilder::getReg(), llvm::LLT::getSizeInBits(), llvm::MachineRegisterInfo::getType(), llvm::LLT::isScalar(), llvm::LLT::isVector(), Legalized, MI, MIRBuilder, Offset, llvm::LLT::scalar(), and UnableToLegalize.

Referenced by lower().

◆ lowerExtractInsertVectorElt()

LegalizerHelper::LegalizeResult LegalizerHelper::lowerExtractInsertVectorElt ( MachineInstr & MI )

Lower a vector extract or insert by writing the vector to a stack temporary and reloading the element or vector.

dst = G_EXTRACT_VECTOR_ELT vec, idx => stack_temp = G_FRAME_INDEX G_STORE vec, stack_temp idx = clamp(idx, vec.getNumElements()) element_ptr = G_PTR_ADD stack_temp, idx dst = G_LOAD element_ptr

Definition at line 6214 of file LegalizerHelper.cpp.

References llvm::MachineIRBuilder::buildLoad(), llvm::MachineIRBuilder::buildStore(), llvm::commonAlignment(), createStackTemporary(), llvm::dbgs(), llvm::TypeSize::Fixed(), llvm::LLT::getAddressSpace(), llvm::LLT::getElementType(), llvm::LLT::getSizeInBytes(), getStackTemporaryAlignment(), llvm::MachineRegisterInfo::getType(), getVectorElementPointer(), llvm::MachinePointerInfo::getWithOffset(), llvm::LLT::isByteSized(), Legalized, LLVM_DEBUG, llvm::MIPatternMatch::m_ICst(), MI, llvm::MIPatternMatch::mi_match(), MIRBuilder, Offset, and UnableToLegalize.

Referenced by fewerElementsVectorExtractInsertVectorElt(), and lower().

◆ lowerFCopySign()

LegalizerHelper::LegalizeResult LegalizerHelper::lowerFCopySign ( MachineInstr & MI )

Definition at line 5985 of file LegalizerHelper.cpp.

References llvm::MachineIRBuilder::buildAnd(), llvm::MachineIRBuilder::buildConstant(), llvm::MachineIRBuilder::buildLShr(), llvm::MachineIRBuilder::buildOr(), llvm::MachineIRBuilder::buildShl(), llvm::MachineIRBuilder::buildTrunc(), llvm::MachineIRBuilder::buildZExt(), llvm::APInt::getLowBitsSet(), llvm::MachineInstrBuilder::getReg(), llvm::LLT::getScalarSizeInBits(), llvm::APInt::getSignMask(), llvm::MachineRegisterInfo::getType(), Legalized, MI, MIRBuilder, and Shift.

Referenced by lower().

◆ lowerFFloor()

LegalizerHelper::LegalizeResult LegalizerHelper::lowerFFloor ( MachineInstr & MI )

Definition at line 6106 of file LegalizerHelper.cpp.

References llvm::And, llvm::MachineIRBuilder::buildAnd(), llvm::MachineIRBuilder::buildFAdd(), llvm::MachineIRBuilder::buildFCmp(), llvm::MachineIRBuilder::buildFConstant(), llvm::MachineIRBuilder::buildIntrinsicTrunc(), llvm::MachineIRBuilder::buildSITOFP(), llvm::LLT::changeElementSize(), llvm::CmpInst::FCMP_OLT, llvm::CmpInst::FCMP_ONE, llvm::MachineRegisterInfo::getType(), Legalized, MI, and MIRBuilder.

Referenced by lower().

◆ lowerFMad()

LegalizerHelper::LegalizeResult LegalizerHelper::lowerFMad ( MachineInstr & MI )

Definition at line 6059 of file LegalizerHelper.cpp.

References llvm::MachineIRBuilder::buildFAdd(), llvm::MachineIRBuilder::buildFMul(), llvm::MachineRegisterInfo::getType(), Legalized, MI, MIRBuilder, and llvm::Mul.

Referenced by llvm::AMDGPULegalizerInfo::legalizeFMad(), and lower().

◆ lowerFMinNumMaxNum()

LegalizerHelper::LegalizeResult LegalizerHelper::lowerFMinNumMaxNum ( MachineInstr & MI )

Definition at line 6029 of file LegalizerHelper.cpp.

References llvm::MachineIRBuilder::buildFCanonicalize(), llvm::MachineIRBuilder::buildInstr(), llvm::MachineInstr::FmNoNans, llvm::MachineInstrBuilder::getReg(), llvm::MachineRegisterInfo::getType(), llvm::isKnownNeverSNaN(), Legalized, MI, and MIRBuilder.

Referenced by llvm::AMDGPULegalizerInfo::legalizeMinNumMaxNum(), and lower().

◆ lowerFPOWI()

LegalizerHelper::LegalizeResult LegalizerHelper::lowerFPOWI ( MachineInstr & MI )

Definition at line 5942 of file LegalizerHelper.cpp.

References llvm::MachineIRBuilder::buildFPow(), llvm::MachineIRBuilder::buildSITOFP(), llvm::MachineRegisterInfo::getType(), Legalized, MI, and MIRBuilder.

Referenced by lower().

◆ lowerFPTOSI()

LegalizerHelper::LegalizeResult LegalizerHelper::lowerFPTOSI ( MachineInstr & MI )

◆ lowerFPTOUI()

LegalizerHelper::LegalizeResult LegalizerHelper::lowerFPTOUI ( MachineInstr & MI )

◆ lowerFPTRUNC()

LegalizerHelper::LegalizeResult LegalizerHelper::lowerFPTRUNC ( MachineInstr & MI )

Definition at line 5925 of file LegalizerHelper.cpp.

References llvm::LLT::getScalarType(), llvm::MachineRegisterInfo::getType(), lowerFPTRUNC_F64_TO_F16(), MI, llvm::LLT::scalar(), and UnableToLegalize.

Referenced by lower().

◆ lowerFPTRUNC_F64_TO_F16()

LegalizerHelper::LegalizeResult LegalizerHelper::lowerFPTRUNC_F64_TO_F16 ( MachineInstr & MI )

Definition at line 5820 of file LegalizerHelper.cpp.

Referenced by lowerFPTRUNC().

◆ lowerFunnelShift()

LegalizerHelper::LegalizeResult LegalizerHelper::lowerFunnelShift ( MachineInstr & MI )

Definition at line 5486 of file LegalizerHelper.cpp.

References llvm::LegalizerInfo::getAction(), llvm::MachineRegisterInfo::getType(), and MI.

Referenced by lower().

◆ lowerFunnelShiftAsShifts()

◆ lowerFunnelShiftWithInverse()

LegalizerHelper::LegalizeResult LegalizerHelper::lowerFunnelShiftWithInverse ( MachineInstr & MI )

◆ lowerInsert()

LegalizerHelper::LegalizeResult LegalizerHelper::lowerInsert ( MachineInstr & MI )

◆ lowerIntrinsicRound()

LegalizerHelper::LegalizeResult LegalizerHelper::lowerIntrinsicRound ( MachineInstr & MI )

Definition at line 6073 of file LegalizerHelper.cpp.

References llvm::MachineIRBuilder::buildFAbs(), llvm::MachineIRBuilder::buildFAdd(), llvm::MachineIRBuilder::buildFCmp(), llvm::MachineIRBuilder::buildFConstant(), llvm::MachineIRBuilder::buildFCopysign(), llvm::MachineIRBuilder::buildFSub(), llvm::MachineIRBuilder::buildIntrinsicTrunc(), llvm::MachineIRBuilder::buildSelect(), llvm::LLT::changeElementSize(), llvm::CmpInst::FCMP_OGE, llvm::MachineRegisterInfo::getType(), Legalized, MI, MIRBuilder, T, and X.

Referenced by lower().

◆ lowerLoad()

LegalizerHelper::LegalizeResult LegalizerHelper::lowerLoad ( MachineInstr & MI )

Definition at line 2718 of file LegalizerHelper.cpp.

Referenced by lower().

◆ lowerMergeValues()

LegalizerHelper::LegalizeResult LegalizerHelper::lowerMergeValues ( MachineInstr & MI )

◆ lowerMinMax()

LegalizerHelper::LegalizeResult LegalizerHelper::lowerMinMax ( MachineInstr & MI )

Definition at line 5969 of file LegalizerHelper.cpp.

References llvm::MachineIRBuilder::buildICmp(), llvm::MachineIRBuilder::buildSelect(), llvm::LLT::changeElementSize(), llvm::MachineRegisterInfo::getType(), Legalized, MI, minMaxToCompare(), and MIRBuilder.

Referenced by lower().

◆ lowerReadWriteRegister()

LegalizerHelper::LegalizeResult LegalizerHelper::lowerReadWriteRegister ( MachineInstr & MI )

Definition at line 6739 of file LegalizerHelper.cpp.

References llvm::MachineIRBuilder::buildCopy(), llvm::StringRef::data(), llvm::MachineIRBuilder::getMF(), llvm::TargetLowering::getRegisterByName(), llvm::MDString::getString(), llvm::MachineRegisterInfo::getType(), llvm::Register::isValid(), Legalized, MI, MIRBuilder, and UnableToLegalize.

Referenced by lower().

◆ lowerRotate()

LegalizerHelper::LegalizeResult LegalizerHelper::lowerRotate ( MachineInstr & MI )

Definition at line 5524 of file LegalizerHelper.cpp.

References llvm::LLT::getScalarSizeInBits(), llvm::MachineRegisterInfo::getType(), llvm::LegalizerInfo::isLegalOrCustom(), MI, MIRBuilder, and llvm::MachineIRBuilder::setInstrAndDebugLoc().

Referenced by lower().

◆ lowerRotateWithReverseRotate()

LegalizerHelper::LegalizeResult LegalizerHelper::lowerRotateWithReverseRotate ( MachineInstr & MI )

Definition at line 5510 of file LegalizerHelper.cpp.

References llvm::MachineIRBuilder::buildConstant(), llvm::MachineIRBuilder::buildInstr(), llvm::MachineIRBuilder::buildSub(), llvm::MachineRegisterInfo::getType(), Legalized, MI, and MIRBuilder.

◆ lowerSADDO_SSUBO()

LegalizerHelper::LegalizeResult LegalizerHelper::lowerSADDO_SSUBO ( MachineInstr & MI )

Definition at line 6447 of file LegalizerHelper.cpp.

References llvm::MachineIRBuilder::buildAdd(), llvm::MachineIRBuilder::buildConstant(), llvm::MachineIRBuilder::buildICmp(), llvm::MachineIRBuilder::buildSub(), llvm::MachineIRBuilder::buildXor(), llvm::MachineRegisterInfo::getType(), llvm::CmpInst::ICMP_SGT, llvm::CmpInst::ICMP_SLT, Legalized, MI, and MIRBuilder.

Referenced by lower().

◆ lowerSelect()

◆ lowerShlSat()

LegalizerHelper::LegalizeResult LegalizerHelper::lowerShlSat ( MachineInstr & MI )

◆ lowerShuffleVector()

LegalizerHelper::LegalizeResult LegalizerHelper::lowerShuffleVector ( MachineInstr & MI )

◆ lowerSITOFP()

LegalizerHelper::LegalizeResult LegalizerHelper::lowerSITOFP ( MachineInstr & MI )

◆ lowerSMULH_UMULH()

LegalizerHelper::LegalizeResult LegalizerHelper::lowerSMULH_UMULH ( MachineInstr & MI )

Definition at line 6765 of file LegalizerHelper.cpp.

References llvm::MachineIRBuilder::buildConstant(), llvm::MachineIRBuilder::buildInstr(), llvm::MachineIRBuilder::buildMul(), llvm::MachineIRBuilder::buildTrunc(), llvm::LLT::changeElementSize(), llvm::LLT::getScalarSizeInBits(), llvm::MachineRegisterInfo::getType(), Legalized, MI, MIRBuilder, and llvm::Mul.

Referenced by lower().

◆ lowerStore()

LegalizerHelper::LegalizeResult LegalizerHelper::lowerStore ( MachineInstr & MI )

◆ lowerU64ToF32BitOps()

LegalizerHelper::LegalizeResult LegalizerHelper::lowerU64ToF32BitOps ( MachineInstr & MI )

◆ lowerUITOFP()

LegalizerHelper::LegalizeResult LegalizerHelper::lowerUITOFP ( MachineInstr & MI )

Definition at line 5634 of file LegalizerHelper.cpp.

References llvm::MachineIRBuilder::buildFConstant(), llvm::MachineIRBuilder::buildSelect(), llvm::MachineRegisterInfo::getType(), Legalized, lowerU64ToF32BitOps(), MI, MIRBuilder, llvm::LLT::scalar(), and UnableToLegalize.

Referenced by lower().

◆ lowerUnmergeValues()

LegalizerHelper::LegalizeResult LegalizerHelper::lowerUnmergeValues ( MachineInstr & MI )

Definition at line 6174 of file LegalizerHelper.cpp.

References llvm::MachineIRBuilder::buildConstant(), llvm::MachineIRBuilder::buildLShr(), llvm::MachineIRBuilder::buildTrunc(), coerceToScalar(), llvm::LLT::getSizeInBits(), llvm::MachineRegisterInfo::getType(), I, llvm::LLT::isPointer(), Legalized, MI, MIRBuilder, Offset, Shift, and UnableToLegalize.

Referenced by lower().

◆ moreElementsVector()

LegalizerHelper::LegalizeResult LegalizerHelper::moreElementsVector	(	MachineInstr &	MI,
		unsigned	TypeIdx,
		LLT	MoreTy
	)

Legalize a vector instruction by increasing the number of vector elements involved and ignoring the added elements later.

Definition at line 4550 of file LegalizerHelper.cpp.

References llvm::MachineInstrBuilder::addDef(), llvm::MachineIRBuilder::buildInstr(), llvm::GISelChangeObserver::changedInstr(), llvm::GISelChangeObserver::changingInstr(), llvm::MachineRegisterInfo::createGenericVirtualRegister(), llvm::LLT::getSizeInBits(), llvm::MachineRegisterInfo::getType(), I, llvm::LLT::isVector(), Legalized, MI, MIRBuilder, moreElementsVectorDst(), moreElementsVectorPhi(), moreElementsVectorSrc(), Observer, and UnableToLegalize.

Referenced by legalizeInstrStep().

◆ moreElementsVectorDst()

void LegalizerHelper::moreElementsVectorDst	(	MachineInstr &	MI,
		LLT	MoreTy,
		unsigned	OpIdx
	)

Legalize a single operand OpIdx of the machine instruction MI as a Def by performing it with additional vector elements and extracting the result elements, and replacing the vreg of the operand in place.

Definition at line 1286 of file LegalizerHelper.cpp.

References llvm::MachineIRBuilder::getInsertPt(), llvm::MachineIRBuilder::getMBB(), llvm::MachineOperand::getReg(), MI, MIRBuilder, llvm::MachineIRBuilder::setInsertPt(), llvm::MachineOperand::setReg(), and widenWithUnmerge().

Referenced by llvm::AMDGPULegalizerInfo::legalizeSBufferLoad(), moreElementsVector(), and moreElementsVectorPhi().

◆ moreElementsVectorPhi()

LegalizerHelper::LegalizeResult LegalizerHelper::moreElementsVectorPhi	(	MachineInstr &	MI,
		unsigned	TypeIdx,
		LLT	MoreTy
	)

Definition at line 4531 of file LegalizerHelper.cpp.

References assert(), llvm::GISelChangeObserver::changedInstr(), llvm::GISelChangeObserver::changingInstr(), E, llvm::MachineBasicBlock::getFirstNonPHI(), llvm::MachineBasicBlock::getFirstTerminator(), I, Legalized, MBB, MI, MIRBuilder, moreElementsVectorDst(), moreElementsVectorSrc(), Observer, and llvm::MachineIRBuilder::setInsertPt().

Referenced by moreElementsVector().

◆ moreElementsVectorSrc()

void LegalizerHelper::moreElementsVectorSrc	(	MachineInstr &	MI,
		LLT	MoreTy,
		unsigned	OpIdx
	)

Legalize a single operand OpIdx of the machine instruction MI as a Use by producing a vector with undefined high elements, extracting the original vector type, and replacing the vreg of the operand in place.

Definition at line 1293 of file LegalizerHelper.cpp.

References llvm::MachineIRBuilder::buildConcatVectors(), llvm::MachineIRBuilder::buildInsert(), llvm::MachineIRBuilder::buildUndef(), Concat, llvm::MachineRegisterInfo::createGenericVirtualRegister(), llvm::LLT::getNumElements(), llvm::MachineInstrBuilder::getReg(), llvm::MachineOperand::getReg(), llvm::MachineRegisterInfo::getType(), I, MI, MIRBuilder, and llvm::MachineOperand::setReg().

Referenced by moreElementsVector(), and moreElementsVectorPhi().

◆ narrowScalar()

LegalizerHelper::LegalizeResult LegalizerHelper::narrowScalar	(	MachineInstr &	MI,
		unsigned	TypeIdx,
		LLT	NarrowTy
	)

Legalize an instruction by reducing the width of the underlying scalar type.

Definition at line 780 of file LegalizerHelper.cpp.

Referenced by llvm::MipsRegisterBankInfo::applyMappingImpl(), llvm::AMDGPURegisterBankInfo::applyMappingImpl(), llvm::AMDGPURegisterBankInfo::applyMappingLoad(), and legalizeInstrStep().

◆ narrowScalarAddSub()

LegalizerHelper::LegalizeResult LegalizerHelper::narrowScalarAddSub	(	MachineInstr &	MI,
		unsigned	TypeIdx,
		LLT	NarrowTy
	)

Definition at line 4709 of file LegalizerHelper.cpp.

References llvm::MachineIRBuilder::buildInstr(), llvm::MachineIRBuilder::buildMerge(), llvm::MachineRegisterInfo::createGenericVirtualRegister(), llvm::LLT::getSizeInBits(), llvm::MachineRegisterInfo::getType(), i, llvm::LLT::isVector(), Legalized, llvm_unreachable, MI, MIRBuilder, llvm::LLT::scalar(), and UnableToLegalize.

Referenced by narrowScalar().

◆ narrowScalarBasic()

LegalizerHelper::LegalizeResult LegalizerHelper::narrowScalarBasic	(	MachineInstr &	MI,
		unsigned	TypeIdx,
		LLT	Ty
	)

Definition at line 5004 of file LegalizerHelper.cpp.

References assert(), llvm::MachineIRBuilder::buildInstr(), E, llvm::MachineRegisterInfo::getType(), I, Legalized, llvm_unreachable, MI, MIRBuilder, and UnableToLegalize.

Referenced by narrowScalar().

◆ narrowScalarCTLZ()

LegalizerHelper::LegalizeResult LegalizerHelper::narrowScalarCTLZ	(	MachineInstr &	MI,
		unsigned	TypeIdx,
		LLT	Ty
	)

Definition at line 5113 of file LegalizerHelper.cpp.

References B, llvm::LLT::getSizeInBits(), llvm::MachineRegisterInfo::getType(), llvm::CmpInst::ICMP_EQ, llvm::LLT::isScalar(), Legalized, MI, MIRBuilder, llvm::LLT::scalar(), and UnableToLegalize.

Referenced by narrowScalar().

◆ narrowScalarCTPOP()

LegalizerHelper::LegalizeResult LegalizerHelper::narrowScalarCTPOP	(	MachineInstr &	MI,
		unsigned	TypeIdx,
		LLT	Ty
	)

Definition at line 5185 of file LegalizerHelper.cpp.

References llvm::MachineIRBuilder::buildAdd(), llvm::MachineIRBuilder::buildCTPOP(), llvm::MachineIRBuilder::buildUnmerge(), llvm::LLT::getSizeInBits(), llvm::MachineRegisterInfo::getType(), llvm::LLT::isScalar(), Legalized, MI, MIRBuilder, and UnableToLegalize.

Referenced by narrowScalar().

◆ narrowScalarCTTZ()

LegalizerHelper::LegalizeResult LegalizerHelper::narrowScalarCTTZ	(	MachineInstr &	MI,
		unsigned	TypeIdx,
		LLT	Ty
	)

Definition at line 5149 of file LegalizerHelper.cpp.

References B, llvm::LLT::getSizeInBits(), llvm::MachineRegisterInfo::getType(), llvm::CmpInst::ICMP_EQ, llvm::LLT::isScalar(), Legalized, MI, MIRBuilder, llvm::LLT::scalar(), and UnableToLegalize.

Referenced by narrowScalar().

◆ narrowScalarDst()

void LegalizerHelper::narrowScalarDst	(	MachineInstr &	MI,
		LLT	NarrowTy,
		unsigned	OpIdx,
		unsigned	ExtOpcode
	)

Definition at line 1277 of file LegalizerHelper.cpp.

References llvm::MachineIRBuilder::buildInstr(), llvm::MachineRegisterInfo::createGenericVirtualRegister(), llvm::MachineIRBuilder::getInsertPt(), llvm::MachineIRBuilder::getMBB(), MI, MIRBuilder, llvm::MachineIRBuilder::setInsertPt(), and llvm::MachineOperand::setReg().

Referenced by narrowScalar(), and narrowScalarFPTOI().

◆ narrowScalarExt()

LegalizerHelper::LegalizeResult LegalizerHelper::narrowScalarExt	(	MachineInstr &	MI,
		unsigned	TypeIdx,
		LLT	Ty
	)

Definition at line 5045 of file LegalizerHelper.cpp.

References llvm::MachineRegisterInfo::getType(), llvm::LLT::isVector(), Legalized, MI, and UnableToLegalize.

Referenced by narrowScalar().

◆ narrowScalarExtract()

LegalizerHelper::LegalizeResult LegalizerHelper::narrowScalarExtract	(	MachineInstr &	MI,
		unsigned	TypeIdx,
		LLT	Ty
	)

Definition at line 4862 of file LegalizerHelper.cpp.

References llvm::MachineIRBuilder::buildBuildVector(), llvm::MachineIRBuilder::buildCopy(), llvm::MachineIRBuilder::buildExtract(), llvm::MachineIRBuilder::buildMerge(), llvm::MachineRegisterInfo::createGenericVirtualRegister(), llvm::LLT::getSizeInBits(), llvm::MachineRegisterInfo::getType(), i, llvm::LLT::isVector(), Legalized, MI, llvm::min(), MIRBuilder, llvm::LLT::scalar(), and UnableToLegalize.

Referenced by narrowScalar().

◆ narrowScalarFPTOI()

LegalizerHelper::LegalizeResult LegalizerHelper::narrowScalarFPTOI	(	MachineInstr &	MI,
		unsigned	TypeIdx,
		LLT	Ty
	)

Definition at line 4837 of file LegalizerHelper.cpp.

References llvm::GISelChangeObserver::changedInstr(), llvm::GISelChangeObserver::changingInstr(), llvm::LLT::getScalarSizeInBits(), llvm::LLT::getScalarType(), llvm::MachineRegisterInfo::getType(), Legalized, MI, narrowScalarDst(), Observer, llvm::LLT::scalar(), and UnableToLegalize.

Referenced by narrowScalar().

◆ narrowScalarInsert()

LegalizerHelper::LegalizeResult LegalizerHelper::narrowScalarInsert	(	MachineInstr &	MI,
		unsigned	TypeIdx,
		LLT	Ty
	)

Definition at line 4929 of file LegalizerHelper.cpp.

References assert(), llvm::MachineIRBuilder::buildBuildVector(), llvm::MachineIRBuilder::buildExtract(), llvm::MachineIRBuilder::buildInsert(), llvm::MachineIRBuilder::buildMerge(), llvm::MachineRegisterInfo::createGenericVirtualRegister(), llvm::LLT::getSizeInBits(), llvm::MachineRegisterInfo::getType(), i, llvm::LLT::isVector(), Legalized, MI, llvm::min(), MIRBuilder, llvm::LLT::scalar(), and UnableToLegalize.

Referenced by narrowScalar().

◆ narrowScalarMul()

LegalizerHelper::LegalizeResult LegalizerHelper::narrowScalarMul	(	MachineInstr &	MI,
		LLT	Ty
	)

Definition at line 4802 of file LegalizerHelper.cpp.

References llvm::MachineIRBuilder::buildMerge(), llvm::LLT::getSizeInBits(), llvm::MachineRegisterInfo::getType(), llvm::LLT::isVector(), Legalized, MI, MIRBuilder, and UnableToLegalize.

Referenced by narrowScalar().

◆ narrowScalarSelect()

LegalizerHelper::LegalizeResult LegalizerHelper::narrowScalarSelect	(	MachineInstr &	MI,
		unsigned	TypeIdx,
		LLT	Ty
	)

Definition at line 5067 of file LegalizerHelper.cpp.

References llvm::MachineIRBuilder::buildSelect(), E, llvm::MachineRegisterInfo::getType(), I, llvm::LLT::isVector(), Legalized, llvm_unreachable, MI, MIRBuilder, llvm::MCID::Select, and UnableToLegalize.

Referenced by narrowScalar().

◆ narrowScalarShift()

LegalizerHelper::LegalizeResult LegalizerHelper::narrowScalarShift	(	MachineInstr &	MI,
		unsigned	TypeIdx,
		LLT	Ty
	)

Definition at line 4421 of file LegalizerHelper.cpp.

Referenced by narrowScalar().

◆ narrowScalarShiftByConstant()

LegalizerHelper::LegalizeResult LegalizerHelper::narrowScalarShiftByConstant	(	MachineInstr &	MI,
		const APInt &	Amt,
		LLT	HalfTy,
		LLT	ShiftAmtTy
	)

Definition at line 4332 of file LegalizerHelper.cpp.

References llvm::MachineIRBuilder::buildAShr(), llvm::MachineIRBuilder::buildConstant(), llvm::MachineIRBuilder::buildLShr(), llvm::MachineIRBuilder::buildMerge(), llvm::MachineIRBuilder::buildOr(), llvm::MachineIRBuilder::buildShl(), llvm::MachineIRBuilder::buildUnmerge(), llvm::MachineRegisterInfo::createGenericVirtualRegister(), llvm::LLT::getSizeInBits(), llvm::MipsISD::Hi, llvm::APInt::isNullValue(), Legalized, llvm::MipsISD::Lo, MI, MIRBuilder, and llvm::APInt::ugt().

Referenced by narrowScalarShift().

◆ narrowScalarSrc()

void LegalizerHelper::narrowScalarSrc	(	MachineInstr &	MI,
		LLT	NarrowTy,
		unsigned	OpIdx
	)

Legalize a single operand OpIdx of the machine instruction MI as a Use by truncating the operand's type to NarrowTy using G_TRUNC, and replacing the vreg of the operand in place.

Definition at line 1261 of file LegalizerHelper.cpp.

References llvm::MachineIRBuilder::buildTrunc(), MI, MIRBuilder, and llvm::MachineOperand::setReg().

Referenced by narrowScalar(), and narrowScalarShift().

◆ reduceLoadStoreWidth()

LegalizerHelper::LegalizeResult LegalizerHelper::reduceLoadStoreWidth	(	MachineInstr &	MI,
		unsigned	TypeIdx,
		LLT	NarrowTy
	)

◆ reduceOperationWidth()

LegalizerHelper::LegalizeResult LegalizerHelper::reduceOperationWidth	(	MachineInstr &	MI,
		unsigned	TypeIdx,
		LLT	NarrowTy
	)

Legalize an instruction by reducing the operation width, either by narrowing the type of the operation or by reducing the number of elements of a vector.

The used strategy (narrow vs. fewerElements) is decided by NarrowTy. Narrow is used if the scalar type of NarrowTy and DstTy differ, fewerElements is used when the scalar type is the same but the number of elements between NarrowTy and DstTy differ.

Definition at line 3946 of file LegalizerHelper.cpp.

References llvm::SmallVectorImpl< T >::append(), assert(), llvm::MachineIRBuilder::buildBitcast(), llvm::MachineIRBuilder::buildInstr(), llvm::MachineIRBuilder::buildUndef(), llvm::MachineRegisterInfo::createGenericVirtualRegister(), llvm::getLCMType(), llvm::LLT::getNumElements(), llvm::MachineInstrBuilder::getReg(), llvm::LLT::getScalarType(), llvm::LLT::getSizeInBits(), llvm::MachineRegisterInfo::getType(), I, llvm::LLT::isVector(), Legalized, MI, MIRBuilder, llvm::LLT::scalar(), and llvm::LLT::scalarOrVector().

Referenced by fewerElementsVector(), and narrowScalar().

◆ widenScalar()

LegalizerHelper::LegalizeResult LegalizerHelper::widenScalar	(	MachineInstr &	MI,
		unsigned	TypeIdx,
		LLT	WideTy
	)

Legalize an instruction by performing the operation on a wider scalar type (for example a 16-bit addition can be safely performed at 32-bits precision, ignoring the unused bits).

Definition at line 1886 of file LegalizerHelper.cpp.

Referenced by llvm::AMDGPURegisterBankInfo::applyMappingImpl(), and legalizeInstrStep().

◆ widenScalarDst()

void LegalizerHelper::widenScalarDst	(	MachineInstr &	MI,
		LLT	WideTy,
		unsigned	OpIdx = `0`,
		unsigned	TruncOpcode = `TargetOpcode::G_TRUNC`
	)

Legalize a single operand OpIdx of the machine instruction MI as a Def by extending the operand's type to WideTy and truncating it back with the TruncOpcode, and replacing the vreg of the operand in place.

Definition at line 1268 of file LegalizerHelper.cpp.

References llvm::MachineIRBuilder::buildInstr(), llvm::MachineRegisterInfo::createGenericVirtualRegister(), llvm::MachineIRBuilder::getInsertPt(), llvm::MachineIRBuilder::getMBB(), MI, MIRBuilder, llvm::MachineIRBuilder::setInsertPt(), and llvm::MachineOperand::setReg().

Referenced by llvm::AMDGPULegalizerInfo::legalizeSBufferLoad(), and widenScalar().

◆ widenScalarSrc()

void LegalizerHelper::widenScalarSrc	(	MachineInstr &	MI,
		LLT	WideTy,
		unsigned	OpIdx,
		unsigned	ExtOpcode
	)

Legalize a single operand OpIdx of the machine instruction MI as a Use by extending the operand's type to WideTy using the specified ExtOpcode for the extension instruction, and replacing the vreg of the operand in place.

Definition at line 1254 of file LegalizerHelper.cpp.

References llvm::MachineIRBuilder::buildInstr(), MI, MIRBuilder, and llvm::MachineOperand::setReg().

Referenced by widenScalar().

◆ widenWithUnmerge()

Register LegalizerHelper::widenWithUnmerge	(	LLT	WideTy,
		Register	OrigReg
	)

Widen OrigReg to WideTy by merging to a wider type, padding with G_IMPLICIT_DEF, and producing dead results.

Definition at line 1458 of file LegalizerHelper.cpp.

References llvm::MachineIRBuilder::buildMerge(), llvm::MachineIRBuilder::buildUndef(), llvm::MachineIRBuilder::buildUnmerge(), llvm::MachineRegisterInfo::createGenericVirtualRegister(), llvm::getLCMType(), llvm::MachineInstrBuilder::getReg(), llvm::LLT::getSizeInBits(), llvm::MachineRegisterInfo::getType(), I, MIRBuilder, and llvm::RegState::Undef.

Referenced by llvm::AMDGPULegalizerInfo::legalizeLoad(), and moreElementsVectorDst().

Member Data Documentation

◆ MIRBuilder

MachineIRBuilder& llvm::LegalizerHelper::MIRBuilder

Expose MIRBuilder so clients can set their own RecordInsertInstruction functions.

Definition at line 41 of file LegalizerHelper.h.

◆ Observer

GISelChangeObserver& llvm::LegalizerHelper::Observer

To keep track of changes made by the LegalizerHelper.

Definition at line 44 of file LegalizerHelper.h.

Referenced by bitcast(), llvm::AArch64LegalizerInfo::legalizeCustom(), llvm::AMDGPULegalizerInfo::legalizeDSAtomicFPIntrinsic(), llvm::AMDGPULegalizerInfo::legalizeIntrinsic(), llvm::AMDGPULegalizerInfo::legalizeLoad(), llvm::AMDGPULegalizerInfo::legalizeSBufferLoad(), lower(), lowerBitCount(), lowerSelect(), moreElementsVector(), moreElementsVectorPhi(), narrowScalar(), narrowScalarFPTOI(), narrowScalarShift(), and widenScalar().

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

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

Public Types

Public Member Functions

Public Attributes

Detailed Description

Member Enumeration Documentation

◆ LegalizeResult

Constructor & Destructor Documentation

◆ LegalizerHelper() [1/2]

◆ LegalizerHelper() [2/2]

Member Function Documentation

◆ bitcast()

◆ bitcastDst()

◆ bitcastExtractVectorElt()

◆ bitcastInsertVectorElt()

◆ bitcastSrc()

◆ coerceToScalar()

◆ createStackTemporary()

◆ fewerElementsVector()

◆ fewerElementsVectorCasts()

◆ fewerElementsVectorCmp()

◆ fewerElementsVectorExtractInsertVectorElt()

◆ fewerElementsVectorImplicitDef()

◆ fewerElementsVectorMerge()

◆ fewerElementsVectorMulo()

◆ fewerElementsVectorMultiEltType()

◆ fewerElementsVectorPhi()

◆ fewerElementsVectorReductions()

◆ fewerElementsVectorSelect()

◆ fewerElementsVectorSextInReg()

◆ fewerElementsVectorUnmergeValues()

◆ getLegalizerInfo()

◆ getStackTemporaryAlignment()

◆ getTargetLowering()

◆ getVectorElementPointer()

◆ legalizeInstrStep()

◆ libcall()

◆ lower()

◆ lowerAddSubSatToAddoSubo()

◆ lowerAddSubSatToMinMax()

◆ lowerBitcast()

◆ lowerBitCount()

◆ lowerBitreverse()

◆ lowerBswap()

◆ lowerDIVREM()

◆ lowerDynStackAlloc()

◆ lowerExtract()

◆ lowerExtractInsertVectorElt()

◆ lowerFCopySign()

◆ lowerFFloor()

◆ lowerFMad()

◆ lowerFMinNumMaxNum()

◆ lowerFPOWI()

◆ lowerFPTOSI()

◆ lowerFPTOUI()

◆ lowerFPTRUNC()

◆ lowerFPTRUNC_F64_TO_F16()

◆ lowerFunnelShift()

◆ lowerFunnelShiftAsShifts()

◆ lowerFunnelShiftWithInverse()

◆ lowerInsert()

◆ lowerIntrinsicRound()

◆ lowerLoad()

◆ lowerMergeValues()

◆ lowerMinMax()

◆ lowerReadWriteRegister()

◆ lowerRotate()

◆ lowerRotateWithReverseRotate()

◆ lowerSADDO_SSUBO()

◆ lowerSelect()

◆ lowerShlSat()

◆ lowerShuffleVector()

◆ lowerSITOFP()

◆ lowerSMULH_UMULH()

◆ lowerStore()

◆ lowerU64ToF32BitOps()

◆ lowerUITOFP()

◆ lowerUnmergeValues()

◆ moreElementsVector()

◆ moreElementsVectorDst()

◆ moreElementsVectorPhi()