|
LLZK 2.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 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 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.