LLZK 0.1.0
Veridise's ZK Language IR
|
Functions | |
void | walkAndApplyPatterns (Operation *op, const FrozenRewritePatternSet &patterns, RewriterBase::Listener *listener=nullptr) |
A fast walk-based pattern rewrite driver. | |
template<typename To> | |
auto | unwrap_cast (auto &from) |
auto mlir::unwrap_cast | ( | auto & | from | ) |
void mlir::walkAndApplyPatterns | ( | Operation * | op, |
const FrozenRewritePatternSet & | patterns, | ||
RewriterBase::Listener * | listener = nullptr ) |
A fast walk-based pattern rewrite driver.
Rewrites ops nested under the given operation by walking it and applying the highest benefit patterns. This rewriter does not wait until a fixpoint is reached and does not visit modified or newly replaced ops. Also does not perform folding or dead-code elimination.
This is intended as the simplest and most lightweight pattern rewriter in cases when a simple walk gets the job done.
Note: Does not apply patterns to the given operation itself.
Definition at line 78 of file WalkPatternRewriteDriver.cpp.