|
LLZK 3.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. | |
| LLZK_DECLARE_SUFFIX_OP_BUILD_METHOD (Function, FuncDefOp, WithAttrsAndArgAttrs, MlirStringRef name, MlirType type, intptr_t numAttrs, MlirNamedAttribute const *attrs, intptr_t numArgAttrs, MlirAttribute const *argAttrs) | |
| Builds a FuncDefOp with the given attributes and argument attributes. | |
| LLZK_DECLARE_SUFFIX_OP_BUILD_METHOD (Function, FuncDefOp, WithAttrs, MlirStringRef name, MlirType type, intptr_t numAttrs, MlirNamedAttribute const *attrs) | |
| Builds a FuncDefOp with the given attributes. | |
| LLZK_DECLARE_SUFFIX_OP_BUILD_METHOD (Function, FuncDefOp, WithArgAttrs, MlirStringRef name, MlirType type, intptr_t numArgAttrs, MlirAttribute const *argAttrs) | |
| Builds a FuncDefOp with the given argument attributes. | |
| LLZK_DECLARE_SUFFIX_OP_BUILD_METHOD (Function, FuncDefOp, WithoutAttrs, MlirStringRef name, MlirType type) | |
| Builds a FuncDefOp. | |
| MLIR_CAPI_EXPORTED MlirAttribute | llzkFunction_FuncDefOpGetArgNameAttr (MlirOperation op, unsigned index) |
| Returns the function.arg_name StringAttr for the argument at the given index, or null if the argument has no function.arg_name attribute. | |
| MLIR_CAPI_EXPORTED void | llzkFunction_FuncDefOpSetArgNameAttr (MlirOperation op, unsigned index, MlirAttribute attr) |
| Sets the function.arg_name attribute for the argument at the given index. | |
| MLIR_CAPI_EXPORTED void | llzkFunction_FuncDefOpSetArgName (MlirOperation op, unsigned index, MlirStringRef name) |
| Sets the function.arg_name attribute for the argument at the given index from a string value. | |
| MLIR_CAPI_EXPORTED MlirAttribute | llzkFunction_FuncDefOpGetResNameAttr (MlirOperation op, unsigned index) |
| Returns the function.res_name StringAttr for the result at the given index, or null if the result has no function.res_name attribute. | |
| MLIR_CAPI_EXPORTED void | llzkFunction_FuncDefOpSetResNameAttr (MlirOperation op, unsigned index, MlirAttribute attr) |
| Sets the function.res_name attribute for the result at the given index. | |
| MLIR_CAPI_EXPORTED void | llzkFunction_FuncDefOpSetResName (MlirOperation op, unsigned index, MlirStringRef name) |
| Sets the function.res_name attribute for the result at the given index from a string value. | |
| 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 targeting 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 targeting the given FuncDefOp with affine map operands. | |
| LLZK_DECLARE_SUFFIX_OP_BUILD_METHOD (Function, CallOp, WithTemplateParams, intptr_t numResults, MlirType const *results, MlirAttribute name, intptr_t numTemplateParams, MlirAttribute const *templateParams, intptr_t numArgOperands, MlirValue const *argOperands) | |
| Creates a CallOp with templateParams attributes. | |
| LLZK_DECLARE_SUFFIX_OP_BUILD_METHOD (Function, CallOp, ToCalleeWithTemplateParams, MlirOperation callee, intptr_t numTemplateParams, MlirAttribute const *templateParams, intptr_t numArgOperands, MlirValue const *argOperands) | |
| Creates a CallOp targeting the given FuncDefOp with templateParams attributes. | |
| MLIR_CAPI_EXPORTED MlirType | llzkFunction_CallOpGetTypeSignature (MlirOperation inp) |
| Return the FunctionType inferred from the arg operands and result types of this CallOp. | |
| 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 targeting 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 targeting the given FuncDefOp with affine map operands.
| LLZK_DECLARE_SUFFIX_OP_BUILD_METHOD | ( | Function | , |
| CallOp | , | ||
| ToCalleeWithTemplateParams | , | ||
| MlirOperation | callee, | ||
| intptr_t | numTemplateParams, | ||
| MlirAttribute const * | templateParams, | ||
| intptr_t | numArgOperands, | ||
| MlirValue const * | argOperands ) |
Creates a CallOp targeting the given FuncDefOp with templateParams attributes.
| 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 | , | ||
| WithTemplateParams | , | ||
| intptr_t | numResults, | ||
| MlirType const * | results, | ||
| MlirAttribute | name, | ||
| intptr_t | numTemplateParams, | ||
| MlirAttribute const * | templateParams, | ||
| intptr_t | numArgOperands, | ||
| MlirValue const * | argOperands ) |
Creates a CallOp with templateParams attributes.
| LLZK_DECLARE_SUFFIX_OP_BUILD_METHOD | ( | Function | , |
| FuncDefOp | , | ||
| WithArgAttrs | , | ||
| MlirStringRef | name, | ||
| MlirType | type, | ||
| intptr_t | numArgAttrs, | ||
| MlirAttribute const * | argAttrs ) |
Builds a FuncDefOp with the given argument attributes.
Each argument attribute must be a DictionaryAttr.
| LLZK_DECLARE_SUFFIX_OP_BUILD_METHOD | ( | Function | , |
| FuncDefOp | , | ||
| WithAttrs | , | ||
| MlirStringRef | name, | ||
| MlirType | type, | ||
| intptr_t | numAttrs, | ||
| MlirNamedAttribute const * | attrs ) |
Builds a FuncDefOp with the given attributes.
| LLZK_DECLARE_SUFFIX_OP_BUILD_METHOD | ( | Function | , |
| FuncDefOp | , | ||
| WithAttrsAndArgAttrs | , | ||
| MlirStringRef | name, | ||
| MlirType | type, | ||
| intptr_t | numAttrs, | ||
| MlirNamedAttribute const * | attrs, | ||
| intptr_t | numArgAttrs, | ||
| MlirAttribute const * | argAttrs ) |
Builds a FuncDefOp with the given attributes and argument attributes.
Each argument attribute must be a DictionaryAttr.
| LLZK_DECLARE_SUFFIX_OP_BUILD_METHOD | ( | Function | , |
| FuncDefOp | , | ||
| WithoutAttrs | , | ||
| MlirStringRef | name, | ||
| MlirType | type ) |
Builds a FuncDefOp.
| MLIR_CAPI_EXPORTED MlirType llzkFunction_CallOpGetTypeSignature | ( | MlirOperation | inp | ) |
Return the FunctionType inferred from the arg operands and result types of this CallOp.
This is not necessarily the same as the callee's FunctionType but should unify with it or else IR verification will fail.
Definition at line 236 of file Function.cpp.
| MLIR_CAPI_EXPORTED MlirAttribute llzkFunction_FuncDefOpGetArgNameAttr | ( | MlirOperation | op, |
| unsigned | index ) |
Returns the function.arg_name StringAttr for the argument at the given index, or null if the argument has no function.arg_name attribute.
Definition at line 93 of file Function.cpp.
| MLIR_CAPI_EXPORTED MlirAttribute llzkFunction_FuncDefOpGetResNameAttr | ( | MlirOperation | op, |
| unsigned | index ) |
Returns the function.res_name StringAttr for the result at the given index, or null if the result has no function.res_name attribute.
Definition at line 106 of file Function.cpp.
| MLIR_CAPI_EXPORTED void llzkFunction_FuncDefOpSetArgName | ( | MlirOperation | op, |
| unsigned | index, | ||
| MlirStringRef | name ) |
Sets the function.arg_name attribute for the argument at the given index from a string value.
Empty and duplicate names are rejected by the FuncDefOp verifier.
Definition at line 102 of file Function.cpp.
| MLIR_CAPI_EXPORTED void llzkFunction_FuncDefOpSetArgNameAttr | ( | MlirOperation | op, |
| unsigned | index, | ||
| MlirAttribute | attr ) |
Sets the function.arg_name attribute for the argument at the given index.
The attribute must be a StringAttr. Empty and duplicate names are rejected by the FuncDefOp verifier.
Definition at line 98 of file Function.cpp.
| MLIR_CAPI_EXPORTED void llzkFunction_FuncDefOpSetResName | ( | MlirOperation | op, |
| unsigned | index, | ||
| MlirStringRef | name ) |
Sets the function.res_name attribute for the result at the given index from a string value.
Empty and duplicate names are rejected by the FuncDefOp verifier.
Definition at line 115 of file Function.cpp.
| MLIR_CAPI_EXPORTED void llzkFunction_FuncDefOpSetResNameAttr | ( | MlirOperation | op, |
| unsigned | index, | ||
| MlirAttribute | attr ) |
Sets the function.res_name attribute for the result at the given index.
The attribute must be a StringAttr. Empty and duplicate names are rejected by the FuncDefOp verifier.
Definition at line 111 of file Function.cpp.
| MLIR_DECLARE_CAPI_DIALECT_REGISTRATION | ( | Function | , |
| llzk__function | ) |
Get reference to the LLZK function dialect.