maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[MLIR] Add generic walk support to OpState 

- This allows calling the generic walkers on specific operation instances.

Differential Revision: https://reviews.llvm.org/D117949
This commit is contained in:
Rahul Joshi 2022-01-22 06:00:29 -08:00
parent d3932c690d
commit adb6494660
1 changed files with 31 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

32
mlir/include/mlir/IR/OpDefinition.h
View File

@ -157,10 +157,40 @@ public:
/// See Operation::walk for more details.
template <WalkOrder Order = WalkOrder::PostOrder, typename FnT,
typename RetT = detail::walkResultType<FnT>>
RetT walk(FnT &&callback) {
typename std::enable_if<
llvm::function_traits<std::decay_t<FnT>>::num_args == 1, RetT>::type
walk(FnT &&callback) {
return state->walk<Order>(std::forward<FnT>(callback));
}
/// Generic walker with a stage aware callback. Walk the operation by calling
/// the callback for each nested operation (including this one) N+1 times,
/// where N is the number of regions attached to that operation.
///
/// The callback method can take any of the following forms:
/// void(Operation *, const WalkStage &) : Walk all operation opaquely
/// * op.walk([](Operation *nestedOp, const WalkStage &stage) { ...});
/// void(OpT, const WalkStage &) : Walk all operations of the given derived
/// type.
/// * op.walk([](ReturnOp returnOp, const WalkStage &stage) { ...});
/// WalkResult(Operation*|OpT, const WalkStage &stage) : Walk operations,
/// but allow for interruption/skipping.
/// * op.walk([](... op, const WalkStage &stage) {
/// // Skip the walk of this op based on some invariant.
/// if (some_invariant)
/// return WalkResult::skip();
/// // Interrupt, i.e cancel, the walk based on some invariant.
/// if (another_invariant)
/// return WalkResult::interrupt();
/// return WalkResult::advance();
/// });
template <typename FnT, typename RetT = detail::walkResultType<FnT>>
typename std::enable_if<
llvm::function_traits<std::decay_t<FnT>>::num_args == 2, RetT>::type
walk(FnT &&callback) {
return state->walk(std::forward<FnT>(callback));
}
// These are default implementations of customization hooks.
public:
/// This hook returns any canonicalization pattern rewrites that the operation