#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 bool	llzkOperationIsA_Function_CallOp (MlirOperation)
	Returns true if the Operation is a llzk::function::CallOp.
MLIR_CAPI_EXPORTED intptr_t	llzkFunction_CallOpGetArgOperandsCount (MlirOperation op)
	Get number of ArgOperands operands in llzk::function::CallOp Operation.
MLIR_CAPI_EXPORTED MlirValue	llzkFunction_CallOpGetArgOperandsAt (MlirOperation op, intptr_t index)
	Get ArgOperands operand at index from llzk::function::CallOp Operation.
MLIR_CAPI_EXPORTED void	llzkFunction_CallOpSetArgOperands (MlirOperation op, intptr_t count, MlirValue const *values)
	Set ArgOperands operands of llzk::function::CallOp Operation.
MLIR_CAPI_EXPORTED intptr_t	llzkFunction_CallOpGetMapOperandsCount (MlirOperation op)
	Get number of MapOperands operands in llzk::function::CallOp Operation.
MLIR_CAPI_EXPORTED MlirValue	llzkFunction_CallOpGetMapOperandsAt (MlirOperation op, intptr_t index)
	Get MapOperands operand at index from llzk::function::CallOp Operation.
MLIR_CAPI_EXPORTED void	llzkFunction_CallOpSetMapOperands (MlirOperation op, intptr_t count, MlirValue const *values)
	Set MapOperands operands of llzk::function::CallOp Operation.
MLIR_CAPI_EXPORTED MlirAttribute	llzkFunction_CallOpGetCallee (MlirOperation op)
	Get Callee attribute from llzk::function::CallOp Operation.
MLIR_CAPI_EXPORTED void	llzkFunction_CallOpSetCallee (MlirOperation op, MlirAttribute attr)
	Set Callee attribute of llzk::function::CallOp Operation.
MLIR_CAPI_EXPORTED MlirAttribute	llzkFunction_CallOpGetTemplateParams (MlirOperation op)
	Get TemplateParams attribute from llzk::function::CallOp Operation.
MLIR_CAPI_EXPORTED void	llzkFunction_CallOpSetTemplateParams (MlirOperation op, MlirAttribute attr)
	Set TemplateParams attribute of llzk::function::CallOp Operation.
MLIR_CAPI_EXPORTED MlirAttribute	llzkFunction_CallOpGetNumDimsPerMap (MlirOperation op)
	Get NumDimsPerMap attribute from llzk::function::CallOp Operation.
MLIR_CAPI_EXPORTED void	llzkFunction_CallOpSetNumDimsPerMap (MlirOperation op, MlirAttribute attr)
	Set NumDimsPerMap attribute of llzk::function::CallOp Operation.
MLIR_CAPI_EXPORTED MlirAttribute	llzkFunction_CallOpGetMapOpGroupSizes (MlirOperation op)
	Get MapOpGroupSizes attribute from llzk::function::CallOp Operation.
MLIR_CAPI_EXPORTED void	llzkFunction_CallOpSetMapOpGroupSizes (MlirOperation op, MlirAttribute attr)
	Set MapOpGroupSizes attribute of llzk::function::CallOp Operation.
MLIR_CAPI_EXPORTED intptr_t	llzkFunction_CallOpGetResult0Count (MlirOperation op)
	Get number of Result0 results in llzk::function::CallOp Operation.
MLIR_CAPI_EXPORTED MlirValue	llzkFunction_CallOpGetResult0At (MlirOperation op, intptr_t index)
	Get Result0 result at index from llzk::function::CallOp Operation.
MLIR_CAPI_EXPORTED bool	llzkFunction_CallOpCalleeContainsWitnessGen (MlirOperation inp)
	Return true iff the callee function can contain witness generation code (this does not check if the callee function is located within a StructDefOp)
MLIR_CAPI_EXPORTED bool	llzkFunction_CallOpCalleeIsStructCompute (MlirOperation inp)
	Return true iff the callee function name is FUNC_NAME_COMPUTE within a StructDefOp.
MLIR_CAPI_EXPORTED MlirType	llzkFunction_CallOpGetSingleResultTypeOfCompute (MlirOperation inp)
	Assuming the callee is FUNC_NAME_COMPUTE, return the single StructType result.
MLIR_CAPI_EXPORTED bool	llzkFunction_CallOpCalleeIsStructConstrain (MlirOperation inp)
	Return true iff the callee function name is FUNC_NAME_CONSTRAIN within a StructDefOp.
MLIR_CAPI_EXPORTED MlirValue	llzkFunction_CallOpGetSelfValueFromConstrain (MlirOperation inp)
	Return the "self" value (i.e.
MLIR_CAPI_EXPORTED MlirType	llzkFunction_CallOpGetTypeSignature (MlirOperation inp)
	Return the FunctionType inferred from the arg operands and result types of this CallOp.
MLIR_CAPI_EXPORTED bool	llzkFunction_CallOpCalleeIsCompute (MlirOperation inp)
	Return true iff the callee function name is FUNC_NAME_COMPUTE (this does not check if the callee function is located within a StructDefOp).
MLIR_CAPI_EXPORTED bool	llzkFunction_CallOpCalleeIsConstrain (MlirOperation inp)
	Return true iff the callee function name is FUNC_NAME_CONSTRAIN (this does not check if the callee function is located within a StructDefOp).
MLIR_CAPI_EXPORTED MlirOperation	llzkFunction_CallOpResolveCallable (MlirOperation inp)
	Required by CallOpInterface.
MLIR_CAPI_EXPORTED MlirValue	llzkFunction_CallOpGetSelfValueFromCompute (MlirOperation inp)
	Return the "self" value (i.e.
MLIR_CAPI_EXPORTED MlirType	llzkFunction_CallOpGetSingleResultTypeOfWitnessGen (MlirOperation inp)
	Assuming the callee contains witness generation code, return the single StructType result.
MLIR_CAPI_EXPORTED MlirOperation	llzkFunction_FuncDefOpBuild (MlirOpBuilder builder, MlirLocation location, MlirIdentifier sym_name, MlirAttribute function_type, MlirAttribute arg_attrs, MlirAttribute res_attrs)
	Build a llzk::function::FuncDefOp Operation.
MLIR_CAPI_EXPORTED bool	llzkOperationIsA_Function_FuncDefOp (MlirOperation)
	Returns true if the Operation is a llzk::function::FuncDefOp.
MLIR_CAPI_EXPORTED MlirAttribute	llzkFunction_FuncDefOpGetSymName (MlirOperation op)
	Get SymName attribute from llzk::function::FuncDefOp Operation.
MLIR_CAPI_EXPORTED void	llzkFunction_FuncDefOpSetSymName (MlirOperation op, MlirAttribute attr)
	Set SymName attribute of llzk::function::FuncDefOp Operation.
MLIR_CAPI_EXPORTED MlirAttribute	llzkFunction_FuncDefOpGetFunctionType (MlirOperation op)
	Get FunctionType attribute from llzk::function::FuncDefOp Operation.
MLIR_CAPI_EXPORTED void	llzkFunction_FuncDefOpSetFunctionType (MlirOperation op, MlirAttribute attr)
	Set FunctionType attribute of llzk::function::FuncDefOp Operation.
MLIR_CAPI_EXPORTED MlirAttribute	llzkFunction_FuncDefOpGetArgAttrs (MlirOperation op)
	Get ArgAttrs attribute from llzk::function::FuncDefOp Operation.
MLIR_CAPI_EXPORTED void	llzkFunction_FuncDefOpSetArgAttrs (MlirOperation op, MlirAttribute attr)
	Set ArgAttrs attribute of llzk::function::FuncDefOp Operation.
MLIR_CAPI_EXPORTED MlirAttribute	llzkFunction_FuncDefOpGetResAttrs (MlirOperation op)
	Get ResAttrs attribute from llzk::function::FuncDefOp Operation.
MLIR_CAPI_EXPORTED void	llzkFunction_FuncDefOpSetResAttrs (MlirOperation op, MlirAttribute attr)
	Set ResAttrs attribute of llzk::function::FuncDefOp Operation.
MLIR_CAPI_EXPORTED MlirRegion	llzkFunction_FuncDefOpGetBody (MlirOperation op)
	Get Body region from llzk::function::FuncDefOp Operation.
MLIR_CAPI_EXPORTED MlirAttribute	llzkFunction_FuncDefOpGetFullyQualifiedName (MlirOperation inp, bool requireParent)
	Return the full name for this function from the root module, including all surrounding symbol table names (i.e., modules and structs).
MLIR_CAPI_EXPORTED void	llzkFunction_FuncDefOpSetAllowNonNativeFieldOpsAttr (MlirOperation inp, bool newValue)
	Add (resp. remove) the allow_non_native_field_ops attribute to (resp. from) the function def.
MLIR_CAPI_EXPORTED bool	llzkFunction_FuncDefOpIsDeclaration (MlirOperation inp)
	Required by SymbolOpInterface.
MLIR_CAPI_EXPORTED bool	llzkFunction_FuncDefOpHasAllowNonNativeFieldOpsAttr (MlirOperation inp)
	Return true iff the function def has the allow_non_native_field_ops attribute.
MLIR_CAPI_EXPORTED bool	llzkFunction_FuncDefOpNameIsProduct (MlirOperation inp)
	Return true iff the function name is FUNC_NAME_PRODUCT (if needed, a check that this FuncDefOp is located within a StructDefOp must be done separately).
MLIR_CAPI_EXPORTED bool	llzkFunction_FuncDefOpHasArgPublicAttr (MlirOperation inp, unsigned index)
	Return true iff the argument at the given index has pub attribute.
MLIR_CAPI_EXPORTED bool	llzkFunction_FuncDefOpIsStructProduct (MlirOperation inp)
	Return true iff the function is within a StructDefOp and named FUNC_NAME_PRODUCT.
MLIR_CAPI_EXPORTED MlirValue	llzkFunction_FuncDefOpGetSelfValueFromConstrain (MlirOperation inp)
	Return the "self" value (i.e.
MLIR_CAPI_EXPORTED MlirType	llzkFunction_FuncDefOpGetSingleResultTypeOfCompute (MlirOperation inp)
	Assuming the name is FUNC_NAME_COMPUTE, return the single StructType result.
MLIR_CAPI_EXPORTED bool	llzkFunction_FuncDefOpHasAllowWitnessAttr (MlirOperation inp)
	Return true iff the function def has the allow_witness attribute.
MLIR_CAPI_EXPORTED bool	llzkFunction_FuncDefOpNameIsConstrain (MlirOperation inp)
	Return true iff the function name is FUNC_NAME_CONSTRAIN (if needed, a check that this FuncDefOp is located within a StructDefOp must be done separately).
MLIR_CAPI_EXPORTED MlirRegion	llzkFunction_FuncDefOpGetCallableRegion (MlirOperation inp)
	Required by FunctionOpInterface.
MLIR_CAPI_EXPORTED void	llzkFunction_FuncDefOpSetAllowConstraintAttr (MlirOperation inp, bool newValue)
	Add (resp. remove) the allow_constraint attribute to (resp. from) the function def.
MLIR_CAPI_EXPORTED MlirValue	llzkFunction_FuncDefOpGetSelfValueFromCompute (MlirOperation inp)
	Return the "self" value (i.e.
MLIR_CAPI_EXPORTED bool	llzkFunction_FuncDefOpHasAllowConstraintAttr (MlirOperation inp)
	Return true iff the function def has the allow_constraint attribute.
MLIR_CAPI_EXPORTED bool	llzkFunction_FuncDefOpIsInStruct (MlirOperation inp)
	Return true iff the function is within a StructDefOp.
MLIR_CAPI_EXPORTED void	llzkFunction_FuncDefOpSetAllowWitnessAttr (MlirOperation inp, bool newValue)
	Add (resp. remove) the allow_witness attribute to (resp. from) the function def.
MLIR_CAPI_EXPORTED bool	llzkFunction_FuncDefOpNameIsCompute (MlirOperation inp)
	Return true iff the function name is FUNC_NAME_COMPUTE (if needed, a check that this FuncDefOp is located within a StructDefOp must be done separately).
MLIR_CAPI_EXPORTED bool	llzkFunction_FuncDefOpIsStructConstrain (MlirOperation inp)
	Return true iff the function is within a StructDefOp and named FUNC_NAME_CONSTRAIN.
MLIR_CAPI_EXPORTED bool	llzkFunction_FuncDefOpIsStructCompute (MlirOperation inp)
	Return true iff the function is within a StructDefOp and named FUNC_NAME_COMPUTE.
MLIR_CAPI_EXPORTED MlirOperation	llzkFunction_ReturnOpBuild (MlirOpBuilder builder, MlirLocation location, intptr_t operandsSize, MlirValue const *operands)
	Build a llzk::function::ReturnOp Operation.
MLIR_CAPI_EXPORTED bool	llzkOperationIsA_Function_ReturnOp (MlirOperation)
	Returns true if the Operation is a llzk::function::ReturnOp.
MLIR_CAPI_EXPORTED intptr_t	llzkFunction_ReturnOpGetOperandsCount (MlirOperation op)
	Get number of Operands operands in llzk::function::ReturnOp Operation.
MLIR_CAPI_EXPORTED MlirValue	llzkFunction_ReturnOpGetOperandsAt (MlirOperation op, intptr_t index)
	Get Operands operand at index from llzk::function::ReturnOp Operation.
MLIR_CAPI_EXPORTED void	llzkFunction_ReturnOpSetOperands (MlirOperation op, intptr_t count, MlirValue const *values)
	Set Operands operands of llzk::function::ReturnOp Operation.

Function Documentation

◆ llzkFunction_CallOpCalleeContainsWitnessGen()

MLIR_CAPI_EXPORTED bool llzkFunction_CallOpCalleeContainsWitnessGen ( MlirOperation inp )

Return true iff the callee function can contain witness generation code (this does not check if the callee function is located within a StructDefOp)

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

◆ llzkFunction_CallOpCalleeIsCompute()

MLIR_CAPI_EXPORTED bool llzkFunction_CallOpCalleeIsCompute ( MlirOperation inp )

Return true iff the callee function name is FUNC_NAME_COMPUTE (this does not check if the callee function is located within a StructDefOp).

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

◆ llzkFunction_CallOpCalleeIsConstrain()

MLIR_CAPI_EXPORTED bool llzkFunction_CallOpCalleeIsConstrain ( MlirOperation inp )

Return true iff the callee function name is FUNC_NAME_CONSTRAIN (this does not check if the callee function is located within a StructDefOp).

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

◆ llzkFunction_CallOpCalleeIsStructCompute()

MLIR_CAPI_EXPORTED bool llzkFunction_CallOpCalleeIsStructCompute ( MlirOperation inp )

Return true iff the callee function name is FUNC_NAME_COMPUTE within a StructDefOp.

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

◆ llzkFunction_CallOpCalleeIsStructConstrain()

MLIR_CAPI_EXPORTED bool llzkFunction_CallOpCalleeIsStructConstrain ( MlirOperation inp )

Return true iff the callee function name is FUNC_NAME_CONSTRAIN within a StructDefOp.

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

◆ llzkFunction_CallOpGetArgOperandsAt()

MLIR_CAPI_EXPORTED MlirValue llzkFunction_CallOpGetArgOperandsAt	(	MlirOperation	op,
		intptr_t	index )

Get ArgOperands operand at index from llzk::function::CallOp Operation.

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

◆ llzkFunction_CallOpGetArgOperandsCount()

MLIR_CAPI_EXPORTED intptr_t llzkFunction_CallOpGetArgOperandsCount ( MlirOperation op )

Get number of ArgOperands operands in llzk::function::CallOp Operation.

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

◆ llzkFunction_CallOpGetCallee()

MLIR_CAPI_EXPORTED MlirAttribute llzkFunction_CallOpGetCallee ( MlirOperation op )

Get Callee attribute from llzk::function::CallOp Operation.

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

◆ llzkFunction_CallOpGetMapOperandsAt()

MLIR_CAPI_EXPORTED MlirValue llzkFunction_CallOpGetMapOperandsAt	(	MlirOperation	op,
		intptr_t	index )

Get MapOperands operand at index from llzk::function::CallOp Operation.

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

◆ llzkFunction_CallOpGetMapOperandsCount()

MLIR_CAPI_EXPORTED intptr_t llzkFunction_CallOpGetMapOperandsCount ( MlirOperation op )

Get number of MapOperands operands in llzk::function::CallOp Operation.

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

◆ llzkFunction_CallOpGetMapOpGroupSizes()

MLIR_CAPI_EXPORTED MlirAttribute llzkFunction_CallOpGetMapOpGroupSizes ( MlirOperation op )

Get MapOpGroupSizes attribute from llzk::function::CallOp Operation.

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

◆ llzkFunction_CallOpGetNumDimsPerMap()

MLIR_CAPI_EXPORTED MlirAttribute llzkFunction_CallOpGetNumDimsPerMap ( MlirOperation op )

Get NumDimsPerMap attribute from llzk::function::CallOp Operation.

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

◆ llzkFunction_CallOpGetResult0At()

MLIR_CAPI_EXPORTED MlirValue llzkFunction_CallOpGetResult0At	(	MlirOperation	op,
		intptr_t	index )

Get Result0 result at index from llzk::function::CallOp Operation.

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

◆ llzkFunction_CallOpGetResult0Count()

MLIR_CAPI_EXPORTED intptr_t llzkFunction_CallOpGetResult0Count ( MlirOperation op )

Get number of Result0 results in llzk::function::CallOp Operation.

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

◆ llzkFunction_CallOpGetSelfValueFromCompute()

MLIR_CAPI_EXPORTED MlirValue llzkFunction_CallOpGetSelfValueFromCompute ( MlirOperation inp )

Return the "self" value (i.e.

the return value) from the callee function (which must be named FUNC_NAME_COMPUTE).

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

◆ llzkFunction_CallOpGetSelfValueFromConstrain()

MLIR_CAPI_EXPORTED MlirValue llzkFunction_CallOpGetSelfValueFromConstrain ( MlirOperation inp )

Return the "self" value (i.e.

the first parameter) from the callee function (which must be named FUNC_NAME_CONSTRAIN).

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

◆ llzkFunction_CallOpGetSingleResultTypeOfCompute()

MLIR_CAPI_EXPORTED MlirType llzkFunction_CallOpGetSingleResultTypeOfCompute ( MlirOperation inp )

Assuming the callee is FUNC_NAME_COMPUTE, return the single StructType result.

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

◆ llzkFunction_CallOpGetSingleResultTypeOfWitnessGen()

MLIR_CAPI_EXPORTED MlirType llzkFunction_CallOpGetSingleResultTypeOfWitnessGen ( MlirOperation inp )

Assuming the callee contains witness generation code, return the single StructType result.

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

◆ llzkFunction_CallOpGetTemplateParams()

MLIR_CAPI_EXPORTED MlirAttribute llzkFunction_CallOpGetTemplateParams ( MlirOperation op )

Get TemplateParams attribute from llzk::function::CallOp Operation.

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

◆ llzkFunction_CallOpGetTypeSignature()

MLIR_CAPI_EXPORTED MlirType llzkFunction_CallOpGetTypeSignature ( MlirOperation inp )

Return the FunctionType inferred from the arg operands and result types of this CallOp.

This is not necessarily the same as the callee's FunctionType but should unify with it or else IR verification will fail.

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

◆ llzkFunction_CallOpResolveCallable()

MLIR_CAPI_EXPORTED MlirOperation llzkFunction_CallOpResolveCallable ( MlirOperation inp )

Required by CallOpInterface.

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

◆ llzkFunction_CallOpSetArgOperands()

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

Set ArgOperands operands of llzk::function::CallOp Operation.

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

◆ llzkFunction_CallOpSetCallee()

MLIR_CAPI_EXPORTED void llzkFunction_CallOpSetCallee	(	MlirOperation	op,
		MlirAttribute	attr )

Set Callee attribute of llzk::function::CallOp Operation.

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

◆ llzkFunction_CallOpSetMapOperands()

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

Set MapOperands operands of llzk::function::CallOp Operation.

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

◆ llzkFunction_CallOpSetMapOpGroupSizes()

MLIR_CAPI_EXPORTED void llzkFunction_CallOpSetMapOpGroupSizes	(	MlirOperation	op,
		MlirAttribute	attr )

Set MapOpGroupSizes attribute of llzk::function::CallOp Operation.

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

◆ llzkFunction_CallOpSetNumDimsPerMap()

MLIR_CAPI_EXPORTED void llzkFunction_CallOpSetNumDimsPerMap	(	MlirOperation	op,
		MlirAttribute	attr )

Set NumDimsPerMap attribute of llzk::function::CallOp Operation.

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

◆ llzkFunction_CallOpSetTemplateParams()

MLIR_CAPI_EXPORTED void llzkFunction_CallOpSetTemplateParams	(	MlirOperation	op,
		MlirAttribute	attr )

Set TemplateParams attribute of llzk::function::CallOp Operation.

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

◆ llzkFunction_FuncDefOpBuild()

MLIR_CAPI_EXPORTED MlirOperation llzkFunction_FuncDefOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location,
		MlirIdentifier	sym_name,
		MlirAttribute	function_type,
		MlirAttribute	arg_attrs,
		MlirAttribute	res_attrs )

Build a llzk::function::FuncDefOp Operation.

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

◆ llzkFunction_FuncDefOpGetArgAttrs()

MLIR_CAPI_EXPORTED MlirAttribute llzkFunction_FuncDefOpGetArgAttrs ( MlirOperation op )

Get ArgAttrs attribute from llzk::function::FuncDefOp Operation.

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

◆ llzkFunction_FuncDefOpGetBody()

MLIR_CAPI_EXPORTED MlirRegion llzkFunction_FuncDefOpGetBody ( MlirOperation op )

Get Body region from llzk::function::FuncDefOp Operation.

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

◆ llzkFunction_FuncDefOpGetCallableRegion()

MLIR_CAPI_EXPORTED MlirRegion llzkFunction_FuncDefOpGetCallableRegion ( MlirOperation inp )

Required by FunctionOpInterface.

Returns the region on the current operation that is callable. This may return null in the case of an external callable object, e.g. an external function.

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

◆ llzkFunction_FuncDefOpGetFullyQualifiedName()

MLIR_CAPI_EXPORTED MlirAttribute llzkFunction_FuncDefOpGetFullyQualifiedName	(	MlirOperation	inp,
		bool	requireParent )

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

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

◆ llzkFunction_FuncDefOpGetFunctionType()

MLIR_CAPI_EXPORTED MlirAttribute llzkFunction_FuncDefOpGetFunctionType ( MlirOperation op )

Get FunctionType attribute from llzk::function::FuncDefOp Operation.

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

◆ llzkFunction_FuncDefOpGetResAttrs()

MLIR_CAPI_EXPORTED MlirAttribute llzkFunction_FuncDefOpGetResAttrs ( MlirOperation op )

Get ResAttrs attribute from llzk::function::FuncDefOp Operation.

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

◆ llzkFunction_FuncDefOpGetSelfValueFromCompute()

MLIR_CAPI_EXPORTED MlirValue llzkFunction_FuncDefOpGetSelfValueFromCompute ( MlirOperation inp )

Return the "self" value (i.e.

the return value) from the function (which must be named FUNC_NAME_COMPUTE).

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

◆ llzkFunction_FuncDefOpGetSelfValueFromConstrain()

MLIR_CAPI_EXPORTED MlirValue llzkFunction_FuncDefOpGetSelfValueFromConstrain ( MlirOperation inp )

Return the "self" value (i.e.

the first parameter) from the function (which must be named FUNC_NAME_CONSTRAIN).

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

◆ llzkFunction_FuncDefOpGetSingleResultTypeOfCompute()

MLIR_CAPI_EXPORTED MlirType llzkFunction_FuncDefOpGetSingleResultTypeOfCompute ( MlirOperation inp )

Assuming the name is FUNC_NAME_COMPUTE, return the single StructType result.

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

◆ llzkFunction_FuncDefOpGetSymName()

MLIR_CAPI_EXPORTED MlirAttribute llzkFunction_FuncDefOpGetSymName ( MlirOperation op )

Get SymName attribute from llzk::function::FuncDefOp Operation.

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

◆ llzkFunction_FuncDefOpHasAllowConstraintAttr()

MLIR_CAPI_EXPORTED bool llzkFunction_FuncDefOpHasAllowConstraintAttr ( MlirOperation inp )

Return true iff the function def has the allow_constraint attribute.

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

◆ llzkFunction_FuncDefOpHasAllowNonNativeFieldOpsAttr()

MLIR_CAPI_EXPORTED bool llzkFunction_FuncDefOpHasAllowNonNativeFieldOpsAttr ( MlirOperation inp )

Return true iff the function def has the allow_non_native_field_ops attribute.

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

◆ llzkFunction_FuncDefOpHasAllowWitnessAttr()

MLIR_CAPI_EXPORTED bool llzkFunction_FuncDefOpHasAllowWitnessAttr ( MlirOperation inp )

Return true iff the function def has the allow_witness attribute.

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

◆ llzkFunction_FuncDefOpHasArgPublicAttr()

MLIR_CAPI_EXPORTED bool llzkFunction_FuncDefOpHasArgPublicAttr	(	MlirOperation	inp,
		unsigned	index )

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

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

◆ llzkFunction_FuncDefOpIsDeclaration()

MLIR_CAPI_EXPORTED bool llzkFunction_FuncDefOpIsDeclaration ( MlirOperation inp )

Required by SymbolOpInterface.

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

◆ llzkFunction_FuncDefOpIsInStruct()

MLIR_CAPI_EXPORTED bool llzkFunction_FuncDefOpIsInStruct ( MlirOperation inp )

Return true iff the function is within a StructDefOp.

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

◆ llzkFunction_FuncDefOpIsStructCompute()

MLIR_CAPI_EXPORTED bool llzkFunction_FuncDefOpIsStructCompute ( MlirOperation inp )

Return true iff the function is within a StructDefOp and named FUNC_NAME_COMPUTE.

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

◆ llzkFunction_FuncDefOpIsStructConstrain()

MLIR_CAPI_EXPORTED bool llzkFunction_FuncDefOpIsStructConstrain ( MlirOperation inp )

Return true iff the function is within a StructDefOp and named FUNC_NAME_CONSTRAIN.

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

◆ llzkFunction_FuncDefOpIsStructProduct()

MLIR_CAPI_EXPORTED bool llzkFunction_FuncDefOpIsStructProduct ( MlirOperation inp )

Return true iff the function is within a StructDefOp and named FUNC_NAME_PRODUCT.

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

◆ llzkFunction_FuncDefOpNameIsCompute()

MLIR_CAPI_EXPORTED bool llzkFunction_FuncDefOpNameIsCompute ( MlirOperation inp )

Return true iff the function name is FUNC_NAME_COMPUTE (if needed, a check that this FuncDefOp is located within a StructDefOp must be done separately).

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

◆ llzkFunction_FuncDefOpNameIsConstrain()

MLIR_CAPI_EXPORTED bool llzkFunction_FuncDefOpNameIsConstrain ( MlirOperation inp )

Return true iff the function name is FUNC_NAME_CONSTRAIN (if needed, a check that this FuncDefOp is located within a StructDefOp must be done separately).

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

◆ llzkFunction_FuncDefOpNameIsProduct()

MLIR_CAPI_EXPORTED bool llzkFunction_FuncDefOpNameIsProduct ( MlirOperation inp )

Return true iff the function name is FUNC_NAME_PRODUCT (if needed, a check that this FuncDefOp is located within a StructDefOp must be done separately).

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

◆ llzkFunction_FuncDefOpSetAllowConstraintAttr()

MLIR_CAPI_EXPORTED void llzkFunction_FuncDefOpSetAllowConstraintAttr	(	MlirOperation	inp,
		bool	newValue )

Add (resp. remove) the allow_constraint attribute to (resp. from) the function def.

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

◆ llzkFunction_FuncDefOpSetAllowNonNativeFieldOpsAttr()

MLIR_CAPI_EXPORTED void llzkFunction_FuncDefOpSetAllowNonNativeFieldOpsAttr	(	MlirOperation	inp,
		bool	newValue )

Add (resp. remove) the allow_non_native_field_ops attribute to (resp. from) the function def.

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

◆ llzkFunction_FuncDefOpSetAllowWitnessAttr()

MLIR_CAPI_EXPORTED void llzkFunction_FuncDefOpSetAllowWitnessAttr	(	MlirOperation	inp,
		bool	newValue )

Add (resp. remove) the allow_witness attribute to (resp. from) the function def.

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

◆ llzkFunction_FuncDefOpSetArgAttrs()

MLIR_CAPI_EXPORTED void llzkFunction_FuncDefOpSetArgAttrs	(	MlirOperation	op,
		MlirAttribute	attr )

Set ArgAttrs attribute of llzk::function::FuncDefOp Operation.

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

◆ llzkFunction_FuncDefOpSetFunctionType()

MLIR_CAPI_EXPORTED void llzkFunction_FuncDefOpSetFunctionType	(	MlirOperation	op,
		MlirAttribute	attr )

Set FunctionType attribute of llzk::function::FuncDefOp Operation.

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

◆ llzkFunction_FuncDefOpSetResAttrs()

MLIR_CAPI_EXPORTED void llzkFunction_FuncDefOpSetResAttrs	(	MlirOperation	op,
		MlirAttribute	attr )

Set ResAttrs attribute of llzk::function::FuncDefOp Operation.

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

◆ llzkFunction_FuncDefOpSetSymName()

MLIR_CAPI_EXPORTED void llzkFunction_FuncDefOpSetSymName	(	MlirOperation	op,
		MlirAttribute	attr )

Set SymName attribute of llzk::function::FuncDefOp Operation.

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

◆ llzkFunction_ReturnOpBuild()

MLIR_CAPI_EXPORTED MlirOperation llzkFunction_ReturnOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location,
		intptr_t	operandsSize,
		MlirValue const *	operands )

Build a llzk::function::ReturnOp Operation.

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

◆ llzkFunction_ReturnOpGetOperandsAt()

MLIR_CAPI_EXPORTED MlirValue llzkFunction_ReturnOpGetOperandsAt	(	MlirOperation	op,
		intptr_t	index )

Get Operands operand at index from llzk::function::ReturnOp Operation.

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

◆ llzkFunction_ReturnOpGetOperandsCount()

MLIR_CAPI_EXPORTED intptr_t llzkFunction_ReturnOpGetOperandsCount ( MlirOperation op )

Get number of Operands operands in llzk::function::ReturnOp Operation.

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

◆ llzkFunction_ReturnOpSetOperands()

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

Set Operands operands of llzk::function::ReturnOp Operation.

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

◆ llzkOperationIsA_Function_CallOp()

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Function_CallOp ( MlirOperation inp )

Returns true if the Operation is a llzk::function::CallOp.

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

◆ llzkOperationIsA_Function_FuncDefOp()

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Function_FuncDefOp ( MlirOperation inp )

Returns true if the Operation is a llzk::function::FuncDefOp.

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

◆ llzkOperationIsA_Function_ReturnOp()

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Function_ReturnOp ( MlirOperation inp )

Returns true if the Operation is a llzk::function::ReturnOp.

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

Functions

Function Documentation

◆ llzkFunction_CallOpCalleeContainsWitnessGen()

◆ llzkFunction_CallOpCalleeIsCompute()

◆ llzkFunction_CallOpCalleeIsConstrain()

◆ llzkFunction_CallOpCalleeIsStructCompute()

◆ llzkFunction_CallOpCalleeIsStructConstrain()

◆ llzkFunction_CallOpGetArgOperandsAt()

◆ llzkFunction_CallOpGetArgOperandsCount()

◆ llzkFunction_CallOpGetCallee()

◆ llzkFunction_CallOpGetMapOperandsAt()

◆ llzkFunction_CallOpGetMapOperandsCount()

◆ llzkFunction_CallOpGetMapOpGroupSizes()

◆ llzkFunction_CallOpGetNumDimsPerMap()

◆ llzkFunction_CallOpGetResult0At()

◆ llzkFunction_CallOpGetResult0Count()

◆ llzkFunction_CallOpGetSelfValueFromCompute()

◆ llzkFunction_CallOpGetSelfValueFromConstrain()

◆ llzkFunction_CallOpGetSingleResultTypeOfCompute()

◆ llzkFunction_CallOpGetSingleResultTypeOfWitnessGen()

◆ llzkFunction_CallOpGetTemplateParams()

◆ llzkFunction_CallOpGetTypeSignature()

◆ llzkFunction_CallOpResolveCallable()

◆ llzkFunction_CallOpSetArgOperands()

◆ llzkFunction_CallOpSetCallee()

◆ llzkFunction_CallOpSetMapOperands()

◆ llzkFunction_CallOpSetMapOpGroupSizes()

◆ llzkFunction_CallOpSetNumDimsPerMap()

◆ llzkFunction_CallOpSetTemplateParams()

◆ llzkFunction_FuncDefOpBuild()

◆ llzkFunction_FuncDefOpGetArgAttrs()

◆ llzkFunction_FuncDefOpGetBody()

◆ llzkFunction_FuncDefOpGetCallableRegion()

◆ llzkFunction_FuncDefOpGetFullyQualifiedName()

◆ llzkFunction_FuncDefOpGetFunctionType()

◆ llzkFunction_FuncDefOpGetResAttrs()

◆ llzkFunction_FuncDefOpGetSelfValueFromCompute()

◆ llzkFunction_FuncDefOpGetSelfValueFromConstrain()

◆ llzkFunction_FuncDefOpGetSingleResultTypeOfCompute()

◆ llzkFunction_FuncDefOpGetSymName()

◆ llzkFunction_FuncDefOpHasAllowConstraintAttr()

◆ llzkFunction_FuncDefOpHasAllowNonNativeFieldOpsAttr()

◆ llzkFunction_FuncDefOpHasAllowWitnessAttr()

◆ llzkFunction_FuncDefOpHasArgPublicAttr()

◆ llzkFunction_FuncDefOpIsDeclaration()

◆ llzkFunction_FuncDefOpIsInStruct()

◆ llzkFunction_FuncDefOpIsStructCompute()

◆ llzkFunction_FuncDefOpIsStructConstrain()

◆ llzkFunction_FuncDefOpIsStructProduct()

◆ llzkFunction_FuncDefOpNameIsCompute()

◆ llzkFunction_FuncDefOpNameIsConstrain()

◆ llzkFunction_FuncDefOpNameIsProduct()

◆ llzkFunction_FuncDefOpSetAllowConstraintAttr()

◆ llzkFunction_FuncDefOpSetAllowNonNativeFieldOpsAttr()

◆ llzkFunction_FuncDefOpSetAllowWitnessAttr()

◆ llzkFunction_FuncDefOpSetArgAttrs()

◆ llzkFunction_FuncDefOpSetFunctionType()

◆ llzkFunction_FuncDefOpSetResAttrs()

◆ llzkFunction_FuncDefOpSetSymName()

◆ llzkFunction_ReturnOpBuild()

◆ llzkFunction_ReturnOpGetOperandsAt()

◆ llzkFunction_ReturnOpGetOperandsCount()

◆ llzkFunction_ReturnOpSetOperands()

◆ llzkOperationIsA_Function_CallOp()

◆ llzkOperationIsA_Function_FuncDefOp()

◆ llzkOperationIsA_Function_ReturnOp()