#include "llzk/Dialect/Felt/IR/Attrs.h"
#include "llzk/Dialect/Felt/IR/Dialect.h"
#include "llzk/Dialect/Felt/IR/Types.h"
#include "llzk/Dialect/LLZK/IR/AttributeHelper.h"
#include "llzk-c/Dialect/Felt.h"
#include <mlir/CAPI/Registration.h>
#include <mlir/CAPI/Wrap.h>

Include dependency graph for Felt.cpp:

Functions
MlirAttribute	llzkFeltConstAttrGet (MlirContext ctx, int64_t value)
	Creates a llzk::felt::FeltConstAttr.
MlirAttribute	llzkFeltConstAttrGetWithBits (MlirContext ctx, unsigned numBits, int64_t value)
	Creates a llzk::felt::FeltConstAttr with a set bit length.
MlirAttribute	llzkFeltConstAttrGetFromString (MlirContext ctx, unsigned numBits, MlirStringRef str)
	Creates a llzk::felt::FeltConstAttr from a base-10 representation of a number.
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.
bool	llzkAttributeIsAFeltConstAttr (MlirAttribute attr)
MlirType	llzkFeltTypeGet (MlirContext ctx)
	Creates a llzk::felt::FeltType.
bool	llzkTypeIsAFeltType (MlirType type)

Function Documentation

◆ llzkAttributeIsAFeltConstAttr()

bool llzkAttributeIsAFeltConstAttr ( MlirAttribute attr )

Definition at line 42 of file Felt.cpp.

◆ llzkFeltConstAttrGet()

MlirAttribute llzkFeltConstAttrGet	(	MlirContext	ctx,
		int64_t	value )

Creates a llzk::felt::FeltConstAttr.

Definition at line 24 of file Felt.cpp.

◆ llzkFeltConstAttrGetFromParts()

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()

MlirAttribute llzkFeltConstAttrGetFromString	(	MlirContext	ctx,
		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()

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()

MlirType llzkFeltTypeGet ( MlirContext ctx )

Creates a llzk::felt::FeltType.

Definition at line 46 of file Felt.cpp.

◆ llzkTypeIsAFeltType()

bool llzkTypeIsAFeltType ( MlirType type )

Definition at line 48 of file Felt.cpp.

Functions