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

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_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.