#include "llvm/CodeGen/GlobalISel/LegalizerHelper.h"
Classes | |
| struct | ShiftParams |
Public Types | |
| enum | LegalizeResult { AlreadyLegal , Legalized , UnableToLegalize } |
Public Attributes | |
| MachineIRBuilder & | MIRBuilder |
| Expose MIRBuilder so clients can set their own RecordInsertInstruction functions. | |
| GISelChangeObserver & | Observer |
| To keep track of changes made by the LegalizerHelper. | |
Detailed Description
Definition at line 49 of file LegalizerHelper.h.
Member Enumeration Documentation
◆ 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 65 of file LegalizerHelper.h.
Constructor & Destructor Documentation
◆ LegalizerHelper() [1/2]
| LegalizerHelper::LegalizerHelper | ( | MachineFunction & | MF, |
| GISelChangeObserver & | Observer, | ||
| MachineIRBuilder & | B ) |
Definition at line 105 of file LegalizerHelper.cpp.
References getLegalizerInfo(), getTargetLowering(), MIRBuilder, and Observer.
◆ LegalizerHelper() [2/2]
| LegalizerHelper::LegalizerHelper | ( | MachineFunction & | MF, |
| const LegalizerInfo & | LI, | ||
| GISelChangeObserver & | Observer, | ||
| MachineIRBuilder & | B, | ||
| GISelValueTracking * | VT = nullptr ) |
Definition at line 112 of file LegalizerHelper.cpp.
References B(), getTargetLowering(), MIRBuilder, and Observer.
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 4407 of file LegalizerHelper.cpp.
References bitcastConcatVector(), bitcastDst(), bitcastExtractSubvector(), bitcastExtractVectorElt(), bitcastInsertSubvector(), bitcastInsertVectorElt(), bitcastShuffleVector(), bitcastSrc(), llvm::MachineMemOperand::clearRanges(), llvm::dbgs(), llvm::MachineMemOperand::getMemoryType(), llvm::LLT::getSizeInBits(), Legalized, LLVM_DEBUG, MI, Observer, llvm::MachineMemOperand::setType(), and UnableToLegalize.
Referenced by legalizeInstrStep().
◆ bitcastConcatVector()
| LegalizerHelper::LegalizeResult LegalizerHelper::bitcastConcatVector | ( | MachineInstr & | MI, |
| unsigned | TypeIdx, | ||
| LLT | CastTy ) |
Definition at line 3917 of file LegalizerHelper.cpp.
References llvm::dyn_cast(), MI, llvm::LLT::scalar(), and UnableToLegalize.
Referenced by bitcast().
◆ 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 2193 of file LegalizerHelper.cpp.
References MI, MIRBuilder, OpIdx, and llvm::MachineOperand::setReg().
Referenced by bitcast(), llvm::AMDGPULegalizerInfo::legalizeBufferLoad(), and llvm::AMDGPULegalizerInfo::legalizeSBufferLoad().
◆ bitcastExtractSubvector()
| LegalizerHelper::LegalizeResult LegalizerHelper::bitcastExtractSubvector | ( | MachineInstr & | MI, |
| unsigned | TypeIdx, | ||
| LLT | CastTy ) |
This attempts to bitcast G_EXTRACT_SUBVECTOR to CastTy.
<vscale x 8 x i1> = G_EXTRACT_SUBVECTOR <vscale x 16 x i1>, N
===>
<vscale x 2 x i1> = G_BITCAST <vscale x 16 x i1> <vscale x 1 x i8> = G_EXTRACT_SUBVECTOR <vscale x 2 x i1>, N / 8 <vscale x 8 x i1> = G_BITCAST <vscale x 1 x i8>
Definition at line 3996 of file LegalizerHelper.cpp.
References llvm::cast(), llvm::details::FixedOrScalableQuantity< LeafTy, ValueTy >::divideCoefficientBy(), llvm::LLT::getElementCount(), llvm::LLT::getElementType(), llvm::details::FixedOrScalableQuantity< LeafTy, ValueTy >::getKnownMinValue(), llvm::LLT::getSizeInBits(), llvm::LLT::isVector(), Legalized, MI, MIRBuilder, UnableToLegalize, and llvm::LLT::vector().
Referenced by bitcast().
◆ 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 3708 of file LegalizerHelper.cpp.
References getBitcastWiderVectorElementOffset(), llvm::LLT::getElementType(), llvm::ElementCount::getFixed(), llvm::LLT::getNumElements(), llvm::LLT::getSizeInBits(), I, llvm::isPowerOf2_32(), llvm::LLT::isVector(), Legalized, llvm::Log2_32(), MI, MIRBuilder, llvm::LLT::scalarOrVector(), and UnableToLegalize.
Referenced by bitcast().
◆ bitcastInsertSubvector()
| LegalizerHelper::LegalizeResult LegalizerHelper::bitcastInsertSubvector | ( | MachineInstr & | MI, |
| unsigned | TypeIdx, | ||
| LLT | CastTy ) |
This attempts to bitcast G_INSERT_SUBVECTOR to CastTy.
<vscale x 16 x i1> = G_INSERT_SUBVECTOR <vscale x 16 x i1>, <vscale x 8 x i1>, N
===>
<vscale x 2 x i8> = G_BITCAST <vscale x 16 x i1> <vscale x 1 x i8> = G_BITCAST <vscale x 8 x i1> <vscale x 2 x i8> = G_INSERT_SUBVECTOR <vscale x 2 x i8>, <vscale x 1 x i8>, N / 8 <vscale x 16 x i1> = G_BITCAST <vscale x 2 x i8>
Definition at line 4059 of file LegalizerHelper.cpp.
References llvm::cast(), llvm::details::FixedOrScalableQuantity< LeafTy, ValueTy >::divideCoefficientBy(), llvm::LLT::getElementCount(), llvm::LLT::getElementType(), llvm::details::FixedOrScalableQuantity< LeafTy, ValueTy >::getKnownMinValue(), llvm::LLT::getSizeInBits(), llvm::LLT::isVector(), Legalized, MI, MIRBuilder, UnableToLegalize, and llvm::LLT::vector().
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 3844 of file LegalizerHelper.cpp.
References buildBitFieldInsert(), getBitcastWiderVectorElementOffset(), llvm::LLT::getElementType(), llvm::LLT::getNumElements(), llvm::LLT::getSizeInBits(), llvm::isPowerOf2_32(), llvm::LLT::isVector(), Legalized, llvm::Log2_32(), MI, MIRBuilder, and UnableToLegalize.
Referenced by bitcast().
◆ bitcastShuffleVector()
| LegalizerHelper::LegalizeResult LegalizerHelper::bitcastShuffleVector | ( | MachineInstr & | MI, |
| unsigned | TypeIdx, | ||
| LLT | CastTy ) |
Definition at line 3962 of file LegalizerHelper.cpp.
References llvm::cast(), llvm::LLT::changeElementType(), llvm::LLT::getElementCount(), llvm::LLT::getScalarSizeInBits(), llvm::LLT::getScalarType(), Legalized, 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 2188 of file LegalizerHelper.cpp.
References MI, MIRBuilder, and OpIdx.
Referenced by bitcast().
◆ buildConstantShiftPart()
| Register LegalizerHelper::buildConstantShiftPart | ( | unsigned | Opcode, |
| unsigned | PartIdx, | ||
| unsigned | NumParts, | ||
| ArrayRef< Register > | SrcParts, | ||
| const ShiftParams & | Params, | ||
| LLT | TargetTy, | ||
| LLT | ShiftAmtTy ) |
Generates a single output part for constant shifts using direct indexing.
Calculates which source parts contribute and how they're combined.
Definition at line 6204 of file LegalizerHelper.cpp.
References assert(), llvm::LegalizerHelper::ShiftParams::BitShift, llvm::getIConstantVRegVal(), llvm::Hi, llvm::LegalizerHelper::ShiftParams::InvBitShift, llvm_unreachable, llvm::Lo, MIRBuilder, llvm::LegalizerHelper::ShiftParams::SignBit, llvm::LegalizerHelper::ShiftParams::WordShift, and llvm::LegalizerHelper::ShiftParams::Zero.
Referenced by narrowScalarShiftByConstantMultiway().
◆ buildVariableShiftPart()
| Register LegalizerHelper::buildVariableShiftPart | ( | unsigned | Opcode, |
| Register | MainOperand, | ||
| Register | ShiftAmt, | ||
| LLT | TargetTy, | ||
| Register | CarryOperand = Register() ) |
Generates a shift part with carry for variable shifts.
Combines main operand shifted by BitShift with carry bits from adjacent operand.
Definition at line 6281 of file LegalizerHelper.cpp.
References getReg(), llvm::LLT::getScalarSizeInBits(), llvm::CmpInst::ICMP_EQ, llvm::Register::isValid(), MIRBuilder, and llvm::LLT::scalar().
Referenced by narrowScalarShiftMultiway().
◆ coerceToScalar()
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 2119 of file LegalizerHelper.cpp.
References assert(), DL, MIRBuilder, Register, and llvm::LLT::scalar().
Referenced by lowerUnmergeValues().
◆ createStackStoreLoad()
| MachineInstrBuilder LegalizerHelper::createStackStoreLoad | ( | const DstOp & | Res, |
| const SrcOp & | Val ) |
Create a store of Val to a stack temporary and return a load as the same type as Res.
Definition at line 4897 of file LegalizerHelper.cpp.
References createStackTemporary(), llvm::DstOp::getLLTTy(), llvm::SrcOp::getLLTTy(), getStackTemporaryAlignment(), and MIRBuilder.
◆ 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 4884 of file LegalizerHelper.cpp.
References llvm::MachineFrameInfo::CreateStackObject(), DL, llvm::MachinePointerInfo::getFixedStack(), llvm::MachineFunction::getFrameInfo(), MIRBuilder, and llvm::LLT::pointer().
Referenced by createStackStoreLoad(), lowerExtractInsertVectorElt(), and lowerVECTOR_COMPRESS().
◆ equalizeVectorShuffleLengths()
| LegalizerHelper::LegalizeResult LegalizerHelper::equalizeVectorShuffleLengths | ( | MachineInstr & | MI | ) |
Equalize source and destination vector sizes of G_SHUFFLE_VECTOR.
Definition at line 6871 of file LegalizerHelper.cpp.
References llvm::alignTo(), llvm::SmallVectorTemplateCommon< T, typename >::begin(), llvm::copy(), llvm::LLT::fixed_vector(), llvm::LLT::getElementType(), I, Legalized, MI, MIRBuilder, and moreElementsVectorDst().
Referenced by moreElementsVectorShuffle().
◆ fewerElementsBitcast()
| LegalizerHelper::LegalizeResult LegalizerHelper::fewerElementsBitcast | ( | MachineInstr & | MI, |
| unsigned | TypeIdx, | ||
| LLT | NarrowTy ) |
Definition at line 5666 of file LegalizerHelper.cpp.
References assert(), llvm::LLT::fixed_vector(), llvm::LLT::getElementType(), llvm::LLT::getSizeInBits(), getUnmergeResults(), Legalized, MI, MIRBuilder, llvm::SmallVectorTemplateBase< T, bool >::push_back(), and UnableToLegalize.
Referenced by fewerElementsVector().
◆ 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 5488 of file LegalizerHelper.cpp.
References assert(), llvm::cast(), fewerElementsBitcast(), fewerElementsVectorExtractInsertVectorElt(), fewerElementsVectorMerge(), fewerElementsVectorMultiEltType(), fewerElementsVectorPhi(), fewerElementsVectorReductions(), fewerElementsVectorSeqReductions(), fewerElementsVectorShuffle(), fewerElementsVectorUnmergeValues(), llvm::LLT::getNumElements(), GISEL_VECREDUCE_CASES_NONSEQ, llvm::LLT::isVector(), MI, reduceLoadStoreWidth(), and UnableToLegalize.
Referenced by llvm::AMDGPURegisterBankInfo::applyMappingLoad(), and legalizeInstrStep().
◆ fewerElementsVectorExtractInsertVectorElt()
| LegalizerHelper::LegalizeResult LegalizerHelper::fewerElementsVectorExtractInsertVectorElt | ( | MachineInstr & | MI, |
| unsigned | TypeIdx, | ||
| LLT | NarrowTy ) |
Definition at line 5307 of file LegalizerHelper.cpp.
References assert(), llvm::extractParts(), llvm::getIConstantVRegValWithLookThrough(), llvm::LLT::getNumElements(), llvm::LLT::isVector(), Legalized, lowerExtractInsertVectorElt(), MI, and MIRBuilder.
Referenced by fewerElementsVector().
◆ fewerElementsVectorMerge()
| LegalizerHelper::LegalizeResult LegalizerHelper::fewerElementsVectorMerge | ( | MachineInstr & | MI, |
| unsigned | TypeIdx, | ||
| LLT | NarrowTy ) |
Definition at line 5221 of file LegalizerHelper.cpp.
References assert(), llvm::LLT::getNumElements(), llvm::LLT::getScalarType(), llvm::LLT::getSizeInBits(), llvm::LLT::isVector(), Legalized, MI, MIRBuilder, llvm::Offset, llvm::SmallVectorTemplateBase< T, bool >::push_back(), and UnableToLegalize.
Referenced by fewerElementsVector().
◆ fewerElementsVectorMultiEltType()
| LegalizerHelper::LegalizeResult LegalizerHelper::fewerElementsVectorMultiEltType | ( | GenericMachineInstr & | MI, |
| unsigned | NumElts, | ||
| std::initializer_list< unsigned > | NonVecOpIndices = {} ) |
Handles most opcodes.
Split MI into same instruction on sub-vectors or scalars with NumElts elements (1 for scalar). Supports uneven splits: there can be leftover sub-vector with fewer then NumElts or a leftover scalar. To avoid this use moreElements first and set MI number of elements to multiple of NumElts. Non-vector operands that should be used on all sub-instructions without split are listed in NonVecOpIndices.
Definition at line 5049 of file LegalizerHelper.cpp.
References llvm::append_range(), assert(), broadcastSrcOp(), llvm::extractVectorParts(), hasSameNumEltsOnAllVectorOperands(), I, llvm::is_contained(), Legalized, makeDstOps(), MI, MIRBuilder, llvm::SmallVectorTemplateBase< T, bool >::push_back(), llvm::size(), and Uses.
Referenced by fewerElementsVector().
◆ fewerElementsVectorPhi()
| LegalizerHelper::LegalizeResult LegalizerHelper::fewerElementsVectorPhi | ( | GenericMachineInstr & | MI, |
| unsigned | NumElts ) |
Definition at line 5119 of file LegalizerHelper.cpp.
References llvm::extractVectorParts(), llvm::MachineBasicBlock::getFirstTerminatorForward(), Legalized, makeDstOps(), MBB, MI, MIRBuilder, and llvm::SmallVectorTemplateBase< T, bool >::push_back().
Referenced by fewerElementsVector().
◆ fewerElementsVectorReductions()
| LegalizerHelper::LegalizeResult LegalizerHelper::fewerElementsVectorReductions | ( | MachineInstr & | MI, |
| unsigned | TypeIdx, | ||
| LLT | NarrowTy ) |
Definition at line 5840 of file LegalizerHelper.cpp.
References assert(), llvm::cast(), llvm::SmallVectorImpl< T >::clear(), llvm::SmallVectorImpl< T >::emplace_back(), llvm::extractParts(), llvm::LLT::getNumElements(), getReg(), llvm::isPowerOf2_32(), llvm::LLT::isScalar(), llvm::LLT::isVector(), Legalized, MI, MIRBuilder, llvm::SmallVectorTemplateBase< T, bool >::push_back(), llvm::SmallVectorTemplateCommon< T, typename >::size(), and UnableToLegalize.
Referenced by fewerElementsVector().
◆ fewerElementsVectorSeqReductions()
| LegalizerHelper::LegalizeResult LegalizerHelper::fewerElementsVectorSeqReductions | ( | MachineInstr & | MI, |
| unsigned | TypeIdx, | ||
| LLT | NarrowTy ) |
Definition at line 5927 of file LegalizerHelper.cpp.
References assert(), llvm::extractParts(), llvm::LLT::isScalar(), Legalized, MI, MIRBuilder, and UnableToLegalize.
Referenced by fewerElementsVector().
◆ fewerElementsVectorShuffle()
| LegalizerHelper::LegalizeResult LegalizerHelper::fewerElementsVectorShuffle | ( | MachineInstr & | MI, |
| unsigned | TypeIdx, | ||
| LLT | NarrowTy ) |
Definition at line 5702 of file LegalizerHelper.cpp.
References AbstractManglingParser< Derived, Alloc >::Ops, assert(), llvm::LLT::changeElementCount(), llvm::extractParts(), llvm::LLT::getElementType(), llvm::LLT::getNumElements(), llvm::Hi, High, llvm::isPowerOf2_32(), llvm::LLT::isVector(), Legalized, llvm::Lo, MI, MIRBuilder, llvm::SmallVectorTemplateBase< T, bool >::push_back(), llvm::LLT::scalar(), and UnableToLegalize.
Referenced by fewerElementsVector().
◆ fewerElementsVectorUnmergeValues()
| LegalizerHelper::LegalizeResult LegalizerHelper::fewerElementsVectorUnmergeValues | ( | MachineInstr & | MI, |
| unsigned | TypeIdx, | ||
| LLT | NarrowTy ) |
Definition at line 5172 of file LegalizerHelper.cpp.
References assert(), llvm::LLT::getScalarType(), llvm::LLT::getSizeInBits(), I, llvm::LLT::isVector(), Legalized, MI, MIRBuilder, and UnableToLegalize.
Referenced by fewerElementsVector().
◆ getDynStackAllocTargetPtr()
| Register LegalizerHelper::getDynStackAllocTargetPtr | ( | Register | SPReg, |
| Register | AllocSize, | ||
| Align | Alignment, | ||
| LLT | PtrTy ) |
Definition at line 9126 of file LegalizerHelper.cpp.
References llvm::Alloc, llvm::LLT::getSizeInBits(), MIRBuilder, llvm::APInt::negate(), llvm::LLT::scalar(), SPReg, and llvm::Align::value().
Referenced by lowerDynStackAlloc().
◆ getLegalizerInfo()
|
inline |
Expose LegalizerInfo so the clients can re-use.
Definition at line 79 of file LegalizerHelper.h.
Referenced by LegalizerHelper().
◆ getStackTemporaryAlignment()
Return the alignment to use for a stack temporary object with the given type.
Definition at line 4873 of file LegalizerHelper.cpp.
References llvm::MinAlign(), and llvm::PowerOf2Ceil().
Referenced by createStackStoreLoad(), lowerExtractInsertVectorElt(), and lowerVECTOR_COMPRESS().
◆ getTargetLowering()
|
inline |
Definition at line 80 of file LegalizerHelper.h.
Referenced by LegalizerHelper(), and LegalizerHelper().
◆ getValueTracking()
|
inline |
Definition at line 81 of file LegalizerHelper.h.
Referenced by llvm::AMDGPULegalizerInfo::buildMultiply().
◆ getVectorElementPointer()
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 4932 of file LegalizerHelper.cpp.
References assert(), llvm::LLT::changeElementSize(), clampVectorIndex(), DL, llvm::LLT::getElementType(), llvm::LLT::getSizeInBits(), MIRBuilder, and llvm::Mul.
Referenced by lowerExtractInsertVectorElt(), lowerVECTOR_COMPRESS(), and llvm::CombinerHelper::matchCombineExtractedVectorLoad().
◆ legalizeInstrStep()
| LegalizerHelper::LegalizeResult LegalizerHelper::legalizeInstrStep | ( | MachineInstr & | MI, |
| LostDebugLocObserver & | LocObserver ) |
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 119 of file LegalizerHelper.cpp.
References AlreadyLegal, llvm::LegalizeActions::Bitcast, bitcast(), llvm::LegalizeActions::Custom, llvm::dbgs(), llvm::LegalizeActions::FewerElements, fewerElementsVector(), llvm::isa(), llvm::IRSimilarity::Legal, Legalized, llvm::LegalizeActions::Libcall, libcall, LLVM_DEBUG, llvm::Lower, lower(), MI, MIRBuilder, llvm::LegalizeActions::MoreElements, moreElementsVector(), llvm::LegalizeActions::NarrowScalar, narrowScalar(), UnableToLegalize, llvm::LegalizeActions::WidenScalar, and widenScalar().
Referenced by llvm::Legalizer::legalizeMachineFunction().
◆ libcall()
| LegalizerHelper::LegalizeResult LegalizerHelper::libcall | ( | MachineInstr & | MI, |
| LostDebugLocObserver & | LocObserver ) |
Legalize an instruction by emiting a runtime library call instead.
Definition at line 1309 of file LegalizerHelper.cpp.
References conversionLibcall(), createAtomicLibcall(), llvm::createLibcall(), llvm::createMemLibcall(), llvm::dbgs(), llvm::IntegerType::get(), getFloatTypeForLLT(), llvm::Type::getIntNTy(), getRTLibDesc(), llvm::LLT::getSizeInBits(), Legalized, llvm::LegalizeActions::Libcall, LLVM_DEBUG, MI, MIRBuilder, simpleLibcall(), Size, and UnableToLegalize.
◆ 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 4495 of file LegalizerHelper.cpp.
References assert(), llvm::cast(), llvm::LLT::getScalarSizeInBits(), llvm::APInt::getSignMask(), GISEL_VECREDUCE_CASES_NONSEQ, llvm::CmpInst::ICMP_EQ, llvm::CmpInst::ICMP_NE, llvm::CmpInst::ICMP_UGT, llvm::CmpInst::ICMP_ULT, Legalized, lowerAbsDiffToMinMax(), lowerAbsDiffToSelect(), lowerAbsToAddXor(), lowerAddSubSatToAddoSubo(), lowerAddSubSatToMinMax(), lowerBitcast(), lowerBitCount(), lowerBitreverse(), lowerBswap(), lowerDIVREM(), lowerDynStackAlloc(), lowerEXT(), lowerExtract(), lowerExtractInsertVectorElt(), lowerFAbs(), lowerFConstant(), lowerFCopySign(), lowerFFloor(), lowerFMad(), lowerFMinNumMaxNum(), lowerFPOWI(), lowerFPTOINT_SAT(), lowerFPTOSI(), lowerFPTOUI(), lowerFPTRUNC(), lowerFunnelShift(), lowerInsert(), lowerIntrinsicRound(), lowerISFPCLASS(), lowerLoad(), lowerMemCpyFamily(), lowerMergeValues(), lowerMinMax(), lowerReadWriteRegister(), lowerRotate(), lowerSADDE(), lowerSADDO_SSUBO(), lowerSelect(), lowerShlSat(), lowerShuffleVector(), lowerSITOFP(), lowerSMULH_UMULH(), lowerSSUBE(), lowerStackRestore(), lowerStackSave(), lowerStore(), lowerThreewayCompare(), lowerTRUNC(), lowerUITOFP(), lowerUnmergeValues(), lowerVAArg(), lowerVECTOR_COMPRESS(), lowerVectorReduction(), MI, MIRBuilder, Observer, TII, and UnableToLegalize.
Referenced by llvm::RISCVLegalizerInfo::legalizeCustom(), and legalizeInstrStep().
◆ lowerAbsDiffToMinMax()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerAbsDiffToMinMax | ( | MachineInstr & | MI | ) |
Definition at line 10081 of file LegalizerHelper.cpp.
References assert(), Legalized, MI, and MIRBuilder.
Referenced by lower().
◆ lowerAbsDiffToSelect()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerAbsDiffToSelect | ( | MachineInstr & | MI | ) |
Definition at line 10058 of file LegalizerHelper.cpp.
References assert(), llvm::CmpInst::ICMP_SGT, llvm::CmpInst::ICMP_UGT, Legalized, MI, MIRBuilder, and llvm::LLT::scalar().
Referenced by lower().
◆ lowerAbsToAddXor()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerAbsToAddXor | ( | MachineInstr & | MI | ) |
Definition at line 10013 of file LegalizerHelper.cpp.
References llvm::Add, llvm::LLT::getScalarSizeInBits(), Legalized, MI, and MIRBuilder.
Referenced by lower().
◆ lowerAbsToCNeg()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerAbsToCNeg | ( | MachineInstr & | MI | ) |
Definition at line 10045 of file LegalizerHelper.cpp.
References llvm::CmpInst::ICMP_SGT, Legalized, MI, MIRBuilder, llvm::LLT::scalar(), and llvm::Sub.
Referenced by llvm::AArch64LegalizerInfo::legalizeCustom().
◆ lowerAbsToMaxNeg()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerAbsToMaxNeg | ( | MachineInstr & | MI | ) |
Definition at line 10030 of file LegalizerHelper.cpp.
References Legalized, MI, MIRBuilder, and llvm::Sub.
Referenced by llvm::AMDGPURegisterBankInfo::applyMappingImpl(), and llvm::RISCVLegalizerInfo::legalizeCustom().
◆ lowerAddSubSatToAddoSubo()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerAddSubSatToAddoSubo | ( | MachineInstr & | MI | ) |
Definition at line 9496 of file LegalizerHelper.cpp.
References llvm::LLT::changeElementSize(), llvm::APInt::getSignedMinValue(), Legalized, llvm_unreachable, MI, and MIRBuilder.
Referenced by lower().
◆ lowerAddSubSatToMinMax()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerAddSubSatToMinMax | ( | MachineInstr & | MI | ) |
Definition at line 9421 of file LegalizerHelper.cpp.
References llvm::APInt::getSignedMaxValue(), llvm::APInt::getSignedMinValue(), llvm::Hi, Legalized, llvm_unreachable, llvm::Lo, MI, and MIRBuilder.
Referenced by lower().
◆ lowerBitcast()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerBitcast | ( | MachineInstr & | MI | ) |
Definition at line 3616 of file LegalizerHelper.cpp.
References llvm::LLT::fixed_vector(), llvm::LLT::getElementType(), getUnmergePieces(), Legalized, MI, MIRBuilder, and UnableToLegalize.
Referenced by lower().
◆ lowerBitCount()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerBitCount | ( | MachineInstr & | MI | ) |
Definition at line 7568 of file LegalizerHelper.cpp.
References assert(), B(), llvm::LegalizeActions::Custom, llvm::APInt::getSplat(), llvm::CmpInst::ICMP_EQ, llvm::IRSimilarity::Legal, Legalized, llvm::LegalizeActions::Libcall, MI, MIRBuilder, Observer, Opc, llvm::PowerOf2Ceil(), Size, TII, UnableToLegalize, and llvm::LegalizeActions::WidenScalar.
Referenced by lower().
◆ lowerBitreverse()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerBitreverse | ( | MachineInstr & | MI | ) |
Definition at line 9638 of file LegalizerHelper.cpp.
References llvm::LLT::fixed_vector(), llvm::APInt::getSplat(), MI, MIRBuilder, Size, and SwapN().
Referenced by lower().
◆ lowerBswap()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerBswap | ( | MachineInstr & | MI | ) |
Definition at line 9593 of file LegalizerHelper.cpp.
References Legalized, MI, and MIRBuilder.
Referenced by lower().
◆ lowerConstant()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerConstant | ( | MachineInstr & | MI | ) |
Definition at line 3594 of file LegalizerHelper.cpp.
References emitLoadFromConstantPool(), llvm::MachineOperand::getCImm(), Legalized, MI, and MIRBuilder.
Referenced by llvm::ARMLegalizerInfo::legalizeCustom(), and llvm::RISCVLegalizerInfo::legalizeCustom().
◆ lowerDIVREM()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerDIVREM | ( | MachineInstr & | MI | ) |
Definition at line 9996 of file LegalizerHelper.cpp.
References Legalized, MI, and MIRBuilder.
Referenced by lower().
◆ lowerDynStackAlloc()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerDynStackAlloc | ( | MachineInstr & | MI | ) |
Definition at line 9150 of file LegalizerHelper.cpp.
References llvm::assumeAligned(), getDynStackAllocTargetPtr(), llvm::TargetSubtargetInfo::getFrameLowering(), llvm::MachineFunction::getSubtarget(), Legalized, MI, MIRBuilder, SPReg, llvm::TargetFrameLowering::StackGrowsUp, and UnableToLegalize.
Referenced by lower().
◆ lowerEXT()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerEXT | ( | MachineInstr & | MI | ) |
Definition at line 7871 of file LegalizerHelper.cpp.
References llvm::LLT::changeElementCount(), llvm::LLT::changeElementSize(), llvm::details::FixedOrScalableQuantity< LeafTy, ValueTy >::divideCoefficientBy(), llvm::LLT::getElementCount(), llvm::LLT::getScalarSizeInBits(), llvm::LLT::getSizeInBits(), llvm::isPowerOf2_32(), Legalized, MI, MIRBuilder, and UnableToLegalize.
Referenced by lower().
◆ lowerExtract()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerExtract | ( | MachineInstr & | MI | ) |
Definition at line 9195 of file LegalizerHelper.cpp.
References Legalized, MI, MIRBuilder, llvm::Offset, llvm::SmallVectorTemplateBase< T, bool >::push_back(), llvm::LLT::scalar(), llvm::SmallVectorTemplateCommon< T, typename >::size(), 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 8929 of file LegalizerHelper.cpp.
References llvm::commonAlignment(), createStackTemporary(), llvm::dbgs(), llvm::extractParts(), llvm::LLT::getElementType(), llvm::TypeSize::getFixed(), llvm::LLT::getNumElements(), llvm::LLT::getSizeInBytes(), getStackTemporaryAlignment(), getVectorElementPointer(), llvm::MachinePointerInfo::getWithOffset(), llvm::LLT::isByteSized(), Legalized, LLVM_DEBUG, llvm::MIPatternMatch::m_ICst(), MI, llvm::MIPatternMatch::mi_match(), MIRBuilder, llvm::Offset, and UnableToLegalize.
Referenced by fewerElementsVectorExtractInsertVectorElt(), and lower().
◆ lowerFAbs()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerFAbs | ( | MachineInstr & | MI | ) |
Definition at line 10105 of file LegalizerHelper.cpp.
References llvm::APInt::getSignedMaxValue(), Legalized, MI, and MIRBuilder.
Referenced by lower().
◆ lowerFConstant()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerFConstant | ( | MachineInstr & | MI | ) |
Definition at line 3605 of file LegalizerHelper.cpp.
References emitLoadFromConstantPool(), llvm::MachineOperand::getFPImm(), Legalized, MI, and MIRBuilder.
Referenced by lower().
◆ lowerFCopySign()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerFCopySign | ( | MachineInstr & | MI | ) |
Definition at line 8689 of file LegalizerHelper.cpp.
References llvm::MachineInstr::Disjoint, llvm::APInt::getLowBitsSet(), llvm::APInt::getSignMask(), Legalized, MI, and MIRBuilder.
Referenced by lower().
◆ lowerFFloor()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerFFloor | ( | MachineInstr & | MI | ) |
Definition at line 8825 of file LegalizerHelper.cpp.
References llvm::LLT::changeElementSize(), llvm::CmpInst::FCMP_OLT, llvm::CmpInst::FCMP_ONE, Legalized, MI, and MIRBuilder.
Referenced by lower().
◆ lowerFMad()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerFMad | ( | MachineInstr & | MI | ) |
Definition at line 8778 of file LegalizerHelper.cpp.
References Legalized, MI, MIRBuilder, and llvm::Mul.
Referenced by llvm::AMDGPULegalizerInfo::legalizeFMad(), and lower().
◆ lowerFMinNumMaxNum()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerFMinNumMaxNum | ( | MachineInstr & | MI | ) |
Definition at line 8731 of file LegalizerHelper.cpp.
References llvm::MachineInstr::FmNoNans, llvm::isKnownNeverSNaN(), Legalized, llvm_unreachable, MI, and MIRBuilder.
Referenced by llvm::AMDGPULegalizerInfo::legalizeMinNumMaxNum(), and lower().
◆ lowerFPOWI()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerFPOWI | ( | MachineInstr & | MI | ) |
Definition at line 8602 of file LegalizerHelper.cpp.
References Legalized, MI, and MIRBuilder.
Referenced by lower().
◆ lowerFPTOINT_SAT()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerFPTOINT_SAT | ( | MachineInstr & | MI | ) |
Definition at line 8375 of file LegalizerHelper.cpp.
References llvm::APFloat::convertFromAPInt(), llvm::CmpInst::FCMP_OGT, llvm::CmpInst::FCMP_OLT, llvm::CmpInst::FCMP_ULT, llvm::CmpInst::FCMP_UNO, llvm::MachineInstr::FmNoNans, llvm::getFltSemanticForLLT(), llvm::APInt::getMaxValue(), llvm::APInt::getMinValue(), llvm::APInt::getSignedMaxValue(), llvm::APInt::getSignedMinValue(), Legalized, MI, MIRBuilder, llvm::APFloatBase::opInexact, and llvm::APFloatBase::rmTowardZero.
Referenced by lower().
◆ lowerFPTOSI()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerFPTOSI | ( | MachineInstr & | MI | ) |
Definition at line 8310 of file LegalizerHelper.cpp.
References llvm::Exponent, llvm::APInt::getSignMask(), llvm::CmpInst::ICMP_SGT, llvm::CmpInst::ICMP_SLT, Legalized, MI, MIRBuilder, S1, S32, S64, llvm::LLT::scalar(), and UnableToLegalize.
Referenced by lower().
◆ lowerFPTOUI()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerFPTOUI | ( | MachineInstr & | MI | ) |
Definition at line 8270 of file LegalizerHelper.cpp.
References llvm::APFloat::convertFromAPInt(), llvm::CmpInst::FCMP_ULT, llvm::APInt::getSignMask(), llvm::APInt::getZero(), llvm::APFloatBase::IEEEdouble(), llvm::APFloatBase::IEEEsingle(), Legalized, MI, MIRBuilder, llvm::APFloatBase::rmNearestTiesToEven, S1, S32, S64, llvm::LLT::scalar(), and UnableToLegalize.
Referenced by lower().
◆ lowerFPTRUNC()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerFPTRUNC | ( | MachineInstr & | MI | ) |
Definition at line 8591 of file LegalizerHelper.cpp.
References lowerFPTRUNC_F64_TO_F16(), MI, S16, S64, llvm::LLT::scalar(), and UnableToLegalize.
Referenced by lower().
◆ lowerFPTRUNC_F64_TO_F16()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerFPTRUNC_F64_TO_F16 | ( | MachineInstr & | MI | ) |
Definition at line 8476 of file LegalizerHelper.cpp.
References assert(), B(), D(), llvm::MachineInstr::FmAfn, I, llvm::CmpInst::ICMP_EQ, llvm::CmpInst::ICMP_NE, llvm::CmpInst::ICMP_SGT, llvm::CmpInst::ICMP_SLT, Legalized, MI, MIRBuilder, N, S1, S32, llvm::LLT::scalar(), and UnableToLegalize.
Referenced by lowerFPTRUNC().
◆ lowerFunnelShift()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerFunnelShift | ( | MachineInstr & | MI | ) |
◆ lowerFunnelShiftAsShifts()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerFunnelShiftAsShifts | ( | MachineInstr & | MI | ) |
Definition at line 7793 of file LegalizerHelper.cpp.
References llvm::MachineInstr::Disjoint, llvm::LLT::getScalarSizeInBits(), isNonZeroModBitWidthOrUndef(), llvm::isPowerOf2_32(), Legalized, MI, MIRBuilder, X, and Y.
◆ lowerFunnelShiftWithInverse()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerFunnelShiftWithInverse | ( | MachineInstr & | MI | ) |
Definition at line 7754 of file LegalizerHelper.cpp.
References getReg(), llvm::LLT::getScalarSizeInBits(), isNonZeroModBitWidthOrUndef(), llvm::isPowerOf2_32(), Legalized, MI, MIRBuilder, UnableToLegalize, X, and Y.
◆ lowerInsert()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerInsert | ( | MachineInstr & | MI | ) |
Definition at line 9249 of file LegalizerHelper.cpp.
References llvm::dbgs(), DL, llvm::LLT::getAddressSpace(), llvm::APInt::getBitsSetWithWrap(), llvm::LLT::getElementType(), llvm::LLT::getNumElements(), llvm::LLT::getSizeInBits(), llvm::LLT::isPointer(), llvm::LLT::isScalar(), llvm::LLT::isVector(), Legalized, LLVM_DEBUG, MI, MIRBuilder, llvm::Offset, llvm::SmallVectorTemplateBase< T, bool >::push_back(), llvm::LLT::scalar(), and UnableToLegalize.
Referenced by lower().
◆ lowerIntrinsicRound()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerIntrinsicRound | ( | MachineInstr & | MI | ) |
Definition at line 8792 of file LegalizerHelper.cpp.
References llvm::LLT::changeElementSize(), llvm::CmpInst::FCMP_OGE, Legalized, MI, MIRBuilder, T, and X.
Referenced by lower().
◆ lowerISFPCLASS()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerISFPCLASS | ( | MachineInstr & | MI | ) |
Definition at line 9765 of file LegalizerHelper.cpp.
References llvm::APFloat::bitcastToAPInt(), llvm::fcAllFlags, llvm::fcFinite, llvm::fcInf, llvm::fcNan, llvm::fcNegFinite, llvm::fcNegNormal, llvm::fcNegSubnormal, llvm::fcNone, llvm::fcNormal, llvm::fcPosFinite, llvm::fcPosInf, llvm::fcPosNormal, llvm::fcPosSubnormal, llvm::fcPosZero, llvm::fcQNan, llvm::fcSubnormal, llvm::fcZero, llvm::APInt::getActiveBits(), llvm::APInt::getAllOnes(), llvm::getFltSemanticForLLT(), llvm::getImm(), llvm::APFloat::getInf(), llvm::APFloat::getLargest(), llvm::APInt::getOneBitSet(), llvm::APInt::getSignedMaxValue(), llvm::APInt::getSignMask(), llvm::CmpInst::ICMP_EQ, llvm::CmpInst::ICMP_NE, llvm::CmpInst::ICMP_UGE, llvm::CmpInst::ICMP_UGT, llvm::CmpInst::ICMP_ULT, Legalized, MI, MIRBuilder, llvm::LLT::scalar(), llvm::APInt::shl(), and llvm::LLT::vector().
Referenced by lower().
◆ lowerLoad()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerLoad | ( | GAnyLoad & | MI | ) |
Definition at line 4116 of file LegalizerHelper.cpp.
References assert(), llvm::bit_floor(), llvm::MachineInstr::eraseFromParent(), llvm::LLT::fixed_vector(), llvm::GMemOperation::getAlign(), llvm::Function::getContext(), llvm::GAnyLoad::getDstReg(), llvm::LLT::getElementType(), llvm::MachineFunction::getFunction(), llvm::MachineFunction::getMachineMemOperand(), llvm::MachineMemOperand::getMemoryType(), llvm::GMemOperation::getMMO(), llvm::LLT::getNumElements(), llvm::MachineInstr::getOpcode(), llvm::MachineMemOperand::getPointerInfo(), llvm::GLoadStore::getPointerReg(), llvm::GenericMachineInstr::getReg(), llvm::LLT::getScalarSizeInBits(), llvm::LLT::getSizeInBits(), llvm::LLT::getSizeInBytes(), llvm::isa(), llvm::LLT::isPointer(), llvm::isPowerOf2_32(), llvm::isPowerOf2_64(), llvm::LLT::isVector(), Legalized, MIRBuilder, llvm::NextPowerOf2(), llvm::PowerOf2Ceil(), reduceLoadStoreWidth(), llvm::LLT::scalar(), UnableToLegalize, and llvm::Align::value().
Referenced by lower().
◆ lowerMemCpyFamily()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerMemCpyFamily | ( | MachineInstr & | MI, |
| unsigned | MaxLen = 0 ) |
Definition at line 10663 of file LegalizerHelper.cpp.
References assert(), llvm::getIConstantVRegValWithLookThrough(), llvm::MachineFunction::getSubtarget(), llvm::TargetSubtargetInfo::getTargetLowering(), Legalized, MI, Opc, shouldLowerMemFuncForSize(), and UnableToLegalize.
Referenced by lower(), and llvm::CombinerHelper::tryCombineMemCpyFamily().
◆ lowerMemcpyInline()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerMemcpyInline | ( | MachineInstr & | MI | ) |
Definition at line 10410 of file LegalizerHelper.cpp.
References assert(), llvm::getIConstantVRegValWithLookThrough(), Legalized, and MI.
◆ lowerMergeValues()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerMergeValues | ( | MachineInstr & | MI | ) |
Definition at line 8851 of file LegalizerHelper.cpp.
References AbstractManglingParser< Derived, Alloc >::NumOps, llvm::dbgs(), I, Legalized, LLVM_DEBUG, MI, MIRBuilder, llvm::Offset, llvm::LLT::scalar(), and UnableToLegalize.
Referenced by lower().
◆ lowerMinMax()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerMinMax | ( | MachineInstr & | MI | ) |
Definition at line 8627 of file LegalizerHelper.cpp.
References llvm::LLT::changeElementSize(), Legalized, MI, minMaxToCompare(), and MIRBuilder.
Referenced by lower().
◆ lowerReadWriteRegister()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerReadWriteRegister | ( | MachineInstr & | MI | ) |
Definition at line 9707 of file LegalizerHelper.cpp.
References llvm::cast(), llvm::StringRef::data(), llvm::LLVMContext::diagnose(), llvm::Function::getContext(), llvm::MachineFunction::getFunction(), llvm::MDString::getString(), Legalized, MI, and MIRBuilder.
Referenced by lower().
◆ lowerRotate()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerRotate | ( | MachineInstr & | MI | ) |
Definition at line 7981 of file LegalizerHelper.cpp.
References MI, and MIRBuilder.
Referenced by lower().
◆ lowerRotateWithReverseRotate()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerRotateWithReverseRotate | ( | MachineInstr & | MI | ) |
Definition at line 7970 of file LegalizerHelper.cpp.
References Legalized, MI, and MIRBuilder.
◆ lowerSADDE()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerSADDE | ( | MachineInstr & | MI | ) |
Definition at line 9377 of file LegalizerHelper.cpp.
References llvm::CmpInst::ICMP_SLT, Legalized, MI, MIRBuilder, and T.
Referenced by lower().
◆ lowerSADDO_SSUBO()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerSADDO_SSUBO | ( | MachineInstr & | MI | ) |
Definition at line 9339 of file LegalizerHelper.cpp.
References llvm::CmpInst::ICMP_SGT, llvm::CmpInst::ICMP_SLT, Legalized, MI, and MIRBuilder.
Referenced by lower().
◆ lowerSelect()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerSelect | ( | MachineInstr & | MI | ) |
Definition at line 9938 of file LegalizerHelper.cpp.
References llvm::LLT::changeElementType(), Legalized, MI, MIRBuilder, llvm::LLT::scalar(), and UnableToLegalize.
Referenced by lower().
◆ lowerShlSat()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerShlSat | ( | MachineInstr & | MI | ) |
Definition at line 9562 of file LegalizerHelper.cpp.
References assert(), llvm::LLT::changeElementSize(), llvm::APInt::getMaxValue(), llvm::LLT::getScalarSizeInBits(), llvm::APInt::getSignedMaxValue(), llvm::APInt::getSignedMinValue(), llvm::CmpInst::ICMP_NE, llvm::CmpInst::ICMP_SLT, Legalized, MI, and MIRBuilder.
Referenced by lower().
◆ lowerShuffleVector()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerShuffleVector | ( | MachineInstr & | MI | ) |
Definition at line 9001 of file LegalizerHelper.cpp.
References llvm::LLT::getScalarType(), Legalized, MI, MIRBuilder, llvm::SmallVectorTemplateBase< T, bool >::push_back(), and llvm::LLT::scalar().
Referenced by lower().
◆ lowerSITOFP()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerSITOFP | ( | MachineInstr & | MI | ) |
Definition at line 8224 of file LegalizerHelper.cpp.
References llvm::CmpInst::ICMP_NE, Legalized, loweri64tof16ITOFP(), MI, MIRBuilder, S1, S32, S64, llvm::LLT::scalar(), UnableToLegalize, and llvm::Xor.
Referenced by lower().
◆ lowerSMULH_UMULH()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerSMULH_UMULH | ( | MachineInstr & | MI | ) |
Definition at line 9743 of file LegalizerHelper.cpp.
References llvm::LLT::changeElementSize(), llvm::LLT::getScalarSizeInBits(), Legalized, MI, MIRBuilder, and llvm::Mul.
Referenced by lower().
◆ lowerSSUBE()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerSSUBE | ( | MachineInstr & | MI | ) |
Definition at line 9399 of file LegalizerHelper.cpp.
References llvm::CmpInst::ICMP_SLT, Legalized, MI, MIRBuilder, and T.
Referenced by lower().
◆ lowerStackRestore()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerStackRestore | ( | MachineInstr & | MI | ) |
Definition at line 9184 of file LegalizerHelper.cpp.
References Legalized, MI, MIRBuilder, and UnableToLegalize.
Referenced by lower().
◆ lowerStackSave()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerStackSave | ( | MachineInstr & | MI | ) |
Definition at line 9173 of file LegalizerHelper.cpp.
References Legalized, MI, MIRBuilder, and UnableToLegalize.
Referenced by lower().
◆ lowerStore()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerStore | ( | GStore & | MI | ) |
Definition at line 4268 of file LegalizerHelper.cpp.
References llvm::bit_floor(), llvm::MachineInstr::eraseFromParent(), llvm::Function::getContext(), llvm::MachineFunction::getFunction(), llvm::MachineFunction::getMachineMemOperand(), llvm::MachineMemOperand::getMemoryType(), llvm::MachineMemOperand::getPointerInfo(), llvm::GLoadStore::getPointerReg(), llvm::LLT::getSizeInBits(), llvm::LLT::getSizeInBytes(), llvm::GStore::getValueReg(), llvm::isPowerOf2_32(), llvm::LLT::isVector(), Legalized, llvm::MachineInstr::memoperands_begin(), MIRBuilder, llvm::PowerOf2Ceil(), reduceLoadStoreWidth(), llvm::LLT::scalar(), scalarizeVectorBooleanStore(), and UnableToLegalize.
Referenced by lower().
◆ lowerThreewayCompare()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerThreewayCompare | ( | MachineInstr & | MI | ) |
Definition at line 8641 of file LegalizerHelper.cpp.
References llvm::cast(), llvm::LLT::changeElementSize(), llvm::getApproximateEVTForLLT(), llvm::CmpInst::ICMP_SGT, llvm::CmpInst::ICMP_SLT, llvm::CmpInst::ICMP_UGT, llvm::CmpInst::ICMP_ULT, llvm::LLT::isVector(), Legalized, MI, MIRBuilder, std::swap(), llvm::TargetLoweringBase::UndefinedBooleanContent, and llvm::TargetLoweringBase::ZeroOrNegativeOneBooleanContent.
Referenced by lower().
◆ lowerTRUNC()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerTRUNC | ( | MachineInstr & | MI | ) |
Definition at line 7913 of file LegalizerHelper.cpp.
References assert(), llvm::LLT::changeElementCount(), llvm::LLT::changeElementSize(), llvm::extractParts(), llvm::LLT::getNumElements(), llvm::LLT::getScalarSizeInBits(), llvm::isPowerOf2_32(), llvm::LLT::isVector(), Legalized, Merge, MI, MIRBuilder, and UnableToLegalize.
Referenced by lower().
◆ lowerU64ToF32BitOps()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerU64ToF32BitOps | ( | MachineInstr & | MI | ) |
Definition at line 8051 of file LegalizerHelper.cpp.
References assert(), llvm::CallingConv::C, llvm::CmpInst::ICMP_EQ, llvm::CmpInst::ICMP_NE, llvm::CmpInst::ICMP_UGT, Legalized, MI, MIRBuilder, S1, S32, S64, llvm::LLT::scalar(), llvm::Sub, and T.
◆ lowerU64ToF32WithSITOFP()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerU64ToF32WithSITOFP | ( | MachineInstr & | MI | ) |
Definition at line 8109 of file LegalizerHelper.cpp.
References assert(), llvm::CmpInst::ICMP_SLT, Legalized, MI, MIRBuilder, S1, S32, S64, and llvm::LLT::scalar().
Referenced by lowerUITOFP().
◆ lowerU64ToF64BitFloatOps()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerU64ToF64BitFloatOps | ( | MachineInstr & | MI | ) |
Definition at line 8144 of file LegalizerHelper.cpp.
References assert(), llvm::bit_cast(), Legalized, MI, MIRBuilder, S32, S64, and llvm::LLT::scalar().
Referenced by lowerUITOFP().
◆ lowerUITOFP()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerUITOFP | ( | MachineInstr & | MI | ) |
Definition at line 8194 of file LegalizerHelper.cpp.
References Legalized, loweri64tof16ITOFP(), lowerU64ToF32WithSITOFP(), lowerU64ToF64BitFloatOps(), MI, MIRBuilder, llvm::LLT::scalar(), and UnableToLegalize.
Referenced by lower().
◆ lowerUnmergeValues()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerUnmergeValues | ( | MachineInstr & | MI | ) |
Definition at line 8889 of file LegalizerHelper.cpp.
References coerceToScalar(), llvm::LLT::getSizeInBits(), I, llvm::LLT::isPointer(), Legalized, MI, MIRBuilder, llvm::Offset, and UnableToLegalize.
Referenced by lower().
◆ lowerVAArg()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerVAArg | ( | MachineInstr & | MI | ) |
Definition at line 10140 of file LegalizerHelper.cpp.
References A(), DL, llvm::Function::getContext(), llvm::MachineFunction::getFunction(), llvm::MachineFunction::getMachineMemOperand(), llvm::LLT::getSizeInBits(), llvm::getTypeForLLT(), Legalized, llvm::Log2(), MI, MIRBuilder, llvm::MachineMemOperand::MOLoad, llvm::MachineMemOperand::MOStore, and llvm::LLT::scalar().
Referenced by lower().
◆ lowerVECTOR_COMPRESS()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerVECTOR_COMPRESS | ( | llvm::MachineInstr & | MI | ) |
Definition at line 9040 of file LegalizerHelper.cpp.
References createStackTemporary(), llvm::LLT::getElementType(), llvm::TypeSize::getFixed(), llvm::LLT::getNumElements(), llvm::MachineInstrBuilder::getReg(), llvm::LLT::getSizeInBits(), getStackTemporaryAlignment(), llvm::MachinePointerInfo::getUnknownStack(), getVectorElementPointer(), I, llvm::CmpInst::ICMP_UGT, llvm::isConstantOrConstantSplatVector(), Legalized, MI, MIRBuilder, llvm::report_fatal_error(), and llvm::LLT::scalar().
Referenced by lower().
◆ lowerVectorReduction()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerVectorReduction | ( | MachineInstr & | MI | ) |
Definition at line 10122 of file LegalizerHelper.cpp.
References llvm::LLT::getSizeInBits(), Legalized, MI, MIRBuilder, Observer, 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 6613 of file LegalizerHelper.cpp.
References llvm::LLT::changeElementCount(), llvm::LLT::fixed_vector(), llvm::ElementCount::get(), llvm::LLT::getElementCount(), llvm::LLT::getElementType(), llvm::LLT::getNumElements(), llvm::LLT::getScalarType(), llvm::LLT::isScalable(), Legalized, MI, MIRBuilder, moreElementsVectorDst(), moreElementsVectorPhi(), moreElementsVectorShuffle(), moreElementsVectorSrc(), Observer, Opc, llvm::SmallVectorTemplateBase< T, bool >::push_back(), llvm::MachineOperand::setReg(), llvm::SmallVectorTemplateCommon< T, typename >::size(), 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 2172 of file LegalizerHelper.cpp.
References llvm::MachineOperand::getReg(), MI, MIRBuilder, OpIdx, and llvm::MachineOperand::setReg().
Referenced by equalizeVectorShuffleLengths(), llvm::AMDGPULegalizerInfo::legalizeSBufferLoad(), moreElementsVector(), moreElementsVectorPhi(), and moreElementsVectorShuffle().
◆ moreElementsVectorPhi()
| LegalizerHelper::LegalizeResult LegalizerHelper::moreElementsVectorPhi | ( | MachineInstr & | MI, |
| unsigned | TypeIdx, | ||
| LLT | MoreTy ) |
Definition at line 6557 of file LegalizerHelper.cpp.
References assert(), llvm::MachineBasicBlock::getFirstTerminator(), I, Legalized, MBB, MI, MIRBuilder, moreElementsVectorDst(), moreElementsVectorSrc(), and Observer.
Referenced by moreElementsVector().
◆ moreElementsVectorShuffle()
| LegalizerHelper::LegalizeResult LegalizerHelper::moreElementsVectorShuffle | ( | MachineInstr & | MI, |
| unsigned | TypeIdx, | ||
| LLT | MoreTy ) |
Definition at line 6942 of file LegalizerHelper.cpp.
References equalizeVectorShuffleLengths(), llvm::LLT::getNumElements(), I, Legalized, MI, MIRBuilder, moreElementsVectorDst(), moreElementsVectorSrc(), and UnableToLegalize.
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 2182 of file LegalizerHelper.cpp.
References MI, MIRBuilder, OpIdx, and llvm::MachineOperand::setReg().
Referenced by moreElementsVector(), moreElementsVectorPhi(), and moreElementsVectorShuffle().
◆ 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 1541 of file LegalizerHelper.cpp.
References llvm::MachineInstrBuilder::add(), llvm::MachineInstrBuilder::addUse(), llvm::append_range(), assert(), llvm::SmallVectorTemplateCommon< T, typename >::back(), llvm::CallingConv::C, llvm::cast(), llvm::dbgs(), llvm::SmallVectorTemplateCommon< T, typename >::empty(), llvm::extractParts(), llvm::LLT::getElementCount(), llvm::MachineBasicBlock::getFirstTerminatorForward(), llvm::LLT::getScalarSizeInBits(), llvm::LLT::getSizeInBits(), llvm::MachineMemOperand::getSizeInBits(), llvm::ICmpInst::getUnsignedPredicate(), llvm::LocationSize::getValue(), I, llvm::CmpInst::ICMP_EQ, llvm::isa(), llvm::ICmpInst::isEquality(), llvm::LLT::isVector(), Legalized, LLVM_DEBUG, llvm::APInt::lshr(), MBB, MI, MIRBuilder, narrowScalarAddSub(), narrowScalarBasic(), narrowScalarCTLZ(), narrowScalarCTPOP(), narrowScalarCTTZ(), narrowScalarDst(), narrowScalarExt(), narrowScalarExtract(), narrowScalarFLDEXP(), narrowScalarFPTOI(), narrowScalarInsert(), narrowScalarMul(), narrowScalarSelect(), narrowScalarShift(), narrowScalarSrc(), Observer, llvm::Offset, OpIdx, llvm::SmallVectorTemplateBase< T, bool >::push_back(), reduceLoadStoreWidth(), llvm::LLT::scalar(), llvm::MachineOperand::setReg(), llvm::SmallVectorTemplateCommon< T, typename >::size(), llvm::APInt::trunc(), UnableToLegalize, llvm::LLT::vector(), llvm::Xor, and llvm::zip().
Referenced by llvm::AMDGPURegisterBankInfo::applyMappingImpl(), llvm::MipsRegisterBankInfo::applyMappingImpl(), llvm::AMDGPURegisterBankInfo::applyMappingLoad(), and legalizeInstrStep().
◆ narrowScalarAddSub()
| LegalizerHelper::LegalizeResult LegalizerHelper::narrowScalarAddSub | ( | MachineInstr & | MI, |
| unsigned | TypeIdx, | ||
| LLT | NarrowTy ) |
Definition at line 7046 of file LegalizerHelper.cpp.
References llvm::SmallVectorImpl< T >::append(), llvm::ArrayRef(), llvm::extractParts(), Legalized, llvm_unreachable, MI, MIRBuilder, llvm::SmallVectorTemplateBase< T, bool >::push_back(), llvm::SmallVectorImpl< T >::reserve(), llvm::LLT::scalar(), llvm::SmallVectorTemplateCommon< T, typename >::size(), and UnableToLegalize.
Referenced by narrowScalar().
◆ narrowScalarBasic()
| LegalizerHelper::LegalizeResult LegalizerHelper::narrowScalarBasic | ( | MachineInstr & | MI, |
| unsigned | TypeIdx, | ||
| LLT | Ty ) |
Definition at line 7346 of file LegalizerHelper.cpp.
References assert(), llvm::extractParts(), I, Legalized, llvm_unreachable, MI, MIRBuilder, llvm::SmallVectorTemplateBase< T, bool >::push_back(), llvm::SmallVectorTemplateCommon< T, typename >::size(), and UnableToLegalize.
Referenced by narrowScalar().
◆ narrowScalarCTLZ()
| LegalizerHelper::LegalizeResult LegalizerHelper::narrowScalarCTLZ | ( | MachineInstr & | MI, |
| unsigned | TypeIdx, | ||
| LLT | Ty ) |
Definition at line 7454 of file LegalizerHelper.cpp.
References B(), llvm::LLT::getSizeInBits(), llvm::CmpInst::ICMP_EQ, 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 7520 of file LegalizerHelper.cpp.
References llvm::LLT::getSizeInBits(), Legalized, MI, MIRBuilder, and UnableToLegalize.
Referenced by narrowScalar().
◆ narrowScalarCTTZ()
| LegalizerHelper::LegalizeResult LegalizerHelper::narrowScalarCTTZ | ( | MachineInstr & | MI, |
| unsigned | TypeIdx, | ||
| LLT | Ty ) |
Definition at line 7487 of file LegalizerHelper.cpp.
References B(), llvm::LLT::getSizeInBits(), llvm::CmpInst::ICMP_EQ, 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 2163 of file LegalizerHelper.cpp.
References MI, MIRBuilder, OpIdx, and llvm::MachineOperand::setReg().
Referenced by narrowScalar(), and narrowScalarFPTOI().
◆ narrowScalarExt()
| LegalizerHelper::LegalizeResult LegalizerHelper::narrowScalarExt | ( | MachineInstr & | MI, |
| unsigned | TypeIdx, | ||
| LLT | Ty ) |
Definition at line 7387 of file LegalizerHelper.cpp.
References llvm::LLT::isVector(), Legalized, MI, and UnableToLegalize.
Referenced by narrowScalar().
◆ narrowScalarExtract()
| LegalizerHelper::LegalizeResult LegalizerHelper::narrowScalarExtract | ( | MachineInstr & | MI, |
| unsigned | TypeIdx, | ||
| LLT | Ty ) |
Definition at line 7197 of file LegalizerHelper.cpp.
References llvm::extractParts(), llvm::LLT::getSizeInBits(), Legalized, MI, MIRBuilder, llvm::SmallVectorTemplateBase< T, bool >::push_back(), llvm::LLT::scalar(), llvm::SmallVectorTemplateCommon< T, typename >::size(), and UnableToLegalize.
Referenced by narrowScalar().
◆ narrowScalarFLDEXP()
| LegalizerHelper::LegalizeResult LegalizerHelper::narrowScalarFLDEXP | ( | MachineInstr & | MI, |
| unsigned | TypeIdx, | ||
| LLT | Ty ) |
Definition at line 7543 of file LegalizerHelper.cpp.
References B(), llvm::LLT::getScalarSizeInBits(), Legalized, llvm::maxIntN(), MI, llvm::minIntN(), MIRBuilder, Observer, and UnableToLegalize.
Referenced by narrowScalar().
◆ narrowScalarFPTOI()
| LegalizerHelper::LegalizeResult LegalizerHelper::narrowScalarFPTOI | ( | MachineInstr & | MI, |
| unsigned | TypeIdx, | ||
| LLT | Ty ) |
Definition at line 7172 of file LegalizerHelper.cpp.
References llvm::LLT::getScalarSizeInBits(), 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 7264 of file LegalizerHelper.cpp.
References llvm::SmallVectorImpl< T >::append(), llvm::extractParts(), llvm::LLT::getSizeInBits(), I, Legalized, MI, MIRBuilder, llvm::SmallVectorTemplateBase< T, bool >::push_back(), llvm::LLT::scalar(), llvm::SmallVectorTemplateCommon< T, typename >::size(), and UnableToLegalize.
Referenced by narrowScalar().
◆ narrowScalarMul()
| LegalizerHelper::LegalizeResult LegalizerHelper::narrowScalarMul | ( | MachineInstr & | MI, |
| LLT | Ty ) |
Definition at line 7142 of file LegalizerHelper.cpp.
References llvm::extractParts(), llvm::LLT::getSizeInBits(), Legalized, MI, MIRBuilder, Size, and UnableToLegalize.
Referenced by narrowScalar().
◆ narrowScalarSelect()
| LegalizerHelper::LegalizeResult LegalizerHelper::narrowScalarSelect | ( | MachineInstr & | MI, |
| unsigned | TypeIdx, | ||
| LLT | Ty ) |
Definition at line 7408 of file LegalizerHelper.cpp.
References llvm::extractParts(), I, llvm::LLT::isVector(), Legalized, llvm_unreachable, MI, MIRBuilder, llvm::SmallVectorTemplateBase< T, bool >::push_back(), Select, llvm::SmallVectorTemplateCommon< T, typename >::size(), and UnableToLegalize.
Referenced by narrowScalar().
◆ narrowScalarShift()
| LegalizerHelper::LegalizeResult LegalizerHelper::narrowScalarShift | ( | MachineInstr & | MI, |
| unsigned | TypeIdx, | ||
| LLT | Ty ) |
Definition at line 6075 of file LegalizerHelper.cpp.
References llvm::getIConstantVRegValWithLookThrough(), llvm::LLT::getScalarSizeInBits(), llvm::LLT::getSizeInBits(), llvm::Hi, llvm::CmpInst::ICMP_EQ, llvm::CmpInst::ICMP_ULT, llvm::LLT::isScalar(), llvm::LLT::isValid(), llvm::LLT::isVector(), Legalized, llvm_unreachable, llvm::Lo, MI, MIRBuilder, narrowScalarShiftByConstant(), narrowScalarShiftMultiway(), narrowScalarSrc(), Observer, llvm::LLT::scalar(), and UnableToLegalize.
Referenced by narrowScalar().
◆ narrowScalarShiftByConstant()
| LegalizerHelper::LegalizeResult LegalizerHelper::narrowScalarShiftByConstant | ( | MachineInstr & | MI, |
| const APInt & | Amt, | ||
| LLT | HalfTy, | ||
| LLT | ShiftAmtTy ) |
Definition at line 5987 of file LegalizerHelper.cpp.
References llvm::LLT::getSizeInBits(), llvm::Hi, llvm::APInt::isZero(), Legalized, llvm::Lo, MI, MIRBuilder, Register, and llvm::APInt::ugt().
Referenced by narrowScalarShift().
◆ narrowScalarShiftByConstantMultiway()
| LegalizerHelper::LegalizeResult LegalizerHelper::narrowScalarShiftByConstantMultiway | ( | MachineInstr & | MI, |
| const APInt & | Amt, | ||
| LLT | TargetTy, | ||
| LLT | ShiftAmtTy ) |
Optimized path for constant shift amounts using static indexing.
Directly calculates which source parts contribute to each output part without generating runtime select chains.
Definition at line 6344 of file LegalizerHelper.cpp.
References assert(), llvm::LegalizerHelper::ShiftParams::BitShift, buildConstantShiftPart(), llvm::extractParts(), llvm::LLT::getScalarSizeInBits(), llvm::APInt::getZExtValue(), I, llvm::LegalizerHelper::ShiftParams::InvBitShift, llvm::APInt::isZero(), Legalized, MI, MIRBuilder, llvm::LegalizerHelper::ShiftParams::SignBit, llvm::SmallVectorTemplateCommon< T, typename >::size(), llvm::LegalizerHelper::ShiftParams::WordShift, and llvm::LegalizerHelper::ShiftParams::Zero.
Referenced by narrowScalarShiftMultiway().
◆ narrowScalarShiftMultiway()
| LegalizerHelper::LegalizeResult LegalizerHelper::narrowScalarShiftMultiway | ( | MachineInstr & | MI, |
| LLT | TargetTy ) |
Multi-way shift legalization: directly split wide shifts into target-sized parts in a single step, avoiding recursive binary splitting.
Definition at line 6404 of file LegalizerHelper.cpp.
References assert(), buildVariableShiftPart(), llvm::extractParts(), llvm::getIConstantVRegValWithLookThrough(), llvm::LLT::getScalarSizeInBits(), I, llvm::CmpInst::ICMP_EQ, llvm::isPowerOf2_32(), Legalized, llvm_unreachable, llvm::Log2_32(), MI, MIRBuilder, narrowScalarShiftByConstantMultiway(), and llvm::LLT::scalar().
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 2147 of file LegalizerHelper.cpp.
References MI, MIRBuilder, OpIdx, and llvm::MachineOperand::setReg().
Referenced by narrowScalar(), and narrowScalarShift().
◆ reduceLoadStoreWidth()
| LegalizerHelper::LegalizeResult LegalizerHelper::reduceLoadStoreWidth | ( | GLoadStore & | MI, |
| unsigned | TypeIdx, | ||
| LLT | NarrowTy ) |
Definition at line 5387 of file LegalizerHelper.cpp.
References llvm::dbgs(), llvm::MachineInstr::eraseFromParent(), llvm::extractParts(), llvm::MachineFunction::getMachineMemOperand(), llvm::GMemOperation::getMemSize(), llvm::GMemOperation::getMMO(), getNarrowTypeBreakDown(), llvm::GLoadStore::getPointerReg(), llvm::GenericMachineInstr::getReg(), llvm::LLT::getSizeInBits(), llvm::LocationSize::getValue(), llvm::isa(), llvm::GMemOperation::isAtomic(), isBigEndian(), llvm::LLT::isByteSized(), llvm::LLT::isValid(), Legalized, LLVM_DEBUG, MIRBuilder, llvm::Offset, llvm::LLT::scalar(), llvm::SmallVectorTemplateCommon< T, typename >::size(), and UnableToLegalize.
Referenced by llvm::AMDGPURegisterBankInfo::applyMappingLoad(), fewerElementsVector(), lowerLoad(), lowerStore(), and narrowScalar().
◆ scalarizeVectorBooleanStore()
| LegalizerHelper::LegalizeResult LegalizerHelper::scalarizeVectorBooleanStore | ( | GStore & | MI | ) |
Given a store of a boolean vector, scalarize it.
Definition at line 4363 of file LegalizerHelper.cpp.
References assert(), llvm::MachineInstr::eraseFromParent(), llvm::MachineFunction::getDataLayout(), llvm::LLT::getElementType(), llvm::MachineFunction::getMachineMemOperand(), llvm::MachineMemOperand::getMemoryType(), llvm::LLT::getNumElements(), llvm::MachineMemOperand::getPointerInfo(), llvm::GLoadStore::getPointerReg(), llvm::LLT::getSizeInBits(), llvm::GStore::getValueReg(), I, llvm::DataLayout::isBigEndian(), llvm::LLT::isByteSized(), Legalized, llvm::MachineInstr::memoperands_begin(), MIRBuilder, llvm::LLT::scalar(), and UnableToLegalize.
Referenced by lowerStore().
◆ 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 2731 of file LegalizerHelper.cpp.
References assert(), llvm::APFloat::bitcastToAPInt(), llvm::cast(), llvm::LLT::changeElementType(), llvm::APInt::getAllOnes(), llvm::getApproximateEVTForLLT(), llvm::GInsertSubvector::getBigVec(), llvm::MachineOperand::getCImm(), llvm::LLT::getElementCount(), llvm::LLT::getElementType(), llvm::MachineBasicBlock::getFirstTerminatorForward(), llvm::MachineOperand::getFPImm(), llvm::GInsertSubvector::getIndexImm(), llvm::MachineFunction::getMachineMemOperand(), llvm::APInt::getOneBitSet(), llvm::MachineMemOperand::getPointerInfo(), llvm::GenericMachineInstr::getReg(), llvm::LLT::getScalarSizeInBits(), llvm::LLT::getScalarType(), llvm::APInt::getSignedMaxValue(), llvm::APInt::getSignedMinValue(), llvm::LLT::getSizeInBits(), llvm::GInsertSubvector::getSubVec(), llvm::ConstantInt::getValue(), llvm::ConstantFP::getValueAPF(), I, llvm::CmpInst::ICMP_NE, llvm::CmpInst::isSigned(), llvm::LLT::isVector(), Legalized, MBB, MI, MIRBuilder, Observer, llvm::MachineOperand::setCImm(), llvm::APInt::sext(), UnableToLegalize, llvm::LLT::vector(), widenScalarDst(), widenScalarSrc(), and llvm::APInt::zext().
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 2154 of file LegalizerHelper.cpp.
References MI, MIRBuilder, OpIdx, and llvm::MachineOperand::setReg().
Referenced by llvm::AMDGPURegisterBankInfo::applyMappingImpl(), llvm::RISCVLegalizerInfo::legalizeCustom(), 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 2140 of file LegalizerHelper.cpp.
References MI, MIRBuilder, OpIdx, and llvm::MachineOperand::setReg().
Referenced by llvm::AMDGPURegisterBankInfo::applyMappingImpl(), llvm::RISCVLegalizerInfo::legalizeCustom(), llvm::RISCVLegalizerInfo::legalizeIntrinsic(), and widenScalar().
Member Data Documentation
◆ MIRBuilder
| MachineIRBuilder& llvm::LegalizerHelper::MIRBuilder |
Expose MIRBuilder so clients can set their own RecordInsertInstruction functions.
Definition at line 53 of file LegalizerHelper.h.
Referenced by bitcastDst(), bitcastExtractSubvector(), bitcastExtractVectorElt(), bitcastInsertSubvector(), bitcastInsertVectorElt(), bitcastShuffleVector(), bitcastSrc(), buildConstantShiftPart(), llvm::AMDGPULegalizerInfo::buildMultiply(), buildVariableShiftPart(), coerceToScalar(), convertPtrToInt(), createStackStoreLoad(), createStackTemporary(), equalizeVectorShuffleLengths(), fewerElementsBitcast(), fewerElementsVectorExtractInsertVectorElt(), fewerElementsVectorMerge(), fewerElementsVectorMultiEltType(), fewerElementsVectorPhi(), fewerElementsVectorReductions(), fewerElementsVectorSeqReductions(), fewerElementsVectorShuffle(), fewerElementsVectorUnmergeValues(), getDynStackAllocTargetPtr(), getVectorElementPointer(), llvm::AMDGPULegalizerInfo::legalizeBufferLoad(), llvm::AMDGPULegalizerInfo::legalizeBufferStore(), llvm::AArch64LegalizerInfo::legalizeCustom(), llvm::AMDGPULegalizerInfo::legalizeCustom(), llvm::ARMLegalizerInfo::legalizeCustom(), llvm::MipsLegalizerInfo::legalizeCustom(), llvm::RISCVLegalizerInfo::legalizeCustom(), llvm::SPIRVLegalizerInfo::legalizeCustom(), llvm::X86LegalizerInfo::legalizeCustom(), legalizeInstrStep(), llvm::AArch64LegalizerInfo::legalizeIntrinsic(), llvm::AMDGPULegalizerInfo::legalizeIntrinsic(), llvm::MipsLegalizerInfo::legalizeIntrinsic(), llvm::RISCVLegalizerInfo::legalizeIntrinsic(), llvm::AMDGPULegalizerInfo::legalizeLaneOp(), llvm::AMDGPULegalizerInfo::legalizeLoad(), llvm::Legalizer::legalizeMachineFunction(), llvm::AMDGPULegalizerInfo::legalizeMinNumMaxNum(), llvm::AMDGPULegalizerInfo::legalizeMul(), LegalizerHelper(), LegalizerHelper(), llvm::AMDGPULegalizerInfo::legalizeSBufferLoad(), llvm::AMDGPULegalizerInfo::legalizeSBufferPrefetch(), llvm::AMDGPULegalizerInfo::legalizeStore(), libcall(), lower(), lowerAbsDiffToMinMax(), lowerAbsDiffToSelect(), lowerAbsToAddXor(), lowerAbsToCNeg(), lowerAbsToMaxNeg(), lowerAddSubSatToAddoSubo(), lowerAddSubSatToMinMax(), lowerBitcast(), lowerBitCount(), lowerBitreverse(), lowerBswap(), lowerConstant(), lowerDIVREM(), lowerDynStackAlloc(), lowerEXT(), lowerExtract(), lowerExtractInsertVectorElt(), lowerFAbs(), lowerFConstant(), lowerFCopySign(), lowerFFloor(), lowerFMad(), lowerFMinNumMaxNum(), lowerFPOWI(), lowerFPTOINT_SAT(), lowerFPTOSI(), lowerFPTOUI(), lowerFPTRUNC_F64_TO_F16(), lowerFunnelShiftAsShifts(), lowerFunnelShiftWithInverse(), lowerInsert(), lowerIntrinsicRound(), lowerISFPCLASS(), lowerLoad(), lowerMergeValues(), lowerMinMax(), lowerReadWriteRegister(), lowerRotate(), lowerRotateWithReverseRotate(), lowerSADDE(), lowerSADDO_SSUBO(), lowerSelect(), lowerShlSat(), lowerShuffleVector(), lowerSITOFP(), lowerSMULH_UMULH(), lowerSSUBE(), lowerStackRestore(), lowerStackSave(), lowerStore(), lowerThreewayCompare(), lowerTRUNC(), lowerU64ToF32BitOps(), lowerU64ToF32WithSITOFP(), lowerU64ToF64BitFloatOps(), lowerUITOFP(), lowerUnmergeValues(), lowerVAArg(), lowerVECTOR_COMPRESS(), lowerVectorReduction(), moreElementsVector(), moreElementsVectorDst(), moreElementsVectorPhi(), moreElementsVectorShuffle(), moreElementsVectorSrc(), narrowScalar(), narrowScalarAddSub(), narrowScalarBasic(), narrowScalarCTLZ(), narrowScalarCTPOP(), narrowScalarCTTZ(), narrowScalarDst(), narrowScalarExtract(), narrowScalarFLDEXP(), narrowScalarInsert(), narrowScalarMul(), narrowScalarSelect(), narrowScalarShift(), narrowScalarShiftByConstant(), narrowScalarShiftByConstantMultiway(), narrowScalarShiftMultiway(), narrowScalarSrc(), reduceLoadStoreWidth(), scalarizeVectorBooleanStore(), widenScalar(), widenScalarDst(), and widenScalarSrc().
◆ Observer
| GISelChangeObserver& llvm::LegalizerHelper::Observer |
To keep track of changes made by the LegalizerHelper.
Definition at line 56 of file LegalizerHelper.h.
Referenced by bitcast(), llvm::AMDGPULegalizerInfo::legalizeBufferLoad(), llvm::AArch64LegalizerInfo::legalizeCustom(), llvm::RISCVLegalizerInfo::legalizeCustom(), llvm::AArch64LegalizerInfo::legalizeIntrinsic(), llvm::AMDGPULegalizerInfo::legalizeIntrinsic(), llvm::RISCVLegalizerInfo::legalizeIntrinsic(), llvm::AMDGPULegalizerInfo::legalizeLoad(), LegalizerHelper(), LegalizerHelper(), llvm::AMDGPULegalizerInfo::legalizeSBufferLoad(), llvm::AMDGPULegalizerInfo::legalizeSBufferPrefetch(), llvm::AMDGPULegalizerInfo::legalizeStore(), lower(), lowerBitCount(), lowerVectorReduction(), moreElementsVector(), moreElementsVectorPhi(), narrowScalar(), narrowScalarFLDEXP(), 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
Generated on for LLVM by
1.14.0