#include <mlir/IR/Diagnostics.h>
#include <mlir/IR/BuiltinAttributes.h>
#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, MlirStringRef rawValue, MlirType type)
	Create a ::llzk::felt::FeltConstAttr Attribute with the given parameters.
void	llzkFelt_FeltConstAttrGetRawValue (MlirAttribute inp, MlirStringCallback callback, void *userData)
	Print the exact signed decimal 'rawValue' value. The callback must copy the text to retain it.
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.
void	llzkFelt_FeltConstAttrGetReducedValueOrRaw (MlirAttribute inp, MlirStringCallback callback, void *userData)
	If the type specifies a field, returns getReducedValue(); otherwise getRawValue().
bool	llzkAttributeIsA_Felt_FieldSpecAttr (MlirAttribute inp)
	Returns true if the Attribute is a ::llzk::felt::FieldSpecAttr.
MlirAttribute	llzkFelt_FieldSpecAttrGet (MlirContext ctx, MlirIdentifier fieldName, MlirStringRef 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.
void	llzkFelt_FieldSpecAttrGetPrime (MlirAttribute inp, MlirStringCallback callback, void *userData)
	Print the exact signed decimal 'prime' value. The callback must copy the text to retain it.

Function Documentation

◆ llzkAttributeIsA_Felt_FeltConstAttr()

bool llzkAttributeIsA_Felt_FeltConstAttr ( MlirAttribute inp )

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

Definition at line 21 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 52 of file Attrs.capi.cpp.inc.

◆ llzkFelt_FeltConstAttrGet()

MlirAttribute llzkFelt_FeltConstAttrGet	(	MlirContext	ctx,
		MlirStringRef	rawValue,
		MlirType	type )

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

Definition at line 25 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 42 of file Attrs.capi.cpp.inc.

◆ llzkFelt_FeltConstAttrGetRawValue()

void llzkFelt_FeltConstAttrGetRawValue	(	MlirAttribute	inp,
		MlirStringCallback	callback,
		void *	userData )

Print the exact signed decimal 'rawValue' value. The callback must copy the text to retain it.

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

◆ llzkFelt_FeltConstAttrGetReducedValueOrRaw()

void llzkFelt_FeltConstAttrGetReducedValueOrRaw	(	MlirAttribute	inp,
		MlirStringCallback	callback,
		void *	userData )

If the type specifies a field, returns getReducedValue(); otherwise getRawValue().

Use getReducedValue() when folding requires a known field representative.

Definition at line 46 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 38 of file Attrs.capi.cpp.inc.

◆ llzkFelt_FieldSpecAttrGet()

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

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

Definition at line 56 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 63 of file Attrs.capi.cpp.inc.

◆ llzkFelt_FieldSpecAttrGetPrime()

void llzkFelt_FieldSpecAttrGetPrime	(	MlirAttribute	inp,
		MlirStringCallback	callback,
		void *	userData )

Print the exact signed decimal 'prime' value. The callback must copy the text to retain it.

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

Functions