#include <mlir/CAPI/IR.h>
#include <mlir/CAPI/Support.h>
#include <llvm/ADT/TypeSwitch.h>
#include <utility>

Include dependency graph for Attrs.capi.cpp.inc:

This graph shows which files directly or indirectly include this file:

Functions
bool	llzkAttributeIsA_Felt_FeltConstAttr (MlirAttribute inp)
	Returns true if the Attribute is a ::llzk::felt::FeltConstAttr.
MlirAttribute	llzkFelt_FeltConstAttrGet (MlirContext ctx, int64_t value, MlirType type)
	Create a ::llzk::felt::FeltConstAttr Attribute with the given parameters.
int64_t	llzkFelt_FeltConstAttrGetValue (MlirAttribute inp)
	Get 'value' parameter from a ::llzk::felt::FeltConstAttr Attribute.
MlirType	llzkFelt_FeltConstAttrGetType (MlirAttribute inp)
	Get 'type' parameter from a ::llzk::felt::FeltConstAttr Attribute.
MlirIdentifier	llzkFelt_FeltConstAttrGetFieldName (MlirAttribute inp)
	Returns the field name from the stored FeltType, or a null StringAttr if no type is stored.
bool	llzkAttributeIsA_Felt_FieldSpecAttr (MlirAttribute inp)
	Returns true if the Attribute is a ::llzk::felt::FieldSpecAttr.
MlirAttribute	llzkFelt_FieldSpecAttrGet (MlirContext ctx, MlirIdentifier fieldName, int64_t prime)
	Create a ::llzk::felt::FieldSpecAttr Attribute with the given parameters.
MlirIdentifier	llzkFelt_FieldSpecAttrGetFieldName (MlirAttribute inp)
	Get 'fieldName' parameter from a ::llzk::felt::FieldSpecAttr Attribute.
int64_t	llzkFelt_FieldSpecAttrGetPrime (MlirAttribute inp)
	Get 'prime' parameter from a ::llzk::felt::FieldSpecAttr Attribute.

Function Documentation

◆ llzkAttributeIsA_Felt_FeltConstAttr()

bool llzkAttributeIsA_Felt_FeltConstAttr ( MlirAttribute inp )

Returns true if the Attribute is a ::llzk::felt::FeltConstAttr.

Definition at line 19 of file Attrs.capi.cpp.inc.

◆ llzkAttributeIsA_Felt_FieldSpecAttr()

bool llzkAttributeIsA_Felt_FieldSpecAttr ( MlirAttribute inp )

Returns true if the Attribute is a ::llzk::felt::FieldSpecAttr.

Definition at line 40 of file Attrs.capi.cpp.inc.

◆ llzkFelt_FeltConstAttrGet()

MlirAttribute llzkFelt_FeltConstAttrGet	(	MlirContext	ctx,
		int64_t	value,
		MlirType	type )

Create a ::llzk::felt::FeltConstAttr Attribute with the given parameters.

Definition at line 23 of file Attrs.capi.cpp.inc.

◆ llzkFelt_FeltConstAttrGetFieldName()

MlirIdentifier llzkFelt_FeltConstAttrGetFieldName ( MlirAttribute inp )

Returns the field name from the stored FeltType, or a null StringAttr if no type is stored.

Definition at line 36 of file Attrs.capi.cpp.inc.

◆ llzkFelt_FeltConstAttrGetType()

MlirType llzkFelt_FeltConstAttrGetType ( MlirAttribute inp )

Get 'type' parameter from a ::llzk::felt::FeltConstAttr Attribute.

Definition at line 32 of file Attrs.capi.cpp.inc.

◆ llzkFelt_FeltConstAttrGetValue()

int64_t llzkFelt_FeltConstAttrGetValue ( MlirAttribute inp )

Get 'value' parameter from a ::llzk::felt::FeltConstAttr Attribute.

Definition at line 28 of file Attrs.capi.cpp.inc.

◆ llzkFelt_FieldSpecAttrGet()

MlirAttribute llzkFelt_FieldSpecAttrGet	(	MlirContext	ctx,
		MlirIdentifier	fieldName,
		int64_t	prime )

Create a ::llzk::felt::FieldSpecAttr Attribute with the given parameters.

Definition at line 44 of file Attrs.capi.cpp.inc.

◆ llzkFelt_FieldSpecAttrGetFieldName()

MlirIdentifier llzkFelt_FieldSpecAttrGetFieldName ( MlirAttribute inp )

Get 'fieldName' parameter from a ::llzk::felt::FieldSpecAttr Attribute.

Definition at line 49 of file Attrs.capi.cpp.inc.

◆ llzkFelt_FieldSpecAttrGetPrime()

int64_t llzkFelt_FieldSpecAttrGetPrime ( MlirAttribute inp )

Get 'prime' parameter from a ::llzk::felt::FieldSpecAttr Attribute.

Definition at line 53 of file Attrs.capi.cpp.inc.

Functions