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 llzkGlobal_GlobalDefOpBuild(MlirOpBuilder builder, MlirLocation location, MlirIdentifier sym_name, MlirAttribute constant, MlirAttribute type, MlirAttribute initial_value);
20
22MLIR_CAPI_EXPORTED bool llzkOperationIsA_Global_GlobalDefOp(MlirOperation);
23
25MLIR_CAPI_EXPORTED MlirAttribute llzkGlobal_GlobalDefOpGetSymName(MlirOperation op);
26
28MLIR_CAPI_EXPORTED void llzkGlobal_GlobalDefOpSetSymName(MlirOperation op, MlirAttribute attr);
29
31MLIR_CAPI_EXPORTED MlirAttribute llzkGlobal_GlobalDefOpGetConstant(MlirOperation op);
32
34MLIR_CAPI_EXPORTED void llzkGlobal_GlobalDefOpSetConstant(MlirOperation op, MlirAttribute attr);
35
37MLIR_CAPI_EXPORTED MlirAttribute llzkGlobal_GlobalDefOpGetType(MlirOperation op);
38
40MLIR_CAPI_EXPORTED void llzkGlobal_GlobalDefOpSetType(MlirOperation op, MlirAttribute attr);
41
43MLIR_CAPI_EXPORTED MlirAttribute llzkGlobal_GlobalDefOpGetInitialValue(MlirOperation op);
44
46MLIR_CAPI_EXPORTED void llzkGlobal_GlobalDefOpSetInitialValue(MlirOperation op, MlirAttribute attr);
47
49MLIR_CAPI_EXPORTED bool llzkGlobal_GlobalDefOpIsConstant(MlirOperation inp);
50
52MLIR_CAPI_EXPORTED MlirOperation llzkGlobal_GlobalReadOpBuild(MlirOpBuilder builder, MlirLocation location, MlirType valType, MlirAttribute name_ref);
53
55MLIR_CAPI_EXPORTED bool llzkOperationIsA_Global_GlobalReadOp(MlirOperation);
56
58MLIR_CAPI_EXPORTED MlirAttribute llzkGlobal_GlobalReadOpGetNameRef(MlirOperation op);
59
61MLIR_CAPI_EXPORTED void llzkGlobal_GlobalReadOpSetNameRef(MlirOperation op, MlirAttribute attr);
62
64MLIR_CAPI_EXPORTED MlirValue llzkGlobal_GlobalReadOpGetVal(MlirOperation op);
65
67MLIR_CAPI_EXPORTED MlirOperation llzkGlobal_GlobalWriteOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue val, MlirAttribute name_ref);
68
70MLIR_CAPI_EXPORTED bool llzkOperationIsA_Global_GlobalWriteOp(MlirOperation);
71
73MLIR_CAPI_EXPORTED MlirValue llzkGlobal_GlobalWriteOpGetVal(MlirOperation op);
74
76MLIR_CAPI_EXPORTED void llzkGlobal_GlobalWriteOpSetVal(MlirOperation op, MlirValue value);
77
79MLIR_CAPI_EXPORTED MlirAttribute llzkGlobal_GlobalWriteOpGetNameRef(MlirOperation op);
80
82MLIR_CAPI_EXPORTED void llzkGlobal_GlobalWriteOpSetNameRef(MlirOperation op, MlirAttribute attr);
83
84#ifdef __cplusplus
85}
86#endif
MLIR_CAPI_EXPORTED bool llzkGlobal_GlobalDefOpIsConstant(MlirOperation inp)
isConstant
MLIR_CAPI_EXPORTED MlirValue llzkGlobal_GlobalWriteOpGetVal(MlirOperation op)
Get Val operand from llzk::global::GlobalWriteOp Operation.
MLIR_CAPI_EXPORTED bool llzkOperationIsA_Global_GlobalReadOp(MlirOperation)
Returns true if the Operation is a llzk::global::GlobalReadOp.
MLIR_CAPI_EXPORTED void llzkGlobal_GlobalWriteOpSetNameRef(MlirOperation op, MlirAttribute attr)
Set NameRef attribute of llzk::global::GlobalWriteOp Operation.
MLIR_CAPI_EXPORTED MlirAttribute llzkGlobal_GlobalWriteOpGetNameRef(MlirOperation op)
Get NameRef attribute from llzk::global::GlobalWriteOp Operation.
MLIR_CAPI_EXPORTED bool llzkOperationIsA_Global_GlobalWriteOp(MlirOperation)
Returns true if the Operation is a llzk::global::GlobalWriteOp.
MLIR_CAPI_EXPORTED void llzkGlobal_GlobalWriteOpSetVal(MlirOperation op, MlirValue value)
Set Val operand of llzk::global::GlobalWriteOp Operation.
MLIR_CAPI_EXPORTED void llzkGlobal_GlobalDefOpSetType(MlirOperation op, MlirAttribute attr)
Set Type attribute of llzk::global::GlobalDefOp Operation.
MLIR_CAPI_EXPORTED void llzkGlobal_GlobalDefOpSetSymName(MlirOperation op, MlirAttribute attr)
Set SymName attribute of llzk::global::GlobalDefOp Operation.
MLIR_CAPI_EXPORTED MlirAttribute llzkGlobal_GlobalReadOpGetNameRef(MlirOperation op)
Get NameRef attribute from llzk::global::GlobalReadOp Operation.
MLIR_CAPI_EXPORTED MlirValue llzkGlobal_GlobalReadOpGetVal(MlirOperation op)
Get Val result from llzk::global::GlobalReadOp Operation.
MLIR_CAPI_EXPORTED MlirAttribute llzkGlobal_GlobalDefOpGetInitialValue(MlirOperation op)
Get InitialValue attribute from llzk::global::GlobalDefOp Operation.
MLIR_CAPI_EXPORTED MlirOperation llzkGlobal_GlobalWriteOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue val, MlirAttribute name_ref)
Build a llzk::global::GlobalWriteOp Operation.
MLIR_CAPI_EXPORTED void llzkGlobal_GlobalDefOpSetInitialValue(MlirOperation op, MlirAttribute attr)
Set InitialValue attribute of llzk::global::GlobalDefOp Operation.
MLIR_CAPI_EXPORTED MlirAttribute llzkGlobal_GlobalDefOpGetSymName(MlirOperation op)
Get SymName attribute from llzk::global::GlobalDefOp Operation.
MLIR_CAPI_EXPORTED bool llzkOperationIsA_Global_GlobalDefOp(MlirOperation)
Returns true if the Operation is a llzk::global::GlobalDefOp.
MLIR_CAPI_EXPORTED MlirOperation llzkGlobal_GlobalDefOpBuild(MlirOpBuilder builder, MlirLocation location, MlirIdentifier sym_name, MlirAttribute constant, MlirAttribute type, MlirAttribute initial_value)
Build a llzk::global::GlobalDefOp Operation.
MLIR_CAPI_EXPORTED void llzkGlobal_GlobalReadOpSetNameRef(MlirOperation op, MlirAttribute attr)
Set NameRef attribute of llzk::global::GlobalReadOp Operation.
MLIR_CAPI_EXPORTED MlirAttribute llzkGlobal_GlobalDefOpGetConstant(MlirOperation op)
Get Constant attribute from llzk::global::GlobalDefOp Operation.
MLIR_CAPI_EXPORTED MlirAttribute llzkGlobal_GlobalDefOpGetType(MlirOperation op)
Get Type attribute from llzk::global::GlobalDefOp Operation.
MLIR_CAPI_EXPORTED void llzkGlobal_GlobalDefOpSetConstant(MlirOperation op, MlirAttribute attr)
Set Constant attribute of llzk::global::GlobalDefOp Operation.
MLIR_CAPI_EXPORTED MlirOperation llzkGlobal_GlobalReadOpBuild(MlirOpBuilder builder, MlirLocation location, MlirType valType, MlirAttribute name_ref)
Build a llzk::global::GlobalReadOp Operation.