|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
#include <mlir/CAPI/IR.h>#include <mlir/CAPI/Support.h>#include <llvm/ADT/TypeSwitch.h>#include <utility>Go to the source code of this file.
Functions | |
| bool | llzkTypeIsA_Array_ArrayType (MlirType inp) |
| Returns true if the Type is a llzk::array::ArrayType. | |
| MlirType | llzkArray_ArrayTypeGetElementType (MlirType inp) |
| Get 'elementType' parameter from a llzk::array::ArrayType Type. | |
| intptr_t | llzkArray_ArrayTypeGetDimensionSizesCount (MlirType inp) |
| Get count of 'dimensionSizes' parameter from a llzk::array::ArrayType Type. | |
| MlirAttribute | llzkArray_ArrayTypeGetDimensionSizesAt (MlirType inp, intptr_t pos) |
| Get element at index from 'dimensionSizes' parameter from a llzk::array::ArrayType Type. | |
| intptr_t | llzkArray_ArrayTypeGetShapeCount (MlirType inp) |
| Get count of 'shape' parameter from a llzk::array::ArrayType Type. | |
| int64_t | llzkArray_ArrayTypeGetShapeAt (MlirType inp, intptr_t pos) |
| Get element at index from 'shape' parameter from a llzk::array::ArrayType Type. | |
| bool | llzkArray_ArrayTypeHasRank (MlirType inp) |
| Returns if this type is ranked, i.e., it has a known number of dimensions. | |
| MlirType | llzkArray_ArrayTypeGetSelectionType (MlirType inp, size_t numIndices) |
| Return the type produced by selecting/removing numIndices leading dimensions. | |
| 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.
| 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.
| MlirType llzkArray_ArrayTypeGetElementType | ( | MlirType | inp | ) |
Get 'elementType' parameter from a llzk::array::ArrayType Type.
Returns the element type of an llzk::array::ArrayType.
Definition at line 23 of file Types.capi.cpp.inc.
| 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.
| 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.
| 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.
| 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.
| 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.