LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Ops.capi.cpp.inc
Go to the documentation of this file.
1/*===- TableGen'erated file -------------------------------------*- C++ -*-===*\
2|* *|
3|* Op C API Definitions *|
4|* *|
5|* Automatically generated file, do not edit! *|
6|* From: Ops.td *|
7|* *|
8\*===----------------------------------------------------------------------===*/
9
10
11MlirOperation llzkGlobal_GlobalDefOpBuild(MlirOpBuilder builder, MlirLocation location, MlirIdentifier sym_name, MlirAttribute constant, MlirAttribute type, MlirAttribute initial_value) {
12 MlirOperationState state = mlirOperationStateGet(mlirStringRefCreateFromCString("global.def"), location);
13 MlirContext ctx = mlirOpBuilderGetContext(builder);
14 llvm::SmallVector<MlirNamedAttribute, 4> attributes;
15 if (!mlirAttributeIsNull(reinterpret_cast<MlirAttribute&>(sym_name))) {
16 attributes.push_back(mlirNamedAttributeGet(mlirIdentifierGet(ctx, mlirStringRefCreateFromCString("sym_name")), reinterpret_cast<MlirAttribute&>(sym_name)));
17 }
18 if (!mlirAttributeIsNull(constant)) {
19 attributes.push_back(mlirNamedAttributeGet(mlirIdentifierGet(ctx, mlirStringRefCreateFromCString("constant")), constant));
20 }
21 if (!mlirAttributeIsNull(type)) {
22 attributes.push_back(mlirNamedAttributeGet(mlirIdentifierGet(ctx, mlirStringRefCreateFromCString("type")), type));
23 }
24 if (!mlirAttributeIsNull(initial_value)) {
25 attributes.push_back(mlirNamedAttributeGet(mlirIdentifierGet(ctx, mlirStringRefCreateFromCString("initial_value")), initial_value));
26 }
27 mlirOperationStateAddAttributes(&state, attributes.size(), attributes.data());
28
29 return mlirOpBuilderInsert(builder, mlirOperationCreate(&state));
30}
31
32bool llzkOperationIsA_Global_GlobalDefOp(MlirOperation inp) {
33 return llvm::isa<GlobalDefOp>(unwrap(inp));
34}
35
36MlirAttribute llzkGlobal_GlobalDefOpGetSymName(MlirOperation op) {
37 return mlirOperationGetAttributeByName(op, mlirStringRefCreateFromCString("sym_name"));
38}
39
40void llzkGlobal_GlobalDefOpSetSymName(MlirOperation op, MlirAttribute attr) {
41 mlirOperationSetAttributeByName(op, mlirStringRefCreateFromCString("sym_name"), attr);
42}
43
44MlirAttribute llzkGlobal_GlobalDefOpGetConstant(MlirOperation op) {
45 return mlirOperationGetAttributeByName(op, mlirStringRefCreateFromCString("constant"));
46}
47
48void llzkGlobal_GlobalDefOpSetConstant(MlirOperation op, MlirAttribute attr) {
49 mlirOperationSetAttributeByName(op, mlirStringRefCreateFromCString("constant"), attr);
50}
51
52MlirAttribute llzkGlobal_GlobalDefOpGetType(MlirOperation op) {
53 return mlirOperationGetAttributeByName(op, mlirStringRefCreateFromCString("type"));
54}
55
56void llzkGlobal_GlobalDefOpSetType(MlirOperation op, MlirAttribute attr) {
57 mlirOperationSetAttributeByName(op, mlirStringRefCreateFromCString("type"), attr);
58}
59
60MlirAttribute llzkGlobal_GlobalDefOpGetInitialValue(MlirOperation op) {
61 return mlirOperationGetAttributeByName(op, mlirStringRefCreateFromCString("initial_value"));
62}
63
64void llzkGlobal_GlobalDefOpSetInitialValue(MlirOperation op, MlirAttribute attr) {
65 mlirOperationSetAttributeByName(op, mlirStringRefCreateFromCString("initial_value"), attr);
66}
67
68bool llzkGlobal_GlobalDefOpIsConstant(MlirOperation inp) {
69 return llvm::cast<GlobalDefOp>(unwrap(inp)).isConstant();
70}
71
72MlirOperation llzkGlobal_GlobalReadOpBuild(MlirOpBuilder builder, MlirLocation location, MlirType valType, MlirAttribute name_ref) {
73 MlirOperationState state = mlirOperationStateGet(mlirStringRefCreateFromCString("global.read"), location);
74 mlirOperationStateAddResults(&state, 1, &valType);
75 MlirContext ctx = mlirOpBuilderGetContext(builder);
76 llvm::SmallVector<MlirNamedAttribute, 1> attributes;
77 if (!mlirAttributeIsNull(name_ref)) {
78 attributes.push_back(mlirNamedAttributeGet(mlirIdentifierGet(ctx, mlirStringRefCreateFromCString("name_ref")), name_ref));
79 }
80 mlirOperationStateAddAttributes(&state, attributes.size(), attributes.data());
81
82 return mlirOpBuilderInsert(builder, mlirOperationCreate(&state));
83}
84
85bool llzkOperationIsA_Global_GlobalReadOp(MlirOperation inp) {
86 return llvm::isa<GlobalReadOp>(unwrap(inp));
87}
88
89MlirAttribute llzkGlobal_GlobalReadOpGetNameRef(MlirOperation op) {
90 return mlirOperationGetAttributeByName(op, mlirStringRefCreateFromCString("name_ref"));
91}
92
93void llzkGlobal_GlobalReadOpSetNameRef(MlirOperation op, MlirAttribute attr) {
94 mlirOperationSetAttributeByName(op, mlirStringRefCreateFromCString("name_ref"), attr);
95}
96
97MlirValue llzkGlobal_GlobalReadOpGetVal(MlirOperation op) {
98 return mlirOperationGetResult(op, 0);
99}
100
101MlirOperation llzkGlobal_GlobalWriteOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue val, MlirAttribute name_ref) {
102 MlirOperationState state = mlirOperationStateGet(mlirStringRefCreateFromCString("global.write"), location);
103 mlirOperationStateAddOperands(&state, 1, &val);
104 MlirContext ctx = mlirOpBuilderGetContext(builder);
105 llvm::SmallVector<MlirNamedAttribute, 1> attributes;
106 if (!mlirAttributeIsNull(name_ref)) {
107 attributes.push_back(mlirNamedAttributeGet(mlirIdentifierGet(ctx, mlirStringRefCreateFromCString("name_ref")), name_ref));
108 }
109 mlirOperationStateAddAttributes(&state, attributes.size(), attributes.data());
110
111 return mlirOpBuilderInsert(builder, mlirOperationCreate(&state));
112}
113
115 return llvm::isa<GlobalWriteOp>(unwrap(inp));
116}
117
118MlirValue llzkGlobal_GlobalWriteOpGetVal(MlirOperation op) {
119 return mlirOperationGetOperand(op, 0);
120}
121
122void llzkGlobal_GlobalWriteOpSetVal(MlirOperation op, MlirValue value) {
123 mlirOperationSetOperand(op, 0, value);
124}
125
126MlirAttribute llzkGlobal_GlobalWriteOpGetNameRef(MlirOperation op) {
127 return mlirOperationGetAttributeByName(op, mlirStringRefCreateFromCString("name_ref"));
128}
129
130void llzkGlobal_GlobalWriteOpSetNameRef(MlirOperation op, MlirAttribute attr) {
131 mlirOperationSetAttributeByName(op, mlirStringRefCreateFromCString("name_ref"), attr);
132}
MlirContext mlirOpBuilderGetContext(MlirOpBuilder builder)
Returns the MLIR context associated with builder.
Definition Builder.cpp:79
MlirOperation mlirOpBuilderInsert(MlirOpBuilder builder, MlirOperation op)
Inserts op at the current insertion point of builder and returns it.
Definition Builder.cpp:108
MlirOperation llzkGlobal_GlobalDefOpBuild(MlirOpBuilder builder, MlirLocation location, MlirIdentifier sym_name, MlirAttribute constant, MlirAttribute type, MlirAttribute initial_value)
Build a llzk::global::GlobalDefOp Operation.
void llzkGlobal_GlobalDefOpSetInitialValue(MlirOperation op, MlirAttribute attr)
Set InitialValue attribute of llzk::global::GlobalDefOp Operation.
MlirAttribute llzkGlobal_GlobalDefOpGetType(MlirOperation op)
Get Type attribute from llzk::global::GlobalDefOp Operation.
MlirValue llzkGlobal_GlobalWriteOpGetVal(MlirOperation op)
Get Val operand from llzk::global::GlobalWriteOp Operation.
bool llzkOperationIsA_Global_GlobalReadOp(MlirOperation inp)
Returns true if the Operation is a llzk::global::GlobalReadOp.
bool llzkOperationIsA_Global_GlobalWriteOp(MlirOperation inp)
Returns true if the Operation is a llzk::global::GlobalWriteOp.
bool llzkGlobal_GlobalDefOpIsConstant(MlirOperation inp)
isConstant
MlirAttribute llzkGlobal_GlobalDefOpGetConstant(MlirOperation op)
Get Constant attribute from llzk::global::GlobalDefOp Operation.
MlirAttribute llzkGlobal_GlobalDefOpGetInitialValue(MlirOperation op)
Get InitialValue attribute from llzk::global::GlobalDefOp Operation.
void llzkGlobal_GlobalWriteOpSetVal(MlirOperation op, MlirValue value)
Set Val operand of llzk::global::GlobalWriteOp Operation.
bool llzkOperationIsA_Global_GlobalDefOp(MlirOperation inp)
Returns true if the Operation is a llzk::global::GlobalDefOp.
void llzkGlobal_GlobalReadOpSetNameRef(MlirOperation op, MlirAttribute attr)
Set NameRef attribute of llzk::global::GlobalReadOp Operation.
void llzkGlobal_GlobalDefOpSetConstant(MlirOperation op, MlirAttribute attr)
Set Constant attribute of llzk::global::GlobalDefOp Operation.
MlirAttribute llzkGlobal_GlobalReadOpGetNameRef(MlirOperation op)
Get NameRef attribute from llzk::global::GlobalReadOp Operation.
MlirOperation llzkGlobal_GlobalWriteOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue val, MlirAttribute name_ref)
Build a llzk::global::GlobalWriteOp Operation.
MlirOperation llzkGlobal_GlobalReadOpBuild(MlirOpBuilder builder, MlirLocation location, MlirType valType, MlirAttribute name_ref)
Build a llzk::global::GlobalReadOp Operation.
MlirValue llzkGlobal_GlobalReadOpGetVal(MlirOperation op)
Get Val result from llzk::global::GlobalReadOp Operation.
void llzkGlobal_GlobalDefOpSetSymName(MlirOperation op, MlirAttribute attr)
Set SymName attribute of llzk::global::GlobalDefOp Operation.
MlirAttribute llzkGlobal_GlobalWriteOpGetNameRef(MlirOperation op)
Get NameRef attribute from llzk::global::GlobalWriteOp Operation.
MlirAttribute llzkGlobal_GlobalDefOpGetSymName(MlirOperation op)
Get SymName attribute from llzk::global::GlobalDefOp Operation.
void llzkGlobal_GlobalDefOpSetType(MlirOperation op, MlirAttribute attr)
Set Type attribute of llzk::global::GlobalDefOp Operation.
void llzkGlobal_GlobalWriteOpSetNameRef(MlirOperation op, MlirAttribute attr)
Set NameRef attribute of llzk::global::GlobalWriteOp Operation.