|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
Go to the source code of this file.
Functions | |
| MLIR_CAPI_EXPORTED bool | llzkTypeIsA_Array_ArrayType (MlirType) |
| Returns true if the Type is a llzk::array::ArrayType. | |
| MLIR_CAPI_EXPORTED MlirType | llzkArray_ArrayTypeGetElementType (MlirType) |
| Get 'elementType' parameter from a llzk::array::ArrayType Type. | |
| MLIR_CAPI_EXPORTED intptr_t | llzkArray_ArrayTypeGetDimensionSizesCount (MlirType) |
| Get count of 'dimensionSizes' parameter from a llzk::array::ArrayType Type. | |
| MLIR_CAPI_EXPORTED MlirAttribute | llzkArray_ArrayTypeGetDimensionSizesAt (MlirType, intptr_t pos) |
| Get element at index from 'dimensionSizes' parameter from a llzk::array::ArrayType Type. | |
| MLIR_CAPI_EXPORTED intptr_t | llzkArray_ArrayTypeGetShapeCount (MlirType) |
| Get count of 'shape' parameter from a llzk::array::ArrayType Type. | |
| MLIR_CAPI_EXPORTED int64_t | llzkArray_ArrayTypeGetShapeAt (MlirType, intptr_t pos) |
| Get element at index from 'shape' parameter from a llzk::array::ArrayType Type. | |
| MLIR_CAPI_EXPORTED bool | llzkArray_ArrayTypeHasRank (MlirType inp) |
| Returns if this type is ranked, i.e., it has a known number of dimensions. | |
| MLIR_CAPI_EXPORTED MlirType | llzkArray_ArrayTypeGetSelectionType (MlirType inp, size_t numIndices) |
| Return the type produced by selecting/removing numIndices leading dimensions. | |
| MLIR_CAPI_EXPORTED MlirAttribute llzkArray_ArrayTypeGetDimensionSizesAt | ( | MlirType | inp, |
| intptr_t | pos ) |
Get element at index from 'dimensionSizes' parameter from a llzk::array::ArrayType Type.
Definition at line 33 of file Types.capi.cpp.inc.
| MLIR_CAPI_EXPORTED intptr_t llzkArray_ArrayTypeGetDimensionSizesCount | ( | MlirType | inp | ) |
Get count of 'dimensionSizes' parameter from a llzk::array::ArrayType Type.
Definition at line 27 of file Types.capi.cpp.inc.
| MLIR_CAPI_EXPORTED MlirType llzkArray_ArrayTypeGetElementType | ( | MlirType | inp | ) |
Get 'elementType' parameter from a llzk::array::ArrayType Type.
Definition at line 23 of file Types.capi.cpp.inc.
| MLIR_CAPI_EXPORTED MlirType llzkArray_ArrayTypeGetSelectionType | ( | MlirType | inp, |
| size_t | numIndices ) |
Return the type produced by selecting/removing numIndices leading dimensions.
Returns itself if numIndices is 0. Returns the element type if numIndices equals the rank of this type. Asserts if numIndices is greater than the rank of this type.
Definition at line 51 of file Types.capi.cpp.inc.
| MLIR_CAPI_EXPORTED int64_t llzkArray_ArrayTypeGetShapeAt | ( | MlirType | inp, |
| intptr_t | pos ) |
Get element at index from 'shape' parameter from a llzk::array::ArrayType Type.
Definition at line 43 of file Types.capi.cpp.inc.
| MLIR_CAPI_EXPORTED intptr_t llzkArray_ArrayTypeGetShapeCount | ( | MlirType | inp | ) |
Get count of 'shape' parameter from a llzk::array::ArrayType Type.
Definition at line 37 of file Types.capi.cpp.inc.
| MLIR_CAPI_EXPORTED bool llzkArray_ArrayTypeHasRank | ( | MlirType | inp | ) |
Returns if this type is ranked, i.e., it has a known number of dimensions.
LLZK arrays are always ranked, i.e., the number of dimensions is known. Required by the ShapedTypeInterface interface.
Definition at line 47 of file Types.capi.cpp.inc.
| MLIR_CAPI_EXPORTED bool llzkTypeIsA_Array_ArrayType | ( | MlirType | inp | ) |
Returns true if the Type is a llzk::array::ArrayType.
Definition at line 19 of file Types.capi.cpp.inc.