|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
#include "llzk/Util/DynamicAPIntHelper.h"#include <mlir/Bytecode/BytecodeImplementation.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::writeDynamicAPInt (mlir::DialectBytecodeWriter &writer, const llvm::DynamicAPInt &value) |
| Write the minimal signed two's-complement encoding of a mathematical integer. | |
| mlir::FailureOr< llvm::DynamicAPInt > | llzk::readDynamicAPInt (mlir::DialectBytecodeReader &reader) |
| Decode a signed integer, rejecting invalid widths before allocating storage. | |