llvm::MIPatternMatch Namespace Reference

Classes
struct	And
	Matching combinators. More...
struct	And< Pred, Preds... >
struct	BinaryOp_match
struct	BinaryOpc_match
struct	bind_helper
struct	bind_helper< const ConstantFP * >
struct	bind_helper< const MachineInstr * >
struct	bind_helper< LLT >
struct	bind_helper< MachineInstr * >
struct	bind_ty
struct	CheckType
struct	ClassifyOp_match
struct	CompareOp_match
struct	ConstantMatch
struct	deferred_helper
struct	deferred_helper< LLT >
struct	deferred_ty
struct	GCstAndRegMatch
struct	GFCstAndRegMatch
struct	GFCstOrSplatGFCstMatch
struct	ICstOrSplatMatch
struct	ImplicitDefMatch
struct	OneNonDBGUse_match
struct	OneUse_match
struct	operand_type_match
struct	Or
struct	Or< Pred, Preds... >
struct	SpecificConstantMatch
	Matcher for a specific constant value. More...
struct	SpecificConstantOrSplatMatch
	Matcher for a specific constant or constant splat. More...
struct	SpecificConstantSplatMatch
	Matcher for a specific constant splat. More...
struct	SpecificRegisterMatch
	Matcher for a specific register. More...
struct	TernaryOp_match
struct	UnaryOp_match

Functions
template<typename Reg , typename Pattern >
bool	mi_match (Reg R, const MachineRegisterInfo &MRI, Pattern &&P)
template<typename Pattern >
bool	mi_match (MachineInstr &MI, const MachineRegisterInfo &MRI, Pattern &&P)
template<typename Pattern >
bool	mi_match (const MachineInstr &MI, const MachineRegisterInfo &MRI, Pattern &&P)
template<typename SubPat >
OneUse_match< SubPat >	m_OneUse (const SubPat &SP)
template<typename SubPat >
OneNonDBGUse_match< SubPat >	m_OneNonDBGUse (const SubPat &SP)
template<typename ConstT >
std::optional< ConstT >	matchConstant (Register, const MachineRegisterInfo &)
template<>
std::optional< APInt >	matchConstant (Register Reg, const MachineRegisterInfo &MRI)
template<>
std::optional< int64_t >	matchConstant (Register Reg, const MachineRegisterInfo &MRI)
ConstantMatch< APInt >	m_ICst (APInt &Cst)
ConstantMatch< int64_t >	m_ICst (int64_t &Cst)
template<typename ConstT >
std::optional< ConstT >	matchConstantSplat (Register, const MachineRegisterInfo &)
template<>
std::optional< APInt >	matchConstantSplat (Register Reg, const MachineRegisterInfo &MRI)
template<>
std::optional< int64_t >	matchConstantSplat (Register Reg, const MachineRegisterInfo &MRI)
ICstOrSplatMatch< APInt >	m_ICstOrSplat (APInt &Cst)
ICstOrSplatMatch< int64_t >	m_ICstOrSplat (int64_t &Cst)
GCstAndRegMatch	m_GCst (std::optional< ValueAndVReg > &ValReg)
GFCstAndRegMatch	m_GFCst (std::optional< FPValueAndVReg > &FPValReg)
GFCstOrSplatGFCstMatch	m_GFCstOrSplat (std::optional< FPValueAndVReg > &FPValReg)
SpecificConstantMatch	m_SpecificICst (APInt RequestedValue)
	Matches a constant equal to RequestedValue.
SpecificConstantMatch	m_SpecificICst (int64_t RequestedValue)
SpecificConstantSplatMatch	m_SpecificICstSplat (APInt RequestedValue)
	Matches a constant splat of RequestedValue.
SpecificConstantSplatMatch	m_SpecificICstSplat (int64_t RequestedValue)
SpecificConstantOrSplatMatch	m_SpecificICstOrSplat (APInt RequestedValue)
	Matches a RequestedValue constant or a constant splat of RequestedValue.
SpecificConstantOrSplatMatch	m_SpecificICstOrSplat (int64_t RequestedValue)
SpecificConstantMatch	m_ZeroInt ()
	Convenience matchers for specific integer values.
SpecificConstantMatch	m_AllOnesInt ()
SpecificRegisterMatch	m_SpecificReg (Register RequestedReg)
	Matches a register only if it is equal to RequestedReg.
operand_type_match	m_Reg ()
template<typename... Preds>
And< Preds... >	m_all_of (Preds &&... preds)
template<typename... Preds>
Or< Preds... >	m_any_of (Preds &&... preds)
bind_ty< Register >	m_Reg (Register &R)
bind_ty< MachineInstr * >	m_MInstr (MachineInstr *&MI)
bind_ty< const MachineInstr * >	m_MInstr (const MachineInstr *&MI)
bind_ty< LLT >	m_Type (LLT &Ty)
bind_ty< CmpInst::Predicate >	m_Pred (CmpInst::Predicate &P)
operand_type_match	m_Pred ()
bind_ty< FPClassTest >	m_FPClassTest (FPClassTest &T)
deferred_ty< Register >	m_DeferredReg (Register &R)
	Similar to m_SpecificReg/Type, but the specific value to match originated from an earlier sub-pattern in the same mi_match expression.
deferred_ty< LLT >	m_DeferredType (LLT &Ty)
ImplicitDefMatch	m_GImplicitDef ()
bind_ty< const ConstantFP * >	m_GFCst (const ConstantFP *&C)
template<typename LHS , typename RHS >
BinaryOpc_match< LHS, RHS, false >	m_BinOp (unsigned Opcode, const LHS &L, const RHS &R)
template<typename LHS , typename RHS >
BinaryOpc_match< LHS, RHS, true >	m_CommutativeBinOp (unsigned Opcode, const LHS &L, const RHS &R)
template<typename LHS , typename RHS >
BinaryOp_match< LHS, RHS, TargetOpcode::G_ADD, true >	m_GAdd (const LHS &L, const RHS &R)
template<typename LHS , typename RHS >
BinaryOp_match< LHS, RHS, TargetOpcode::G_BUILD_VECTOR, false >	m_GBuildVector (const LHS &L, const RHS &R)
template<typename LHS , typename RHS >
BinaryOp_match< LHS, RHS, TargetOpcode::G_BUILD_VECTOR_TRUNC, false >	m_GBuildVectorTrunc (const LHS &L, const RHS &R)
template<typename LHS , typename RHS >
BinaryOp_match< LHS, RHS, TargetOpcode::G_PTR_ADD, false >	m_GPtrAdd (const LHS &L, const RHS &R)
template<typename LHS , typename RHS >
BinaryOp_match< LHS, RHS, TargetOpcode::G_SUB >	m_GSub (const LHS &L, const RHS &R)
template<typename LHS , typename RHS >
BinaryOp_match< LHS, RHS, TargetOpcode::G_MUL, true >	m_GMul (const LHS &L, const RHS &R)
template<typename LHS , typename RHS >
BinaryOp_match< LHS, RHS, TargetOpcode::G_FADD, true >	m_GFAdd (const LHS &L, const RHS &R)
template<typename LHS , typename RHS >
BinaryOp_match< LHS, RHS, TargetOpcode::G_FMUL, true >	m_GFMul (const LHS &L, const RHS &R)
template<typename LHS , typename RHS >
BinaryOp_match< LHS, RHS, TargetOpcode::G_FSUB, false >	m_GFSub (const LHS &L, const RHS &R)
template<typename LHS , typename RHS >
BinaryOp_match< LHS, RHS, TargetOpcode::G_AND, true >	m_GAnd (const LHS &L, const RHS &R)
template<typename LHS , typename RHS >
BinaryOp_match< LHS, RHS, TargetOpcode::G_XOR, true >	m_GXor (const LHS &L, const RHS &R)
template<typename LHS , typename RHS >
BinaryOp_match< LHS, RHS, TargetOpcode::G_OR, true >	m_GOr (const LHS &L, const RHS &R)
template<typename LHS , typename RHS >
BinaryOp_match< LHS, RHS, TargetOpcode::G_OR, true, MachineInstr::Disjoint >	m_GDisjointOr (const LHS &L, const RHS &R)
template<typename LHS , typename RHS >
auto	m_GAddLike (const LHS &L, const RHS &R)
template<typename LHS , typename RHS >
BinaryOp_match< LHS, RHS, TargetOpcode::G_SHL, false >	m_GShl (const LHS &L, const RHS &R)
template<typename LHS , typename RHS >
BinaryOp_match< LHS, RHS, TargetOpcode::G_LSHR, false >	m_GLShr (const LHS &L, const RHS &R)
template<typename LHS , typename RHS >
BinaryOp_match< LHS, RHS, TargetOpcode::G_ASHR, false >	m_GAShr (const LHS &L, const RHS &R)
template<typename LHS , typename RHS >
BinaryOp_match< LHS, RHS, TargetOpcode::G_SMAX, true >	m_GSMax (const LHS &L, const RHS &R)
template<typename LHS , typename RHS >
BinaryOp_match< LHS, RHS, TargetOpcode::G_SMIN, true >	m_GSMin (const LHS &L, const RHS &R)
template<typename LHS , typename RHS >
BinaryOp_match< LHS, RHS, TargetOpcode::G_UMAX, true >	m_GUMax (const LHS &L, const RHS &R)
template<typename LHS , typename RHS >
BinaryOp_match< LHS, RHS, TargetOpcode::G_UMIN, true >	m_GUMin (const LHS &L, const RHS &R)
template<typename SrcTy >
UnaryOp_match< SrcTy, TargetOpcode::G_ANYEXT >	m_GAnyExt (const SrcTy &Src)
template<typename SrcTy >
UnaryOp_match< SrcTy, TargetOpcode::G_SEXT >	m_GSExt (const SrcTy &Src)
template<typename SrcTy >
UnaryOp_match< SrcTy, TargetOpcode::G_ZEXT >	m_GZExt (const SrcTy &Src)
template<typename SrcTy >
UnaryOp_match< SrcTy, TargetOpcode::G_FPEXT >	m_GFPExt (const SrcTy &Src)
template<typename SrcTy >
UnaryOp_match< SrcTy, TargetOpcode::G_TRUNC >	m_GTrunc (const SrcTy &Src)
template<typename SrcTy >
UnaryOp_match< SrcTy, TargetOpcode::G_BITCAST >	m_GBitcast (const SrcTy &Src)
template<typename SrcTy >
UnaryOp_match< SrcTy, TargetOpcode::G_PTRTOINT >	m_GPtrToInt (const SrcTy &Src)
template<typename SrcTy >
UnaryOp_match< SrcTy, TargetOpcode::G_INTTOPTR >	m_GIntToPtr (const SrcTy &Src)
template<typename SrcTy >
UnaryOp_match< SrcTy, TargetOpcode::G_FPTRUNC >	m_GFPTrunc (const SrcTy &Src)
template<typename SrcTy >
UnaryOp_match< SrcTy, TargetOpcode::G_FABS >	m_GFabs (const SrcTy &Src)
template<typename SrcTy >
UnaryOp_match< SrcTy, TargetOpcode::G_FNEG >	m_GFNeg (const SrcTy &Src)
template<typename SrcTy >
UnaryOp_match< SrcTy, TargetOpcode::COPY >	m_Copy (SrcTy &&Src)
template<typename SrcTy >
UnaryOp_match< SrcTy, TargetOpcode::G_FSQRT >	m_GFSqrt (const SrcTy &Src)
template<typename Pred , typename LHS , typename RHS >
CompareOp_match< Pred, LHS, RHS, TargetOpcode::G_ICMP >	m_GICmp (const Pred &P, const LHS &L, const RHS &R)
template<typename Pred , typename LHS , typename RHS >
CompareOp_match< Pred, LHS, RHS, TargetOpcode::G_FCMP >	m_GFCmp (const Pred &P, const LHS &L, const RHS &R)
template<typename Pred , typename LHS , typename RHS >
CompareOp_match< Pred, LHS, RHS, TargetOpcode::G_ICMP, true >	m_c_GICmp (const Pred &P, const LHS &L, const RHS &R)
	G_ICMP matcher that also matches commuted compares.
template<typename Pred , typename LHS , typename RHS >
CompareOp_match< Pred, LHS, RHS, TargetOpcode::G_FCMP, true >	m_c_GFCmp (const Pred &P, const LHS &L, const RHS &R)
	G_FCMP matcher that also matches commuted compares.
template<typename LHS , typename Test >
ClassifyOp_match< LHS, Test, TargetOpcode::G_IS_FPCLASS >	m_GIsFPClass (const LHS &L, const Test &T)
	Matches the register and immediate used in a fpclass test G_IS_FPCLASS val, 96.
CheckType	m_SpecificType (LLT Ty)
template<typename Src0Ty , typename Src1Ty , typename Src2Ty >
TernaryOp_match< Src0Ty, Src1Ty, Src2Ty, TargetOpcode::G_INSERT_VECTOR_ELT >	m_GInsertVecElt (const Src0Ty &Src0, const Src1Ty &Src1, const Src2Ty &Src2)
template<typename Src0Ty , typename Src1Ty , typename Src2Ty >
TernaryOp_match< Src0Ty, Src1Ty, Src2Ty, TargetOpcode::G_SELECT >	m_GISelect (const Src0Ty &Src0, const Src1Ty &Src1, const Src2Ty &Src2)
template<typename SrcTy >
BinaryOp_match< SpecificConstantMatch, SrcTy, TargetOpcode::G_SUB >	m_Neg (const SrcTy &&Src)
	Matches a register negated by a G_SUB.
template<typename SrcTy >
BinaryOp_match< SrcTy, SpecificConstantMatch, TargetOpcode::G_XOR, true >	m_Not (const SrcTy &&Src)
	Matches a register not-ed by a G_XOR.

Function Documentation

m_all_of()

template<typename... Preds>

And< Preds... > llvm::MIPatternMatch::m_all_of

(

Preds &&...

preds

)

Definition at line 350 of file MIPatternMatch.h.

Referenced by llvm::CombinerHelper::matchAndOrDisjointMask(), llvm::CombinerHelper::matchCombineAnyExtTrunc(), llvm::CombinerHelper::matchCombineI2PToP2I(), llvm::CombinerHelper::matchCombineZextTrunc(), llvm::CombinerHelper::matchSimplifyNegMinMax(), llvm::LegalizationArtifactCombiner::tryCombineAnyExt(), and llvm::LegalizationArtifactCombiner::tryCombineSExt().

m_AllOnesInt()

SpecificConstantMatch llvm::MIPatternMatch::m_AllOnesInt ( )

inline

Definition at line 280 of file MIPatternMatch.h.

References llvm::APInt::getAllOnes().

Referenced by BitOp3_Op(), and m_Not().

m_any_of()

template<typename... Preds>

Or< Preds... > llvm::MIPatternMatch::m_any_of

(

Preds &&...

preds

)

Definition at line 354 of file MIPatternMatch.h.

Referenced by getTruncStoreByteOffset(), m_GAddLike(), llvm::CombinerHelper::matchBuildVectorIdentityFold(), llvm::CombinerHelper::matchCommuteShift(), llvm::CombinerHelper::matchRedundantBinOpInEquality(), llvm::CombinerHelper::matchSimplifyNegMinMax(), llvm::LegalizationArtifactCombiner::tryCombineAnyExt(), and llvm::LegalizationArtifactCombiner::tryCombineSExt().

m_BinOp()

template<typename LHS , typename RHS >

BinaryOpc_match< LHS, RHS, false > llvm::MIPatternMatch::m_BinOp ( unsigned  Opcode, const LHS &  L, const RHS &  R  )

inline

Definition at line 537 of file MIPatternMatch.h.

m_c_GFCmp()

template<typename Pred , typename LHS , typename RHS >

CompareOp_match< Pred, LHS, RHS, TargetOpcode::G_FCMP, true > llvm::MIPatternMatch::m_c_GFCmp ( const Pred &  P, const LHS &  L, const RHS &  R  )

inline

G_FCMP matcher that also matches commuted compares.

E.g.

m_c_GFCmp(m_Pred(...), m_FAdd(...), m_GFMul(...))

Could match both of:

fcmp ogt (fadd x, y) (fmul a, b) fcmp olt (fmul a, b) (fadd x, y)

Definition at line 864 of file MIPatternMatch.h.

References P.

m_c_GICmp()

template<typename Pred , typename LHS , typename RHS >

CompareOp_match< Pred, LHS, RHS, TargetOpcode::G_ICMP, true > llvm::MIPatternMatch::m_c_GICmp ( const Pred &  P, const LHS &  L, const RHS &  R  )

inline

G_ICMP matcher that also matches commuted compares.

E.g.

m_c_GICmp(m_Pred(...), m_GAdd(...), m_GSub(...))

Could match both of:

icmp ugt (add x, y) (sub a, b) icmp ult (sub a, b) (add x, y)

Definition at line 849 of file MIPatternMatch.h.

References P.

Referenced by llvm::CombinerHelper::matchRedundantBinOpInEquality().

m_CommutativeBinOp()

template<typename LHS , typename RHS >

BinaryOpc_match< LHS, RHS, true > llvm::MIPatternMatch::m_CommutativeBinOp ( unsigned  Opcode, const LHS &  L, const RHS &  R  )

inline

Definition at line 544 of file MIPatternMatch.h.

m_Copy()

template<typename SrcTy >

UnaryOp_match< SrcTy, TargetOpcode::COPY > llvm::MIPatternMatch::m_Copy ( SrcTy &&  Src )

inline

Definition at line 754 of file MIPatternMatch.h.

Referenced by llvm::AMDGPU::getBaseWithConstantOffset().

m_DeferredReg()

deferred_ty< Register > llvm::MIPatternMatch::m_DeferredReg ( Register &  R )

inline

Similar to m_SpecificReg/Type, but the specific value to match originated from an earlier sub-pattern in the same mi_match expression.

For example, we cannot match (add X, X) with m_GAdd(m_Reg(X), m_SpecificReg(X)) because X is not initialized at the time it's passed to m_SpecificReg. Instead, we can use m_GAdd(m_Reg(x), m_DeferredReg(X)).

Definition at line 459 of file MIPatternMatch.h.

Referenced by llvm::CombinerHelper::matchSimplifyNegMinMax().

m_DeferredType()

deferred_ty< LLT > llvm::MIPatternMatch::m_DeferredType ( LLT &  Ty )

inline

Definition at line 460 of file MIPatternMatch.h.

m_FPClassTest()

bind_ty< FPClassTest > llvm::MIPatternMatch::m_FPClassTest ( FPClassTest &  T )

inline

Definition at line 430 of file MIPatternMatch.h.

References T.

m_GAdd()

template<typename LHS , typename RHS >

BinaryOp_match< LHS, RHS, TargetOpcode::G_ADD, true > llvm::MIPatternMatch::m_GAdd ( const LHS &  L, const RHS &  R  )

inline

Definition at line 550 of file MIPatternMatch.h.

Referenced by getBaseWithConstantOffset(), m_GAddLike(), llvm::CombinerHelper::matchCommuteShift(), llvm::CombinerHelper::matchRedundantBinOpInEquality(), and llvm::CombinerHelper::matchSubAddSameReg().

m_GAddLike()

template<typename LHS , typename RHS >

auto llvm::MIPatternMatch::m_GAddLike ( const LHS &  L, const RHS &  R  )

inline

Definition at line 630 of file MIPatternMatch.h.

References m_any_of(), m_GAdd(), and m_GDisjointOr().

m_GAnd()

template<typename LHS , typename RHS >

BinaryOp_match< LHS, RHS, TargetOpcode::G_AND, true > llvm::MIPatternMatch::m_GAnd ( const LHS &  L, const RHS &  R  )

inline

Definition at line 605 of file MIPatternMatch.h.

Referenced by isLaneMaskFromSameBlock(), llvm::CombinerHelper::matchAndOrDisjointMask(), llvm::CombinerHelper::matchOverlappingAnd(), and llvm::CombinerHelper::matchXorOfAndWithSameReg().

m_GAnyExt()

template<typename SrcTy >

UnaryOp_match< SrcTy, TargetOpcode::G_ANYEXT > llvm::MIPatternMatch::m_GAnyExt ( const SrcTy &  Src )

inline

Definition at line 695 of file MIPatternMatch.h.

Referenced by llvm::CombinerHelper::matchCombineShlOfExtend(), and llvm::LegalizationArtifactCombiner::tryCombineAnyExt().

m_GAShr()

template<typename LHS , typename RHS >

BinaryOp_match< LHS, RHS, TargetOpcode::G_ASHR, false > llvm::MIPatternMatch::m_GAShr ( const LHS &  L, const RHS &  R  )

inline

Definition at line 648 of file MIPatternMatch.h.

Referenced by getTruncStoreByteOffset(), and llvm::CombinerHelper::matchAshrShlToSextInreg().

m_GBitcast()

template<typename SrcTy >

UnaryOp_match< SrcTy, TargetOpcode::G_BITCAST > llvm::MIPatternMatch::m_GBitcast ( const SrcTy &  Src )

inline

Definition at line 721 of file MIPatternMatch.h.

Referenced by llvm::CombinerHelper::matchBuildVectorIdentityFold(), llvm::CombinerHelper::matchTruncBuildVectorFold(), llvm::CombinerHelper::matchTruncLshrBuildVectorFold(), peekThroughBitcast(), and stripBitCast().

m_GBuildVector()

template<typename LHS , typename RHS >

BinaryOp_match< LHS, RHS, TargetOpcode::G_BUILD_VECTOR, false > llvm::MIPatternMatch::m_GBuildVector ( const LHS &  L, const RHS &  R  )

inline

Definition at line 556 of file MIPatternMatch.h.

Referenced by llvm::CombinerHelper::matchBuildVectorIdentityFold(), llvm::CombinerHelper::matchTruncBuildVectorFold(), and llvm::CombinerHelper::matchTruncLshrBuildVectorFold().

m_GBuildVectorTrunc()

template<typename LHS , typename RHS >

BinaryOp_match< LHS, RHS, TargetOpcode::G_BUILD_VECTOR_TRUNC, false > llvm::MIPatternMatch::m_GBuildVectorTrunc ( const LHS &  L, const RHS &  R  )

inline

Definition at line 562 of file MIPatternMatch.h.

Referenced by llvm::CombinerHelper::matchBuildVectorIdentityFold().

m_GCst()

GCstAndRegMatch llvm::MIPatternMatch::m_GCst ( std::optional< ValueAndVReg > &  ValReg )

inline

Definition at line 160 of file MIPatternMatch.h.

Referenced by isLshrHalf(), isShlHalf(), llvm::CombinerHelper::matchBuildVectorIdentityFold(), llvm::CombinerHelper::matchReassocConstantInnerLHS(), and llvm::CombinerHelper::matchTruncLshrBuildVectorFold().

m_GDisjointOr()

template<typename LHS , typename RHS >

BinaryOp_match< LHS, RHS, TargetOpcode::G_OR, true, MachineInstr::Disjoint > llvm::MIPatternMatch::m_GDisjointOr ( const LHS &  L, const RHS &  R  )

inline

Definition at line 624 of file MIPatternMatch.h.

References llvm::MachineInstr::Disjoint, LHS, and RHS.

Referenced by m_GAddLike().

m_GFabs()

template<typename SrcTy >

UnaryOp_match< SrcTy, TargetOpcode::G_FABS > llvm::MIPatternMatch::m_GFabs ( const SrcTy &  Src )

inline

Definition at line 744 of file MIPatternMatch.h.

Referenced by selectWMMAModsNegAbs().

m_GFAdd()

template<typename LHS , typename RHS >

BinaryOp_match< LHS, RHS, TargetOpcode::G_FADD, true > llvm::MIPatternMatch::m_GFAdd ( const LHS &  L, const RHS &  R  )

inline

Definition at line 587 of file MIPatternMatch.h.

Referenced by llvm::CombinerHelper::matchRedundantNegOperands().

m_GFCmp()

template<typename Pred , typename LHS , typename RHS >

CompareOp_match< Pred, LHS, RHS, TargetOpcode::G_FCMP > llvm::MIPatternMatch::m_GFCmp ( const Pred &  P, const LHS &  L, const RHS &  R  )

inline

Definition at line 834 of file MIPatternMatch.h.

References P.

m_GFCst() [1/2]

bind_ty< const ConstantFP * > llvm::MIPatternMatch::m_GFCst ( const ConstantFP *&  C )

inline

Definition at line 474 of file MIPatternMatch.h.

References llvm::CallingConv::C.

m_GFCst() [2/2]

GFCstAndRegMatch llvm::MIPatternMatch::m_GFCst ( std::optional< FPValueAndVReg > &  FPValReg )

inline

Definition at line 174 of file MIPatternMatch.h.

m_GFCstOrSplat()

GFCstOrSplatGFCstMatch llvm::MIPatternMatch::m_GFCstOrSplat ( std::optional< FPValueAndVReg > &  FPValReg )

inline

Definition at line 189 of file MIPatternMatch.h.

Referenced by llvm::SITargetLowering::isCanonicalized(), isConstantCostlierToNegate(), llvm::CombinerHelper::matchCommuteFPConstantToRHS(), and llvm::CombinerHelper::matchConstantFPOp().

m_GFMul()

template<typename LHS , typename RHS >

BinaryOp_match< LHS, RHS, TargetOpcode::G_FMUL, true > llvm::MIPatternMatch::m_GFMul ( const LHS &  L, const RHS &  R  )

inline

Definition at line 593 of file MIPatternMatch.h.

m_GFNeg()

template<typename SrcTy >

UnaryOp_match< SrcTy, TargetOpcode::G_FNEG > llvm::MIPatternMatch::m_GFNeg ( const SrcTy &  Src )

inline

Definition at line 749 of file MIPatternMatch.h.

Referenced by llvm::AMDGPUCombinerHelper::applyFoldableFneg(), llvm::CombinerHelper::matchCombineFSubFNegFMulToFMadOrFMA(), llvm::CombinerHelper::matchCombineFSubFpExtFNegFMulToFMadOrFMA(), and llvm::CombinerHelper::matchRedundantNegOperands().

m_GFPExt()

template<typename SrcTy >

UnaryOp_match< SrcTy, TargetOpcode::G_FPEXT > llvm::MIPatternMatch::m_GFPExt ( const SrcTy &  Src )

inline

Definition at line 710 of file MIPatternMatch.h.

Referenced by llvm::CombinerHelper::matchCombineFAddFpExtFMulToFMadOrFMA(), llvm::CombinerHelper::matchCombineFAddFpExtFMulToFMadOrFMAAggressive(), llvm::CombinerHelper::matchCombineFSubFpExtFMulToFMadOrFMA(), and llvm::CombinerHelper::matchCombineFSubFpExtFNegFMulToFMadOrFMA().

m_GFPTrunc()

template<typename SrcTy >

UnaryOp_match< SrcTy, TargetOpcode::G_FPTRUNC > llvm::MIPatternMatch::m_GFPTrunc ( const SrcTy &  Src )

inline

Definition at line 739 of file MIPatternMatch.h.

m_GFSqrt()

template<typename SrcTy >

UnaryOp_match< SrcTy, TargetOpcode::G_FSQRT > llvm::MIPatternMatch::m_GFSqrt ( const SrcTy &  Src )

inline

Definition at line 759 of file MIPatternMatch.h.

m_GFSub()

template<typename LHS , typename RHS >

BinaryOp_match< LHS, RHS, TargetOpcode::G_FSUB, false > llvm::MIPatternMatch::m_GFSub ( const LHS &  L, const RHS &  R  )

inline

Definition at line 599 of file MIPatternMatch.h.

Referenced by llvm::CombinerHelper::matchRedundantNegOperands().

m_GICmp()

template<typename Pred , typename LHS , typename RHS >

CompareOp_match< Pred, LHS, RHS, TargetOpcode::G_ICMP > llvm::MIPatternMatch::m_GICmp ( const Pred &  P, const LHS &  L, const RHS &  R  )

inline

Definition at line 828 of file MIPatternMatch.h.

References P.

Referenced by getOperandsForBranch().

m_GImplicitDef()

ImplicitDefMatch llvm::MIPatternMatch::m_GImplicitDef ( )

inline

Definition at line 471 of file MIPatternMatch.h.

Referenced by llvm::CombinerHelper::matchBuildVectorIdentityFold().

m_GInsertVecElt()

template<typename Src0Ty , typename Src1Ty , typename Src2Ty >

TernaryOp_match< Src0Ty, Src1Ty, Src2Ty, TargetOpcode::G_INSERT_VECTOR_ELT > llvm::MIPatternMatch::m_GInsertVecElt ( const Src0Ty &  Src0, const Src1Ty &  Src1, const Src2Ty &  Src2  )

inline

Definition at line 912 of file MIPatternMatch.h.

Referenced by llvm::CombinerHelper::matchCombineInsertVecElts().

m_GIntToPtr()

template<typename SrcTy >

UnaryOp_match< SrcTy, TargetOpcode::G_INTTOPTR > llvm::MIPatternMatch::m_GIntToPtr ( const SrcTy &  Src )

inline

Definition at line 733 of file MIPatternMatch.h.

Referenced by llvm::CombinerHelper::matchCombineConstPtrAddToI2P().

m_GISelect()

template<typename Src0Ty , typename Src1Ty , typename Src2Ty >

TernaryOp_match< Src0Ty, Src1Ty, Src2Ty, TargetOpcode::G_SELECT > llvm::MIPatternMatch::m_GISelect ( const Src0Ty &  Src0, const Src1Ty &  Src1, const Src2Ty &  Src2  )

inline

Definition at line 919 of file MIPatternMatch.h.

m_GIsFPClass()

template<typename LHS , typename Test >

ClassifyOp_match< LHS, Test, TargetOpcode::G_IS_FPCLASS > llvm::MIPatternMatch::m_GIsFPClass ( const LHS &  L, const Test &  T  )

inline

Matches the register and immediate used in a fpclass test G_IS_FPCLASS val, 96.

Definition at line 872 of file MIPatternMatch.h.

m_GLShr()

template<typename LHS , typename RHS >

BinaryOp_match< LHS, RHS, TargetOpcode::G_LSHR, false > llvm::MIPatternMatch::m_GLShr ( const LHS &  L, const RHS &  R  )

inline

Definition at line 642 of file MIPatternMatch.h.

Referenced by getTruncStoreByteOffset(), isExtractHiElt(), isLshrHalf(), llvm::CombinerHelper::matchBuildVectorIdentityFold(), llvm::CombinerHelper::matchOrShiftToFunnelShift(), and llvm::CombinerHelper::matchTruncLshrBuildVectorFold().

m_GMul()

template<typename LHS , typename RHS >

BinaryOp_match< LHS, RHS, TargetOpcode::G_MUL, true > llvm::MIPatternMatch::m_GMul ( const LHS &  L, const RHS &  R  )

inline

Definition at line 581 of file MIPatternMatch.h.

m_GOr()

template<typename LHS , typename RHS >

BinaryOp_match< LHS, RHS, TargetOpcode::G_OR, true > llvm::MIPatternMatch::m_GOr ( const LHS &  L, const RHS &  R  )

inline

Definition at line 616 of file MIPatternMatch.h.

Referenced by llvm::AMDGPU::getBaseWithConstantOffset(), llvm::CombinerHelper::matchAndOrDisjointMask(), llvm::CombinerHelper::matchCommuteShift(), and llvm::CombinerHelper::matchOrShiftToFunnelShift().

m_GPtrAdd()

template<typename LHS , typename RHS >

BinaryOp_match< LHS, RHS, TargetOpcode::G_PTR_ADD, false > llvm::MIPatternMatch::m_GPtrAdd ( const LHS &  L, const RHS &  R  )

inline

Definition at line 569 of file MIPatternMatch.h.

Referenced by llvm::AMDGPU::getBaseWithConstantOffset(), llvm::GISelAddressing::getPointerInfo(), llvm::GISelAddressing::instMayAlias(), matchLDPSTPAddrMode(), and llvm::CombinerHelper::matchReassocConstantInnerLHS().

m_GPtrToInt()

template<typename SrcTy >

UnaryOp_match< SrcTy, TargetOpcode::G_PTRTOINT > llvm::MIPatternMatch::m_GPtrToInt ( const SrcTy &  Src )

inline

Definition at line 727 of file MIPatternMatch.h.

Referenced by llvm::CombinerHelper::matchCombineAddP2IToPtrAdd(), and llvm::CombinerHelper::matchCombineI2PToP2I().

m_GSExt()

template<typename SrcTy >

UnaryOp_match< SrcTy, TargetOpcode::G_SEXT > llvm::MIPatternMatch::m_GSExt ( const SrcTy &  Src )

inline

Definition at line 700 of file MIPatternMatch.h.

Referenced by llvm::CombinerHelper::matchCombineShlOfExtend(), llvm::LegalizationArtifactCombiner::tryCombineAnyExt(), llvm::LegalizationArtifactCombiner::tryCombineSExt(), and llvm::LegalizationArtifactCombiner::tryCombineZExt().

m_GShl()

template<typename LHS , typename RHS >

BinaryOp_match< LHS, RHS, TargetOpcode::G_SHL, false > llvm::MIPatternMatch::m_GShl ( const LHS &  L, const RHS &  R  )

inline

Definition at line 636 of file MIPatternMatch.h.

Referenced by isShlHalf(), llvm::CombinerHelper::matchAshrShlToSextInreg(), matchLoadAndBytePosition(), and llvm::CombinerHelper::matchOrShiftToFunnelShift().

m_GSMax()

template<typename LHS , typename RHS >

BinaryOp_match< LHS, RHS, TargetOpcode::G_SMAX, true > llvm::MIPatternMatch::m_GSMax ( const LHS &  L, const RHS &  R  )

inline

Definition at line 654 of file MIPatternMatch.h.

Referenced by llvm::CombinerHelper::matchSimplifyNegMinMax(), llvm::CombinerHelper::matchTruncSSatS(), llvm::CombinerHelper::matchTruncSSatU(), and llvm::CombinerHelper::matchTruncUSatU().

m_GSMin()

template<typename LHS , typename RHS >

BinaryOp_match< LHS, RHS, TargetOpcode::G_SMIN, true > llvm::MIPatternMatch::m_GSMin ( const LHS &  L, const RHS &  R  )

inline

Definition at line 660 of file MIPatternMatch.h.

Referenced by llvm::CombinerHelper::matchSimplifyNegMinMax(), llvm::CombinerHelper::matchTruncSSatS(), and llvm::CombinerHelper::matchTruncSSatU().

m_GSub()

template<typename LHS , typename RHS >

BinaryOp_match< LHS, RHS, TargetOpcode::G_SUB > llvm::MIPatternMatch::m_GSub ( const LHS &  L, const RHS &  R  )

inline

Definition at line 574 of file MIPatternMatch.h.

Referenced by m_Neg(), llvm::CombinerHelper::matchAddSubSameReg(), llvm::CombinerHelper::matchOrShiftToFunnelShift(), llvm::CombinerHelper::matchRedundantBinOpInEquality(), and llvm::CombinerHelper::matchSubAddSameReg().

m_GTrunc()

template<typename SrcTy >

UnaryOp_match< SrcTy, TargetOpcode::G_TRUNC > llvm::MIPatternMatch::m_GTrunc ( const SrcTy &  Src )

inline

Definition at line 715 of file MIPatternMatch.h.

Referenced by getTruncStoreByteOffset(), isExtractHiElt(), llvm::CombinerHelper::matchBuildVectorIdentityFold(), llvm::CombinerHelper::matchCombineAnyExtTrunc(), llvm::CombinerHelper::matchCombineZextTrunc(), llvm::CombinerHelper::matchSextTruncSextLoad(), llvm::CombinerHelper::matchSimplifySelectToMinMax(), llvm::LegalizationArtifactCombiner::tryCombineAnyExt(), llvm::LegalizationArtifactCombiner::tryCombineSExt(), llvm::LegalizationArtifactCombiner::tryCombineTrunc(), and llvm::LegalizationArtifactCombiner::tryCombineZExt().

m_GUMax()

template<typename LHS , typename RHS >

BinaryOp_match< LHS, RHS, TargetOpcode::G_UMAX, true > llvm::MIPatternMatch::m_GUMax ( const LHS &  L, const RHS &  R  )

inline

Definition at line 666 of file MIPatternMatch.h.

Referenced by llvm::CombinerHelper::matchSimplifyNegMinMax().

m_GUMin()

template<typename LHS , typename RHS >

BinaryOp_match< LHS, RHS, TargetOpcode::G_UMIN, true > llvm::MIPatternMatch::m_GUMin ( const LHS &  L, const RHS &  R  )

inline

Definition at line 672 of file MIPatternMatch.h.

Referenced by llvm::CombinerHelper::matchSimplifyNegMinMax(), and llvm::CombinerHelper::matchTruncSSatU().

m_GXor()

template<typename LHS , typename RHS >

BinaryOp_match< LHS, RHS, TargetOpcode::G_XOR, true > llvm::MIPatternMatch::m_GXor ( const LHS &  L, const RHS &  R  )

inline

Definition at line 611 of file MIPatternMatch.h.

Referenced by m_Not(), llvm::CombinerHelper::matchNotCmp(), and llvm::CombinerHelper::matchRedundantBinOpInEquality().

m_GZExt()

template<typename SrcTy >

UnaryOp_match< SrcTy, TargetOpcode::G_ZEXT > llvm::MIPatternMatch::m_GZExt ( const SrcTy &  Src )

inline

Definition at line 705 of file MIPatternMatch.h.

Referenced by llvm::CombinerHelper::matchCombineShlOfExtend(), llvm::CombinerHelper::matchCombineUnmergeZExtToZExt(), llvm::LegalizationArtifactCombiner::tryCombineAnyExt(), llvm::LegalizationArtifactCombiner::tryCombineSExt(), and llvm::LegalizationArtifactCombiner::tryCombineZExt().

m_ICst() [1/2]

ConstantMatch< APInt > llvm::MIPatternMatch::m_ICst ( APInt &  Cst )

inline

Definition at line 102 of file MIPatternMatch.h.

Referenced by clampVectorIndex(), getBaseWithConstantOffset(), llvm::AMDGPU::getBaseWithConstantOffset(), getTruncStoreByteOffset(), llvm::GISelAddressing::instMayAlias(), llvm::LegalizerHelper::lowerExtractInsertVectorElt(), llvm::MIPatternMatch::SpecificConstantMatch::match(), llvm::MIPatternMatch::SpecificConstantOrSplatMatch::match(), llvm::CombinerHelper::matchAndOrDisjointMask(), llvm::CombinerHelper::matchCombineConstPtrAddToI2P(), llvm::CombinerHelper::matchCombineInsertVecElts(), matchLDPSTPAddrMode(), matchLoadAndBytePosition(), llvm::CombinerHelper::matchNotCmp(), and llvm::CombinerHelper::matchOverlappingAnd().

m_ICst() [2/2]

ConstantMatch< int64_t > llvm::MIPatternMatch::m_ICst ( int64_t &  Cst )

inline

Definition at line 105 of file MIPatternMatch.h.

m_ICstOrSplat() [1/2]

ICstOrSplatMatch< APInt > llvm::MIPatternMatch::m_ICstOrSplat ( APInt &  Cst )

inline

Definition at line 143 of file MIPatternMatch.h.

Referenced by llvm::CombinerHelper::matchAshrShlToSextInreg(), llvm::CombinerHelper::matchCommuteShift(), llvm::CombinerHelper::matchOrShiftToFunnelShift(), and llvm::CombinerHelper::matchSubAddSameReg().

m_ICstOrSplat() [2/2]

ICstOrSplatMatch< int64_t > llvm::MIPatternMatch::m_ICstOrSplat ( int64_t &  Cst )

inline

Definition at line 147 of file MIPatternMatch.h.

m_MInstr() [1/2]

bind_ty< const MachineInstr * > llvm::MIPatternMatch::m_MInstr ( const MachineInstr *&  MI )

inline

Definition at line 424 of file MIPatternMatch.h.

References MI.

m_MInstr() [2/2]

bind_ty< MachineInstr * > llvm::MIPatternMatch::m_MInstr ( MachineInstr *&  MI )

inline

Definition at line 423 of file MIPatternMatch.h.

References MI.

Referenced by llvm::AMDGPU::getBaseWithConstantOffset(), llvm::MIPatternMatch::BinaryOp_match< LHS_P, RHS_P, Opcode, Commutable, Flags >::match(), llvm::MIPatternMatch::BinaryOpc_match< LHS_P, RHS_P, Commutable >::match(), llvm::MIPatternMatch::UnaryOp_match< SrcTy, Opcode >::match(), llvm::MIPatternMatch::CompareOp_match< Pred_P, LHS_P, RHS_P, Opcode, Commutable >::match(), llvm::MIPatternMatch::ClassifyOp_match< LHS_P, Test_P, Opcode >::match(), llvm::MIPatternMatch::TernaryOp_match< Src0Ty, Src1Ty, Src2Ty, Opcode >::match(), llvm::MIPatternMatch::ImplicitDefMatch::match(), llvm::CombinerHelper::matchCombineFAddFpExtFMulToFMadOrFMA(), llvm::CombinerHelper::matchCombineFAddFpExtFMulToFMadOrFMAAggressive(), llvm::CombinerHelper::matchCombineFSubFNegFMulToFMadOrFMA(), llvm::CombinerHelper::matchCombineFSubFpExtFMulToFMadOrFMA(), llvm::CombinerHelper::matchCombineFSubFpExtFNegFMulToFMadOrFMA(), llvm::CombinerHelper::matchCombineInsertVecElts(), llvm::LegalizationArtifactCombiner::tryCombineAnyExt(), and llvm::LegalizationArtifactCombiner::tryCombineSExt().

m_Neg()

template<typename SrcTy >

BinaryOp_match< SpecificConstantMatch, SrcTy, TargetOpcode::G_SUB > llvm::MIPatternMatch::m_Neg ( const SrcTy &&  Src )

inline

Matches a register negated by a G_SUB.

G_SUB 0, negated_reg

Definition at line 928 of file MIPatternMatch.h.

References m_GSub(), and m_ZeroInt().

Referenced by combineAddSubWithShlAddSub(), combineAndXorSubWithBMI(), combineLogicBlendIntoConditionalNegate(), llvm::InstCombinerImpl::convertOrOfShiftsToFunnelShift(), foldCtpop(), foldCttzCtlz(), llvm::InstCombinerImpl::foldICmpAndConstant(), llvm::InstCombinerImpl::foldICmpBinOp(), foldICmpPow2Test(), foldICmpXNegX(), llvm::InstCombinerImpl::foldSelectShuffle(), llvm::InstCombiner::getComplexity(), getKnownBitsFromAndXorOr(), getRangeForSelectPattern(), llvm::isKnownNegation(), llvm::isKnownToBeAPowerOfTwo(), llvm::SelectionDAG::isKnownToBeAPowerOfTwo(), isMaskOrZero(), isNeg(), LinearizeExprTree(), matchSelectPattern(), llvm::CombinerHelper::matchSimplifyAddToSub(), llvm::CombinerHelper::matchSimplifyNegMinMax(), NegateValue(), setLimitsForBinOp(), ShouldBreakUpSubtract(), llvm::X86TargetLowering::shouldFoldSelectWithIdentityConstant(), simplifyAndCommutative(), simplifyGEPInst(), simplifyICmpWithBinOp(), llvm::InstCombinerImpl::SimplifySelectsFeedingBinaryOp(), simplifySelectWithICmpCond(), tryToRecognizeTableBasedCttz(), llvm::InstCombinerImpl::visitAdd(), llvm::InstCombinerImpl::visitAnd(), llvm::InstCombinerImpl::visitAShr(), llvm::InstCombinerImpl::visitCallInst(), llvm::InstCombinerImpl::visitLShr(), llvm::InstCombinerImpl::visitMul(), and llvm::InstCombinerImpl::visitSub().

m_Not()

template<typename SrcTy >

BinaryOp_match< SrcTy, SpecificConstantMatch, TargetOpcode::G_XOR, true > llvm::MIPatternMatch::m_Not ( const SrcTy &&  Src )

inline

Matches a register not-ed by a G_XOR.

G_XOR not_reg, -1

Definition at line 936 of file MIPatternMatch.h.

References m_AllOnesInt(), and m_GXor().

Referenced by BitOp3_Op(), llvm::InstCombiner::canFreelyInvertAllUsersOf(), canonicalizeSaturatedAdd(), canShiftBinOpWithConstantRHS(), combineAndNotOrIntoAndNotAnd(), computeKnownBitsFromCond(), llvm::computeKnownBitsFromContext(), computeKnownFPClassFromCond(), llvm::decomposeBitTest(), dropRedundantMaskingOfLeftShiftInput(), llvm::SelectionDAGBuilder::FindMergedConditions(), FindSingleBitChange(), llvm::findValuesAffectedByCondition(), llvm::InstCombinerImpl::foldAddWithConstant(), foldAndToXor(), llvm::InstCombinerImpl::foldBinOpOfSelectAndCastOfSelectCondition(), foldComplexAndOrPatterns(), foldCtpop(), llvm::InstCombinerImpl::foldICmpAndConstant(), foldICmpWithHighBitMask(), foldMaskedMerge(), foldMulShl1(), foldNotXor(), foldOrToXor(), foldSubCtlzNot(), foldToUnsignedSaturatedAdd(), foldTwoEntryPHINode(), foldXorToXor(), llvm::InstCombiner::getComplexity(), llvm::InstCombiner::getFreelyInvertedImpl(), getNotValue(), llvm::AMDGPUTargetMachine::getPredicatedAddrSpace(), haveNoCommonBitsSetSpecialCases(), llvm::invertCondition(), llvm::isCheckForZeroAndMulWithOverflow(), llvm::isImpliedCondition(), isMaskOrZero(), llvm::AArch64TTIImpl::isProfitableToSinkOperands(), llvm::RISCVTTIImpl::isProfitableToSinkOperands(), matchDeMorgansLaws(), matchMinMaxOfMinMax(), matchSelectWithOptionalNotCond(), OptimizeAndOrXor(), reverseZExtICmpCombine(), simplifyAddInst(), simplifyAndCommutative(), simplifyBlends(), simplifyBranchConditionForVFAndUF(), llvm::InstCombinerImpl::SimplifyDemandedUseBits(), simplifyICmpOfBools(), simplifyOrLogic(), simplifyRecipe(), simplifySelectInst(), simplifyXorInst(), llvm::InstCombinerImpl::sinkNotIntoLogicalOp(), llvm::InstCombinerImpl::sinkNotIntoOtherHandOfLogicalOp(), llvm::InstCombinerImpl::visitAdd(), llvm::InstCombinerImpl::visitAnd(), llvm::InstCombinerImpl::visitAShr(), llvm::InstCombinerImpl::visitBranchInst(), llvm::InstCombinerImpl::visitCallInst(), llvm::InstCombinerImpl::visitICmpInst(), llvm::InstCombinerImpl::visitLShr(), visitMaskedMerge(), llvm::InstCombinerImpl::visitOr(), visitORCommutative(), llvm::InstCombinerImpl::visitSub(), and llvm::InstCombinerImpl::visitXor().

m_OneNonDBGUse()

template<typename SubPat >

OneNonDBGUse_match< SubPat > llvm::MIPatternMatch::m_OneNonDBGUse ( const SubPat &  SP )

inline

Definition at line 70 of file MIPatternMatch.h.

Referenced by llvm::CombinerHelper::matchCommuteShift(), matchLoadAndBytePosition(), llvm::CombinerHelper::matchReassocConstantInnerLHS(), and llvm::CombinerHelper::matchSimplifySelectToMinMax().

m_OneUse()

template<typename SubPat >

OneUse_match< SubPat > llvm::MIPatternMatch::m_OneUse ( const SubPat &  SP )

inline

Definition at line 56 of file MIPatternMatch.h.

Referenced by llvm::canConvertToMinOrMaxIntrinsic(), canonicalizeAbs(), canonicalizeBitCastExtElt(), llvm::InstCombinerImpl::canonicalizeCondSignextOfHighBitExtractToSignextHighBitExtract(), canonicalizeInsertSplat(), canonicalizeLogicFirst(), canonicalizeLowbitMask(), llvm::canPeelLastIteration(), cheapToScalarize(), combineAdd(), combineAddSubWithShlAddSub(), combineAnd(), combineAndNotOrIntoAndNotAnd(), combineAndXorSubWithBMI(), combineCastedMaskArithmetic(), combineShiftToPMULH(), combineShlAddIAddImpl(), llvm::InstCombinerImpl::commonCastTransforms(), llvm::InstCombinerImpl::commonShiftTransforms(), commuteSelect(), llvm::InstCombinerImpl::convertOrOfShiftsToFunnelShift(), dominatesMergePoint(), factorizeLerp(), llvm::SelectionDAGBuilder::FindMergedConditions(), fixReductionScalarResumeWhenVectorizingEpilog(), llvm::InstCombinerImpl::foldAddWithConstant(), foldAndOrOfICmpsWithPow2AndWithZero(), foldAnyOrAllBitsSet(), llvm::InstCombinerImpl::foldBinOpShiftWithShift(), foldBitCastBitwiseLogic(), foldBitCastSelect(), foldBitOrderCrossLogicOp(), foldBoxMultiply(), foldComplexAndOrPatterns(), foldCtpop(), foldCttzCtlz(), llvm::InstCombinerImpl::foldFMulReassoc(), foldFNegIntoConstant(), foldGuardedFunnelShift(), llvm::InstCombinerImpl::foldICmpAndConstant(), llvm::InstCombinerImpl::foldICmpAndConstConst(), llvm::InstCombinerImpl::foldICmpBinOp(), llvm::InstCombinerImpl::foldICmpBinOpEqualityWithConstant(), llvm::InstCombinerImpl::foldICmpEquality(), foldICmpOrXorSubChain(), foldICmpPow2Test(), llvm::InstCombinerImpl::foldICmpTruncWithTruncOrExt(), llvm::InstCombinerImpl::foldICmpUsingBoolRange(), foldICmpWithHighBitMask(), foldICmpWithLowBitMaskedVal(), llvm::InstCombinerImpl::foldICmpWithTrunc(), foldICmpWithTruncSignExtendedVal(), foldICmpXNegX(), llvm::InstCombinerImpl::foldICmpXorShiftConst(), llvm::InstCombinerImpl::foldIRemByPowerOfTwoToBitTest(), llvm::InstCombinerImpl::foldIsMultipleOfAPowerOfTwo(), foldLoadsRecursive(), foldLogicCastConstant(), foldMinimumOverTrailingOrLeadingZeroCount(), foldMulSelectToNegate(), foldMulShl1(), llvm::InstCombinerImpl::foldMultiplicationOverflowCheck(), foldNotXor(), foldNoWrapAdd(), foldOrUnsignedUMulOverflowICmp(), llvm::InstCombinerImpl::foldPowiReassoc(), llvm::InstCombinerImpl::foldPtrToIntOfGEP(), foldReductionIdiom(), foldSelectICmpAndAnd(), foldSetClearBits(), llvm::InstCombinerImpl::FoldShiftByConstant(), foldShiftIntoShiftInAnotherHandOfAndInICmp(), foldSubOfMinMax(), llvm::InstCombinerImpl::foldVariableSignZeroExtensionOfVariableHighBitExtract(), foldVecExtTruncToExtElt(), llvm::InstCombinerImpl::foldVectorBinop(), foldVectorCmp(), getNegatibleInsts(), llvm::LoopVectorizationCostModel::getReductionPatternCost(), llvm::X86TTIImpl::getShuffleCost(), hoistMinMax(), llvm::X86TTIImpl::instCombineIntrinsic(), instCombineSVELast(), llvm::RecurrenceDescriptor::isAnyOfPattern(), llvm::RecurrenceDescriptor::isFindIVPattern(), llvm::RecurrenceDescriptor::isMinMaxPattern(), llvm::AArch64TTIImpl::isProfitableToSinkOperands(), matchDeMorgansLaws(), matchesSquareSum(), matchFPExtFromF16(), matchIntPart(), matchOrConcat(), llvm::CombinerHelper::matchSimplifyNegMinMax(), matchZExtedSubInteger(), moveAddAfterMinMax(), narrowUDivURem(), narrowVectorSelect(), optimizeSymmetricCall(), reassociateForUses(), reassociateMinMaxWithConstantInOperand(), llvm::InstCombinerImpl::reassociateShiftAmtsOfTwoSameDirectionShifts(), reverseZExtICmpCombine(), shouldCanonicalizeGEPToPtrAdd(), shouldExpandCmpArithRMWInIR(), llvm::InstCombinerImpl::SimplifyAssociativeOrCommutative(), llvm::InstCombinerImpl::SimplifyDemandedUseBits(), simplifyValueKnownNonZero(), splitMergedValStore(), llvm::RISCVDAGToDAGISel::tryBitfieldInsertOpFromOrAndImm(), llvm::RISCVDAGToDAGISel::tryBitfieldInsertOpFromXor(), llvm::InstCombinerImpl::tryFoldInstWithCtpopWithNot(), llvm::RISCVDAGToDAGISel::trySignedBitfieldInsertInMask(), tryToFPToSat(), llvm::InstCombinerImpl::visitAdd(), llvm::InstCombinerImpl::visitAnd(), llvm::InstCombinerImpl::visitAShr(), llvm::InstCombinerImpl::visitBitCast(), llvm::InstCombinerImpl::visitBranchInst(), llvm::InstCombinerImpl::visitCallInst(), llvm::InstCombinerImpl::visitFAdd(), llvm::InstCombinerImpl::visitFCmpInst(), llvm::InstCombinerImpl::visitFDiv(), llvm::InstCombinerImpl::visitFMul(), llvm::InstCombinerImpl::visitFNeg(), llvm::InstCombinerImpl::visitFSub(), llvm::InstCombinerImpl::visitGetElementPtrInst(), llvm::InstCombinerImpl::visitInsertElementInst(), llvm::InstCombinerImpl::visitIntToPtr(), llvm::InstCombinerImpl::visitLShr(), visitMaskedMerge(), llvm::InstCombinerImpl::visitMul(), llvm::InstCombinerImpl::visitOr(), llvm::InstCombinerImpl::visitPtrToInt(), llvm::InstCombinerImpl::visitSDiv(), llvm::InstCombinerImpl::visitSExt(), llvm::InstCombinerImpl::visitShl(), llvm::InstCombinerImpl::visitSRem(), llvm::InstCombinerImpl::visitSub(), llvm::InstCombinerImpl::visitTrunc(), llvm::InstCombinerImpl::visitXor(), and llvm::InstCombinerImpl::visitZExt().

m_Pred() [1/2]

operand_type_match llvm::MIPatternMatch::m_Pred ( )

inline

Definition at line 429 of file MIPatternMatch.h.

Referenced by getOperandsForBranch(), and llvm::CombinerHelper::matchRedundantBinOpInEquality().

m_Pred() [2/2]

bind_ty< CmpInst::Predicate > llvm::MIPatternMatch::m_Pred ( CmpInst::Predicate &  P )

inline

Definition at line 428 of file MIPatternMatch.h.

References P.

m_Reg() [1/2]

operand_type_match llvm::MIPatternMatch::m_Reg ( )

inline

Definition at line 310 of file MIPatternMatch.h.

Referenced by llvm::AMDGPUCombinerHelper::applyFoldableFneg(), BitOp3_Op(), getBaseWithConstantOffset(), llvm::AMDGPU::getBaseWithConstantOffset(), getOperandsForBranch(), llvm::GISelAddressing::getPointerInfo(), getTruncStoreByteOffset(), llvm::GISelAddressing::instMayAlias(), isExtractHiElt(), isLaneMaskFromSameBlock(), isLshrHalf(), isShlHalf(), llvm::CombinerHelper::matchAddSubSameReg(), llvm::CombinerHelper::matchAndOrDisjointMask(), llvm::CombinerHelper::matchAshrShlToSextInreg(), llvm::CombinerHelper::matchBuildVectorIdentityFold(), llvm::CombinerHelper::matchCombineAddP2IToPtrAdd(), llvm::CombinerHelper::matchCombineAnyExtTrunc(), llvm::CombinerHelper::matchCombineI2PToP2I(), llvm::CombinerHelper::matchCombineInsertVecElts(), llvm::CombinerHelper::matchCombineShlOfExtend(), llvm::CombinerHelper::matchCombineUnmergeZExtToZExt(), llvm::CombinerHelper::matchCombineZextTrunc(), llvm::CombinerHelper::matchCommuteShift(), matchLDPSTPAddrMode(), matchLoadAndBytePosition(), llvm::CombinerHelper::matchNotCmp(), llvm::CombinerHelper::matchOrShiftToFunnelShift(), llvm::CombinerHelper::matchOverlappingAnd(), llvm::CombinerHelper::matchReassocConstantInnerLHS(), llvm::CombinerHelper::matchRedundantBinOpInEquality(), llvm::CombinerHelper::matchRedundantNegOperands(), llvm::CombinerHelper::matchSextTruncSextLoad(), llvm::CombinerHelper::matchSimplifyAddToSub(), llvm::CombinerHelper::matchSimplifyNegMinMax(), llvm::CombinerHelper::matchSimplifySelectToMinMax(), llvm::CombinerHelper::matchSubAddSameReg(), llvm::CombinerHelper::matchTruncBuildVectorFold(), llvm::CombinerHelper::matchTruncLshrBuildVectorFold(), llvm::CombinerHelper::matchTruncSSatS(), llvm::CombinerHelper::matchTruncSSatU(), llvm::CombinerHelper::matchTruncUSatU(), llvm::CombinerHelper::matchXorOfAndWithSameReg(), peekThroughBitcast(), selectWMMAModsNegAbs(), stripBitCast(), llvm::LegalizationArtifactCombiner::tryCombineAnyExt(), llvm::LegalizationArtifactCombiner::tryCombineSExt(), llvm::LegalizationArtifactCombiner::tryCombineTrunc(), and llvm::LegalizationArtifactCombiner::tryCombineZExt().

m_Reg() [2/2]

bind_ty< Register > llvm::MIPatternMatch::m_Reg ( Register &  R )

inline

Definition at line 422 of file MIPatternMatch.h.

m_SpecificICst() [1/2]

SpecificConstantMatch llvm::MIPatternMatch::m_SpecificICst ( APInt  RequestedValue )

inline

Matches a constant equal to RequestedValue.

Definition at line 213 of file MIPatternMatch.h.

Referenced by isExtractHiElt(), and llvm::CombinerHelper::matchICmpToLHSKnownBits().

m_SpecificICst() [2/2]

SpecificConstantMatch llvm::MIPatternMatch::m_SpecificICst ( int64_t  RequestedValue )

inline

Definition at line 217 of file MIPatternMatch.h.

m_SpecificICstOrSplat() [1/2]

SpecificConstantOrSplatMatch llvm::MIPatternMatch::m_SpecificICstOrSplat ( APInt  RequestedValue )

inline

Matches a RequestedValue constant or a constant splat of RequestedValue.

Definition at line 266 of file MIPatternMatch.h.

Referenced by llvm::AMDGPURegisterBankInfo::applyMappingImpl(), llvm::CombinerHelper::matchAddEToAddO(), llvm::CombinerHelper::matchMulOBy0(), llvm::CombinerHelper::matchMulOBy2(), llvm::CombinerHelper::matchOrShiftToFunnelShift(), llvm::CombinerHelper::matchSubAddSameReg(), llvm::CombinerHelper::matchTruncSSatS(), llvm::CombinerHelper::matchTruncSSatU(), and llvm::CombinerHelper::matchTruncUSatU().

m_SpecificICstOrSplat() [2/2]

SpecificConstantOrSplatMatch llvm::MIPatternMatch::m_SpecificICstOrSplat ( int64_t  RequestedValue )

inline

Definition at line 271 of file MIPatternMatch.h.

m_SpecificICstSplat() [1/2]

SpecificConstantSplatMatch llvm::MIPatternMatch::m_SpecificICstSplat ( APInt  RequestedValue )

inline

Matches a constant splat of RequestedValue.

Definition at line 233 of file MIPatternMatch.h.

m_SpecificICstSplat() [2/2]

SpecificConstantSplatMatch llvm::MIPatternMatch::m_SpecificICstSplat ( int64_t  RequestedValue )

inline

Definition at line 237 of file MIPatternMatch.h.

m_SpecificReg()

SpecificRegisterMatch llvm::MIPatternMatch::m_SpecificReg ( Register  RequestedReg )

inline

Matches a register only if it is equal to RequestedReg.

Definition at line 294 of file MIPatternMatch.h.

m_SpecificType()

CheckType llvm::MIPatternMatch::m_SpecificType ( LLT  Ty )

inline

Definition at line 886 of file MIPatternMatch.h.

Referenced by llvm::CombinerHelper::matchCombineAnyExtTrunc(), llvm::CombinerHelper::matchCombineI2PToP2I(), and llvm::CombinerHelper::matchCombineZextTrunc().

m_Type()

bind_ty< LLT > llvm::MIPatternMatch::m_Type ( LLT &  Ty )

inline

Definition at line 427 of file MIPatternMatch.h.

m_ZeroInt()

SpecificConstantMatch llvm::MIPatternMatch::m_ZeroInt ( )

inline

Convenience matchers for specific integer values.

Definition at line 277 of file MIPatternMatch.h.

References llvm::APInt::getZero().

Referenced by llvm::AMDGPURegisterBankInfo::applyMappingMAD_64_32(), BitOp3_Op(), emitTransformedIndex(), llvm::InstCombinerImpl::foldCmpLoadFromIndexedGlobal(), foldGuardedFunnelShift(), foldICmpOfUAddOv(), foldICmpPow2Test(), foldInsEltIntoSplat(), foldIsPowerOf2(), foldIsPowerOf2OrZero(), foldSubOfMinMax(), getAlternateBinop(), llvm::getSplatValue(), llvm::ARMTTIImpl::isProfitableToSinkOperands(), llvm::RISCVTTIImpl::isProfitableToSinkOperands(), llvm::WebAssemblyTTIImpl::isProfitableToSinkOperands(), m_Neg(), matchSelectPattern(), matchUAddWithOverflowConstantEdgeCases(), shouldExpandCmpArithRMWInIR(), simplifyAndOrOfICmpsWithCtpop(), simplifyRecipe(), simplifySelectInst(), simplifySVEIntrinsic(), simplifyX86addcarry(), llvm::InstCombinerImpl::visitAdd(), llvm::InstCombinerImpl::visitCallInst(), llvm::InstCombinerImpl::visitOr(), and llvm::InstCombinerImpl::visitSub().

matchConstant() [1/3]

template<>

std::optional< APInt > llvm::MIPatternMatch::matchConstant ( Register  Reg, const MachineRegisterInfo &  MRI  )

inline

Definition at line 79 of file MIPatternMatch.h.

References llvm::getIConstantVRegVal(), MRI, and Reg.

matchConstant() [2/3]

template<>

std::optional< int64_t > llvm::MIPatternMatch::matchConstant ( Register  Reg, const MachineRegisterInfo &  MRI  )

inline

Definition at line 85 of file MIPatternMatch.h.

References llvm::getIConstantVRegSExtVal(), MRI, and Reg.

matchConstant() [3/3]

template<typename ConstT >

std::optional< ConstT > llvm::MIPatternMatch::matchConstant ( Register  , const MachineRegisterInfo &    )

inline

matchConstantSplat() [1/3]

template<>

std::optional< APInt > llvm::MIPatternMatch::matchConstantSplat ( Register  Reg, const MachineRegisterInfo &  MRI  )

inline

Definition at line 114 of file MIPatternMatch.h.

References llvm::getIConstantSplatVal(), MRI, and Reg.

matchConstantSplat() [2/3]

template<>

std::optional< int64_t > llvm::MIPatternMatch::matchConstantSplat ( Register  Reg, const MachineRegisterInfo &  MRI  )

inline

Definition at line 121 of file MIPatternMatch.h.

References llvm::getIConstantSplatSExtVal(), MRI, and Reg.

matchConstantSplat() [3/3]

template<typename ConstT >

std::optional< ConstT > llvm::MIPatternMatch::matchConstantSplat ( Register  , const MachineRegisterInfo &    )

inline

mi_match() [1/3]

template<typename Pattern >

bool llvm::MIPatternMatch::mi_match	(	const MachineInstr &	MI,
		const MachineRegisterInfo &	MRI,
		Pattern &&	P
	)

Definition at line 40 of file MIPatternMatch.h.

References MI, MRI, and P.

mi_match() [2/3]

template<typename Pattern >

bool llvm::MIPatternMatch::mi_match	(	MachineInstr &	MI,
		const MachineRegisterInfo &	MRI,
		Pattern &&	P
	)

Definition at line 34 of file MIPatternMatch.h.

References MI, MRI, and P.

mi_match() [3/3]

template<typename Reg , typename Pattern >

bool llvm::MIPatternMatch::mi_match	(	Reg	R,
		const MachineRegisterInfo &	MRI,
		Pattern &&	P
	)

Definition at line 28 of file MIPatternMatch.h.

References MRI, and P.

Referenced by llvm::AMDGPUCombinerHelper::applyFoldableFneg(), llvm::AMDGPURegisterBankInfo::applyMappingImpl(), llvm::AMDGPURegisterBankInfo::applyMappingMAD_64_32(), BitOp3_Op(), clampVectorIndex(), getBaseWithConstantOffset(), llvm::AMDGPU::getBaseWithConstantOffset(), getOperandsForBranch(), llvm::GISelAddressing::getPointerInfo(), getTruncStoreByteOffset(), llvm::GISelAddressing::instMayAlias(), llvm::SITargetLowering::isCanonicalized(), isConstantCostlierToNegate(), isExtractHiElt(), isLaneMaskFromSameBlock(), isLshrHalf(), isShlHalf(), llvm::LegalizerHelper::lowerExtractInsertVectorElt(), llvm::MIPatternMatch::BinaryOp_match< LHS_P, RHS_P, Opcode, Commutable, Flags >::match(), llvm::MIPatternMatch::BinaryOpc_match< LHS_P, RHS_P, Commutable >::match(), llvm::MIPatternMatch::UnaryOp_match< SrcTy, Opcode >::match(), llvm::MIPatternMatch::CompareOp_match< Pred_P, LHS_P, RHS_P, Opcode, Commutable >::match(), llvm::MIPatternMatch::ClassifyOp_match< LHS_P, Test_P, Opcode >::match(), llvm::MIPatternMatch::TernaryOp_match< Src0Ty, Src1Ty, Src2Ty, Opcode >::match(), llvm::MIPatternMatch::SpecificConstantMatch::match(), llvm::MIPatternMatch::SpecificConstantOrSplatMatch::match(), llvm::MIPatternMatch::ImplicitDefMatch::match(), llvm::CombinerHelper::matchAddEToAddO(), llvm::CombinerHelper::matchAddSubSameReg(), llvm::CombinerHelper::matchAndOrDisjointMask(), llvm::CombinerHelper::matchAshrShlToSextInreg(), llvm::CombinerHelper::matchBuildVectorIdentityFold(), llvm::CombinerHelper::matchCombineAddP2IToPtrAdd(), llvm::CombinerHelper::matchCombineAnyExtTrunc(), llvm::CombinerHelper::matchCombineConstPtrAddToI2P(), llvm::CombinerHelper::matchCombineFAddFpExtFMulToFMadOrFMA(), llvm::CombinerHelper::matchCombineFAddFpExtFMulToFMadOrFMAAggressive(), llvm::CombinerHelper::matchCombineFSubFNegFMulToFMadOrFMA(), llvm::CombinerHelper::matchCombineFSubFpExtFMulToFMadOrFMA(), llvm::CombinerHelper::matchCombineFSubFpExtFNegFMulToFMadOrFMA(), llvm::CombinerHelper::matchCombineI2PToP2I(), llvm::CombinerHelper::matchCombineInsertVecElts(), llvm::CombinerHelper::matchCombineShlOfExtend(), llvm::CombinerHelper::matchCombineUnmergeZExtToZExt(), llvm::CombinerHelper::matchCombineZextTrunc(), llvm::CombinerHelper::matchCommuteFPConstantToRHS(), llvm::CombinerHelper::matchCommuteShift(), llvm::CombinerHelper::matchConstantFPOp(), llvm::CombinerHelper::matchICmpToLHSKnownBits(), matchLDPSTPAddrMode(), matchLoadAndBytePosition(), llvm::CombinerHelper::matchMulOBy0(), llvm::CombinerHelper::matchMulOBy2(), llvm::CombinerHelper::matchNotCmp(), llvm::CombinerHelper::matchOrShiftToFunnelShift(), llvm::CombinerHelper::matchOverlappingAnd(), llvm::CombinerHelper::matchReassocConstantInnerLHS(), llvm::CombinerHelper::matchRedundantBinOpInEquality(), llvm::CombinerHelper::matchRedundantNegOperands(), llvm::CombinerHelper::matchSextTruncSextLoad(), llvm::CombinerHelper::matchSimplifyAddToSub(), llvm::CombinerHelper::matchSimplifyNegMinMax(), llvm::CombinerHelper::matchSimplifySelectToMinMax(), llvm::CombinerHelper::matchSubAddSameReg(), llvm::CombinerHelper::matchTruncBuildVectorFold(), llvm::CombinerHelper::matchTruncLshrBuildVectorFold(), llvm::CombinerHelper::matchTruncSSatS(), llvm::CombinerHelper::matchTruncSSatU(), llvm::CombinerHelper::matchTruncUSatU(), llvm::CombinerHelper::matchXorOfAndWithSameReg(), peekThroughBitcast(), selectWMMAModsNegAbs(), stripBitCast(), llvm::LegalizationArtifactCombiner::tryCombineAnyExt(), llvm::LegalizationArtifactCombiner::tryCombineSExt(), llvm::LegalizationArtifactCombiner::tryCombineTrunc(), and llvm::LegalizationArtifactCombiner::tryCombineZExt().