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(), and options.

---

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

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