Ops.capi.h.inc

Go to the documentation of this file.

/*===- TableGen'erated file -------------------------------------*- C++ -*-===*\
|*                                                                            *|
|* Op C API Declarations                                                      *|
|*                                                                            *|
|* Automatically generated file, do not edit!                                 *|
|* From: Ops.td                                                               *|
|*                                                                            *|
\*===----------------------------------------------------------------------===*/
 
 
#include "llzk-c/Builder.h"
#include <mlir-c/IR.h>
 
#ifdef __cplusplus
extern "C" {
#endif

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

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Felt_AddFeltOp(MlirOperation);

MLIR_CAPI_EXPORTED MlirValue llzkFelt_AddFeltOpGetLhs(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkFelt_AddFeltOpSetLhs(MlirOperation op, MlirValue value);

MLIR_CAPI_EXPORTED MlirValue llzkFelt_AddFeltOpGetRhs(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkFelt_AddFeltOpSetRhs(MlirOperation op, MlirValue value);

MLIR_CAPI_EXPORTED MlirValue llzkFelt_AddFeltOpGetResult(MlirOperation op);

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

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Felt_AndFeltOp(MlirOperation);

MLIR_CAPI_EXPORTED MlirValue llzkFelt_AndFeltOpGetLhs(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkFelt_AndFeltOpSetLhs(MlirOperation op, MlirValue value);

MLIR_CAPI_EXPORTED MlirValue llzkFelt_AndFeltOpGetRhs(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkFelt_AndFeltOpSetRhs(MlirOperation op, MlirValue value);

MLIR_CAPI_EXPORTED MlirValue llzkFelt_AndFeltOpGetResult(MlirOperation op);

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

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Felt_DivFeltOp(MlirOperation);

MLIR_CAPI_EXPORTED MlirValue llzkFelt_DivFeltOpGetLhs(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkFelt_DivFeltOpSetLhs(MlirOperation op, MlirValue value);

MLIR_CAPI_EXPORTED MlirValue llzkFelt_DivFeltOpGetRhs(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkFelt_DivFeltOpSetRhs(MlirOperation op, MlirValue value);

MLIR_CAPI_EXPORTED MlirValue llzkFelt_DivFeltOpGetResult(MlirOperation op);

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

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Felt_FeltConstantOp(MlirOperation);

MLIR_CAPI_EXPORTED MlirAttribute llzkFelt_FeltConstantOpGetValue(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkFelt_FeltConstantOpSetValue(MlirOperation op, MlirAttribute attr);

MLIR_CAPI_EXPORTED MlirValue llzkFelt_FeltConstantOpGetResult(MlirOperation op);

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

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Felt_InvFeltOp(MlirOperation);

MLIR_CAPI_EXPORTED MlirValue llzkFelt_InvFeltOpGetOperand(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkFelt_InvFeltOpSetOperand(MlirOperation op, MlirValue value);

MLIR_CAPI_EXPORTED MlirValue llzkFelt_InvFeltOpGetResult(MlirOperation op);

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

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Felt_MulFeltOp(MlirOperation);

MLIR_CAPI_EXPORTED MlirValue llzkFelt_MulFeltOpGetLhs(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkFelt_MulFeltOpSetLhs(MlirOperation op, MlirValue value);

MLIR_CAPI_EXPORTED MlirValue llzkFelt_MulFeltOpGetRhs(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkFelt_MulFeltOpSetRhs(MlirOperation op, MlirValue value);

MLIR_CAPI_EXPORTED MlirValue llzkFelt_MulFeltOpGetResult(MlirOperation op);

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

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Felt_NegFeltOp(MlirOperation);

MLIR_CAPI_EXPORTED MlirValue llzkFelt_NegFeltOpGetOperand(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkFelt_NegFeltOpSetOperand(MlirOperation op, MlirValue value);

MLIR_CAPI_EXPORTED MlirValue llzkFelt_NegFeltOpGetResult(MlirOperation op);

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

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Felt_NotFeltOp(MlirOperation);

MLIR_CAPI_EXPORTED MlirValue llzkFelt_NotFeltOpGetOperand(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkFelt_NotFeltOpSetOperand(MlirOperation op, MlirValue value);

MLIR_CAPI_EXPORTED MlirValue llzkFelt_NotFeltOpGetResult(MlirOperation op);

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

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Felt_OrFeltOp(MlirOperation);

MLIR_CAPI_EXPORTED MlirValue llzkFelt_OrFeltOpGetLhs(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkFelt_OrFeltOpSetLhs(MlirOperation op, MlirValue value);

MLIR_CAPI_EXPORTED MlirValue llzkFelt_OrFeltOpGetRhs(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkFelt_OrFeltOpSetRhs(MlirOperation op, MlirValue value);

MLIR_CAPI_EXPORTED MlirValue llzkFelt_OrFeltOpGetResult(MlirOperation op);

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

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Felt_PowFeltOp(MlirOperation);

MLIR_CAPI_EXPORTED MlirValue llzkFelt_PowFeltOpGetLhs(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkFelt_PowFeltOpSetLhs(MlirOperation op, MlirValue value);

MLIR_CAPI_EXPORTED MlirValue llzkFelt_PowFeltOpGetRhs(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkFelt_PowFeltOpSetRhs(MlirOperation op, MlirValue value);

MLIR_CAPI_EXPORTED MlirValue llzkFelt_PowFeltOpGetResult(MlirOperation op);

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

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Felt_ShlFeltOp(MlirOperation);

MLIR_CAPI_EXPORTED MlirValue llzkFelt_ShlFeltOpGetLhs(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkFelt_ShlFeltOpSetLhs(MlirOperation op, MlirValue value);

MLIR_CAPI_EXPORTED MlirValue llzkFelt_ShlFeltOpGetRhs(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkFelt_ShlFeltOpSetRhs(MlirOperation op, MlirValue value);

MLIR_CAPI_EXPORTED MlirValue llzkFelt_ShlFeltOpGetResult(MlirOperation op);

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

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Felt_ShrFeltOp(MlirOperation);

MLIR_CAPI_EXPORTED MlirValue llzkFelt_ShrFeltOpGetLhs(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkFelt_ShrFeltOpSetLhs(MlirOperation op, MlirValue value);

MLIR_CAPI_EXPORTED MlirValue llzkFelt_ShrFeltOpGetRhs(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkFelt_ShrFeltOpSetRhs(MlirOperation op, MlirValue value);

MLIR_CAPI_EXPORTED MlirValue llzkFelt_ShrFeltOpGetResult(MlirOperation op);

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

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Felt_SignedIntDivFeltOp(MlirOperation);

MLIR_CAPI_EXPORTED MlirValue llzkFelt_SignedIntDivFeltOpGetLhs(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkFelt_SignedIntDivFeltOpSetLhs(MlirOperation op, MlirValue value);

MLIR_CAPI_EXPORTED MlirValue llzkFelt_SignedIntDivFeltOpGetRhs(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkFelt_SignedIntDivFeltOpSetRhs(MlirOperation op, MlirValue value);

MLIR_CAPI_EXPORTED MlirValue llzkFelt_SignedIntDivFeltOpGetResult(MlirOperation op);

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

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Felt_SignedModFeltOp(MlirOperation);

MLIR_CAPI_EXPORTED MlirValue llzkFelt_SignedModFeltOpGetLhs(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkFelt_SignedModFeltOpSetLhs(MlirOperation op, MlirValue value);

MLIR_CAPI_EXPORTED MlirValue llzkFelt_SignedModFeltOpGetRhs(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkFelt_SignedModFeltOpSetRhs(MlirOperation op, MlirValue value);

MLIR_CAPI_EXPORTED MlirValue llzkFelt_SignedModFeltOpGetResult(MlirOperation op);

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

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Felt_SubFeltOp(MlirOperation);

MLIR_CAPI_EXPORTED MlirValue llzkFelt_SubFeltOpGetLhs(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkFelt_SubFeltOpSetLhs(MlirOperation op, MlirValue value);

MLIR_CAPI_EXPORTED MlirValue llzkFelt_SubFeltOpGetRhs(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkFelt_SubFeltOpSetRhs(MlirOperation op, MlirValue value);

MLIR_CAPI_EXPORTED MlirValue llzkFelt_SubFeltOpGetResult(MlirOperation op);

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

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Felt_UnsignedIntDivFeltOp(MlirOperation);

MLIR_CAPI_EXPORTED MlirValue llzkFelt_UnsignedIntDivFeltOpGetLhs(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkFelt_UnsignedIntDivFeltOpSetLhs(MlirOperation op, MlirValue value);

MLIR_CAPI_EXPORTED MlirValue llzkFelt_UnsignedIntDivFeltOpGetRhs(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkFelt_UnsignedIntDivFeltOpSetRhs(MlirOperation op, MlirValue value);

MLIR_CAPI_EXPORTED MlirValue llzkFelt_UnsignedIntDivFeltOpGetResult(MlirOperation op);

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

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Felt_UnsignedModFeltOp(MlirOperation);

MLIR_CAPI_EXPORTED MlirValue llzkFelt_UnsignedModFeltOpGetLhs(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkFelt_UnsignedModFeltOpSetLhs(MlirOperation op, MlirValue value);

MLIR_CAPI_EXPORTED MlirValue llzkFelt_UnsignedModFeltOpGetRhs(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkFelt_UnsignedModFeltOpSetRhs(MlirOperation op, MlirValue value);

MLIR_CAPI_EXPORTED MlirValue llzkFelt_UnsignedModFeltOpGetResult(MlirOperation op);

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

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Felt_XorFeltOp(MlirOperation);

MLIR_CAPI_EXPORTED MlirValue llzkFelt_XorFeltOpGetLhs(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkFelt_XorFeltOpSetLhs(MlirOperation op, MlirValue value);

MLIR_CAPI_EXPORTED MlirValue llzkFelt_XorFeltOpGetRhs(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkFelt_XorFeltOpSetRhs(MlirOperation op, MlirValue value);

MLIR_CAPI_EXPORTED MlirValue llzkFelt_XorFeltOpGetResult(MlirOperation op);
 
#ifdef __cplusplus
}
#endif