LLVM  13.0.0git
Classes | Namespaces | Functions
MIPatternMatch.h File Reference
#include "llvm/CodeGen/GlobalISel/Utils.h"
#include "llvm/CodeGen/MachineRegisterInfo.h"
#include "llvm/IR/InstrTypes.h"
Include dependency graph for MIPatternMatch.h:
This graph shows which files directly or indirectly include this file:

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
 
struct  llvm::MIPatternMatch::ICstRegMatch
 
struct  llvm::MIPatternMatch::SpecificConstantMatch
 Matcher for a specific constant value. More...
 
struct  llvm::MIPatternMatch::operand_type_match
 } More...
 
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< LLT >
 
struct  llvm::MIPatternMatch::bind_helper< const ConstantFP * >
 
struct  llvm::MIPatternMatch::bind_ty< Class >
 
struct  llvm::MIPatternMatch::BinaryOp_match< LHS_P, RHS_P, Opcode, Commutable >
 
struct  llvm::MIPatternMatch::BinaryOpc_match< LHS_P, RHS_P, Commutable >
 
struct  llvm::MIPatternMatch::UnaryOp_match< SrcTy, Opcode >
 
struct  llvm::MIPatternMatch::CompareOp_match< Pred_P, LHS_P, RHS_P, Opcode >
 
struct  llvm::MIPatternMatch::CheckType
 
struct  llvm::MIPatternMatch::TernaryOp_match< Src0Ty, Src1Ty, Src2Ty, Opcode >
 

Namespaces

 llvm
 
 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 SubPat >
OneUse_match< SubPat > llvm::MIPatternMatch::m_OneUse (const SubPat &SP)
 
template<typename SubPat >
OneNonDBGUse_match< SubPat > llvm::MIPatternMatch::m_OneNonDBGUse (const SubPat &SP)
 
ConstantMatch llvm::MIPatternMatch::m_ICst (int64_t &Cst)
 
ICstRegMatch llvm::MIPatternMatch::m_ICst (Register &Reg)
 
SpecificConstantMatch llvm::MIPatternMatch::m_SpecificICst (int64_t RequestedValue)
 Matches a constant equal to RequestedValue. More...
 
SpecificConstantMatch llvm::MIPatternMatch::m_ZeroInt ()
 { Convenience matchers for specific integer values. More...
 
SpecificConstantMatch llvm::MIPatternMatch::m_AllOnesInt ()
 
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< Registerllvm::MIPatternMatch::m_Reg (Register &R)
 
bind_ty< MachineInstr * > llvm::MIPatternMatch::m_MInstr (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< const ConstantFP * > llvm::MIPatternMatch::m_GFCst (const ConstantFP *&C)
 
template<typename LHS , typename RHS >
BinaryOpc_match< LHS, RHS, falsellvm::MIPatternMatch::m_BinOp (unsigned Opcode, const LHS &L, const RHS &R)
 
template<typename LHS , typename RHS >
BinaryOpc_match< LHS, RHS, truellvm::MIPatternMatch::m_CommutativeBinOp (unsigned Opcode, const LHS &L, const RHS &R)
 
template<typename LHS , typename RHS >
BinaryOp_match< LHS, RHS, TargetOpcode::G_ADD, truellvm::MIPatternMatch::m_GAdd (const LHS &L, const RHS &R)
 
template<typename LHS , typename RHS >
BinaryOp_match< LHS, RHS, TargetOpcode::G_PTR_ADD, truellvm::MIPatternMatch::m_GPtrAdd (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)
 
template<typename LHS , typename RHS >
BinaryOp_match< LHS, RHS, TargetOpcode::G_MUL, truellvm::MIPatternMatch::m_GMul (const LHS &L, const RHS &R)
 
template<typename LHS , typename RHS >
BinaryOp_match< LHS, RHS, TargetOpcode::G_FADD, truellvm::MIPatternMatch::m_GFAdd (const LHS &L, const RHS &R)
 
template<typename LHS , typename RHS >
BinaryOp_match< LHS, RHS, TargetOpcode::G_FMUL, truellvm::MIPatternMatch::m_GFMul (const LHS &L, const RHS &R)
 
template<typename LHS , typename RHS >
BinaryOp_match< LHS, RHS, TargetOpcode::G_FSUB, falsellvm::MIPatternMatch::m_GFSub (const LHS &L, const RHS &R)
 
template<typename LHS , typename RHS >
BinaryOp_match< LHS, RHS, TargetOpcode::G_AND, truellvm::MIPatternMatch::m_GAnd (const LHS &L, const RHS &R)
 
template<typename LHS , typename RHS >
BinaryOp_match< LHS, RHS, TargetOpcode::G_XOR, truellvm::MIPatternMatch::m_GXor (const LHS &L, const RHS &R)
 
template<typename LHS , typename RHS >
BinaryOp_match< LHS, RHS, TargetOpcode::G_OR, truellvm::MIPatternMatch::m_GOr (const LHS &L, const RHS &R)
 
template<typename LHS , typename RHS >
BinaryOp_match< LHS, RHS, TargetOpcode::G_SHL, falsellvm::MIPatternMatch::m_GShl (const LHS &L, const RHS &R)
 
template<typename LHS , typename RHS >
BinaryOp_match< LHS, RHS, TargetOpcode::G_LSHR, falsellvm::MIPatternMatch::m_GLShr (const LHS &L, const RHS &R)
 
template<typename LHS , typename RHS >
BinaryOp_match< LHS, RHS, TargetOpcode::G_ASHR, falsellvm::MIPatternMatch::m_GAShr (const LHS &L, const RHS &R)
 
template<typename LHS , typename RHS >
BinaryOp_match< LHS, RHS, TargetOpcode::G_SMAX, falsellvm::MIPatternMatch::m_GSMax (const LHS &L, const RHS &R)
 
template<typename LHS , typename RHS >
BinaryOp_match< LHS, RHS, TargetOpcode::G_SMIN, falsellvm::MIPatternMatch::m_GSMin (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 >
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 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)
 
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. More...
 
template<typename SrcTy >
BinaryOp_match< SrcTy, SpecificConstantMatch, TargetOpcode::G_XOR, truellvm::MIPatternMatch::m_Not (const SrcTy &&Src)
 Matches a register not-ed by a G_XOR. More...
 

Detailed Description

Contains matchers for matching SSA Machine Instructions.

Definition in file MIPatternMatch.h.