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

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

Function Documentation

◆ llzkFelt_AddFeltOpBuild()

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

Build a llzk::felt::AddFeltOp Operation.

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

◆ llzkFelt_AddFeltOpGetLhs()

MlirValue llzkFelt_AddFeltOpGetLhs ( MlirOperation op )

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

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

◆ llzkFelt_AddFeltOpGetResult()

MlirValue llzkFelt_AddFeltOpGetResult ( MlirOperation op )

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

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

◆ llzkFelt_AddFeltOpGetRhs()

MlirValue llzkFelt_AddFeltOpGetRhs ( MlirOperation op )

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

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

◆ llzkFelt_AddFeltOpSetLhs()

void llzkFelt_AddFeltOpSetLhs	(	MlirOperation	op,
		MlirValue	value )

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

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

◆ llzkFelt_AddFeltOpSetRhs()

void llzkFelt_AddFeltOpSetRhs	(	MlirOperation	op,
		MlirValue	value )

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

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

◆ llzkFelt_AndFeltOpBuild()

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

Build a llzk::felt::AndFeltOp Operation.

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

◆ llzkFelt_AndFeltOpGetLhs()

MlirValue llzkFelt_AndFeltOpGetLhs ( MlirOperation op )

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

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

◆ llzkFelt_AndFeltOpGetResult()

MlirValue llzkFelt_AndFeltOpGetResult ( MlirOperation op )

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

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

◆ llzkFelt_AndFeltOpGetRhs()

MlirValue llzkFelt_AndFeltOpGetRhs ( MlirOperation op )

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

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

◆ llzkFelt_AndFeltOpSetLhs()

void llzkFelt_AndFeltOpSetLhs	(	MlirOperation	op,
		MlirValue	value )

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

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

◆ llzkFelt_AndFeltOpSetRhs()

void llzkFelt_AndFeltOpSetRhs	(	MlirOperation	op,
		MlirValue	value )

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

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

◆ llzkFelt_DivFeltOpBuild()

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

Build a llzk::felt::DivFeltOp Operation.

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

◆ llzkFelt_DivFeltOpGetLhs()

MlirValue llzkFelt_DivFeltOpGetLhs ( MlirOperation op )

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

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

◆ llzkFelt_DivFeltOpGetResult()

MlirValue llzkFelt_DivFeltOpGetResult ( MlirOperation op )

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

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

◆ llzkFelt_DivFeltOpGetRhs()

MlirValue llzkFelt_DivFeltOpGetRhs ( MlirOperation op )

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

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

◆ llzkFelt_DivFeltOpSetLhs()

void llzkFelt_DivFeltOpSetLhs	(	MlirOperation	op,
		MlirValue	value )

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

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

◆ llzkFelt_DivFeltOpSetRhs()

void llzkFelt_DivFeltOpSetRhs	(	MlirOperation	op,
		MlirValue	value )

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

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

◆ llzkFelt_FeltConstantOpBuild()

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

Build a llzk::felt::FeltConstantOp Operation.

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

◆ llzkFelt_FeltConstantOpGetResult()

MlirValue llzkFelt_FeltConstantOpGetResult ( MlirOperation op )

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

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

◆ llzkFelt_FeltConstantOpGetValue()

MlirAttribute llzkFelt_FeltConstantOpGetValue ( MlirOperation op )

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

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

◆ llzkFelt_FeltConstantOpSetValue()

void llzkFelt_FeltConstantOpSetValue	(	MlirOperation	op,
		MlirAttribute	attr )

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

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

◆ llzkFelt_InvFeltOpBuild()

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

Build a llzk::felt::InvFeltOp Operation.

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

◆ llzkFelt_InvFeltOpGetOperand()

MlirValue llzkFelt_InvFeltOpGetOperand ( MlirOperation op )

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

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

◆ llzkFelt_InvFeltOpGetResult()

MlirValue llzkFelt_InvFeltOpGetResult ( MlirOperation op )

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

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

◆ llzkFelt_InvFeltOpSetOperand()

void llzkFelt_InvFeltOpSetOperand	(	MlirOperation	op,
		MlirValue	value )

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

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

◆ llzkFelt_MulFeltOpBuild()

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

Build a llzk::felt::MulFeltOp Operation.

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

◆ llzkFelt_MulFeltOpGetLhs()

MlirValue llzkFelt_MulFeltOpGetLhs ( MlirOperation op )

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

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

◆ llzkFelt_MulFeltOpGetResult()

MlirValue llzkFelt_MulFeltOpGetResult ( MlirOperation op )

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

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

◆ llzkFelt_MulFeltOpGetRhs()

MlirValue llzkFelt_MulFeltOpGetRhs ( MlirOperation op )

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

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

◆ llzkFelt_MulFeltOpSetLhs()

void llzkFelt_MulFeltOpSetLhs	(	MlirOperation	op,
		MlirValue	value )

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

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

◆ llzkFelt_MulFeltOpSetRhs()

void llzkFelt_MulFeltOpSetRhs	(	MlirOperation	op,
		MlirValue	value )

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

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

◆ llzkFelt_NegFeltOpBuild()

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

Build a llzk::felt::NegFeltOp Operation.

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

◆ llzkFelt_NegFeltOpGetOperand()

MlirValue llzkFelt_NegFeltOpGetOperand ( MlirOperation op )

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

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

◆ llzkFelt_NegFeltOpGetResult()

MlirValue llzkFelt_NegFeltOpGetResult ( MlirOperation op )

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

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

◆ llzkFelt_NegFeltOpSetOperand()

void llzkFelt_NegFeltOpSetOperand	(	MlirOperation	op,
		MlirValue	value )

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

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

◆ llzkFelt_NotFeltOpBuild()

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

Build a llzk::felt::NotFeltOp Operation.

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

◆ llzkFelt_NotFeltOpGetOperand()

MlirValue llzkFelt_NotFeltOpGetOperand ( MlirOperation op )

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

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

◆ llzkFelt_NotFeltOpGetResult()

MlirValue llzkFelt_NotFeltOpGetResult ( MlirOperation op )

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

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

◆ llzkFelt_NotFeltOpSetOperand()

void llzkFelt_NotFeltOpSetOperand	(	MlirOperation	op,
		MlirValue	value )

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

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

◆ llzkFelt_OrFeltOpBuild()

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

Build a llzk::felt::OrFeltOp Operation.

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

◆ llzkFelt_OrFeltOpGetLhs()

MlirValue llzkFelt_OrFeltOpGetLhs ( MlirOperation op )

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

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

◆ llzkFelt_OrFeltOpGetResult()

MlirValue llzkFelt_OrFeltOpGetResult ( MlirOperation op )

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

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

◆ llzkFelt_OrFeltOpGetRhs()

MlirValue llzkFelt_OrFeltOpGetRhs ( MlirOperation op )

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

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

◆ llzkFelt_OrFeltOpSetLhs()

void llzkFelt_OrFeltOpSetLhs	(	MlirOperation	op,
		MlirValue	value )

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

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

◆ llzkFelt_OrFeltOpSetRhs()

void llzkFelt_OrFeltOpSetRhs	(	MlirOperation	op,
		MlirValue	value )

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

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

◆ llzkFelt_PowFeltOpBuild()

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

Build a llzk::felt::PowFeltOp Operation.

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

◆ llzkFelt_PowFeltOpGetLhs()

MlirValue llzkFelt_PowFeltOpGetLhs ( MlirOperation op )

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

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

◆ llzkFelt_PowFeltOpGetResult()

MlirValue llzkFelt_PowFeltOpGetResult ( MlirOperation op )

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

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

◆ llzkFelt_PowFeltOpGetRhs()

MlirValue llzkFelt_PowFeltOpGetRhs ( MlirOperation op )

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

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

◆ llzkFelt_PowFeltOpSetLhs()

void llzkFelt_PowFeltOpSetLhs	(	MlirOperation	op,
		MlirValue	value )

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

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

◆ llzkFelt_PowFeltOpSetRhs()

void llzkFelt_PowFeltOpSetRhs	(	MlirOperation	op,
		MlirValue	value )

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

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

◆ llzkFelt_ShlFeltOpBuild()

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

Build a llzk::felt::ShlFeltOp Operation.

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

◆ llzkFelt_ShlFeltOpGetLhs()

MlirValue llzkFelt_ShlFeltOpGetLhs ( MlirOperation op )

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

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

◆ llzkFelt_ShlFeltOpGetResult()

MlirValue llzkFelt_ShlFeltOpGetResult ( MlirOperation op )

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

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

◆ llzkFelt_ShlFeltOpGetRhs()

MlirValue llzkFelt_ShlFeltOpGetRhs ( MlirOperation op )

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

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

◆ llzkFelt_ShlFeltOpSetLhs()

void llzkFelt_ShlFeltOpSetLhs	(	MlirOperation	op,
		MlirValue	value )

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

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

◆ llzkFelt_ShlFeltOpSetRhs()

void llzkFelt_ShlFeltOpSetRhs	(	MlirOperation	op,
		MlirValue	value )

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

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

◆ llzkFelt_ShrFeltOpBuild()

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

Build a llzk::felt::ShrFeltOp Operation.

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

◆ llzkFelt_ShrFeltOpGetLhs()

MlirValue llzkFelt_ShrFeltOpGetLhs ( MlirOperation op )

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

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

◆ llzkFelt_ShrFeltOpGetResult()

MlirValue llzkFelt_ShrFeltOpGetResult ( MlirOperation op )

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

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

◆ llzkFelt_ShrFeltOpGetRhs()

MlirValue llzkFelt_ShrFeltOpGetRhs ( MlirOperation op )

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

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

◆ llzkFelt_ShrFeltOpSetLhs()

void llzkFelt_ShrFeltOpSetLhs	(	MlirOperation	op,
		MlirValue	value )

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

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

◆ llzkFelt_ShrFeltOpSetRhs()

void llzkFelt_ShrFeltOpSetRhs	(	MlirOperation	op,
		MlirValue	value )

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

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

◆ llzkFelt_SignedIntDivFeltOpBuild()

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

Build a llzk::felt::SignedIntDivFeltOp Operation.

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

◆ llzkFelt_SignedIntDivFeltOpGetLhs()

MlirValue llzkFelt_SignedIntDivFeltOpGetLhs ( MlirOperation op )

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

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

◆ llzkFelt_SignedIntDivFeltOpGetResult()

MlirValue llzkFelt_SignedIntDivFeltOpGetResult ( MlirOperation op )

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

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

◆ llzkFelt_SignedIntDivFeltOpGetRhs()

MlirValue llzkFelt_SignedIntDivFeltOpGetRhs ( MlirOperation op )

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

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

◆ llzkFelt_SignedIntDivFeltOpSetLhs()

void llzkFelt_SignedIntDivFeltOpSetLhs	(	MlirOperation	op,
		MlirValue	value )

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

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

◆ llzkFelt_SignedIntDivFeltOpSetRhs()

void llzkFelt_SignedIntDivFeltOpSetRhs	(	MlirOperation	op,
		MlirValue	value )

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

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

◆ llzkFelt_SignedModFeltOpBuild()

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

Build a llzk::felt::SignedModFeltOp Operation.

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

◆ llzkFelt_SignedModFeltOpGetLhs()

MlirValue llzkFelt_SignedModFeltOpGetLhs ( MlirOperation op )

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

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

◆ llzkFelt_SignedModFeltOpGetResult()

MlirValue llzkFelt_SignedModFeltOpGetResult ( MlirOperation op )

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

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

◆ llzkFelt_SignedModFeltOpGetRhs()

MlirValue llzkFelt_SignedModFeltOpGetRhs ( MlirOperation op )

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

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

◆ llzkFelt_SignedModFeltOpSetLhs()

void llzkFelt_SignedModFeltOpSetLhs	(	MlirOperation	op,
		MlirValue	value )

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

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

◆ llzkFelt_SignedModFeltOpSetRhs()

void llzkFelt_SignedModFeltOpSetRhs	(	MlirOperation	op,
		MlirValue	value )

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

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

◆ llzkFelt_SubFeltOpBuild()

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

Build a llzk::felt::SubFeltOp Operation.

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

◆ llzkFelt_SubFeltOpGetLhs()

MlirValue llzkFelt_SubFeltOpGetLhs ( MlirOperation op )

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

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

◆ llzkFelt_SubFeltOpGetResult()

MlirValue llzkFelt_SubFeltOpGetResult ( MlirOperation op )

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

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

◆ llzkFelt_SubFeltOpGetRhs()

MlirValue llzkFelt_SubFeltOpGetRhs ( MlirOperation op )

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

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

◆ llzkFelt_SubFeltOpSetLhs()

void llzkFelt_SubFeltOpSetLhs	(	MlirOperation	op,
		MlirValue	value )

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

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

◆ llzkFelt_SubFeltOpSetRhs()

void llzkFelt_SubFeltOpSetRhs	(	MlirOperation	op,
		MlirValue	value )

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

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

◆ llzkFelt_UnsignedIntDivFeltOpBuild()

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

Build a llzk::felt::UnsignedIntDivFeltOp Operation.

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

◆ llzkFelt_UnsignedIntDivFeltOpGetLhs()

MlirValue llzkFelt_UnsignedIntDivFeltOpGetLhs ( MlirOperation op )

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

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

◆ llzkFelt_UnsignedIntDivFeltOpGetResult()

MlirValue llzkFelt_UnsignedIntDivFeltOpGetResult ( MlirOperation op )

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

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

◆ llzkFelt_UnsignedIntDivFeltOpGetRhs()

MlirValue llzkFelt_UnsignedIntDivFeltOpGetRhs ( MlirOperation op )

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

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

◆ llzkFelt_UnsignedIntDivFeltOpSetLhs()

void llzkFelt_UnsignedIntDivFeltOpSetLhs	(	MlirOperation	op,
		MlirValue	value )

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

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

◆ llzkFelt_UnsignedIntDivFeltOpSetRhs()

void llzkFelt_UnsignedIntDivFeltOpSetRhs	(	MlirOperation	op,
		MlirValue	value )

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

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

◆ llzkFelt_UnsignedModFeltOpBuild()

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

Build a llzk::felt::UnsignedModFeltOp Operation.

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

◆ llzkFelt_UnsignedModFeltOpGetLhs()

MlirValue llzkFelt_UnsignedModFeltOpGetLhs ( MlirOperation op )

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

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

◆ llzkFelt_UnsignedModFeltOpGetResult()

MlirValue llzkFelt_UnsignedModFeltOpGetResult ( MlirOperation op )

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

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

◆ llzkFelt_UnsignedModFeltOpGetRhs()

MlirValue llzkFelt_UnsignedModFeltOpGetRhs ( MlirOperation op )

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

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

◆ llzkFelt_UnsignedModFeltOpSetLhs()

void llzkFelt_UnsignedModFeltOpSetLhs	(	MlirOperation	op,
		MlirValue	value )

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

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

◆ llzkFelt_UnsignedModFeltOpSetRhs()

void llzkFelt_UnsignedModFeltOpSetRhs	(	MlirOperation	op,
		MlirValue	value )

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

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

◆ llzkFelt_XorFeltOpBuild()

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

Build a llzk::felt::XorFeltOp Operation.

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

◆ llzkFelt_XorFeltOpGetLhs()

MlirValue llzkFelt_XorFeltOpGetLhs ( MlirOperation op )

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

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

◆ llzkFelt_XorFeltOpGetResult()

MlirValue llzkFelt_XorFeltOpGetResult ( MlirOperation op )

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

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

◆ llzkFelt_XorFeltOpGetRhs()

MlirValue llzkFelt_XorFeltOpGetRhs ( MlirOperation op )

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

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

◆ llzkFelt_XorFeltOpSetLhs()

void llzkFelt_XorFeltOpSetLhs	(	MlirOperation	op,
		MlirValue	value )

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

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

◆ llzkFelt_XorFeltOpSetRhs()

void llzkFelt_XorFeltOpSetRhs	(	MlirOperation	op,
		MlirValue	value )

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

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

◆ llzkOperationIsA_Felt_AddFeltOp()

bool llzkOperationIsA_Felt_AddFeltOp ( MlirOperation inp )

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

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

◆ llzkOperationIsA_Felt_AndFeltOp()

bool llzkOperationIsA_Felt_AndFeltOp ( MlirOperation inp )

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

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

◆ llzkOperationIsA_Felt_DivFeltOp()

bool llzkOperationIsA_Felt_DivFeltOp ( MlirOperation inp )

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

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

◆ llzkOperationIsA_Felt_FeltConstantOp()

bool llzkOperationIsA_Felt_FeltConstantOp ( MlirOperation inp )

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

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

◆ llzkOperationIsA_Felt_InvFeltOp()

bool llzkOperationIsA_Felt_InvFeltOp ( MlirOperation inp )

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

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

◆ llzkOperationIsA_Felt_MulFeltOp()

bool llzkOperationIsA_Felt_MulFeltOp ( MlirOperation inp )

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

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

◆ llzkOperationIsA_Felt_NegFeltOp()

bool llzkOperationIsA_Felt_NegFeltOp ( MlirOperation inp )

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

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

◆ llzkOperationIsA_Felt_NotFeltOp()

bool llzkOperationIsA_Felt_NotFeltOp ( MlirOperation inp )

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

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

◆ llzkOperationIsA_Felt_OrFeltOp()

bool llzkOperationIsA_Felt_OrFeltOp ( MlirOperation inp )

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

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

◆ llzkOperationIsA_Felt_PowFeltOp()

bool llzkOperationIsA_Felt_PowFeltOp ( MlirOperation inp )

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

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

◆ llzkOperationIsA_Felt_ShlFeltOp()

bool llzkOperationIsA_Felt_ShlFeltOp ( MlirOperation inp )

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

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

◆ llzkOperationIsA_Felt_ShrFeltOp()

bool llzkOperationIsA_Felt_ShrFeltOp ( MlirOperation inp )

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

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

◆ llzkOperationIsA_Felt_SignedIntDivFeltOp()

bool llzkOperationIsA_Felt_SignedIntDivFeltOp ( MlirOperation inp )

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

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

◆ llzkOperationIsA_Felt_SignedModFeltOp()

bool llzkOperationIsA_Felt_SignedModFeltOp ( MlirOperation inp )

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

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

◆ llzkOperationIsA_Felt_SubFeltOp()

bool llzkOperationIsA_Felt_SubFeltOp ( MlirOperation inp )

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

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

◆ llzkOperationIsA_Felt_UnsignedIntDivFeltOp()

bool llzkOperationIsA_Felt_UnsignedIntDivFeltOp ( MlirOperation inp )

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

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

◆ llzkOperationIsA_Felt_UnsignedModFeltOp()

bool llzkOperationIsA_Felt_UnsignedModFeltOp ( MlirOperation inp )

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

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

◆ llzkOperationIsA_Felt_XorFeltOp()

bool llzkOperationIsA_Felt_XorFeltOp ( MlirOperation inp )

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

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

Functions