LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Ops.capi.h.inc
Go to the documentation of this file.
1/*===- TableGen'erated file -------------------------------------*- C++ -*-===*\
2|* *|
3|* Op C API Declarations *|
4|* *|
5|* Automatically generated file, do not edit! *|
6|* From: Ops.td *|
7|* *|
8\*===----------------------------------------------------------------------===*/
9
10
11#include "llzk-c/Builder.h"
12#include <mlir-c/IR.h>
13
14#ifdef __cplusplus
15extern "C" {
16#endif
17
19MLIR_CAPI_EXPORTED MlirOperation llzkRam_LoadOpBuild(MlirOpBuilder builder, MlirLocation location, MlirType valType, MlirValue addr);
20
22MLIR_CAPI_EXPORTED bool llzkOperationIsA_Ram_LoadOp(MlirOperation);
23
25MLIR_CAPI_EXPORTED MlirValue llzkRam_LoadOpGetAddr(MlirOperation op);
26
28MLIR_CAPI_EXPORTED void llzkRam_LoadOpSetAddr(MlirOperation op, MlirValue value);
29
31MLIR_CAPI_EXPORTED MlirValue llzkRam_LoadOpGetVal(MlirOperation op);
32
34MLIR_CAPI_EXPORTED MlirOperation llzkRam_StoreOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue addr, MlirValue val);
35
37MLIR_CAPI_EXPORTED bool llzkOperationIsA_Ram_StoreOp(MlirOperation);
38
40MLIR_CAPI_EXPORTED MlirValue llzkRam_StoreOpGetAddr(MlirOperation op);
41
43MLIR_CAPI_EXPORTED void llzkRam_StoreOpSetAddr(MlirOperation op, MlirValue value);
44
46MLIR_CAPI_EXPORTED MlirValue llzkRam_StoreOpGetVal(MlirOperation op);
47
49MLIR_CAPI_EXPORTED void llzkRam_StoreOpSetVal(MlirOperation op, MlirValue value);
50
51#ifdef __cplusplus
52}
53#endif
MLIR_CAPI_EXPORTED MlirOperation llzkRam_LoadOpBuild(MlirOpBuilder builder, MlirLocation location, MlirType valType, MlirValue addr)
Build a llzk::ram::LoadOp Operation.
MLIR_CAPI_EXPORTED bool llzkOperationIsA_Ram_LoadOp(MlirOperation)
Returns true if the Operation is a llzk::ram::LoadOp.
MLIR_CAPI_EXPORTED void llzkRam_StoreOpSetVal(MlirOperation op, MlirValue value)
Set Val operand of llzk::ram::StoreOp Operation.
MLIR_CAPI_EXPORTED MlirValue llzkRam_LoadOpGetVal(MlirOperation op)
Get Val result from llzk::ram::LoadOp Operation.
MLIR_CAPI_EXPORTED MlirValue llzkRam_LoadOpGetAddr(MlirOperation op)
Get Addr operand from llzk::ram::LoadOp Operation.
MLIR_CAPI_EXPORTED void llzkRam_LoadOpSetAddr(MlirOperation op, MlirValue value)
Set Addr operand of llzk::ram::LoadOp Operation.
MLIR_CAPI_EXPORTED void llzkRam_StoreOpSetAddr(MlirOperation op, MlirValue value)
Set Addr operand of llzk::ram::StoreOp Operation.
MLIR_CAPI_EXPORTED MlirValue llzkRam_StoreOpGetVal(MlirOperation op)
Get Val operand from llzk::ram::StoreOp Operation.
MLIR_CAPI_EXPORTED bool llzkOperationIsA_Ram_StoreOp(MlirOperation)
Returns true if the Operation is a llzk::ram::StoreOp.
MLIR_CAPI_EXPORTED MlirValue llzkRam_StoreOpGetAddr(MlirOperation op)
Get Addr operand from llzk::ram::StoreOp Operation.
MLIR_CAPI_EXPORTED MlirOperation llzkRam_StoreOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue addr, MlirValue val)
Build a llzk::ram::StoreOp Operation.