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< LLT >

struct	bind_helper< MachineInstr * >

struct	bind_ty

struct	CheckType

struct	CompareOp_match

struct	ConstantMatch

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
	} 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 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 (int64_t RequestedValue)
	Matches a constant equal to `RequestedValue`.

SpecificConstantSplatMatch	m_SpecificICstSplat (int64_t RequestedValue)
	Matches a constant splat of `RequestedValue`.

SpecificConstantOrSplatMatch	m_SpecificICstOrSplat (int64_t RequestedValue)
	Matches a `RequestedValue` constant or a constant splat of `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< LLT >	m_Type (LLT Ty)

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

operand_type_match	m_Pred ()

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_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, false >	m_GSMax (const LHS &L, const RHS &R)

template<typename LHS , typename RHS >
BinaryOp_match< LHS, RHS, TargetOpcode::G_SMIN, false >	m_GSMin (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.

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 310 of file MIPatternMatch.h.

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

◆ m_AllOnesInt()

SpecificConstantMatch llvm::MIPatternMatch::m_AllOnesInt ( )

inline

Definition at line 239 of file MIPatternMatch.h.

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 314 of file MIPatternMatch.h.

Referenced by getTruncStoreByteOffset(), llvm::CombinerHelper::matchBuildVectorIdentityFold(), llvm::CombinerHelper::matchCommuteShift(), and llvm::CombinerHelper::matchRedundantBinOpInEquality().

◆ 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 438 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 710 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 695 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 445 of file MIPatternMatch.h.

◆ m_Copy()

template<typename SrcTy >

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

inline

Definition at line 630 of file MIPatternMatch.h.

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

◆ 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 451 of file MIPatternMatch.h.

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

◆ 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 506 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 571 of file MIPatternMatch.h.

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

◆ 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 536 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 597 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 457 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 463 of file MIPatternMatch.h.

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

◆ m_GCst()

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

inline

Definition at line 151 of file MIPatternMatch.h.

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

◆ m_GFabs()

template<typename SrcTy >

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

inline

Definition at line 620 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 488 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 680 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 387 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 165 of file MIPatternMatch.h.

◆ m_GFCstOrSplat()

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

inline

Definition at line 180 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 494 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 625 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 586 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 615 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 635 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 500 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 674 of file MIPatternMatch.h.

References P.

Referenced by getOperandsForBranch().

◆ m_GImplicitDef()

ImplicitDefMatch llvm::MIPatternMatch::m_GImplicitDef ( )

inline

Definition at line 384 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 750 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 609 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 757 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 530 of file MIPatternMatch.h.

Referenced by getTruncStoreByteOffset(), isExtractHiElt(), 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 482 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 517 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 470 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 603 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 576 of file MIPatternMatch.h.

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

◆ 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 524 of file MIPatternMatch.h.

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

◆ m_GSMax()

template<typename LHS , typename RHS >

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

inline

Definition at line 542 of file MIPatternMatch.h.

◆ m_GSMin()

template<typename LHS , typename RHS >

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

inline

Definition at line 548 of file MIPatternMatch.h.

◆ 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 475 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 591 of file MIPatternMatch.h.

Referenced by getTruncStoreByteOffset(), isExtractHiElt(), llvm::CombinerHelper::matchBuildVectorIdentityFold(), llvm::CombinerHelper::matchCombineAnyExtTrunc(), llvm::CombinerHelper::matchCombineZextTrunc(), llvm::CombinerHelper::matchSextTruncSextLoad(), and llvm::CombinerHelper::matchSimplifySelectToMinMax().

◆ 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 512 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 581 of file MIPatternMatch.h.

Referenced by llvm::CombinerHelper::matchCombineShlOfExtend(), llvm::CombinerHelper::matchCombineUnmergeZExtToZExt(), and matchZeroExtendFromS32().

◆ m_ICst() [1/2]

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

inline

Definition at line 93 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 96 of file MIPatternMatch.h.

◆ m_ICstOrSplat() [1/2]

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

inline

Definition at line 134 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 138 of file MIPatternMatch.h.

◆ m_MInstr()

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

inline

Definition at line 370 of file MIPatternMatch.h.

References MI.

Referenced by llvm::AMDGPU::getBaseWithConstantOffset(), llvm::MIPatternMatch::BinaryOp_match< LHS_P, RHS_P, Opcode, Commutable >::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::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(), and llvm::CombinerHelper::matchCombineInsertVecElts().

◆ 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 766 of file MIPatternMatch.h.

References m_GSub(), and m_ZeroInt().

◆ 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 774 of file MIPatternMatch.h.

References m_AllOnesInt(), and m_GXor().

◆ m_OneNonDBGUse()

template<typename SubPat >

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

inline

Definition at line 61 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 47 of file MIPatternMatch.h.

◆ m_Pred() [1/2]

operand_type_match llvm::MIPatternMatch::m_Pred ( )

inline

Definition at line 373 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 372 of file MIPatternMatch.h.

References P.

◆ m_Reg() [1/2]

operand_type_match llvm::MIPatternMatch::m_Reg ( )

inline

Definition at line 270 of file MIPatternMatch.h.

◆ m_Reg() [2/2]

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

inline

Definition at line 369 of file MIPatternMatch.h.

◆ m_SpecificICst()

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

inline

Matches a constant equal to RequestedValue.

Definition at line 195 of file MIPatternMatch.h.

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

◆ m_SpecificICstOrSplat()

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

inline

Matches a RequestedValue constant or a constant splat of RequestedValue.

Definition at line 232 of file MIPatternMatch.h.

Referenced by llvm::CombinerHelper::matchAddEToAddO(), llvm::CombinerHelper::matchMulOBy0(), llvm::CombinerHelper::matchMulOBy2(), llvm::CombinerHelper::matchOrShiftToFunnelShift(), and llvm::CombinerHelper::matchSubAddSameReg().

◆ m_SpecificICstSplat()

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

inline

Matches a constant splat of RequestedValue.

Definition at line 211 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 254 of file MIPatternMatch.h.

◆ m_SpecificType()

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

inline

Definition at line 724 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 371 of file MIPatternMatch.h.

◆ m_ZeroInt()

SpecificConstantMatch llvm::MIPatternMatch::m_ZeroInt ( )

inline

{ Convenience matchers for specific integer values.

Definition at line 238 of file MIPatternMatch.h.

Referenced by m_Neg().

◆ matchConstant() [1/3]

template<>

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

inline

Definition at line 70 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 76 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 105 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 112 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/2]

template<typename Pattern >

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

Definition at line 31 of file MIPatternMatch.h.

References MI, MRI, and P.

◆ mi_match() [2/2]

template<typename Reg , typename Pattern >

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

Definition at line 25 of file MIPatternMatch.h.

References MRI, and P.

Classes

Functions

Function Documentation

◆ m_all_of()

◆ m_AllOnesInt()

◆ m_any_of()

◆ m_BinOp()

◆ m_c_GFCmp()

◆ m_c_GICmp()

◆ m_CommutativeBinOp()

◆ m_Copy()

◆ m_GAdd()

◆ m_GAnd()

◆ m_GAnyExt()

◆ m_GAShr()

◆ m_GBitcast()

◆ m_GBuildVector()

◆ m_GBuildVectorTrunc()

◆ m_GCst()

◆ m_GFabs()

◆ m_GFAdd()

◆ m_GFCmp()

◆ m_GFCst() [1/2]

◆ m_GFCst() [2/2]

◆ m_GFCstOrSplat()

◆ m_GFMul()

◆ m_GFNeg()

◆ m_GFPExt()

◆ m_GFPTrunc()

◆ m_GFSqrt()

◆ m_GFSub()

◆ m_GICmp()

◆ m_GImplicitDef()

◆ m_GInsertVecElt()

◆ m_GIntToPtr()

◆ m_GISelect()

◆ m_GLShr()

◆ m_GMul()

◆ m_GOr()

◆ m_GPtrAdd()

◆ m_GPtrToInt()

◆ m_GSExt()

◆ m_GShl()

◆ m_GSMax()

◆ m_GSMin()

◆ m_GSub()

◆ m_GTrunc()

◆ m_GXor()

◆ m_GZExt()

◆ m_ICst() [1/2]

◆ m_ICst() [2/2]

◆ m_ICstOrSplat() [1/2]

◆ m_ICstOrSplat() [2/2]

◆ m_MInstr()

◆ m_Neg()

◆ m_Not()

◆ m_OneNonDBGUse()

◆ m_OneUse()

◆ m_Pred() [1/2]

◆ m_Pred() [2/2]

◆ m_Reg() [1/2]

◆ m_Reg() [2/2]

◆ m_SpecificICst()

◆ m_SpecificICstOrSplat()

◆ m_SpecificICstSplat()

◆ m_SpecificReg()

◆ m_SpecificType()

◆ m_Type()

◆ m_ZeroInt()

◆ matchConstant() [1/3]

◆ matchConstant() [2/3]

◆ matchConstant() [3/3]

◆ matchConstantSplat() [1/3]

◆ matchConstantSplat() [2/3]

◆ matchConstantSplat() [3/3]

◆ mi_match() [1/2]

◆ mi_match() [2/2]