LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Array.h File Reference
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)
 Get reference to the LLZK array dialect.
MLIR_CAPI_EXPORTED MlirType llzkArray_ArrayTypeGetWithDims (MlirType type, intptr_t nDims, MlirAttribute const *dims)
 Creates an llzk::array::ArrayType using a list of attributes as dimensions.
MLIR_CAPI_EXPORTED MlirType llzkArray_ArrayTypeGetWithShape (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 llzkArray_ArrayTypeGetElementType (MlirType type)
 Returns the element type of an llzk::array::ArrayType.
 LLZK_DECLARE_SUFFIX_OP_BUILD_METHOD (Array, CreateArrayOp, WithValues, MlirType arrType, intptr_t nValues, MlirValue const *values)
 Creates a CreateArrayOp from a list of Values.
 LLZK_DECLARE_SUFFIX_OP_BUILD_METHOD (Array, 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 ( Array ,
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 ( Array ,
CreateArrayOp ,
WithValues ,
MlirType arrType,
intptr_t nValues,
MlirValue const * values )

Creates a CreateArrayOp from a list of Values.

◆ llzkArray_ArrayTypeGetElementType()

MLIR_CAPI_EXPORTED MlirType llzkArray_ArrayTypeGetElementType ( MlirType inp)

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

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

Definition at line 23 of file Types.capi.cpp.inc.

◆ llzkArray_ArrayTypeGetWithDims()

MLIR_CAPI_EXPORTED MlirType llzkArray_ArrayTypeGetWithDims ( MlirType type,
intptr_t nDims,
MlirAttribute const * dims )

Creates an llzk::array::ArrayType using a list of attributes as dimensions.

Definition at line 46 of file Array.cpp.

◆ llzkArray_ArrayTypeGetWithShape()

MLIR_CAPI_EXPORTED MlirType llzkArray_ArrayTypeGetWithShape ( MlirType type,
intptr_t nDims,
int64_t const * dims )

Creates an llzk::array::ArrayType using a list of numbers as dimensions.

Definition at line 52 of file Array.cpp.

◆ MLIR_DECLARE_CAPI_DIALECT_REGISTRATION()

MLIR_DECLARE_CAPI_DIALECT_REGISTRATION ( Array ,
llzk__array  )

Get reference to the LLZK array dialect.