LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
llzk::LLZKDialectBytecodeInterface< DialectTy > Struct Template Reference

This implements the bytecode interface for the LLZK dialect. More...

#include <Versioning.h>

Inheritance diagram for llzk::LLZKDialectBytecodeInterface< DialectTy >:
[legend]
Collaboration diagram for llzk::LLZKDialectBytecodeInterface< DialectTy >:
[legend]

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.
 

Detailed Description

template<typename DialectTy>
struct llzk::LLZKDialectBytecodeInterface< DialectTy >

This implements the bytecode interface for the LLZK dialect.

Definition at line 36 of file Versioning.h.

Constructor & Destructor Documentation

◆ LLZKDialectBytecodeInterface()

template<typename DialectTy>
llzk::LLZKDialectBytecodeInterface< DialectTy >::LLZKDialectBytecodeInterface ( mlir::Dialect * dialect)
inline

Definition at line 38 of file Versioning.h.

Member Function Documentation

◆ readVersion()

template<typename DialectTy>
std::unique_ptr< mlir::DialectVersion > llzk::LLZKDialectBytecodeInterface< DialectTy >::readVersion ( mlir::DialectBytecodeReader & reader) const
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.

◆ upgradeFromVersion()

template<typename DialectTy>
mlir::LogicalResult llzk::LLZKDialectBytecodeInterface< DialectTy >::upgradeFromVersion ( mlir::Operation * topLevelOp,
const mlir::DialectVersion & version ) const
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.

◆ writeVersion()

template<typename DialectTy>
void llzk::LLZKDialectBytecodeInterface< DialectTy >::writeVersion ( mlir::DialectBytecodeWriter & writer) const
inlineoverride

Writes the current version of the LLZK-lib to the given writer.

Definition at line 41 of file Versioning.h.


The documentation for this struct was generated from the following file: