#include <limits>

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

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

Functions
MlirOperation	llzkVerif_AssumeDetOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue hint)
	Build a llzk::verif::AssumeDetOp Operation.
bool	llzkOperationIsA_Verif_AssumeDetOp (MlirOperation inp)
	Returns true if the Operation is a llzk::verif::AssumeDetOp.
MlirValue	llzkVerif_AssumeDetOpGetHint (MlirOperation op)
	Get Hint operand from llzk::verif::AssumeDetOp Operation.
void	llzkVerif_AssumeDetOpSetHint (MlirOperation op, MlirValue value)
	Set Hint operand of llzk::verif::AssumeDetOp Operation.
MlirOperation	llzkVerif_ContractEndOpBuild (MlirOpBuilder builder, MlirLocation location)
	Build a llzk::verif::ContractEndOp Operation.
bool	llzkOperationIsA_Verif_ContractEndOp (MlirOperation inp)
	Returns true if the Operation is a llzk::verif::ContractEndOp.
bool	llzkOperationIsA_Verif_ContractOp (MlirOperation inp)
	Returns true if the Operation is a llzk::verif::ContractOp.
MlirAttribute	llzkVerif_ContractOpGetSymName (MlirOperation op)
	Get SymName attribute from llzk::verif::ContractOp Operation.
void	llzkVerif_ContractOpSetSymName (MlirOperation op, MlirAttribute attr)
	Set SymName attribute of llzk::verif::ContractOp Operation.
MlirAttribute	llzkVerif_ContractOpGetTarget (MlirOperation op)
	Get Target attribute from llzk::verif::ContractOp Operation.
void	llzkVerif_ContractOpSetTarget (MlirOperation op, MlirAttribute attr)
	Set Target attribute of llzk::verif::ContractOp Operation.
MlirAttribute	llzkVerif_ContractOpGetFunctionType (MlirOperation op)
	Get FunctionType attribute from llzk::verif::ContractOp Operation.
void	llzkVerif_ContractOpSetFunctionType (MlirOperation op, MlirAttribute attr)
	Set FunctionType attribute of llzk::verif::ContractOp Operation.
MlirAttribute	llzkVerif_ContractOpGetArgAttrs (MlirOperation op)
	Get ArgAttrs attribute from llzk::verif::ContractOp Operation.
void	llzkVerif_ContractOpSetArgAttrs (MlirOperation op, MlirAttribute attr)
	Set ArgAttrs attribute of llzk::verif::ContractOp Operation.
MlirAttribute	llzkVerif_ContractOpGetResAttrs (MlirOperation op)
	Get ResAttrs attribute from llzk::verif::ContractOp Operation.
void	llzkVerif_ContractOpSetResAttrs (MlirOperation op, MlirAttribute attr)
	Set ResAttrs attribute of llzk::verif::ContractOp Operation.
MlirRegion	llzkVerif_ContractOpGetBody (MlirOperation op)
	Get Body region from llzk::verif::ContractOp Operation.
bool	llzkVerif_ContractOpIsDeclaration (MlirOperation inp)
	Required by SymbolOpInterface.
bool	llzkVerif_ContractOpHasArgPublicAttr (MlirOperation inp, unsigned index)
	Return true iff the argument at the given index has pub attribute.
bool	llzkVerif_ContractOpHasFuncTarget (MlirOperation inp)
	Return true iff the contract targets a function.
bool	llzkVerif_ContractOpHasStructTarget (MlirOperation inp)
	Return true iff the contract targets a struct type.
MlirRegion	llzkVerif_ContractOpGetCallableRegion (MlirOperation inp)
	Required by FunctionOpInterface.
bool	llzkVerif_ContractOpHasArgName (MlirOperation inp, unsigned index)
	Return true iff the argument at the given index has a function.arg_name attribute.
MlirAttribute	llzkVerif_ContractOpGetFullyQualifiedName (MlirOperation inp, bool requireParent)
	Return the full name for this contract from the root module, including all surrounding symbol table names (i.e., modules and structs).
MlirOperation	llzkVerif_DecreasesOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue value)
	Build a llzk::verif::DecreasesOp Operation.
bool	llzkOperationIsA_Verif_DecreasesOp (MlirOperation inp)
	Returns true if the Operation is a llzk::verif::DecreasesOp.
MlirValue	llzkVerif_DecreasesOpGetValue (MlirOperation op)
	Get Value operand from llzk::verif::DecreasesOp Operation.
void	llzkVerif_DecreasesOpSetValue (MlirOperation op, MlirValue value)
	Set Value operand of llzk::verif::DecreasesOp Operation.
MlirOperation	llzkVerif_EnsureComputeOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue condition)
	Build a llzk::verif::EnsureComputeOp Operation.
bool	llzkOperationIsA_Verif_EnsureComputeOp (MlirOperation inp)
	Returns true if the Operation is a llzk::verif::EnsureComputeOp.
MlirValue	llzkVerif_EnsureComputeOpGetCondition (MlirOperation op)
	Get Condition operand from llzk::verif::EnsureComputeOp Operation.
void	llzkVerif_EnsureComputeOpSetCondition (MlirOperation op, MlirValue value)
	Set Condition operand of llzk::verif::EnsureComputeOp Operation.
MlirOperation	llzkVerif_EnsureConstrainOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue condition)
	Build a llzk::verif::EnsureConstrainOp Operation.
bool	llzkOperationIsA_Verif_EnsureConstrainOp (MlirOperation inp)
	Returns true if the Operation is a llzk::verif::EnsureConstrainOp.
MlirValue	llzkVerif_EnsureConstrainOpGetCondition (MlirOperation op)
	Get Condition operand from llzk::verif::EnsureConstrainOp Operation.
void	llzkVerif_EnsureConstrainOpSetCondition (MlirOperation op, MlirValue value)
	Set Condition operand of llzk::verif::EnsureConstrainOp Operation.
bool	llzkOperationIsA_Verif_IncludeOp (MlirOperation inp)
	Returns true if the Operation is a llzk::verif::IncludeOp.
intptr_t	llzkVerif_IncludeOpGetArgOperandsCount (MlirOperation op)
	Get number of ArgOperands operands in llzk::verif::IncludeOp Operation.
MlirValue	llzkVerif_IncludeOpGetArgOperandsAt (MlirOperation op, intptr_t index)
	Get ArgOperands operand at index from llzk::verif::IncludeOp Operation.
void	llzkVerif_IncludeOpSetArgOperands (MlirOperation op, intptr_t count, MlirValue const *values)
	Set ArgOperands operands of llzk::verif::IncludeOp Operation.
intptr_t	llzkVerif_IncludeOpGetMapOperandsCount (MlirOperation op)
	Get number of MapOperands operands in llzk::verif::IncludeOp Operation.
MlirValue	llzkVerif_IncludeOpGetMapOperandsAt (MlirOperation op, intptr_t index)
	Get MapOperands operand at index from llzk::verif::IncludeOp Operation.
void	llzkVerif_IncludeOpSetMapOperands (MlirOperation op, intptr_t groupCount, MlirValueRange const *groups)
	Set MapOperands operand groups of llzk::verif::IncludeOp Operation.
MlirAttribute	llzkVerif_IncludeOpGetCallee (MlirOperation op)
	Get Callee attribute from llzk::verif::IncludeOp Operation.
void	llzkVerif_IncludeOpSetCallee (MlirOperation op, MlirAttribute attr)
	Set Callee attribute of llzk::verif::IncludeOp Operation.
MlirAttribute	llzkVerif_IncludeOpGetTemplateParams (MlirOperation op)
	Get TemplateParams attribute from llzk::verif::IncludeOp Operation.
void	llzkVerif_IncludeOpSetTemplateParams (MlirOperation op, MlirAttribute attr)
	Set TemplateParams attribute of llzk::verif::IncludeOp Operation.
MlirAttribute	llzkVerif_IncludeOpGetNumDimsPerMap (MlirOperation op)
	Get NumDimsPerMap attribute from llzk::verif::IncludeOp Operation.
void	llzkVerif_IncludeOpSetNumDimsPerMap (MlirOperation op, MlirAttribute attr)
	Set NumDimsPerMap attribute of llzk::verif::IncludeOp Operation.
MlirAttribute	llzkVerif_IncludeOpGetMapOpGroupSizes (MlirOperation op)
	Get MapOpGroupSizes attribute from llzk::verif::IncludeOp Operation.
void	llzkVerif_IncludeOpSetMapOpGroupSizes (MlirOperation op, MlirAttribute attr)
	Set MapOpGroupSizes attribute of llzk::verif::IncludeOp Operation.
MlirAttribute	llzkVerif_IncludeOpGetArgAttrs (MlirOperation op)
	Get ArgAttrs attribute from llzk::verif::IncludeOp Operation.
void	llzkVerif_IncludeOpSetArgAttrs (MlirOperation op, MlirAttribute attr)
	Set ArgAttrs attribute of llzk::verif::IncludeOp Operation.
MlirAttribute	llzkVerif_IncludeOpGetResAttrs (MlirOperation op)
	Get ResAttrs attribute from llzk::verif::IncludeOp Operation.
void	llzkVerif_IncludeOpSetResAttrs (MlirOperation op, MlirAttribute attr)
	Set ResAttrs attribute of llzk::verif::IncludeOp Operation.
bool	llzkVerif_IncludeOpContractTargetsStruct (MlirOperation inp)
	Return true iff the contract targets a struct type.
MlirOperation	llzkVerif_IncludeOpResolveCallable (MlirOperation inp)
	resolveCallable
MlirValue	llzkVerif_IncludeOpGetSelfValue (MlirOperation inp)
	getSelfValue
MlirOperation	llzkVerif_IncreasesOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue value)
	Build a llzk::verif::IncreasesOp Operation.
bool	llzkOperationIsA_Verif_IncreasesOp (MlirOperation inp)
	Returns true if the Operation is a llzk::verif::IncreasesOp.
MlirValue	llzkVerif_IncreasesOpGetValue (MlirOperation op)
	Get Value operand from llzk::verif::IncreasesOp Operation.
void	llzkVerif_IncreasesOpSetValue (MlirOperation op, MlirValue value)
	Set Value operand of llzk::verif::IncreasesOp Operation.
bool	llzkOperationIsA_Verif_InvariantOp (MlirOperation inp)
	Returns true if the Operation is a llzk::verif::InvariantOp.
MlirAttribute	llzkVerif_InvariantOpGetLoopName (MlirOperation op)
	Get LoopName attribute from llzk::verif::InvariantOp Operation.
void	llzkVerif_InvariantOpSetLoopName (MlirOperation op, MlirAttribute attr)
	Set LoopName attribute of llzk::verif::InvariantOp Operation.
MlirAttribute	llzkVerif_InvariantOpGetLoopArgTypes (MlirOperation op)
	Get LoopArgTypes attribute from llzk::verif::InvariantOp Operation.
void	llzkVerif_InvariantOpSetLoopArgTypes (MlirOperation op, MlirAttribute attr)
	Set LoopArgTypes attribute of llzk::verif::InvariantOp Operation.
MlirRegion	llzkVerif_InvariantOpGetRegion (MlirOperation op)
	Get Region region from llzk::verif::InvariantOp Operation.
MlirOperation	llzkVerif_InvariantOpGetParentContract (MlirOperation inp)
	Returns the contract operation that contains this invariant.
MlirOperation	llzkVerif_OldOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue value)
	Build a llzk::verif::OldOp Operation.
bool	llzkOperationIsA_Verif_OldOp (MlirOperation inp)
	Returns true if the Operation is a llzk::verif::OldOp.
MlirValue	llzkVerif_OldOpGetValue (MlirOperation op)
	Get Value operand from llzk::verif::OldOp Operation.
void	llzkVerif_OldOpSetValue (MlirOperation op, MlirValue value)
	Set Value operand of llzk::verif::OldOp Operation.
MlirValue	llzkVerif_OldOpGetResult (MlirOperation op)
	Get Result result from llzk::verif::OldOp Operation.
MlirOperation	llzkVerif_ProveDetOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue condition)
	Build a llzk::verif::ProveDetOp Operation.
bool	llzkOperationIsA_Verif_ProveDetOp (MlirOperation inp)
	Returns true if the Operation is a llzk::verif::ProveDetOp.
MlirValue	llzkVerif_ProveDetOpGetCondition (MlirOperation op)
	Get Condition operand from llzk::verif::ProveDetOp Operation.
void	llzkVerif_ProveDetOpSetCondition (MlirOperation op, MlirValue value)
	Set Condition operand of llzk::verif::ProveDetOp Operation.
MlirValue	llzkVerif_ProveDetOpGetResult (MlirOperation op)
	Get Result result from llzk::verif::ProveDetOp Operation.
MlirOperation	llzkVerif_RequireComputeOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue condition)
	Build a llzk::verif::RequireComputeOp Operation.
bool	llzkOperationIsA_Verif_RequireComputeOp (MlirOperation inp)
	Returns true if the Operation is a llzk::verif::RequireComputeOp.
MlirValue	llzkVerif_RequireComputeOpGetCondition (MlirOperation op)
	Get Condition operand from llzk::verif::RequireComputeOp Operation.
void	llzkVerif_RequireComputeOpSetCondition (MlirOperation op, MlirValue value)
	Set Condition operand of llzk::verif::RequireComputeOp Operation.
MlirOperation	llzkVerif_RequireConstrainOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue condition)
	Build a llzk::verif::RequireConstrainOp Operation.
bool	llzkOperationIsA_Verif_RequireConstrainOp (MlirOperation inp)
	Returns true if the Operation is a llzk::verif::RequireConstrainOp.
MlirValue	llzkVerif_RequireConstrainOpGetCondition (MlirOperation op)
	Get Condition operand from llzk::verif::RequireConstrainOp Operation.
void	llzkVerif_RequireConstrainOpSetCondition (MlirOperation op, MlirValue value)
	Set Condition operand of llzk::verif::RequireConstrainOp Operation.
MlirOperation	llzkVerif_StepOpBuild (MlirOpBuilder builder, MlirLocation location)
	Build a llzk::verif::StepOp Operation.
bool	llzkOperationIsA_Verif_StepOp (MlirOperation inp)
	Returns true if the Operation is a llzk::verif::StepOp.
MlirRegion	llzkVerif_StepOpGetRegion (MlirOperation op)
	Get Region region from llzk::verif::StepOp Operation.
MlirOperation	llzkVerif_StepYieldOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue value)
	Build a llzk::verif::StepYieldOp Operation.
bool	llzkOperationIsA_Verif_StepYieldOp (MlirOperation inp)
	Returns true if the Operation is a llzk::verif::StepYieldOp.
MlirValue	llzkVerif_StepYieldOpGetValue (MlirOperation op)
	Get Value operand from llzk::verif::StepYieldOp Operation.
void	llzkVerif_StepYieldOpSetValue (MlirOperation op, MlirValue value)
	Set Value operand of llzk::verif::StepYieldOp Operation.
MlirOperation	llzkVerif_VerifAssertOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue condition)
	Build a llzk::verif::VerifAssertOp Operation.
bool	llzkOperationIsA_Verif_VerifAssertOp (MlirOperation inp)
	Returns true if the Operation is a llzk::verif::VerifAssertOp.
MlirValue	llzkVerif_VerifAssertOpGetCondition (MlirOperation op)
	Get Condition operand from llzk::verif::VerifAssertOp Operation.
void	llzkVerif_VerifAssertOpSetCondition (MlirOperation op, MlirValue value)
	Set Condition operand of llzk::verif::VerifAssertOp Operation.
MlirOperation	llzkVerif_VerifProveOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue condition)
	Build a llzk::verif::VerifProveOp Operation.
bool	llzkOperationIsA_Verif_VerifProveOp (MlirOperation inp)
	Returns true if the Operation is a llzk::verif::VerifProveOp.
MlirValue	llzkVerif_VerifProveOpGetCondition (MlirOperation op)
	Get Condition operand from llzk::verif::VerifProveOp Operation.
void	llzkVerif_VerifProveOpSetCondition (MlirOperation op, MlirValue value)
	Set Condition operand of llzk::verif::VerifProveOp Operation.
MlirOperation	llzkVerif_VerifSMTProveOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue condition)
	Build a llzk::verif::VerifSMTProveOp Operation.
bool	llzkOperationIsA_Verif_VerifSMTProveOp (MlirOperation inp)
	Returns true if the Operation is a llzk::verif::VerifSMTProveOp.
MlirValue	llzkVerif_VerifSMTProveOpGetCondition (MlirOperation op)
	Get Condition operand from llzk::verif::VerifSMTProveOp Operation.
void	llzkVerif_VerifSMTProveOpSetCondition (MlirOperation op, MlirValue value)
	Set Condition operand of llzk::verif::VerifSMTProveOp Operation.

Function Documentation

◆ llzkOperationIsA_Verif_AssumeDetOp()

bool llzkOperationIsA_Verif_AssumeDetOp ( MlirOperation inp )

Returns true if the Operation is a llzk::verif::AssumeDetOp.

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

◆ llzkOperationIsA_Verif_ContractEndOp()

bool llzkOperationIsA_Verif_ContractEndOp ( MlirOperation inp )

Returns true if the Operation is a llzk::verif::ContractEndOp.

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

◆ llzkOperationIsA_Verif_ContractOp()

bool llzkOperationIsA_Verif_ContractOp ( MlirOperation inp )

Returns true if the Operation is a llzk::verif::ContractOp.

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

◆ llzkOperationIsA_Verif_DecreasesOp()

bool llzkOperationIsA_Verif_DecreasesOp ( MlirOperation inp )

Returns true if the Operation is a llzk::verif::DecreasesOp.

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

◆ llzkOperationIsA_Verif_EnsureComputeOp()

bool llzkOperationIsA_Verif_EnsureComputeOp ( MlirOperation inp )

Returns true if the Operation is a llzk::verif::EnsureComputeOp.

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

◆ llzkOperationIsA_Verif_EnsureConstrainOp()

bool llzkOperationIsA_Verif_EnsureConstrainOp ( MlirOperation inp )

Returns true if the Operation is a llzk::verif::EnsureConstrainOp.

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

◆ llzkOperationIsA_Verif_IncludeOp()

bool llzkOperationIsA_Verif_IncludeOp ( MlirOperation inp )

Returns true if the Operation is a llzk::verif::IncludeOp.

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

◆ llzkOperationIsA_Verif_IncreasesOp()

bool llzkOperationIsA_Verif_IncreasesOp ( MlirOperation inp )

Returns true if the Operation is a llzk::verif::IncreasesOp.

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

◆ llzkOperationIsA_Verif_InvariantOp()

bool llzkOperationIsA_Verif_InvariantOp ( MlirOperation inp )

Returns true if the Operation is a llzk::verif::InvariantOp.

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

◆ llzkOperationIsA_Verif_OldOp()

bool llzkOperationIsA_Verif_OldOp ( MlirOperation inp )

Returns true if the Operation is a llzk::verif::OldOp.

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

◆ llzkOperationIsA_Verif_ProveDetOp()

bool llzkOperationIsA_Verif_ProveDetOp ( MlirOperation inp )

Returns true if the Operation is a llzk::verif::ProveDetOp.

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

◆ llzkOperationIsA_Verif_RequireComputeOp()

bool llzkOperationIsA_Verif_RequireComputeOp ( MlirOperation inp )

Returns true if the Operation is a llzk::verif::RequireComputeOp.

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

◆ llzkOperationIsA_Verif_RequireConstrainOp()

bool llzkOperationIsA_Verif_RequireConstrainOp ( MlirOperation inp )

Returns true if the Operation is a llzk::verif::RequireConstrainOp.

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

◆ llzkOperationIsA_Verif_StepOp()

bool llzkOperationIsA_Verif_StepOp ( MlirOperation inp )

Returns true if the Operation is a llzk::verif::StepOp.

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

◆ llzkOperationIsA_Verif_StepYieldOp()

bool llzkOperationIsA_Verif_StepYieldOp ( MlirOperation inp )

Returns true if the Operation is a llzk::verif::StepYieldOp.

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

◆ llzkOperationIsA_Verif_VerifAssertOp()

bool llzkOperationIsA_Verif_VerifAssertOp ( MlirOperation inp )

Returns true if the Operation is a llzk::verif::VerifAssertOp.

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

◆ llzkOperationIsA_Verif_VerifProveOp()

bool llzkOperationIsA_Verif_VerifProveOp ( MlirOperation inp )

Returns true if the Operation is a llzk::verif::VerifProveOp.

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

◆ llzkOperationIsA_Verif_VerifSMTProveOp()

bool llzkOperationIsA_Verif_VerifSMTProveOp ( MlirOperation inp )

Returns true if the Operation is a llzk::verif::VerifSMTProveOp.

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

◆ llzkVerif_AssumeDetOpBuild()

MlirOperation llzkVerif_AssumeDetOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location,
		MlirValue	hint )

Build a llzk::verif::AssumeDetOp Operation.

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

◆ llzkVerif_AssumeDetOpGetHint()

MlirValue llzkVerif_AssumeDetOpGetHint ( MlirOperation op )

Get Hint operand from llzk::verif::AssumeDetOp Operation.

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

◆ llzkVerif_AssumeDetOpSetHint()

void llzkVerif_AssumeDetOpSetHint	(	MlirOperation	op,
		MlirValue	value )

Set Hint operand of llzk::verif::AssumeDetOp Operation.

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

◆ llzkVerif_ContractEndOpBuild()

MlirOperation llzkVerif_ContractEndOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location )

Build a llzk::verif::ContractEndOp Operation.

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

◆ llzkVerif_ContractOpGetArgAttrs()

MlirAttribute llzkVerif_ContractOpGetArgAttrs ( MlirOperation op )

Get ArgAttrs attribute from llzk::verif::ContractOp Operation.

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

◆ llzkVerif_ContractOpGetBody()

MlirRegion llzkVerif_ContractOpGetBody ( MlirOperation op )

Get Body region from llzk::verif::ContractOp Operation.

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

◆ llzkVerif_ContractOpGetCallableRegion()

MlirRegion llzkVerif_ContractOpGetCallableRegion ( MlirOperation inp )

Required by FunctionOpInterface.

Returns the region on the current operation that is callable.

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

◆ llzkVerif_ContractOpGetFullyQualifiedName()

MlirAttribute llzkVerif_ContractOpGetFullyQualifiedName	(	MlirOperation	inp,
		bool	requireParent )

Return the full name for this contract from the root module, including all surrounding symbol table names (i.e., modules and structs).

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

◆ llzkVerif_ContractOpGetFunctionType()

MlirAttribute llzkVerif_ContractOpGetFunctionType ( MlirOperation op )

Get FunctionType attribute from llzk::verif::ContractOp Operation.

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

◆ llzkVerif_ContractOpGetResAttrs()

MlirAttribute llzkVerif_ContractOpGetResAttrs ( MlirOperation op )

Get ResAttrs attribute from llzk::verif::ContractOp Operation.

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

◆ llzkVerif_ContractOpGetSymName()

MlirAttribute llzkVerif_ContractOpGetSymName ( MlirOperation op )

Get SymName attribute from llzk::verif::ContractOp Operation.

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

◆ llzkVerif_ContractOpGetTarget()

MlirAttribute llzkVerif_ContractOpGetTarget ( MlirOperation op )

Get Target attribute from llzk::verif::ContractOp Operation.

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

◆ llzkVerif_ContractOpHasArgName()

bool llzkVerif_ContractOpHasArgName	(	MlirOperation	inp,
		unsigned	index )

Return true iff the argument at the given index has a function.arg_name attribute.

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

◆ llzkVerif_ContractOpHasArgPublicAttr()

bool llzkVerif_ContractOpHasArgPublicAttr	(	MlirOperation	inp,
		unsigned	index )

Return true iff the argument at the given index has pub attribute.

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

◆ llzkVerif_ContractOpHasFuncTarget()

bool llzkVerif_ContractOpHasFuncTarget ( MlirOperation inp )

Return true iff the contract targets a function.

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

◆ llzkVerif_ContractOpHasStructTarget()

bool llzkVerif_ContractOpHasStructTarget ( MlirOperation inp )

Return true iff the contract targets a struct type.

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

◆ llzkVerif_ContractOpIsDeclaration()

bool llzkVerif_ContractOpIsDeclaration ( MlirOperation inp )

Required by SymbolOpInterface.

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

◆ llzkVerif_ContractOpSetArgAttrs()

void llzkVerif_ContractOpSetArgAttrs	(	MlirOperation	op,
		MlirAttribute	attr )

Set ArgAttrs attribute of llzk::verif::ContractOp Operation.

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

◆ llzkVerif_ContractOpSetFunctionType()

void llzkVerif_ContractOpSetFunctionType	(	MlirOperation	op,
		MlirAttribute	attr )

Set FunctionType attribute of llzk::verif::ContractOp Operation.

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

◆ llzkVerif_ContractOpSetResAttrs()

void llzkVerif_ContractOpSetResAttrs	(	MlirOperation	op,
		MlirAttribute	attr )

Set ResAttrs attribute of llzk::verif::ContractOp Operation.

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

◆ llzkVerif_ContractOpSetSymName()

void llzkVerif_ContractOpSetSymName	(	MlirOperation	op,
		MlirAttribute	attr )

Set SymName attribute of llzk::verif::ContractOp Operation.

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

◆ llzkVerif_ContractOpSetTarget()

void llzkVerif_ContractOpSetTarget	(	MlirOperation	op,
		MlirAttribute	attr )

Set Target attribute of llzk::verif::ContractOp Operation.

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

◆ llzkVerif_DecreasesOpBuild()

MlirOperation llzkVerif_DecreasesOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location,
		MlirValue	value )

Build a llzk::verif::DecreasesOp Operation.

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

◆ llzkVerif_DecreasesOpGetValue()

MlirValue llzkVerif_DecreasesOpGetValue ( MlirOperation op )

Get Value operand from llzk::verif::DecreasesOp Operation.

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

◆ llzkVerif_DecreasesOpSetValue()

void llzkVerif_DecreasesOpSetValue	(	MlirOperation	op,
		MlirValue	value )

Set Value operand of llzk::verif::DecreasesOp Operation.

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

◆ llzkVerif_EnsureComputeOpBuild()

MlirOperation llzkVerif_EnsureComputeOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location,
		MlirValue	condition )

Build a llzk::verif::EnsureComputeOp Operation.

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

◆ llzkVerif_EnsureComputeOpGetCondition()

MlirValue llzkVerif_EnsureComputeOpGetCondition ( MlirOperation op )

Get Condition operand from llzk::verif::EnsureComputeOp Operation.

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

◆ llzkVerif_EnsureComputeOpSetCondition()

void llzkVerif_EnsureComputeOpSetCondition	(	MlirOperation	op,
		MlirValue	value )

Set Condition operand of llzk::verif::EnsureComputeOp Operation.

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

◆ llzkVerif_EnsureConstrainOpBuild()

MlirOperation llzkVerif_EnsureConstrainOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location,
		MlirValue	condition )

Build a llzk::verif::EnsureConstrainOp Operation.

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

◆ llzkVerif_EnsureConstrainOpGetCondition()

MlirValue llzkVerif_EnsureConstrainOpGetCondition ( MlirOperation op )

Get Condition operand from llzk::verif::EnsureConstrainOp Operation.

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

◆ llzkVerif_EnsureConstrainOpSetCondition()

void llzkVerif_EnsureConstrainOpSetCondition	(	MlirOperation	op,
		MlirValue	value )

Set Condition operand of llzk::verif::EnsureConstrainOp Operation.

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

◆ llzkVerif_IncludeOpContractTargetsStruct()

bool llzkVerif_IncludeOpContractTargetsStruct ( MlirOperation inp )

Return true iff the contract targets a struct type.

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

◆ llzkVerif_IncludeOpGetArgAttrs()

MlirAttribute llzkVerif_IncludeOpGetArgAttrs ( MlirOperation op )

Get ArgAttrs attribute from llzk::verif::IncludeOp Operation.

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

◆ llzkVerif_IncludeOpGetArgOperandsAt()

MlirValue llzkVerif_IncludeOpGetArgOperandsAt	(	MlirOperation	op,
		intptr_t	index )

Get ArgOperands operand at index from llzk::verif::IncludeOp Operation.

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

◆ llzkVerif_IncludeOpGetArgOperandsCount()

intptr_t llzkVerif_IncludeOpGetArgOperandsCount ( MlirOperation op )

Get number of ArgOperands operands in llzk::verif::IncludeOp Operation.

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

◆ llzkVerif_IncludeOpGetCallee()

MlirAttribute llzkVerif_IncludeOpGetCallee ( MlirOperation op )

Get Callee attribute from llzk::verif::IncludeOp Operation.

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

◆ llzkVerif_IncludeOpGetMapOperandsAt()

MlirValue llzkVerif_IncludeOpGetMapOperandsAt	(	MlirOperation	op,
		intptr_t	index )

Get MapOperands operand at index from llzk::verif::IncludeOp Operation.

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

◆ llzkVerif_IncludeOpGetMapOperandsCount()

intptr_t llzkVerif_IncludeOpGetMapOperandsCount ( MlirOperation op )

Get number of MapOperands operands in llzk::verif::IncludeOp Operation.

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

◆ llzkVerif_IncludeOpGetMapOpGroupSizes()

MlirAttribute llzkVerif_IncludeOpGetMapOpGroupSizes ( MlirOperation op )

Get MapOpGroupSizes attribute from llzk::verif::IncludeOp Operation.

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

◆ llzkVerif_IncludeOpGetNumDimsPerMap()

MlirAttribute llzkVerif_IncludeOpGetNumDimsPerMap ( MlirOperation op )

Get NumDimsPerMap attribute from llzk::verif::IncludeOp Operation.

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

◆ llzkVerif_IncludeOpGetResAttrs()

MlirAttribute llzkVerif_IncludeOpGetResAttrs ( MlirOperation op )

Get ResAttrs attribute from llzk::verif::IncludeOp Operation.

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

◆ llzkVerif_IncludeOpGetSelfValue()

MlirValue llzkVerif_IncludeOpGetSelfValue ( MlirOperation inp )

getSelfValue

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

◆ llzkVerif_IncludeOpGetTemplateParams()

MlirAttribute llzkVerif_IncludeOpGetTemplateParams ( MlirOperation op )

Get TemplateParams attribute from llzk::verif::IncludeOp Operation.

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

◆ llzkVerif_IncludeOpResolveCallable()

MlirOperation llzkVerif_IncludeOpResolveCallable ( MlirOperation inp )

resolveCallable

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

◆ llzkVerif_IncludeOpSetArgAttrs()

void llzkVerif_IncludeOpSetArgAttrs	(	MlirOperation	op,
		MlirAttribute	attr )

Set ArgAttrs attribute of llzk::verif::IncludeOp Operation.

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

◆ llzkVerif_IncludeOpSetArgOperands()

void llzkVerif_IncludeOpSetArgOperands	(	MlirOperation	op,
		intptr_t	count,
		MlirValue const *	values )

Set ArgOperands operands of llzk::verif::IncludeOp Operation.

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

◆ llzkVerif_IncludeOpSetCallee()

void llzkVerif_IncludeOpSetCallee	(	MlirOperation	op,
		MlirAttribute	attr )

Set Callee attribute of llzk::verif::IncludeOp Operation.

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

◆ llzkVerif_IncludeOpSetMapOperands()

void llzkVerif_IncludeOpSetMapOperands	(	MlirOperation	op,
		intptr_t	groupCount,
		MlirValueRange const *	groups )

Set MapOperands operand groups of llzk::verif::IncludeOp Operation.

Each element of groups represents one group; its size field drives the per-group segment-size attribute and values supplies the operands for that group.

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

◆ llzkVerif_IncludeOpSetMapOpGroupSizes()

void llzkVerif_IncludeOpSetMapOpGroupSizes	(	MlirOperation	op,
		MlirAttribute	attr )

Set MapOpGroupSizes attribute of llzk::verif::IncludeOp Operation.

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

◆ llzkVerif_IncludeOpSetNumDimsPerMap()

void llzkVerif_IncludeOpSetNumDimsPerMap	(	MlirOperation	op,
		MlirAttribute	attr )

Set NumDimsPerMap attribute of llzk::verif::IncludeOp Operation.

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

◆ llzkVerif_IncludeOpSetResAttrs()

void llzkVerif_IncludeOpSetResAttrs	(	MlirOperation	op,
		MlirAttribute	attr )

Set ResAttrs attribute of llzk::verif::IncludeOp Operation.

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

◆ llzkVerif_IncludeOpSetTemplateParams()

void llzkVerif_IncludeOpSetTemplateParams	(	MlirOperation	op,
		MlirAttribute	attr )

Set TemplateParams attribute of llzk::verif::IncludeOp Operation.

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

◆ llzkVerif_IncreasesOpBuild()

MlirOperation llzkVerif_IncreasesOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location,
		MlirValue	value )

Build a llzk::verif::IncreasesOp Operation.

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

◆ llzkVerif_IncreasesOpGetValue()

MlirValue llzkVerif_IncreasesOpGetValue ( MlirOperation op )

Get Value operand from llzk::verif::IncreasesOp Operation.

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

◆ llzkVerif_IncreasesOpSetValue()

void llzkVerif_IncreasesOpSetValue	(	MlirOperation	op,
		MlirValue	value )

Set Value operand of llzk::verif::IncreasesOp Operation.

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

◆ llzkVerif_InvariantOpGetLoopArgTypes()

MlirAttribute llzkVerif_InvariantOpGetLoopArgTypes ( MlirOperation op )

Get LoopArgTypes attribute from llzk::verif::InvariantOp Operation.

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

◆ llzkVerif_InvariantOpGetLoopName()

MlirAttribute llzkVerif_InvariantOpGetLoopName ( MlirOperation op )

Get LoopName attribute from llzk::verif::InvariantOp Operation.

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

◆ llzkVerif_InvariantOpGetParentContract()

MlirOperation llzkVerif_InvariantOpGetParentContract ( MlirOperation inp )

Returns the contract operation that contains this invariant.

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

◆ llzkVerif_InvariantOpGetRegion()

MlirRegion llzkVerif_InvariantOpGetRegion ( MlirOperation op )

Get Region region from llzk::verif::InvariantOp Operation.

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

◆ llzkVerif_InvariantOpSetLoopArgTypes()

void llzkVerif_InvariantOpSetLoopArgTypes	(	MlirOperation	op,
		MlirAttribute	attr )

Set LoopArgTypes attribute of llzk::verif::InvariantOp Operation.

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

◆ llzkVerif_InvariantOpSetLoopName()

void llzkVerif_InvariantOpSetLoopName	(	MlirOperation	op,
		MlirAttribute	attr )

Set LoopName attribute of llzk::verif::InvariantOp Operation.

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

◆ llzkVerif_OldOpBuild()

MlirOperation llzkVerif_OldOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location,
		MlirValue	value )

Build a llzk::verif::OldOp Operation.

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

◆ llzkVerif_OldOpGetResult()

MlirValue llzkVerif_OldOpGetResult ( MlirOperation op )

Get Result result from llzk::verif::OldOp Operation.

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

◆ llzkVerif_OldOpGetValue()

MlirValue llzkVerif_OldOpGetValue ( MlirOperation op )

Get Value operand from llzk::verif::OldOp Operation.

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

◆ llzkVerif_OldOpSetValue()

void llzkVerif_OldOpSetValue	(	MlirOperation	op,
		MlirValue	value )

Set Value operand of llzk::verif::OldOp Operation.

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

◆ llzkVerif_ProveDetOpBuild()

MlirOperation llzkVerif_ProveDetOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location,
		MlirValue	condition )

Build a llzk::verif::ProveDetOp Operation.

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

◆ llzkVerif_ProveDetOpGetCondition()

MlirValue llzkVerif_ProveDetOpGetCondition ( MlirOperation op )

Get Condition operand from llzk::verif::ProveDetOp Operation.

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

◆ llzkVerif_ProveDetOpGetResult()

MlirValue llzkVerif_ProveDetOpGetResult ( MlirOperation op )

Get Result result from llzk::verif::ProveDetOp Operation.

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

◆ llzkVerif_ProveDetOpSetCondition()

void llzkVerif_ProveDetOpSetCondition	(	MlirOperation	op,
		MlirValue	value )

Set Condition operand of llzk::verif::ProveDetOp Operation.

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

◆ llzkVerif_RequireComputeOpBuild()

MlirOperation llzkVerif_RequireComputeOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location,
		MlirValue	condition )

Build a llzk::verif::RequireComputeOp Operation.

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

◆ llzkVerif_RequireComputeOpGetCondition()

MlirValue llzkVerif_RequireComputeOpGetCondition ( MlirOperation op )

Get Condition operand from llzk::verif::RequireComputeOp Operation.

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

◆ llzkVerif_RequireComputeOpSetCondition()

void llzkVerif_RequireComputeOpSetCondition	(	MlirOperation	op,
		MlirValue	value )

Set Condition operand of llzk::verif::RequireComputeOp Operation.

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

◆ llzkVerif_RequireConstrainOpBuild()

MlirOperation llzkVerif_RequireConstrainOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location,
		MlirValue	condition )

Build a llzk::verif::RequireConstrainOp Operation.

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

◆ llzkVerif_RequireConstrainOpGetCondition()

MlirValue llzkVerif_RequireConstrainOpGetCondition ( MlirOperation op )

Get Condition operand from llzk::verif::RequireConstrainOp Operation.

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

◆ llzkVerif_RequireConstrainOpSetCondition()

void llzkVerif_RequireConstrainOpSetCondition	(	MlirOperation	op,
		MlirValue	value )

Set Condition operand of llzk::verif::RequireConstrainOp Operation.

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

◆ llzkVerif_StepOpBuild()

MlirOperation llzkVerif_StepOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location )

Build a llzk::verif::StepOp Operation.

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

◆ llzkVerif_StepOpGetRegion()

MlirRegion llzkVerif_StepOpGetRegion ( MlirOperation op )

Get Region region from llzk::verif::StepOp Operation.

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

◆ llzkVerif_StepYieldOpBuild()

MlirOperation llzkVerif_StepYieldOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location,
		MlirValue	value )

Build a llzk::verif::StepYieldOp Operation.

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

◆ llzkVerif_StepYieldOpGetValue()

MlirValue llzkVerif_StepYieldOpGetValue ( MlirOperation op )

Get Value operand from llzk::verif::StepYieldOp Operation.

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

◆ llzkVerif_StepYieldOpSetValue()

void llzkVerif_StepYieldOpSetValue	(	MlirOperation	op,
		MlirValue	value )

Set Value operand of llzk::verif::StepYieldOp Operation.

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

◆ llzkVerif_VerifAssertOpBuild()

MlirOperation llzkVerif_VerifAssertOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location,
		MlirValue	condition )

Build a llzk::verif::VerifAssertOp Operation.

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

◆ llzkVerif_VerifAssertOpGetCondition()

MlirValue llzkVerif_VerifAssertOpGetCondition ( MlirOperation op )

Get Condition operand from llzk::verif::VerifAssertOp Operation.

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

◆ llzkVerif_VerifAssertOpSetCondition()

void llzkVerif_VerifAssertOpSetCondition	(	MlirOperation	op,
		MlirValue	value )

Set Condition operand of llzk::verif::VerifAssertOp Operation.

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

◆ llzkVerif_VerifProveOpBuild()

MlirOperation llzkVerif_VerifProveOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location,
		MlirValue	condition )

Build a llzk::verif::VerifProveOp Operation.

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

◆ llzkVerif_VerifProveOpGetCondition()

MlirValue llzkVerif_VerifProveOpGetCondition ( MlirOperation op )

Get Condition operand from llzk::verif::VerifProveOp Operation.

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

◆ llzkVerif_VerifProveOpSetCondition()

void llzkVerif_VerifProveOpSetCondition	(	MlirOperation	op,
		MlirValue	value )

Set Condition operand of llzk::verif::VerifProveOp Operation.

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

◆ llzkVerif_VerifSMTProveOpBuild()

MlirOperation llzkVerif_VerifSMTProveOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location,
		MlirValue	condition )

Build a llzk::verif::VerifSMTProveOp Operation.

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

◆ llzkVerif_VerifSMTProveOpGetCondition()

MlirValue llzkVerif_VerifSMTProveOpGetCondition ( MlirOperation op )

Get Condition operand from llzk::verif::VerifSMTProveOp Operation.

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

◆ llzkVerif_VerifSMTProveOpSetCondition()

void llzkVerif_VerifSMTProveOpSetCondition	(	MlirOperation	op,
		MlirValue	value )

Set Condition operand of llzk::verif::VerifSMTProveOp Operation.

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

Functions