Classes
struct	AllOnes_match
struct	And
struct	And< Pred, Preds... >
class	BasicMatchContext
	MatchContext can repurpose existing patterns to behave differently under a certain context. More...
struct	BinaryOpc_match
struct	CondCode_match
struct	Constant64_match
struct	ConstantInt_match
struct	DeferredValue_match
struct	EffectiveOperands
	Provide number of operands that are not chain or glue, as well as the first index of such operand. More...
struct	EffectiveOperands< false >
struct	m_Mask
struct	m_SpecificMask
struct	MaxMin_match
struct	Negative_match
struct	NonNegative_match
struct	NonPositive_match
struct	NonZero_match
struct	Not
struct	NUses_match
struct	Ones_match
struct	Opcode_match
struct	Operands_match
struct	Operands_match< OpIdx, OpndPred, OpndPreds... >
struct	Or
struct	Or< Pred, Preds... >
struct	ReassociatableOpc_match
struct	Result_match
struct	SDShuffle_match
	Matching while capturing mask. More...
struct	smax_pred_ty
struct	smin_pred_ty
struct	SpecificFP_match
struct	SpecificInt_match
struct	SpecificNeg_match
struct	StrictlyPositive_match
struct	SwitchContext
	Switch to a different MatchContext for subsequent patterns. More...
struct	TernaryOpc_match
struct	TLI_pred_match
struct	umax_pred_ty
struct	umin_pred_ty
struct	UnaryOpc_match
struct	Value_bind
struct	Value_match
struct	ValueType_bind
struct	ValueType_match
struct	Zero_match

Functions
template<typename Pattern, typename MatchContext>
bool	sd_context_match (SDValue N, const MatchContext &Ctx, Pattern &&P)
template<typename Pattern, typename MatchContext>
bool	sd_context_match (SDNode *N, const MatchContext &Ctx, Pattern &&P)
template<typename Pattern>
bool	sd_match (SDNode N, const SelectionDAG DAG, Pattern &&P)
template<typename Pattern>
bool	sd_match (SDValue N, const SelectionDAG *DAG, Pattern &&P)
template<typename Pattern>
bool	sd_match (SDNode *N, Pattern &&P)
template<typename Pattern>
bool	sd_match (SDValue N, Pattern &&P)
Value_match	m_Value ()
	Match any valid SDValue.
Value_match	m_Specific (SDValue N)
template<unsigned ResNo, typename Pattern>
Result_match< ResNo, Pattern >	m_Result (const Pattern &P)
	Match only if the SDValue is a certain result at ResNo.
DeferredValue_match	m_Deferred (SDValue &V)
	Similar to m_Specific, but the specific value to match is determined by another sub-pattern in the same sd_match() expression.
template<typename Pred>
	Not (const Pred &P) -> Not< Pred >
template<typename Pred>
Not< Pred >	m_Unless (const Pred &P)
	Match if the inner pattern does NOT match.
template<typename... Preds>
And< Preds... >	m_AllOf (const Preds &...preds)
template<typename... Preds>
Or< Preds... >	m_AnyOf (const Preds &...preds)
template<typename... Preds>
auto	m_NoneOf (const Preds &...preds)
Opcode_match	m_Opc (unsigned Opcode)
auto	m_Undef ()
Opcode_match	m_Poison ()
template<typename Pattern>
NUses_match< 1, Pattern >	m_OneUse (const Pattern &P)
template<unsigned N, typename Pattern>
NUses_match< N, Pattern >	m_NUses (const Pattern &P)
NUses_match< 1, Value_match >	m_OneUse ()
template<unsigned N>
NUses_match< N, Value_match >	m_NUses ()
auto	m_Value (SDValue &N)
template<typename PredPattern>
auto	m_Value (SDValue &N, const PredPattern &P)
	Conditionally bind an SDValue based on the predicate.
template<typename PredFuncT, typename Pattern>
	TLI_pred_match (const PredFuncT &Pred, const Pattern &P) -> TLI_pred_match< Pattern, PredFuncT >
template<typename Pattern>
auto	m_LegalOp (const Pattern &P)
	Match legal SDNodes based on the information provided by TargetLowering.
template<typename MatchContext, typename Pattern>
SwitchContext< MatchContext, Pattern >	m_Context (const MatchContext &Ctx, Pattern &&P)
ValueType_bind	m_VT (EVT &VT)
	Retreive the ValueType of the current SDValue.
template<typename PredFuncT, typename Pattern>
	ValueType_match (const PredFuncT &Pred, const Pattern &P) -> ValueType_match< Pattern, PredFuncT >
template<typename Pattern>
auto	m_SpecificVT (EVT RefVT, const Pattern &P)
	Match a specific ValueType.
auto	m_SpecificVT (EVT RefVT)
auto	m_Glue ()
auto	m_OtherVT ()
template<typename Pattern>
auto	m_SpecificScalarVT (EVT RefVT, const Pattern &P)
	Match a scalar ValueType.
auto	m_SpecificScalarVT (EVT RefVT)
template<typename Pattern>
auto	m_SpecificVectorElementVT (EVT RefVT, const Pattern &P)
	Match a vector ValueType.
auto	m_SpecificVectorElementVT (EVT RefVT)
template<typename Pattern>
auto	m_IntegerVT (const Pattern &P)
	Match any integer ValueTypes.
auto	m_IntegerVT ()
template<typename Pattern>
auto	m_FloatingPointVT (const Pattern &P)
	Match any floating point ValueTypes.
auto	m_FloatingPointVT ()
template<typename Pattern>
auto	m_VectorVT (const Pattern &P)
	Match any vector ValueTypes.
auto	m_VectorVT ()
template<typename Pattern>
auto	m_FixedVectorVT (const Pattern &P)
	Match fixed-length vector ValueTypes.
auto	m_FixedVectorVT ()
template<typename Pattern>
auto	m_ScalableVectorVT (const Pattern &P)
	Match scalable vector ValueTypes.
auto	m_ScalableVectorVT ()
template<typename Pattern>
auto	m_LegalType (const Pattern &P)
	Match legal ValueTypes based on the information provided by TargetLowering.
template<typename... OpndPreds>
auto	m_Node (unsigned Opcode, const OpndPreds &...preds)
template<typename T0_P, typename T1_P, typename T2_P>
TernaryOpc_match< T0_P, T1_P, T2_P >	m_SetCC (const T0_P &LHS, const T1_P &RHS, const T2_P &CC)
template<typename T0_P, typename T1_P, typename T2_P>
TernaryOpc_match< T0_P, T1_P, T2_P, true, false >	m_c_SetCC (const T0_P &LHS, const T1_P &RHS, const T2_P &CC)
template<typename T0_P, typename T1_P, typename T2_P>
TernaryOpc_match< T0_P, T1_P, T2_P >	m_Select (const T0_P &Cond, const T1_P &T, const T2_P &F)
template<typename T0_P, typename T1_P, typename T2_P>
TernaryOpc_match< T0_P, T1_P, T2_P >	m_VSelect (const T0_P &Cond, const T1_P &T, const T2_P &F)
template<typename T0_P, typename T1_P, typename T2_P>
auto	m_SelectLike (const T0_P &Cond, const T1_P &T, const T2_P &F)
template<typename T0_P, typename T1_P, typename T2_P>
Result_match< 0, TernaryOpc_match< T0_P, T1_P, T2_P > >	m_Load (const T0_P &Ch, const T1_P &Ptr, const T2_P &Offset)
template<typename T0_P, typename T1_P, typename T2_P>
TernaryOpc_match< T0_P, T1_P, T2_P >	m_InsertElt (const T0_P &Vec, const T1_P &Val, const T2_P &Idx)
template<typename LHS, typename RHS, typename IDX>
TernaryOpc_match< LHS, RHS, IDX >	m_InsertSubvector (const LHS &Base, const RHS &Sub, const IDX &Idx)
template<typename T0_P, typename T1_P, typename T2_P>
TernaryOpc_match< T0_P, T1_P, T2_P >	m_TernaryOp (unsigned Opc, const T0_P &Op0, const T1_P &Op1, const T2_P &Op2)
template<typename T0_P, typename T1_P, typename T2_P>
TernaryOpc_match< T0_P, T1_P, T2_P, true >	m_c_TernaryOp (unsigned Opc, const T0_P &Op0, const T1_P &Op1, const T2_P &Op2)
template<typename LTy, typename RTy, typename TTy, typename FTy, typename CCTy>
auto	m_SelectCC (const LTy &L, const RTy &R, const TTy &T, const FTy &F, const CCTy &CC)
template<typename LTy, typename RTy, typename TTy, typename FTy, typename CCTy>
auto	m_SelectCCLike (const LTy &L, const RTy &R, const TTy &T, const FTy &F, const CCTy &CC)
template<typename LHS, typename RHS>
BinaryOpc_match< LHS, RHS >	m_BinOp (unsigned Opc, const LHS &L, const RHS &R, SDNodeFlags Flgs=SDNodeFlags())
template<typename LHS, typename RHS>
BinaryOpc_match< LHS, RHS, true >	m_c_BinOp (unsigned Opc, const LHS &L, const RHS &R, SDNodeFlags Flgs=SDNodeFlags())
template<typename LHS, typename RHS>
BinaryOpc_match< LHS, RHS, false, true >	m_ChainedBinOp (unsigned Opc, const LHS &L, const RHS &R)
template<typename LHS, typename RHS>
BinaryOpc_match< LHS, RHS, true, true >	m_c_ChainedBinOp (unsigned Opc, const LHS &L, const RHS &R)
template<typename LHS, typename RHS>
BinaryOpc_match< LHS, RHS, true >	m_Add (const LHS &L, const RHS &R)
template<typename LHS, typename RHS>
BinaryOpc_match< LHS, RHS >	m_Sub (const LHS &L, const RHS &R)
template<typename LHS, typename RHS>
BinaryOpc_match< LHS, RHS, true >	m_Mul (const LHS &L, const RHS &R)
template<typename LHS, typename RHS>
BinaryOpc_match< LHS, RHS, true >	m_And (const LHS &L, const RHS &R)
template<typename LHS, typename RHS>
BinaryOpc_match< LHS, RHS, true >	m_Or (const LHS &L, const RHS &R)
template<typename LHS, typename RHS>
BinaryOpc_match< LHS, RHS, true >	m_DisjointOr (const LHS &L, const RHS &R)
template<typename LHS, typename RHS>
auto	m_AddLike (const LHS &L, const RHS &R)
template<typename LHS, typename RHS>
BinaryOpc_match< LHS, RHS, true >	m_Xor (const LHS &L, const RHS &R)
template<typename LHS, typename RHS>
auto	m_BitwiseLogic (const LHS &L, const RHS &R)
template<unsigned Opc, typename Pred, typename LHS, typename RHS>
auto	m_MaxMinLike (const LHS &L, const RHS &R)
template<typename LHS, typename RHS>
BinaryOpc_match< LHS, RHS, true >	m_SMin (const LHS &L, const RHS &R)
template<typename LHS, typename RHS>
auto	m_SMinLike (const LHS &L, const RHS &R)
template<typename LHS, typename RHS>
BinaryOpc_match< LHS, RHS, true >	m_SMax (const LHS &L, const RHS &R)
template<typename LHS, typename RHS>
auto	m_SMaxLike (const LHS &L, const RHS &R)
template<typename LHS, typename RHS>
BinaryOpc_match< LHS, RHS, true >	m_UMin (const LHS &L, const RHS &R)
template<typename LHS, typename RHS>
auto	m_UMinLike (const LHS &L, const RHS &R)
template<typename LHS, typename RHS>
BinaryOpc_match< LHS, RHS, true >	m_UMax (const LHS &L, const RHS &R)
template<typename LHS, typename RHS>
auto	m_UMaxLike (const LHS &L, const RHS &R)
template<typename LHS, typename RHS>
BinaryOpc_match< LHS, RHS >	m_UDiv (const LHS &L, const RHS &R)
template<typename LHS, typename RHS>
BinaryOpc_match< LHS, RHS >	m_SDiv (const LHS &L, const RHS &R)
template<typename LHS, typename RHS>
BinaryOpc_match< LHS, RHS >	m_URem (const LHS &L, const RHS &R)
template<typename LHS, typename RHS>
BinaryOpc_match< LHS, RHS >	m_SRem (const LHS &L, const RHS &R)
template<typename LHS, typename RHS>
BinaryOpc_match< LHS, RHS >	m_Shl (const LHS &L, const RHS &R)
template<typename LHS, typename RHS>
BinaryOpc_match< LHS, RHS >	m_Sra (const LHS &L, const RHS &R)
template<typename LHS, typename RHS>
BinaryOpc_match< LHS, RHS >	m_Srl (const LHS &L, const RHS &R)
template<typename LHS, typename RHS>
auto	m_ExactSr (const LHS &L, const RHS &R)
template<typename LHS, typename RHS>
BinaryOpc_match< LHS, RHS >	m_Rotl (const LHS &L, const RHS &R)
template<typename LHS, typename RHS>
BinaryOpc_match< LHS, RHS >	m_Rotr (const LHS &L, const RHS &R)
template<typename LHS, typename RHS>
BinaryOpc_match< LHS, RHS, true >	m_Clmul (const LHS &L, const RHS &R)
template<typename LHS, typename RHS>
BinaryOpc_match< LHS, RHS, true >	m_FAdd (const LHS &L, const RHS &R)
template<typename LHS, typename RHS>
BinaryOpc_match< LHS, RHS >	m_FSub (const LHS &L, const RHS &R)
template<typename LHS, typename RHS>
BinaryOpc_match< LHS, RHS, true >	m_FMul (const LHS &L, const RHS &R)
template<typename LHS, typename RHS>
BinaryOpc_match< LHS, RHS >	m_FDiv (const LHS &L, const RHS &R)
template<typename LHS, typename RHS>
BinaryOpc_match< LHS, RHS >	m_FRem (const LHS &L, const RHS &R)
template<typename V1_t, typename V2_t>
BinaryOpc_match< V1_t, V2_t >	m_Shuffle (const V1_t &v1, const V2_t &v2)
template<typename V1_t, typename V2_t, typename Mask_t>
SDShuffle_match< V1_t, V2_t, Mask_t >	m_Shuffle (const V1_t &v1, const V2_t &v2, const Mask_t &mask)
template<typename LHS, typename RHS>
BinaryOpc_match< LHS, RHS >	m_ExtractElt (const LHS &Vec, const RHS &Idx)
template<typename LHS, typename RHS>
BinaryOpc_match< LHS, RHS >	m_ExtractSubvector (const LHS &Vec, const RHS &Idx)
template<typename Opnd>
UnaryOpc_match< Opnd >	m_UnaryOp (unsigned Opc, const Opnd &Op)
template<typename Opnd>
UnaryOpc_match< Opnd, true >	m_ChainedUnaryOp (unsigned Opc, const Opnd &Op)
template<typename Opnd>
UnaryOpc_match< Opnd >	m_BitCast (const Opnd &Op)
template<typename Opnd>
UnaryOpc_match< Opnd >	m_BSwap (const Opnd &Op)
template<typename Opnd>
UnaryOpc_match< Opnd >	m_BitReverse (const Opnd &Op)
template<typename Opnd>
UnaryOpc_match< Opnd >	m_ZExt (const Opnd &Op)
template<typename Opnd>
UnaryOpc_match< Opnd >	m_NNegZExt (const Opnd &Op)
template<typename Opnd>
auto	m_SExt (const Opnd &Op)
template<typename Opnd>
UnaryOpc_match< Opnd >	m_AnyExt (const Opnd &Op)
template<typename Opnd>
UnaryOpc_match< Opnd >	m_Trunc (const Opnd &Op)
template<typename Opnd>
UnaryOpc_match< Opnd >	m_Abs (const Opnd &Op)
template<typename Opnd>
UnaryOpc_match< Opnd >	m_FAbs (const Opnd &Op)
template<typename Opnd>
auto	m_ZExtOrSelf (const Opnd &Op)
	Match a zext or identity Allows to peek through optional extensions.
template<typename Opnd>
auto	m_SExtOrSelf (const Opnd &Op)
	Match a sext or identity Allows to peek through optional extensions.
template<typename Opnd>
auto	m_SExtLike (const Opnd &Op)
template<typename Opnd>
Or< UnaryOpc_match< Opnd >, Opnd >	m_AExtOrSelf (const Opnd &Op)
	Match a aext or identity Allows to peek through optional extensions.
template<typename Opnd>
Or< UnaryOpc_match< Opnd >, Opnd >	m_TruncOrSelf (const Opnd &Op)
	Match a trunc or identity Allows to peek through optional truncations.
template<typename Opnd>
UnaryOpc_match< Opnd >	m_VScale (const Opnd &Op)
template<typename Opnd>
UnaryOpc_match< Opnd >	m_FPToUI (const Opnd &Op)
template<typename Opnd>
UnaryOpc_match< Opnd >	m_FPToSI (const Opnd &Op)
template<typename Opnd>
UnaryOpc_match< Opnd >	m_Ctpop (const Opnd &Op)
template<typename Opnd>
UnaryOpc_match< Opnd >	m_Ctlz (const Opnd &Op)
template<typename Opnd>
UnaryOpc_match< Opnd >	m_Cttz (const Opnd &Op)
template<typename Opnd>
UnaryOpc_match< Opnd >	m_FNeg (const Opnd &Op)
ConstantInt_match	m_ConstInt ()
	Match any integer constants or splat of an integer constant.
ConstantInt_match	m_ConstInt (APInt &V)
	Match any integer constants or splat of an integer constant; return the specific constant or constant splat value.
Constant64_match< uint64_t >	m_ConstInt (uint64_t &V)
	Match any integer constants or splat of an integer constant that can fit in 64 bits; return the specific constant or constant splat value, zero-extended to 64 bits.
Constant64_match< int64_t >	m_ConstInt (int64_t &V)
	Match any integer constants or splat of an integer constant that can fit in 64 bits; return the specific constant or constant splat value, sign-extended to 64 bits.
SpecificInt_match	m_SpecificInt (APInt V)
	Match a specific integer constant or constant splat value.
SpecificInt_match	m_SpecificInt (uint64_t V)
SpecificFP_match	m_SpecificFP (APFloat V)
	Match a specific float constant.
SpecificFP_match	m_SpecificFP (double V)
Negative_match	m_Negative ()
template<typename Pattern>
auto	m_Negative (const Pattern &P)
NonNegative_match	m_NonNegative ()
template<typename Pattern>
auto	m_NonNegative (const Pattern &P)
StrictlyPositive_match	m_StrictlyPositive ()
template<typename Pattern>
auto	m_StrictlyPositive (const Pattern &P)
NonPositive_match	m_NonPositive ()
template<typename Pattern>
auto	m_NonPositive (const Pattern &P)
NonZero_match	m_NonZero ()
template<typename Pattern>
auto	m_NonZero (const Pattern &P)
Ones_match	m_One (bool AllowUndefs=false)
Zero_match	m_Zero (bool AllowUndefs=false)
AllOnes_match	m_AllOnes (bool AllowUndefs=false)
auto	m_True ()
	Match true boolean value based on the information provided by TargetLowering.
auto	m_False ()
	Match false boolean value based on the information provided by TargetLowering.
CondCode_match	m_CondCode ()
	Match any conditional code SDNode.
CondCode_match	m_CondCode (ISD::CondCode &CC)
	Match any conditional code SDNode and return its ISD::CondCode value.
CondCode_match	m_SpecificCondCode (ISD::CondCode CC)
	Match a conditional code SDNode with a specific ISD::CondCode.
template<typename ValTy>
BinaryOpc_match< Zero_match, ValTy, false >	m_Neg (const ValTy &V)
	Match a negate as a sub(0, v)
template<typename ValTy>
BinaryOpc_match< ValTy, AllOnes_match, true >	m_Not (const ValTy &V)
	Match a Not as a xor(v, -1) or xor(-1, v)
template<unsigned IntrinsicId, typename... OpndPreds>
auto	m_IntrinsicWOChain (const OpndPreds &...Opnds)
SpecificNeg_match	m_SpecificNeg (SDValue V)
	Match a negation of a specific value V, either as sub(0, V) or as constant(s) that are the negation of V's constant(s).
template<typename... PatternTs>
ReassociatableOpc_match< PatternTs... >	m_ReassociatableAdd (const PatternTs &...Patterns)
template<typename... PatternTs>
ReassociatableOpc_match< PatternTs... >	m_ReassociatableOr (const PatternTs &...Patterns)
template<typename... PatternTs>
ReassociatableOpc_match< PatternTs... >	m_ReassociatableAnd (const PatternTs &...Patterns)
template<typename... PatternTs>
ReassociatableOpc_match< PatternTs... >	m_ReassociatableMul (const PatternTs &...Patterns)
template<typename... PatternTs>
ReassociatableOpc_match< PatternTs... >	m_ReassociatableNSWAdd (const PatternTs &...Patterns)
template<typename... PatternTs>
ReassociatableOpc_match< PatternTs... >	m_ReassociatableNUWAdd (const PatternTs &...Patterns)

Function Documentation

◆ m_Abs()

template<typename Opnd>

UnaryOpc_match< Opnd > llvm::SDPatternMatch::m_Abs ( const Opnd & Op )

inline

Definition at line 1076 of file SDPatternMatch.h.

References llvm::ISD::ABS.

Referenced by combineBasicSADPattern().

◆ m_Add()

template<typename LHS, typename RHS>

BinaryOpc_match< LHS, RHS, true > llvm::SDPatternMatch::m_Add	(	const LHS &	L,
		const RHS &	R )

inline

Definition at line 805 of file SDPatternMatch.h.

References llvm::ISD::ADD, LHS, and RHS.

Referenced by m_AddLike().

◆ m_AddLike()

template<typename LHS, typename RHS>

auto llvm::SDPatternMatch::m_AddLike	(	const LHS &	L,
		const RHS &	R )

inline

Definition at line 836 of file SDPatternMatch.h.

References LHS, m_Add(), m_AnyOf(), m_DisjointOr(), and RHS.

◆ m_AExtOrSelf()

template<typename Opnd>

Or< UnaryOpc_match< Opnd >, Opnd > llvm::SDPatternMatch::m_AExtOrSelf ( const Opnd & Op )

inline

Match a aext or identity Allows to peek through optional extensions.

Definition at line 1103 of file SDPatternMatch.h.

References m_AnyExt().

◆ m_AllOf()

template<typename... Preds>

And< Preds... > llvm::SDPatternMatch::m_AllOf ( const Preds &... preds )

Definition at line 214 of file SDPatternMatch.h.

Referenced by combineAdd(), combineAnd(), combineBasicSADPattern(), combineLogicBlendIntoConditionalNegate(), combineNarrowableShiftedLoad(), combineSCALAR_TO_VECTOR(), commuteSelect(), m_Negative(), m_Node(), m_NonNegative(), m_NonPositive(), m_NonZero(), m_StrictlyPositive(), and matchPMADDWD().

◆ m_AllOnes()

AllOnes_match llvm::SDPatternMatch::m_AllOnes ( bool AllowUndefs = false )

inline

Definition at line 1357 of file SDPatternMatch.h.

◆ m_And()

template<typename LHS, typename RHS>

BinaryOpc_match< LHS, RHS, true > llvm::SDPatternMatch::m_And	(	const LHS &	L,
		const RHS &	R )

inline

Definition at line 820 of file SDPatternMatch.h.

References llvm::ISD::AND, LHS, and RHS.

Referenced by m_BitwiseLogic().

◆ m_AnyExt()

template<typename Opnd>

UnaryOpc_match< Opnd > llvm::SDPatternMatch::m_AnyExt ( const Opnd & Op )

inline

Definition at line 1068 of file SDPatternMatch.h.

References llvm::ISD::ANY_EXTEND.

Referenced by combineSCALAR_TO_VECTOR(), m_AExtOrSelf(), and visitORCommutative().

◆ m_AnyOf()

template<typename... Preds>

Or< Preds... > llvm::SDPatternMatch::m_AnyOf ( const Preds &... preds )

Definition at line 218 of file SDPatternMatch.h.

Referenced by combineBasicSADPattern(), getShlAddShlAdd(), m_AddLike(), m_BitwiseLogic(), m_ExactSr(), m_MaxMinLike(), m_NoneOf(), m_SelectCCLike(), m_SelectLike(), m_SExtLike(), m_SExtOrSelf(), m_SMaxLike(), m_SMinLike(), m_UMaxLike(), m_UMinLike(), m_Undef(), m_ZExtOrSelf(), llvm::RISCVTargetLowering::PerformDAGCombine(), and llvm::TargetLowering::SimplifyDemandedBits().

◆ m_BinOp()

template<typename LHS, typename RHS>

BinaryOpc_match< LHS, RHS > llvm::SDPatternMatch::m_BinOp	(	unsigned	Opc,
		const LHS &	L,
		const RHS &	R,
		SDNodeFlags	Flgs = SDNodeFlags() )

inline

Definition at line 780 of file SDPatternMatch.h.

References LHS, Opc, and RHS.

◆ m_BitCast()

template<typename Opnd>

UnaryOpc_match< Opnd > llvm::SDPatternMatch::m_BitCast ( const Opnd & Op )

inline

Definition at line 1041 of file SDPatternMatch.h.

References llvm::ISD::BITCAST.

◆ m_BitReverse()

template<typename Opnd>

UnaryOpc_match< Opnd > llvm::SDPatternMatch::m_BitReverse ( const Opnd & Op )

inline

Definition at line 1051 of file SDPatternMatch.h.

References llvm::ISD::BITREVERSE.

◆ m_BitwiseLogic()

template<typename LHS, typename RHS>

auto llvm::SDPatternMatch::m_BitwiseLogic	(	const LHS &	L,
		const RHS &	R )

inline

Definition at line 846 of file SDPatternMatch.h.

References LHS, m_And(), m_AnyOf(), m_Or(), m_Xor(), and RHS.

◆ m_BSwap()

template<typename Opnd>

UnaryOpc_match< Opnd > llvm::SDPatternMatch::m_BSwap ( const Opnd & Op )

inline

Definition at line 1046 of file SDPatternMatch.h.

References llvm::ISD::BSWAP.

◆ m_c_BinOp()

template<typename LHS, typename RHS>

BinaryOpc_match< LHS, RHS, true > llvm::SDPatternMatch::m_c_BinOp	(	unsigned	Opc,
		const LHS &	L,
		const RHS &	R,
		SDNodeFlags	Flgs = SDNodeFlags() )

inline

Definition at line 787 of file SDPatternMatch.h.

References LHS, Opc, and RHS.

◆ m_c_ChainedBinOp()

template<typename LHS, typename RHS>

BinaryOpc_match< LHS, RHS, true, true > llvm::SDPatternMatch::m_c_ChainedBinOp	(	unsigned	Opc,
		const LHS &	L,
		const RHS &	R )

inline

Definition at line 799 of file SDPatternMatch.h.

References LHS, Opc, and RHS.

◆ m_c_SetCC()

template<typename T0_P, typename T1_P, typename T2_P>

TernaryOpc_match< T0_P, T1_P, T2_P, true, false > llvm::SDPatternMatch::m_c_SetCC	(	const T0_P &	LHS,
		const T1_P &	RHS,
		const T2_P &	CC )

inline

Definition at line 561 of file SDPatternMatch.h.

References LHS, RHS, and llvm::ISD::SETCC.

Referenced by isTruncateOf(), performAnyAllCombine(), and performBitcastCombine().

◆ m_c_TernaryOp()

template<typename T0_P, typename T1_P, typename T2_P>

TernaryOpc_match< T0_P, T1_P, T2_P, true > llvm::SDPatternMatch::m_c_TernaryOp	(	unsigned	Opc,
		const T0_P &	Op0,
		const T1_P &	Op1,
		const T2_P &	Op2 )

inline

Definition at line 611 of file SDPatternMatch.h.

References Opc.

◆ m_ChainedBinOp()

template<typename LHS, typename RHS>

BinaryOpc_match< LHS, RHS, false, true > llvm::SDPatternMatch::m_ChainedBinOp	(	unsigned	Opc,
		const LHS &	L,
		const RHS &	R )

inline

Definition at line 794 of file SDPatternMatch.h.

References LHS, Opc, and RHS.

◆ m_ChainedUnaryOp()

template<typename Opnd>

UnaryOpc_match< Opnd, true > llvm::SDPatternMatch::m_ChainedUnaryOp	(	unsigned	Opc,
		const Opnd &	Op )

inline

Definition at line 1036 of file SDPatternMatch.h.

References Opc.

◆ m_Clmul()

template<typename LHS, typename RHS>

BinaryOpc_match< LHS, RHS, true > llvm::SDPatternMatch::m_Clmul	(	const LHS &	L,
		const RHS &	R )

inline

Definition at line 956 of file SDPatternMatch.h.

References llvm::ISD::CLMUL, LHS, and RHS.

◆ m_CondCode() [1/2]

CondCode_match llvm::SDPatternMatch::m_CondCode ( )

inline

Match any conditional code SDNode.

Definition at line 1424 of file SDPatternMatch.h.

Referenced by commuteSelect(), foldVSelectToSignBitSplatMask(), performAnyAllCombine(), and performBitcastCombine().

◆ m_CondCode() [2/2]

CondCode_match llvm::SDPatternMatch::m_CondCode ( ISD::CondCode & CC )

inline

Match any conditional code SDNode and return its ISD::CondCode value.

Definition at line 1426 of file SDPatternMatch.h.

◆ m_ConstInt() [1/4]

ConstantInt_match llvm::SDPatternMatch::m_ConstInt ( )

inline

Match any integer constants or splat of an integer constant.

Definition at line 1197 of file SDPatternMatch.h.

Referenced by combineAdd(), combineNarrowableShiftedLoad(), combineOrAndToBitfieldInsert(), combineOrToBitfieldInsert(), combinePMULH(), combineShlAddIAddImpl(), combineXorToBitfieldInsert(), combineXorWithGF2P8AFFINEQB(), combineXorWithTwoGF2P8AFFINEQB(), detectUSatPattern(), foldSubCtlzNot(), getShlAddShlAdd(), m_False(), m_True(), llvm::SDPatternMatch::SpecificInt_match::match(), matchPMADDWD(), matchPMADDWD_2(), performMINMAXCombine(), and reverseZExtICmpCombine().

◆ m_ConstInt() [2/4]

ConstantInt_match llvm::SDPatternMatch::m_ConstInt ( APInt & V )

inline

Match any integer constants or splat of an integer constant; return the specific constant or constant splat value.

Definition at line 1200 of file SDPatternMatch.h.

◆ m_ConstInt() [3/4]

Constant64_match< int64_t > llvm::SDPatternMatch::m_ConstInt ( int64_t & V )

inline

Match any integer constants or splat of an integer constant that can fit in 64 bits; return the specific constant or constant splat value, sign-extended to 64 bits.

Definition at line 1210 of file SDPatternMatch.h.

◆ m_ConstInt() [4/4]

Constant64_match< uint64_t > llvm::SDPatternMatch::m_ConstInt ( uint64_t & V )

inline

Match any integer constants or splat of an integer constant that can fit in 64 bits; return the specific constant or constant splat value, zero-extended to 64 bits.

Definition at line 1204 of file SDPatternMatch.h.

◆ m_Context()

template<typename MatchContext, typename Pattern>

SwitchContext< MatchContext, Pattern > llvm::SDPatternMatch::m_Context	(	const MatchContext &	Ctx,
		Pattern &&	P )

inline

Definition at line 329 of file SDPatternMatch.h.

References P.

◆ m_Ctlz()

template<typename Opnd>

UnaryOpc_match< Opnd > llvm::SDPatternMatch::m_Ctlz ( const Opnd & Op )

inline

Definition at line 1130 of file SDPatternMatch.h.

References llvm::ISD::CTLZ.

Referenced by foldSubCtlzNot().

◆ m_Ctpop()

template<typename Opnd>

UnaryOpc_match< Opnd > llvm::SDPatternMatch::m_Ctpop ( const Opnd & Op )

inline

Definition at line 1126 of file SDPatternMatch.h.

References llvm::ISD::CTPOP.

◆ m_Cttz()

template<typename Opnd>

UnaryOpc_match< Opnd > llvm::SDPatternMatch::m_Cttz ( const Opnd & Op )

inline

Definition at line 1134 of file SDPatternMatch.h.

References llvm::ISD::CTTZ.

◆ m_Deferred()

DeferredValue_match llvm::SDPatternMatch::m_Deferred ( SDValue & V )

inline

Similar to m_Specific, but the specific value to match is determined by another sub-pattern in the same sd_match() expression.

For instance, We cannot match (add V, V) with m_Add(m_Value(X), m_Specific(X)) since X is not initialized at the time it got copied into m_Specific. Instead, we should use m_Add(m_Value(X), m_Deferred(X)).

Definition at line 146 of file SDPatternMatch.h.

◆ m_DisjointOr()

template<typename LHS, typename RHS>

BinaryOpc_match< LHS, RHS, true > llvm::SDPatternMatch::m_DisjointOr	(	const LHS &	L,
		const RHS &	R )

inline

Definition at line 830 of file SDPatternMatch.h.

References llvm::SDNodeFlags::Disjoint, LHS, llvm::ISD::OR, and RHS.

Referenced by m_AddLike().

◆ m_ExactSr()

template<typename LHS, typename RHS>

auto llvm::SDPatternMatch::m_ExactSr	(	const LHS &	L,
		const RHS &	R )

inline

Definition at line 940 of file SDPatternMatch.h.

References llvm::SDNodeFlags::Exact, LHS, m_AnyOf(), RHS, llvm::ISD::SRA, and llvm::ISD::SRL.

Referenced by expandMulToAddOrSubOfShl(), and getShlAddShlAdd().

◆ m_ExtractElt()

template<typename LHS, typename RHS>

BinaryOpc_match< LHS, RHS > llvm::SDPatternMatch::m_ExtractElt	(	const LHS &	Vec,
		const RHS &	Idx )

inline

Definition at line 997 of file SDPatternMatch.h.

References llvm::ISD::EXTRACT_VECTOR_ELT, LHS, and RHS.

◆ m_ExtractSubvector()

template<typename LHS, typename RHS>

BinaryOpc_match< LHS, RHS > llvm::SDPatternMatch::m_ExtractSubvector	(	const LHS &	Vec,
		const RHS &	Idx )

inline

Definition at line 1002 of file SDPatternMatch.h.

References llvm::ISD::EXTRACT_SUBVECTOR, LHS, and RHS.

◆ m_FAbs()

template<typename Opnd>

UnaryOpc_match< Opnd > llvm::SDPatternMatch::m_FAbs ( const Opnd & Op )

inline

Definition at line 1080 of file SDPatternMatch.h.

References llvm::ISD::FABS.

◆ m_FAdd()

template<typename LHS, typename RHS>

BinaryOpc_match< LHS, RHS, true > llvm::SDPatternMatch::m_FAdd	(	const LHS &	L,
		const RHS &	R )

inline

Definition at line 961 of file SDPatternMatch.h.

References llvm::ISD::FADD, LHS, and RHS.

◆ m_False()

auto llvm::SDPatternMatch::m_False ( )

inline

Match false boolean value based on the information provided by TargetLowering.

Definition at line 1383 of file SDPatternMatch.h.

References llvm::TargetLoweringBase::getBooleanContents(), llvm::APInt::isZero(), m_ConstInt(), m_Value(), N, sd_match(), llvm::TargetLoweringBase::UndefinedBooleanContent, llvm::TargetLoweringBase::ZeroOrNegativeOneBooleanContent, and llvm::TargetLoweringBase::ZeroOrOneBooleanContent.

◆ m_FDiv()

template<typename LHS, typename RHS>

BinaryOpc_match< LHS, RHS > llvm::SDPatternMatch::m_FDiv	(	const LHS &	L,
		const RHS &	R )

inline

Definition at line 976 of file SDPatternMatch.h.

References llvm::ISD::FDIV, LHS, and RHS.

◆ m_FixedVectorVT() [1/2]

auto llvm::SDPatternMatch::m_FixedVectorVT ( )

inline

Definition at line 436 of file SDPatternMatch.h.

References m_Value().

◆ m_FixedVectorVT() [2/2]

template<typename Pattern>

auto llvm::SDPatternMatch::m_FixedVectorVT ( const Pattern & P )

inline

Match fixed-length vector ValueTypes.

Definition at line 433 of file SDPatternMatch.h.

References P.

◆ m_FloatingPointVT() [1/2]

auto llvm::SDPatternMatch::m_FloatingPointVT ( )

inline

Definition at line 419 of file SDPatternMatch.h.

References m_Value().

◆ m_FloatingPointVT() [2/2]

template<typename Pattern>

auto llvm::SDPatternMatch::m_FloatingPointVT ( const Pattern & P )

inline

Match any floating point ValueTypes.

Definition at line 416 of file SDPatternMatch.h.

References P.

◆ m_FMul()

template<typename LHS, typename RHS>

BinaryOpc_match< LHS, RHS, true > llvm::SDPatternMatch::m_FMul	(	const LHS &	L,
		const RHS &	R )

inline

Definition at line 971 of file SDPatternMatch.h.

References llvm::ISD::FMUL, LHS, and RHS.

◆ m_FNeg()

template<typename Opnd>

UnaryOpc_match< Opnd > llvm::SDPatternMatch::m_FNeg ( const Opnd & Op )

inline

Definition at line 1138 of file SDPatternMatch.h.

References llvm::ISD::FNEG.

◆ m_FPToSI()

template<typename Opnd>

UnaryOpc_match< Opnd > llvm::SDPatternMatch::m_FPToSI ( const Opnd & Op )

inline

Definition at line 1122 of file SDPatternMatch.h.

References llvm::ISD::FP_TO_SINT.

◆ m_FPToUI()

template<typename Opnd>

UnaryOpc_match< Opnd > llvm::SDPatternMatch::m_FPToUI ( const Opnd & Op )

inline

Definition at line 1118 of file SDPatternMatch.h.

References llvm::ISD::FP_TO_UINT.

◆ m_FRem()

template<typename LHS, typename RHS>

BinaryOpc_match< LHS, RHS > llvm::SDPatternMatch::m_FRem	(	const LHS &	L,
		const RHS &	R )

inline

Definition at line 981 of file SDPatternMatch.h.

References llvm::ISD::FREM, LHS, and RHS.

◆ m_FSub()

template<typename LHS, typename RHS>

BinaryOpc_match< LHS, RHS > llvm::SDPatternMatch::m_FSub	(	const LHS &	L,
		const RHS &	R )

inline

Definition at line 966 of file SDPatternMatch.h.

References llvm::ISD::FSUB, LHS, and RHS.

◆ m_Glue()

auto llvm::SDPatternMatch::m_Glue ( )

inline

Definition at line 376 of file SDPatternMatch.h.

References m_SpecificVT().

◆ m_InsertElt()

template<typename T0_P, typename T1_P, typename T2_P>

TernaryOpc_match< T0_P, T1_P, T2_P > llvm::SDPatternMatch::m_InsertElt	(	const T0_P &	Vec,
		const T1_P &	Val,
		const T2_P &	Idx )

inline

Definition at line 592 of file SDPatternMatch.h.

References llvm::ISD::INSERT_VECTOR_ELT.

◆ m_InsertSubvector()

template<typename LHS, typename RHS, typename IDX>

TernaryOpc_match< LHS, RHS, IDX > llvm::SDPatternMatch::m_InsertSubvector	(	const LHS &	Base,
		const RHS &	Sub,
		const IDX &	Idx )

inline

Definition at line 599 of file SDPatternMatch.h.

References llvm::sampleprof::Base, llvm::ISD::INSERT_SUBVECTOR, LHS, RHS, and llvm::Sub.

Referenced by combineOr(), combineTargetShuffle(), and llvm::RISCVTargetLowering::PerformDAGCombine().

◆ m_IntegerVT() [1/2]

auto llvm::SDPatternMatch::m_IntegerVT ( )

inline

Definition at line 411 of file SDPatternMatch.h.

References m_Value().

◆ m_IntegerVT() [2/2]

template<typename Pattern>

auto llvm::SDPatternMatch::m_IntegerVT ( const Pattern & P )

inline

Match any integer ValueTypes.

Definition at line 408 of file SDPatternMatch.h.

References P.

◆ m_IntrinsicWOChain()

template<unsigned IntrinsicId, typename... OpndPreds>

auto llvm::SDPatternMatch::m_IntrinsicWOChain ( const OpndPreds &... Opnds )

inline

Definition at line 1447 of file SDPatternMatch.h.

References llvm::ISD::INTRINSIC_WO_CHAIN, m_Node(), and m_SpecificInt().

◆ m_LegalOp()

template<typename Pattern>

auto llvm::SDPatternMatch::m_LegalOp ( const Pattern & P )

inline

Match legal SDNodes based on the information provided by TargetLowering.

Definition at line 309 of file SDPatternMatch.h.

References llvm::TargetLoweringBase::isOperationLegal(), N, and P.

◆ m_LegalType()

template<typename Pattern>

auto llvm::SDPatternMatch::m_LegalType ( const Pattern & P )

inline

Match legal ValueTypes based on the information provided by TargetLowering.

Definition at line 451 of file SDPatternMatch.h.

References llvm::TargetLoweringBase::isTypeLegal(), N, and P.

◆ m_Load()

template<typename T0_P, typename T1_P, typename T2_P>

Result_match< 0, TernaryOpc_match< T0_P, T1_P, T2_P > > llvm::SDPatternMatch::m_Load	(	const T0_P &	Ch,
		const T1_P &	Ptr,
		const T2_P &	Offset )

inline

Definition at line 585 of file SDPatternMatch.h.

References llvm::ISD::LOAD, m_Result(), and llvm::Offset.

◆ m_MaxMinLike()

template<unsigned Opc, typename Pred, typename LHS, typename RHS>

auto llvm::SDPatternMatch::m_MaxMinLike	(	const LHS &	L,
		const RHS &	R )

inline

Definition at line 851 of file SDPatternMatch.h.

References LHS, m_AnyOf(), Opc, and RHS.

Referenced by m_SMaxLike(), m_SMinLike(), m_UMaxLike(), and m_UMinLike().

◆ m_Mul()

template<typename LHS, typename RHS>

BinaryOpc_match< LHS, RHS, true > llvm::SDPatternMatch::m_Mul	(	const LHS &	L,
		const RHS &	R )

inline

Definition at line 815 of file SDPatternMatch.h.

References LHS, llvm::ISD::MUL, and RHS.

◆ m_Neg()

template<typename ValTy>

BinaryOpc_match< Zero_match, ValTy, false > llvm::SDPatternMatch::m_Neg ( const ValTy & V )

inline

Match a negate as a sub(0, v)

Definition at line 1436 of file SDPatternMatch.h.

References m_Sub(), and llvm::PatternMatch::m_Zero().

Referenced by llvm::SDPatternMatch::SpecificNeg_match::match().

◆ m_Negative() [1/2]

Negative_match llvm::SDPatternMatch::m_Negative ( )

inline

Definition at line 1329 of file SDPatternMatch.h.

Referenced by m_Negative(), m_SMaxLike(), m_SMinLike(), m_UMaxLike(), and m_UMinLike().

◆ m_Negative() [2/2]

template<typename Pattern>

auto llvm::SDPatternMatch::m_Negative ( const Pattern & P )

inline

Definition at line 1330 of file SDPatternMatch.h.

References m_AllOf(), m_Negative(), and P.

◆ m_NNegZExt()

template<typename Opnd>

UnaryOpc_match< Opnd > llvm::SDPatternMatch::m_NNegZExt ( const Opnd & Op )

inline

Definition at line 1060 of file SDPatternMatch.h.

References llvm::SDNodeFlags::NonNeg, and llvm::ISD::ZERO_EXTEND.

Referenced by m_SExtLike().

◆ m_Node()

template<typename... OpndPreds>

auto llvm::SDPatternMatch::m_Node	(	unsigned	Opcode,
		const OpndPreds &...	preds )

Definition at line 488 of file SDPatternMatch.h.

References m_AllOf(), and m_Opc().

Referenced by combineAdd(), m_IntrinsicWOChain(), m_SelectCC(), and llvm::RISCVTargetLowering::PerformDAGCombine().

◆ m_NoneOf()

template<typename... Preds>

auto llvm::SDPatternMatch::m_NoneOf ( const Preds &... preds )

Definition at line 222 of file SDPatternMatch.h.

References m_AnyOf(), and m_Unless().

◆ m_NonNegative() [1/2]

NonNegative_match llvm::SDPatternMatch::m_NonNegative ( )

inline

Definition at line 1333 of file SDPatternMatch.h.

Referenced by m_NonNegative(), m_SMaxLike(), m_SMinLike(), m_UMaxLike(), and m_UMinLike().

◆ m_NonNegative() [2/2]

template<typename Pattern>

auto llvm::SDPatternMatch::m_NonNegative ( const Pattern & P )

inline

Definition at line 1334 of file SDPatternMatch.h.

References m_AllOf(), m_NonNegative(), and P.

◆ m_NonPositive() [1/2]

NonPositive_match llvm::SDPatternMatch::m_NonPositive ( )

inline

Definition at line 1343 of file SDPatternMatch.h.

Referenced by m_NonPositive().

◆ m_NonPositive() [2/2]

template<typename Pattern>

auto llvm::SDPatternMatch::m_NonPositive ( const Pattern & P )

inline

Definition at line 1344 of file SDPatternMatch.h.

References m_AllOf(), m_NonPositive(), and P.

◆ m_NonZero() [1/2]

NonZero_match llvm::SDPatternMatch::m_NonZero ( )

inline

Definition at line 1347 of file SDPatternMatch.h.

Referenced by m_NonZero().

◆ m_NonZero() [2/2]

template<typename Pattern>

auto llvm::SDPatternMatch::m_NonZero ( const Pattern & P )

inline

Definition at line 1348 of file SDPatternMatch.h.

References m_AllOf(), m_NonZero(), and P.

◆ m_Not()

template<typename ValTy>

BinaryOpc_match< ValTy, AllOnes_match, true > llvm::SDPatternMatch::m_Not ( const ValTy & V )

inline

Match a Not as a xor(v, -1) or xor(-1, v)

Definition at line 1442 of file SDPatternMatch.h.

References llvm::PatternMatch::m_AllOnes(), and m_Xor().

◆ m_NUses() [1/2]

template<unsigned N>

NUses_match< N, Value_match > llvm::SDPatternMatch::m_NUses ( )

inline

Definition at line 260 of file SDPatternMatch.h.

References m_Value().

◆ m_NUses() [2/2]

template<unsigned N, typename Pattern>

NUses_match< N, Pattern > llvm::SDPatternMatch::m_NUses ( const Pattern & P )

inline

Definition at line 253 of file SDPatternMatch.h.

References P.

◆ m_One()

Ones_match llvm::SDPatternMatch::m_One ( bool AllowUndefs = false )

inline

Definition at line 1351 of file SDPatternMatch.h.

◆ m_OneUse() [1/2]

NUses_match< 1, Value_match > llvm::SDPatternMatch::m_OneUse ( )

inline

Definition at line 257 of file SDPatternMatch.h.

References m_Value().

Referenced by foldAndToUsubsat(), foldBitOrderCrossLogicOp(), foldMaskedMerge(), foldSelectWithIdentityConstant(), foldVSelectToSignBitSplatMask(), llvm::TargetLowering::SimplifyDemandedBits(), takeInexpensiveLog2(), tryToFoldExtendSelectLoad(), and visitORCommutative().

◆ m_OneUse() [2/2]

template<typename Pattern>

NUses_match< 1, Pattern > llvm::SDPatternMatch::m_OneUse ( const Pattern & P )

inline

Definition at line 249 of file SDPatternMatch.h.

References P.

◆ m_Opc()

Opcode_match llvm::SDPatternMatch::m_Opc ( unsigned Opcode )

inline

Definition at line 226 of file SDPatternMatch.h.

Referenced by combineNarrowableShiftedLoad(), m_Node(), llvm::SDPatternMatch::BinaryOpc_match< LHS_P, RHS_P, Commutable, ExcludeChain >::match(), llvm::SDPatternMatch::MaxMin_match< LHS_P, RHS_P, Pred_t, Commutable, ExcludeChain >::match(), llvm::SDPatternMatch::TernaryOpc_match< T0_P, T1_P, T2_P, Commutable, ExcludeChain >::match(), llvm::SDPatternMatch::UnaryOpc_match< Opnd_P, ExcludeChain >::match(), and matchPMADDWD().

◆ m_Or()

template<typename LHS, typename RHS>

BinaryOpc_match< LHS, RHS, true > llvm::SDPatternMatch::m_Or	(	const LHS &	L,
		const RHS &	R )

inline

Definition at line 825 of file SDPatternMatch.h.

References LHS, llvm::ISD::OR, and RHS.

Referenced by m_BitwiseLogic().

◆ m_OtherVT()

auto llvm::SDPatternMatch::m_OtherVT ( )

inline

Definition at line 377 of file SDPatternMatch.h.

References m_SpecificVT().

◆ m_Poison()

Opcode_match llvm::SDPatternMatch::m_Poison ( )

inline

Definition at line 232 of file SDPatternMatch.h.

References llvm::ISD::POISON.

◆ m_ReassociatableAdd()

template<typename... PatternTs>

ReassociatableOpc_match< PatternTs... > llvm::SDPatternMatch::m_ReassociatableAdd ( const PatternTs &... Patterns )

inline

Definition at line 1545 of file SDPatternMatch.h.

References llvm::ISD::ADD.

◆ m_ReassociatableAnd()

template<typename... PatternTs>

ReassociatableOpc_match< PatternTs... > llvm::SDPatternMatch::m_ReassociatableAnd ( const PatternTs &... Patterns )

inline

Definition at line 1557 of file SDPatternMatch.h.

References llvm::ISD::AND.

◆ m_ReassociatableMul()

template<typename... PatternTs>

ReassociatableOpc_match< PatternTs... > llvm::SDPatternMatch::m_ReassociatableMul ( const PatternTs &... Patterns )

inline

Definition at line 1563 of file SDPatternMatch.h.

References llvm::ISD::MUL.

◆ m_ReassociatableNSWAdd()

template<typename... PatternTs>

ReassociatableOpc_match< PatternTs... > llvm::SDPatternMatch::m_ReassociatableNSWAdd ( const PatternTs &... Patterns )

inline

Definition at line 1569 of file SDPatternMatch.h.

References llvm::ISD::ADD, and llvm::SDNodeFlags::NoSignedWrap.

◆ m_ReassociatableNUWAdd()

template<typename... PatternTs>

ReassociatableOpc_match< PatternTs... > llvm::SDPatternMatch::m_ReassociatableNUWAdd ( const PatternTs &... Patterns )

inline

Definition at line 1576 of file SDPatternMatch.h.

References llvm::ISD::ADD, and llvm::SDNodeFlags::NoUnsignedWrap.

◆ m_ReassociatableOr()

template<typename... PatternTs>

ReassociatableOpc_match< PatternTs... > llvm::SDPatternMatch::m_ReassociatableOr ( const PatternTs &... Patterns )

inline

Definition at line 1551 of file SDPatternMatch.h.

References llvm::ISD::OR.

◆ m_Result()

template<unsigned ResNo, typename Pattern>

Result_match< ResNo, Pattern > llvm::SDPatternMatch::m_Result ( const Pattern & P )

inline

Match only if the SDValue is a certain result at ResNo.

Definition at line 127 of file SDPatternMatch.h.

References P.

Referenced by m_Load().

◆ m_Rotl()

template<typename LHS, typename RHS>

BinaryOpc_match< LHS, RHS > llvm::SDPatternMatch::m_Rotl	(	const LHS &	L,
		const RHS &	R )

inline

Definition at line 946 of file SDPatternMatch.h.

References LHS, RHS, and llvm::ISD::ROTL.

◆ m_Rotr()

template<typename LHS, typename RHS>

BinaryOpc_match< LHS, RHS > llvm::SDPatternMatch::m_Rotr	(	const LHS &	L,
		const RHS &	R )

inline

Definition at line 951 of file SDPatternMatch.h.

References LHS, RHS, and llvm::ISD::ROTR.

◆ m_ScalableVectorVT() [1/2]

auto llvm::SDPatternMatch::m_ScalableVectorVT ( )

inline

Definition at line 445 of file SDPatternMatch.h.

References m_Value().

◆ m_ScalableVectorVT() [2/2]

template<typename Pattern>

auto llvm::SDPatternMatch::m_ScalableVectorVT ( const Pattern & P )

inline

Match scalable vector ValueTypes.

Definition at line 442 of file SDPatternMatch.h.

References P.

◆ m_SDiv()

template<typename LHS, typename RHS>

BinaryOpc_match< LHS, RHS > llvm::SDPatternMatch::m_SDiv	(	const LHS &	L,
		const RHS &	R )

inline

Definition at line 913 of file SDPatternMatch.h.

References LHS, RHS, and llvm::ISD::SDIV.

◆ m_Select()

template<typename T0_P, typename T1_P, typename T2_P>

TernaryOpc_match< T0_P, T1_P, T2_P > llvm::SDPatternMatch::m_Select	(	const T0_P &	Cond,
		const T1_P &	T,
		const T2_P &	F )

inline

Definition at line 568 of file SDPatternMatch.h.

References Cond, F, llvm::ISD::SELECT, and T.

Referenced by m_SelectCCLike(), and m_SelectLike().

◆ m_SelectCC()

template<typename LTy, typename RTy, typename TTy, typename FTy, typename CCTy>

auto llvm::SDPatternMatch::m_SelectCC	(	const LTy &	L,
		const RTy &	R,
		const TTy &	T,
		const FTy &	F,
		const CCTy &	CC )

inline

Definition at line 616 of file SDPatternMatch.h.

References F, m_Node(), llvm::ISD::SELECT_CC, and T.

Referenced by m_SelectCCLike().

◆ m_SelectCCLike()

template<typename LTy, typename RTy, typename TTy, typename FTy, typename CCTy>

auto llvm::SDPatternMatch::m_SelectCCLike	(	const LTy &	L,
		const RTy &	R,
		const TTy &	T,
		const FTy &	F,
		const CCTy &	CC )

inline

Definition at line 622 of file SDPatternMatch.h.

References F, m_AnyOf(), m_Select(), m_SelectCC(), m_SetCC(), and T.

◆ m_SelectLike()

template<typename T0_P, typename T1_P, typename T2_P>

auto llvm::SDPatternMatch::m_SelectLike	(	const T0_P &	Cond,
		const T1_P &	T,
		const T2_P &	F )

inline

Definition at line 579 of file SDPatternMatch.h.

References Cond, F, m_AnyOf(), m_Select(), m_VSelect(), and T.

Referenced by foldSelectWithIdentityConstant(), takeInexpensiveLog2(), and tryToFoldExtendSelectLoad().

◆ m_SetCC()

template<typename T0_P, typename T1_P, typename T2_P>

TernaryOpc_match< T0_P, T1_P, T2_P > llvm::SDPatternMatch::m_SetCC	(	const T0_P &	LHS,
		const T1_P &	RHS,
		const T2_P &	CC )

inline

Definition at line 555 of file SDPatternMatch.h.

References LHS, RHS, and llvm::ISD::SETCC.

Referenced by combineAnd(), combineSelect(), combineShiftLeft(), combineShiftRightLogical(), commuteSelect(), foldAddSubBoolOfMaskedVal(), foldVSelectToSignBitSplatMask(), and m_SelectCCLike().

◆ m_SExt()

template<typename Opnd>

auto llvm::SDPatternMatch::m_SExt ( const Opnd & Op )

inline

Definition at line 1064 of file SDPatternMatch.h.

References llvm::ISD::SIGN_EXTEND.

Referenced by m_SExtLike(), and m_SExtOrSelf().

◆ m_SExtLike()

template<typename Opnd>

auto llvm::SDPatternMatch::m_SExtLike ( const Opnd & Op )

inline

Definition at line 1096 of file SDPatternMatch.h.

References m_AnyOf(), m_NNegZExt(), and m_SExt().

◆ m_SExtOrSelf()

template<typename Opnd>

auto llvm::SDPatternMatch::m_SExtOrSelf ( const Opnd & Op )

inline

Match a sext or identity Allows to peek through optional extensions.

Definition at line 1092 of file SDPatternMatch.h.

References m_AnyOf(), and m_SExt().

◆ m_Shl()

template<typename LHS, typename RHS>

BinaryOpc_match< LHS, RHS > llvm::SDPatternMatch::m_Shl	(	const LHS &	L,
		const RHS &	R )

inline

Definition at line 927 of file SDPatternMatch.h.

References LHS, RHS, and llvm::ISD::SHL.

◆ m_Shuffle() [1/2]

template<typename V1_t, typename V2_t>

BinaryOpc_match< V1_t, V2_t > llvm::SDPatternMatch::m_Shuffle	(	const V1_t &	v1,
		const V2_t &	v2 )

inline

Definition at line 986 of file SDPatternMatch.h.

References llvm::ISD::VECTOR_SHUFFLE.

◆ m_Shuffle() [2/2]

template<typename V1_t, typename V2_t, typename Mask_t>

SDShuffle_match< V1_t, V2_t, Mask_t > llvm::SDPatternMatch::m_Shuffle	(	const V1_t &	v1,
		const V2_t &	v2,
		const Mask_t &	mask )

inline

Definition at line 992 of file SDPatternMatch.h.

References mask().

◆ m_SMax()

template<typename LHS, typename RHS>

BinaryOpc_match< LHS, RHS, true > llvm::SDPatternMatch::m_SMax	(	const LHS &	L,
		const RHS &	R )

inline

Definition at line 870 of file SDPatternMatch.h.

References LHS, RHS, and llvm::ISD::SMAX.

◆ m_SMaxLike()

template<typename LHS, typename RHS>

auto llvm::SDPatternMatch::m_SMaxLike	(	const LHS &	L,
		const RHS &	R )

inline

Definition at line 875 of file SDPatternMatch.h.

References LHS, m_AnyOf(), m_MaxMinLike(), m_Negative(), m_NonNegative(), and RHS.

◆ m_SMin()

template<typename LHS, typename RHS>

BinaryOpc_match< LHS, RHS, true > llvm::SDPatternMatch::m_SMin	(	const LHS &	L,
		const RHS &	R )

inline

Definition at line 857 of file SDPatternMatch.h.

References LHS, RHS, and llvm::ISD::SMIN.

◆ m_SMinLike()

template<typename LHS, typename RHS>

auto llvm::SDPatternMatch::m_SMinLike	(	const LHS &	L,
		const RHS &	R )

inline

Definition at line 862 of file SDPatternMatch.h.

References LHS, m_AnyOf(), m_MaxMinLike(), m_Negative(), m_NonNegative(), and RHS.

◆ m_Specific()

Value_match llvm::SDPatternMatch::m_Specific ( SDValue N )

inline

Definition at line 109 of file SDPatternMatch.h.

References assert(), and N.

Referenced by llvm::SDPatternMatch::SpecificNeg_match::match().

◆ m_SpecificCondCode()

CondCode_match llvm::SDPatternMatch::m_SpecificCondCode ( ISD::CondCode CC )

inline

Match a conditional code SDNode with a specific ISD::CondCode.

Definition at line 1430 of file SDPatternMatch.h.

Referenced by combineSelect(), combineShiftLeft(), combineShiftRightLogical(), foldAddSubBoolOfMaskedVal(), isTruncateOf(), and performAnyAllCombine().

◆ m_SpecificFP() [1/2]

SpecificFP_match llvm::SDPatternMatch::m_SpecificFP ( APFloat V )

inline

Match a specific float constant.

Definition at line 1252 of file SDPatternMatch.h.

◆ m_SpecificFP() [2/2]

SpecificFP_match llvm::SDPatternMatch::m_SpecificFP ( double V )

inline

Definition at line 1254 of file SDPatternMatch.h.

◆ m_SpecificInt() [1/2]

SpecificInt_match llvm::SDPatternMatch::m_SpecificInt ( APInt V )

inline

Match a specific integer constant or constant splat value.

Definition at line 1229 of file SDPatternMatch.h.

Referenced by m_IntrinsicWOChain().

◆ m_SpecificInt() [2/2]

SpecificInt_match llvm::SDPatternMatch::m_SpecificInt ( uint64_t V )

inline

Definition at line 1232 of file SDPatternMatch.h.

◆ m_SpecificNeg()

SpecificNeg_match llvm::SDPatternMatch::m_SpecificNeg ( SDValue V )

inline

Match a negation of a specific value V, either as sub(0, V) or as constant(s) that are the negation of V's constant(s).

Definition at line 1470 of file SDPatternMatch.h.

◆ m_SpecificScalarVT() [1/2]

auto llvm::SDPatternMatch::m_SpecificScalarVT ( EVT RefVT )

inline

Definition at line 385 of file SDPatternMatch.h.

References m_Value().

◆ m_SpecificScalarVT() [2/2]

template<typename Pattern>

auto llvm::SDPatternMatch::m_SpecificScalarVT	(	EVT	RefVT,
		const Pattern &	P )

inline

Match a scalar ValueType.

Definition at line 381 of file SDPatternMatch.h.

References P.

◆ m_SpecificVectorElementVT() [1/2]

auto llvm::SDPatternMatch::m_SpecificVectorElementVT ( EVT RefVT )

inline

Definition at line 399 of file SDPatternMatch.h.

References m_Value().

◆ m_SpecificVectorElementVT() [2/2]

template<typename Pattern>

auto llvm::SDPatternMatch::m_SpecificVectorElementVT	(	EVT	RefVT,
		const Pattern &	P )

inline

Match a vector ValueType.

Definition at line 392 of file SDPatternMatch.h.

References P.

Referenced by combineBasicSADPattern().

◆ m_SpecificVT() [1/2]

auto llvm::SDPatternMatch::m_SpecificVT ( EVT RefVT )

inline

Definition at line 372 of file SDPatternMatch.h.

References m_Value().

◆ m_SpecificVT() [2/2]

template<typename Pattern>

auto llvm::SDPatternMatch::m_SpecificVT	(	EVT	RefVT,
		const Pattern &	P )

inline

Match a specific ValueType.

Definition at line 369 of file SDPatternMatch.h.

References P.

Referenced by combineAdd(), combineAnd(), combineCastedMaskArithmetic(), combineOr(), combineOrAndToBitfieldInsert(), combineSCALAR_TO_VECTOR(), m_Glue(), m_OtherVT(), and performMINMAXCombine().

◆ m_Sra()

template<typename LHS, typename RHS>

BinaryOpc_match< LHS, RHS > llvm::SDPatternMatch::m_Sra	(	const LHS &	L,
		const RHS &	R )

inline

Definition at line 932 of file SDPatternMatch.h.

References LHS, RHS, and llvm::ISD::SRA.

Referenced by foldAndToUsubsat().

◆ m_SRem()

template<typename LHS, typename RHS>

BinaryOpc_match< LHS, RHS > llvm::SDPatternMatch::m_SRem	(	const LHS &	L,
		const RHS &	R )

inline

Definition at line 922 of file SDPatternMatch.h.

References LHS, RHS, and llvm::ISD::SREM.

◆ m_Srl()

template<typename LHS, typename RHS>

BinaryOpc_match< LHS, RHS > llvm::SDPatternMatch::m_Srl	(	const LHS &	L,
		const RHS &	R )

inline

Definition at line 936 of file SDPatternMatch.h.

References LHS, RHS, and llvm::ISD::SRL.

Referenced by combineAdd(), combinePMULH(), and reverseZExtICmpCombine().

◆ m_StrictlyPositive() [1/2]

StrictlyPositive_match llvm::SDPatternMatch::m_StrictlyPositive ( )

inline

Definition at line 1337 of file SDPatternMatch.h.

Referenced by m_StrictlyPositive().

◆ m_StrictlyPositive() [2/2]

template<typename Pattern>

auto llvm::SDPatternMatch::m_StrictlyPositive ( const Pattern & P )

inline

Definition at line 1340 of file SDPatternMatch.h.

References m_AllOf(), m_StrictlyPositive(), and P.

◆ m_Sub()

template<typename LHS, typename RHS>

BinaryOpc_match< LHS, RHS > llvm::SDPatternMatch::m_Sub	(	const LHS &	L,
		const RHS &	R )

inline

Definition at line 810 of file SDPatternMatch.h.

References LHS, RHS, and llvm::ISD::SUB.

Referenced by m_Neg().

◆ m_TernaryOp()

template<typename T0_P, typename T1_P, typename T2_P>

TernaryOpc_match< T0_P, T1_P, T2_P > llvm::SDPatternMatch::m_TernaryOp	(	unsigned	Opc,
		const T0_P &	Op0,
		const T1_P &	Op1,
		const T2_P &	Op2 )

inline

Definition at line 605 of file SDPatternMatch.h.

References Opc.

Referenced by combineXorWithGF2P8AFFINEQB(), and combineXorWithTwoGF2P8AFFINEQB().

◆ m_True()

auto llvm::SDPatternMatch::m_True ( )

inline

Match true boolean value based on the information provided by TargetLowering.

Definition at line 1363 of file SDPatternMatch.h.

References llvm::TargetLoweringBase::getBooleanContents(), llvm::APInt::isAllOnes(), llvm::APInt::isOne(), m_ConstInt(), m_Value(), N, sd_match(), llvm::TargetLoweringBase::UndefinedBooleanContent, llvm::TargetLoweringBase::ZeroOrNegativeOneBooleanContent, and llvm::TargetLoweringBase::ZeroOrOneBooleanContent.

◆ m_Trunc()

template<typename Opnd>

UnaryOpc_match< Opnd > llvm::SDPatternMatch::m_Trunc ( const Opnd & Op )

inline

Definition at line 1072 of file SDPatternMatch.h.

References llvm::ISD::TRUNCATE.

Referenced by m_TruncOrSelf().

◆ m_TruncOrSelf()

template<typename Opnd>

Or< UnaryOpc_match< Opnd >, Opnd > llvm::SDPatternMatch::m_TruncOrSelf ( const Opnd & Op )

inline

Match a trunc or identity Allows to peek through optional truncations.

Definition at line 1110 of file SDPatternMatch.h.

References m_Trunc().

◆ m_UDiv()

template<typename LHS, typename RHS>

BinaryOpc_match< LHS, RHS > llvm::SDPatternMatch::m_UDiv	(	const LHS &	L,
		const RHS &	R )

inline

Definition at line 909 of file SDPatternMatch.h.

References LHS, RHS, and llvm::ISD::UDIV.

◆ m_UMax()

template<typename LHS, typename RHS>

BinaryOpc_match< LHS, RHS, true > llvm::SDPatternMatch::m_UMax	(	const LHS &	L,
		const RHS &	R )

inline

Definition at line 896 of file SDPatternMatch.h.

References LHS, RHS, and llvm::ISD::UMAX.

◆ m_UMaxLike()

template<typename LHS, typename RHS>

auto llvm::SDPatternMatch::m_UMaxLike	(	const LHS &	L,
		const RHS &	R )

inline

Definition at line 901 of file SDPatternMatch.h.

References LHS, m_AnyOf(), m_MaxMinLike(), m_Negative(), m_NonNegative(), and RHS.

◆ m_UMin()

template<typename LHS, typename RHS>

BinaryOpc_match< LHS, RHS, true > llvm::SDPatternMatch::m_UMin	(	const LHS &	L,
		const RHS &	R )

inline

Definition at line 883 of file SDPatternMatch.h.

References LHS, RHS, and llvm::ISD::UMIN.

◆ m_UMinLike()

template<typename LHS, typename RHS>

auto llvm::SDPatternMatch::m_UMinLike	(	const LHS &	L,
		const RHS &	R )

inline

Definition at line 888 of file SDPatternMatch.h.

References LHS, m_AnyOf(), m_MaxMinLike(), m_Negative(), m_NonNegative(), and RHS.

◆ m_UnaryOp()

template<typename Opnd>

UnaryOpc_match< Opnd > llvm::SDPatternMatch::m_UnaryOp	(	unsigned	Opc,
		const Opnd &	Op )

inline

Definition at line 1032 of file SDPatternMatch.h.

References Opc.

Referenced by foldBitOrderCrossLogicOp().

◆ m_Undef()

auto llvm::SDPatternMatch::m_Undef ( )

inline

Definition at line 228 of file SDPatternMatch.h.

References m_AnyOf(), llvm::ISD::POISON, and llvm::ISD::UNDEF.

◆ m_Unless()

template<typename Pred>

Not< Pred > llvm::SDPatternMatch::m_Unless ( const Pred & P )

inline

Match if the inner pattern does NOT match.

Definition at line 210 of file SDPatternMatch.h.

References P.

Referenced by m_NoneOf().

◆ m_URem()

template<typename LHS, typename RHS>

BinaryOpc_match< LHS, RHS > llvm::SDPatternMatch::m_URem	(	const LHS &	L,
		const RHS &	R )

inline

Definition at line 918 of file SDPatternMatch.h.

References LHS, RHS, and llvm::ISD::UREM.

◆ m_Value() [1/3]

Value_match llvm::SDPatternMatch::m_Value ( )

inline

Match any valid SDValue.

Definition at line 107 of file SDPatternMatch.h.

Referenced by m_False(), m_FixedVectorVT(), m_FloatingPointVT(), m_IntegerVT(), m_NUses(), m_OneUse(), m_ScalableVectorVT(), m_SpecificScalarVT(), m_SpecificVectorElementVT(), m_SpecificVT(), m_True(), m_Value(), and m_VectorVT().

◆ m_Value() [2/3]

auto llvm::SDPatternMatch::m_Value ( SDValue & N )

inline

Definition at line 280 of file SDPatternMatch.h.

References m_Value(), and N.

◆ m_Value() [3/3]

template<typename PredPattern>

auto llvm::SDPatternMatch::m_Value	(	SDValue &	N,
		const PredPattern &	P )

inline

Conditionally bind an SDValue based on the predicate.

Definition at line 285 of file SDPatternMatch.h.

References N, and P.

◆ m_VectorVT() [1/2]

auto llvm::SDPatternMatch::m_VectorVT ( )

inline

Definition at line 428 of file SDPatternMatch.h.

References m_Value().

◆ m_VectorVT() [2/2]

template<typename Pattern>

auto llvm::SDPatternMatch::m_VectorVT ( const Pattern & P )

inline

Match any vector ValueTypes.

Definition at line 425 of file SDPatternMatch.h.

References P.

◆ m_VScale()

template<typename Opnd>

UnaryOpc_match< Opnd > llvm::SDPatternMatch::m_VScale ( const Opnd & Op )

inline

Definition at line 1114 of file SDPatternMatch.h.

References llvm::ISD::VSCALE.

◆ m_VSelect()

template<typename T0_P, typename T1_P, typename T2_P>

TernaryOpc_match< T0_P, T1_P, T2_P > llvm::SDPatternMatch::m_VSelect	(	const T0_P &	Cond,
		const T1_P &	T,
		const T2_P &	F )

inline

Definition at line 574 of file SDPatternMatch.h.

References Cond, F, T, and llvm::ISD::VSELECT.

Referenced by commuteSelect(), foldToMaskedStore(), and m_SelectLike().

◆ m_VT()

ValueType_bind llvm::SDPatternMatch::m_VT ( EVT & VT )

inline

Retreive the ValueType of the current SDValue.

Definition at line 347 of file SDPatternMatch.h.

◆ m_Xor()

template<typename LHS, typename RHS>

BinaryOpc_match< LHS, RHS, true > llvm::SDPatternMatch::m_Xor	(	const LHS &	L,
		const RHS &	R )

inline

Definition at line 841 of file SDPatternMatch.h.

References LHS, RHS, and llvm::ISD::XOR.

Referenced by m_BitwiseLogic(), and m_Not().

◆ m_Zero()

Zero_match llvm::SDPatternMatch::m_Zero ( bool AllowUndefs = false )

inline

Definition at line 1354 of file SDPatternMatch.h.

◆ m_ZExt()

template<typename Opnd>

UnaryOpc_match< Opnd > llvm::SDPatternMatch::m_ZExt ( const Opnd & Op )

inline

Definition at line 1055 of file SDPatternMatch.h.

References llvm::ISD::ZERO_EXTEND.

Referenced by m_ZExtOrSelf().

◆ m_ZExtOrSelf()

template<typename Opnd>

auto llvm::SDPatternMatch::m_ZExtOrSelf ( const Opnd & Op )

inline

Match a zext or identity Allows to peek through optional extensions.

Definition at line 1086 of file SDPatternMatch.h.

References m_AnyOf(), and m_ZExt().

◆ Not()

template<typename Pred>

llvm::SDPatternMatch::Not ( const Pred & P ) -> Not< Pred >

References P.

◆ sd_context_match() [1/2]

template<typename Pattern, typename MatchContext>

bool llvm::SDPatternMatch::sd_context_match	(	SDNode *	N,
		const MatchContext &	Ctx,
		Pattern &&	P )

nodiscard

Definition at line 66 of file SDPatternMatch.h.

References N, P, sd_context_match(), and SDValue().

◆ sd_context_match() [2/2]

template<typename Pattern, typename MatchContext>

bool llvm::SDPatternMatch::sd_context_match	(	SDValue	N,
		const MatchContext &	Ctx,
		Pattern &&	P )

nodiscard

Definition at line 60 of file SDPatternMatch.h.

References N, and P.

Referenced by foldSubCtlzNot(), llvm::SDPatternMatch::BinaryOpc_match< LHS_P, RHS_P, Commutable, ExcludeChain >::match(), llvm::SDPatternMatch::MaxMin_match< LHS_P, RHS_P, Pred_t, Commutable, ExcludeChain >::match(), llvm::SDPatternMatch::SpecificInt_match::match(), llvm::SDPatternMatch::SpecificNeg_match::match(), llvm::SDPatternMatch::TernaryOpc_match< T0_P, T1_P, T2_P, Commutable, ExcludeChain >::match(), llvm::SDPatternMatch::UnaryOpc_match< Opnd_P, ExcludeChain >::match(), llvm::SDPatternMatch::ReassociatableOpc_match< PatternTs >::reassociatableMatchHelper(), sd_context_match(), sd_match(), and sd_match().

◆ sd_match() [1/4]

template<typename Pattern>

bool llvm::SDPatternMatch::sd_match	(	SDNode *	N,
		const SelectionDAG *	DAG,
		Pattern &&	P )

nodiscard

Definition at line 72 of file SDPatternMatch.h.

References N, P, and sd_context_match().

Referenced by combineAdd(), combineAnd(), combineAndNotOrIntoAndNotAnd(), combineAndXorSubWithBMI(), combineBasicSADPattern(), combineCastedMaskArithmetic(), combineLogicBlendIntoConditionalNegate(), combineNarrowableShiftedLoad(), combineOr(), combineOrAndToBitfieldInsert(), combineOrToBitfieldInsert(), combinePMULH(), combineSCALAR_TO_VECTOR(), combineSelect(), combineSetCC(), combineShiftLeft(), combineShiftRightArithmetic(), combineShiftRightLogical(), combineShiftToPMULH(), combineShlAddIAddImpl(), combineTargetShuffle(), combineXorToBitfieldInsert(), combineXorWithGF2P8AFFINEQB(), combineXorWithTwoGF2P8AFFINEQB(), commuteSelect(), detectPMADDUBSW(), detectSSatPattern(), detectSSatSPattern(), detectSSatUPattern(), detectUSatPattern(), detectUSatUPattern(), expandMulToAddOrSubOfShl(), foldAddSubBoolOfMaskedVal(), foldAndToUsubsat(), foldBitOrderCrossLogicOp(), foldMaskedMerge(), foldReduceOperandViaVDOTA4(), foldSelectWithIdentityConstant(), foldToMaskedStore(), foldVSelectToSignBitSplatMask(), getShlAddShlAdd(), llvm::SelectionDAG::isKnownToBeAPowerOfTwo(), isTruncateOf(), m_False(), m_True(), matchLogicBlend(), matchPMADDWD(), matchPMADDWD_2(), matchVPMADD52(), narrowBitOpRMW(), performAddTruncShiftCombine(), performANDORDUPNOTCombine(), performAnyAllCombine(), performBitcastCombine(), performCTPOPCombine(), llvm::RISCVTargetLowering::PerformDAGCombine(), performLastTrueTestVectorCombine(), performMINMAXCombine(), reverseZExtICmpCombine(), sd_match(), sd_match(), llvm::X86TargetLowering::shouldFoldSelectWithIdentityConstant(), llvm::TargetLowering::SimplifyDemandedBits(), takeInexpensiveLog2(), tryToFoldExtendSelectLoad(), and visitORCommutative().

◆ sd_match() [2/4]

template<typename Pattern>

bool llvm::SDPatternMatch::sd_match	(	SDNode *	N,
		Pattern &&	P )

nodiscard

Definition at line 82 of file SDPatternMatch.h.

References N, P, and sd_match().

◆ sd_match() [3/4]

template<typename Pattern>

bool llvm::SDPatternMatch::sd_match	(	SDValue	N,
		const SelectionDAG *	DAG,
		Pattern &&	P )

nodiscard

Definition at line 77 of file SDPatternMatch.h.

References N, P, and sd_context_match().

◆ sd_match() [4/4]

template<typename Pattern>

bool llvm::SDPatternMatch::sd_match	(	SDValue	N,
		Pattern &&	P )

nodiscard

Definition at line 87 of file SDPatternMatch.h.

References N, P, and sd_match().

◆ TLI_pred_match()

template<typename PredFuncT, typename Pattern>

llvm::SDPatternMatch::TLI_pred_match	(	const PredFuncT &	Pred,
		const Pattern &	P ) -> TLI_pred_match< Pattern, PredFuncT >

References P.

◆ ValueType_match()

template<typename PredFuncT, typename Pattern>

llvm::SDPatternMatch::ValueType_match	(	const PredFuncT &	Pred,
		const Pattern &	P ) -> ValueType_match< Pattern, PredFuncT >

References P.

Classes

Functions

Function Documentation

◆ m_Abs()

◆ m_Add()

◆ m_AddLike()

◆ m_AExtOrSelf()

◆ m_AllOf()

◆ m_AllOnes()

◆ m_And()

◆ m_AnyExt()

◆ m_AnyOf()

◆ m_BinOp()

◆ m_BitCast()

◆ m_BitReverse()

◆ m_BitwiseLogic()

◆ m_BSwap()

◆ m_c_BinOp()

◆ m_c_ChainedBinOp()

◆ m_c_SetCC()

◆ m_c_TernaryOp()

◆ m_ChainedBinOp()

◆ m_ChainedUnaryOp()

◆ m_Clmul()

◆ m_CondCode() [1/2]

◆ m_CondCode() [2/2]

◆ m_ConstInt() [1/4]

◆ m_ConstInt() [2/4]

◆ m_ConstInt() [3/4]

◆ m_ConstInt() [4/4]

◆ m_Context()

◆ m_Ctlz()

◆ m_Ctpop()

◆ m_Cttz()

◆ m_Deferred()

◆ m_DisjointOr()

◆ m_ExactSr()

◆ m_ExtractElt()

◆ m_ExtractSubvector()

◆ m_FAbs()

◆ m_FAdd()

◆ m_False()

◆ m_FDiv()

◆ m_FixedVectorVT() [1/2]

◆ m_FixedVectorVT() [2/2]

◆ m_FloatingPointVT() [1/2]

◆ m_FloatingPointVT() [2/2]

◆ m_FMul()

◆ m_FNeg()

◆ m_FPToSI()

◆ m_FPToUI()

◆ m_FRem()

◆ m_FSub()

◆ m_Glue()

◆ m_InsertElt()

◆ m_InsertSubvector()

◆ m_IntegerVT() [1/2]

◆ m_IntegerVT() [2/2]

◆ m_IntrinsicWOChain()

◆ m_LegalOp()

◆ m_LegalType()

◆ m_Load()

◆ m_MaxMinLike()

◆ m_Mul()

◆ m_Neg()

◆ m_Negative() [1/2]

◆ m_Negative() [2/2]

◆ m_NNegZExt()

◆ m_Node()

◆ m_NoneOf()

◆ m_NonNegative() [1/2]

◆ m_NonNegative() [2/2]

◆ m_NonPositive() [1/2]

◆ m_NonPositive() [2/2]

◆ m_NonZero() [1/2]

◆ m_NonZero() [2/2]

◆ m_Not()

◆ m_NUses() [1/2]

◆ m_NUses() [2/2]

◆ m_One()