|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
#include "llzk-c/Dialect/POD.h"#include "llzk-c/Support.h"#include "llzk/CAPI/Builder.h"#include "llzk/CAPI/Support.h"#include "llzk/Dialect/POD/IR/Ops.h"#include "llzk/Dialect/POD/IR/Types.h"#include "llzk/Dialect/POD/Transforms/TransformationPasses.h"#include <mlir-c/BuiltinAttributes.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/Support.h>#include <mlir/CAPI/Wrap.h>#include <mlir/IR/Attributes.h>#include <mlir/IR/Diagnostics.h>#include <mlir/Support/LLVM.h>#include <llvm/ADT/STLExtras.h>#include <llvm/ADT/SmallVectorExtras.h>#include <cstdint>#include "llzk/Dialect/POD/IR/Attrs.capi.cpp.inc"#include "llzk/Dialect/POD/IR/Ops.capi.cpp.inc"#include "llzk/Dialect/POD/IR/Types.capi.cpp.inc"#include "llzk/Dialect/POD/Transforms/TransformationPasses.capi.cpp.inc"Go to the source code of this file.
Functions | |
| MlirAttribute | llzkPod_RecordAttrGetInferredContext (MlirIdentifier name, MlirType type) |
| Creates a new llzk::pod::RecordAttr using the MlirContext of the given type. | |
| MlirType | llzkPod_PodTypeGetFromInitialValues (MlirContext context, intptr_t nRecords, LlzkRecordValue const *records) |
| Creates an llzk::pod::PodType using a list of values for inferring the records. | |
| void | llzkPod_PodTypeGetRecords (MlirType type, MlirAttribute *dst) |
| Writes the records into the given array that must have been previously allocated with enough space. | |
| MlirType | llzkPod_PodTypeLookupRecord (MlirType type, MlirStringRef name) |
| Lookups a record type by name. | |
| MlirType | llzkPod_PodTypeLookupRecordWithinLocation (MlirType type, MlirStringRef name, MlirLocation loc) |
| Lookups a record type by name. | |
| MlirType | llzkPod_PodTypeLookupRecordWithinOperation (MlirType type, MlirStringRef name, MlirOperation op) |
| Lookups a record type by name. | |
| LLZK_DEFINE_SUFFIX_OP_BUILD_METHOD (Pod, NewPodOp, InferredFromInitialValues, intptr_t nValues, LlzkRecordValue const *values) | |
| LLZK_DEFINE_OP_BUILD_METHOD (Pod, NewPodOp, MlirType type, intptr_t nValues, LlzkRecordValue const *values) | |
| LLZK_DEFINE_SUFFIX_OP_BUILD_METHOD (Pod, NewPodOp, WithMapOperands, MlirType type, intptr_t nValues, LlzkRecordValue const *values, LlzkAffineMapOperandsBuilder mapOperands) | |
| LLZK_DEFINE_OP_BUILD_METHOD | ( | Pod | , |
| NewPodOp | , | ||
| MlirType | type, | ||
| intptr_t | nValues, | ||
| LlzkRecordValue const * | values ) |
| LLZK_DEFINE_SUFFIX_OP_BUILD_METHOD | ( | Pod | , |
| NewPodOp | , | ||
| InferredFromInitialValues | , | ||
| intptr_t | nValues, | ||
| LlzkRecordValue const * | values ) |
| LLZK_DEFINE_SUFFIX_OP_BUILD_METHOD | ( | Pod | , |
| NewPodOp | , | ||
| WithMapOperands | , | ||
| MlirType | type, | ||
| intptr_t | nValues, | ||
| LlzkRecordValue const * | values, | ||
| LlzkAffineMapOperandsBuilder | mapOperands ) |
| MlirType llzkPod_PodTypeGetFromInitialValues | ( | MlirContext | context, |
| intptr_t | nRecords, | ||
| LlzkRecordValue const * | records ) |
Creates an llzk::pod::PodType using a list of values for inferring the records.
| void llzkPod_PodTypeGetRecords | ( | MlirType | type, |
| MlirAttribute * | dst ) |
Writes the records into the given array that must have been previously allocated with enough space.
| MlirType llzkPod_PodTypeLookupRecord | ( | MlirType | type, |
| MlirStringRef | name ) |
| MlirType llzkPod_PodTypeLookupRecordWithinLocation | ( | MlirType | type, |
| MlirStringRef | name, | ||
| MlirLocation | loc ) |
| MlirType llzkPod_PodTypeLookupRecordWithinOperation | ( | MlirType | type, |
| MlirStringRef | name, | ||
| MlirOperation | op ) |