SliceMatchers.h File Reference

#include "mlir/Analysis/SliceAnalysis.h"
#include "mlir/IR/Operation.h"

Go to the source code of this file.

Classes
class	mlir::query::matcher::BackwardSliceMatcher< Matcher >
class	mlir::query::matcher::PredicateBackwardSliceMatcher< BaseMatcher, Filter >
	Computes the backward-slice of all transitive defs reachable from rootOp, if innerMatcher matches. More...
class	mlir::query::matcher::PredicateForwardSliceMatcher< BaseMatcher, Filter >
	Computes the forward-slice of all users reachable from rootOp, if innerMatcher matches. More...

Namespaces
namespace	mlir
	Include the generated interface declarations.
namespace	mlir::query
namespace	mlir::query::matcher
	Computes the backward-slice of all transitive defs reachable from rootOp, if innerMatcher matches.

Functions
template<typename Matcher>
BackwardSliceMatcher< Matcher >	mlir::query::matcher::m_GetDefinitions (Matcher innerMatcher, int64_t maxDepth, bool inclusive, bool omitBlockArguments, bool omitUsesFromAbove)
	Matches transitive defs of a top-level operation up to N levels.
template<typename Matcher>
BackwardSliceMatcher< Matcher >	mlir::query::matcher::m_GetAllDefinitions (Matcher innerMatcher, int64_t maxDepth)
	Matches all transitive defs of a top-level operation up to N levels.
template<typename BaseMatcher, typename Filter>
PredicateBackwardSliceMatcher< BaseMatcher, Filter >	mlir::query::matcher::m_GetDefinitionsByPredicate (BaseMatcher innerMatcher, Filter filterMatcher, bool inclusive, bool omitBlockArguments, bool omitUsesFromAbove)
	Matches all transitive defs of a top-level operation and stops where filterMatcher rejects.
template<typename BaseMatcher, typename Filter>
PredicateForwardSliceMatcher< BaseMatcher, Filter >	mlir::query::matcher::m_GetUsersByPredicate (BaseMatcher innerMatcher, Filter filterMatcher, bool inclusive)
	Matches all users of a top-level operation and stops where filterMatcher rejects.