LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Versioning.h File Reference
#include <mlir/Bytecode/BytecodeImplementation.h>
#include <llvm/ADT/APInt.h>
#include <limits>
Include dependency graph for Versioning.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  llzk::LLZKDialectVersion
struct  llzk::LLZKDialectBytecodeInterface< DialectTy >
 This implements the bytecode interface for the LLZK dialect. More...

Namespaces

namespace  llzk

Functions

void llzk::writeAPInt (mlir::DialectBytecodeWriter &writer, const llvm::APInt &value)
 Write an APInt with its bit width, so the bytecode reader can use MLIR's native APInt payload encoding instead of falling back to decimal assembly.
mlir::FailureOr< llvm::APInt > llzk::readAPInt (mlir::DialectBytecodeReader &reader)
 Read an APInt written by writeAPInt.