LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Types.capi.h.inc File Reference
#include "llzk-c/Builder.h"
#include <mlir-c/IR.h>
Include dependency graph for Types.capi.h.inc:
This graph shows which files directly or indirectly include this file:

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.

Function Documentation

◆ llzkArray_ArrayTypeGetDimensionSizesAt()

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.

◆ llzkArray_ArrayTypeGetDimensionSizesCount()

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.

◆ llzkArray_ArrayTypeGetElementType()

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.

◆ llzkArray_ArrayTypeGetShapeAt()

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.

◆ llzkArray_ArrayTypeGetShapeCount()

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.

◆ llzkArray_ArrayTypeHasRank()

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.

◆ llzkTypeIsA_Array_ArrayType()

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.