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

Include dependency graph for Ops.capi.h.inc:

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

Functions
MLIR_CAPI_EXPORTED MlirOperation	llzkFelt_AddFeltOpBuild (MlirOpBuilder builder, MlirLocation location, MlirType resultType, MlirValue lhs, MlirValue rhs)
	Build a llzk::felt::AddFeltOp Operation.
MLIR_CAPI_EXPORTED bool	llzkOperationIsA_Felt_AddFeltOp (MlirOperation)
	Returns true if the Operation is a llzk::felt::AddFeltOp.
MLIR_CAPI_EXPORTED MlirValue	llzkFelt_AddFeltOpGetLhs (MlirOperation op)
	Get Lhs operand from llzk::felt::AddFeltOp Operation.
MLIR_CAPI_EXPORTED void	llzkFelt_AddFeltOpSetLhs (MlirOperation op, MlirValue value)
	Set Lhs operand of llzk::felt::AddFeltOp Operation.
MLIR_CAPI_EXPORTED MlirValue	llzkFelt_AddFeltOpGetRhs (MlirOperation op)
	Get Rhs operand from llzk::felt::AddFeltOp Operation.
MLIR_CAPI_EXPORTED void	llzkFelt_AddFeltOpSetRhs (MlirOperation op, MlirValue value)
	Set Rhs operand of llzk::felt::AddFeltOp Operation.
MLIR_CAPI_EXPORTED MlirValue	llzkFelt_AddFeltOpGetResult (MlirOperation op)
	Get Result result from llzk::felt::AddFeltOp Operation.
MLIR_CAPI_EXPORTED MlirOperation	llzkFelt_AndFeltOpBuild (MlirOpBuilder builder, MlirLocation location, MlirType resultType, MlirValue lhs, MlirValue rhs)
	Build a llzk::felt::AndFeltOp Operation.
MLIR_CAPI_EXPORTED bool	llzkOperationIsA_Felt_AndFeltOp (MlirOperation)
	Returns true if the Operation is a llzk::felt::AndFeltOp.
MLIR_CAPI_EXPORTED MlirValue	llzkFelt_AndFeltOpGetLhs (MlirOperation op)
	Get Lhs operand from llzk::felt::AndFeltOp Operation.
MLIR_CAPI_EXPORTED void	llzkFelt_AndFeltOpSetLhs (MlirOperation op, MlirValue value)
	Set Lhs operand of llzk::felt::AndFeltOp Operation.
MLIR_CAPI_EXPORTED MlirValue	llzkFelt_AndFeltOpGetRhs (MlirOperation op)
	Get Rhs operand from llzk::felt::AndFeltOp Operation.
MLIR_CAPI_EXPORTED void	llzkFelt_AndFeltOpSetRhs (MlirOperation op, MlirValue value)
	Set Rhs operand of llzk::felt::AndFeltOp Operation.
MLIR_CAPI_EXPORTED MlirValue	llzkFelt_AndFeltOpGetResult (MlirOperation op)
	Get Result result from llzk::felt::AndFeltOp Operation.
MLIR_CAPI_EXPORTED MlirOperation	llzkFelt_DivFeltOpBuild (MlirOpBuilder builder, MlirLocation location, MlirType resultType, MlirValue lhs, MlirValue rhs)
	Build a llzk::felt::DivFeltOp Operation.
MLIR_CAPI_EXPORTED bool	llzkOperationIsA_Felt_DivFeltOp (MlirOperation)
	Returns true if the Operation is a llzk::felt::DivFeltOp.
MLIR_CAPI_EXPORTED MlirValue	llzkFelt_DivFeltOpGetLhs (MlirOperation op)
	Get Lhs operand from llzk::felt::DivFeltOp Operation.
MLIR_CAPI_EXPORTED void	llzkFelt_DivFeltOpSetLhs (MlirOperation op, MlirValue value)
	Set Lhs operand of llzk::felt::DivFeltOp Operation.
MLIR_CAPI_EXPORTED MlirValue	llzkFelt_DivFeltOpGetRhs (MlirOperation op)
	Get Rhs operand from llzk::felt::DivFeltOp Operation.
MLIR_CAPI_EXPORTED void	llzkFelt_DivFeltOpSetRhs (MlirOperation op, MlirValue value)
	Set Rhs operand of llzk::felt::DivFeltOp Operation.
MLIR_CAPI_EXPORTED MlirValue	llzkFelt_DivFeltOpGetResult (MlirOperation op)
	Get Result result from llzk::felt::DivFeltOp Operation.
MLIR_CAPI_EXPORTED MlirOperation	llzkFelt_FeltConstantOpBuild (MlirOpBuilder builder, MlirLocation location, MlirType resultType, MlirAttribute value)
	Build a llzk::felt::FeltConstantOp Operation.
MLIR_CAPI_EXPORTED bool	llzkOperationIsA_Felt_FeltConstantOp (MlirOperation)
	Returns true if the Operation is a llzk::felt::FeltConstantOp.
MLIR_CAPI_EXPORTED MlirAttribute	llzkFelt_FeltConstantOpGetValue (MlirOperation op)
	Get Value attribute from llzk::felt::FeltConstantOp Operation.
MLIR_CAPI_EXPORTED void	llzkFelt_FeltConstantOpSetValue (MlirOperation op, MlirAttribute attr)
	Set Value attribute of llzk::felt::FeltConstantOp Operation.
MLIR_CAPI_EXPORTED MlirValue	llzkFelt_FeltConstantOpGetResult (MlirOperation op)
	Get Result result from llzk::felt::FeltConstantOp Operation.
MLIR_CAPI_EXPORTED MlirOperation	llzkFelt_InvFeltOpBuild (MlirOpBuilder builder, MlirLocation location, MlirType resultType, MlirValue operand)
	Build a llzk::felt::InvFeltOp Operation.
MLIR_CAPI_EXPORTED bool	llzkOperationIsA_Felt_InvFeltOp (MlirOperation)
	Returns true if the Operation is a llzk::felt::InvFeltOp.
MLIR_CAPI_EXPORTED MlirValue	llzkFelt_InvFeltOpGetOperand (MlirOperation op)
	Get Operand operand from llzk::felt::InvFeltOp Operation.
MLIR_CAPI_EXPORTED void	llzkFelt_InvFeltOpSetOperand (MlirOperation op, MlirValue value)
	Set Operand operand of llzk::felt::InvFeltOp Operation.
MLIR_CAPI_EXPORTED MlirValue	llzkFelt_InvFeltOpGetResult (MlirOperation op)
	Get Result result from llzk::felt::InvFeltOp Operation.
MLIR_CAPI_EXPORTED MlirOperation	llzkFelt_MulFeltOpBuild (MlirOpBuilder builder, MlirLocation location, MlirType resultType, MlirValue lhs, MlirValue rhs)
	Build a llzk::felt::MulFeltOp Operation.
MLIR_CAPI_EXPORTED bool	llzkOperationIsA_Felt_MulFeltOp (MlirOperation)
	Returns true if the Operation is a llzk::felt::MulFeltOp.
MLIR_CAPI_EXPORTED MlirValue	llzkFelt_MulFeltOpGetLhs (MlirOperation op)
	Get Lhs operand from llzk::felt::MulFeltOp Operation.
MLIR_CAPI_EXPORTED void	llzkFelt_MulFeltOpSetLhs (MlirOperation op, MlirValue value)
	Set Lhs operand of llzk::felt::MulFeltOp Operation.
MLIR_CAPI_EXPORTED MlirValue	llzkFelt_MulFeltOpGetRhs (MlirOperation op)
	Get Rhs operand from llzk::felt::MulFeltOp Operation.
MLIR_CAPI_EXPORTED void	llzkFelt_MulFeltOpSetRhs (MlirOperation op, MlirValue value)
	Set Rhs operand of llzk::felt::MulFeltOp Operation.
MLIR_CAPI_EXPORTED MlirValue	llzkFelt_MulFeltOpGetResult (MlirOperation op)
	Get Result result from llzk::felt::MulFeltOp Operation.
MLIR_CAPI_EXPORTED MlirOperation	llzkFelt_NegFeltOpBuild (MlirOpBuilder builder, MlirLocation location, MlirType resultType, MlirValue operand)
	Build a llzk::felt::NegFeltOp Operation.
MLIR_CAPI_EXPORTED bool	llzkOperationIsA_Felt_NegFeltOp (MlirOperation)
	Returns true if the Operation is a llzk::felt::NegFeltOp.
MLIR_CAPI_EXPORTED MlirValue	llzkFelt_NegFeltOpGetOperand (MlirOperation op)
	Get Operand operand from llzk::felt::NegFeltOp Operation.
MLIR_CAPI_EXPORTED void	llzkFelt_NegFeltOpSetOperand (MlirOperation op, MlirValue value)
	Set Operand operand of llzk::felt::NegFeltOp Operation.
MLIR_CAPI_EXPORTED MlirValue	llzkFelt_NegFeltOpGetResult (MlirOperation op)
	Get Result result from llzk::felt::NegFeltOp Operation.
MLIR_CAPI_EXPORTED MlirOperation	llzkFelt_NotFeltOpBuild (MlirOpBuilder builder, MlirLocation location, MlirType resultType, MlirValue operand)
	Build a llzk::felt::NotFeltOp Operation.
MLIR_CAPI_EXPORTED bool	llzkOperationIsA_Felt_NotFeltOp (MlirOperation)
	Returns true if the Operation is a llzk::felt::NotFeltOp.
MLIR_CAPI_EXPORTED MlirValue	llzkFelt_NotFeltOpGetOperand (MlirOperation op)
	Get Operand operand from llzk::felt::NotFeltOp Operation.
MLIR_CAPI_EXPORTED void	llzkFelt_NotFeltOpSetOperand (MlirOperation op, MlirValue value)
	Set Operand operand of llzk::felt::NotFeltOp Operation.
MLIR_CAPI_EXPORTED MlirValue	llzkFelt_NotFeltOpGetResult (MlirOperation op)
	Get Result result from llzk::felt::NotFeltOp Operation.
MLIR_CAPI_EXPORTED MlirOperation	llzkFelt_OrFeltOpBuild (MlirOpBuilder builder, MlirLocation location, MlirType resultType, MlirValue lhs, MlirValue rhs)
	Build a llzk::felt::OrFeltOp Operation.
MLIR_CAPI_EXPORTED bool	llzkOperationIsA_Felt_OrFeltOp (MlirOperation)
	Returns true if the Operation is a llzk::felt::OrFeltOp.
MLIR_CAPI_EXPORTED MlirValue	llzkFelt_OrFeltOpGetLhs (MlirOperation op)
	Get Lhs operand from llzk::felt::OrFeltOp Operation.
MLIR_CAPI_EXPORTED void	llzkFelt_OrFeltOpSetLhs (MlirOperation op, MlirValue value)
	Set Lhs operand of llzk::felt::OrFeltOp Operation.
MLIR_CAPI_EXPORTED MlirValue	llzkFelt_OrFeltOpGetRhs (MlirOperation op)
	Get Rhs operand from llzk::felt::OrFeltOp Operation.
MLIR_CAPI_EXPORTED void	llzkFelt_OrFeltOpSetRhs (MlirOperation op, MlirValue value)
	Set Rhs operand of llzk::felt::OrFeltOp Operation.
MLIR_CAPI_EXPORTED MlirValue	llzkFelt_OrFeltOpGetResult (MlirOperation op)
	Get Result result from llzk::felt::OrFeltOp Operation.
MLIR_CAPI_EXPORTED MlirOperation	llzkFelt_PowFeltOpBuild (MlirOpBuilder builder, MlirLocation location, MlirType resultType, MlirValue lhs, MlirValue rhs)
	Build a llzk::felt::PowFeltOp Operation.
MLIR_CAPI_EXPORTED bool	llzkOperationIsA_Felt_PowFeltOp (MlirOperation)
	Returns true if the Operation is a llzk::felt::PowFeltOp.
MLIR_CAPI_EXPORTED MlirValue	llzkFelt_PowFeltOpGetLhs (MlirOperation op)
	Get Lhs operand from llzk::felt::PowFeltOp Operation.
MLIR_CAPI_EXPORTED void	llzkFelt_PowFeltOpSetLhs (MlirOperation op, MlirValue value)
	Set Lhs operand of llzk::felt::PowFeltOp Operation.
MLIR_CAPI_EXPORTED MlirValue	llzkFelt_PowFeltOpGetRhs (MlirOperation op)
	Get Rhs operand from llzk::felt::PowFeltOp Operation.
MLIR_CAPI_EXPORTED void	llzkFelt_PowFeltOpSetRhs (MlirOperation op, MlirValue value)
	Set Rhs operand of llzk::felt::PowFeltOp Operation.
MLIR_CAPI_EXPORTED MlirValue	llzkFelt_PowFeltOpGetResult (MlirOperation op)
	Get Result result from llzk::felt::PowFeltOp Operation.
MLIR_CAPI_EXPORTED MlirOperation	llzkFelt_ShlFeltOpBuild (MlirOpBuilder builder, MlirLocation location, MlirType resultType, MlirValue lhs, MlirValue rhs)
	Build a llzk::felt::ShlFeltOp Operation.
MLIR_CAPI_EXPORTED bool	llzkOperationIsA_Felt_ShlFeltOp (MlirOperation)
	Returns true if the Operation is a llzk::felt::ShlFeltOp.
MLIR_CAPI_EXPORTED MlirValue	llzkFelt_ShlFeltOpGetLhs (MlirOperation op)
	Get Lhs operand from llzk::felt::ShlFeltOp Operation.
MLIR_CAPI_EXPORTED void	llzkFelt_ShlFeltOpSetLhs (MlirOperation op, MlirValue value)
	Set Lhs operand of llzk::felt::ShlFeltOp Operation.
MLIR_CAPI_EXPORTED MlirValue	llzkFelt_ShlFeltOpGetRhs (MlirOperation op)
	Get Rhs operand from llzk::felt::ShlFeltOp Operation.
MLIR_CAPI_EXPORTED void	llzkFelt_ShlFeltOpSetRhs (MlirOperation op, MlirValue value)
	Set Rhs operand of llzk::felt::ShlFeltOp Operation.
MLIR_CAPI_EXPORTED MlirValue	llzkFelt_ShlFeltOpGetResult (MlirOperation op)
	Get Result result from llzk::felt::ShlFeltOp Operation.
MLIR_CAPI_EXPORTED MlirOperation	llzkFelt_ShrFeltOpBuild (MlirOpBuilder builder, MlirLocation location, MlirType resultType, MlirValue lhs, MlirValue rhs)
	Build a llzk::felt::ShrFeltOp Operation.
MLIR_CAPI_EXPORTED bool	llzkOperationIsA_Felt_ShrFeltOp (MlirOperation)
	Returns true if the Operation is a llzk::felt::ShrFeltOp.
MLIR_CAPI_EXPORTED MlirValue	llzkFelt_ShrFeltOpGetLhs (MlirOperation op)
	Get Lhs operand from llzk::felt::ShrFeltOp Operation.
MLIR_CAPI_EXPORTED void	llzkFelt_ShrFeltOpSetLhs (MlirOperation op, MlirValue value)
	Set Lhs operand of llzk::felt::ShrFeltOp Operation.
MLIR_CAPI_EXPORTED MlirValue	llzkFelt_ShrFeltOpGetRhs (MlirOperation op)
	Get Rhs operand from llzk::felt::ShrFeltOp Operation.
MLIR_CAPI_EXPORTED void	llzkFelt_ShrFeltOpSetRhs (MlirOperation op, MlirValue value)
	Set Rhs operand of llzk::felt::ShrFeltOp Operation.
MLIR_CAPI_EXPORTED MlirValue	llzkFelt_ShrFeltOpGetResult (MlirOperation op)
	Get Result result from llzk::felt::ShrFeltOp Operation.
MLIR_CAPI_EXPORTED MlirOperation	llzkFelt_SignedIntDivFeltOpBuild (MlirOpBuilder builder, MlirLocation location, MlirType resultType, MlirValue lhs, MlirValue rhs)
	Build a llzk::felt::SignedIntDivFeltOp Operation.
MLIR_CAPI_EXPORTED bool	llzkOperationIsA_Felt_SignedIntDivFeltOp (MlirOperation)
	Returns true if the Operation is a llzk::felt::SignedIntDivFeltOp.
MLIR_CAPI_EXPORTED MlirValue	llzkFelt_SignedIntDivFeltOpGetLhs (MlirOperation op)
	Get Lhs operand from llzk::felt::SignedIntDivFeltOp Operation.
MLIR_CAPI_EXPORTED void	llzkFelt_SignedIntDivFeltOpSetLhs (MlirOperation op, MlirValue value)
	Set Lhs operand of llzk::felt::SignedIntDivFeltOp Operation.
MLIR_CAPI_EXPORTED MlirValue	llzkFelt_SignedIntDivFeltOpGetRhs (MlirOperation op)
	Get Rhs operand from llzk::felt::SignedIntDivFeltOp Operation.
MLIR_CAPI_EXPORTED void	llzkFelt_SignedIntDivFeltOpSetRhs (MlirOperation op, MlirValue value)
	Set Rhs operand of llzk::felt::SignedIntDivFeltOp Operation.
MLIR_CAPI_EXPORTED MlirValue	llzkFelt_SignedIntDivFeltOpGetResult (MlirOperation op)
	Get Result result from llzk::felt::SignedIntDivFeltOp Operation.
MLIR_CAPI_EXPORTED MlirOperation	llzkFelt_SignedModFeltOpBuild (MlirOpBuilder builder, MlirLocation location, MlirType resultType, MlirValue lhs, MlirValue rhs)
	Build a llzk::felt::SignedModFeltOp Operation.
MLIR_CAPI_EXPORTED bool	llzkOperationIsA_Felt_SignedModFeltOp (MlirOperation)
	Returns true if the Operation is a llzk::felt::SignedModFeltOp.
MLIR_CAPI_EXPORTED MlirValue	llzkFelt_SignedModFeltOpGetLhs (MlirOperation op)
	Get Lhs operand from llzk::felt::SignedModFeltOp Operation.
MLIR_CAPI_EXPORTED void	llzkFelt_SignedModFeltOpSetLhs (MlirOperation op, MlirValue value)
	Set Lhs operand of llzk::felt::SignedModFeltOp Operation.
MLIR_CAPI_EXPORTED MlirValue	llzkFelt_SignedModFeltOpGetRhs (MlirOperation op)
	Get Rhs operand from llzk::felt::SignedModFeltOp Operation.
MLIR_CAPI_EXPORTED void	llzkFelt_SignedModFeltOpSetRhs (MlirOperation op, MlirValue value)
	Set Rhs operand of llzk::felt::SignedModFeltOp Operation.
MLIR_CAPI_EXPORTED MlirValue	llzkFelt_SignedModFeltOpGetResult (MlirOperation op)
	Get Result result from llzk::felt::SignedModFeltOp Operation.
MLIR_CAPI_EXPORTED MlirOperation	llzkFelt_SubFeltOpBuild (MlirOpBuilder builder, MlirLocation location, MlirType resultType, MlirValue lhs, MlirValue rhs)
	Build a llzk::felt::SubFeltOp Operation.
MLIR_CAPI_EXPORTED bool	llzkOperationIsA_Felt_SubFeltOp (MlirOperation)
	Returns true if the Operation is a llzk::felt::SubFeltOp.
MLIR_CAPI_EXPORTED MlirValue	llzkFelt_SubFeltOpGetLhs (MlirOperation op)
	Get Lhs operand from llzk::felt::SubFeltOp Operation.
MLIR_CAPI_EXPORTED void	llzkFelt_SubFeltOpSetLhs (MlirOperation op, MlirValue value)
	Set Lhs operand of llzk::felt::SubFeltOp Operation.
MLIR_CAPI_EXPORTED MlirValue	llzkFelt_SubFeltOpGetRhs (MlirOperation op)
	Get Rhs operand from llzk::felt::SubFeltOp Operation.
MLIR_CAPI_EXPORTED void	llzkFelt_SubFeltOpSetRhs (MlirOperation op, MlirValue value)
	Set Rhs operand of llzk::felt::SubFeltOp Operation.
MLIR_CAPI_EXPORTED MlirValue	llzkFelt_SubFeltOpGetResult (MlirOperation op)
	Get Result result from llzk::felt::SubFeltOp Operation.
MLIR_CAPI_EXPORTED MlirOperation	llzkFelt_UnsignedIntDivFeltOpBuild (MlirOpBuilder builder, MlirLocation location, MlirType resultType, MlirValue lhs, MlirValue rhs)
	Build a llzk::felt::UnsignedIntDivFeltOp Operation.
MLIR_CAPI_EXPORTED bool	llzkOperationIsA_Felt_UnsignedIntDivFeltOp (MlirOperation)
	Returns true if the Operation is a llzk::felt::UnsignedIntDivFeltOp.
MLIR_CAPI_EXPORTED MlirValue	llzkFelt_UnsignedIntDivFeltOpGetLhs (MlirOperation op)
	Get Lhs operand from llzk::felt::UnsignedIntDivFeltOp Operation.
MLIR_CAPI_EXPORTED void	llzkFelt_UnsignedIntDivFeltOpSetLhs (MlirOperation op, MlirValue value)
	Set Lhs operand of llzk::felt::UnsignedIntDivFeltOp Operation.
MLIR_CAPI_EXPORTED MlirValue	llzkFelt_UnsignedIntDivFeltOpGetRhs (MlirOperation op)
	Get Rhs operand from llzk::felt::UnsignedIntDivFeltOp Operation.
MLIR_CAPI_EXPORTED void	llzkFelt_UnsignedIntDivFeltOpSetRhs (MlirOperation op, MlirValue value)
	Set Rhs operand of llzk::felt::UnsignedIntDivFeltOp Operation.
MLIR_CAPI_EXPORTED MlirValue	llzkFelt_UnsignedIntDivFeltOpGetResult (MlirOperation op)
	Get Result result from llzk::felt::UnsignedIntDivFeltOp Operation.
MLIR_CAPI_EXPORTED MlirOperation	llzkFelt_UnsignedModFeltOpBuild (MlirOpBuilder builder, MlirLocation location, MlirType resultType, MlirValue lhs, MlirValue rhs)
	Build a llzk::felt::UnsignedModFeltOp Operation.
MLIR_CAPI_EXPORTED bool	llzkOperationIsA_Felt_UnsignedModFeltOp (MlirOperation)
	Returns true if the Operation is a llzk::felt::UnsignedModFeltOp.
MLIR_CAPI_EXPORTED MlirValue	llzkFelt_UnsignedModFeltOpGetLhs (MlirOperation op)
	Get Lhs operand from llzk::felt::UnsignedModFeltOp Operation.
MLIR_CAPI_EXPORTED void	llzkFelt_UnsignedModFeltOpSetLhs (MlirOperation op, MlirValue value)
	Set Lhs operand of llzk::felt::UnsignedModFeltOp Operation.
MLIR_CAPI_EXPORTED MlirValue	llzkFelt_UnsignedModFeltOpGetRhs (MlirOperation op)
	Get Rhs operand from llzk::felt::UnsignedModFeltOp Operation.
MLIR_CAPI_EXPORTED void	llzkFelt_UnsignedModFeltOpSetRhs (MlirOperation op, MlirValue value)
	Set Rhs operand of llzk::felt::UnsignedModFeltOp Operation.
MLIR_CAPI_EXPORTED MlirValue	llzkFelt_UnsignedModFeltOpGetResult (MlirOperation op)
	Get Result result from llzk::felt::UnsignedModFeltOp Operation.
MLIR_CAPI_EXPORTED MlirOperation	llzkFelt_XorFeltOpBuild (MlirOpBuilder builder, MlirLocation location, MlirType resultType, MlirValue lhs, MlirValue rhs)
	Build a llzk::felt::XorFeltOp Operation.
MLIR_CAPI_EXPORTED bool	llzkOperationIsA_Felt_XorFeltOp (MlirOperation)
	Returns true if the Operation is a llzk::felt::XorFeltOp.
MLIR_CAPI_EXPORTED MlirValue	llzkFelt_XorFeltOpGetLhs (MlirOperation op)
	Get Lhs operand from llzk::felt::XorFeltOp Operation.
MLIR_CAPI_EXPORTED void	llzkFelt_XorFeltOpSetLhs (MlirOperation op, MlirValue value)
	Set Lhs operand of llzk::felt::XorFeltOp Operation.
MLIR_CAPI_EXPORTED MlirValue	llzkFelt_XorFeltOpGetRhs (MlirOperation op)
	Get Rhs operand from llzk::felt::XorFeltOp Operation.
MLIR_CAPI_EXPORTED void	llzkFelt_XorFeltOpSetRhs (MlirOperation op, MlirValue value)
	Set Rhs operand of llzk::felt::XorFeltOp Operation.
MLIR_CAPI_EXPORTED MlirValue	llzkFelt_XorFeltOpGetResult (MlirOperation op)
	Get Result result from llzk::felt::XorFeltOp Operation.

Function Documentation

◆ llzkFelt_AddFeltOpBuild()

MLIR_CAPI_EXPORTED MlirOperation llzkFelt_AddFeltOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location,
		MlirType	resultType,
		MlirValue	lhs,
		MlirValue	rhs )

Build a llzk::felt::AddFeltOp Operation.

Definition at line 16 of file Ops.capi.cpp.inc.

◆ llzkFelt_AddFeltOpGetLhs()

MLIR_CAPI_EXPORTED MlirValue llzkFelt_AddFeltOpGetLhs ( MlirOperation op )

Get Lhs operand from llzk::felt::AddFeltOp Operation.

Definition at line 29 of file Ops.capi.cpp.inc.

◆ llzkFelt_AddFeltOpGetResult()

MLIR_CAPI_EXPORTED MlirValue llzkFelt_AddFeltOpGetResult ( MlirOperation op )

Get Result result from llzk::felt::AddFeltOp Operation.

Definition at line 69 of file Ops.capi.cpp.inc.

◆ llzkFelt_AddFeltOpGetRhs()

MLIR_CAPI_EXPORTED MlirValue llzkFelt_AddFeltOpGetRhs ( MlirOperation op )

Get Rhs operand from llzk::felt::AddFeltOp Operation.

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

◆ llzkFelt_AddFeltOpSetLhs()

MLIR_CAPI_EXPORTED void llzkFelt_AddFeltOpSetLhs	(	MlirOperation	op,
		MlirValue	value )

Set Lhs operand of llzk::felt::AddFeltOp Operation.

Definition at line 39 of file Ops.capi.cpp.inc.

◆ llzkFelt_AddFeltOpSetRhs()

MLIR_CAPI_EXPORTED void llzkFelt_AddFeltOpSetRhs	(	MlirOperation	op,
		MlirValue	value )

Set Rhs operand of llzk::felt::AddFeltOp Operation.

Definition at line 59 of file Ops.capi.cpp.inc.

◆ llzkFelt_AndFeltOpBuild()

MLIR_CAPI_EXPORTED MlirOperation llzkFelt_AndFeltOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location,
		MlirType	resultType,
		MlirValue	lhs,
		MlirValue	rhs )

Build a llzk::felt::AndFeltOp Operation.

Definition at line 73 of file Ops.capi.cpp.inc.

◆ llzkFelt_AndFeltOpGetLhs()

MLIR_CAPI_EXPORTED MlirValue llzkFelt_AndFeltOpGetLhs ( MlirOperation op )

Get Lhs operand from llzk::felt::AndFeltOp Operation.

Definition at line 86 of file Ops.capi.cpp.inc.

◆ llzkFelt_AndFeltOpGetResult()

MLIR_CAPI_EXPORTED MlirValue llzkFelt_AndFeltOpGetResult ( MlirOperation op )

Get Result result from llzk::felt::AndFeltOp Operation.

Definition at line 126 of file Ops.capi.cpp.inc.

◆ llzkFelt_AndFeltOpGetRhs()

MLIR_CAPI_EXPORTED MlirValue llzkFelt_AndFeltOpGetRhs ( MlirOperation op )

Get Rhs operand from llzk::felt::AndFeltOp Operation.

Definition at line 106 of file Ops.capi.cpp.inc.

◆ llzkFelt_AndFeltOpSetLhs()

MLIR_CAPI_EXPORTED void llzkFelt_AndFeltOpSetLhs	(	MlirOperation	op,
		MlirValue	value )

Set Lhs operand of llzk::felt::AndFeltOp Operation.

Definition at line 96 of file Ops.capi.cpp.inc.

◆ llzkFelt_AndFeltOpSetRhs()

MLIR_CAPI_EXPORTED void llzkFelt_AndFeltOpSetRhs	(	MlirOperation	op,
		MlirValue	value )

Set Rhs operand of llzk::felt::AndFeltOp Operation.

Definition at line 116 of file Ops.capi.cpp.inc.

◆ llzkFelt_DivFeltOpBuild()

MLIR_CAPI_EXPORTED MlirOperation llzkFelt_DivFeltOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location,
		MlirType	resultType,
		MlirValue	lhs,
		MlirValue	rhs )

Build a llzk::felt::DivFeltOp Operation.

Definition at line 130 of file Ops.capi.cpp.inc.

◆ llzkFelt_DivFeltOpGetLhs()

MLIR_CAPI_EXPORTED MlirValue llzkFelt_DivFeltOpGetLhs ( MlirOperation op )

Get Lhs operand from llzk::felt::DivFeltOp Operation.

Definition at line 143 of file Ops.capi.cpp.inc.

◆ llzkFelt_DivFeltOpGetResult()

MLIR_CAPI_EXPORTED MlirValue llzkFelt_DivFeltOpGetResult ( MlirOperation op )

Get Result result from llzk::felt::DivFeltOp Operation.

Definition at line 183 of file Ops.capi.cpp.inc.

◆ llzkFelt_DivFeltOpGetRhs()

MLIR_CAPI_EXPORTED MlirValue llzkFelt_DivFeltOpGetRhs ( MlirOperation op )

Get Rhs operand from llzk::felt::DivFeltOp Operation.

Definition at line 163 of file Ops.capi.cpp.inc.

◆ llzkFelt_DivFeltOpSetLhs()

MLIR_CAPI_EXPORTED void llzkFelt_DivFeltOpSetLhs	(	MlirOperation	op,
		MlirValue	value )

Set Lhs operand of llzk::felt::DivFeltOp Operation.

Definition at line 153 of file Ops.capi.cpp.inc.

◆ llzkFelt_DivFeltOpSetRhs()

MLIR_CAPI_EXPORTED void llzkFelt_DivFeltOpSetRhs	(	MlirOperation	op,
		MlirValue	value )

Set Rhs operand of llzk::felt::DivFeltOp Operation.

Definition at line 173 of file Ops.capi.cpp.inc.

◆ llzkFelt_FeltConstantOpBuild()

MLIR_CAPI_EXPORTED MlirOperation llzkFelt_FeltConstantOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location,
		MlirType	resultType,
		MlirAttribute	value )

Build a llzk::felt::FeltConstantOp Operation.

Definition at line 187 of file Ops.capi.cpp.inc.

◆ llzkFelt_FeltConstantOpGetResult()

MLIR_CAPI_EXPORTED MlirValue llzkFelt_FeltConstantOpGetResult ( MlirOperation op )

Get Result result from llzk::felt::FeltConstantOp Operation.

Definition at line 212 of file Ops.capi.cpp.inc.

◆ llzkFelt_FeltConstantOpGetValue()

MLIR_CAPI_EXPORTED MlirAttribute llzkFelt_FeltConstantOpGetValue ( MlirOperation op )

Get Value attribute from llzk::felt::FeltConstantOp Operation.

Definition at line 204 of file Ops.capi.cpp.inc.

◆ llzkFelt_FeltConstantOpSetValue()

MLIR_CAPI_EXPORTED void llzkFelt_FeltConstantOpSetValue	(	MlirOperation	op,
		MlirAttribute	attr )

Set Value attribute of llzk::felt::FeltConstantOp Operation.

Definition at line 208 of file Ops.capi.cpp.inc.

◆ llzkFelt_InvFeltOpBuild()

MLIR_CAPI_EXPORTED MlirOperation llzkFelt_InvFeltOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location,
		MlirType	resultType,
		MlirValue	operand )

Build a llzk::felt::InvFeltOp Operation.

Definition at line 216 of file Ops.capi.cpp.inc.

◆ llzkFelt_InvFeltOpGetOperand()

MLIR_CAPI_EXPORTED MlirValue llzkFelt_InvFeltOpGetOperand ( MlirOperation op )

Get Operand operand from llzk::felt::InvFeltOp Operation.

Definition at line 228 of file Ops.capi.cpp.inc.

◆ llzkFelt_InvFeltOpGetResult()

MLIR_CAPI_EXPORTED MlirValue llzkFelt_InvFeltOpGetResult ( MlirOperation op )

Get Result result from llzk::felt::InvFeltOp Operation.

Definition at line 248 of file Ops.capi.cpp.inc.

◆ llzkFelt_InvFeltOpSetOperand()

MLIR_CAPI_EXPORTED void llzkFelt_InvFeltOpSetOperand	(	MlirOperation	op,
		MlirValue	value )

Set Operand operand of llzk::felt::InvFeltOp Operation.

Definition at line 238 of file Ops.capi.cpp.inc.

◆ llzkFelt_MulFeltOpBuild()

MLIR_CAPI_EXPORTED MlirOperation llzkFelt_MulFeltOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location,
		MlirType	resultType,
		MlirValue	lhs,
		MlirValue	rhs )

Build a llzk::felt::MulFeltOp Operation.

Definition at line 252 of file Ops.capi.cpp.inc.

◆ llzkFelt_MulFeltOpGetLhs()

MLIR_CAPI_EXPORTED MlirValue llzkFelt_MulFeltOpGetLhs ( MlirOperation op )

Get Lhs operand from llzk::felt::MulFeltOp Operation.

Definition at line 265 of file Ops.capi.cpp.inc.

◆ llzkFelt_MulFeltOpGetResult()

MLIR_CAPI_EXPORTED MlirValue llzkFelt_MulFeltOpGetResult ( MlirOperation op )

Get Result result from llzk::felt::MulFeltOp Operation.

Definition at line 305 of file Ops.capi.cpp.inc.

◆ llzkFelt_MulFeltOpGetRhs()

MLIR_CAPI_EXPORTED MlirValue llzkFelt_MulFeltOpGetRhs ( MlirOperation op )

Get Rhs operand from llzk::felt::MulFeltOp Operation.

Definition at line 285 of file Ops.capi.cpp.inc.

◆ llzkFelt_MulFeltOpSetLhs()

MLIR_CAPI_EXPORTED void llzkFelt_MulFeltOpSetLhs	(	MlirOperation	op,
		MlirValue	value )

Set Lhs operand of llzk::felt::MulFeltOp Operation.

Definition at line 275 of file Ops.capi.cpp.inc.

◆ llzkFelt_MulFeltOpSetRhs()

MLIR_CAPI_EXPORTED void llzkFelt_MulFeltOpSetRhs	(	MlirOperation	op,
		MlirValue	value )

Set Rhs operand of llzk::felt::MulFeltOp Operation.

Definition at line 295 of file Ops.capi.cpp.inc.

◆ llzkFelt_NegFeltOpBuild()

MLIR_CAPI_EXPORTED MlirOperation llzkFelt_NegFeltOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location,
		MlirType	resultType,
		MlirValue	operand )

Build a llzk::felt::NegFeltOp Operation.

Definition at line 309 of file Ops.capi.cpp.inc.

◆ llzkFelt_NegFeltOpGetOperand()

MLIR_CAPI_EXPORTED MlirValue llzkFelt_NegFeltOpGetOperand ( MlirOperation op )

Get Operand operand from llzk::felt::NegFeltOp Operation.

Definition at line 321 of file Ops.capi.cpp.inc.

◆ llzkFelt_NegFeltOpGetResult()

MLIR_CAPI_EXPORTED MlirValue llzkFelt_NegFeltOpGetResult ( MlirOperation op )

Get Result result from llzk::felt::NegFeltOp Operation.

Definition at line 341 of file Ops.capi.cpp.inc.

◆ llzkFelt_NegFeltOpSetOperand()

MLIR_CAPI_EXPORTED void llzkFelt_NegFeltOpSetOperand	(	MlirOperation	op,
		MlirValue	value )

Set Operand operand of llzk::felt::NegFeltOp Operation.

Definition at line 331 of file Ops.capi.cpp.inc.

◆ llzkFelt_NotFeltOpBuild()

MLIR_CAPI_EXPORTED MlirOperation llzkFelt_NotFeltOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location,
		MlirType	resultType,
		MlirValue	operand )

Build a llzk::felt::NotFeltOp Operation.

Definition at line 345 of file Ops.capi.cpp.inc.

◆ llzkFelt_NotFeltOpGetOperand()

MLIR_CAPI_EXPORTED MlirValue llzkFelt_NotFeltOpGetOperand ( MlirOperation op )

Get Operand operand from llzk::felt::NotFeltOp Operation.

Definition at line 357 of file Ops.capi.cpp.inc.

◆ llzkFelt_NotFeltOpGetResult()

MLIR_CAPI_EXPORTED MlirValue llzkFelt_NotFeltOpGetResult ( MlirOperation op )

Get Result result from llzk::felt::NotFeltOp Operation.

Definition at line 377 of file Ops.capi.cpp.inc.

◆ llzkFelt_NotFeltOpSetOperand()

MLIR_CAPI_EXPORTED void llzkFelt_NotFeltOpSetOperand	(	MlirOperation	op,
		MlirValue	value )

Set Operand operand of llzk::felt::NotFeltOp Operation.

Definition at line 367 of file Ops.capi.cpp.inc.

◆ llzkFelt_OrFeltOpBuild()

MLIR_CAPI_EXPORTED MlirOperation llzkFelt_OrFeltOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location,
		MlirType	resultType,
		MlirValue	lhs,
		MlirValue	rhs )

Build a llzk::felt::OrFeltOp Operation.

Definition at line 381 of file Ops.capi.cpp.inc.

◆ llzkFelt_OrFeltOpGetLhs()

MLIR_CAPI_EXPORTED MlirValue llzkFelt_OrFeltOpGetLhs ( MlirOperation op )

Get Lhs operand from llzk::felt::OrFeltOp Operation.

Definition at line 394 of file Ops.capi.cpp.inc.

◆ llzkFelt_OrFeltOpGetResult()

MLIR_CAPI_EXPORTED MlirValue llzkFelt_OrFeltOpGetResult ( MlirOperation op )

Get Result result from llzk::felt::OrFeltOp Operation.

Definition at line 434 of file Ops.capi.cpp.inc.

◆ llzkFelt_OrFeltOpGetRhs()

MLIR_CAPI_EXPORTED MlirValue llzkFelt_OrFeltOpGetRhs ( MlirOperation op )

Get Rhs operand from llzk::felt::OrFeltOp Operation.

Definition at line 414 of file Ops.capi.cpp.inc.

◆ llzkFelt_OrFeltOpSetLhs()

MLIR_CAPI_EXPORTED void llzkFelt_OrFeltOpSetLhs	(	MlirOperation	op,
		MlirValue	value )

Set Lhs operand of llzk::felt::OrFeltOp Operation.

Definition at line 404 of file Ops.capi.cpp.inc.

◆ llzkFelt_OrFeltOpSetRhs()

MLIR_CAPI_EXPORTED void llzkFelt_OrFeltOpSetRhs	(	MlirOperation	op,
		MlirValue	value )

Set Rhs operand of llzk::felt::OrFeltOp Operation.

Definition at line 424 of file Ops.capi.cpp.inc.

◆ llzkFelt_PowFeltOpBuild()

MLIR_CAPI_EXPORTED MlirOperation llzkFelt_PowFeltOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location,
		MlirType	resultType,
		MlirValue	lhs,
		MlirValue	rhs )

Build a llzk::felt::PowFeltOp Operation.

Definition at line 438 of file Ops.capi.cpp.inc.

◆ llzkFelt_PowFeltOpGetLhs()

MLIR_CAPI_EXPORTED MlirValue llzkFelt_PowFeltOpGetLhs ( MlirOperation op )

Get Lhs operand from llzk::felt::PowFeltOp Operation.

Definition at line 451 of file Ops.capi.cpp.inc.

◆ llzkFelt_PowFeltOpGetResult()

MLIR_CAPI_EXPORTED MlirValue llzkFelt_PowFeltOpGetResult ( MlirOperation op )

Get Result result from llzk::felt::PowFeltOp Operation.

Definition at line 491 of file Ops.capi.cpp.inc.

◆ llzkFelt_PowFeltOpGetRhs()

MLIR_CAPI_EXPORTED MlirValue llzkFelt_PowFeltOpGetRhs ( MlirOperation op )

Get Rhs operand from llzk::felt::PowFeltOp Operation.

Definition at line 471 of file Ops.capi.cpp.inc.

◆ llzkFelt_PowFeltOpSetLhs()

MLIR_CAPI_EXPORTED void llzkFelt_PowFeltOpSetLhs	(	MlirOperation	op,
		MlirValue	value )

Set Lhs operand of llzk::felt::PowFeltOp Operation.

Definition at line 461 of file Ops.capi.cpp.inc.

◆ llzkFelt_PowFeltOpSetRhs()

MLIR_CAPI_EXPORTED void llzkFelt_PowFeltOpSetRhs	(	MlirOperation	op,
		MlirValue	value )

Set Rhs operand of llzk::felt::PowFeltOp Operation.

Definition at line 481 of file Ops.capi.cpp.inc.

◆ llzkFelt_ShlFeltOpBuild()

MLIR_CAPI_EXPORTED MlirOperation llzkFelt_ShlFeltOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location,
		MlirType	resultType,
		MlirValue	lhs,
		MlirValue	rhs )

Build a llzk::felt::ShlFeltOp Operation.

Definition at line 495 of file Ops.capi.cpp.inc.

◆ llzkFelt_ShlFeltOpGetLhs()

MLIR_CAPI_EXPORTED MlirValue llzkFelt_ShlFeltOpGetLhs ( MlirOperation op )

Get Lhs operand from llzk::felt::ShlFeltOp Operation.

Definition at line 508 of file Ops.capi.cpp.inc.

◆ llzkFelt_ShlFeltOpGetResult()

MLIR_CAPI_EXPORTED MlirValue llzkFelt_ShlFeltOpGetResult ( MlirOperation op )

Get Result result from llzk::felt::ShlFeltOp Operation.

Definition at line 548 of file Ops.capi.cpp.inc.

◆ llzkFelt_ShlFeltOpGetRhs()

MLIR_CAPI_EXPORTED MlirValue llzkFelt_ShlFeltOpGetRhs ( MlirOperation op )

Get Rhs operand from llzk::felt::ShlFeltOp Operation.

Definition at line 528 of file Ops.capi.cpp.inc.

◆ llzkFelt_ShlFeltOpSetLhs()

MLIR_CAPI_EXPORTED void llzkFelt_ShlFeltOpSetLhs	(	MlirOperation	op,
		MlirValue	value )

Set Lhs operand of llzk::felt::ShlFeltOp Operation.

Definition at line 518 of file Ops.capi.cpp.inc.

◆ llzkFelt_ShlFeltOpSetRhs()

MLIR_CAPI_EXPORTED void llzkFelt_ShlFeltOpSetRhs	(	MlirOperation	op,
		MlirValue	value )

Set Rhs operand of llzk::felt::ShlFeltOp Operation.

Definition at line 538 of file Ops.capi.cpp.inc.

◆ llzkFelt_ShrFeltOpBuild()

MLIR_CAPI_EXPORTED MlirOperation llzkFelt_ShrFeltOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location,
		MlirType	resultType,
		MlirValue	lhs,
		MlirValue	rhs )

Build a llzk::felt::ShrFeltOp Operation.

Definition at line 552 of file Ops.capi.cpp.inc.

◆ llzkFelt_ShrFeltOpGetLhs()

MLIR_CAPI_EXPORTED MlirValue llzkFelt_ShrFeltOpGetLhs ( MlirOperation op )

Get Lhs operand from llzk::felt::ShrFeltOp Operation.

Definition at line 565 of file Ops.capi.cpp.inc.

◆ llzkFelt_ShrFeltOpGetResult()

MLIR_CAPI_EXPORTED MlirValue llzkFelt_ShrFeltOpGetResult ( MlirOperation op )

Get Result result from llzk::felt::ShrFeltOp Operation.

Definition at line 605 of file Ops.capi.cpp.inc.

◆ llzkFelt_ShrFeltOpGetRhs()

MLIR_CAPI_EXPORTED MlirValue llzkFelt_ShrFeltOpGetRhs ( MlirOperation op )

Get Rhs operand from llzk::felt::ShrFeltOp Operation.

Definition at line 585 of file Ops.capi.cpp.inc.

◆ llzkFelt_ShrFeltOpSetLhs()

MLIR_CAPI_EXPORTED void llzkFelt_ShrFeltOpSetLhs	(	MlirOperation	op,
		MlirValue	value )

Set Lhs operand of llzk::felt::ShrFeltOp Operation.

Definition at line 575 of file Ops.capi.cpp.inc.

◆ llzkFelt_ShrFeltOpSetRhs()

MLIR_CAPI_EXPORTED void llzkFelt_ShrFeltOpSetRhs	(	MlirOperation	op,
		MlirValue	value )

Set Rhs operand of llzk::felt::ShrFeltOp Operation.

Definition at line 595 of file Ops.capi.cpp.inc.

◆ llzkFelt_SignedIntDivFeltOpBuild()

MLIR_CAPI_EXPORTED MlirOperation llzkFelt_SignedIntDivFeltOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location,
		MlirType	resultType,
		MlirValue	lhs,
		MlirValue	rhs )

Build a llzk::felt::SignedIntDivFeltOp Operation.

Definition at line 609 of file Ops.capi.cpp.inc.

◆ llzkFelt_SignedIntDivFeltOpGetLhs()

MLIR_CAPI_EXPORTED MlirValue llzkFelt_SignedIntDivFeltOpGetLhs ( MlirOperation op )

Get Lhs operand from llzk::felt::SignedIntDivFeltOp Operation.

Definition at line 622 of file Ops.capi.cpp.inc.

◆ llzkFelt_SignedIntDivFeltOpGetResult()

MLIR_CAPI_EXPORTED MlirValue llzkFelt_SignedIntDivFeltOpGetResult ( MlirOperation op )

Get Result result from llzk::felt::SignedIntDivFeltOp Operation.

Definition at line 662 of file Ops.capi.cpp.inc.

◆ llzkFelt_SignedIntDivFeltOpGetRhs()

MLIR_CAPI_EXPORTED MlirValue llzkFelt_SignedIntDivFeltOpGetRhs ( MlirOperation op )

Get Rhs operand from llzk::felt::SignedIntDivFeltOp Operation.

Definition at line 642 of file Ops.capi.cpp.inc.

◆ llzkFelt_SignedIntDivFeltOpSetLhs()

MLIR_CAPI_EXPORTED void llzkFelt_SignedIntDivFeltOpSetLhs	(	MlirOperation	op,
		MlirValue	value )

Set Lhs operand of llzk::felt::SignedIntDivFeltOp Operation.

Definition at line 632 of file Ops.capi.cpp.inc.

◆ llzkFelt_SignedIntDivFeltOpSetRhs()

MLIR_CAPI_EXPORTED void llzkFelt_SignedIntDivFeltOpSetRhs	(	MlirOperation	op,
		MlirValue	value )

Set Rhs operand of llzk::felt::SignedIntDivFeltOp Operation.

Definition at line 652 of file Ops.capi.cpp.inc.

◆ llzkFelt_SignedModFeltOpBuild()

MLIR_CAPI_EXPORTED MlirOperation llzkFelt_SignedModFeltOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location,
		MlirType	resultType,
		MlirValue	lhs,
		MlirValue	rhs )

Build a llzk::felt::SignedModFeltOp Operation.

Definition at line 666 of file Ops.capi.cpp.inc.

◆ llzkFelt_SignedModFeltOpGetLhs()

MLIR_CAPI_EXPORTED MlirValue llzkFelt_SignedModFeltOpGetLhs ( MlirOperation op )

Get Lhs operand from llzk::felt::SignedModFeltOp Operation.

Definition at line 679 of file Ops.capi.cpp.inc.

◆ llzkFelt_SignedModFeltOpGetResult()

MLIR_CAPI_EXPORTED MlirValue llzkFelt_SignedModFeltOpGetResult ( MlirOperation op )

Get Result result from llzk::felt::SignedModFeltOp Operation.

Definition at line 719 of file Ops.capi.cpp.inc.

◆ llzkFelt_SignedModFeltOpGetRhs()

MLIR_CAPI_EXPORTED MlirValue llzkFelt_SignedModFeltOpGetRhs ( MlirOperation op )

Get Rhs operand from llzk::felt::SignedModFeltOp Operation.

Definition at line 699 of file Ops.capi.cpp.inc.

◆ llzkFelt_SignedModFeltOpSetLhs()

MLIR_CAPI_EXPORTED void llzkFelt_SignedModFeltOpSetLhs	(	MlirOperation	op,
		MlirValue	value )

Set Lhs operand of llzk::felt::SignedModFeltOp Operation.

Definition at line 689 of file Ops.capi.cpp.inc.

◆ llzkFelt_SignedModFeltOpSetRhs()

MLIR_CAPI_EXPORTED void llzkFelt_SignedModFeltOpSetRhs	(	MlirOperation	op,
		MlirValue	value )

Set Rhs operand of llzk::felt::SignedModFeltOp Operation.

Definition at line 709 of file Ops.capi.cpp.inc.

◆ llzkFelt_SubFeltOpBuild()

MLIR_CAPI_EXPORTED MlirOperation llzkFelt_SubFeltOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location,
		MlirType	resultType,
		MlirValue	lhs,
		MlirValue	rhs )

Build a llzk::felt::SubFeltOp Operation.

Definition at line 723 of file Ops.capi.cpp.inc.

◆ llzkFelt_SubFeltOpGetLhs()

MLIR_CAPI_EXPORTED MlirValue llzkFelt_SubFeltOpGetLhs ( MlirOperation op )

Get Lhs operand from llzk::felt::SubFeltOp Operation.

Definition at line 736 of file Ops.capi.cpp.inc.

◆ llzkFelt_SubFeltOpGetResult()

MLIR_CAPI_EXPORTED MlirValue llzkFelt_SubFeltOpGetResult ( MlirOperation op )

Get Result result from llzk::felt::SubFeltOp Operation.

Definition at line 776 of file Ops.capi.cpp.inc.

◆ llzkFelt_SubFeltOpGetRhs()

MLIR_CAPI_EXPORTED MlirValue llzkFelt_SubFeltOpGetRhs ( MlirOperation op )

Get Rhs operand from llzk::felt::SubFeltOp Operation.

Definition at line 756 of file Ops.capi.cpp.inc.

◆ llzkFelt_SubFeltOpSetLhs()

MLIR_CAPI_EXPORTED void llzkFelt_SubFeltOpSetLhs	(	MlirOperation	op,
		MlirValue	value )

Set Lhs operand of llzk::felt::SubFeltOp Operation.

Definition at line 746 of file Ops.capi.cpp.inc.

◆ llzkFelt_SubFeltOpSetRhs()

MLIR_CAPI_EXPORTED void llzkFelt_SubFeltOpSetRhs	(	MlirOperation	op,
		MlirValue	value )

Set Rhs operand of llzk::felt::SubFeltOp Operation.

Definition at line 766 of file Ops.capi.cpp.inc.

◆ llzkFelt_UnsignedIntDivFeltOpBuild()

MLIR_CAPI_EXPORTED MlirOperation llzkFelt_UnsignedIntDivFeltOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location,
		MlirType	resultType,
		MlirValue	lhs,
		MlirValue	rhs )

Build a llzk::felt::UnsignedIntDivFeltOp Operation.

Definition at line 780 of file Ops.capi.cpp.inc.

◆ llzkFelt_UnsignedIntDivFeltOpGetLhs()

MLIR_CAPI_EXPORTED MlirValue llzkFelt_UnsignedIntDivFeltOpGetLhs ( MlirOperation op )

Get Lhs operand from llzk::felt::UnsignedIntDivFeltOp Operation.

Definition at line 793 of file Ops.capi.cpp.inc.

◆ llzkFelt_UnsignedIntDivFeltOpGetResult()

MLIR_CAPI_EXPORTED MlirValue llzkFelt_UnsignedIntDivFeltOpGetResult ( MlirOperation op )

Get Result result from llzk::felt::UnsignedIntDivFeltOp Operation.

Definition at line 833 of file Ops.capi.cpp.inc.

◆ llzkFelt_UnsignedIntDivFeltOpGetRhs()

MLIR_CAPI_EXPORTED MlirValue llzkFelt_UnsignedIntDivFeltOpGetRhs ( MlirOperation op )

Get Rhs operand from llzk::felt::UnsignedIntDivFeltOp Operation.

Definition at line 813 of file Ops.capi.cpp.inc.

◆ llzkFelt_UnsignedIntDivFeltOpSetLhs()

MLIR_CAPI_EXPORTED void llzkFelt_UnsignedIntDivFeltOpSetLhs	(	MlirOperation	op,
		MlirValue	value )

Set Lhs operand of llzk::felt::UnsignedIntDivFeltOp Operation.

Definition at line 803 of file Ops.capi.cpp.inc.

◆ llzkFelt_UnsignedIntDivFeltOpSetRhs()

MLIR_CAPI_EXPORTED void llzkFelt_UnsignedIntDivFeltOpSetRhs	(	MlirOperation	op,
		MlirValue	value )

Set Rhs operand of llzk::felt::UnsignedIntDivFeltOp Operation.

Definition at line 823 of file Ops.capi.cpp.inc.

◆ llzkFelt_UnsignedModFeltOpBuild()

MLIR_CAPI_EXPORTED MlirOperation llzkFelt_UnsignedModFeltOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location,
		MlirType	resultType,
		MlirValue	lhs,
		MlirValue	rhs )

Build a llzk::felt::UnsignedModFeltOp Operation.

Definition at line 837 of file Ops.capi.cpp.inc.

◆ llzkFelt_UnsignedModFeltOpGetLhs()

MLIR_CAPI_EXPORTED MlirValue llzkFelt_UnsignedModFeltOpGetLhs ( MlirOperation op )

Get Lhs operand from llzk::felt::UnsignedModFeltOp Operation.

Definition at line 850 of file Ops.capi.cpp.inc.

◆ llzkFelt_UnsignedModFeltOpGetResult()

MLIR_CAPI_EXPORTED MlirValue llzkFelt_UnsignedModFeltOpGetResult ( MlirOperation op )

Get Result result from llzk::felt::UnsignedModFeltOp Operation.

Definition at line 890 of file Ops.capi.cpp.inc.

◆ llzkFelt_UnsignedModFeltOpGetRhs()

MLIR_CAPI_EXPORTED MlirValue llzkFelt_UnsignedModFeltOpGetRhs ( MlirOperation op )

Get Rhs operand from llzk::felt::UnsignedModFeltOp Operation.

Definition at line 870 of file Ops.capi.cpp.inc.

◆ llzkFelt_UnsignedModFeltOpSetLhs()

MLIR_CAPI_EXPORTED void llzkFelt_UnsignedModFeltOpSetLhs	(	MlirOperation	op,
		MlirValue	value )

Set Lhs operand of llzk::felt::UnsignedModFeltOp Operation.

Definition at line 860 of file Ops.capi.cpp.inc.

◆ llzkFelt_UnsignedModFeltOpSetRhs()

MLIR_CAPI_EXPORTED void llzkFelt_UnsignedModFeltOpSetRhs	(	MlirOperation	op,
		MlirValue	value )

Set Rhs operand of llzk::felt::UnsignedModFeltOp Operation.

Definition at line 880 of file Ops.capi.cpp.inc.

◆ llzkFelt_XorFeltOpBuild()

MLIR_CAPI_EXPORTED MlirOperation llzkFelt_XorFeltOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location,
		MlirType	resultType,
		MlirValue	lhs,
		MlirValue	rhs )

Build a llzk::felt::XorFeltOp Operation.

Definition at line 894 of file Ops.capi.cpp.inc.

◆ llzkFelt_XorFeltOpGetLhs()

MLIR_CAPI_EXPORTED MlirValue llzkFelt_XorFeltOpGetLhs ( MlirOperation op )

Get Lhs operand from llzk::felt::XorFeltOp Operation.

Definition at line 907 of file Ops.capi.cpp.inc.

◆ llzkFelt_XorFeltOpGetResult()

MLIR_CAPI_EXPORTED MlirValue llzkFelt_XorFeltOpGetResult ( MlirOperation op )

Get Result result from llzk::felt::XorFeltOp Operation.

Definition at line 947 of file Ops.capi.cpp.inc.

◆ llzkFelt_XorFeltOpGetRhs()

MLIR_CAPI_EXPORTED MlirValue llzkFelt_XorFeltOpGetRhs ( MlirOperation op )

Get Rhs operand from llzk::felt::XorFeltOp Operation.

Definition at line 927 of file Ops.capi.cpp.inc.

◆ llzkFelt_XorFeltOpSetLhs()

MLIR_CAPI_EXPORTED void llzkFelt_XorFeltOpSetLhs	(	MlirOperation	op,
		MlirValue	value )

Set Lhs operand of llzk::felt::XorFeltOp Operation.

Definition at line 917 of file Ops.capi.cpp.inc.

◆ llzkFelt_XorFeltOpSetRhs()

MLIR_CAPI_EXPORTED void llzkFelt_XorFeltOpSetRhs	(	MlirOperation	op,
		MlirValue	value )

Set Rhs operand of llzk::felt::XorFeltOp Operation.

Definition at line 937 of file Ops.capi.cpp.inc.

◆ llzkOperationIsA_Felt_AddFeltOp()

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Felt_AddFeltOp ( MlirOperation inp )

Returns true if the Operation is a llzk::felt::AddFeltOp.

Definition at line 25 of file Ops.capi.cpp.inc.

◆ llzkOperationIsA_Felt_AndFeltOp()

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Felt_AndFeltOp ( MlirOperation inp )

Returns true if the Operation is a llzk::felt::AndFeltOp.

Definition at line 82 of file Ops.capi.cpp.inc.

◆ llzkOperationIsA_Felt_DivFeltOp()

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Felt_DivFeltOp ( MlirOperation inp )

Returns true if the Operation is a llzk::felt::DivFeltOp.

Definition at line 139 of file Ops.capi.cpp.inc.

◆ llzkOperationIsA_Felt_FeltConstantOp()

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Felt_FeltConstantOp ( MlirOperation inp )

Returns true if the Operation is a llzk::felt::FeltConstantOp.

Definition at line 200 of file Ops.capi.cpp.inc.

◆ llzkOperationIsA_Felt_InvFeltOp()

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Felt_InvFeltOp ( MlirOperation inp )

Returns true if the Operation is a llzk::felt::InvFeltOp.

Definition at line 224 of file Ops.capi.cpp.inc.

◆ llzkOperationIsA_Felt_MulFeltOp()

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Felt_MulFeltOp ( MlirOperation inp )

Returns true if the Operation is a llzk::felt::MulFeltOp.

Definition at line 261 of file Ops.capi.cpp.inc.

◆ llzkOperationIsA_Felt_NegFeltOp()

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Felt_NegFeltOp ( MlirOperation inp )

Returns true if the Operation is a llzk::felt::NegFeltOp.

Definition at line 317 of file Ops.capi.cpp.inc.

◆ llzkOperationIsA_Felt_NotFeltOp()

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Felt_NotFeltOp ( MlirOperation inp )

Returns true if the Operation is a llzk::felt::NotFeltOp.

Definition at line 353 of file Ops.capi.cpp.inc.

◆ llzkOperationIsA_Felt_OrFeltOp()

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Felt_OrFeltOp ( MlirOperation inp )

Returns true if the Operation is a llzk::felt::OrFeltOp.

Definition at line 390 of file Ops.capi.cpp.inc.

◆ llzkOperationIsA_Felt_PowFeltOp()

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Felt_PowFeltOp ( MlirOperation inp )

Returns true if the Operation is a llzk::felt::PowFeltOp.

Definition at line 447 of file Ops.capi.cpp.inc.

◆ llzkOperationIsA_Felt_ShlFeltOp()

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Felt_ShlFeltOp ( MlirOperation inp )

Returns true if the Operation is a llzk::felt::ShlFeltOp.

Definition at line 504 of file Ops.capi.cpp.inc.

◆ llzkOperationIsA_Felt_ShrFeltOp()

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Felt_ShrFeltOp ( MlirOperation inp )

Returns true if the Operation is a llzk::felt::ShrFeltOp.

Definition at line 561 of file Ops.capi.cpp.inc.

◆ llzkOperationIsA_Felt_SignedIntDivFeltOp()

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Felt_SignedIntDivFeltOp ( MlirOperation inp )

Returns true if the Operation is a llzk::felt::SignedIntDivFeltOp.

Definition at line 618 of file Ops.capi.cpp.inc.

◆ llzkOperationIsA_Felt_SignedModFeltOp()

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Felt_SignedModFeltOp ( MlirOperation inp )

Returns true if the Operation is a llzk::felt::SignedModFeltOp.

Definition at line 675 of file Ops.capi.cpp.inc.

◆ llzkOperationIsA_Felt_SubFeltOp()

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Felt_SubFeltOp ( MlirOperation inp )

Returns true if the Operation is a llzk::felt::SubFeltOp.

Definition at line 732 of file Ops.capi.cpp.inc.

◆ llzkOperationIsA_Felt_UnsignedIntDivFeltOp()

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Felt_UnsignedIntDivFeltOp ( MlirOperation inp )

Returns true if the Operation is a llzk::felt::UnsignedIntDivFeltOp.

Definition at line 789 of file Ops.capi.cpp.inc.

◆ llzkOperationIsA_Felt_UnsignedModFeltOp()

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Felt_UnsignedModFeltOp ( MlirOperation inp )

Returns true if the Operation is a llzk::felt::UnsignedModFeltOp.

Definition at line 846 of file Ops.capi.cpp.inc.

◆ llzkOperationIsA_Felt_XorFeltOp()

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Felt_XorFeltOp ( MlirOperation inp )

Returns true if the Operation is a llzk::felt::XorFeltOp.

Definition at line 903 of file Ops.capi.cpp.inc.

Functions