|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
#include "llzk-c/Support.h"#include "llzk/Dialect/LLZK/IR/AttributeHelper.h"#include <mlir-c/IR.h>#include <mlir/CAPI/IR.h>#include <mlir/IR/OperationSupport.h>#include <mlir/IR/ValueRange.h>Go to the source code of this file.
Classes | |
| class | MapOperandsHelper< N > |
| Helper for unwrapping the C arguments for the map operands. More... | |
Namespaces | |
| namespace | mlir |
Macros | |
| #define | LLZK_DEFINE_SUFFIX_OP_BUILD_METHOD(dialect, op, suffix, ...) |
| #define | LLZK_DEFINE_OP_BUILD_METHOD(dialect, op, ...) |
Functions | |
| template<typename To> | |
| auto | mlir::unwrap_cast (auto &from) |
Variables | |
| constexpr int | DEFAULT_ELTS = 5 |
| #define LLZK_DEFINE_OP_BUILD_METHOD | ( | dialect, | |
| op, | |||
| ... ) |
| #define LLZK_DEFINE_SUFFIX_OP_BUILD_METHOD | ( | dialect, | |
| op, | |||
| suffix, | |||
| ... ) |