LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Types.capi.cpp.inc File Reference
#include <mlir/CAPI/IR.h>
#include <mlir/CAPI/Support.h>
#include <llvm/ADT/TypeSwitch.h>
#include <utility>
Include dependency graph for Types.capi.cpp.inc:
This graph shows which files directly or indirectly include this file:

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.

Function Documentation

◆ llzkArray_ArrayTypeGetDimensionSizesAt()

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()

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()

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.

◆ llzkArray_ArrayTypeGetSelectionType()

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.

◆ llzkArray_ArrayTypeGetShapeAt()

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()

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()

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()

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.