LLZK 0.1.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Array.h File Reference
#include "llzk/Dialect/Array/Transforms/TransformationPasses.capi.h.inc"
#include "llzk-c/Support.h"
#include <mlir-c/IR.h>
#include <stdint.h>
Include dependency graph for Array.h:
This graph shows which files directly or indirectly include this file:

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, LlzkAffineMapOperandsBuilder mapOperands)
 Creates a CreateArrayOp with its size information declared with AffineMaps and operands.

Function Documentation

◆ LLZK_DECLARE_SUFFIX_OP_BUILD_METHOD() [1/2]

LLZK_DECLARE_SUFFIX_OP_BUILD_METHOD ( CreateArrayOp ,
WithMapOperands ,
MlirType arrType,
LlzkAffineMapOperandsBuilder mapOperands )

Creates a CreateArrayOp with its size information declared with AffineMaps and operands.

◆ LLZK_DECLARE_SUFFIX_OP_BUILD_METHOD() [2/2]

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()

LLZK_DECLARE_TYPE_ISA ( ArrayType )

Returns true if the type is an llzk::array::ArrayType.

◆ llzkArrayTypeGet()

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.

Definition at line 42 of file Array.cpp.

◆ llzkArrayTypeGetDim()

MLIR_CAPI_EXPORTED MlirAttribute llzkArrayTypeGetDim ( MlirType type,
intptr_t dim )

Returns the n-th dimention of an llzk::array::ArrayType.

Definition at line 62 of file Array.cpp.

◆ llzkArrayTypeGetElementType()

MLIR_CAPI_EXPORTED MlirType llzkArrayTypeGetElementType ( MlirType type)

Returns the element type of an llzk::array::ArrayType.

Definition at line 54 of file Array.cpp.

◆ llzkArrayTypeGetNumDims()

MLIR_CAPI_EXPORTED intptr_t llzkArrayTypeGetNumDims ( MlirType type)

Returns the number of dimensions of an llzk::array::ArrayType.

Definition at line 58 of file Array.cpp.

◆ llzkArrayTypeGetWithNumericDims()

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.

Definition at line 48 of file Array.cpp.

◆ MLIR_DECLARE_CAPI_DIALECT_REGISTRATION()

MLIR_DECLARE_CAPI_DIALECT_REGISTRATION ( Array ,
llzk__array  )