Felt.h File Reference

#include <mlir-c/IR.h>
#include "llzk/Dialect/Felt/IR/Attrs.capi.h.inc"
#include "llzk/Dialect/Felt/IR/Ops.capi.h.inc"
#include "llzk/Dialect/Felt/IR/Types.capi.h.inc"

Include dependency graph for Felt.h:

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

Go to the source code of this file.

Functions
	MLIR_DECLARE_CAPI_DIALECT_REGISTRATION (Felt, llzk__felt)
	Get reference to the LLZK felt dialect.
MLIR_CAPI_EXPORTED MlirAttribute	llzkFelt_FeltConstAttrGetInField (MlirContext ctx, int64_t value, MlirStringRef fieldName)
	Creates a llzk::felt::FeltConstAttr with the given value in the specified field.
MLIR_CAPI_EXPORTED MlirAttribute	llzkFelt_FeltConstAttrGetUnspecified (MlirContext ctx, int64_t value)
	Creates a llzk::felt::FeltConstAttr with the given value in an unspecified field.
MLIR_CAPI_EXPORTED MlirAttribute	llzkFelt_FeltConstAttrGetWithBits (MlirContext ctx, unsigned numBits, int64_t value, MlirType type)
	Creates a llzk::felt::FeltConstAttr with a set bit length and value in the specified field.
MLIR_CAPI_EXPORTED MlirAttribute	llzkFelt_FeltConstAttrGetWithBitsInField (MlirContext ctx, unsigned numBits, int64_t value, MlirStringRef fieldName)
	Creates a llzk::felt::FeltConstAttr with a set bit length and value in the specified field.
MLIR_CAPI_EXPORTED MlirAttribute	llzkFelt_FeltConstAttrGetWithBitsUnspecified (MlirContext ctx, unsigned numBits, int64_t value)
	Creates a llzk::felt::FeltConstAttr with a set bit length and value in an unspecified field.
MLIR_CAPI_EXPORTED MlirAttribute	llzkFelt_FeltConstAttrGetFromString (MlirContext ctx, unsigned numBits, MlirStringRef str, MlirType type)
	Creates a llzk::felt::FeltConstAttr from a base-10 representation of a number in the specified field.
MLIR_CAPI_EXPORTED MlirAttribute	llzkFelt_FeltConstAttrGetFromStringInField (MlirContext ctx, unsigned numBits, MlirStringRef str, MlirStringRef fieldName)
	Creates a llzk::felt::FeltConstAttr from a base-10 representation of a number in the specified field.
MLIR_CAPI_EXPORTED MlirAttribute	llzkFelt_FeltConstAttrGetFromStringUnspecified (MlirContext ctx, unsigned numBits, MlirStringRef str)
	Creates a llzk::felt::FeltConstAttr from a base-10 representation of a number in an unspecified field.
MLIR_CAPI_EXPORTED MlirAttribute	llzkFelt_FeltConstAttrGetFromParts (MlirContext ctx, unsigned numBits, const uint64_t *parts, intptr_t nParts, MlirType type)
	Creates a llzk::felt::FeltConstAttr from an array of big-integer parts in LSB order in the specified field.
MLIR_CAPI_EXPORTED MlirAttribute	llzkFelt_FeltConstAttrGetFromPartsInField (MlirContext ctx, unsigned numBits, const uint64_t *parts, intptr_t nParts, MlirStringRef fieldName)
	Creates a llzk::felt::FeltConstAttr from an array of big-integer parts in LSB order in the specified field.
MLIR_CAPI_EXPORTED MlirAttribute	llzkFelt_FeltConstAttrGetFromPartsUnspecified (MlirContext ctx, unsigned numBits, const uint64_t *parts, intptr_t nParts)
	Creates a llzk::felt::FeltConstAttr from an array of big-integer parts in LSB order in an unspecified field.
MLIR_CAPI_EXPORTED MlirAttribute	llzkFelt_FieldSpecAttrGetFromString (MlirContext ctx, MlirIdentifier fieldName, unsigned numBits, MlirStringRef primeStr)
	Creates a llzk::felt::FieldSpecAttr from a base-10 representation of the prime.
MLIR_CAPI_EXPORTED MlirAttribute	llzkFelt_FieldSpecAttrGetFromParts (MlirContext ctx, MlirIdentifier fieldName, unsigned numBits, const uint64_t *parts, intptr_t nParts)
	Creates a llzk::felt::FieldSpecAttr from an array of big-integer parts in LSB order representing the prime.
MLIR_CAPI_EXPORTED MlirType	llzkFelt_FeltTypeGetUnspecified (MlirContext ctx)
	Creates a llzk::felt::FeltType with an unspecified field.
MLIR_CAPI_EXPORTED MlirType	llzkFelt_FeltTypeGetFromRef (MlirContext ctx, MlirStringRef fieldName)
	Create a llzk::felt::FeltType Type with the given parameters.

Function Documentation

llzkFelt_FeltConstAttrGetFromParts()

MLIR_CAPI_EXPORTED MlirAttribute llzkFelt_FeltConstAttrGetFromParts	(	MlirContext	ctx,
		unsigned	numBits,
		const uint64_t *	parts,
		intptr_t	nParts,
		MlirType	type )

Creates a llzk::felt::FeltConstAttr from an array of big-integer parts in LSB order in the specified field.

The provided MlirType must be a llzk::felt::FeltType.

Definition at line 79 of file Felt.cpp.

llzkFelt_FeltConstAttrGetFromPartsInField()

MLIR_CAPI_EXPORTED MlirAttribute llzkFelt_FeltConstAttrGetFromPartsInField	(	MlirContext	ctx,
		unsigned	numBits,
		const uint64_t *	parts,
		intptr_t	nParts,
		MlirStringRef	fieldName )

Creates a llzk::felt::FeltConstAttr from an array of big-integer parts in LSB order in the specified field.

Definition at line 87 of file Felt.cpp.

llzkFelt_FeltConstAttrGetFromPartsUnspecified()

MLIR_CAPI_EXPORTED MlirAttribute llzkFelt_FeltConstAttrGetFromPartsUnspecified	(	MlirContext	ctx,
		unsigned	numBits,
		const uint64_t *	parts,
		intptr_t	nParts )

Creates a llzk::felt::FeltConstAttr from an array of big-integer parts in LSB order in an unspecified field.

Definition at line 94 of file Felt.cpp.

llzkFelt_FeltConstAttrGetFromString()

MLIR_CAPI_EXPORTED MlirAttribute llzkFelt_FeltConstAttrGetFromString	(	MlirContext	ctx,
		unsigned	numBits,
		MlirStringRef	str,
		MlirType	type )

Creates a llzk::felt::FeltConstAttr from a base-10 representation of a number in the specified field.

The provided MlirType must be a llzk::felt::FeltType.

Definition at line 61 of file Felt.cpp.

llzkFelt_FeltConstAttrGetFromStringInField()

MLIR_CAPI_EXPORTED MlirAttribute llzkFelt_FeltConstAttrGetFromStringInField	(	MlirContext	ctx,
		unsigned	numBits,
		MlirStringRef	str,
		MlirStringRef	fieldName )

Creates a llzk::felt::FeltConstAttr from a base-10 representation of a number in the specified field.

Definition at line 67 of file Felt.cpp.

llzkFelt_FeltConstAttrGetFromStringUnspecified()

MLIR_CAPI_EXPORTED MlirAttribute llzkFelt_FeltConstAttrGetFromStringUnspecified	(	MlirContext	ctx,
		unsigned	numBits,
		MlirStringRef	str )

Creates a llzk::felt::FeltConstAttr from a base-10 representation of a number in an unspecified field.

Definition at line 73 of file Felt.cpp.

llzkFelt_FeltConstAttrGetInField()

MLIR_CAPI_EXPORTED MlirAttribute llzkFelt_FeltConstAttrGetInField	(	MlirContext	ctx,
		int64_t	value,
		MlirStringRef	fieldName )

Creates a llzk::felt::FeltConstAttr with the given value in the specified field.

Definition at line 36 of file Felt.cpp.

llzkFelt_FeltConstAttrGetUnspecified()

MLIR_CAPI_EXPORTED MlirAttribute llzkFelt_FeltConstAttrGetUnspecified	(	MlirContext	ctx,
		int64_t	value )

Creates a llzk::felt::FeltConstAttr with the given value in an unspecified field.

Definition at line 41 of file Felt.cpp.

llzkFelt_FeltConstAttrGetWithBits()

MLIR_CAPI_EXPORTED MlirAttribute llzkFelt_FeltConstAttrGetWithBits	(	MlirContext	ctx,
		unsigned	numBits,
		int64_t	value,
		MlirType	type )

Creates a llzk::felt::FeltConstAttr with a set bit length and value in the specified field.

The provided MlirType must be a llzk::felt::FeltType.

Definition at line 46 of file Felt.cpp.

llzkFelt_FeltConstAttrGetWithBitsInField()

MLIR_CAPI_EXPORTED MlirAttribute llzkFelt_FeltConstAttrGetWithBitsInField	(	MlirContext	ctx,
		unsigned	numBits,
		int64_t	value,
		MlirStringRef	fieldName )

Creates a llzk::felt::FeltConstAttr with a set bit length and value in the specified field.

Definition at line 50 of file Felt.cpp.

llzkFelt_FeltConstAttrGetWithBitsUnspecified()

MLIR_CAPI_EXPORTED MlirAttribute llzkFelt_FeltConstAttrGetWithBitsUnspecified	(	MlirContext	ctx,
		unsigned	numBits,
		int64_t	value )

Creates a llzk::felt::FeltConstAttr with a set bit length and value in an unspecified field.

Definition at line 57 of file Felt.cpp.

llzkFelt_FeltTypeGetFromRef()

MLIR_CAPI_EXPORTED MlirType llzkFelt_FeltTypeGetFromRef	(	MlirContext	ctx,
		MlirStringRef	fieldName )

Create a llzk::felt::FeltType Type with the given parameters.

Definition at line 121 of file Felt.cpp.

llzkFelt_FeltTypeGetUnspecified()

MLIR_CAPI_EXPORTED MlirType llzkFelt_FeltTypeGetUnspecified

(

MlirContext

ctx

)

Creates a llzk::felt::FeltType with an unspecified field.

Definition at line 117 of file Felt.cpp.

llzkFelt_FieldSpecAttrGetFromParts()

MLIR_CAPI_EXPORTED MlirAttribute llzkFelt_FieldSpecAttrGetFromParts	(	MlirContext	ctx,
		MlirIdentifier	fieldName,
		unsigned	numBits,
		const uint64_t *	parts,
		intptr_t	nParts )

Creates a llzk::felt::FieldSpecAttr from an array of big-integer parts in LSB order representing the prime.

Definition at line 108 of file Felt.cpp.

llzkFelt_FieldSpecAttrGetFromString()

MLIR_CAPI_EXPORTED MlirAttribute llzkFelt_FieldSpecAttrGetFromString	(	MlirContext	ctx,
		MlirIdentifier	fieldName,
		unsigned	numBits,
		MlirStringRef	primeStr )

Creates a llzk::felt::FieldSpecAttr from a base-10 representation of the prime.

Definition at line 100 of file Felt.cpp.

MLIR_DECLARE_CAPI_DIALECT_REGISTRATION()

MLIR_DECLARE_CAPI_DIALECT_REGISTRATION	(	Felt	,
		llzk__felt	)

Get reference to the LLZK felt dialect.