LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
mlir Namespace Reference

Classes

struct  FieldParser
 
struct  FieldParser< llvm::APInt >
 
struct  FieldParser<::llzk::boolean::FeltCmpPredicate, ::llzk::boolean::FeltCmpPredicate >
 
struct  FieldParser<::llzk::OutputStream, ::llzk::OutputStream >
 
struct  FieldParser<::llzk::polymorphic::StructCleanupMode, ::llzk::polymorphic::StructCleanupMode >
 
class  OpInterface
 

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)
 

Function Documentation

◆ unwrap_cast()

template<typename To>
auto mlir::unwrap_cast ( auto & from)

Definition at line 30 of file Support.h.

◆ walkAndApplyPatterns()

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.