|
LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
#include "llzk-c/Support.h"#include <mlir-c/IR.h>#include <mlir-c/Support.h>#include <stdint.h>#include "llzk/Dialect/Function/IR/Attrs.capi.h.inc"#include "llzk/Dialect/Function/IR/Ops.capi.h.inc"Go to the source code of this file.
Functions | |
| MLIR_DECLARE_CAPI_DIALECT_REGISTRATION (Function, llzk__function) | |
| Get reference to the LLZK function dialect. | |
| MLIR_CAPI_EXPORTED MlirOperation | llzkFunction_FuncDefOpCreateWithAttrsAndArgAttrs (MlirLocation loc, MlirStringRef name, MlirType type, intptr_t nAttrs, MlirNamedAttribute const *attrs, intptr_t nArgAttrs, MlirAttribute const *argAttrs) |
| Creates a FuncDefOp with the given attributes and argument attributes. | |
| LLZK_DECLARE_OP_BUILD_METHOD (Function, CallOp, intptr_t numResults, MlirType const *results, MlirAttribute name, intptr_t numOperands, MlirValue const *operands) | |
| Creates a CallOp. | |
| LLZK_DECLARE_SUFFIX_OP_BUILD_METHOD (Function, CallOp, ToCallee, MlirOperation callee, intptr_t numOperands, MlirValue const *operands) | |
| Creates a CallOp that calls the given FuncDefOp. | |
| LLZK_DECLARE_SUFFIX_OP_BUILD_METHOD (Function, CallOp, WithMapOperands, intptr_t numResults, MlirType const *results, MlirAttribute name, LlzkAffineMapOperandsBuilder mapOperands, intptr_t numArgOperands, MlirValue const *argOperands) | |
| Creates a CallOp with affine map operands. | |
| LLZK_DECLARE_SUFFIX_OP_BUILD_METHOD (Function, CallOp, ToCalleeWithMapOperands, MlirOperation callee, LlzkAffineMapOperandsBuilder mapOperands, intptr_t numArgOperands, MlirValue const *argOperands) | |
| Creates a CallOp with affine map operands to the given FuncDefOp. | |
| LLZK_DECLARE_OP_BUILD_METHOD | ( | Function | , |
| CallOp | , | ||
| intptr_t | numResults, | ||
| MlirType const * | results, | ||
| MlirAttribute | name, | ||
| intptr_t | numOperands, | ||
| MlirValue const * | operands ) |
Creates a CallOp.
| LLZK_DECLARE_SUFFIX_OP_BUILD_METHOD | ( | Function | , |
| CallOp | , | ||
| ToCallee | , | ||
| MlirOperation | callee, | ||
| intptr_t | numOperands, | ||
| MlirValue const * | operands ) |
Creates a CallOp that calls the given FuncDefOp.
| LLZK_DECLARE_SUFFIX_OP_BUILD_METHOD | ( | Function | , |
| CallOp | , | ||
| ToCalleeWithMapOperands | , | ||
| MlirOperation | callee, | ||
| LlzkAffineMapOperandsBuilder | mapOperands, | ||
| intptr_t | numArgOperands, | ||
| MlirValue const * | argOperands ) |
Creates a CallOp with affine map operands to the given FuncDefOp.
| LLZK_DECLARE_SUFFIX_OP_BUILD_METHOD | ( | Function | , |
| CallOp | , | ||
| WithMapOperands | , | ||
| intptr_t | numResults, | ||
| MlirType const * | results, | ||
| MlirAttribute | name, | ||
| LlzkAffineMapOperandsBuilder | mapOperands, | ||
| intptr_t | numArgOperands, | ||
| MlirValue const * | argOperands ) |
Creates a CallOp with affine map operands.
| MLIR_CAPI_EXPORTED MlirOperation llzkFunction_FuncDefOpCreateWithAttrsAndArgAttrs | ( | MlirLocation | location, |
| MlirStringRef | name, | ||
| MlirType | funcType, | ||
| intptr_t | numAttrs, | ||
| MlirNamedAttribute const * | attrs, | ||
| intptr_t | numArgAttrs, | ||
| MlirAttribute const * | argAttrs ) |
Creates a FuncDefOp with the given attributes and argument attributes.
Each argument attribute has to be a DictionaryAttr.
Definition at line 47 of file Function.cpp.
| MLIR_DECLARE_CAPI_DIALECT_REGISTRATION | ( | Function | , |
| llzk__function | ) |
Get reference to the LLZK function dialect.