LLVM 19.0.0git
|
#include "llvm/CodeGen/GlobalISel/CombinerHelper.h"
Public Member Functions | |
CombinerHelper (GISelChangeObserver &Observer, MachineIRBuilder &B, bool IsPreLegalize, GISelKnownBits *KB=nullptr, MachineDominatorTree *MDT=nullptr, const LegalizerInfo *LI=nullptr) | |
GISelKnownBits * | getKnownBits () const |
MachineIRBuilder & | getBuilder () const |
const TargetLowering & | getTargetLowering () const |
bool | isPreLegalize () const |
bool | isLegal (const LegalityQuery &Query) const |
bool | isLegalOrBeforeLegalizer (const LegalityQuery &Query) const |
bool | isConstantLegalOrBeforeLegalizer (const LLT Ty) const |
void | replaceRegWith (MachineRegisterInfo &MRI, Register FromReg, Register ToReg) const |
MachineRegisterInfo::replaceRegWith() and inform the observer of the changes. | |
void | replaceRegOpWith (MachineRegisterInfo &MRI, MachineOperand &FromRegOp, Register ToReg) const |
Replace a single register operand with a new register and inform the observer of the changes. | |
void | replaceOpcodeWith (MachineInstr &FromMI, unsigned ToOpcode) const |
Replace the opcode in instruction with a new opcode and inform the observer of the changes. | |
const RegisterBank * | getRegBank (Register Reg) const |
Get the register bank of Reg . | |
void | setRegBank (Register Reg, const RegisterBank *RegBank) |
Set the register bank of Reg . | |
bool | tryCombineCopy (MachineInstr &MI) |
If MI is COPY, try to combine it. | |
bool | matchCombineCopy (MachineInstr &MI) |
void | applyCombineCopy (MachineInstr &MI) |
bool | isPredecessor (const MachineInstr &DefMI, const MachineInstr &UseMI) |
Returns true if DefMI precedes UseMI or they are the same instruction. | |
bool | dominates (const MachineInstr &DefMI, const MachineInstr &UseMI) |
Returns true if DefMI dominates UseMI . | |
bool | tryCombineExtendingLoads (MachineInstr &MI) |
If MI is extend that consumes the result of a load, try to combine it. | |
bool | matchCombineExtendingLoads (MachineInstr &MI, PreferredTuple &MatchInfo) |
void | applyCombineExtendingLoads (MachineInstr &MI, PreferredTuple &MatchInfo) |
bool | matchCombineLoadWithAndMask (MachineInstr &MI, BuildFnTy &MatchInfo) |
Match (and (load x), mask) -> zextload x. | |
bool | matchCombineExtractedVectorLoad (MachineInstr &MI, BuildFnTy &MatchInfo) |
Combine a G_EXTRACT_VECTOR_ELT of a load into a narrowed load. | |
bool | matchCombineIndexedLoadStore (MachineInstr &MI, IndexedLoadStoreMatchInfo &MatchInfo) |
void | applyCombineIndexedLoadStore (MachineInstr &MI, IndexedLoadStoreMatchInfo &MatchInfo) |
bool | matchSextTruncSextLoad (MachineInstr &MI) |
void | applySextTruncSextLoad (MachineInstr &MI) |
bool | matchSextInRegOfLoad (MachineInstr &MI, std::tuple< Register, unsigned > &MatchInfo) |
Match sext_inreg(load p), imm -> sextload p. | |
void | applySextInRegOfLoad (MachineInstr &MI, std::tuple< Register, unsigned > &MatchInfo) |
bool | matchCombineDivRem (MachineInstr &MI, MachineInstr *&OtherMI) |
Try to combine G_[SU]DIV and G_[SU]REM into a single G_[SU]DIVREM when their source operands are identical. | |
void | applyCombineDivRem (MachineInstr &MI, MachineInstr *&OtherMI) |
bool | matchOptBrCondByInvertingCond (MachineInstr &MI, MachineInstr *&BrCond) |
If a brcond's true block is not the fallthrough, make it so by inverting the condition and swapping operands. | |
void | applyOptBrCondByInvertingCond (MachineInstr &MI, MachineInstr *&BrCond) |
bool | matchCombineConcatVectors (MachineInstr &MI, SmallVector< Register > &Ops) |
If MI is G_CONCAT_VECTORS, try to combine it. | |
void | applyCombineConcatVectors (MachineInstr &MI, SmallVector< Register > &Ops) |
Replace MI with a flattened build_vector with Ops or an implicit_def if Ops is empty. | |
bool | tryCombineShuffleVector (MachineInstr &MI) |
Try to combine G_SHUFFLE_VECTOR into G_CONCAT_VECTORS. | |
bool | matchCombineShuffleVector (MachineInstr &MI, SmallVectorImpl< Register > &Ops) |
Check if the G_SHUFFLE_VECTOR MI can be replaced by a concat_vectors. | |
void | applyCombineShuffleVector (MachineInstr &MI, const ArrayRef< Register > Ops) |
Replace MI with a concat_vectors with Ops . | |
bool | matchShuffleToExtract (MachineInstr &MI) |
void | applyShuffleToExtract (MachineInstr &MI) |
bool | tryCombineMemCpyFamily (MachineInstr &MI, unsigned MaxLen=0) |
Optimize memcpy intrinsics et al, e.g. | |
bool | matchPtrAddImmedChain (MachineInstr &MI, PtrAddChain &MatchInfo) |
void | applyPtrAddImmedChain (MachineInstr &MI, PtrAddChain &MatchInfo) |
bool | matchShiftImmedChain (MachineInstr &MI, RegisterImmPair &MatchInfo) |
Fold (shift (shift base, x), y) -> (shift base (x+y)) | |
void | applyShiftImmedChain (MachineInstr &MI, RegisterImmPair &MatchInfo) |
bool | matchShiftOfShiftedLogic (MachineInstr &MI, ShiftOfShiftedLogic &MatchInfo) |
If we have a shift-by-constant of a bitwise logic op that itself has a shift-by-constant operand with identical opcode, we may be able to convert that into 2 independent shifts followed by the logic op. | |
void | applyShiftOfShiftedLogic (MachineInstr &MI, ShiftOfShiftedLogic &MatchInfo) |
bool | matchCommuteShift (MachineInstr &MI, BuildFnTy &MatchInfo) |
bool | matchCombineMulToShl (MachineInstr &MI, unsigned &ShiftVal) |
Transform a multiply by a power-of-2 value to a left shift. | |
void | applyCombineMulToShl (MachineInstr &MI, unsigned &ShiftVal) |
bool | matchCombineShlOfExtend (MachineInstr &MI, RegisterImmPair &MatchData) |
void | applyCombineShlOfExtend (MachineInstr &MI, const RegisterImmPair &MatchData) |
bool | matchCombineMergeUnmerge (MachineInstr &MI, Register &MatchInfo) |
Fold away a merge of an unmerge of the corresponding values. | |
bool | matchCombineShiftToUnmerge (MachineInstr &MI, unsigned TargetShiftSize, unsigned &ShiftVal) |
Reduce a shift by a constant to an unmerge and a shift on a half sized type. | |
void | applyCombineShiftToUnmerge (MachineInstr &MI, const unsigned &ShiftVal) |
bool | tryCombineShiftToUnmerge (MachineInstr &MI, unsigned TargetShiftAmount) |
bool | matchCombineUnmergeMergeToPlainValues (MachineInstr &MI, SmallVectorImpl< Register > &Operands) |
Transform <ty,...> G_UNMERGE(G_MERGE ty X, Y, Z) -> ty X, Y, Z. | |
void | applyCombineUnmergeMergeToPlainValues (MachineInstr &MI, SmallVectorImpl< Register > &Operands) |
bool | matchCombineUnmergeConstant (MachineInstr &MI, SmallVectorImpl< APInt > &Csts) |
Transform G_UNMERGE Constant -> Constant1, Constant2, ... | |
void | applyCombineUnmergeConstant (MachineInstr &MI, SmallVectorImpl< APInt > &Csts) |
bool | matchCombineUnmergeUndef (MachineInstr &MI, std::function< void(MachineIRBuilder &)> &MatchInfo) |
Transform G_UNMERGE G_IMPLICIT_DEF -> G_IMPLICIT_DEF, G_IMPLICIT_DEF, ... | |
bool | matchCombineUnmergeWithDeadLanesToTrunc (MachineInstr &MI) |
Transform X, Y<dead> = G_UNMERGE Z -> X = G_TRUNC Z. | |
void | applyCombineUnmergeWithDeadLanesToTrunc (MachineInstr &MI) |
bool | matchCombineUnmergeZExtToZExt (MachineInstr &MI) |
Transform X, Y = G_UNMERGE(G_ZEXT(Z)) -> X = G_ZEXT(Z); Y = G_CONSTANT 0. | |
void | applyCombineUnmergeZExtToZExt (MachineInstr &MI) |
void | applyCombineConstantFoldFpUnary (MachineInstr &MI, const ConstantFP *Cst) |
Transform fp_instr(cst) to constant result of the fp operation. | |
bool | matchCombineI2PToP2I (MachineInstr &MI, Register &Reg) |
Transform IntToPtr(PtrToInt(x)) to x if cast is in the same address space. | |
void | applyCombineI2PToP2I (MachineInstr &MI, Register &Reg) |
void | applyCombineP2IToI2P (MachineInstr &MI, Register &Reg) |
Transform PtrToInt(IntToPtr(x)) to x. | |
bool | matchCombineAddP2IToPtrAdd (MachineInstr &MI, std::pair< Register, bool > &PtrRegAndCommute) |
Transform G_ADD (G_PTRTOINT x), y -> G_PTRTOINT (G_PTR_ADD x, y) Transform G_ADD y, (G_PTRTOINT x) -> G_PTRTOINT (G_PTR_ADD x, y) | |
void | applyCombineAddP2IToPtrAdd (MachineInstr &MI, std::pair< Register, bool > &PtrRegAndCommute) |
bool | matchCombineConstPtrAddToI2P (MachineInstr &MI, APInt &NewCst) |
void | applyCombineConstPtrAddToI2P (MachineInstr &MI, APInt &NewCst) |
bool | matchCombineAnyExtTrunc (MachineInstr &MI, Register &Reg) |
Transform anyext(trunc(x)) to x. | |
bool | matchCombineZextTrunc (MachineInstr &MI, Register &Reg) |
Transform zext(trunc(x)) to x. | |
bool | matchCombineExtOfExt (MachineInstr &MI, std::tuple< Register, unsigned > &MatchInfo) |
Transform [asz]ext([asz]ext(x)) to [asz]ext x. | |
void | applyCombineExtOfExt (MachineInstr &MI, std::tuple< Register, unsigned > &MatchInfo) |
bool | matchCombineTruncOfExt (MachineInstr &MI, std::pair< Register, unsigned > &MatchInfo) |
Transform trunc ([asz]ext x) to x or ([asz]ext x) or (trunc x). | |
void | applyCombineTruncOfExt (MachineInstr &MI, std::pair< Register, unsigned > &MatchInfo) |
bool | matchCombineTruncOfShift (MachineInstr &MI, std::pair< MachineInstr *, LLT > &MatchInfo) |
Transform trunc (shl x, K) to shl (trunc x), K if K < VT.getScalarSizeInBits(). | |
void | applyCombineTruncOfShift (MachineInstr &MI, std::pair< MachineInstr *, LLT > &MatchInfo) |
bool | matchAnyExplicitUseIsUndef (MachineInstr &MI) |
Return true if any explicit use operand on MI is defined by a G_IMPLICIT_DEF. | |
bool | matchAllExplicitUsesAreUndef (MachineInstr &MI) |
Return true if all register explicit use operands on MI are defined by a G_IMPLICIT_DEF. | |
bool | matchUndefShuffleVectorMask (MachineInstr &MI) |
Return true if a G_SHUFFLE_VECTOR instruction MI has an undef mask. | |
bool | matchUndefStore (MachineInstr &MI) |
Return true if a G_STORE instruction MI is storing an undef value. | |
bool | matchUndefSelectCmp (MachineInstr &MI) |
Return true if a G_SELECT instruction MI has an undef comparison. | |
bool | matchInsertExtractVecEltOutOfBounds (MachineInstr &MI) |
Return true if a G_{EXTRACT,INSERT}_VECTOR_ELT has an out of range index. | |
bool | matchConstantSelectCmp (MachineInstr &MI, unsigned &OpIdx) |
Return true if a G_SELECT instruction MI has a constant comparison. | |
void | replaceInstWithFConstant (MachineInstr &MI, double C) |
Replace an instruction with a G_FCONSTANT with value C . | |
void | replaceInstWithFConstant (MachineInstr &MI, ConstantFP *CFP) |
Replace an instruction with an G_FCONSTANT with value CFP . | |
void | replaceInstWithConstant (MachineInstr &MI, int64_t C) |
Replace an instruction with a G_CONSTANT with value C . | |
void | replaceInstWithConstant (MachineInstr &MI, APInt C) |
Replace an instruction with a G_CONSTANT with value C . | |
void | replaceInstWithUndef (MachineInstr &MI) |
Replace an instruction with a G_IMPLICIT_DEF. | |
void | replaceSingleDefInstWithOperand (MachineInstr &MI, unsigned OpIdx) |
Delete MI and replace all of its uses with its OpIdx-th operand. | |
void | replaceSingleDefInstWithReg (MachineInstr &MI, Register Replacement) |
Delete MI and replace all of its uses with Replacement . | |
void | applyFunnelShiftConstantModulo (MachineInstr &MI) |
Replaces the shift amount in MI with ShiftAmt % BW. | |
bool | matchEqualDefs (const MachineOperand &MOP1, const MachineOperand &MOP2) |
Return true if MOP1 and MOP2 are register operands are defined by equivalent instructions. | |
bool | matchConstantOp (const MachineOperand &MOP, int64_t C) |
Return true if MOP is defined by a G_CONSTANT or splat with a value equal to C . | |
bool | matchConstantFPOp (const MachineOperand &MOP, double C) |
Return true if MOP is defined by a G_FCONSTANT or splat with a value exactly equal to C . | |
bool | matchConstantLargerBitWidth (MachineInstr &MI, unsigned ConstIdx) |
Checks if constant at ConstIdx is larger than MI 's bitwidth. | |
bool | matchSelectSameVal (MachineInstr &MI) |
Optimize (cond ? x : x) -> x. | |
bool | matchBinOpSameVal (MachineInstr &MI) |
Optimize (x op x) -> x. | |
bool | matchOperandIsZero (MachineInstr &MI, unsigned OpIdx) |
Check if operand OpIdx is zero. | |
bool | matchOperandIsUndef (MachineInstr &MI, unsigned OpIdx) |
Check if operand OpIdx is undef. | |
bool | matchOperandIsKnownToBeAPowerOfTwo (MachineInstr &MI, unsigned OpIdx) |
Check if operand OpIdx is known to be a power of 2. | |
void | eraseInst (MachineInstr &MI) |
Erase MI . | |
bool | matchSimplifyAddToSub (MachineInstr &MI, std::tuple< Register, Register > &MatchInfo) |
Return true if MI is a G_ADD which can be simplified to a G_SUB. | |
void | applySimplifyAddToSub (MachineInstr &MI, std::tuple< Register, Register > &MatchInfo) |
bool | matchHoistLogicOpWithSameOpcodeHands (MachineInstr &MI, InstructionStepsMatchInfo &MatchInfo) |
Match (logic_op (op x...), (op y...)) -> (op (logic_op x, y)) | |
void | applyBuildInstructionSteps (MachineInstr &MI, InstructionStepsMatchInfo &MatchInfo) |
Replace MI with a series of instructions described in MatchInfo . | |
bool | matchAshrShlToSextInreg (MachineInstr &MI, std::tuple< Register, int64_t > &MatchInfo) |
Match ashr (shl x, C), C -> sext_inreg (C) | |
void | applyAshShlToSextInreg (MachineInstr &MI, std::tuple< Register, int64_t > &MatchInfo) |
bool | matchOverlappingAnd (MachineInstr &MI, BuildFnTy &MatchInfo) |
Fold and(and(x, C1), C2) -> C1&C2 ? and(x, C1&C2) : 0. | |
bool | matchRedundantAnd (MachineInstr &MI, Register &Replacement) |
bool | matchRedundantOr (MachineInstr &MI, Register &Replacement) |
bool | matchRedundantSExtInReg (MachineInstr &MI) |
bool | matchNotCmp (MachineInstr &MI, SmallVectorImpl< Register > &RegsToNegate) |
Combine inverting a result of a compare into the opposite cond code. | |
void | applyNotCmp (MachineInstr &MI, SmallVectorImpl< Register > &RegsToNegate) |
bool | matchXorOfAndWithSameReg (MachineInstr &MI, std::pair< Register, Register > &MatchInfo) |
Fold (xor (and x, y), y) -> (and (not x), y) {. | |
void | applyXorOfAndWithSameReg (MachineInstr &MI, std::pair< Register, Register > &MatchInfo) |
bool | matchPtrAddZero (MachineInstr &MI) |
} | |
void | applyPtrAddZero (MachineInstr &MI) |
void | applySimplifyURemByPow2 (MachineInstr &MI) |
Combine G_UREM x, (known power of 2) to an add and bitmasking. | |
bool | matchFoldBinOpIntoSelect (MachineInstr &MI, unsigned &SelectOpNo) |
Push a binary operator through a select on constants. | |
void | applyFoldBinOpIntoSelect (MachineInstr &MI, const unsigned &SelectOpNo) |
SelectOperand is the operand in binary operator MI that is the select to fold. | |
bool | matchCombineInsertVecElts (MachineInstr &MI, SmallVectorImpl< Register > &MatchInfo) |
void | applyCombineInsertVecElts (MachineInstr &MI, SmallVectorImpl< Register > &MatchInfo) |
bool | matchLoadOrCombine (MachineInstr &MI, BuildFnTy &MatchInfo) |
Match expression trees of the form. | |
bool | matchExtendThroughPhis (MachineInstr &MI, MachineInstr *&ExtMI) |
void | applyExtendThroughPhis (MachineInstr &MI, MachineInstr *&ExtMI) |
bool | matchExtractVecEltBuildVec (MachineInstr &MI, Register &Reg) |
void | applyExtractVecEltBuildVec (MachineInstr &MI, Register &Reg) |
bool | matchExtractAllEltsFromBuildVector (MachineInstr &MI, SmallVectorImpl< std::pair< Register, MachineInstr * > > &MatchInfo) |
void | applyExtractAllEltsFromBuildVector (MachineInstr &MI, SmallVectorImpl< std::pair< Register, MachineInstr * > > &MatchInfo) |
void | applyBuildFn (MachineInstr &MI, BuildFnTy &MatchInfo) |
Use a function which takes in a MachineIRBuilder to perform a combine. | |
void | applyBuildFnNoErase (MachineInstr &MI, BuildFnTy &MatchInfo) |
Use a function which takes in a MachineIRBuilder to perform a combine. | |
bool | matchOrShiftToFunnelShift (MachineInstr &MI, BuildFnTy &MatchInfo) |
bool | matchFunnelShiftToRotate (MachineInstr &MI) |
Match an FSHL or FSHR that can be combined to a ROTR or ROTL rotate. | |
void | applyFunnelShiftToRotate (MachineInstr &MI) |
bool | matchRotateOutOfRange (MachineInstr &MI) |
void | applyRotateOutOfRange (MachineInstr &MI) |
bool | matchICmpToTrueFalseKnownBits (MachineInstr &MI, int64_t &MatchInfo) |
bool | matchICmpToLHSKnownBits (MachineInstr &MI, BuildFnTy &MatchInfo) |
bool | matchAndOrDisjointMask (MachineInstr &MI, BuildFnTy &MatchInfo) |
bool | matchBitfieldExtractFromSExtInReg (MachineInstr &MI, BuildFnTy &MatchInfo) |
Form a G_SBFX from a G_SEXT_INREG fed by a right shift. | |
bool | matchBitfieldExtractFromAnd (MachineInstr &MI, BuildFnTy &MatchInfo) |
Match: and (lshr x, cst), mask -> ubfx x, cst, width. | |
bool | matchBitfieldExtractFromShr (MachineInstr &MI, BuildFnTy &MatchInfo) |
Match: shr (shl x, n), k -> sbfx/ubfx x, pos, width. | |
bool | matchBitfieldExtractFromShrAnd (MachineInstr &MI, BuildFnTy &MatchInfo) |
Match: shr (and x, n), k -> ubfx x, pos, width. | |
bool | matchReassocConstantInnerRHS (GPtrAdd &MI, MachineInstr *RHS, BuildFnTy &MatchInfo) |
bool | matchReassocFoldConstantsInSubTree (GPtrAdd &MI, MachineInstr *LHS, MachineInstr *RHS, BuildFnTy &MatchInfo) |
bool | matchReassocConstantInnerLHS (GPtrAdd &MI, MachineInstr *LHS, MachineInstr *RHS, BuildFnTy &MatchInfo) |
bool | matchReassocPtrAdd (MachineInstr &MI, BuildFnTy &MatchInfo) |
Reassociate pointer calculations with G_ADD involved, to allow better addressing mode usage. | |
bool | tryReassocBinOp (unsigned Opc, Register DstReg, Register Op0, Register Op1, BuildFnTy &MatchInfo) |
Try to reassociate to reassociate operands of a commutative binop. | |
bool | matchReassocCommBinOp (MachineInstr &MI, BuildFnTy &MatchInfo) |
Reassociate commutative binary operations like G_ADD. | |
bool | matchConstantFoldCastOp (MachineInstr &MI, APInt &MatchInfo) |
Do constant folding when opportunities are exposed after MIR building. | |
bool | matchConstantFoldBinOp (MachineInstr &MI, APInt &MatchInfo) |
Do constant folding when opportunities are exposed after MIR building. | |
bool | matchConstantFoldFPBinOp (MachineInstr &MI, ConstantFP *&MatchInfo) |
Do constant FP folding when opportunities are exposed after MIR building. | |
bool | matchConstantFoldFMA (MachineInstr &MI, ConstantFP *&MatchInfo) |
Constant fold G_FMA/G_FMAD. | |
bool | matchNarrowBinopFeedingAnd (MachineInstr &MI, BuildFnTy &MatchInfo) |
MachineInstr * | buildUDivUsingMul (MachineInstr &MI) |
Given an G_UDIV MI expressing a divide by constant, return an expression that implements it by multiplying by a magic number. | |
bool | matchUDivByConst (MachineInstr &MI) |
Combine G_UDIV by constant into a multiply by magic constant. | |
void | applyUDivByConst (MachineInstr &MI) |
MachineInstr * | buildSDivUsingMul (MachineInstr &MI) |
Given an G_SDIV MI expressing a signed divide by constant, return an expression that implements it by multiplying by a magic number. | |
bool | matchSDivByConst (MachineInstr &MI) |
void | applySDivByConst (MachineInstr &MI) |
bool | matchUMulHToLShr (MachineInstr &MI) |
void | applyUMulHToLShr (MachineInstr &MI) |
bool | tryCombine (MachineInstr &MI) |
Try to transform MI by using all of the above combine functions. | |
bool | tryEmitMemcpyInline (MachineInstr &MI) |
Emit loads and stores that perform the given memcpy. | |
bool | matchMulOBy2 (MachineInstr &MI, BuildFnTy &MatchInfo) |
Match: (G_UMULO x, 2) -> (G_UADDO x, x) (G_SMULO x, 2) -> (G_SADDO x, x) | |
bool | matchMulOBy0 (MachineInstr &MI, BuildFnTy &MatchInfo) |
Match: (G_*MULO x, 0) -> 0 + no carry out. | |
bool | matchAddEToAddO (MachineInstr &MI, BuildFnTy &MatchInfo) |
Match: (G_*ADDE x, y, 0) -> (G_*ADDO x, y) (G_*SUBE x, y, 0) -> (G_*SUBO x, y) | |
bool | matchRedundantNegOperands (MachineInstr &MI, BuildFnTy &MatchInfo) |
Transform (fadd x, fneg(y)) -> (fsub x, y) (fadd fneg(x), y) -> (fsub y, x) (fsub x, fneg(y)) -> (fadd x, y) (fmul fneg(x), fneg(y)) -> (fmul x, y) (fdiv fneg(x), fneg(y)) -> (fdiv x, y) (fmad fneg(x), fneg(y), z) -> (fmad x, y, z) (fma fneg(x), fneg(y), z) -> (fma x, y, z) | |
bool | matchFsubToFneg (MachineInstr &MI, Register &MatchInfo) |
void | applyFsubToFneg (MachineInstr &MI, Register &MatchInfo) |
bool | canCombineFMadOrFMA (MachineInstr &MI, bool &AllowFusionGlobally, bool &HasFMAD, bool &Aggressive, bool CanReassociate=false) |
bool | matchCombineFAddFMulToFMadOrFMA (MachineInstr &MI, BuildFnTy &MatchInfo) |
Transform (fadd (fmul x, y), z) -> (fma x, y, z) (fadd (fmul x, y), z) -> (fmad x, y, z) | |
bool | matchCombineFAddFpExtFMulToFMadOrFMA (MachineInstr &MI, BuildFnTy &MatchInfo) |
Transform (fadd (fpext (fmul x, y)), z) -> (fma (fpext x), (fpext y), z) (fadd (fpext (fmul x, y)), z) -> (fmad (fpext x), (fpext y), z) | |
bool | matchCombineFAddFMAFMulToFMadOrFMA (MachineInstr &MI, BuildFnTy &MatchInfo) |
Transform (fadd (fma x, y, (fmul u, v)), z) -> (fma x, y, (fma u, v, z)) (fadd (fmad x, y, (fmul u, v)), z) -> (fmad x, y, (fmad u, v, z)) | |
bool | matchCombineFAddFpExtFMulToFMadOrFMAAggressive (MachineInstr &MI, BuildFnTy &MatchInfo) |
bool | matchCombineFSubFMulToFMadOrFMA (MachineInstr &MI, BuildFnTy &MatchInfo) |
Transform (fsub (fmul x, y), z) -> (fma x, y, -z) (fsub (fmul x, y), z) -> (fmad x, y, -z) | |
bool | matchCombineFSubFNegFMulToFMadOrFMA (MachineInstr &MI, BuildFnTy &MatchInfo) |
Transform (fsub (fneg (fmul, x, y)), z) -> (fma (fneg x), y, (fneg z)) (fsub (fneg (fmul, x, y)), z) -> (fmad (fneg x), y, (fneg z)) | |
bool | matchCombineFSubFpExtFMulToFMadOrFMA (MachineInstr &MI, BuildFnTy &MatchInfo) |
Transform (fsub (fpext (fmul x, y)), z) -> (fma (fpext x), (fpext y), (fneg z)) (fsub (fpext (fmul x, y)), z) -> (fmad (fpext x), (fpext y), (fneg z)) | |
bool | matchCombineFSubFpExtFNegFMulToFMadOrFMA (MachineInstr &MI, BuildFnTy &MatchInfo) |
Transform (fsub (fpext (fneg (fmul x, y))), z) -> (fneg (fma (fpext x), (fpext y), z)) (fsub (fpext (fneg (fmul x, y))), z) -> (fneg (fmad (fpext x), (fpext y), z)) | |
bool | matchCombineFMinMaxNaN (MachineInstr &MI, unsigned &Info) |
bool | matchAddSubSameReg (MachineInstr &MI, Register &Src) |
Transform G_ADD(x, G_SUB(y, x)) to y. | |
bool | matchBuildVectorIdentityFold (MachineInstr &MI, Register &MatchInfo) |
bool | matchTruncBuildVectorFold (MachineInstr &MI, Register &MatchInfo) |
bool | matchTruncLshrBuildVectorFold (MachineInstr &MI, Register &MatchInfo) |
bool | matchSubAddSameReg (MachineInstr &MI, BuildFnTy &MatchInfo) |
Transform: (x + y) - y -> x (x + y) - x -> y x - (y + x) -> 0 - y x - (x + z) -> 0 - z. | |
bool | matchSimplifySelectToMinMax (MachineInstr &MI, BuildFnTy &MatchInfo) |
bool | matchRedundantBinOpInEquality (MachineInstr &MI, BuildFnTy &MatchInfo) |
Transform: (X + Y) == X -> Y == 0 (X - Y) == X -> Y == 0 (X ^ Y) == X -> Y == 0 (X + Y) != X -> Y != 0 (X - Y) != X -> Y != 0 (X ^ Y) != X -> Y != 0. | |
bool | matchShiftsTooBig (MachineInstr &MI) |
Match shifts greater or equal to the bitwidth of the operation. | |
bool | matchCommuteConstantToRHS (MachineInstr &MI) |
Match constant LHS ops that should be commuted. | |
bool | matchCommuteFPConstantToRHS (MachineInstr &MI) |
Match constant LHS FP ops that should be commuted. | |
void | applyCommuteBinOpOperands (MachineInstr &MI) |
bool | matchSelect (MachineInstr &MI, BuildFnTy &MatchInfo) |
Combine selects. | |
bool | matchAnd (MachineInstr &MI, BuildFnTy &MatchInfo) |
Combine ands. | |
bool | matchOr (MachineInstr &MI, BuildFnTy &MatchInfo) |
Combine ors. | |
bool | matchAddOverflow (MachineInstr &MI, BuildFnTy &MatchInfo) |
Combine addos. | |
Protected Attributes | |
MachineIRBuilder & | Builder |
MachineRegisterInfo & | MRI |
GISelChangeObserver & | Observer |
GISelKnownBits * | KB |
MachineDominatorTree * | MDT |
bool | IsPreLegalize |
const LegalizerInfo * | LI |
const RegisterBankInfo * | RBI |
const TargetRegisterInfo * | TRI |
Definition at line 103 of file CombinerHelper.h.
CombinerHelper::CombinerHelper | ( | GISelChangeObserver & | Observer, |
MachineIRBuilder & | B, | ||
bool | IsPreLegalize, | ||
GISelKnownBits * | KB = nullptr , |
||
MachineDominatorTree * | MDT = nullptr , |
||
const LegalizerInfo * | LI = nullptr |
||
) |
Definition at line 56 of file CombinerHelper.cpp.
void CombinerHelper::applyAshShlToSextInreg | ( | MachineInstr & | MI, |
std::tuple< Register, int64_t > & | MatchInfo | ||
) |
Definition at line 3116 of file CombinerHelper.cpp.
References assert(), Builder, llvm::MachineIRBuilder::buildSExtInReg(), llvm::LLT::getScalarSizeInBits(), llvm::MachineRegisterInfo::getType(), MI, MRI, llvm::MachineIRBuilder::setInstrAndDebugLoc(), and Size.
void CombinerHelper::applyBuildFn | ( | MachineInstr & | MI, |
BuildFnTy & | MatchInfo | ||
) |
Use a function which takes in a MachineIRBuilder to perform a combine.
By default, it erases the instruction MI
from the function.
Definition at line 4096 of file CombinerHelper.cpp.
References Builder, MI, and llvm::MachineIRBuilder::setInstrAndDebugLoc().
void CombinerHelper::applyBuildFnNoErase | ( | MachineInstr & | MI, |
BuildFnTy & | MatchInfo | ||
) |
Use a function which takes in a MachineIRBuilder to perform a combine.
This variant does not erase MI
after calling the build function.
Definition at line 4103 of file CombinerHelper.cpp.
References Builder, MI, and llvm::MachineIRBuilder::setInstrAndDebugLoc().
void CombinerHelper::applyBuildInstructionSteps | ( | MachineInstr & | MI, |
InstructionStepsMatchInfo & | MatchInfo | ||
) |
Replace MI
with a series of instructions described in MatchInfo
.
Definition at line 3083 of file CombinerHelper.cpp.
References assert(), Builder, llvm::MachineIRBuilder::buildInstr(), llvm::InstructionStepsMatchInfo::InstrsToBuild, MI, and llvm::MachineIRBuilder::setInstr().
void CombinerHelper::applyCombineAddP2IToPtrAdd | ( | MachineInstr & | MI, |
std::pair< Register, bool > & | PtrRegAndCommute | ||
) |
Definition at line 2333 of file CombinerHelper.cpp.
References Builder, llvm::MachineIRBuilder::buildPtrAdd(), llvm::MachineIRBuilder::buildPtrToInt(), llvm::MachineRegisterInfo::getType(), LHS, MI, MRI, RHS, llvm::MachineIRBuilder::setInstrAndDebugLoc(), and std::swap().
void CombinerHelper::applyCombineConcatVectors | ( | MachineInstr & | MI, |
SmallVector< Register > & | Ops | ||
) |
Replace MI
with a flattened build_vector with Ops
or an implicit_def if Ops
is empty.
Definition at line 284 of file CombinerHelper.cpp.
References llvm::MachineIRBuilder::buildBuildVector(), Builder, llvm::MachineIRBuilder::buildUndef(), llvm::MachineRegisterInfo::cloneVirtualRegister(), llvm::SmallVectorBase< Size_T >::empty(), MI, MRI, replaceRegWith(), and llvm::MachineIRBuilder::setInsertPt().
void CombinerHelper::applyCombineConstantFoldFpUnary | ( | MachineInstr & | MI, |
const ConstantFP * | Cst | ||
) |
Transform fp_instr(cst) to constant result of the fp operation.
Definition at line 1557 of file CombinerHelper.cpp.
References Builder, llvm::MachineIRBuilder::buildFConstant(), constantFoldFpUnary(), llvm::MachineIRBuilder::getContext(), llvm::ConstantFP::getValue(), MI, MRI, and llvm::MachineIRBuilder::setInstrAndDebugLoc().
void CombinerHelper::applyCombineConstPtrAddToI2P | ( | MachineInstr & | MI, |
APInt & | NewCst | ||
) |
Definition at line 2373 of file CombinerHelper.cpp.
References llvm::MachineIRBuilder::buildConstant(), Builder, MI, and llvm::MachineIRBuilder::setInstrAndDebugLoc().
void CombinerHelper::applyCombineCopy | ( | MachineInstr & | MI | ) |
Definition at line 219 of file CombinerHelper.cpp.
References MI, MRI, and replaceRegWith().
Referenced by tryCombineCopy().
void CombinerHelper::applyCombineDivRem | ( | MachineInstr & | MI, |
MachineInstr *& | OtherMI | ||
) |
Definition at line 1398 of file CombinerHelper.cpp.
References assert(), Builder, llvm::MachineIRBuilder::buildInstr(), dominates(), llvm::MachineInstr::eraseFromParent(), llvm::MachineInstr::getOperand(), llvm::MachineOperand::getReg(), MI, and llvm::MachineIRBuilder::setInstrAndDebugLoc().
void CombinerHelper::applyCombineExtendingLoads | ( | MachineInstr & | MI, |
PreferredTuple & | MatchInfo | ||
) |
rewrites to:
rewrites to:
Definition at line 630 of file CombinerHelper.cpp.
References Builder, llvm::MachineIRBuilder::buildTrunc(), llvm::GISelChangeObserver::changedInstr(), llvm::GISelChangeObserver::changingInstr(), llvm::MachineRegisterInfo::cloneVirtualRegister(), llvm::MachineInstr::eraseFromParent(), llvm::GISelChangeObserver::erasingInstr(), llvm::PreferredTuple::ExtendOpcode, llvm::MCInstrInfo::get(), getExtLoadOpcForExtend(), llvm::MachineInstr::getOpcode(), llvm::MachineInstr::getOperand(), llvm::MachineOperand::getParent(), llvm::MachineOperand::getReg(), llvm::LLT::getSizeInBits(), llvm::MachineIRBuilder::getTII(), llvm::MachineRegisterInfo::getType(), llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::lookup(), llvm::PreferredTuple::MI, MI, MRI, Observer, replaceRegOpWith(), replaceRegWith(), llvm::MachineIRBuilder::setInsertPt(), llvm::MachineOperand::setReg(), llvm::PreferredTuple::Ty, llvm::MachineRegisterInfo::use_operands(), UseMI, and Uses.
Referenced by tryCombineExtendingLoads().
void CombinerHelper::applyCombineExtOfExt | ( | MachineInstr & | MI, |
std::tuple< Register, unsigned > & | MatchInfo | ||
) |
Definition at line 2433 of file CombinerHelper.cpp.
References assert(), Builder, llvm::MachineIRBuilder::buildInstr(), llvm::GISelChangeObserver::changedInstr(), llvm::GISelChangeObserver::changingInstr(), MI, Observer, and llvm::MachineIRBuilder::setInstrAndDebugLoc().
void CombinerHelper::applyCombineI2PToP2I | ( | MachineInstr & | MI, |
Register & | Reg | ||
) |
Definition at line 2292 of file CombinerHelper.cpp.
References assert(), llvm::MachineIRBuilder::buildCopy(), Builder, MI, and llvm::MachineIRBuilder::setInstr().
void CombinerHelper::applyCombineIndexedLoadStore | ( | MachineInstr & | MI, |
IndexedLoadStoreMatchInfo & | MatchInfo | ||
) |
Definition at line 1299 of file CombinerHelper.cpp.
References llvm::MachineInstrBuilder::addDef(), llvm::MachineInstrBuilder::addImm(), llvm::IndexedLoadStoreMatchInfo::Addr, llvm::MachineInstrBuilder::addUse(), llvm::IndexedLoadStoreMatchInfo::Base, llvm::MachineIRBuilder::buildConstant(), Builder, llvm::MachineIRBuilder::buildInstr(), llvm::MachineInstr::cloneMemRefs(), llvm::dbgs(), llvm::MachineInstr::eraseFromParent(), getIndexedOpc(), llvm::MachineRegisterInfo::getType(), llvm::MachineRegisterInfo::getUniqueVRegDef(), llvm::MachineRegisterInfo::getVRegDef(), llvm::IndexedLoadStoreMatchInfo::IsPre, LLVM_DEBUG, MI, MRI, llvm::IndexedLoadStoreMatchInfo::Offset, llvm::IndexedLoadStoreMatchInfo::RematOffset, and llvm::MachineIRBuilder::setInstrAndDebugLoc().
void CombinerHelper::applyCombineInsertVecElts | ( | MachineInstr & | MI, |
SmallVectorImpl< Register > & | MatchInfo | ||
) |
Definition at line 2963 of file CombinerHelper.cpp.
References llvm::MachineIRBuilder::buildBuildVector(), Builder, llvm::MachineIRBuilder::buildUndef(), getReg(), llvm::LLT::getScalarType(), llvm::MachineRegisterInfo::getType(), I, MI, MRI, llvm::MachineIRBuilder::setInstr(), and llvm::SmallVectorBase< Size_T >::size().
void CombinerHelper::applyCombineMulToShl | ( | MachineInstr & | MI, |
unsigned & | ShiftVal | ||
) |
Definition at line 1887 of file CombinerHelper.cpp.
References assert(), llvm::MachineIRBuilder::buildConstant(), llvm::GISelChangeObserver::changedInstr(), llvm::GISelChangeObserver::changingInstr(), llvm::MCInstrInfo::get(), llvm::MachineIRBuilder::getTII(), llvm::MachineRegisterInfo::getType(), MI, MRI, and Observer.
void CombinerHelper::applyCombineP2IToI2P | ( | MachineInstr & | MI, |
Register & | Reg | ||
) |
Transform PtrToInt(IntToPtr(x)) to x.
Definition at line 2300 of file CombinerHelper.cpp.
References assert(), Builder, llvm::MachineIRBuilder::buildZExtOrTrunc(), MI, and llvm::MachineIRBuilder::setInstr().
void CombinerHelper::applyCombineShiftToUnmerge | ( | MachineInstr & | MI, |
const unsigned & | ShiftVal | ||
) |
Definition at line 2199 of file CombinerHelper.cpp.
References assert(), llvm::MachineIRBuilder::buildAShr(), llvm::MachineIRBuilder::buildConstant(), Builder, llvm::MachineIRBuilder::buildLShr(), llvm::MachineIRBuilder::buildMergeLikeInstr(), llvm::MachineIRBuilder::buildShl(), llvm::MachineIRBuilder::buildUnmerge(), llvm::MachineInstrBuilder::getReg(), llvm::LLT::getSizeInBits(), llvm::MachineRegisterInfo::getType(), llvm::Hi, llvm::Lo, MI, MRI, llvm::LLT::scalar(), llvm::MachineIRBuilder::setInstr(), and Size.
Referenced by tryCombineShiftToUnmerge().
void CombinerHelper::applyCombineShlOfExtend | ( | MachineInstr & | MI, |
const RegisterImmPair & | MatchData | ||
) |
Definition at line 1940 of file CombinerHelper.cpp.
References llvm::MachineIRBuilder::buildConstant(), Builder, llvm::MachineIRBuilder::buildShl(), llvm::MachineIRBuilder::buildZExt(), llvm::MachineRegisterInfo::getType(), llvm::RegisterImmPair::Imm, MI, MRI, llvm::RegisterImmPair::Reg, and llvm::MachineIRBuilder::setInstrAndDebugLoc().
void CombinerHelper::applyCombineShuffleVector | ( | MachineInstr & | MI, |
const ArrayRef< Register > | Ops | ||
) |
Replace MI
with a concat_vectors with Ops
.
Definition at line 391 of file CombinerHelper.cpp.
References llvm::MachineIRBuilder::buildCopy(), Builder, llvm::MachineIRBuilder::buildMergeLikeInstr(), llvm::MachineRegisterInfo::cloneVirtualRegister(), MI, MRI, replaceRegWith(), llvm::MachineIRBuilder::setInsertPt(), and llvm::ArrayRef< T >::size().
Referenced by tryCombineShuffleVector().
void CombinerHelper::applyCombineTruncOfExt | ( | MachineInstr & | MI, |
std::pair< Register, unsigned > & | MatchInfo | ||
) |
Definition at line 2478 of file CombinerHelper.cpp.
References assert(), Builder, llvm::MachineIRBuilder::buildInstr(), llvm::MachineIRBuilder::buildTrunc(), llvm::LLT::getSizeInBits(), llvm::MachineRegisterInfo::getType(), MI, MRI, replaceRegWith(), and llvm::MachineIRBuilder::setInstrAndDebugLoc().
void CombinerHelper::applyCombineTruncOfShift | ( | MachineInstr & | MI, |
std::pair< MachineInstr *, LLT > & | MatchInfo | ||
) |
Definition at line 2577 of file CombinerHelper.cpp.
References Builder, llvm::MachineIRBuilder::buildInstr(), llvm::MachineIRBuilder::buildTrunc(), eraseInst(), llvm::MachineInstr::getOpcode(), llvm::MachineInstr::getOperand(), llvm::MachineOperand::getReg(), llvm::MachineInstrBuilder::getReg(), llvm::MachineRegisterInfo::getType(), MI, MRI, replaceRegWith(), and llvm::MachineIRBuilder::setInstrAndDebugLoc().
void CombinerHelper::applyCombineUnmergeConstant | ( | MachineInstr & | MI, |
SmallVectorImpl< APInt > & | Csts | ||
) |
Definition at line 2062 of file CombinerHelper.cpp.
References assert(), llvm::MachineIRBuilder::buildConstant(), Builder, Idx, MI, llvm::MachineIRBuilder::setInstrAndDebugLoc(), and llvm::SmallVectorBase< Size_T >::size().
void CombinerHelper::applyCombineUnmergeMergeToPlainValues | ( | MachineInstr & | MI, |
SmallVectorImpl< Register > & | Operands | ||
) |
Definition at line 2005 of file CombinerHelper.cpp.
References assert(), llvm::MachineIRBuilder::buildCast(), llvm::MachineIRBuilder::buildCopy(), Builder, llvm::MachineInstrBuilder::getReg(), llvm::MachineRegisterInfo::getRegClassOrRegBank(), llvm::MachineRegisterInfo::getType(), Idx, MI, MRI, Operands, replaceRegWith(), llvm::MachineIRBuilder::setInstrAndDebugLoc(), and llvm::MachineRegisterInfo::setRegClassOrRegBank().
void CombinerHelper::applyCombineUnmergeWithDeadLanesToTrunc | ( | MachineInstr & | MI | ) |
Definition at line 2106 of file CombinerHelper.cpp.
References Builder, llvm::MachineIRBuilder::buildTrunc(), MI, and llvm::MachineIRBuilder::setInstrAndDebugLoc().
void CombinerHelper::applyCombineUnmergeZExtToZExt | ( | MachineInstr & | MI | ) |
Definition at line 2140 of file CombinerHelper.cpp.
References assert(), llvm::MachineIRBuilder::buildConstant(), Builder, llvm::MachineIRBuilder::buildZExt(), llvm::MachineInstr::getOpcode(), llvm::MachineInstr::getOperand(), llvm::MachineOperand::getReg(), llvm::MachineInstrBuilder::getReg(), llvm::LLT::getSizeInBits(), llvm::MachineRegisterInfo::getType(), llvm::MachineRegisterInfo::getVRegDef(), Idx, MI, MRI, replaceRegWith(), and llvm::MachineIRBuilder::setInstrAndDebugLoc().
void CombinerHelper::applyCommuteBinOpOperands | ( | MachineInstr & | MI | ) |
Definition at line 6254 of file CombinerHelper.cpp.
References llvm::GISelChangeObserver::changedInstr(), llvm::GISelChangeObserver::changingInstr(), MI, and Observer.
void CombinerHelper::applyExtendThroughPhis | ( | MachineInstr & | MI, |
MachineInstr *& | ExtMI | ||
) |
Definition at line 3945 of file CombinerHelper.cpp.
References llvm::MachineInstrBuilder::addDef(), llvm::MachineInstrBuilder::addMBB(), Builder, llvm::MachineIRBuilder::buildExtOrTrunc(), llvm::MachineIRBuilder::buildInstrNoInsert(), llvm::drop_begin(), llvm::MachineBasicBlock::end(), llvm::MachineInstr::eraseFromParent(), llvm::MachineBasicBlock::getFirstNonPHI(), llvm::MachineInstr::getOpcode(), llvm::MachineInstr::getOperand(), llvm::MachineBasicBlock::getParent(), llvm::MachineOperand::getReg(), llvm::MachineRegisterInfo::getType(), llvm::MachineRegisterInfo::getVRegDef(), I, llvm::SetVector< T, Vector, Set, N >::insert(), llvm::MachineIRBuilder::insertInstr(), MBB, MI, MRI, PHI, llvm::MachineIRBuilder::setDebugLoc(), llvm::MachineIRBuilder::setInsertPt(), and llvm::MachineIRBuilder::setInstrAndDebugLoc().
void CombinerHelper::applyExtractAllEltsFromBuildVector | ( | MachineInstr & | MI, |
SmallVectorImpl< std::pair< Register, MachineInstr * > > & | MatchInfo | ||
) |
Definition at line 4084 of file CombinerHelper.cpp.
References assert(), MI, MRI, and replaceRegWith().
void CombinerHelper::applyExtractVecEltBuildVec | ( | MachineInstr & | MI, |
Register & | Reg | ||
) |
Definition at line 4024 of file CombinerHelper.cpp.
References assert(), Builder, llvm::MachineIRBuilder::buildTrunc(), llvm::LLT::getSizeInBits(), llvm::MachineRegisterInfo::getType(), MI, MRI, replaceSingleDefInstWithReg(), and llvm::MachineIRBuilder::setInstrAndDebugLoc().
void CombinerHelper::applyFoldBinOpIntoSelect | ( | MachineInstr & | MI, |
const unsigned & | SelectOpNo | ||
) |
SelectOperand
is the operand in binary operator MI
that is the select to fold.
Definition at line 3508 of file CombinerHelper.cpp.
References Builder, llvm::MachineIRBuilder::buildInstr(), llvm::MachineIRBuilder::buildSelect(), getReg(), llvm::MachineRegisterInfo::getType(), llvm::MachineRegisterInfo::getVRegDef(), LHS, MI, MRI, RHS, Select, and llvm::MachineIRBuilder::setInstrAndDebugLoc().
void CombinerHelper::applyFsubToFneg | ( | MachineInstr & | MI, |
Register & | MatchInfo | ||
) |
Definition at line 5376 of file CombinerHelper.cpp.
References Builder, llvm::MachineIRBuilder::buildFCanonicalize(), llvm::MachineIRBuilder::buildFNeg(), eraseInst(), llvm::MachineInstrBuilder::getReg(), llvm::MachineRegisterInfo::getType(), MI, MRI, and llvm::MachineIRBuilder::setInstrAndDebugLoc().
void CombinerHelper::applyFunnelShiftConstantModulo | ( | MachineInstr & | MI | ) |
Replaces the shift amount in MI
with ShiftAmt % BW.
MI |
Definition at line 2810 of file CombinerHelper.cpp.
References assert(), llvm::MachineIRBuilder::buildConstant(), Builder, llvm::MachineIRBuilder::buildInstr(), llvm::getIConstantVRegValWithLookThrough(), llvm::LLT::getScalarSizeInBits(), llvm::LLT::getSizeInBits(), llvm::MachineRegisterInfo::getType(), llvm::APInt::getZExtValue(), MI, MRI, llvm::MachineIRBuilder::setInstrAndDebugLoc(), and llvm::APInt::urem().
void CombinerHelper::applyFunnelShiftToRotate | ( | MachineInstr & | MI | ) |
Definition at line 4175 of file CombinerHelper.cpp.
References assert(), Builder, llvm::GISelChangeObserver::changedInstr(), llvm::GISelChangeObserver::changingInstr(), llvm::MCInstrInfo::get(), llvm::MachineIRBuilder::getTII(), MI, and Observer.
void CombinerHelper::applyNotCmp | ( | MachineInstr & | MI, |
SmallVectorImpl< Register > & | RegsToNegate | ||
) |
Definition at line 3336 of file CombinerHelper.cpp.
References Builder, llvm::GISelChangeObserver::changedInstr(), llvm::GISelChangeObserver::changingInstr(), llvm::MCInstrInfo::get(), llvm::CmpInst::getInversePredicate(), llvm::MachineOperand::getPredicate(), llvm::MachineIRBuilder::getTII(), llvm::MachineRegisterInfo::getVRegDef(), llvm_unreachable, MI, MRI, Observer, replaceRegWith(), and llvm::MachineOperand::setPredicate().
void CombinerHelper::applyOptBrCondByInvertingCond | ( | MachineInstr & | MI, |
MachineInstr *& | BrCond | ||
) |
Definition at line 1470 of file CombinerHelper.cpp.
References llvm::MachineIRBuilder::buildConstant(), Builder, llvm::MachineIRBuilder::buildXor(), llvm::GISelChangeObserver::changedInstr(), llvm::GISelChangeObserver::changingInstr(), llvm::getICmpTrueVal(), llvm::MachineOperand::getMBB(), llvm::MachineInstr::getOperand(), llvm::MachineOperand::getReg(), getTargetLowering(), llvm::MachineRegisterInfo::getType(), MI, MRI, Observer, llvm::MachineIRBuilder::setInstrAndDebugLoc(), llvm::MachineOperand::setMBB(), llvm::MachineOperand::setReg(), and llvm::Xor.
void CombinerHelper::applyPtrAddImmedChain | ( | MachineInstr & | MI, |
PtrAddChain & | MatchInfo | ||
) |
Definition at line 1628 of file CombinerHelper.cpp.
References assert(), llvm::PtrAddChain::Bank, llvm::PtrAddChain::Base, llvm::MachineIRBuilder::buildConstant(), llvm::GISelChangeObserver::changedInstr(), llvm::GISelChangeObserver::changingInstr(), llvm::MachineRegisterInfo::getType(), llvm::PtrAddChain::Imm, MI, MRI, Observer, and setRegBank().
void CombinerHelper::applyPtrAddZero | ( | MachineInstr & | MI | ) |
Definition at line 3432 of file CombinerHelper.cpp.
References Builder, llvm::MachineIRBuilder::buildIntToPtr(), MI, and llvm::MachineIRBuilder::setInstrAndDebugLoc().
void CombinerHelper::applyRotateOutOfRange | ( | MachineInstr & | MI | ) |
Definition at line 4202 of file CombinerHelper.cpp.
References assert(), llvm::MachineIRBuilder::buildConstant(), Builder, llvm::MachineIRBuilder::buildURem(), llvm::GISelChangeObserver::changedInstr(), llvm::GISelChangeObserver::changingInstr(), llvm::MachineInstrBuilder::getReg(), llvm::LLT::getScalarSizeInBits(), llvm::MachineRegisterInfo::getType(), MI, MRI, Observer, and llvm::MachineIRBuilder::setInstrAndDebugLoc().
void CombinerHelper::applySDivByConst | ( | MachineInstr & | MI | ) |
Definition at line 5200 of file CombinerHelper.cpp.
References buildSDivUsingMul(), MI, and replaceSingleDefInstWithReg().
void CombinerHelper::applySextInRegOfLoad | ( | MachineInstr & | MI, |
std::tuple< Register, unsigned > & | MatchInfo | ||
) |
Definition at line 932 of file CombinerHelper.cpp.
References assert(), Builder, llvm::MachineIRBuilder::buildLoadInstr(), llvm::MachineFunction::getMachineMemOperand(), llvm::MachineIRBuilder::getMF(), llvm::GMemOperation::getMMO(), llvm::GLoadStore::getPointerReg(), llvm::MachineRegisterInfo::getVRegDef(), MI, MRI, and llvm::MachineIRBuilder::setInstrAndDebugLoc().
void CombinerHelper::applySextTruncSextLoad | ( | MachineInstr & | MI | ) |
Definition at line 873 of file CombinerHelper.cpp.
References assert(), llvm::MachineIRBuilder::buildCopy(), Builder, MI, and llvm::MachineIRBuilder::setInstrAndDebugLoc().
void CombinerHelper::applyShiftImmedChain | ( | MachineInstr & | MI, |
RegisterImmPair & | MatchInfo | ||
) |
Definition at line 1686 of file CombinerHelper.cpp.
References assert(), llvm::MachineIRBuilder::buildConstant(), Builder, llvm::GISelChangeObserver::changedInstr(), llvm::GISelChangeObserver::changingInstr(), llvm::MachineInstrBuilder::getReg(), llvm::LLT::getScalarSizeInBits(), llvm::MachineRegisterInfo::getType(), llvm::RegisterImmPair::Imm, MI, MRI, Observer, llvm::RegisterImmPair::Reg, and llvm::MachineIRBuilder::setInstrAndDebugLoc().
void CombinerHelper::applyShiftOfShiftedLogic | ( | MachineInstr & | MI, |
ShiftOfShiftedLogic & | MatchInfo | ||
) |
Definition at line 1800 of file CombinerHelper.cpp.
References assert(), llvm::MachineIRBuilder::buildConstant(), Builder, llvm::MachineIRBuilder::buildInstr(), llvm::MachineInstr::eraseFromParent(), llvm::MachineInstr::getOpcode(), llvm::MachineInstr::getOperand(), llvm::MachineOperand::getReg(), getReg(), llvm::MachineInstrBuilder::getReg(), llvm::MachineRegisterInfo::getType(), llvm::ShiftOfShiftedLogic::Logic, llvm::ShiftOfShiftedLogic::LogicNonShiftReg, MI, MRI, llvm::MachineIRBuilder::setInstrAndDebugLoc(), llvm::ShiftOfShiftedLogic::Shift2, and llvm::ShiftOfShiftedLogic::ValSum.
void CombinerHelper::applyShuffleToExtract | ( | MachineInstr & | MI | ) |
Definition at line 414 of file CombinerHelper.cpp.
References llvm::MachineIRBuilder::buildCopy(), Builder, llvm::MachineIRBuilder::buildExtractVectorElementConstant(), llvm::MachineIRBuilder::buildUndef(), llvm::LLT::getNumElements(), llvm::MachineRegisterInfo::getType(), I, llvm::LLT::isVector(), MI, MRI, and llvm::MachineIRBuilder::setInsertPt().
void CombinerHelper::applySimplifyAddToSub | ( | MachineInstr & | MI, |
std::tuple< Register, Register > & | MatchInfo | ||
) |
Definition at line 2982 of file CombinerHelper.cpp.
References Builder, llvm::MachineIRBuilder::buildSub(), MI, and llvm::MachineIRBuilder::setInstr().
void CombinerHelper::applySimplifyURemByPow2 | ( | MachineInstr & | MI | ) |
Combine G_UREM x, (known power of 2) to an add and bitmasking.
The second source operand is known to be a power of 2.
Definition at line 3440 of file CombinerHelper.cpp.
References llvm::Add, llvm::MachineIRBuilder::buildAdd(), llvm::MachineIRBuilder::buildAnd(), llvm::MachineIRBuilder::buildConstant(), Builder, llvm::MachineRegisterInfo::getType(), MI, MRI, and llvm::MachineIRBuilder::setInstrAndDebugLoc().
void CombinerHelper::applyUDivByConst | ( | MachineInstr & | MI | ) |
Definition at line 5166 of file CombinerHelper.cpp.
References buildUDivUsingMul(), MI, and replaceSingleDefInstWithReg().
void CombinerHelper::applyUMulHToLShr | ( | MachineInstr & | MI | ) |
Definition at line 5289 of file CombinerHelper.cpp.
References llvm::MachineIRBuilder::buildConstant(), Builder, buildLogBase2(), llvm::MachineIRBuilder::buildLShr(), llvm::MachineIRBuilder::buildSub(), llvm::MachineIRBuilder::buildZExtOrTrunc(), llvm::TargetLoweringBase::getPreferredShiftAmountTy(), llvm::LLT::getScalarSizeInBits(), getTargetLowering(), llvm::MachineRegisterInfo::getType(), LHS, MI, MRI, RHS, and llvm::MachineIRBuilder::setInstrAndDebugLoc().
void CombinerHelper::applyXorOfAndWithSameReg | ( | MachineInstr & | MI, |
std::pair< Register, Register > & | MatchInfo | ||
) |
Definition at line 3399 of file CombinerHelper.cpp.
References Builder, llvm::MachineIRBuilder::buildNot(), llvm::GISelChangeObserver::changedInstr(), llvm::GISelChangeObserver::changingInstr(), llvm::MCInstrInfo::get(), llvm::MachineIRBuilder::getTII(), llvm::MachineRegisterInfo::getType(), MI, MRI, Observer, llvm::MachineIRBuilder::setInstrAndDebugLoc(), X, and Y.
MachineInstr * CombinerHelper::buildSDivUsingMul | ( | MachineInstr & | MI | ) |
Given an G_SDIV MI
expressing a signed divide by constant, return an expression that implements it by multiplying by a magic number.
Ref: "Hacker's Delight" or "The PowerPC Compiler Writer's Guide".
Definition at line 5205 of file CombinerHelper.cpp.
References llvm::APInt::ashrInPlace(), assert(), Builder, llvm::CallingConv::C, llvm::APInt::countr_zero(), llvm::SmallVectorBase< Size_T >::empty(), llvm::APInt::getBitWidth(), llvm::getDefIgnoringCopies(), llvm::getIConstantSplatVal(), llvm::TargetLoweringBase::getPreferredShiftAmountTy(), llvm::LLT::getScalarType(), llvm::APInt::getSignedMinValue(), getTargetLowering(), llvm::MachineRegisterInfo::getType(), llvm::MachineInstr::IsExact, llvm::LLT::isVector(), LHS, llvm::matchUnaryPredicate(), MI, MRI, llvm::APInt::multiplicativeInverse(), llvm::SmallVectorTemplateBase< T, bool >::push_back(), RHS, llvm::MachineIRBuilder::setInstrAndDebugLoc(), llvm::APInt::trunc(), and llvm::APInt::zext().
Referenced by applySDivByConst().
MachineInstr * CombinerHelper::buildUDivUsingMul | ( | MachineInstr & | MI | ) |
Given an G_UDIV MI
expressing a divide by constant, return an expression that implements it by multiplying by a magic number.
Ref: "Hacker's Delight" or "The PowerPC Compiler Writer's Guide".
Definition at line 5018 of file CombinerHelper.cpp.
References assert(), Builder, llvm::CallingConv::C, llvm::LLT::changeElementSize(), llvm::UnsignedDivisionByConstantInfo::get(), llvm::APInt::getBitWidth(), llvm::APInt::getOneBitSet(), llvm::TargetLoweringBase::getPreferredShiftAmountTy(), llvm::LLT::getScalarSizeInBits(), llvm::LLT::getScalarType(), getTargetLowering(), llvm::MachineRegisterInfo::getType(), llvm::APInt::getZero(), llvm::CmpInst::ICMP_EQ, llvm::UnsignedDivisionByConstantInfo::IsAdd, llvm::APInt::isOne(), llvm::LLT::isScalar(), llvm::LLT::isVector(), LHS, llvm::UnsignedDivisionByConstantInfo::Magic, llvm::matchUnaryPredicate(), MI, MRI, llvm::UnsignedDivisionByConstantInfo::PostShift, llvm::UnsignedDivisionByConstantInfo::PreShift, llvm::SmallVectorTemplateBase< T, bool >::push_back(), RHS, llvm::LLT::scalar(), and llvm::MachineIRBuilder::setInstrAndDebugLoc().
Referenced by applyUDivByConst().
bool CombinerHelper::canCombineFMadOrFMA | ( | MachineInstr & | MI, |
bool & | AllowFusionGlobally, | ||
bool & | HasFMAD, | ||
bool & | Aggressive, | ||
bool | CanReassociate = false |
||
) |
Definition at line 5400 of file CombinerHelper.cpp.
References llvm::Aggressive, llvm::FPOpFusion::Fast, llvm::MachineInstr::FmContract, llvm::MachineInstr::FmReassoc, llvm::MachineRegisterInfo::getType(), isLegalOrBeforeLegalizer(), isPreLegalize(), MI, MRI, and Options.
Referenced by matchCombineFAddFMAFMulToFMadOrFMA(), matchCombineFAddFMulToFMadOrFMA(), matchCombineFAddFpExtFMulToFMadOrFMA(), matchCombineFAddFpExtFMulToFMadOrFMAAggressive(), matchCombineFSubFMulToFMadOrFMA(), matchCombineFSubFNegFMulToFMadOrFMA(), matchCombineFSubFpExtFMulToFMadOrFMA(), and matchCombineFSubFpExtFNegFMulToFMadOrFMA().
bool CombinerHelper::dominates | ( | const MachineInstr & | DefMI, |
const MachineInstr & | UseMI | ||
) |
Returns true if DefMI
dominates UseMI
.
By definition an instruction dominates itself.
If we haven't been provided with a MachineDominatorTree during construction, this function returns a conservative result that tracks just a single basic block.
Definition at line 834 of file CombinerHelper.cpp.
References assert(), DefMI, llvm::MachineDominatorTree::dominates(), isPredecessor(), MDT, and UseMI.
Referenced by applyCombineDivRem().
void CombinerHelper::eraseInst | ( | MachineInstr & | MI | ) |
Erase MI
.
Definition at line 2659 of file CombinerHelper.cpp.
References MI.
Referenced by applyCombineTruncOfShift(), and applyFsubToFneg().
|
inline |
Definition at line 126 of file CombinerHelper.h.
References Builder.
|
inline |
Definition at line 122 of file CombinerHelper.h.
References KB.
const RegisterBank * CombinerHelper::getRegBank | ( | Register | Reg | ) | const |
Get the register bank of Reg
.
If Reg has not been assigned a register, a register class, or a register bank, then this returns nullptr.
Definition at line 196 of file CombinerHelper.cpp.
References llvm::RegisterBankInfo::getRegBank(), MRI, RBI, and TRI.
Referenced by matchPtrAddImmedChain().
const TargetLowering & CombinerHelper::getTargetLowering | ( | ) | const |
Definition at line 67 of file CombinerHelper.cpp.
References Builder, llvm::MachineIRBuilder::getMF(), llvm::MachineFunction::getSubtarget(), and llvm::TargetSubtargetInfo::getTargetLowering().
Referenced by applyOptBrCondByInvertingCond(), applyUMulHToLShr(), buildSDivUsingMul(), buildUDivUsingMul(), matchBitfieldExtractFromAnd(), matchBitfieldExtractFromSExtInReg(), matchBitfieldExtractFromShr(), matchBitfieldExtractFromShrAnd(), matchCombineExtractedVectorLoad(), matchCombineShlOfExtend(), matchCombineTruncOfShift(), matchCommuteShift(), matchExtractVecEltBuildVec(), matchICmpToLHSKnownBits(), matchICmpToTrueFalseKnownBits(), matchLoadOrCombine(), matchNarrowBinopFeedingAnd(), matchSDivByConst(), matchUDivByConst(), matchUMulHToLShr(), and tryReassocBinOp().
Ty
is a legal integer constant type on the target. Definition at line 153 of file CombinerHelper.cpp.
References llvm::LLT::getElementType(), isLegal(), isLegalOrBeforeLegalizer(), isPreLegalize(), and llvm::LLT::isVector().
Referenced by matchAddOverflow(), and matchMulOBy0().
bool CombinerHelper::isLegal | ( | const LegalityQuery & | Query | ) | const |
Query
is legal on the target. Definition at line 143 of file CombinerHelper.cpp.
References llvm::LegalizeActionStep::Action, assert(), llvm::LegalizerInfo::getAction(), llvm::LegalizeActions::Legal, and LI.
Referenced by isConstantLegalOrBeforeLegalizer(), and isLegalOrBeforeLegalizer().
bool CombinerHelper::isLegalOrBeforeLegalizer | ( | const LegalityQuery & | Query | ) | const |
Query
is legal on the target. Definition at line 148 of file CombinerHelper.cpp.
References isLegal(), and isPreLegalize().
Referenced by canCombineFMadOrFMA(), isConstantLegalOrBeforeLegalizer(), matchAddOverflow(), matchAshrShlToSextInreg(), matchCombineConcatVectors(), matchCombineDivRem(), matchCombineExtractedVectorLoad(), matchCombineLoadWithAndMask(), matchCombineShlOfExtend(), matchCombineTruncOfShift(), matchFunnelShiftToRotate(), matchHoistLogicOpWithSameOpcodeHands(), matchICmpToLHSKnownBits(), matchLoadOrCombine(), matchNarrowBinopFeedingAnd(), matchOrShiftToFunnelShift(), matchRedundantNegOperands(), matchSextInRegOfLoad(), matchUDivByConst(), and matchUMulHToLShr().
bool CombinerHelper::isPredecessor | ( | const MachineInstr & | DefMI, |
const MachineInstr & | UseMI | ||
) |
Returns true if DefMI
precedes UseMI
or they are the same instruction.
Both must be in the same basic block.
Definition at line 818 of file CombinerHelper.cpp.
References assert(), DefMI, llvm::MachineBasicBlock::end(), llvm::find_if(), llvm_unreachable, MBB, MI, and UseMI.
Referenced by dominates().
bool CombinerHelper::isPreLegalize | ( | ) | const |
Definition at line 141 of file CombinerHelper.cpp.
References IsPreLegalize.
Referenced by canCombineFMadOrFMA(), isConstantLegalOrBeforeLegalizer(), isLegalOrBeforeLegalizer(), matchCombineExtendingLoads(), and matchCommuteShift().
bool CombinerHelper::matchAddEToAddO | ( | MachineInstr & | MI, |
BuildFnTy & | MatchInfo | ||
) |
Match: (G_*ADDE x, y, 0) -> (G_*ADDO x, y) (G_*SUBE x, y, 0) -> (G_*SUBO x, y)
Definition at line 4941 of file CombinerHelper.cpp.
References assert(), B, llvm::GISelChangeObserver::changedInstr(), llvm::GISelChangeObserver::changingInstr(), llvm::MIPatternMatch::m_SpecificICstOrSplat(), MI, llvm::MIPatternMatch::mi_match(), MRI, and Observer.
bool CombinerHelper::matchAddOverflow | ( | MachineInstr & | MI, |
BuildFnTy & | MatchInfo | ||
) |
Combine addos.
Definition at line 6936 of file CombinerHelper.cpp.
References llvm::Add, llvm::ConstantRange::AlwaysOverflowsHigh, llvm::ConstantRange::AlwaysOverflowsLow, B, llvm::GISelKnownBits::computeNumSignBits(), llvm::ConstantRange::fromKnownBits(), llvm::MachineInstr::getFlag(), llvm::GISelKnownBits::getKnownBits(), llvm::GBinOp::getLHSReg(), llvm::GBinOp::getRHSReg(), llvm::MachineRegisterInfo::getType(), llvm::MachineRegisterInfo::hasOneNonDBGUse(), isConstantLegalOrBeforeLegalizer(), isLegalOrBeforeLegalizer(), KB, LHS, llvm::ConstantRange::MayOverflow, MI, MRI, llvm::ConstantRange::NeverOverflows, llvm::MachineInstr::NoSWrap, llvm::MachineInstr::NoUWrap, RHS, llvm::ConstantRange::signedAddMayOverflow(), llvm::ConstantRange::unsignedAddMayOverflow(), and llvm::MachineRegisterInfo::use_nodbg_empty().
bool CombinerHelper::matchAddSubSameReg | ( | MachineInstr & | MI, |
Register & | Src | ||
) |
Transform G_ADD(x, G_SUB(y, x)) to y.
Transform G_ADD(G_SUB(y, x), x) to y.
Definition at line 5968 of file CombinerHelper.cpp.
References assert(), LHS, llvm::MIPatternMatch::m_GSub(), llvm::MIPatternMatch::m_Reg(), MI, llvm::MIPatternMatch::mi_match(), MRI, and RHS.
bool CombinerHelper::matchAllExplicitUsesAreUndef | ( | MachineInstr & | MI | ) |
Return true if all register explicit use operands on MI
are defined by a G_IMPLICIT_DEF.
Definition at line 2611 of file CombinerHelper.cpp.
References llvm::all_of(), and MI.
bool CombinerHelper::matchAnd | ( | MachineInstr & | MI, |
BuildFnTy & | MatchInfo | ||
) |
bool CombinerHelper::matchAndOrDisjointMask | ( | MachineInstr & | MI, |
BuildFnTy & | MatchInfo | ||
) |
Definition at line 4313 of file CombinerHelper.cpp.
References assert(), B, llvm::GISelChangeObserver::changedInstr(), llvm::GISelChangeObserver::changingInstr(), llvm::MachineRegisterInfo::getType(), llvm::LLT::isVector(), llvm::MIPatternMatch::m_all_of(), llvm::MIPatternMatch::m_GAnd(), llvm::MIPatternMatch::m_GOr(), llvm::MIPatternMatch::m_ICst(), llvm::MIPatternMatch::m_Reg(), MI, llvm::MIPatternMatch::mi_match(), MRI, and Observer.
bool CombinerHelper::matchAnyExplicitUseIsUndef | ( | MachineInstr & | MI | ) |
Return true if any explicit use operand on MI
is defined by a G_IMPLICIT_DEF.
Definition at line 2604 of file CombinerHelper.cpp.
References llvm::any_of(), and MI.
bool CombinerHelper::matchAshrShlToSextInreg | ( | MachineInstr & | MI, |
std::tuple< Register, int64_t > & | MatchInfo | ||
) |
Match ashr (shl x, C), C -> sext_inreg (C)
Definition at line 3098 of file CombinerHelper.cpp.
References assert(), llvm::MachineRegisterInfo::getType(), isLegalOrBeforeLegalizer(), llvm::MIPatternMatch::m_GAShr(), llvm::MIPatternMatch::m_GShl(), llvm::MIPatternMatch::m_ICstOrSplat(), llvm::MIPatternMatch::m_Reg(), MI, llvm::MIPatternMatch::mi_match(), and MRI.
bool CombinerHelper::matchBinOpSameVal | ( | MachineInstr & | MI | ) |
Optimize (x op x) -> x.
Definition at line 2843 of file CombinerHelper.cpp.
References llvm::canReplaceReg(), matchEqualDefs(), MI, and MRI.
bool CombinerHelper::matchBitfieldExtractFromAnd | ( | MachineInstr & | MI, |
BuildFnTy & | MatchInfo | ||
) |
Match: and (lshr x, cst), mask -> ubfx x, cst, width.
Form a G_UBFX from "(a srl b) & mask", where b and mask are constants.
Definition at line 4377 of file CombinerHelper.cpp.
References assert(), llvm::TargetLoweringBase::getPreferredShiftAmountTy(), getTargetLowering(), llvm::MachineRegisterInfo::getType(), llvm::LegalizerInfo::isLegalOrCustom(), LI, MI, and MRI.
bool CombinerHelper::matchBitfieldExtractFromSExtInReg | ( | MachineInstr & | MI, |
BuildFnTy & | MatchInfo | ||
) |
Form a G_SBFX from a G_SEXT_INREG fed by a right shift.
Definition at line 4348 of file CombinerHelper.cpp.
References assert(), llvm::TargetLoweringBase::getPreferredShiftAmountTy(), getTargetLowering(), llvm::MachineRegisterInfo::getType(), llvm::LegalizerInfo::isLegalOrCustom(), LI, MI, and MRI.
bool CombinerHelper::matchBitfieldExtractFromShr | ( | MachineInstr & | MI, |
BuildFnTy & | MatchInfo | ||
) |
Match: shr (shl x, n), k -> sbfx/ubfx x, pos, width.
Definition at line 4412 of file CombinerHelper.cpp.
References assert(), llvm::TargetLoweringBase::getPreferredShiftAmountTy(), getTargetLowering(), llvm::MachineRegisterInfo::getType(), llvm::LegalizerInfo::isLegalOrCustom(), LI, MI, and MRI.
bool CombinerHelper::matchBitfieldExtractFromShrAnd | ( | MachineInstr & | MI, |
BuildFnTy & | MatchInfo | ||
) |
Match: shr (and x, n), k -> ubfx x, pos, width.
Definition at line 4461 of file CombinerHelper.cpp.
References assert(), llvm::TargetLoweringBase::getPreferredShiftAmountTy(), getTargetLowering(), llvm::MachineRegisterInfo::getType(), llvm::LegalizerInfo::isLegalOrCustom(), LI, MI, and MRI.
bool CombinerHelper::matchBuildVectorIdentityFold | ( | MachineInstr & | MI, |
Register & | MatchInfo | ||
) |
Definition at line 5984 of file CombinerHelper.cpp.
References llvm::LLT::getElementType(), llvm::LLT::getSizeInBits(), llvm::MachineRegisterInfo::getType(), llvm::Hi, llvm::Lo, llvm::MIPatternMatch::m_any_of(), llvm::MIPatternMatch::m_GBitcast(), llvm::MIPatternMatch::m_GBuildVector(), llvm::MIPatternMatch::m_GBuildVectorTrunc(), llvm::MIPatternMatch::m_GCst(), llvm::MIPatternMatch::m_GImplicitDef(), llvm::MIPatternMatch::m_GLShr(), llvm::MIPatternMatch::m_GTrunc(), llvm::MIPatternMatch::m_Reg(), MI, llvm::MIPatternMatch::mi_match(), and MRI.
bool CombinerHelper::matchCombineAddP2IToPtrAdd | ( | MachineInstr & | MI, |
std::pair< Register, bool > & | PtrRegAndCommute | ||
) |
Transform G_ADD (G_PTRTOINT x), y -> G_PTRTOINT (G_PTR_ADD x, y) Transform G_ADD y, (G_PTRTOINT x) -> G_PTRTOINT (G_PTR_ADD x, y)
Definition at line 2308 of file CombinerHelper.cpp.
References assert(), llvm::LLT::getScalarSizeInBits(), llvm::MachineRegisterInfo::getType(), LHS, llvm::MIPatternMatch::m_GPtrToInt(), llvm::MIPatternMatch::m_Reg(), MI, llvm::MIPatternMatch::mi_match(), MRI, and RHS.
bool CombinerHelper::matchCombineAnyExtTrunc | ( | MachineInstr & | MI, |
Register & | Reg | ||
) |
Transform anyext(trunc(x)) to x.
Definition at line 2383 of file CombinerHelper.cpp.
References assert(), llvm::getSrcRegIgnoringCopies(), llvm::MachineRegisterInfo::getType(), llvm::Register::isValid(), llvm::MIPatternMatch::m_all_of(), llvm::MIPatternMatch::m_GTrunc(), llvm::MIPatternMatch::m_Reg(), llvm::MIPatternMatch::m_SpecificType(), MI, llvm::MIPatternMatch::mi_match(), and MRI.
bool CombinerHelper::matchCombineConcatVectors | ( | MachineInstr & | MI, |
SmallVector< Register > & | Ops | ||
) |
If MI
is G_CONCAT_VECTORS, try to combine it.
Returns true if MI changed. Right now, we support:
Check if the G_CONCAT_VECTORS MI
is undef or if it can be flattened into a build_vector. In the first case Ops
will be empty In the second case Ops
will contain the operands needed to produce the flattened build_vector.
Definition at line 226 of file CombinerHelper.cpp.
References assert(), Builder, llvm::MachineIRBuilder::buildUndef(), llvm::SmallVectorImpl< T >::clear(), llvm::LLT::getNumElements(), llvm::LLT::getScalarType(), llvm::MachineRegisterInfo::getType(), llvm::MachineRegisterInfo::getVRegDef(), llvm::MachineRegisterInfo::hasOneNonDBGUse(), isLegalOrBeforeLegalizer(), MI, MRI, llvm::SmallVectorTemplateBase< T, bool >::push_back(), and llvm::MachineIRBuilder::setInsertPt().
bool CombinerHelper::matchCombineConstPtrAddToI2P | ( | MachineInstr & | MI, |
APInt & | NewCst | ||
) |
Definition at line 2352 of file CombinerHelper.cpp.
References Builder, llvm::getIConstantVRegVal(), llvm::MachineIRBuilder::getMF(), llvm::MachineFunction::getRegInfo(), llvm::MachineRegisterInfo::getType(), LHS, llvm::MIPatternMatch::m_GIntToPtr(), llvm::MIPatternMatch::m_ICst(), MI, llvm::MIPatternMatch::mi_match(), MRI, RHS, llvm::APInt::sextOrTrunc(), and llvm::APInt::zextOrTrunc().
bool CombinerHelper::matchCombineCopy | ( | MachineInstr & | MI | ) |
Definition at line 212 of file CombinerHelper.cpp.
References llvm::canReplaceReg(), MI, and MRI.
Referenced by tryCombineCopy().
bool CombinerHelper::matchCombineDivRem | ( | MachineInstr & | MI, |
MachineInstr *& | OtherMI | ||
) |
Try to combine G_[SU]DIV and G_[SU]REM into a single G_[SU]DIVREM when their source operands are identical.
Definition at line 1335 of file CombinerHelper.cpp.
References llvm::MachineRegisterInfo::getType(), isLegalOrBeforeLegalizer(), llvm_unreachable, matchEqualDefs(), MI, MRI, llvm::MachineRegisterInfo::use_nodbg_instructions(), and UseMI.
bool CombinerHelper::matchCombineExtendingLoads | ( | MachineInstr & | MI, |
PreferredTuple & | MatchInfo | ||
) |
Definition at line 554 of file CombinerHelper.cpp.
References llvm::LegalizerInfo::getAction(), llvm::GAnyLoad::getDstReg(), getExtLoadOpcForExtend(), llvm::GMemOperation::getMMO(), llvm::GLoadStore::getPointerReg(), llvm::MachineInstrBuilder::getReg(), llvm::LLT::getSizeInBits(), llvm::MachineRegisterInfo::getType(), isPreLegalize(), llvm::LLT::isScalar(), llvm::LegalizeActions::Legal, LI, MI, MRI, llvm::MachineRegisterInfo::use_nodbg_instructions(), and UseMI.
Referenced by tryCombineExtendingLoads().
bool CombinerHelper::matchCombineExtOfExt | ( | MachineInstr & | MI, |
std::tuple< Register, unsigned > & | MatchInfo | ||
) |
Transform [asz]ext([asz]ext(x)) to [asz]ext x.
Definition at line 2409 of file CombinerHelper.cpp.
References assert(), llvm::MachineInstr::getOpcode(), llvm::MachineInstr::getOperand(), llvm::MachineOperand::getReg(), llvm::getSrcRegIgnoringCopies(), llvm::MachineRegisterInfo::getVRegDef(), llvm::Register::isValid(), MI, and MRI.
bool CombinerHelper::matchCombineExtractedVectorLoad | ( | MachineInstr & | MI, |
BuildFnTy & | MatchInfo | ||
) |
Combine a G_EXTRACT_VECTOR_ELT of a load into a narrowed load.
Definition at line 1176 of file CombinerHelper.cpp.
References assert(), B, llvm::CallingConv::C, llvm::commonAlignment(), DL, llvm::MachineInstr::eraseFromParent(), llvm::CallingConv::Fast, llvm::MachinePointerInfo::getAddrSpace(), llvm::MachineMemOperand::getAlign(), llvm::Function::getContext(), llvm::MachineFunction::getDataLayout(), llvm::LLT::getElementType(), llvm::MachineFunction::getFunction(), llvm::getIConstantVRegVal(), llvm::ilist_node_impl< OptionsT >::getIterator(), llvm::MachineFunction::getMachineMemOperand(), llvm::MachineInstr::getOperand(), llvm::MachineInstr::getParent(), llvm::MachineMemOperand::getPointerInfo(), llvm::MachineOperand::getReg(), llvm::LLT::getSizeInBits(), getTargetLowering(), llvm::MachineRegisterInfo::getType(), llvm::LegalizerHelper::getVectorElementPointer(), llvm::MachinePointerInfo::getWithOffset(), llvm::MachineRegisterInfo::hasOneNonDBGUse(), llvm::LLT::isByteSized(), isLegalOrBeforeLegalizer(), MI, MRI, llvm::Offset, and llvm::Vector.
bool CombinerHelper::matchCombineFAddFMAFMulToFMadOrFMA | ( | MachineInstr & | MI, |
BuildFnTy & | MatchInfo | ||
) |
Transform (fadd (fma x, y, (fmul u, v)), z) -> (fma x, y, (fma u, v, z)) (fadd (fmad x, y, (fmul u, v)), z) -> (fmad x, y, (fmad u, v, z))
Definition at line 5540 of file CombinerHelper.cpp.
References llvm::Aggressive, assert(), B, canCombineFMadOrFMA(), llvm::MachineRegisterInfo::createGenericVirtualRegister(), llvm::MachineInstr::getOpcode(), llvm::MachineInstr::getOperand(), llvm::MachineOperand::getReg(), llvm::MachineRegisterInfo::getType(), llvm::MachineRegisterInfo::getVRegDef(), hasMoreUses(), llvm::MachineRegisterInfo::hasOneNonDBGUse(), isContractableFMul(), LHS, MI, MRI, RHS, std::swap(), X, and Y.
bool CombinerHelper::matchCombineFAddFMulToFMadOrFMA | ( | MachineInstr & | MI, |
BuildFnTy & | MatchInfo | ||
) |
Transform (fadd (fmul x, y), z) -> (fma x, y, z) (fadd (fmul x, y), z) -> (fmad x, y, z)
Definition at line 5433 of file CombinerHelper.cpp.
References llvm::Aggressive, assert(), B, canCombineFMadOrFMA(), llvm::MachineRegisterInfo::getVRegDef(), hasMoreUses(), llvm::MachineRegisterInfo::hasOneNonDBGUse(), isContractableFMul(), LHS, MI, MRI, RHS, and std::swap().
bool CombinerHelper::matchCombineFAddFpExtFMulToFMadOrFMA | ( | MachineInstr & | MI, |
BuildFnTy & | MatchInfo | ||
) |
Transform (fadd (fpext (fmul x, y)), z) -> (fma (fpext x), (fpext y), z) (fadd (fpext (fmul x, y)), z) -> (fmad (fpext x), (fpext y), z)
Definition at line 5481 of file CombinerHelper.cpp.
References llvm::Aggressive, assert(), B, canCombineFMadOrFMA(), llvm::MachineInstr::getOperand(), llvm::MachineOperand::getReg(), llvm::MachineRegisterInfo::getType(), llvm::MachineRegisterInfo::getVRegDef(), hasMoreUses(), isContractableFMul(), LHS, llvm::MIPatternMatch::m_GFPExt(), llvm::MIPatternMatch::m_MInstr(), MI, llvm::MIPatternMatch::mi_match(), MRI, RHS, and std::swap().
bool CombinerHelper::matchCombineFAddFpExtFMulToFMadOrFMAAggressive | ( | MachineInstr & | MI, |
BuildFnTy & | MatchInfo | ||
) |
Definition at line 5605 of file CombinerHelper.cpp.
References llvm::Aggressive, assert(), B, canCombineFMadOrFMA(), llvm::MachineInstr::getOpcode(), llvm::MachineInstr::getOperand(), llvm::MachineOperand::getReg(), getReg(), llvm::MachineRegisterInfo::getType(), llvm::MachineRegisterInfo::getVRegDef(), hasMoreUses(), isContractableFMul(), LHS, llvm::MIPatternMatch::m_GFPExt(), llvm::MIPatternMatch::m_MInstr(), MI, llvm::MIPatternMatch::mi_match(), MRI, RHS, std::swap(), X, and Y.
bool CombinerHelper::matchCombineFMinMaxNaN | ( | MachineInstr & | MI, |
unsigned & | Info | ||
) |
Definition at line 5940 of file CombinerHelper.cpp.
References llvm::getConstantFPVRegVal(), llvm::ConstantFP::getValueAPF(), Idx, llvm::APFloat::isNaN(), MI, and MRI.
bool CombinerHelper::matchCombineFSubFMulToFMadOrFMA | ( | MachineInstr & | MI, |
BuildFnTy & | MatchInfo | ||
) |
Transform (fsub (fmul x, y), z) -> (fma x, y, -z) (fsub (fmul x, y), z) -> (fmad x, y, -z)
Definition at line 5731 of file CombinerHelper.cpp.
References llvm::Aggressive, assert(), B, canCombineFMadOrFMA(), getReg(), llvm::MachineRegisterInfo::getType(), llvm::MachineRegisterInfo::getVRegDef(), hasMoreUses(), llvm::MachineRegisterInfo::hasOneNonDBGUse(), isContractableFMul(), LHS, MI, MRI, and RHS.
bool CombinerHelper::matchCombineFSubFNegFMulToFMadOrFMA | ( | MachineInstr & | MI, |
BuildFnTy & | MatchInfo | ||
) |
Transform (fsub (fneg (fmul, x, y)), z) -> (fma (fneg x), y, (fneg z)) (fsub (fneg (fmul, x, y)), z) -> (fmad (fneg x), y, (fneg z))
Definition at line 5783 of file CombinerHelper.cpp.
References llvm::Aggressive, assert(), B, canCombineFMadOrFMA(), llvm::MachineInstr::getOperand(), llvm::MachineOperand::getReg(), getReg(), llvm::MachineRegisterInfo::getType(), llvm::MachineRegisterInfo::hasOneNonDBGUse(), isContractableFMul(), llvm::MIPatternMatch::m_GFNeg(), llvm::MIPatternMatch::m_MInstr(), MI, llvm::MIPatternMatch::mi_match(), and MRI.
bool CombinerHelper::matchCombineFSubFpExtFMulToFMadOrFMA | ( | MachineInstr & | MI, |
BuildFnTy & | MatchInfo | ||
) |
Transform (fsub (fpext (fmul x, y)), z) -> (fma (fpext x), (fpext y), (fneg z)) (fsub (fpext (fmul x, y)), z) -> (fmad (fpext x), (fpext y), (fneg z))
Definition at line 5830 of file CombinerHelper.cpp.
References llvm::Aggressive, assert(), B, canCombineFMadOrFMA(), llvm::MachineInstr::getOperand(), llvm::MachineOperand::getReg(), getReg(), llvm::MachineRegisterInfo::getType(), llvm::MachineRegisterInfo::hasOneNonDBGUse(), isContractableFMul(), llvm::MIPatternMatch::m_GFPExt(), llvm::MIPatternMatch::m_MInstr(), MI, llvm::MIPatternMatch::mi_match(), and MRI.
bool CombinerHelper::matchCombineFSubFpExtFNegFMulToFMadOrFMA | ( | MachineInstr & | MI, |
BuildFnTy & | MatchInfo | ||
) |
Transform (fsub (fpext (fneg (fmul x, y))), z) -> (fneg (fma (fpext x), (fpext y), z)) (fsub (fpext (fneg (fmul x, y))), z) -> (fneg (fmad (fpext x), (fpext y), z))
Definition at line 5881 of file CombinerHelper.cpp.
References llvm::Aggressive, assert(), B, canCombineFMadOrFMA(), llvm::MachineRegisterInfo::createGenericVirtualRegister(), llvm::MachineInstr::getOperand(), llvm::MachineOperand::getReg(), llvm::MachineRegisterInfo::getType(), isContractableFMul(), llvm::MIPatternMatch::m_GFNeg(), llvm::MIPatternMatch::m_GFPExt(), llvm::MIPatternMatch::m_MInstr(), MI, llvm::MIPatternMatch::mi_match(), MRI, X, and Y.
bool CombinerHelper::matchCombineI2PToP2I | ( | MachineInstr & | MI, |
Register & | Reg | ||
) |
Transform IntToPtr(PtrToInt(x)) to x if cast is in the same address space.
Definition at line 2283 of file CombinerHelper.cpp.
References assert(), llvm::MachineRegisterInfo::getType(), llvm::MIPatternMatch::m_all_of(), llvm::MIPatternMatch::m_GPtrToInt(), llvm::MIPatternMatch::m_Reg(), llvm::MIPatternMatch::m_SpecificType(), MI, llvm::MIPatternMatch::mi_match(), and MRI.
bool CombinerHelper::matchCombineIndexedLoadStore | ( | MachineInstr & | MI, |
IndexedLoadStoreMatchInfo & | MatchInfo | ||
) |
Definition at line 1282 of file CombinerHelper.cpp.
References llvm::IndexedLoadStoreMatchInfo::Addr, llvm::IndexedLoadStoreMatchInfo::Base, llvm::GMemOperation::isAtomic(), llvm::IndexedLoadStoreMatchInfo::IsPre, MI, llvm::IndexedLoadStoreMatchInfo::Offset, and llvm::IndexedLoadStoreMatchInfo::RematOffset.
bool CombinerHelper::matchCombineInsertVecElts | ( | MachineInstr & | MI, |
SmallVectorImpl< Register > & | MatchInfo | ||
) |
Definition at line 2922 of file CombinerHelper.cpp.
References assert(), llvm::LLT::getNumElements(), llvm::MachineInstr::getNumOperands(), llvm::MachineInstr::getOpcode(), llvm::MachineInstr::getOperand(), llvm::MachineOperand::getReg(), llvm::MachineRegisterInfo::getType(), llvm::MachineRegisterInfo::hasOneUse(), I, isValid(), llvm::LLT::isVector(), llvm::MIPatternMatch::m_GInsertVecElt(), llvm::MIPatternMatch::m_ICst(), llvm::MIPatternMatch::m_MInstr(), llvm::MIPatternMatch::m_Reg(), MI, llvm::MIPatternMatch::mi_match(), MRI, llvm::SmallVectorImpl< T >::resize(), and llvm::MachineRegisterInfo::use_instr_begin().
bool CombinerHelper::matchCombineLoadWithAndMask | ( | MachineInstr & | MI, |
BuildFnTy & | MatchInfo | ||
) |
Match (and (load x), mask) -> zextload x.
Definition at line 736 of file CombinerHelper.cpp.
References assert(), B, llvm::APInt::countr_one(), llvm::MachineInstr::eraseFromParent(), llvm::GAnyLoad::getDstReg(), llvm::getIConstantVRegValWithLookThrough(), llvm::GMemOperation::getMemSizeInBits(), llvm::GMemOperation::getMMO(), llvm::MachineMemOperand::getPointerInfo(), llvm::GLoadStore::getPointerReg(), llvm::LLT::getSizeInBits(), llvm::MachineRegisterInfo::getType(), llvm::LocationSize::getValue(), llvm::MachineRegisterInfo::getVRegDef(), llvm::MachineRegisterInfo::hasOneNonDBGUse(), isLegalOrBeforeLegalizer(), llvm::APInt::isMask(), llvm::isPowerOf2_32(), llvm::GMemOperation::isSimple(), llvm::LLT::isVector(), llvm::LegalityQuery::MemDesc::MemoryTy, MI, MRI, RegSize, and llvm::LLT::scalar().
bool CombinerHelper::matchCombineMergeUnmerge | ( | MachineInstr & | MI, |
Register & | MatchInfo | ||
) |
Fold away a merge of an unmerge of the corresponding values.
Definition at line 1954 of file CombinerHelper.cpp.
References llvm::SmallVectorImpl< T >::emplace_back(), I, Merge, MI, MRI, and llvm::SmallVectorBase< Size_T >::size().
bool CombinerHelper::matchCombineMulToShl | ( | MachineInstr & | MI, |
unsigned & | ShiftVal | ||
) |
Transform a multiply by a power-of-2 value to a left shift.
Definition at line 1875 of file CombinerHelper.cpp.
References assert(), llvm::getIConstantVRegValWithLookThrough(), MI, and MRI.
bool CombinerHelper::matchCombineShiftToUnmerge | ( | MachineInstr & | MI, |
unsigned | TargetShiftSize, | ||
unsigned & | ShiftVal | ||
) |
Reduce a shift by a constant to an unmerge and a shift on a half sized type.
This will not produce a shift smaller than TargetShiftSize
.
Definition at line 2174 of file CombinerHelper.cpp.
References assert(), llvm::getIConstantVRegValWithLookThrough(), llvm::LLT::getSizeInBits(), llvm::MachineRegisterInfo::getType(), llvm::LLT::isVector(), MI, MRI, and Size.
Referenced by tryCombineShiftToUnmerge().
bool CombinerHelper::matchCombineShlOfExtend | ( | MachineInstr & | MI, |
RegisterImmPair & | MatchData | ||
) |
Definition at line 1900 of file CombinerHelper.cpp.
References assert(), llvm::APInt::countl_one(), llvm::GISelKnownBits::getKnownZeroes(), llvm::TargetLoweringBase::getPreferredShiftAmountTy(), llvm::LLT::getScalarSizeInBits(), getTargetLowering(), llvm::MachineRegisterInfo::getType(), llvm::MachineRegisterInfo::getVRegDef(), llvm::RegisterImmPair::Imm, llvm::isConstantOrConstantSplatVector(), isLegalOrBeforeLegalizer(), KB, LHS, LI, llvm::MIPatternMatch::m_GAnyExt(), llvm::MIPatternMatch::m_GSExt(), llvm::MIPatternMatch::m_GZExt(), llvm::MIPatternMatch::m_Reg(), MI, llvm::MIPatternMatch::mi_match(), MRI, llvm::RegisterImmPair::Reg, and RHS.
bool CombinerHelper::matchCombineShuffleVector | ( | MachineInstr & | MI, |
SmallVectorImpl< Register > & | Ops | ||
) |
Check if the G_SHUFFLE_VECTOR MI
can be replaced by a concat_vectors.
Ops
will contain the operands needed to produce the flattened concat_vectors.
Definition at line 315 of file CombinerHelper.cpp.
References assert(), Builder, llvm::MachineIRBuilder::buildUndef(), llvm::LLT::getNumElements(), llvm::MachineInstrBuilder::getReg(), llvm::MachineRegisterInfo::getType(), Idx, llvm::LLT::isVector(), MI, MRI, llvm::SmallVectorTemplateBase< T, bool >::push_back(), and llvm::MachineIRBuilder::setInsertPt().
Referenced by tryCombineShuffleVector().
bool CombinerHelper::matchCombineTruncOfExt | ( | MachineInstr & | MI, |
std::pair< Register, unsigned > & | MatchInfo | ||
) |
Transform trunc ([asz]ext x) to x or ([asz]ext x) or (trunc x).
Definition at line 2464 of file CombinerHelper.cpp.
References assert(), llvm::MachineInstr::getOpcode(), llvm::MachineInstr::getOperand(), llvm::MachineOperand::getReg(), llvm::MachineRegisterInfo::getVRegDef(), MI, and MRI.
bool CombinerHelper::matchCombineTruncOfShift | ( | MachineInstr & | MI, |
std::pair< MachineInstr *, LLT > & | MatchInfo | ||
) |
Transform trunc (shl x, K) to shl (trunc x), K if K < VT.getScalarSizeInBits().
Transforms trunc ([al]shr x, K) to (trunc ([al]shr (MidVT (trunc x)), K)) if K <= (MidVT.getScalarSizeInBits() - VT.getScalarSizeInBits()) MidVT is obtained by finding a legal type between the trunc's src and dst types.
Definition at line 2516 of file CombinerHelper.cpp.
References assert(), llvm::getDefIgnoringCopies(), llvm::GISelKnownBits::getKnownBits(), llvm::KnownBits::getMaxValue(), getMidVTForTruncRightShiftCombine(), llvm::MachineInstr::getOpcode(), llvm::MachineInstr::getOperand(), llvm::MachineOperand::getReg(), llvm::LLT::getScalarSizeInBits(), getTargetLowering(), llvm::MachineRegisterInfo::getType(), llvm::MachineRegisterInfo::hasOneNonDBGUse(), isLegalOrBeforeLegalizer(), KB, MI, MRI, llvm::APInt::uge(), llvm::APInt::ugt(), and llvm::MachineRegisterInfo::use_instructions().
bool CombinerHelper::matchCombineUnmergeConstant | ( | MachineInstr & | MI, |
SmallVectorImpl< APInt > & | Csts | ||
) |
Transform G_UNMERGE Constant -> Constant1, Constant2, ...
Definition at line 2037 of file CombinerHelper.cpp.
References llvm::APFloat::bitcastToAPInt(), llvm::SmallVectorImpl< T >::emplace_back(), llvm::MachineOperand::getCImm(), llvm::MachineOperand::getFPImm(), llvm::MachineInstr::getOpcode(), llvm::MachineInstr::getOperand(), llvm::LLT::getSizeInBits(), llvm::MachineRegisterInfo::getType(), llvm::ConstantInt::getValue(), llvm::ConstantFP::getValueAPF(), llvm::MachineRegisterInfo::getVRegDef(), Idx, llvm::APInt::lshr(), MI, MRI, and llvm::APInt::trunc().
bool CombinerHelper::matchCombineUnmergeMergeToPlainValues | ( | MachineInstr & | MI, |
SmallVectorImpl< Register > & | Operands | ||
) |
Transform <ty,...> G_UNMERGE(G_MERGE ty X, Y, Z) -> ty X, Y, Z.
Definition at line 1981 of file CombinerHelper.cpp.
References assert(), llvm::LLT::getSizeInBits(), llvm::MachineRegisterInfo::getType(), Idx, MI, MRI, Operands, and peekThroughBitcast().
bool CombinerHelper::matchCombineUnmergeUndef | ( | MachineInstr & | MI, |
std::function< void(MachineIRBuilder &)> & | MatchInfo | ||
) |
Transform G_UNMERGE G_IMPLICIT_DEF -> G_IMPLICIT_DEF, G_IMPLICIT_DEF, ...
Definition at line 2078 of file CombinerHelper.cpp.
References B, llvm::MachineRegisterInfo::getVRegDef(), Idx, MI, and MRI.
bool CombinerHelper::matchCombineUnmergeWithDeadLanesToTrunc | ( | MachineInstr & | MI | ) |
Transform X, Y<dead> = G_UNMERGE Z -> X = G_TRUNC Z.
Definition at line 2092 of file CombinerHelper.cpp.
References assert(), llvm::MachineRegisterInfo::getType(), Idx, llvm::LLT::isVector(), MI, MRI, and llvm::MachineRegisterInfo::use_nodbg_empty().
bool CombinerHelper::matchCombineUnmergeZExtToZExt | ( | MachineInstr & | MI | ) |
Transform X, Y = G_UNMERGE(G_ZEXT(Z)) -> X = G_ZEXT(Z); Y = G_CONSTANT 0.
Definition at line 2114 of file CombinerHelper.cpp.
References assert(), llvm::LLT::getSizeInBits(), llvm::MachineRegisterInfo::getType(), llvm::LLT::isVector(), llvm::MIPatternMatch::m_GZExt(), llvm::MIPatternMatch::m_Reg(), MI, llvm::MIPatternMatch::mi_match(), and MRI.
bool CombinerHelper::matchCombineZextTrunc | ( | MachineInstr & | MI, |
Register & | Reg | ||
) |
Transform zext(trunc(x)) to x.
Definition at line 2395 of file CombinerHelper.cpp.
References assert(), llvm::KnownBits::countMinLeadingZeros(), llvm::GISelKnownBits::getKnownBits(), llvm::LLT::getScalarSizeInBits(), llvm::MachineRegisterInfo::getType(), KB, llvm::MIPatternMatch::m_all_of(), llvm::MIPatternMatch::m_GTrunc(), llvm::MIPatternMatch::m_Reg(), llvm::MIPatternMatch::m_SpecificType(), MI, llvm::MIPatternMatch::mi_match(), and MRI.
bool CombinerHelper::matchCommuteConstantToRHS | ( | MachineInstr & | MI | ) |
Match constant LHS ops that should be commuted.
Definition at line 6229 of file CombinerHelper.cpp.
References llvm::getIConstantVRegVal(), llvm::MachineInstr::getOpcode(), llvm::MachineRegisterInfo::getVRegDef(), LHS, MI, MRI, and RHS.
bool CombinerHelper::matchCommuteFPConstantToRHS | ( | MachineInstr & | MI | ) |
Match constant LHS FP ops that should be commuted.
Definition at line 6245 of file CombinerHelper.cpp.
References LHS, llvm::MIPatternMatch::m_GFCstOrSplat(), MI, llvm::MIPatternMatch::mi_match(), MRI, and RHS.
bool CombinerHelper::matchCommuteShift | ( | MachineInstr & | MI, |
BuildFnTy & | MatchInfo | ||
) |
Definition at line 1840 of file CombinerHelper.cpp.
References assert(), B, getTargetLowering(), llvm::MachineRegisterInfo::getType(), llvm::MachineRegisterInfo::getVRegDef(), isPreLegalize(), llvm::MIPatternMatch::m_any_of(), llvm::MIPatternMatch::m_GAdd(), llvm::MIPatternMatch::m_GOr(), llvm::MIPatternMatch::m_ICstOrSplat(), llvm::MIPatternMatch::m_OneNonDBGUse(), llvm::MIPatternMatch::m_Reg(), MI, llvm::MIPatternMatch::mi_match(), MRI, S1, and X.
bool CombinerHelper::matchConstantFoldBinOp | ( | MachineInstr & | MI, |
APInt & | MatchInfo | ||
) |
Do constant folding when opportunities are exposed after MIR building.
Definition at line 4768 of file CombinerHelper.cpp.
References llvm::ConstantFoldBinOp(), MI, and MRI.
bool CombinerHelper::matchConstantFoldCastOp | ( | MachineInstr & | MI, |
APInt & | MatchInfo | ||
) |
Do constant folding when opportunities are exposed after MIR building.
Definition at line 4756 of file CombinerHelper.cpp.
References llvm::ConstantFoldCastOp(), llvm::MachineRegisterInfo::getType(), MI, and MRI.
bool CombinerHelper::matchConstantFoldFMA | ( | MachineInstr & | MI, |
ConstantFP *& | MatchInfo | ||
) |
Constant fold G_FMA/G_FMAD.
Definition at line 4789 of file CombinerHelper.cpp.
References _, assert(), llvm::APFloat::fusedMultiplyAdd(), llvm::getConstantFPVRegVal(), llvm::ConstantFP::getValueAPF(), MI, MRI, and llvm::APFloatBase::rmNearestTiesToEven.
bool CombinerHelper::matchConstantFoldFPBinOp | ( | MachineInstr & | MI, |
ConstantFP *& | MatchInfo | ||
) |
Do constant FP folding when opportunities are exposed after MIR building.
Definition at line 4778 of file CombinerHelper.cpp.
References llvm::ConstantFoldFPBinOp(), MI, and MRI.
bool CombinerHelper::matchConstantFPOp | ( | const MachineOperand & | MOP, |
double | C | ||
) |
Return true if MOP
is defined by a G_FCONSTANT or splat with a value exactly equal to C
.
Definition at line 2767 of file CombinerHelper.cpp.
References llvm::CallingConv::C, llvm::MachineOperand::getReg(), llvm::MachineOperand::isReg(), llvm::MIPatternMatch::m_GFCstOrSplat(), llvm::MIPatternMatch::mi_match(), and MRI.
bool CombinerHelper::matchConstantLargerBitWidth | ( | MachineInstr & | MI, |
unsigned | ConstIdx | ||
) |
Checks if constant at ConstIdx
is larger than MI
's bitwidth.
ConstIdx | Index of the constant |
Definition at line 2796 of file CombinerHelper.cpp.
References llvm::getIConstantVRegValWithLookThrough(), llvm::LLT::getSizeInBits(), llvm::MachineRegisterInfo::getType(), MI, and MRI.
bool CombinerHelper::matchConstantOp | ( | const MachineOperand & | MOP, |
int64_t | C | ||
) |
Return true if MOP
is defined by a G_CONSTANT or splat with a value equal to C
.
Definition at line 2758 of file CombinerHelper.cpp.
References llvm::CallingConv::C, llvm::MachineOperand::getReg(), llvm::MachineRegisterInfo::getVRegDef(), llvm::isConstantOrConstantSplatVector(), llvm::MachineOperand::isReg(), MI, and MRI.
Referenced by matchOperandIsZero().
bool CombinerHelper::matchConstantSelectCmp | ( | MachineInstr & | MI, |
unsigned & | OpIdx | ||
) |
Return true if a G_SELECT instruction MI
has a constant comparison.
If true, OpIdx
will store the operand index of the known selected value.
Definition at line 2649 of file CombinerHelper.cpp.
References llvm::GSelect::getCondReg(), llvm::MachineRegisterInfo::getVRegDef(), llvm::isConstantOrConstantSplatVector(), MI, and MRI.
bool CombinerHelper::matchEqualDefs | ( | const MachineOperand & | MOP1, |
const MachineOperand & | MOP2 | ||
) |
Return true if MOP1
and MOP2
are register operands are defined by equivalent instructions.
Definition at line 2661 of file CombinerHelper.cpp.
References llvm::any_of(), Builder, llvm::MachineInstr::findRegisterDefOperandIdx(), llvm::getDefSrcRegIgnoringCopies(), llvm::GMemOperation::getMemSizeInBits(), llvm::MachineOperand::getReg(), llvm::MachineIRBuilder::getTII(), llvm::MachineInstr::isDereferenceableInvariantLoad(), llvm::MachineOperand::isReg(), llvm::MachineInstr::mayLoadOrStore(), MRI, and llvm::TargetInstrInfo::produceSameValue().
Referenced by matchBinOpSameVal(), matchCombineDivRem(), matchHoistLogicOpWithSameOpcodeHands(), and matchSelectSameVal().
bool CombinerHelper::matchExtendThroughPhis | ( | MachineInstr & | MI, |
MachineInstr *& | ExtMI | ||
) |
Definition at line 3891 of file CombinerHelper.cpp.
References Builder, DefMI, llvm::getDefIgnoringCopies(), llvm::MachineInstr::getOpcode(), llvm::MachineIRBuilder::getTII(), llvm::MachineRegisterInfo::getType(), llvm::MachineRegisterInfo::hasOneNonDBGUse(), I, llvm::SmallPtrSetImpl< PtrType >::insert(), llvm::TargetInstrInfo::isExtendLikelyToBeFolded(), llvm::LLT::isVector(), MI, MRI, PHI, llvm::SmallPtrSetImplBase::size(), and llvm::MachineRegisterInfo::use_instr_nodbg_begin().
bool CombinerHelper::matchExtractAllEltsFromBuildVector | ( | MachineInstr & | MI, |
SmallVectorImpl< std::pair< Register, MachineInstr * > > & | MatchInfo | ||
) |
Definition at line 4042 of file CombinerHelper.cpp.
References llvm::SmallBitVector::all(), assert(), llvm::getIConstantVRegVal(), llvm::LLT::getNumElements(), llvm::MachineRegisterInfo::getType(), Idx, MI, MRI, llvm::SmallBitVector::set(), and llvm::MachineRegisterInfo::use_nodbg_instructions().
bool CombinerHelper::matchExtractVecEltBuildVec | ( | MachineInstr & | MI, |
Register & | Reg | ||
) |
Definition at line 3990 of file CombinerHelper.cpp.
References assert(), llvm::getIConstantVRegValWithLookThrough(), llvm::getMVTForLLT(), llvm::LLT::getNumElements(), llvm::MachineInstr::getOpcode(), llvm::MachineInstr::getOperand(), llvm::MachineOperand::getReg(), getTargetLowering(), llvm::MachineRegisterInfo::getType(), llvm::MachineRegisterInfo::getVRegDef(), llvm::MachineRegisterInfo::hasOneNonDBGUse(), MI, and MRI.
bool CombinerHelper::matchFoldBinOpIntoSelect | ( | MachineInstr & | MI, |
unsigned & | SelectOpNo | ||
) |
Push a binary operator through a select on constants.
binop (select cond, K0, K1), K2 -> select cond, (binop K0, K2), (binop K1, K2)
Definition at line 3454 of file CombinerHelper.cpp.
References llvm::MachineRegisterInfo::getVRegDef(), llvm::MachineRegisterInfo::hasOneNonDBGUse(), llvm::isAllOnesOrAllOnesSplat(), llvm::isConstantOrConstantVector(), llvm::isNullOrNullSplat(), LHS, MI, MRI, RHS, and Select.
bool CombinerHelper::matchFsubToFneg | ( | MachineInstr & | MI, |
Register & | MatchInfo | ||
) |
Definition at line 5352 of file CombinerHelper.cpp.
References assert(), llvm::MachineInstr::FmNsz, llvm::getFConstantSplat(), llvm::getFConstantVRegValWithLookThrough(), llvm::MachineRegisterInfo::getType(), llvm::LLT::isVector(), LHS, MI, and MRI.
bool CombinerHelper::matchFunnelShiftToRotate | ( | MachineInstr & | MI | ) |
Match an FSHL or FSHR that can be combined to a ROTR or ROTL rotate.
Definition at line 4163 of file CombinerHelper.cpp.
References assert(), llvm::MachineRegisterInfo::getType(), isLegalOrBeforeLegalizer(), MI, MRI, X, and Y.
bool CombinerHelper::matchHoistLogicOpWithSameOpcodeHands | ( | MachineInstr & | MI, |
InstructionStepsMatchInfo & | MatchInfo | ||
) |
Match (logic_op (op x...), (op y...)) -> (op (logic_op x, y))
Definition at line 2991 of file CombinerHelper.cpp.
References assert(), llvm::MachineRegisterInfo::createGenericVirtualRegister(), llvm::getDefIgnoringCopies(), llvm::MachineInstr::getOpcode(), llvm::MachineInstr::getOperand(), llvm::MachineOperand::getReg(), llvm::MachineRegisterInfo::getType(), llvm::MachineRegisterInfo::hasOneNonDBGUse(), isLegalOrBeforeLegalizer(), llvm::MachineOperand::isReg(), llvm::Register::isValid(), llvm::LLT::isValid(), matchEqualDefs(), MI, MRI, llvm::SmallVectorTemplateBase< T, bool >::push_back(), X, and Y.
bool CombinerHelper::matchICmpToLHSKnownBits | ( | MachineInstr & | MI, |
BuildFnTy & | MatchInfo | ||
) |
MI
can be replaced with its LHS based off of KnownBits information. Definition at line 4270 of file CombinerHelper.cpp.
References assert(), B, llvm::getICmpTrueVal(), llvm::GISelKnownBits::getKnownBits(), llvm::LLT::getSizeInBits(), getTargetLowering(), llvm::MachineRegisterInfo::getType(), llvm::CmpInst::ICMP_EQ, llvm::CmpInst::isEquality(), isLegalOrBeforeLegalizer(), llvm::LLT::isVector(), KB, LHS, llvm::MIPatternMatch::m_SpecificICst(), MI, llvm::MIPatternMatch::mi_match(), and MRI.
bool CombinerHelper::matchICmpToTrueFalseKnownBits | ( | MachineInstr & | MI, |
int64_t & | MatchInfo | ||
) |
MI
can be replaced with a true or false constant based off of KnownBits information. Definition at line 4217 of file CombinerHelper.cpp.
References assert(), llvm::KnownBits::eq(), llvm::getICmpTrueVal(), llvm::GISelKnownBits::getKnownBits(), getTargetLowering(), llvm::MachineRegisterInfo::getType(), llvm::CmpInst::ICMP_EQ, llvm::CmpInst::ICMP_NE, llvm::CmpInst::ICMP_SGE, llvm::CmpInst::ICMP_SGT, llvm::CmpInst::ICMP_SLE, llvm::CmpInst::ICMP_SLT, llvm::CmpInst::ICMP_UGE, llvm::CmpInst::ICMP_UGT, llvm::CmpInst::ICMP_ULE, llvm::CmpInst::ICMP_ULT, llvm::LLT::isVector(), KB, llvm_unreachable, MI, MRI, llvm::KnownBits::ne(), llvm::KnownBits::sge(), llvm::KnownBits::sgt(), llvm::KnownBits::sle(), llvm::KnownBits::slt(), llvm::KnownBits::uge(), llvm::KnownBits::ugt(), llvm::KnownBits::ule(), and llvm::KnownBits::ult().
bool CombinerHelper::matchInsertExtractVecEltOutOfBounds | ( | MachineInstr & | MI | ) |
Return true if a G_{EXTRACT,INSERT}_VECTOR_ELT has an out of range index.
Definition at line 2636 of file CombinerHelper.cpp.
References assert(), llvm::getIConstantVRegVal(), llvm::LLT::getNumElements(), llvm::MachineRegisterInfo::getType(), Idx, MI, and MRI.
bool CombinerHelper::matchLoadOrCombine | ( | MachineInstr & | MI, |
BuildFnTy & | MatchInfo | ||
) |
Match expression trees of the form.
And check if the tree can be replaced with a M-bit load + possibly a bswap.
Definition at line 3778 of file CombinerHelper.cpp.
References assert(), bigEndianByteAt(), llvm::CallingConv::C, llvm::MachineRegisterInfo::cloneVirtualRegister(), DL, llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::end(), llvm::CallingConv::Fast, llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::find(), llvm::Function::getContext(), llvm::MachineFunction::getDataLayout(), llvm::MachineFunction::getFunction(), llvm::MachineFunction::getMachineMemOperand(), llvm::GMemOperation::getMMO(), llvm::MachineMemOperand::getPointerInfo(), llvm::GLoadStore::getPointerReg(), llvm::LLT::getSizeInBits(), getTargetLowering(), llvm::MachineRegisterInfo::getType(), llvm::DataLayout::isBigEndian(), isBigEndian(), isLegalOrBeforeLegalizer(), llvm::LLT::isVector(), littleEndianByteAt(), llvm::LegalityQuery::MemDesc::MemoryTy, MI, MRI, and Ptr.
bool CombinerHelper::matchMulOBy0 | ( | MachineInstr & | MI, |
BuildFnTy & | MatchInfo | ||
) |
Match: (G_*MULO x, 0) -> 0 + no carry out.
Definition at line 4923 of file CombinerHelper.cpp.
References assert(), B, llvm::MachineRegisterInfo::getType(), isConstantLegalOrBeforeLegalizer(), llvm::MIPatternMatch::m_SpecificICstOrSplat(), MI, llvm::MIPatternMatch::mi_match(), and MRI.
bool CombinerHelper::matchMulOBy2 | ( | MachineInstr & | MI, |
BuildFnTy & | MatchInfo | ||
) |
Match: (G_UMULO x, 2) -> (G_UADDO x, x) (G_SMULO x, 2) -> (G_SADDO x, x)
Definition at line 4905 of file CombinerHelper.cpp.
References assert(), B, Builder, llvm::GISelChangeObserver::changedInstr(), llvm::GISelChangeObserver::changingInstr(), llvm::MCInstrInfo::get(), llvm::MachineIRBuilder::getTII(), llvm::MIPatternMatch::m_SpecificICstOrSplat(), MI, llvm::MIPatternMatch::mi_match(), MRI, and Observer.
bool CombinerHelper::matchNarrowBinopFeedingAnd | ( | MachineInstr & | MI, |
BuildFnTy & | MatchInfo | ||
) |
MI
. Definition at line 4814 of file CombinerHelper.cpp.
References assert(), B, Builder, llvm::MachineIRBuilder::buildInstr(), llvm::MachineIRBuilder::buildTrunc(), llvm::MachineIRBuilder::buildZExt(), llvm::GISelChangeObserver::changedInstr(), llvm::GISelChangeObserver::changingInstr(), DL, llvm::getDefIgnoringCopies(), llvm::getIConstantVRegValWithLookThrough(), llvm::MachineInstr::getOpcode(), llvm::MachineInstr::getOperand(), llvm::MachineOperand::getReg(), llvm::LLT::getSizeInBits(), getTargetLowering(), llvm::MachineRegisterInfo::getType(), llvm::MachineRegisterInfo::hasOneNonDBGUse(), isLegalOrBeforeLegalizer(), llvm::LLT::isScalar(), MI, MRI, Observer, and llvm::LLT::scalar().
bool CombinerHelper::matchNotCmp | ( | MachineInstr & | MI, |
SmallVectorImpl< Register > & | RegsToNegate | ||
) |
Combine inverting a result of a compare into the opposite cond code.
Definition at line 3259 of file CombinerHelper.cpp.
References assert(), Builder, llvm::getIConstantSplatSExtVal(), llvm::MachineIRBuilder::getMF(), llvm::LLT::getScalarSizeInBits(), llvm::LLT::getSizeInBits(), llvm::MachineFunction::getSubtarget(), llvm::TargetSubtargetInfo::getTargetLowering(), llvm::MachineRegisterInfo::getType(), llvm::MachineRegisterInfo::getVRegDef(), llvm::MachineRegisterInfo::hasOneNonDBGUse(), I, isConstValidTrue(), llvm::LLT::isVector(), llvm::MIPatternMatch::m_GXor(), llvm::MIPatternMatch::m_ICst(), llvm::MIPatternMatch::m_Reg(), MI, llvm::MIPatternMatch::mi_match(), MRI, llvm::SmallVectorTemplateBase< T, bool >::push_back(), and llvm::SmallVectorBase< Size_T >::size().
bool CombinerHelper::matchOperandIsKnownToBeAPowerOfTwo | ( | MachineInstr & | MI, |
unsigned | OpIdx | ||
) |
Check if operand OpIdx
is known to be a power of 2.
Definition at line 2861 of file CombinerHelper.cpp.
References llvm::MachineOperand::getReg(), llvm::isKnownToBeAPowerOfTwo(), KB, MI, and MRI.
bool CombinerHelper::matchOperandIsUndef | ( | MachineInstr & | MI, |
unsigned | OpIdx | ||
) |
Check if operand OpIdx
is undef.
Definition at line 2855 of file CombinerHelper.cpp.
References llvm::getOpcodeDef(), llvm::MachineOperand::getReg(), llvm::MachineOperand::isReg(), MI, and MRI.
bool CombinerHelper::matchOperandIsZero | ( | MachineInstr & | MI, |
unsigned | OpIdx | ||
) |
Check if operand OpIdx
is zero.
Definition at line 2849 of file CombinerHelper.cpp.
References llvm::canReplaceReg(), matchConstantOp(), MI, and MRI.
bool CombinerHelper::matchOptBrCondByInvertingCond | ( | MachineInstr & | MI, |
MachineInstr *& | BrCond | ||
) |
If a brcond's true block is not the fallthrough, make it so by inverting the condition and swapping operands.
Definition at line 1436 of file CombinerHelper.cpp.
References assert(), llvm::MachineBasicBlock::begin(), llvm::MachineBasicBlock::end(), llvm::MachineOperand::getMBB(), llvm::MachineInstr::getOpcode(), llvm::MachineInstr::getOperand(), llvm::MachineBasicBlock::isLayoutSuccessor(), MBB, and MI.
bool CombinerHelper::matchOr | ( | MachineInstr & | MI, |
BuildFnTy & | MatchInfo | ||
) |
bool CombinerHelper::matchOrShiftToFunnelShift | ( | MachineInstr & | MI, |
BuildFnTy & | MatchInfo | ||
) |
Definition at line 4109 of file CombinerHelper.cpp.
References assert(), B, llvm::BitWidth, llvm::LLT::getScalarSizeInBits(), llvm::MachineRegisterInfo::getType(), isLegalOrBeforeLegalizer(), llvm::MIPatternMatch::m_GLShr(), llvm::MIPatternMatch::m_GOr(), llvm::MIPatternMatch::m_GShl(), llvm::MIPatternMatch::m_GSub(), llvm::MIPatternMatch::m_ICstOrSplat(), llvm::MIPatternMatch::m_Reg(), llvm::MIPatternMatch::m_SpecificICstOrSplat(), MI, llvm::MIPatternMatch::mi_match(), and MRI.
bool CombinerHelper::matchOverlappingAnd | ( | MachineInstr & | MI, |
BuildFnTy & | MatchInfo | ||
) |
Fold and(and(x, C1), C2) -> C1&C2 ? and(x, C1&C2) : 0.
and(and(x, C1), C2) -> C1&C2 ? and(x, C1&C2) : 0
Definition at line 3129 of file CombinerHelper.cpp.
References assert(), B, llvm::MachineRegisterInfo::getType(), llvm::MIPatternMatch::m_GAnd(), llvm::MIPatternMatch::m_ICst(), llvm::MIPatternMatch::m_Reg(), MI, llvm::MIPatternMatch::mi_match(), MRI, and replaceRegWith().
bool CombinerHelper::matchPtrAddImmedChain | ( | MachineInstr & | MI, |
PtrAddChain & | MatchInfo | ||
) |
Definition at line 1566 of file CombinerHelper.cpp.
References llvm::PtrAddChain::Bank, llvm::PtrAddChain::Base, llvm::sampleprof::Base, llvm::TargetLoweringBase::AddrMode::BaseOffs, llvm::LLT::getAddressSpace(), llvm::getIConstantVRegValWithLookThrough(), llvm::MachineInstr::getOpcode(), llvm::MachineInstr::getOperand(), llvm::MachineOperand::getReg(), llvm::GenericMachineInstr::getReg(), getRegBank(), llvm::APInt::getSExtValue(), llvm::MachineRegisterInfo::getType(), getTypeForLLT(), llvm::MachineRegisterInfo::getVRegDef(), llvm::TargetLoweringBase::AddrMode::HasBaseReg, llvm::PtrAddChain::Imm, MI, MRI, llvm::MachineRegisterInfo::use_nodbg_instructions(), and UseMI.
bool CombinerHelper::matchPtrAddZero | ( | MachineInstr & | MI | ) |
}
Combine G_PTR_ADD with nullptr to G_INTTOPTR
Definition at line 3413 of file CombinerHelper.cpp.
References assert(), Builder, DL, llvm::LLT::getAddressSpace(), llvm::MachineFunction::getDataLayout(), llvm::getIConstantVRegVal(), llvm::MachineIRBuilder::getMF(), llvm::LLT::getScalarType(), llvm::MachineRegisterInfo::getType(), llvm::MachineRegisterInfo::getVRegDef(), llvm::isBuildVectorAllZeros(), llvm::LLT::isPointer(), llvm::LLT::isVector(), MI, and MRI.
bool CombinerHelper::matchReassocCommBinOp | ( | MachineInstr & | MI, |
BuildFnTy & | MatchInfo | ||
) |
Reassociate commutative binary operations like G_ADD.
Definition at line 4740 of file CombinerHelper.cpp.
References MI, and tryReassocBinOp().
bool CombinerHelper::matchReassocConstantInnerLHS | ( | GPtrAdd & | MI, |
MachineInstr * | LHS, | ||
MachineInstr * | RHS, | ||
BuildFnTy & | MatchInfo | ||
) |
Definition at line 4607 of file CombinerHelper.cpp.
References B, llvm::GISelChangeObserver::changedInstr(), llvm::GISelChangeObserver::changingInstr(), llvm::MachineRegisterInfo::getType(), LHS, llvm::MIPatternMatch::m_GCst(), llvm::MIPatternMatch::m_GPtrAdd(), llvm::MIPatternMatch::m_OneNonDBGUse(), llvm::MIPatternMatch::m_Reg(), MI, llvm::MIPatternMatch::mi_match(), MRI, and Observer.
Referenced by matchReassocPtrAdd().
bool CombinerHelper::matchReassocConstantInnerRHS | ( | GPtrAdd & | MI, |
MachineInstr * | RHS, | ||
BuildFnTy & | MatchInfo | ||
) |
Definition at line 4583 of file CombinerHelper.cpp.
References B, Builder, llvm::MachineIRBuilder::buildPtrAdd(), llvm::GISelChangeObserver::changedInstr(), llvm::GISelChangeObserver::changingInstr(), llvm::getIConstantVRegVal(), llvm::MachineRegisterInfo::getType(), MI, MRI, Observer, and RHS.
Referenced by matchReassocPtrAdd().
bool CombinerHelper::matchReassocFoldConstantsInSubTree | ( | GPtrAdd & | MI, |
MachineInstr * | LHS, | ||
MachineInstr * | RHS, | ||
BuildFnTy & | MatchInfo | ||
) |
Definition at line 4638 of file CombinerHelper.cpp.
References B, llvm::GISelChangeObserver::changedInstr(), llvm::GISelChangeObserver::changingInstr(), llvm::getIConstantVRegVal(), llvm::MachineRegisterInfo::getType(), LHS, MI, MRI, and Observer.
Referenced by matchReassocPtrAdd().
bool CombinerHelper::matchReassocPtrAdd | ( | MachineInstr & | MI, |
BuildFnTy & | MatchInfo | ||
) |
Reassociate pointer calculations with G_ADD involved, to allow better addressing mode usage.
Definition at line 4667 of file CombinerHelper.cpp.
References llvm::MachineRegisterInfo::getVRegDef(), LHS, matchReassocConstantInnerLHS(), matchReassocConstantInnerRHS(), matchReassocFoldConstantsInSubTree(), MI, MRI, and RHS.
bool CombinerHelper::matchRedundantAnd | ( | MachineInstr & | MI, |
Register & | Replacement | ||
) |
MI
is a G_AND instruction whose operands are x and y where x & y == x or x & y == y. (E.g., one of operands is all-ones value.)[in] | MI | - The G_AND instruction. |
[out] | Replacement | - A register the G_AND should be replaced with on success. |
Definition at line 3155 of file CombinerHelper.cpp.
References assert(), llvm::canReplaceReg(), llvm::GISelKnownBits::getKnownBits(), KB, LHS, MI, MRI, llvm::KnownBits::One, RHS, and llvm::KnownBits::Zero.
bool CombinerHelper::matchRedundantBinOpInEquality | ( | MachineInstr & | MI, |
BuildFnTy & | MatchInfo | ||
) |
Transform: (X + Y) == X -> Y == 0 (X - Y) == X -> Y == 0 (X ^ Y) == X -> Y == 0 (X + Y) != X -> Y != 0 (X - Y) != X -> Y != 0 (X ^ Y) != X -> Y != 0.
Definition at line 6187 of file CombinerHelper.cpp.
References assert(), B, llvm::MachineRegisterInfo::getType(), llvm::CmpInst::isEquality(), llvm::MIPatternMatch::m_any_of(), llvm::MIPatternMatch::m_c_GICmp(), llvm::MIPatternMatch::m_GAdd(), llvm::MIPatternMatch::m_GSub(), llvm::MIPatternMatch::m_GXor(), llvm::MIPatternMatch::m_Pred(), llvm::MIPatternMatch::m_Reg(), MI, llvm::MIPatternMatch::mi_match(), MRI, X, and Y.
bool CombinerHelper::matchRedundantNegOperands | ( | MachineInstr & | MI, |
BuildFnTy & | MatchInfo | ||
) |
Transform (fadd x, fneg(y)) -> (fsub x, y) (fadd fneg(x), y) -> (fsub y, x) (fsub x, fneg(y)) -> (fadd x, y) (fmul fneg(x), fneg(y)) -> (fmul x, y) (fdiv fneg(x), fneg(y)) -> (fdiv x, y) (fmad fneg(x), fneg(y), z) -> (fmad x, y, z) (fma fneg(x), fneg(y), z) -> (fma x, y, z)
fold (fsub x, fneg(y)) -> (fadd x, y)
Definition at line 5306 of file CombinerHelper.cpp.
References assert(), B, llvm::GISelChangeObserver::changedInstr(), llvm::GISelChangeObserver::changingInstr(), llvm::MachineRegisterInfo::getType(), isLegalOrBeforeLegalizer(), llvm::MIPatternMatch::m_GFAdd(), llvm::MIPatternMatch::m_GFNeg(), llvm::MIPatternMatch::m_GFSub(), llvm::MIPatternMatch::m_Reg(), MI, llvm::MIPatternMatch::mi_match(), MRI, Observer, X, and Y.
bool CombinerHelper::matchRedundantOr | ( | MachineInstr & | MI, |
Register & | Replacement | ||
) |
MI
is a G_OR instruction whose operands are x and y where x | y == x or x | y == y. (E.g., one of operands is all-zeros value.)[in] | MI | - The G_OR instruction. |
[out] | Replacement | - A register the G_OR should be replaced with on success. |
Definition at line 3204 of file CombinerHelper.cpp.
References assert(), llvm::canReplaceReg(), llvm::GISelKnownBits::getKnownBits(), KB, LHS, MI, MRI, llvm::KnownBits::One, RHS, and llvm::KnownBits::Zero.
bool CombinerHelper::matchRedundantSExtInReg | ( | MachineInstr & | MI | ) |
MI
is a G_SEXT_INREG that can be erased. Definition at line 3244 of file CombinerHelper.cpp.
References llvm::GISelKnownBits::computeNumSignBits(), llvm::LLT::getScalarSizeInBits(), llvm::MachineRegisterInfo::getType(), KB, MI, and MRI.
bool CombinerHelper::matchRotateOutOfRange | ( | MachineInstr & | MI | ) |
Definition at line 4187 of file CombinerHelper.cpp.
References assert(), llvm::CallingConv::C, llvm::LLT::getScalarSizeInBits(), llvm::MachineRegisterInfo::getType(), llvm::matchUnaryPredicate(), MI, and MRI.
bool CombinerHelper::matchSDivByConst | ( | MachineInstr & | MI | ) |
Definition at line 5171 of file CombinerHelper.cpp.
References assert(), llvm::CallingConv::C, DL, llvm::getApproximateEVTForLLT(), llvm::AttributeList::getAttributes(), getTargetLowering(), llvm::MachineRegisterInfo::getType(), llvm::MachineInstr::IsExact, llvm::matchUnaryPredicate(), MI, MRI, and RHS.
bool CombinerHelper::matchSelect | ( | MachineInstr & | MI, |
BuildFnTy & | MatchInfo | ||
) |
bool CombinerHelper::matchSelectSameVal | ( | MachineInstr & | MI | ) |
Optimize (cond ? x : x) -> x.
Definition at line 2835 of file CombinerHelper.cpp.
References assert(), llvm::canReplaceReg(), matchEqualDefs(), MI, and MRI.
bool CombinerHelper::matchSextInRegOfLoad | ( | MachineInstr & | MI, |
std::tuple< Register, unsigned > & | MatchInfo | ||
) |
Match sext_inreg(load p), imm -> sextload p.
Definition at line 880 of file CombinerHelper.cpp.
References assert(), llvm::LLT::getSizeInBits(), llvm::MachineRegisterInfo::getType(), llvm::MachineRegisterInfo::hasOneNonDBGUse(), isLegalOrBeforeLegalizer(), llvm::isPowerOf2_32(), llvm::LLT::isVector(), llvm::LegalityQuery::MemDesc::MemoryTy, MI, MRI, and llvm::LLT::scalar().
bool CombinerHelper::matchSextTruncSextLoad | ( | MachineInstr & | MI | ) |
Definition at line 846 of file CombinerHelper.cpp.
References assert(), llvm::LLT::getSizeInBits(), llvm::MachineRegisterInfo::getType(), llvm::LLT::isVector(), llvm::MIPatternMatch::m_GTrunc(), llvm::MIPatternMatch::m_Reg(), MI, llvm::MIPatternMatch::mi_match(), and MRI.
bool CombinerHelper::matchShiftImmedChain | ( | MachineInstr & | MI, |
RegisterImmPair & | MatchInfo | ||
) |
Fold (shift (shift base, x), y) -> (shift base (x+y))
Definition at line 1641 of file CombinerHelper.cpp.
References assert(), llvm::sampleprof::Base, llvm::getIConstantVRegValWithLookThrough(), llvm::MachineInstr::getOpcode(), llvm::MachineInstr::getOperand(), llvm::MachineOperand::getReg(), llvm::LLT::getScalarSizeInBits(), llvm::MachineRegisterInfo::getType(), llvm::MachineRegisterInfo::getUniqueVRegDef(), llvm::RegisterImmPair::Imm, MI, MRI, and llvm::RegisterImmPair::Reg.
bool CombinerHelper::matchShiftOfShiftedLogic | ( | MachineInstr & | MI, |
ShiftOfShiftedLogic & | MatchInfo | ||
) |
If we have a shift-by-constant of a bitwise logic op that itself has a shift-by-constant operand with identical opcode, we may be able to convert that into 2 independent shifts followed by the logic op.
Definition at line 1719 of file CombinerHelper.cpp.
References assert(), llvm::getIConstantVRegValWithLookThrough(), llvm::MachineInstr::getOpcode(), llvm::MachineInstr::getOperand(), llvm::MachineOperand::getReg(), llvm::LLT::getScalarSizeInBits(), llvm::MachineRegisterInfo::getType(), llvm::MachineRegisterInfo::getUniqueVRegDef(), llvm::MachineRegisterInfo::hasOneNonDBGUse(), llvm::ShiftOfShiftedLogic::Logic, llvm::ShiftOfShiftedLogic::LogicNonShiftReg, MI, MRI, llvm::ShiftOfShiftedLogic::Shift2, and llvm::ShiftOfShiftedLogic::ValSum.
bool CombinerHelper::matchShiftsTooBig | ( | MachineInstr & | MI | ) |
Match shifts greater or equal to the bitwidth of the operation.
Definition at line 6219 of file CombinerHelper.cpp.
References llvm::CallingConv::C, llvm::LLT::getScalarSizeInBits(), llvm::MachineRegisterInfo::getType(), llvm::matchUnaryPredicate(), MI, and MRI.
bool CombinerHelper::matchShuffleToExtract | ( | MachineInstr & | MI | ) |
Definition at line 406 of file CombinerHelper.cpp.
bool CombinerHelper::matchSimplifyAddToSub | ( | MachineInstr & | MI, |
std::tuple< Register, Register > & | MatchInfo | ||
) |
Return true if MI is a G_ADD which can be simplified to a G_SUB.
Definition at line 2902 of file CombinerHelper.cpp.
References LHS, llvm::PatternMatch::m_Neg(), llvm::MIPatternMatch::m_Reg(), MI, llvm::MIPatternMatch::mi_match(), MRI, and RHS.
bool CombinerHelper::matchSimplifySelectToMinMax | ( | MachineInstr & | MI, |
BuildFnTy & | MatchInfo | ||
) |
MI
to a min/max instruction of some sort. Definition at line 6172 of file CombinerHelper.cpp.
References assert(), Cond, llvm::MIPatternMatch::m_GTrunc(), llvm::MIPatternMatch::m_OneNonDBGUse(), llvm::MIPatternMatch::m_Reg(), MI, llvm::MIPatternMatch::mi_match(), and MRI.
bool CombinerHelper::matchSubAddSameReg | ( | MachineInstr & | MI, |
BuildFnTy & | MatchInfo | ||
) |
Transform: (x + y) - y -> x (x + y) - x -> y x - (y + x) -> 0 - y x - (x + z) -> 0 - z.
Definition at line 4974 of file CombinerHelper.cpp.
References assert(), B, llvm::MachineRegisterInfo::getType(), llvm::MIPatternMatch::m_GAdd(), llvm::MIPatternMatch::m_GSub(), llvm::MIPatternMatch::m_ICstOrSplat(), llvm::MIPatternMatch::m_Reg(), llvm::MIPatternMatch::m_SpecificICstOrSplat(), MI, llvm::MIPatternMatch::mi_match(), MRI, X, and Y.
bool CombinerHelper::matchTruncBuildVectorFold | ( | MachineInstr & | MI, |
Register & | MatchInfo | ||
) |
Definition at line 6030 of file CombinerHelper.cpp.
References llvm::MachineRegisterInfo::getType(), llvm::MIPatternMatch::m_GBitcast(), llvm::MIPatternMatch::m_GBuildVector(), llvm::MIPatternMatch::m_Reg(), MI, llvm::MIPatternMatch::mi_match(), and MRI.
bool CombinerHelper::matchTruncLshrBuildVectorFold | ( | MachineInstr & | MI, |
Register & | MatchInfo | ||
) |
Definition at line 6041 of file CombinerHelper.cpp.
References llvm::LLT::getSizeInBits(), llvm::MachineRegisterInfo::getType(), llvm::MIPatternMatch::m_GBitcast(), llvm::MIPatternMatch::m_GBuildVector(), llvm::MIPatternMatch::m_GCst(), llvm::MIPatternMatch::m_GLShr(), llvm::MIPatternMatch::m_Reg(), MI, llvm::MIPatternMatch::mi_match(), and MRI.
bool CombinerHelper::matchUDivByConst | ( | MachineInstr & | MI | ) |
Combine G_UDIV by constant into a multiply by magic constant.
Definition at line 5123 of file CombinerHelper.cpp.
References assert(), llvm::CallingConv::C, llvm::LLT::changeElementSize(), DL, llvm::getApproximateEVTForLLT(), llvm::AttributeList::getAttributes(), getTargetLowering(), llvm::MachineRegisterInfo::getType(), llvm::MachineRegisterInfo::getVRegDef(), llvm::isConstantOrConstantVector(), isLegalOrBeforeLegalizer(), llvm::LLT::isVector(), LI, llvm::matchUnaryPredicate(), MI, MRI, RHS, and llvm::LLT::scalar().
bool CombinerHelper::matchUMulHToLShr | ( | MachineInstr & | MI | ) |
Definition at line 5273 of file CombinerHelper.cpp.
References assert(), llvm::CallingConv::C, llvm::TargetLoweringBase::getPreferredShiftAmountTy(), getTargetLowering(), llvm::MachineRegisterInfo::getType(), isLegalOrBeforeLegalizer(), llvm::matchUnaryPredicate(), MI, MRI, and RHS.
bool CombinerHelper::matchUndefSelectCmp | ( | MachineInstr & | MI | ) |
Return true if a G_SELECT instruction MI
has an undef comparison.
Definition at line 2630 of file CombinerHelper.cpp.
References assert(), llvm::getOpcodeDef(), MI, and MRI.
bool CombinerHelper::matchUndefShuffleVectorMask | ( | MachineInstr & | MI | ) |
Return true if a G_SHUFFLE_VECTOR instruction MI
has an undef mask.
Definition at line 2618 of file CombinerHelper.cpp.
References llvm::all_of(), assert(), and MI.
bool CombinerHelper::matchUndefStore | ( | MachineInstr & | MI | ) |
Return true if a G_STORE instruction MI
is storing an undef value.
Definition at line 2624 of file CombinerHelper.cpp.
References assert(), llvm::getOpcodeDef(), MI, and MRI.
bool CombinerHelper::matchXorOfAndWithSameReg | ( | MachineInstr & | MI, |
std::pair< Register, Register > & | MatchInfo | ||
) |
Fold (xor (and x, y), y) -> (and (not x), y) {.
Definition at line 3368 of file CombinerHelper.cpp.
References assert(), llvm::MachineRegisterInfo::hasOneNonDBGUse(), llvm::MIPatternMatch::m_GAnd(), llvm::MIPatternMatch::m_Reg(), MI, llvm::MIPatternMatch::mi_match(), MRI, std::swap(), X, and Y.
void CombinerHelper::replaceInstWithConstant | ( | MachineInstr & | MI, |
APInt | C | ||
) |
Replace an instruction with a G_CONSTANT with value C
.
Definition at line 2881 of file CombinerHelper.cpp.
References assert(), llvm::MachineIRBuilder::buildConstant(), Builder, llvm::CallingConv::C, MI, and llvm::MachineIRBuilder::setInstr().
void CombinerHelper::replaceInstWithConstant | ( | MachineInstr & | MI, |
int64_t | C | ||
) |
Replace an instruction with a G_CONSTANT with value C
.
Definition at line 2874 of file CombinerHelper.cpp.
References assert(), llvm::MachineIRBuilder::buildConstant(), Builder, llvm::CallingConv::C, MI, and llvm::MachineIRBuilder::setInstr().
void CombinerHelper::replaceInstWithFConstant | ( | MachineInstr & | MI, |
ConstantFP * | CFP | ||
) |
Replace an instruction with an G_FCONSTANT with value CFP
.
Definition at line 2888 of file CombinerHelper.cpp.
References assert(), Builder, llvm::MachineIRBuilder::buildFConstant(), llvm::ConstantFP::getValueAPF(), MI, and llvm::MachineIRBuilder::setInstr().
void CombinerHelper::replaceInstWithFConstant | ( | MachineInstr & | MI, |
double | C | ||
) |
Replace an instruction with a G_FCONSTANT with value C
.
Definition at line 2867 of file CombinerHelper.cpp.
References assert(), Builder, llvm::MachineIRBuilder::buildFConstant(), llvm::CallingConv::C, MI, and llvm::MachineIRBuilder::setInstr().
void CombinerHelper::replaceInstWithUndef | ( | MachineInstr & | MI | ) |
Replace an instruction with a G_IMPLICIT_DEF.
Definition at line 2895 of file CombinerHelper.cpp.
References assert(), Builder, llvm::MachineIRBuilder::buildUndef(), MI, and llvm::MachineIRBuilder::setInstr().
void CombinerHelper::replaceOpcodeWith | ( | MachineInstr & | FromMI, |
unsigned | ToOpcode | ||
) | const |
Replace the opcode in instruction with a new opcode and inform the observer of the changes.
Definition at line 187 of file CombinerHelper.cpp.
References Builder, llvm::GISelChangeObserver::changedInstr(), llvm::GISelChangeObserver::changingInstr(), llvm::MCInstrInfo::get(), llvm::MachineIRBuilder::getTII(), Observer, and llvm::MachineInstr::setDesc().
Referenced by AMDGPUCombinerHelper::applyFoldableFneg().
void CombinerHelper::replaceRegOpWith | ( | MachineRegisterInfo & | MRI, |
MachineOperand & | FromRegOp, | ||
Register | ToReg | ||
) | const |
Replace a single register operand with a new register and inform the observer of the changes.
Definition at line 176 of file CombinerHelper.cpp.
References assert(), llvm::GISelChangeObserver::changedInstr(), llvm::GISelChangeObserver::changingInstr(), llvm::MachineOperand::getParent(), Observer, and llvm::MachineOperand::setReg().
Referenced by applyCombineExtendingLoads(), and AMDGPUCombinerHelper::applyFoldableFneg().
void CombinerHelper::replaceRegWith | ( | MachineRegisterInfo & | MRI, |
Register | FromReg, | ||
Register | ToReg | ||
) | const |
MachineRegisterInfo::replaceRegWith() and inform the observer of the changes.
Definition at line 164 of file CombinerHelper.cpp.
References llvm::MachineIRBuilder::buildCopy(), Builder, llvm::GISelChangeObserver::changingAllUsesOfReg(), llvm::MachineRegisterInfo::constrainRegAttrs(), llvm::GISelChangeObserver::finishedChangingAllUsesOfReg(), MRI, Observer, and llvm::MachineRegisterInfo::replaceRegWith().
Referenced by applyCombineConcatVectors(), applyCombineCopy(), applyCombineExtendingLoads(), applyCombineShuffleVector(), applyCombineTruncOfExt(), applyCombineTruncOfShift(), applyCombineUnmergeMergeToPlainValues(), applyCombineUnmergeZExtToZExt(), applyExtractAllEltsFromBuildVector(), AMDGPUCombinerHelper::applyFoldableFneg(), applyNotCmp(), matchOverlappingAnd(), replaceSingleDefInstWithOperand(), and replaceSingleDefInstWithReg().
void CombinerHelper::replaceSingleDefInstWithOperand | ( | MachineInstr & | MI, |
unsigned | OpIdx | ||
) |
Delete MI
and replace all of its uses with its OpIdx-th
operand.
Definition at line 2777 of file CombinerHelper.cpp.
References assert(), llvm::canReplaceReg(), MI, MRI, and replaceRegWith().
void CombinerHelper::replaceSingleDefInstWithReg | ( | MachineInstr & | MI, |
Register | Replacement | ||
) |
Delete MI
and replace all of its uses with Replacement
.
Definition at line 2787 of file CombinerHelper.cpp.
References assert(), llvm::canReplaceReg(), MI, MRI, and replaceRegWith().
Referenced by applyExtractVecEltBuildVec(), applySDivByConst(), and applyUDivByConst().
void CombinerHelper::setRegBank | ( | Register | Reg, |
const RegisterBank * | RegBank | ||
) |
Set the register bank of Reg
.
Does nothing if the RegBank is null. This is the counterpart to getRegBank.
Definition at line 200 of file CombinerHelper.cpp.
References MRI, and llvm::MachineRegisterInfo::setRegBank().
Referenced by applyPtrAddImmedChain().
bool llvm::CombinerHelper::tryCombine | ( | MachineInstr & | MI | ) |
Try to transform MI
by using all of the above combine functions.
Returns true if changed.
bool CombinerHelper::tryCombineCopy | ( | MachineInstr & | MI | ) |
If MI
is COPY, try to combine it.
Returns true if MI changed.
Definition at line 205 of file CombinerHelper.cpp.
References applyCombineCopy(), matchCombineCopy(), and MI.
bool CombinerHelper::tryCombineExtendingLoads | ( | MachineInstr & | MI | ) |
If MI
is extend that consumes the result of a load, try to combine it.
Returns true if MI changed.
Definition at line 527 of file CombinerHelper.cpp.
References applyCombineExtendingLoads(), matchCombineExtendingLoads(), and MI.
bool CombinerHelper::tryCombineMemCpyFamily | ( | MachineInstr & | MI, |
unsigned | MaxLen = 0 |
||
) |
Optimize memcpy intrinsics et al, e.g.
constant len calls. /p MaxLen if non-zero specifies the max length of a mem libcall to inline.
For example (pre-indexed):
$addr = G_PTR_ADD $base, $offset [...] $val = G_LOAD $addr [...] $whatever = COPY $addr
-->
$val, $addr = G_INDEXED_LOAD $base, $offset, 1 (IsPre) [...] $whatever = COPY $addr
or (post-indexed):
G_STORE $val, $base [...] $addr = G_PTR_ADD $base, $offset [...] $whatever = COPY $addr
-->
$addr = G_INDEXED_STORE $val, $base, $offset [...] $whatever = COPY $addr
Definition at line 1504 of file CombinerHelper.cpp.
References llvm::MachineIRBuilder::getMF(), llvm::LegalizerHelper::Legalized, llvm::LegalizerHelper::lowerMemCpyFamily(), and MI.
bool CombinerHelper::tryCombineShiftToUnmerge | ( | MachineInstr & | MI, |
unsigned | TargetShiftAmount | ||
) |
Definition at line 2272 of file CombinerHelper.cpp.
References applyCombineShiftToUnmerge(), matchCombineShiftToUnmerge(), and MI.
bool CombinerHelper::tryCombineShuffleVector | ( | MachineInstr & | MI | ) |
Try to combine G_SHUFFLE_VECTOR into G_CONCAT_VECTORS.
Returns true if MI changed.
Definition at line 306 of file CombinerHelper.cpp.
References applyCombineShuffleVector(), matchCombineShuffleVector(), and MI.
bool CombinerHelper::tryEmitMemcpyInline | ( | MachineInstr & | MI | ) |
Emit loads and stores that perform the given memcpy.
Assumes MI
is a G_MEMCPY_INLINE TODO: implement dynamically sized inline memcpy, and rename: s/bool tryEmit/void emit/
Definition at line 1496 of file CombinerHelper.cpp.
References llvm::MachineIRBuilder::getMF(), llvm::LegalizerHelper::Legalized, and MI.
bool CombinerHelper::tryReassocBinOp | ( | unsigned | Opc, |
Register | DstReg, | ||
Register | Op0, | ||
Register | Op1, | ||
BuildFnTy & | MatchInfo | ||
) |
Try to reassociate to reassociate operands of a commutative binop.
Definition at line 4699 of file CombinerHelper.cpp.
References B, llvm::MachineInstr::getOpcode(), llvm::MachineInstr::getOperand(), llvm::MachineOperand::getReg(), getTargetLowering(), llvm::MachineRegisterInfo::getType(), llvm::MachineRegisterInfo::getVRegDef(), llvm::isConstantOrConstantSplatVector(), llvm::TargetLowering::isReassocProfitable(), and MRI.
Referenced by matchReassocCommBinOp().
|
protected |
Definition at line 105 of file CombinerHelper.h.
Referenced by applyAshShlToSextInreg(), applyBuildFn(), applyBuildFnNoErase(), applyBuildInstructionSteps(), applyCombineAddP2IToPtrAdd(), applyCombineConcatVectors(), applyCombineConstantFoldFpUnary(), applyCombineConstPtrAddToI2P(), applyCombineDivRem(), applyCombineExtendingLoads(), applyCombineExtOfExt(), applyCombineI2PToP2I(), applyCombineIndexedLoadStore(), applyCombineInsertVecElts(), applyCombineP2IToI2P(), applyCombineShiftToUnmerge(), applyCombineShlOfExtend(), applyCombineShuffleVector(), applyCombineTruncOfExt(), applyCombineTruncOfShift(), applyCombineUnmergeConstant(), applyCombineUnmergeMergeToPlainValues(), applyCombineUnmergeWithDeadLanesToTrunc(), applyCombineUnmergeZExtToZExt(), AMDGPUCombinerHelper::applyExpandPromotedF16FMed3(), applyExtendThroughPhis(), applyExtractVecEltBuildVec(), AMDGPUCombinerHelper::applyFoldableFneg(), applyFoldBinOpIntoSelect(), applyFsubToFneg(), applyFunnelShiftConstantModulo(), applyFunnelShiftToRotate(), applyNotCmp(), applyOptBrCondByInvertingCond(), applyPtrAddZero(), applyRotateOutOfRange(), applySextInRegOfLoad(), applySextTruncSextLoad(), applyShiftImmedChain(), applyShiftOfShiftedLogic(), applyShuffleToExtract(), applySimplifyAddToSub(), applySimplifyURemByPow2(), applyUMulHToLShr(), applyXorOfAndWithSameReg(), buildSDivUsingMul(), buildUDivUsingMul(), getBuilder(), getTargetLowering(), matchCombineConcatVectors(), matchCombineConstPtrAddToI2P(), matchCombineShuffleVector(), matchEqualDefs(), matchExtendThroughPhis(), matchMulOBy2(), matchNarrowBinopFeedingAnd(), matchNotCmp(), matchPtrAddZero(), matchReassocConstantInnerRHS(), replaceInstWithConstant(), replaceInstWithFConstant(), replaceInstWithUndef(), replaceOpcodeWith(), and replaceRegWith().
|
protected |
Definition at line 110 of file CombinerHelper.h.
Referenced by isPreLegalize().
|
protected |
Definition at line 108 of file CombinerHelper.h.
Referenced by getKnownBits(), matchAddOverflow(), matchCombineShlOfExtend(), matchCombineTruncOfShift(), matchCombineZextTrunc(), matchICmpToLHSKnownBits(), matchICmpToTrueFalseKnownBits(), matchOperandIsKnownToBeAPowerOfTwo(), matchRedundantAnd(), matchRedundantOr(), and matchRedundantSExtInReg().
|
protected |
Definition at line 111 of file CombinerHelper.h.
Referenced by isLegal(), matchBitfieldExtractFromAnd(), matchBitfieldExtractFromSExtInReg(), matchBitfieldExtractFromShr(), matchBitfieldExtractFromShrAnd(), matchCombineExtendingLoads(), matchCombineShlOfExtend(), and matchUDivByConst().
|
protected |
Definition at line 109 of file CombinerHelper.h.
Referenced by dominates().
|
protected |
Definition at line 106 of file CombinerHelper.h.
Referenced by applyAshShlToSextInreg(), applyCombineAddP2IToPtrAdd(), applyCombineConcatVectors(), applyCombineConstantFoldFpUnary(), applyCombineCopy(), applyCombineExtendingLoads(), applyCombineIndexedLoadStore(), applyCombineInsertVecElts(), applyCombineMulToShl(), applyCombineShiftToUnmerge(), applyCombineShlOfExtend(), applyCombineShuffleVector(), applyCombineTruncOfExt(), applyCombineTruncOfShift(), applyCombineUnmergeMergeToPlainValues(), applyCombineUnmergeZExtToZExt(), AMDGPUCombinerHelper::applyExpandPromotedF16FMed3(), applyExtendThroughPhis(), applyExtractAllEltsFromBuildVector(), applyExtractVecEltBuildVec(), AMDGPUCombinerHelper::applyFoldableFneg(), applyFoldBinOpIntoSelect(), applyFsubToFneg(), applyFunnelShiftConstantModulo(), applyNotCmp(), applyOptBrCondByInvertingCond(), applyPtrAddImmedChain(), applyRotateOutOfRange(), applySextInRegOfLoad(), applyShiftImmedChain(), applyShiftOfShiftedLogic(), applyShuffleToExtract(), applySimplifyURemByPow2(), applyUMulHToLShr(), applyXorOfAndWithSameReg(), buildSDivUsingMul(), buildUDivUsingMul(), canCombineFMadOrFMA(), getRegBank(), matchAddEToAddO(), matchAddOverflow(), matchAddSubSameReg(), matchAndOrDisjointMask(), matchAshrShlToSextInreg(), matchBinOpSameVal(), matchBitfieldExtractFromAnd(), matchBitfieldExtractFromSExtInReg(), matchBitfieldExtractFromShr(), matchBitfieldExtractFromShrAnd(), matchBuildVectorIdentityFold(), matchCombineAddP2IToPtrAdd(), matchCombineAnyExtTrunc(), matchCombineConcatVectors(), matchCombineConstPtrAddToI2P(), matchCombineCopy(), matchCombineDivRem(), matchCombineExtendingLoads(), matchCombineExtOfExt(), matchCombineExtractedVectorLoad(), matchCombineFAddFMAFMulToFMadOrFMA(), matchCombineFAddFMulToFMadOrFMA(), matchCombineFAddFpExtFMulToFMadOrFMA(), matchCombineFAddFpExtFMulToFMadOrFMAAggressive(), matchCombineFMinMaxNaN(), matchCombineFSubFMulToFMadOrFMA(), matchCombineFSubFNegFMulToFMadOrFMA(), matchCombineFSubFpExtFMulToFMadOrFMA(), matchCombineFSubFpExtFNegFMulToFMadOrFMA(), matchCombineI2PToP2I(), matchCombineInsertVecElts(), matchCombineLoadWithAndMask(), matchCombineMergeUnmerge(), matchCombineMulToShl(), matchCombineShiftToUnmerge(), matchCombineShlOfExtend(), matchCombineShuffleVector(), matchCombineTruncOfExt(), matchCombineTruncOfShift(), matchCombineUnmergeConstant(), matchCombineUnmergeMergeToPlainValues(), matchCombineUnmergeUndef(), matchCombineUnmergeWithDeadLanesToTrunc(), matchCombineUnmergeZExtToZExt(), matchCombineZextTrunc(), matchCommuteConstantToRHS(), matchCommuteFPConstantToRHS(), matchCommuteShift(), matchConstantFoldBinOp(), matchConstantFoldCastOp(), matchConstantFoldFMA(), matchConstantFoldFPBinOp(), matchConstantFPOp(), matchConstantLargerBitWidth(), matchConstantOp(), matchConstantSelectCmp(), matchEqualDefs(), AMDGPUCombinerHelper::matchExpandPromotedF16FMed3(), matchExtendThroughPhis(), matchExtractAllEltsFromBuildVector(), matchExtractVecEltBuildVec(), AMDGPUCombinerHelper::matchFoldableFneg(), matchFoldBinOpIntoSelect(), matchFsubToFneg(), matchFunnelShiftToRotate(), matchHoistLogicOpWithSameOpcodeHands(), matchICmpToLHSKnownBits(), matchICmpToTrueFalseKnownBits(), matchInsertExtractVecEltOutOfBounds(), matchLoadOrCombine(), matchMulOBy0(), matchMulOBy2(), matchNarrowBinopFeedingAnd(), matchNotCmp(), matchOperandIsKnownToBeAPowerOfTwo(), matchOperandIsUndef(), matchOperandIsZero(), matchOrShiftToFunnelShift(), matchOverlappingAnd(), matchPtrAddImmedChain(), matchPtrAddZero(), matchReassocConstantInnerLHS(), matchReassocConstantInnerRHS(), matchReassocFoldConstantsInSubTree(), matchReassocPtrAdd(), matchRedundantAnd(), matchRedundantBinOpInEquality(), matchRedundantNegOperands(), matchRedundantOr(), matchRedundantSExtInReg(), matchRotateOutOfRange(), matchSDivByConst(), matchSelectSameVal(), matchSextInRegOfLoad(), matchSextTruncSextLoad(), matchShiftImmedChain(), matchShiftOfShiftedLogic(), matchShiftsTooBig(), matchSimplifyAddToSub(), matchSimplifySelectToMinMax(), matchSubAddSameReg(), matchTruncBuildVectorFold(), matchTruncLshrBuildVectorFold(), matchUDivByConst(), matchUMulHToLShr(), matchUndefSelectCmp(), matchUndefStore(), matchXorOfAndWithSameReg(), replaceRegWith(), replaceSingleDefInstWithOperand(), replaceSingleDefInstWithReg(), setRegBank(), and tryReassocBinOp().
|
protected |
Definition at line 107 of file CombinerHelper.h.
Referenced by applyCombineExtendingLoads(), applyCombineExtOfExt(), applyCombineMulToShl(), applyCommuteBinOpOperands(), applyFunnelShiftToRotate(), applyNotCmp(), applyOptBrCondByInvertingCond(), applyPtrAddImmedChain(), applyRotateOutOfRange(), applyShiftImmedChain(), applyXorOfAndWithSameReg(), matchAddEToAddO(), matchAndOrDisjointMask(), matchMulOBy2(), matchNarrowBinopFeedingAnd(), matchReassocConstantInnerLHS(), matchReassocConstantInnerRHS(), matchReassocFoldConstantsInSubTree(), matchRedundantNegOperands(), replaceOpcodeWith(), replaceRegOpWith(), and replaceRegWith().
|
protected |
Definition at line 112 of file CombinerHelper.h.
Referenced by getRegBank().
|
protected |
Definition at line 113 of file CombinerHelper.h.
Referenced by getRegBank().