LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
WalkPatternRewriteDriver.cpp File Reference
#include "llzk/Transforms/WalkPatternRewriteDriver.h"
#include "llvm/Support/Debug.h"
#include "llvm/Support/ErrorHandling.h"
#include "mlir/IR/MLIRContext.h"
#include "mlir/IR/OperationSupport.h"
#include "mlir/IR/PatternMatch.h"
#include "mlir/IR/Verifier.h"
#include "mlir/IR/Visitors.h"
#include "mlir/Rewrite/PatternApplicator.h"
Include dependency graph for WalkPatternRewriteDriver.cpp:

Go to the source code of this file.

Namespaces

namespace  mlir
 

Macros

#define DEBUG_TYPE   "walk-rewriter"
 

Functions

void mlir::walkAndApplyPatterns (Operation *op, const FrozenRewritePatternSet &patterns, RewriterBase::Listener *listener=nullptr)
 A fast walk-based pattern rewrite driver.
 

Macro Definition Documentation

◆ DEBUG_TYPE

#define DEBUG_TYPE   "walk-rewriter"

Definition at line 31 of file WalkPatternRewriteDriver.cpp.