LLZK 0.1.0
Veridise's ZK Language IR
|
#include "llzk/Dialect/Array/Transforms/TransformationPasses.capi.h.inc"
#include "llzk-c/Support.h"
#include <mlir-c/IR.h>
#include <stdint.h>
Go to the source code of this file.
Functions | |
MLIR_DECLARE_CAPI_DIALECT_REGISTRATION (Array, llzk__array) | |
MLIR_CAPI_EXPORTED MlirType | llzkArrayTypeGet (MlirType type, intptr_t nDims, MlirAttribute const *dims) |
Creates an llzk::array::ArrayType using a list of attributes as dimensions. | |
LLZK_DECLARE_TYPE_ISA (ArrayType) | |
Returns true if the type is an llzk::array::ArrayType. | |
MLIR_CAPI_EXPORTED MlirType | llzkArrayTypeGetWithNumericDims (MlirType type, intptr_t nDims, int64_t const *dims) |
Creates an llzk::array::ArrayType using a list of numbers as dimensions. | |
MLIR_CAPI_EXPORTED MlirType | llzkArrayTypeGetElementType (MlirType type) |
Returns the element type of an llzk::array::ArrayType. | |
MLIR_CAPI_EXPORTED intptr_t | llzkArrayTypeGetNumDims (MlirType type) |
Returns the number of dimensions of an llzk::array::ArrayType. | |
MLIR_CAPI_EXPORTED MlirAttribute | llzkArrayTypeGetDim (MlirType type, intptr_t dim) |
Returns the n-th dimention of an llzk::array::ArrayType. | |
LLZK_DECLARE_SUFFIX_OP_BUILD_METHOD (CreateArrayOp, WithValues, MlirType arrType, intptr_t nValues, MlirValue const *values) | |
Creates a CreateArrayOp from a list of Values. | |
LLZK_DECLARE_SUFFIX_OP_BUILD_METHOD (CreateArrayOp, WithMapOperands, MlirType arrType, intptr_t nMapOperands, MlirValueRange const *mapOperands, MlirAttribute dimsPerMap) | |
Creates a CreateArrayOp with its size information declared with AffineMaps and operands. | |
LLZK_DECLARE_SUFFIX_OP_BUILD_METHOD (CreateArrayOp, WithMapOperandsAndDims, MlirType arrType, intptr_t nMapOperands, MlirValueRange const *mapOperands, intptr_t nDimsPerMap, int32_t const *dimsPerMap) | |
Creates a CreateArrayOp with its size information declared with AffineMaps and operands. | |
LLZK_DECLARE_SUFFIX_OP_BUILD_METHOD | ( | CreateArrayOp | , |
WithMapOperands | , | ||
MlirType | arrType, | ||
intptr_t | nMapOperands, | ||
MlirValueRange const * | mapOperands, | ||
MlirAttribute | dimsPerMap ) |
Creates a CreateArrayOp with its size information declared with AffineMaps and operands.
The Attribute argument must be a DenseI32ArrayAttr.
LLZK_DECLARE_SUFFIX_OP_BUILD_METHOD | ( | CreateArrayOp | , |
WithMapOperandsAndDims | , | ||
MlirType | arrType, | ||
intptr_t | nMapOperands, | ||
MlirValueRange const * | mapOperands, | ||
intptr_t | nDimsPerMap, | ||
int32_t const * | dimsPerMap ) |
Creates a CreateArrayOp with its size information declared with AffineMaps and operands.
LLZK_DECLARE_SUFFIX_OP_BUILD_METHOD | ( | CreateArrayOp | , |
WithValues | , | ||
MlirType | arrType, | ||
intptr_t | nValues, | ||
MlirValue const * | values ) |
Creates a CreateArrayOp from a list of Values.
LLZK_DECLARE_TYPE_ISA | ( | ArrayType | ) |
Returns true if the type is an llzk::array::ArrayType.
MLIR_CAPI_EXPORTED MlirType llzkArrayTypeGet | ( | MlirType | type, |
intptr_t | nDims, | ||
MlirAttribute const * | dims ) |
Creates an llzk::array::ArrayType using a list of attributes as dimensions.
MLIR_CAPI_EXPORTED MlirAttribute llzkArrayTypeGetDim | ( | MlirType | type, |
intptr_t | dim ) |
Returns the n-th dimention of an llzk::array::ArrayType.
MLIR_CAPI_EXPORTED MlirType llzkArrayTypeGetElementType | ( | MlirType | type | ) |
Returns the element type of an llzk::array::ArrayType.
MLIR_CAPI_EXPORTED intptr_t llzkArrayTypeGetNumDims | ( | MlirType | type | ) |
Returns the number of dimensions of an llzk::array::ArrayType.
MLIR_CAPI_EXPORTED MlirType llzkArrayTypeGetWithNumericDims | ( | MlirType | type, |
intptr_t | nDims, | ||
int64_t const * | dims ) |
Creates an llzk::array::ArrayType using a list of numbers as dimensions.
MLIR_DECLARE_CAPI_DIALECT_REGISTRATION | ( | Array | , |
llzk__array | ) |