#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 4347 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 3857 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 2141 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 3936 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 3648 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 3999 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 3784 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 3902 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 2136 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 6143 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 6220 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 2067 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 4837 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 4824 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 6810 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 5605 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 5428 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 5247 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 5161 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 4989 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 5059 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 5779 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 5866 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 5641 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 5112 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 9065 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 4813 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 4872 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 1267 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 4435 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 10020 of file LegalizerHelper.cpp.
References assert(), Legalized, MI, and MIRBuilder.
Referenced by lower().
◆ lowerAbsDiffToSelect()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerAbsDiffToSelect | ( | MachineInstr & | MI | ) |
Definition at line 9997 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 9952 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 9984 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 9969 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 9435 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 9360 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 3556 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 7507 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 9577 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 9532 of file LegalizerHelper.cpp.
References Legalized, MI, and MIRBuilder.
Referenced by lower().
◆ lowerConstant()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerConstant | ( | MachineInstr & | MI | ) |
Definition at line 3534 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 9935 of file LegalizerHelper.cpp.
References Legalized, MI, and MIRBuilder.
Referenced by lower().
◆ lowerDynStackAlloc()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerDynStackAlloc | ( | MachineInstr & | MI | ) |
Definition at line 9089 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 7810 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 9134 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 8868 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 10044 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 3545 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 8628 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 8764 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 8717 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 8670 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 8541 of file LegalizerHelper.cpp.
References Legalized, MI, and MIRBuilder.
Referenced by lower().
◆ lowerFPTOINT_SAT()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerFPTOINT_SAT | ( | MachineInstr & | MI | ) |
Definition at line 8314 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 8249 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 8209 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 8530 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 8415 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 7732 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 7693 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 9188 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 8731 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 9704 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 4056 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 10602 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 10349 of file LegalizerHelper.cpp.
References assert(), llvm::getIConstantVRegValWithLookThrough(), Legalized, and MI.
◆ lowerMergeValues()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerMergeValues | ( | MachineInstr & | MI | ) |
Definition at line 8790 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 8566 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 9646 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 7920 of file LegalizerHelper.cpp.
References MI, and MIRBuilder.
Referenced by lower().
◆ lowerRotateWithReverseRotate()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerRotateWithReverseRotate | ( | MachineInstr & | MI | ) |
Definition at line 7909 of file LegalizerHelper.cpp.
References Legalized, MI, and MIRBuilder.
◆ lowerSADDE()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerSADDE | ( | MachineInstr & | MI | ) |
Definition at line 9316 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 9278 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 9877 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 9501 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 8940 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 8163 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 9682 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 9338 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 9123 of file LegalizerHelper.cpp.
References Legalized, MI, MIRBuilder, and UnableToLegalize.
Referenced by lower().
◆ lowerStackSave()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerStackSave | ( | MachineInstr & | MI | ) |
Definition at line 9112 of file LegalizerHelper.cpp.
References Legalized, MI, MIRBuilder, and UnableToLegalize.
Referenced by lower().
◆ lowerStore()
| LegalizerHelper::LegalizeResult LegalizerHelper::lowerStore | ( | GStore & | MI | ) |
Definition at line 4208 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 8580 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 7852 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 7990 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 8048 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 8083 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 8133 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 8828 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 10079 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 8979 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 10061 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 6552 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 2120 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 6496 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 6881 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 2130 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 1489 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 6985 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 7285 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 7393 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 7459 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 7426 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 2111 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 7326 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 7136 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 7482 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 7111 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 7203 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 7081 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 7347 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 6014 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 5926 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 6283 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 6343 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 2095 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 5327 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 4303 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 2679 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 2102 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 2088 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