|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
#include <mlir/Bytecode/BytecodeImplementation.h>#include <llvm/ADT/APInt.h>#include <limits>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. | |