MLIR  19.0.0git
Classes | Namespaces | Typedefs | Functions
Matchers.h File Reference
#include "mlir/IR/BuiltinAttributes.h"
#include "mlir/IR/BuiltinTypes.h"
#include "mlir/IR/OpDefinition.h"

Go to the source code of this file.

Classes

struct  mlir::detail::attr_value_binder< AttrClass, ValueType, typename >
 The matcher that matches a certain kind of Attribute and binds the value inside the Attribute. More...
 
struct  mlir::detail::constant_op_matcher
 The matcher that matches operations that have the ConstantLike trait. More...
 
struct  mlir::detail::NameOpMatcher
 The matcher that matches operations that have the specified op name. More...
 
struct  mlir::detail::AttrOpMatcher
 The matcher that matches operations that have the specified attribute name. More...
 
struct  mlir::detail::constant_op_binder< AttrT >
 The matcher that matches operations that have the ConstantLike trait, and binds the folded attribute value. More...
 
struct  mlir::detail::AttrOpBinder< AttrT >
 The matcher that matches operations that have the specified attribute name, and binds the attribute value. More...
 
struct  mlir::detail::constant_float_value_binder
 The matcher that matches a constant scalar / vector splat / tensor splat float Attribute or Operation and binds the constant float value. More...
 
struct  mlir::detail::constant_float_predicate_matcher
 The matcher that matches a given target constant scalar / vector splat / tensor splat float value that fulfills a predicate. More...
 
struct  mlir::detail::constant_int_value_binder
 The matcher that matches a constant scalar / vector splat / tensor splat integer Attribute or Operation and binds the constant integer value. More...
 
struct  mlir::detail::constant_int_predicate_matcher
 The matcher that matches a given target constant scalar / vector splat / tensor splat integer value that fulfills a predicate. More...
 
struct  mlir::detail::op_matcher< OpClass >
 The matcher that matches a certain kind of op. More...
 
struct  mlir::detail::AnyValueMatcher
 Terminal matcher, always returns true. More...
 
struct  mlir::detail::AnyCapturedValueMatcher
 Terminal matcher, always returns true. More...
 
struct  mlir::detail::PatternMatcherValue
 Binds to a specific value and matches it. More...
 
struct  mlir::detail::RecursivePatternMatcher< OpType, OperandMatchers >
 RecursivePatternMatcher that composes. More...
 

Namespaces

 mlir
 Include the generated interface declarations.
 
 mlir::detail
 Detect if any of the given parameter types has a sub-element handler.
 
 mlir::matchers
 

Typedefs

template<typename T , typename MatchTarget >
using mlir::detail::has_compatible_matcher_t = decltype(std::declval< T >().match(std::declval< MatchTarget >()))
 Trait to check whether T provides a 'match' method with type MatchTarget (Value, Operation, or Attribute). More...
 

Functions

template<typename MatcherClass >
std::enable_if_t< llvm::is_detected< detail::has_compatible_matcher_t, MatcherClass, Value >::value, bool > mlir::detail::matchOperandOrValueAtIndex (Operation *op, unsigned idx, MatcherClass &matcher)
 Statically switch to a Value matcher. More...
 
template<typename MatcherClass >
std::enable_if_t< llvm::is_detected< detail::has_compatible_matcher_t, MatcherClass, Operation * >::value, bool > mlir::detail::matchOperandOrValueAtIndex (Operation *op, unsigned idx, MatcherClass &matcher)
 Statically switch to an Operation matcher. More...
 
template<typename TupleT , class CallbackT , std::size_t... Is>
constexpr void mlir::detail::enumerateImpl (TupleT &&tuple, CallbackT &&callback, std::index_sequence< Is... >)
 
template<typename... Tys, typename CallbackT >
constexpr void mlir::detail::enumerate (std::tuple< Tys... > &tuple, CallbackT &&callback)
 
detail::constant_op_matcher mlir::m_Constant ()
 Matches a constant foldable operation. More...
 
detail::AttrOpMatcher mlir::m_Attr (StringRef attrName)
 Matches a named attribute operation. More...
 
detail::NameOpMatcher mlir::m_Op (StringRef opName)
 Matches a named operation. More...
 
template<typename AttrT >
detail::constant_op_binder< AttrT > mlir::m_Constant (AttrT *bind_value)
 Matches a value from a constant foldable operation and writes the value to bind_value. More...
 
template<typename AttrT >
detail::AttrOpBinder< AttrT > mlir::m_Attr (StringRef attrName, AttrT *bindValue)
 Matches a named attribute operation and writes the value to bind_value. More...
 
detail::constant_float_predicate_matcher mlir::m_AnyZeroFloat ()
 Matches a constant scalar / vector splat / tensor splat float (both positive and negative) zero. More...
 
detail::constant_float_predicate_matcher mlir::m_PosZeroFloat ()
 Matches a constant scalar / vector splat / tensor splat float positive zero. More...
 
detail::constant_float_predicate_matcher mlir::m_NegZeroFloat ()
 Matches a constant scalar / vector splat / tensor splat float negative zero. More...
 
detail::constant_float_predicate_matcher mlir::m_OneFloat ()
 Matches a constant scalar / vector splat / tensor splat float ones. More...
 
detail::constant_float_predicate_matcher mlir::m_PosInfFloat ()
 Matches a constant scalar / vector splat / tensor splat float positive infinity. More...
 
detail::constant_float_predicate_matcher mlir::m_NegInfFloat ()
 Matches a constant scalar / vector splat / tensor splat float negative infinity. More...
 
detail::constant_int_predicate_matcher mlir::m_Zero ()
 Matches a constant scalar / vector splat / tensor splat integer zero. More...
 
detail::constant_int_predicate_matcher mlir::m_NonZero ()
 Matches a constant scalar / vector splat / tensor splat integer that is any non-zero value. More...
 
detail::constant_int_predicate_matcher mlir::m_One ()
 Matches a constant scalar / vector splat / tensor splat integer one. More...
 
template<typename OpClass >
detail::op_matcher< OpClass > mlir::m_Op ()
 Matches the given OpClass. More...
 
template<typename Pattern >
bool mlir::matchPattern (Value value, const Pattern &pattern)
 Entry point for matching a pattern over a Value. More...
 
template<typename Pattern >
bool mlir::matchPattern (Operation *op, const Pattern &pattern)
 Entry point for matching a pattern over an Operation. More...
 
template<typename Pattern >
bool mlir::matchPattern (Attribute attr, const Pattern &pattern)
 Entry point for matching a pattern over an Attribute. More...
 
detail::constant_float_value_binder mlir::m_ConstantFloat (FloatAttr::ValueType *bind_value)
 Matches a constant holding a scalar/vector/tensor float (splat) and writes the float value to bind_value. More...
 
detail::constant_int_value_binder mlir::m_ConstantInt (IntegerAttr::ValueType *bind_value)
 Matches a constant holding a scalar/vector/tensor integer (splat) and writes the integer value to bind_value. More...
 
template<typename OpType , typename... Matchers>
auto mlir::m_Op (Matchers... matchers)
 
auto mlir::matchers::m_Any ()
 
auto mlir::matchers::m_Any (Value *val)
 
auto mlir::matchers::m_Val (Value v)