|
LLZK 3.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 *, const LLZKDialectVersion ¤t, const LLZKDialectVersion &requested) const |
This implements the bytecode interface for the LLZK dialect.
Definition at line 69 of file Versioning.h.
|
inline |
Definition at line 71 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 88 of file Versioning.h.
|
inlinevirtual |
Definition at line 116 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 101 of file Versioning.h.
|
inlineoverride |
Writes the current version of the LLZK-lib to the given writer.
Definition at line 74 of file Versioning.h.