Felt.h File Reference

#include "llzk-c/Support.h"
#include <mlir-c/IR.h>

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)
MLIR_CAPI_EXPORTED MlirAttribute	llzkFeltConstAttrGet (MlirContext context, int64_t value)
	Creates a llzk::felt::FeltConstAttr.
MLIR_CAPI_EXPORTED MlirAttribute	llzkFeltConstAttrGetWithBits (MlirContext ctx, unsigned numBits, int64_t value)
	Creates a llzk::felt::FeltConstAttr with a set bit length.
MLIR_CAPI_EXPORTED MlirAttribute	llzkFeltConstAttrGetFromString (MlirContext context, unsigned numBits, MlirStringRef str)
	Creates a llzk::felt::FeltConstAttr from a base-10 representation of a number.
MLIR_CAPI_EXPORTED MlirAttribute	llzkFeltConstAttrGetFromParts (MlirContext context, unsigned numBits, const uint64_t *parts, intptr_t nParts)
	Creates a llzk::felt::FeltConstAttr from an array of big-integer parts in LSB order.
	LLZK_DECLARE_ATTR_ISA (FeltConstAttr)
	Returns true if the attribute is a FeltConstAttr.
MLIR_CAPI_EXPORTED MlirType	llzkFeltTypeGet (MlirContext context)
	Creates a llzk::felt::FeltType.
	LLZK_DECLARE_TYPE_ISA (FeltType)
	Returns true if the type is a FeltType.

Function Documentation

LLZK_DECLARE_ATTR_ISA()

LLZK_DECLARE_ATTR_ISA

(

FeltConstAttr

)

Returns true if the attribute is a FeltConstAttr.

LLZK_DECLARE_TYPE_ISA()

LLZK_DECLARE_TYPE_ISA

(

FeltType

)

Returns true if the type is a FeltType.

llzkFeltConstAttrGet()

MLIR_CAPI_EXPORTED MlirAttribute llzkFeltConstAttrGet	(	MlirContext	context,
		int64_t	value )

Creates a llzk::felt::FeltConstAttr.

Definition at line 24 of file Felt.cpp.

llzkFeltConstAttrGetFromParts()

MLIR_CAPI_EXPORTED MlirAttribute llzkFeltConstAttrGetFromParts	(	MlirContext	context,
		unsigned	numBits,
		const uint64_t *	parts,
		intptr_t	nParts )

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

Definition at line 36 of file Felt.cpp.

llzkFeltConstAttrGetFromString()

MLIR_CAPI_EXPORTED MlirAttribute llzkFeltConstAttrGetFromString	(	MlirContext	context,
		unsigned	numBits,
		MlirStringRef	str )

Creates a llzk::felt::FeltConstAttr from a base-10 representation of a number.

Definition at line 32 of file Felt.cpp.

llzkFeltConstAttrGetWithBits()

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

Creates a llzk::felt::FeltConstAttr with a set bit length.

Definition at line 28 of file Felt.cpp.

llzkFeltTypeGet()

MLIR_CAPI_EXPORTED MlirType llzkFeltTypeGet

(

MlirContext

context

)

Creates a llzk::felt::FeltType.

Definition at line 46 of file Felt.cpp.

MLIR_DECLARE_CAPI_DIALECT_REGISTRATION()

MLIR_DECLARE_CAPI_DIALECT_REGISTRATION	(	Felt	,
		llzk__felt	)