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 llzkCast_FeltToIndexOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue value, MlirAttribute overflow);

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Cast_FeltToIndexOp(MlirOperation);

MLIR_CAPI_EXPORTED MlirValue llzkCast_FeltToIndexOpGetValue(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkCast_FeltToIndexOpSetValue(MlirOperation op, MlirValue value);

MLIR_CAPI_EXPORTED MlirAttribute llzkCast_FeltToIndexOpGetOverflow(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkCast_FeltToIndexOpSetOverflow(MlirOperation op, MlirAttribute attr);

MLIR_CAPI_EXPORTED MlirValue llzkCast_FeltToIndexOpGetResult(MlirOperation op);

MLIR_CAPI_EXPORTED MlirOperation llzkCast_IntToFeltOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue value, MlirAttribute overflow);

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Cast_IntToFeltOp(MlirOperation);

MLIR_CAPI_EXPORTED MlirValue llzkCast_IntToFeltOpGetValue(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkCast_IntToFeltOpSetValue(MlirOperation op, MlirValue value);

MLIR_CAPI_EXPORTED MlirAttribute llzkCast_IntToFeltOpGetOverflow(MlirOperation op);

MLIR_CAPI_EXPORTED void llzkCast_IntToFeltOpSetOverflow(MlirOperation op, MlirAttribute attr);

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