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