LLZK 0.1.0
Veridise's ZK Language IR
|
This implements the bytecode interface for the LLZK dialect. More...
#include <Versioning.h>
Public Member Functions | |
LLZKDialectBytecodeInterface (mlir::Dialect *dialect) | |
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 *topLevelOp, const mlir::DialectVersion &version) const override |
Hook invoked after parsing completed, if a version directive was present and included an entry for the current dialect. | |
This implements the bytecode interface for the LLZK dialect.
Definition at line 36 of file Versioning.h.
|
inline |
Definition at line 38 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 54 of file Versioning.h.
|
inlineoverride |
Hook invoked after parsing completed, if a version directive was present and included an entry for the current dialect.
This hook offers the opportunity to the dialect to visit the IR and upgrades constructs emitted by the version of the dialect corresponding to the provided version.
Definition at line 67 of file Versioning.h.
|
inlineoverride |
Writes the current version of the LLZK-lib to the given writer.
Definition at line 41 of file Versioning.h.