MIPatternMatch.h File Reference

Contains matchers for matching SSA Machine Instructions. More...

#include "llvm/ADT/APInt.h"
#include "llvm/ADT/FloatingPointMode.h"
#include "llvm/CodeGen/GlobalISel/GenericMachineInstrs.h"
#include "llvm/CodeGen/GlobalISel/Utils.h"
#include "llvm/CodeGen/MachineRegisterInfo.h"
#include "llvm/CodeGen/TargetOpcodes.h"
#include "llvm/IR/InstrTypes.h"
#include <tuple>
#include <utility>

Go to the source code of this file.

Classes
struct	llvm::MIPatternMatch::OneUse_match< SubPatternT >
struct	llvm::MIPatternMatch::OneNonDBGUse_match< SubPatternT >
struct	llvm::MIPatternMatch::ConstantMatch< ConstT >
struct	llvm::MIPatternMatch::ICstOrSplatMatch< ConstT >
struct	llvm::MIPatternMatch::GCstAndRegMatch
struct	llvm::MIPatternMatch::GFCstAndRegMatch
struct	llvm::MIPatternMatch::GFCstOrSplatGFCstMatch
struct	llvm::MIPatternMatch::GFCstPredMatch< Pred >
	Matches an FP constant whose value satisfies the given predicate. More...
struct	llvm::MIPatternMatch::SpecificConstantMatch
	Matcher for a specific constant value. More...
struct	llvm::MIPatternMatch::SpecificImmMatch
struct	llvm::MIPatternMatch::BindImmMatch
struct	llvm::MIPatternMatch::AllOnesConstantMatch
	Matches an integer constant with all bits set, regardless of width. More...
struct	llvm::MIPatternMatch::SpecificConstantSplatMatch
	Matcher for a specific constant splat. More...
struct	llvm::MIPatternMatch::SpecificConstantOrSplatMatch
	Matcher for a specific constant or constant splat. More...
struct	llvm::MIPatternMatch::SpecificRegisterMatch
	Matcher for a specific register. More...
struct	llvm::MIPatternMatch::operand_type_match
struct	llvm::MIPatternMatch::And< Preds >
	Matching combinators. More...
struct	llvm::MIPatternMatch::And< Pred, Preds... >
struct	llvm::MIPatternMatch::Or< Preds >
struct	llvm::MIPatternMatch::Or< Pred, Preds... >
struct	llvm::MIPatternMatch::bind_helper< BindTy >
struct	llvm::MIPatternMatch::bind_helper< MachineInstr * >
struct	llvm::MIPatternMatch::bind_helper< const MachineInstr * >
struct	llvm::MIPatternMatch::bind_helper< LLT >
struct	llvm::MIPatternMatch::bind_helper< const ConstantFP * >
struct	llvm::MIPatternMatch::bind_ty< Class >
struct	llvm::MIPatternMatch::MIFlagsRef
	Wraps a MIFlags output for use as an optional trailing operand of an instruction matcher (e.g. More...
struct	llvm::MIPatternMatch::MMORef
	Optional trailing operand for a load matcher (e.g. More...
struct	llvm::MIPatternMatch::deferred_helper< BindTy >
struct	llvm::MIPatternMatch::deferred_helper< LLT >
struct	llvm::MIPatternMatch::deferred_ty< Class >
struct	llvm::MIPatternMatch::ImplicitDefMatch
struct	llvm::MIPatternMatch::GInstrBind< Class >
	Binds the defining instruction of Reg if it is a Class. More...
struct	llvm::MIPatternMatch::GConstantBitsMatch
	Match a literal G_CONSTANT or G_FCONSTANT, binding its raw bits to Bits (the integer value, or the float reinterpreted as an integer). More...
struct	llvm::MIPatternMatch::LoadOp_match< Class, PtrP >
	Match a load of type Class, binding its pointer operand (like IR's m_Load), and optionally the instruction and/or its MachineMemOperand. More...
struct	llvm::MIPatternMatch::GIntrinsic_match< IntrID, OpMatchers >
	Matches a GIntrinsic with a specific intrinsic ID and optionally, matchers for its leading arguments. More...
struct	llvm::MIPatternMatch::ShuffleVectorMatch< Src1Ty, Src2Ty >
	Matches a G_SHUFFLE_VECTOR, binding its two source operands and its mask. More...
struct	llvm::MIPatternMatch::GFrameIndexMatch
	Matches a G_FRAME_INDEX, binding its frame index. More...
struct	llvm::MIPatternMatch::BinaryOp_match< LHS_P, RHS_P, Opcode, Commutable, Flags >
struct	llvm::MIPatternMatch::BinaryOpc_match< LHS_P, RHS_P, Commutable >
struct	llvm::MIPatternMatch::UnaryOp_match< SrcTy, Opcode >
struct	llvm::MIPatternMatch::SrcImmOp_match< SrcTy, ImmTy, Opcode >
	Matches an op that binds a source operand and an immediate operand with sub-matchers (e.g. More...
struct	llvm::MIPatternMatch::AnyImmMatch
	Matches any immediate operand. More...
struct	llvm::MIPatternMatch::CompareOp_match< Pred_P, LHS_P, RHS_P, Opcode, Commutable >
struct	llvm::MIPatternMatch::ClassifyOp_match< LHS_P, Test_P, Opcode >
struct	llvm::MIPatternMatch::CheckType
struct	llvm::MIPatternMatch::TernaryOp_match< Src0Ty, Src1Ty, Src2Ty, Opcode >

Namespaces
namespace	llvm
	This is an optimization pass for GlobalISel generic memory operations.
namespace	llvm::MIPatternMatch

Functions
template<typename Reg, typename Pattern>
bool	llvm::MIPatternMatch::mi_match (Reg R, const MachineRegisterInfo &MRI, Pattern &&P)
template<typename Pattern>
bool	llvm::MIPatternMatch::mi_match (MachineInstr &MI, const MachineRegisterInfo &MRI, Pattern &&P)
template<typename Pattern>
bool	llvm::MIPatternMatch::mi_match (const MachineInstr &MI, const MachineRegisterInfo &MRI, Pattern &&P)
template<typename SubPat>
OneUse_match< SubPat >	llvm::MIPatternMatch::m_OneUse (const SubPat &SP)
template<typename SubPat>
OneNonDBGUse_match< SubPat >	llvm::MIPatternMatch::m_OneNonDBGUse (const SubPat &SP)
template<typename ConstT>
std::optional< ConstT >	llvm::MIPatternMatch::matchConstant (Register, const MachineRegisterInfo &)
template<>
std::optional< APInt >	llvm::MIPatternMatch::matchConstant (Register Reg, const MachineRegisterInfo &MRI)
template<>
std::optional< int64_t >	llvm::MIPatternMatch::matchConstant (Register Reg, const MachineRegisterInfo &MRI)
ConstantMatch< APInt >	llvm::MIPatternMatch::m_ICst (APInt &Cst)
ConstantMatch< int64_t >	llvm::MIPatternMatch::m_ICst (int64_t &Cst)
template<typename ConstT>
std::optional< ConstT >	llvm::MIPatternMatch::matchConstantSplat (Register, const MachineRegisterInfo &)
template<>
std::optional< APInt >	llvm::MIPatternMatch::matchConstantSplat (Register Reg, const MachineRegisterInfo &MRI)
template<>
std::optional< int64_t >	llvm::MIPatternMatch::matchConstantSplat (Register Reg, const MachineRegisterInfo &MRI)
ICstOrSplatMatch< APInt >	llvm::MIPatternMatch::m_ICstOrSplat (APInt &Cst)
ICstOrSplatMatch< int64_t >	llvm::MIPatternMatch::m_ICstOrSplat (int64_t &Cst)
GCstAndRegMatch	llvm::MIPatternMatch::m_GCst (std::optional< ValueAndVReg > &ValReg)
GFCstAndRegMatch	llvm::MIPatternMatch::m_GFCst (std::optional< FPValueAndVReg > &FPValReg)
GFCstOrSplatGFCstMatch	llvm::MIPatternMatch::m_GFCstOrSplat (std::optional< FPValueAndVReg > &FPValReg)
template<typename Pred>
	llvm::MIPatternMatch::GFCstPredMatch (Pred) -> GFCstPredMatch< Pred >
auto	llvm::MIPatternMatch::m_PosZeroFP ()
	Matches a floating-point positive zero.
SpecificConstantMatch	llvm::MIPatternMatch::m_SpecificICst (const APInt &RequestedValue)
	Matches a constant equal to RequestedValue.
SpecificConstantMatch	llvm::MIPatternMatch::m_SpecificICst (int64_t RequestedValue)
SpecificImmMatch	llvm::MIPatternMatch::m_SpecificImm (int64_t RequestedValue)
	Matches an immediate operand equal to RequestedValue.
BindImmMatch	llvm::MIPatternMatch::m_Imm (int64_t &Imm)
	Binds an immediate operand's value.
AllOnesConstantMatch	llvm::MIPatternMatch::m_AllOnes ()
SpecificConstantSplatMatch	llvm::MIPatternMatch::m_SpecificICstSplat (const APInt &RequestedValue)
	Matches a constant splat of RequestedValue.
SpecificConstantSplatMatch	llvm::MIPatternMatch::m_SpecificICstSplat (int64_t RequestedValue)
SpecificConstantOrSplatMatch	llvm::MIPatternMatch::m_SpecificICstOrSplat (const APInt &RequestedValue)
	Matches a RequestedValue constant or a constant splat of RequestedValue.
SpecificConstantOrSplatMatch	llvm::MIPatternMatch::m_SpecificICstOrSplat (int64_t RequestedValue)
SpecificConstantMatch	llvm::MIPatternMatch::m_ZeroInt ()
	Convenience matchers for specific integer values.
SpecificConstantMatch	llvm::MIPatternMatch::m_AllOnesInt ()
SpecificRegisterMatch	llvm::MIPatternMatch::m_SpecificReg (Register RequestedReg)
	Matches a register only if it is equal to RequestedReg.
operand_type_match	llvm::MIPatternMatch::m_Reg ()
template<typename... Preds>
And< Preds... >	llvm::MIPatternMatch::m_all_of (Preds &&... preds)
template<typename... Preds>
Or< Preds... >	llvm::MIPatternMatch::m_any_of (Preds &&... preds)
bind_ty< Register >	llvm::MIPatternMatch::m_Reg (Register &R)
bind_ty< MachineInstr * >	llvm::MIPatternMatch::m_MInstr (MachineInstr *&MI)
bind_ty< const MachineInstr * >	llvm::MIPatternMatch::m_MInstr (const MachineInstr *&MI)
bind_ty< LLT >	llvm::MIPatternMatch::m_Type (LLT &Ty)
bind_ty< CmpInst::Predicate >	llvm::MIPatternMatch::m_Pred (CmpInst::Predicate &P)
operand_type_match	llvm::MIPatternMatch::m_Pred ()
bind_ty< FPClassTest >	llvm::MIPatternMatch::m_FPClassTest (FPClassTest &T)
MIFlagsRef	llvm::MIPatternMatch::m_MIFlags (uint32_t &Flags)
MMORef	llvm::MIPatternMatch::m_MMO (const MachineMemOperand *&MMO)
deferred_ty< Register >	llvm::MIPatternMatch::m_DeferredReg (Register &R)
	Similar to m_SpecificReg/Type, but the specific value to match originated from an earlier sub-pattern in the same mi_match expression.
deferred_ty< LLT >	llvm::MIPatternMatch::m_DeferredType (LLT &Ty)
ImplicitDefMatch	llvm::MIPatternMatch::m_GImplicitDef ()
GInstrBind< GConstant >	llvm::MIPatternMatch::m_GConstant (GConstant *&Inst)
	Match a literal G_CONSTANT instruction (no look-through of splats or copies).
GInstrBind< const GConstant >	llvm::MIPatternMatch::m_GConstant (const GConstant *&Inst)
GConstantBitsMatch	llvm::MIPatternMatch::m_GConstantOrFConstantBits (APInt &Bits)
template<typename PtrP>
LoadOp_match< GAnyLoad, PtrP >	llvm::MIPatternMatch::m_GAnyLoad (const PtrP &Ptr)
template<typename PtrP>
LoadOp_match< GAnyLoad, PtrP >	llvm::MIPatternMatch::m_GAnyLoad (GAnyLoad *&Inst, const PtrP &Ptr)
template<typename PtrP>
LoadOp_match< GAnyLoad, PtrP >	llvm::MIPatternMatch::m_GAnyLoad (GAnyLoad *&Inst, const PtrP &Ptr, MMORef MMO)
template<typename PtrP>
LoadOp_match< GLoad, PtrP >	llvm::MIPatternMatch::m_GLoad (const PtrP &Ptr)
template<typename PtrP>
LoadOp_match< GLoad, PtrP >	llvm::MIPatternMatch::m_GLoad (const PtrP &Ptr, MMORef MMO)
GInstrBind< GUnmerge >	llvm::MIPatternMatch::m_GUnmerge (GUnmerge *&Inst)
	Instruction binders for ops with no operand-form matcher (constant-immediate or variadic-source ops).
GInstrBind< GVScale >	llvm::MIPatternMatch::m_GVScale (GVScale *&Inst)
GInstrBind< GBuildVector >	llvm::MIPatternMatch::m_GBuildVector (GBuildVector *&Inst)
GInstrBind< GConcatVectors >	llvm::MIPatternMatch::m_GConcatVectors (GConcatVectors *&Inst)
GInstrBind< GIntrinsic >	llvm::MIPatternMatch::m_GIntrinsic (GIntrinsic *&Inst)
	Binds the defining instruction of Reg if it is a GIntrinsic (any of the four G_INTRINSIC* opcodes).
GInstrBind< const GIntrinsic >	llvm::MIPatternMatch::m_GIntrinsic (const GIntrinsic *&Inst)
template<Intrinsic::ID IntrID, typename... OpMatchers>
GIntrinsic_match< IntrID, OpMatchers... >	llvm::MIPatternMatch::m_GIntrinsic (const OpMatchers &...Ops)
template<typename Src1Ty, typename Src2Ty>
ShuffleVectorMatch< Src1Ty, Src2Ty >	llvm::MIPatternMatch::m_GShuffleVector (const Src1Ty &Src1, const Src2Ty &Src2, ArrayRef< int > &Mask)
GFrameIndexMatch	llvm::MIPatternMatch::m_GFrameIndex (int &FI)
bind_ty< const ConstantFP * >	llvm::MIPatternMatch::m_GFCst (const ConstantFP *&C)
template<typename LHS, typename RHS>
BinaryOpc_match< LHS, RHS, false >	llvm::MIPatternMatch::m_BinOp (unsigned Opcode, const LHS &L, const RHS &R)
template<typename LHS, typename RHS>
BinaryOpc_match< LHS, RHS, true >	llvm::MIPatternMatch::m_CommutativeBinOp (unsigned Opcode, const LHS &L, const RHS &R)
template<typename LHS, typename RHS>
BinaryOp_match< LHS, RHS, TargetOpcode::G_ADD, true >	llvm::MIPatternMatch::m_GAdd (const LHS &L, const RHS &R)
template<typename LHS, typename RHS>
BinaryOp_match< LHS, RHS, TargetOpcode::G_BUILD_VECTOR, false >	llvm::MIPatternMatch::m_GBuildVector (const LHS &L, const RHS &R)
template<typename LHS, typename RHS>
BinaryOp_match< LHS, RHS, TargetOpcode::G_BUILD_VECTOR_TRUNC, false >	llvm::MIPatternMatch::m_GBuildVectorTrunc (const LHS &L, const RHS &R)
template<typename LHS, typename RHS>
BinaryOp_match< LHS, RHS, TargetOpcode::G_PTR_ADD, false >	llvm::MIPatternMatch::m_GPtrAdd (const LHS &L, const RHS &R)
template<typename LHS, typename RHS>
BinaryOp_match< LHS, RHS, TargetOpcode::G_PTR_ADD, false >	llvm::MIPatternMatch::m_GPtrAdd (const LHS &L, const RHS &R, MIFlagsRef Flags)
template<typename LHS, typename RHS>
BinaryOp_match< LHS, RHS, TargetOpcode::G_SUB >	llvm::MIPatternMatch::m_GSub (const LHS &L, const RHS &R)
template<typename LHS, typename RHS>
BinaryOp_match< LHS, RHS, TargetOpcode::G_SUB >	llvm::MIPatternMatch::m_GSub (const LHS &L, const RHS &R, MIFlagsRef Flags)
template<typename LHS, typename RHS>
BinaryOp_match< LHS, RHS, TargetOpcode::G_MUL, true >	llvm::MIPatternMatch::m_GMul (const LHS &L, const RHS &R)
template<typename LHS, typename RHS>
BinaryOp_match< LHS, RHS, TargetOpcode::G_FADD, true >	llvm::MIPatternMatch::m_GFAdd (const LHS &L, const RHS &R)
template<typename LHS, typename RHS>
BinaryOp_match< LHS, RHS, TargetOpcode::G_FMUL, true >	llvm::MIPatternMatch::m_GFMul (const LHS &L, const RHS &R)
template<typename LHS, typename RHS>
BinaryOp_match< LHS, RHS, TargetOpcode::G_FSUB, false >	llvm::MIPatternMatch::m_GFSub (const LHS &L, const RHS &R)
template<typename LHS, typename RHS>
BinaryOp_match< LHS, RHS, TargetOpcode::G_AND, true >	llvm::MIPatternMatch::m_GAnd (const LHS &L, const RHS &R)
template<typename LHS, typename RHS>
BinaryOp_match< LHS, RHS, TargetOpcode::G_XOR, true >	llvm::MIPatternMatch::m_GXor (const LHS &L, const RHS &R)
template<typename LHS, typename RHS>
BinaryOp_match< LHS, RHS, TargetOpcode::G_OR, true >	llvm::MIPatternMatch::m_GOr (const LHS &L, const RHS &R)
template<typename LHS, typename RHS>
BinaryOp_match< LHS, RHS, TargetOpcode::G_OR, true, MachineInstr::Disjoint >	llvm::MIPatternMatch::m_GDisjointOr (const LHS &L, const RHS &R)
template<typename LHS, typename RHS>
auto	llvm::MIPatternMatch::m_GAddLike (const LHS &L, const RHS &R)
template<typename LHS, typename RHS>
BinaryOp_match< LHS, RHS, TargetOpcode::G_SHL, false >	llvm::MIPatternMatch::m_GShl (const LHS &L, const RHS &R)
template<typename LHS, typename RHS>
BinaryOp_match< LHS, RHS, TargetOpcode::G_LSHR, false >	llvm::MIPatternMatch::m_GLShr (const LHS &L, const RHS &R)
template<typename LHS, typename RHS>
BinaryOp_match< LHS, RHS, TargetOpcode::G_ASHR, false >	llvm::MIPatternMatch::m_GAShr (const LHS &L, const RHS &R)
template<typename LHS, typename RHS>
BinaryOp_match< LHS, RHS, TargetOpcode::G_SMAX, true >	llvm::MIPatternMatch::m_GSMax (const LHS &L, const RHS &R)
template<typename LHS, typename RHS>
BinaryOp_match< LHS, RHS, TargetOpcode::G_SMIN, true >	llvm::MIPatternMatch::m_GSMin (const LHS &L, const RHS &R)
template<typename LHS, typename RHS>
BinaryOp_match< LHS, RHS, TargetOpcode::G_UMAX, true >	llvm::MIPatternMatch::m_GUMax (const LHS &L, const RHS &R)
template<typename LHS, typename RHS>
BinaryOp_match< LHS, RHS, TargetOpcode::G_UMIN, true >	llvm::MIPatternMatch::m_GUMin (const LHS &L, const RHS &R)
template<typename SrcTy>
UnaryOp_match< SrcTy, TargetOpcode::G_ANYEXT >	llvm::MIPatternMatch::m_GAnyExt (const SrcTy &Src)
template<typename SrcTy>
UnaryOp_match< SrcTy, TargetOpcode::G_SEXT >	llvm::MIPatternMatch::m_GSExt (const SrcTy &Src)
template<typename SrcTy>
UnaryOp_match< SrcTy, TargetOpcode::G_ZEXT >	llvm::MIPatternMatch::m_GZExt (const SrcTy &Src)
template<typename SrcTy>
UnaryOp_match< SrcTy, TargetOpcode::G_FPEXT >	llvm::MIPatternMatch::m_GFPExt (const SrcTy &Src)
template<typename SrcTy>
UnaryOp_match< SrcTy, TargetOpcode::G_TRUNC >	llvm::MIPatternMatch::m_GTrunc (const SrcTy &Src)
template<typename SrcTy>
UnaryOp_match< SrcTy, TargetOpcode::G_BITCAST >	llvm::MIPatternMatch::m_GBitcast (const SrcTy &Src)
template<typename SrcTy>
UnaryOp_match< SrcTy, TargetOpcode::G_PTRTOINT >	llvm::MIPatternMatch::m_GPtrToInt (const SrcTy &Src)
template<typename SrcTy>
UnaryOp_match< SrcTy, TargetOpcode::G_INTTOPTR >	llvm::MIPatternMatch::m_GIntToPtr (const SrcTy &Src)
template<typename SrcTy>
UnaryOp_match< SrcTy, TargetOpcode::G_FPTRUNC >	llvm::MIPatternMatch::m_GFPTrunc (const SrcTy &Src)
template<typename SrcTy>
SrcImmOp_match< SrcTy, AnyImmMatch, TargetOpcode::G_SEXT_INREG >	llvm::MIPatternMatch::m_GSExtInReg (const SrcTy &Src)
	Matches a G_SEXT_INREG, binding its source and immediate width.
template<typename SrcTy, typename ImmTy>
SrcImmOp_match< SrcTy, ImmTy, TargetOpcode::G_SEXT_INREG >	llvm::MIPatternMatch::m_GSExtInReg (const SrcTy &Src, const ImmTy &Imm)
template<typename SrcTy>
SrcImmOp_match< SrcTy, AnyImmMatch, TargetOpcode::G_ASSERT_ZEXT >	llvm::MIPatternMatch::m_GAssertZext (const SrcTy &Src)
	Matches a G_ASSERT_ZEXT, binding its source and immediate bit width.
template<typename SrcTy, typename ImmTy>
SrcImmOp_match< SrcTy, ImmTy, TargetOpcode::G_ASSERT_ZEXT >	llvm::MIPatternMatch::m_GAssertZext (const SrcTy &Src, const ImmTy &Imm)
template<typename SrcTy>
UnaryOp_match< SrcTy, TargetOpcode::G_FABS >	llvm::MIPatternMatch::m_GFabs (const SrcTy &Src)
template<typename SrcTy>
UnaryOp_match< SrcTy, TargetOpcode::G_FNEG >	llvm::MIPatternMatch::m_GFNeg (const SrcTy &Src)
template<typename SrcTy>
UnaryOp_match< SrcTy, TargetOpcode::COPY >	llvm::MIPatternMatch::m_Copy (SrcTy &&Src)
template<typename SrcTy>
UnaryOp_match< SrcTy, TargetOpcode::G_FSQRT >	llvm::MIPatternMatch::m_GFSqrt (const SrcTy &Src)
template<typename SrcTy>
UnaryOp_match< SrcTy, TargetOpcode::G_FFLOOR >	llvm::MIPatternMatch::m_GFFloor (const SrcTy &Src)
template<typename Pred, typename LHS, typename RHS>
CompareOp_match< Pred, LHS, RHS, TargetOpcode::G_ICMP >	llvm::MIPatternMatch::m_GICmp (const Pred &P, const LHS &L, const RHS &R)
template<typename Pred, typename LHS, typename RHS>
CompareOp_match< Pred, LHS, RHS, TargetOpcode::G_FCMP >	llvm::MIPatternMatch::m_GFCmp (const Pred &P, const LHS &L, const RHS &R)
template<typename Pred, typename LHS, typename RHS>
CompareOp_match< Pred, LHS, RHS, TargetOpcode::G_ICMP, true >	llvm::MIPatternMatch::m_c_GICmp (const Pred &P, const LHS &L, const RHS &R)
	G_ICMP matcher that also matches commuted compares.
template<typename Pred, typename LHS, typename RHS>
CompareOp_match< Pred, LHS, RHS, TargetOpcode::G_FCMP, true >	llvm::MIPatternMatch::m_c_GFCmp (const Pred &P, const LHS &L, const RHS &R)
	G_FCMP matcher that also matches commuted compares.
template<typename LHS, typename Test>
ClassifyOp_match< LHS, Test, TargetOpcode::G_IS_FPCLASS >	llvm::MIPatternMatch::m_GIsFPClass (const LHS &L, const Test &T)
	Matches the register and immediate used in a fpclass test G_IS_FPCLASS val, 96.
CheckType	llvm::MIPatternMatch::m_SpecificType (LLT Ty)
template<typename Src0Ty, typename Src1Ty, typename Src2Ty>
TernaryOp_match< Src0Ty, Src1Ty, Src2Ty, TargetOpcode::G_INSERT_VECTOR_ELT >	llvm::MIPatternMatch::m_GInsertVecElt (const Src0Ty &Src0, const Src1Ty &Src1, const Src2Ty &Src2)
template<typename Src0Ty, typename Src1Ty, typename Src2Ty>
TernaryOp_match< Src0Ty, Src1Ty, Src2Ty, TargetOpcode::G_SELECT >	llvm::MIPatternMatch::m_GISelect (const Src0Ty &Src0, const Src1Ty &Src1, const Src2Ty &Src2)
template<typename SrcTy>
BinaryOp_match< SpecificConstantMatch, SrcTy, TargetOpcode::G_SUB >	llvm::MIPatternMatch::m_Neg (const SrcTy &&Src)
	Matches a register negated by a G_SUB.
template<typename SrcTy>
BinaryOp_match< SrcTy, SpecificConstantMatch, TargetOpcode::G_XOR, true >	llvm::MIPatternMatch::m_Not (const SrcTy &&Src)
	Matches a register not-ed by a G_XOR.

Detailed Description

Contains matchers for matching SSA Machine Instructions.

Definition in file MIPatternMatch.h.