Classes
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	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	NUses_match

struct	Opcode_match

struct	Operands_match

struct	Operands_match< OpIdx, OpndPred, OpndPreds... >

struct	Or

struct	Or< Pred, Preds... >

struct	SpecificInt_match

struct	SwitchContext
	Switch to a different MatchContext for subsequent patterns. More...

struct	TLI_pred_match

struct	UnaryOpc_match

struct	Value_bind

struct	Value_match

struct	ValueType_bind

struct	ValueType_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)

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.

Opcode_match	m_Opc (unsigned Opcode)

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 ()

Value_bind	m_Value (SDValue &N)

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_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... Preds>
And< Preds... >	m_AllOf (Preds &&...preds)

template<typename... Preds>
Or< Preds... >	m_AnyOf (Preds &&...preds)

template<typename... OpndPreds>
auto	m_Node (unsigned Opcode, OpndPreds &&...preds)

template<typename LHS , typename RHS >
BinaryOpc_match< LHS, RHS, false >	m_BinOp (unsigned Opc, const LHS &L, const RHS &R)

template<typename LHS , typename RHS >
BinaryOpc_match< LHS, RHS, true >	m_c_BinOp (unsigned Opc, const LHS &L, const RHS &R)

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, false >	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_Xor (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 >
BinaryOpc_match< LHS, RHS, true >	m_SMax (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 >
BinaryOpc_match< LHS, RHS, true >	m_UMax (const LHS &L, const RHS &R)

template<typename LHS , typename RHS >
BinaryOpc_match< LHS, RHS, false >	m_UDiv (const LHS &L, const RHS &R)

template<typename LHS , typename RHS >
BinaryOpc_match< LHS, RHS, false >	m_SDiv (const LHS &L, const RHS &R)

template<typename LHS , typename RHS >
BinaryOpc_match< LHS, RHS, false >	m_URem (const LHS &L, const RHS &R)

template<typename LHS , typename RHS >
BinaryOpc_match< LHS, RHS, false >	m_SRem (const LHS &L, const RHS &R)

template<typename LHS , typename RHS >
BinaryOpc_match< LHS, RHS, false >	m_Shl (const LHS &L, const RHS &R)

template<typename LHS , typename RHS >
BinaryOpc_match< LHS, RHS, false >	m_Sra (const LHS &L, const RHS &R)

template<typename LHS , typename RHS >
BinaryOpc_match< LHS, RHS, false >	m_Srl (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, false >	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, false >	m_FDiv (const LHS &L, const RHS &R)

template<typename LHS , typename RHS >
BinaryOpc_match< LHS, RHS, false >	m_FRem (const LHS &L, const RHS &R)

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_ZExt (const Opnd &Op)

template<typename Opnd >
UnaryOpc_match< Opnd >	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 >
Or< UnaryOpc_match< Opnd >, Opnd >	m_ZExtOrSelf (Opnd &&Op)
	Match a zext or identity Allows to peek through optional extensions.

template<typename Opnd >
Or< UnaryOpc_match< Opnd >, Opnd >	m_SExtOrSelf (Opnd &&Op)
	Match a sext or identity Allows to peek through optional extensions.

template<typename Opnd >
Or< UnaryOpc_match< Opnd >, Opnd >	m_AExtOrSelf (Opnd &&Op)
	Match a aext or identity Allows to peek through optional extensions.

template<typename Opnd >
Or< UnaryOpc_match< Opnd >, Opnd >	m_TruncOrSelf (Opnd &&Op)
	Match a trunc or identity Allows to peek through optional truncations.

ConstantInt_match	m_ConstInt ()
	Match any interger constants or splat of an integer constant.

ConstantInt_match	m_ConstInt (APInt &V)
	Match any interger constants or splat of an integer constant; return the specific constant or constant splat value.

SpecificInt_match	m_SpecificInt (APInt V)
	Match a specific integer constant or constant splat value.

SpecificInt_match	m_SpecificInt (uint64_t V)

SpecificInt_match	m_Zero ()

SpecificInt_match	m_One ()

SpecificInt_match	m_AllOnes ()

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.

template<typename ValTy >
BinaryOpc_match< SpecificInt_match, ValTy >	m_Neg (const ValTy &V)
	Match a negate as a sub(0, v)

template<typename ValTy >
BinaryOpc_match< ValTy, SpecificInt_match, true >	m_Not (const ValTy &V)
	Match a Not as a xor(v, -1) or xor(-1, v)

Function Documentation

◆ 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 484 of file SDPatternMatch.h.

References llvm::ISD::ADD.

◆ m_AExtOrSelf()

template<typename Opnd >

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

inline

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

Definition at line 654 of file SDPatternMatch.h.

References m_AnyExt().

◆ m_AllOf()

template<typename... Preds>

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

Definition at line 361 of file SDPatternMatch.h.

Referenced by m_Node().

◆ m_AllOnes()

SpecificInt_match llvm::SDPatternMatch::m_AllOnes ( )

inline

Definition at line 719 of file SDPatternMatch.h.

References m_SpecificInt().

Referenced by m_Not().

◆ 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 499 of file SDPatternMatch.h.

References llvm::ISD::AND.

◆ m_AnyExt()

template<typename Opnd >

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

inline

Definition at line 627 of file SDPatternMatch.h.

References llvm::ISD::ANY_EXTEND.

Referenced by m_AExtOrSelf(), and visitORCommutative().

◆ m_AnyOf()

template<typename... Preds>

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

Definition at line 365 of file SDPatternMatch.h.

◆ m_BinOp()

template<typename LHS , typename RHS >

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

inline

Definition at line 461 of file SDPatternMatch.h.

◆ 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
	)

inline

Definition at line 466 of file SDPatternMatch.h.

◆ 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 478 of file SDPatternMatch.h.

◆ 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 473 of file SDPatternMatch.h.

◆ m_ChainedUnaryOp()

template<typename Opnd >

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

inline

Definition at line 614 of file SDPatternMatch.h.

◆ m_ConstInt() [1/2]

ConstantInt_match llvm::SDPatternMatch::m_ConstInt ( )

inline

Match any interger constants or splat of an integer constant.

Definition at line 690 of file SDPatternMatch.h.

Referenced by m_False(), m_True(), and llvm::SDPatternMatch::SpecificInt_match::match().

◆ m_ConstInt() [2/2]

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

inline

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

Definition at line 693 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 222 of file SDPatternMatch.h.

References P.

◆ 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 122 of file SDPatternMatch.h.

◆ 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 566 of file SDPatternMatch.h.

References llvm::ISD::FADD.

◆ m_False()

auto llvm::SDPatternMatch::m_False ( )

inline

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

Definition at line 743 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, false > llvm::SDPatternMatch::m_FDiv	(	const LHS &	L,
		const RHS &	R
	)

inline

Definition at line 581 of file SDPatternMatch.h.

References llvm::ISD::FDIV.

◆ m_FixedVectorVT() [1/2]

auto llvm::SDPatternMatch::m_FixedVectorVT ( )

inline

Definition at line 301 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 298 of file SDPatternMatch.h.

References P.

◆ m_FloatingPointVT() [1/2]

auto llvm::SDPatternMatch::m_FloatingPointVT ( )

inline

Definition at line 284 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 281 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 576 of file SDPatternMatch.h.

References llvm::ISD::FMUL.

◆ m_FRem()

template<typename LHS , typename RHS >

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

inline

Definition at line 586 of file SDPatternMatch.h.

References llvm::ISD::FREM.

◆ m_FSub()

template<typename LHS , typename RHS >

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

inline

Definition at line 571 of file SDPatternMatch.h.

References llvm::ISD::FSUB.

◆ m_Glue()

auto llvm::SDPatternMatch::m_Glue ( )

inline

Definition at line 269 of file SDPatternMatch.h.

References m_SpecificVT().

◆ m_IntegerVT() [1/2]

auto llvm::SDPatternMatch::m_IntegerVT ( )

inline

Definition at line 276 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 273 of file SDPatternMatch.h.

References P.

◆ 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 202 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 316 of file SDPatternMatch.h.

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

◆ 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 494 of file SDPatternMatch.h.

References llvm::ISD::MUL.

◆ m_Neg()

template<typename ValTy >

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

inline

Match a negate as a sub(0, v)

Definition at line 763 of file SDPatternMatch.h.

References m_Sub(), and m_Zero().

◆ m_Node()

template<typename... OpndPreds>

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

Definition at line 400 of file SDPatternMatch.h.

References m_AllOf(), and m_Opc().

◆ m_Not()

template<typename ValTy >

BinaryOpc_match< ValTy, SpecificInt_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 769 of file SDPatternMatch.h.

References 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 165 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 158 of file SDPatternMatch.h.

References P.

◆ m_One()

SpecificInt_match llvm::SDPatternMatch::m_One ( )

inline

Definition at line 718 of file SDPatternMatch.h.

References m_SpecificInt().

◆ m_OneUse() [1/2]

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

inline

Definition at line 162 of file SDPatternMatch.h.

References m_Value().

Referenced by foldAndToUsubsat(), and visitORCommutative().

◆ m_OneUse() [2/2]

template<typename Pattern >

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

inline

Definition at line 154 of file SDPatternMatch.h.

References P.

◆ m_Opc()

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

inline

Definition at line 137 of file SDPatternMatch.h.

Referenced by m_Node(), llvm::SDPatternMatch::BinaryOpc_match< LHS_P, RHS_P, Commutable, ExcludeChain >::match(), and llvm::SDPatternMatch::UnaryOpc_match< Opnd_P, ExcludeChain >::match().

◆ 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 504 of file SDPatternMatch.h.

References llvm::ISD::OR.

◆ m_OtherVT()

auto llvm::SDPatternMatch::m_OtherVT ( )

inline

Definition at line 270 of file SDPatternMatch.h.

References m_SpecificVT().

◆ m_ScalableVectorVT() [1/2]

auto llvm::SDPatternMatch::m_ScalableVectorVT ( )

inline

Definition at line 310 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 307 of file SDPatternMatch.h.

References P.

◆ m_SDiv()

template<typename LHS , typename RHS >

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

inline

Definition at line 538 of file SDPatternMatch.h.

References llvm::ISD::SDIV.

◆ m_SExt()

template<typename Opnd >

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

inline

Definition at line 623 of file SDPatternMatch.h.

References llvm::ISD::SIGN_EXTEND.

Referenced by m_SExtOrSelf().

◆ m_SExtOrSelf()

template<typename Opnd >

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

inline

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

Definition at line 646 of file SDPatternMatch.h.

References m_SExt().

◆ m_Shl()

template<typename LHS , typename RHS >

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

inline

Definition at line 552 of file SDPatternMatch.h.

References llvm::ISD::SHL.

◆ 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 519 of file SDPatternMatch.h.

References llvm::ISD::SMAX.

◆ 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 514 of file SDPatternMatch.h.

References llvm::ISD::SMIN.

◆ m_Specific()

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

inline

Definition at line 102 of file SDPatternMatch.h.

References assert(), and N.

◆ 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 710 of file SDPatternMatch.h.

Referenced by m_AllOnes(), m_One(), and m_Zero().

◆ m_SpecificInt() [2/2]

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

inline

Definition at line 713 of file SDPatternMatch.h.

◆ m_SpecificVT() [1/2]

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

inline

Definition at line 265 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 262 of file SDPatternMatch.h.

References P.

Referenced by m_Glue(), and m_OtherVT().

◆ m_Sra()

template<typename LHS , typename RHS >

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

inline

Definition at line 557 of file SDPatternMatch.h.

References llvm::ISD::SRA.

Referenced by foldAndToUsubsat().

◆ m_SRem()

template<typename LHS , typename RHS >

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

inline

Definition at line 547 of file SDPatternMatch.h.

References llvm::ISD::SREM.

◆ m_Srl()

template<typename LHS , typename RHS >

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

inline

Definition at line 561 of file SDPatternMatch.h.

References llvm::ISD::SRL.

◆ m_Sub()

template<typename LHS , typename RHS >

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

inline

Definition at line 489 of file SDPatternMatch.h.

References llvm::ISD::SUB.

Referenced by m_Neg().

◆ m_True()

auto llvm::SDPatternMatch::m_True ( )

inline

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

Definition at line 723 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 631 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 ( Opnd && Op )

inline

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

Definition at line 662 of file SDPatternMatch.h.

References m_Trunc().

◆ m_UDiv()

template<typename LHS , typename RHS >

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

inline

Definition at line 534 of file SDPatternMatch.h.

References 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 529 of file SDPatternMatch.h.

References llvm::ISD::UMAX.

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

References llvm::ISD::UMIN.

◆ m_UnaryOp()

template<typename Opnd >

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

inline

Definition at line 610 of file SDPatternMatch.h.

◆ m_URem()

template<typename LHS , typename RHS >

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

inline

Definition at line 543 of file SDPatternMatch.h.

References llvm::ISD::UREM.

◆ m_Value() [1/2]

Value_match llvm::SDPatternMatch::m_Value ( )

inline

Match any valid SDValue.

Definition at line 100 of file SDPatternMatch.h.

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

◆ m_Value() [2/2]

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

inline

Definition at line 180 of file SDPatternMatch.h.

References N.

◆ m_VectorVT() [1/2]

auto llvm::SDPatternMatch::m_VectorVT ( )

inline

Definition at line 293 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 290 of file SDPatternMatch.h.

References P.

◆ m_VT()

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

inline

Retreive the ValueType of the current SDValue.

Definition at line 240 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 509 of file SDPatternMatch.h.

References llvm::ISD::XOR.

Referenced by m_Not().

◆ m_Zero()

SpecificInt_match llvm::SDPatternMatch::m_Zero ( )

inline

Definition at line 717 of file SDPatternMatch.h.

References m_SpecificInt().

Referenced by m_Neg().

◆ m_ZExt()

template<typename Opnd >

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

inline

Definition at line 619 of file SDPatternMatch.h.

References llvm::ISD::ZERO_EXTEND.

Referenced by m_ZExtOrSelf().

◆ m_ZExtOrSelf()

template<typename Opnd >

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

inline

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

Definition at line 638 of file SDPatternMatch.h.

References m_ZExt().

◆ sd_context_match() [1/2]

template<typename Pattern , typename MatchContext >

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

Definition at line 59 of file SDPatternMatch.h.

References N, P, and sd_context_match().

◆ sd_context_match() [2/2]

template<typename Pattern , typename MatchContext >

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

Definition at line 53 of file SDPatternMatch.h.

References N, and P.

Referenced by llvm::SDPatternMatch::BinaryOpc_match< LHS_P, RHS_P, Commutable, ExcludeChain >::match(), llvm::SDPatternMatch::UnaryOpc_match< Opnd_P, ExcludeChain >::match(), llvm::SDPatternMatch::SpecificInt_match::match(), sd_context_match(), and sd_match().

◆ sd_match() [1/4]

template<typename Pattern >

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

Definition at line 65 of file SDPatternMatch.h.

References N, P, and sd_context_match().

Referenced by foldAndToUsubsat(), llvm::SelectionDAG::isKnownToBeAPowerOfTwo(), m_False(), m_True(), sd_match(), and visitORCommutative().

◆ sd_match() [2/4]

template<typename Pattern >

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

Definition at line 75 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
	)

Definition at line 70 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
	)

Definition at line 80 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 >

◆ ValueType_match()

template<typename PredFuncT , typename Pattern >

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

Classes

Functions

Function Documentation

◆ m_Add()

◆ m_AExtOrSelf()

◆ m_AllOf()

◆ m_AllOnes()

◆ m_And()

◆ m_AnyExt()

◆ m_AnyOf()

◆ m_BinOp()

◆ m_c_BinOp()

◆ m_c_ChainedBinOp()

◆ m_ChainedBinOp()

◆ m_ChainedUnaryOp()

◆ m_ConstInt() [1/2]

◆ m_ConstInt() [2/2]

◆ m_Context()

◆ m_Deferred()

◆ 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_FRem()

◆ m_FSub()

◆ m_Glue()

◆ m_IntegerVT() [1/2]

◆ m_IntegerVT() [2/2]

◆ m_LegalOp()

◆ m_LegalType()

◆ m_Mul()

◆ m_Neg()

◆ m_Node()

◆ m_Not()

◆ m_NUses() [1/2]

◆ m_NUses() [2/2]

◆ m_One()

◆ m_OneUse() [1/2]

◆ m_OneUse() [2/2]

◆ m_Opc()

◆ m_Or()

◆ m_OtherVT()

◆ m_ScalableVectorVT() [1/2]

◆ m_ScalableVectorVT() [2/2]

◆ m_SDiv()

◆ m_SExt()

◆ m_SExtOrSelf()

◆ m_Shl()

◆ m_SMax()

◆ m_SMin()

◆ m_Specific()

◆ m_SpecificInt() [1/2]

◆ m_SpecificInt() [2/2]

◆ m_SpecificVT() [1/2]

◆ m_SpecificVT() [2/2]

◆ m_Sra()

◆ m_SRem()

◆ m_Srl()

◆ m_Sub()

◆ m_True()

◆ m_Trunc()

◆ m_TruncOrSelf()

◆ m_UDiv()

◆ m_UMax()

◆ m_UMin()

◆ m_UnaryOp()

◆ m_URem()

◆ m_Value() [1/2]

◆ m_Value() [2/2]

◆ m_VectorVT() [1/2]

◆ m_VectorVT() [2/2]

◆ m_VT()

◆ m_Xor()

◆ m_Zero()

◆ m_ZExt()

◆ m_ZExtOrSelf()