|
LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
This implements the bytecode interface for the LLZK dialect. More...
#include <Versioning.h>
Public Member Functions | |
| LLZKDialectBytecodeInterface (mlir::Dialect *dia) | |
| void | writeVersion (mlir::DialectBytecodeWriter &writer) const override |
| Writes the current version of the LLZK-lib to the given writer. | |
| std::unique_ptr< mlir::DialectVersion > | readVersion (mlir::DialectBytecodeReader &reader) const override |
| Read the version of this dialect from the provided reader and return it as a unique_ptr to a dialect version object (or nullptr on failure). | |
| mlir::LogicalResult | upgradeFromVersion (mlir::Operation *rootOp, const mlir::DialectVersion &version) const final |
| Hook invoked for each custom dialect after parsing is completed if a version directive was present and included an entry for the current dialect. | |
| virtual mlir::LogicalResult | upgradeFromVersion (mlir::Operation *rootOp, const LLZKDialectVersion ¤t, const LLZKDialectVersion &requested) const |
This implements the bytecode interface for the LLZK dialect.
Definition at line 40 of file Versioning.h.
|
inline |
Definition at line 42 of file Versioning.h.
|
inlineoverride |
Read the version of this dialect from the provided reader and return it as a unique_ptr to a dialect version object (or nullptr on failure).
Definition at line 59 of file Versioning.h.
|
inlinevirtual |
Definition at line 87 of file Versioning.h.
|
inlinefinal |
Hook invoked for each custom dialect after parsing is completed if a version directive was present and included an entry for the current dialect.
This hook offers the opportunity for the dialect to visit the IR and upgrade constructs emitted by the provided version of the dialect to the current version.
Definition at line 72 of file Versioning.h.
|
inlineoverride |
Writes the current version of the LLZK-lib to the given writer.
Definition at line 45 of file Versioning.h.