mlir::query::matcher::PredicateBackwardSliceMatcher< BaseMatcher, Filter > Class Template Reference

Computes the backward-slice of all transitive defs reachable from rootOp, if innerMatcher matches. More...

#include "mlir/Query/Matcher/SliceMatchers.h"

Public Member Functions
	PredicateBackwardSliceMatcher (BaseMatcher innerMatcher, Filter filterMatcher, bool inclusive, bool omitBlockArguments, bool omitUsesFromAbove)
bool	match (Operation *rootOp, SetVector< Operation * > &backwardSlice)

Detailed Description

template<typename BaseMatcher, typename Filter>
class mlir::query::matcher::PredicateBackwardSliceMatcher< BaseMatcher, Filter >

Computes the backward-slice of all transitive defs reachable from rootOp, if innerMatcher matches.

Traversal stops where filterMatcher matches.

Definition at line 126 of file SliceMatchers.h.

Constructor & Destructor Documentation

PredicateBackwardSliceMatcher()

template<typename BaseMatcher, typename Filter>

mlir::query::matcher::PredicateBackwardSliceMatcher< BaseMatcher, Filter >::PredicateBackwardSliceMatcher ( BaseMatcher innerMatcher, Filter filterMatcher, bool inclusive, bool omitBlockArguments, bool omitUsesFromAbove )

inline

Definition at line 128 of file SliceMatchers.h.

Member Function Documentation

match()

template<typename BaseMatcher, typename Filter>

bool mlir::query::matcher::PredicateBackwardSliceMatcher< BaseMatcher, Filter >::match ( Operation * rootOp, SetVector< Operation * > & backwardSlice )

inline

Definition at line 136 of file SliceMatchers.h.

References mlir::getBackwardSlice(), options, and result.

---

The documentation for this class was generated from the following file:

• include/mlir/Query/Matcher/SliceMatchers.h