|
LLZK 2.1.1
An open-source IR for Zero Knowledge (ZK) circuits
|
#include "llzk-c/Support.h"#include <mlir-c/IR.h>#include "llzk/Dialect/Cast/IR/Enums.capi.h.inc"#include "llzk/Dialect/Cast/IR/Attrs.capi.h.inc"#include "llzk/Dialect/Cast/IR/Ops.capi.h.inc"Go to the source code of this file.
Functions | |
| MLIR_DECLARE_CAPI_DIALECT_REGISTRATION (Cast, llzk__cast) | |
| Get reference to the LLZK cast dialect. | |
| LLZK_DECLARE_SUFFIX_OP_BUILD_METHOD (Cast, IntToFeltOp, WithType, MlirType feltType, MlirValue value) | |
| Creates a IntToFeltOp from an input value with the specified result FeltType. | |
| LLZK_DECLARE_SUFFIX_OP_BUILD_METHOD | ( | Cast | , |
| IntToFeltOp | , | ||
| WithType | , | ||
| MlirType | feltType, | ||
| MlirValue | value ) |
Creates a IntToFeltOp from an input value with the specified result FeltType.
| MLIR_DECLARE_CAPI_DIALECT_REGISTRATION | ( | Cast | , |
| llzk__cast | ) |
Get reference to the LLZK cast dialect.