|
LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
#include "llzk-c/Dialect/Function.h"#include "llzk-c/Support.h"#include "llzk/CAPI/Builder.h"#include "llzk/CAPI/Support.h"#include "llzk/Dialect/Function/IR/Dialect.h"#include "llzk/Dialect/Function/IR/Ops.h"#include <mlir-c/IR.h>#include <mlir-c/Pass.h>#include <mlir/CAPI/IR.h>#include <mlir/CAPI/Pass.h>#include <mlir/CAPI/Registration.h>#include <mlir/CAPI/Wrap.h>#include <mlir/IR/Attributes.h>#include <mlir/IR/BuiltinAttributes.h>#include <llvm/ADT/SmallVectorExtras.h>#include "llzk/Dialect/Function/IR/Attrs.capi.cpp.inc"#include "llzk/Dialect/Function/IR/Ops.capi.cpp.inc"Go to the source code of this file.
Functions | |
| 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. | |
| LLZK_DEFINE_OP_BUILD_METHOD (Function, CallOp, intptr_t numResults, MlirType const *results, MlirAttribute name, intptr_t numOperands, MlirValue const *operands) | |
| LLZK_DEFINE_SUFFIX_OP_BUILD_METHOD (Function, CallOp, ToCallee, MlirOperation callee, intptr_t numOperands, MlirValue const *operands) | |
| LLZK_DEFINE_SUFFIX_OP_BUILD_METHOD (Function, CallOp, WithMapOperands, intptr_t numResults, MlirType const *results, MlirAttribute name, LlzkAffineMapOperandsBuilder mapOperands, intptr_t numArgOperands, MlirValue const *argOperands) | |
| LLZK_DEFINE_SUFFIX_OP_BUILD_METHOD (Function, CallOp, ToCalleeWithMapOperands, MlirOperation callee, LlzkAffineMapOperandsBuilder mapOperands, intptr_t numArgOperands, MlirValue const *argOperands) | |
| LLZK_DEFINE_OP_BUILD_METHOD | ( | Function | , |
| CallOp | , | ||
| intptr_t | numResults, | ||
| MlirType const * | results, | ||
| MlirAttribute | name, | ||
| intptr_t | numOperands, | ||
| MlirValue const * | operands ) |
Definition at line 75 of file Function.cpp.
| LLZK_DEFINE_SUFFIX_OP_BUILD_METHOD | ( | Function | , |
| CallOp | , | ||
| ToCallee | , | ||
| MlirOperation | callee, | ||
| intptr_t | numOperands, | ||
| MlirValue const * | operands ) |
Definition at line 89 of file Function.cpp.
| LLZK_DEFINE_SUFFIX_OP_BUILD_METHOD | ( | Function | , |
| CallOp | , | ||
| ToCalleeWithMapOperands | , | ||
| MlirOperation | callee, | ||
| LlzkAffineMapOperandsBuilder | mapOperands, | ||
| intptr_t | numArgOperands, | ||
| MlirValue const * | argOperands ) |
Definition at line 120 of file Function.cpp.
| LLZK_DEFINE_SUFFIX_OP_BUILD_METHOD | ( | Function | , |
| CallOp | , | ||
| WithMapOperands | , | ||
| intptr_t | numResults, | ||
| MlirType const * | results, | ||
| MlirAttribute | name, | ||
| LlzkAffineMapOperandsBuilder | mapOperands, | ||
| intptr_t | numArgOperands, | ||
| MlirValue const * | argOperands ) |
Definition at line 101 of file Function.cpp.
| 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.