dataflow_matcher.h File Reference

A pattern matcher for matching dataflow properties. More...

#include <tvm/ffi/function.h>
#include <tvm/ffi/optional.h>
#include <tvm/relax/dataflow_pattern.h>
#include <memory>

Include dependency graph for dataflow_matcher.h:

Go to the source code of this file.

Namespaces
	tvm
	Performance counters for profiling via the PAPI library.
	tvm::relax

Functions
bool	tvm::relax::MatchExpr (DFPattern pattern, Expr expr, ffi::Optional< ffi::Map< Var, Expr >> bindings=std::nullopt)
	Determine if a pattern matches an expression. More...
ffi::Optional< ffi::Map< DFPattern, Expr > >	tvm::relax::ExtractMatchedExpr (DFPattern pattern, Expr expr, ffi::Optional< ffi::Map< Var, Expr >> bindings=std::nullopt)
ffi::Optional< ffi::Map< DFPattern, Var > >	tvm::relax::MatchGraph (const PatternContext &ctx, const DataflowBlock &dfb)
	Match a sub-graph in a DataflowBlock with a graph of patterns and return the mapping. More...
Function	tvm::relax::RewriteBindings (const PatternContext &ctx, ffi::TypedFunction< ffi::Map< Var, Expr >(ffi::Map< DFPattern, Var >, ffi::Map< Var, Expr >)> rewriter, Function f)
	Rewrite a function with the given pattern and the rewriter function. More...
Function	tvm::relax::RewriteCall (const DFPattern &pattern, ffi::TypedFunction< Expr(Expr, ffi::Map< DFPattern, Expr >)> rewriter, Function func)
	Rewrite a function with the given pattern and the rewriter function. More...

Detailed Description

A pattern matcher for matching dataflow properties.