LLZK 3.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
11#include <limits>
12
13using namespace mlir;
14using namespace llvm;
15
16MlirOperation llzkGlobal_GlobalDefOpBuild(MlirOpBuilder builder, MlirLocation location, MlirIdentifier sym_name, MlirAttribute constant, MlirAttribute type, MlirAttribute initial_value) {
17 MlirOperationState state = mlirOperationStateGet(mlirStringRefCreateFromCString("global.def"), location);
18 MlirContext ctx = mlirOpBuilderGetContext(builder);
19 llvm::SmallVector<MlirNamedAttribute, 4> attributes;
20 if (!mlirAttributeIsNull(reinterpret_cast<MlirAttribute&>(sym_name))) {
21 attributes.push_back(mlirNamedAttributeGet(mlirIdentifierGet(ctx, mlirStringRefCreateFromCString("sym_name")), reinterpret_cast<MlirAttribute&>(sym_name)));
22 }
23 if (!mlirAttributeIsNull(constant)) {
24 attributes.push_back(mlirNamedAttributeGet(mlirIdentifierGet(ctx, mlirStringRefCreateFromCString("constant")), constant));
25 }
26 if (!mlirAttributeIsNull(type)) {
27 attributes.push_back(mlirNamedAttributeGet(mlirIdentifierGet(ctx, mlirStringRefCreateFromCString("type")), type));
28 }
29 if (!mlirAttributeIsNull(initial_value)) {
30 attributes.push_back(mlirNamedAttributeGet(mlirIdentifierGet(ctx, mlirStringRefCreateFromCString("initial_value")), initial_value));
31 }
32 mlirOperationStateAddAttributes(&state, attributes.size(), attributes.data());
33
34 return mlirOpBuilderInsert(builder, mlirOperationCreate(&state));
35}
36
37bool llzkOperationIsA_Global_GlobalDefOp(MlirOperation inp) {
38 return llvm::isa<GlobalDefOp>(unwrap(inp));
39}
40
41MlirAttribute llzkGlobal_GlobalDefOpGetSymName(MlirOperation op) {
42 return mlirOperationGetAttributeByName(op, mlirStringRefCreateFromCString("sym_name"));
43}
44
45void llzkGlobal_GlobalDefOpSetSymName(MlirOperation op, MlirAttribute attr) {
46 mlirOperationSetAttributeByName(op, mlirStringRefCreateFromCString("sym_name"), attr);
47}
48
49MlirAttribute llzkGlobal_GlobalDefOpGetConstant(MlirOperation op) {
50 return mlirOperationGetAttributeByName(op, mlirStringRefCreateFromCString("constant"));
51}
52
53void llzkGlobal_GlobalDefOpSetConstant(MlirOperation op, MlirAttribute attr) {
54 mlirOperationSetAttributeByName(op, mlirStringRefCreateFromCString("constant"), attr);
55}
56
57MlirAttribute llzkGlobal_GlobalDefOpGetType(MlirOperation op) {
58 return mlirOperationGetAttributeByName(op, mlirStringRefCreateFromCString("type"));
59}
60
61void llzkGlobal_GlobalDefOpSetType(MlirOperation op, MlirAttribute attr) {
62 mlirOperationSetAttributeByName(op, mlirStringRefCreateFromCString("type"), attr);
63}
64
65MlirAttribute llzkGlobal_GlobalDefOpGetInitialValue(MlirOperation op) {
66 return mlirOperationGetAttributeByName(op, mlirStringRefCreateFromCString("initial_value"));
67}
68
69void llzkGlobal_GlobalDefOpSetInitialValue(MlirOperation op, MlirAttribute attr) {
70 mlirOperationSetAttributeByName(op, mlirStringRefCreateFromCString("initial_value"), attr);
71}
72
73bool llzkGlobal_GlobalDefOpIsConstant(MlirOperation inp) {
74 return llvm::cast<GlobalDefOp>(unwrap(inp)).isConstant();
75}
76
77MlirOperation llzkGlobal_GlobalReadOpBuild(MlirOpBuilder builder, MlirLocation location, MlirType valType, MlirAttribute constant, MlirAttribute name_ref) {
78 MlirOperationState state = mlirOperationStateGet(mlirStringRefCreateFromCString("global.read"), location);
79 mlirOperationStateAddResults(&state, 1, &valType);
80 MlirContext ctx = mlirOpBuilderGetContext(builder);
81 llvm::SmallVector<MlirNamedAttribute, 2> attributes;
82 if (!mlirAttributeIsNull(constant)) {
83 attributes.push_back(mlirNamedAttributeGet(mlirIdentifierGet(ctx, mlirStringRefCreateFromCString("constant")), constant));
84 }
85 if (!mlirAttributeIsNull(name_ref)) {
86 attributes.push_back(mlirNamedAttributeGet(mlirIdentifierGet(ctx, mlirStringRefCreateFromCString("name_ref")), name_ref));
87 }
88 mlirOperationStateAddAttributes(&state, attributes.size(), attributes.data());
89
90 return mlirOpBuilderInsert(builder, mlirOperationCreate(&state));
91}
92
93bool llzkOperationIsA_Global_GlobalReadOp(MlirOperation inp) {
94 return llvm::isa<GlobalReadOp>(unwrap(inp));
95}
96
97MlirAttribute llzkGlobal_GlobalReadOpGetConstant(MlirOperation op) {
98 return mlirOperationGetAttributeByName(op, mlirStringRefCreateFromCString("constant"));
99}
100
101void llzkGlobal_GlobalReadOpSetConstant(MlirOperation op, MlirAttribute attr) {
102 mlirOperationSetAttributeByName(op, mlirStringRefCreateFromCString("constant"), attr);
103}
104
105MlirAttribute llzkGlobal_GlobalReadOpGetNameRef(MlirOperation op) {
106 return mlirOperationGetAttributeByName(op, mlirStringRefCreateFromCString("name_ref"));
107}
108
109void llzkGlobal_GlobalReadOpSetNameRef(MlirOperation op, MlirAttribute attr) {
110 mlirOperationSetAttributeByName(op, mlirStringRefCreateFromCString("name_ref"), attr);
111}
112
113MlirValue llzkGlobal_GlobalReadOpGetVal(MlirOperation op) {
114 return mlirOperationGetResult(op, 0);
115}
116
117bool llzkGlobal_GlobalReadOpIsConstant(MlirOperation inp) {
118 return llvm::cast<GlobalReadOp>(unwrap(inp)).isConstant();
119}
120
121MlirOperation llzkGlobal_GlobalWriteOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue val, MlirAttribute name_ref) {
122 MlirOperationState state = mlirOperationStateGet(mlirStringRefCreateFromCString("global.write"), location);
123 mlirOperationStateAddOperands(&state, 1, &val);
124 MlirContext ctx = mlirOpBuilderGetContext(builder);
125 llvm::SmallVector<MlirNamedAttribute, 1> attributes;
126 if (!mlirAttributeIsNull(name_ref)) {
127 attributes.push_back(mlirNamedAttributeGet(mlirIdentifierGet(ctx, mlirStringRefCreateFromCString("name_ref")), name_ref));
128 }
129 mlirOperationStateAddAttributes(&state, attributes.size(), attributes.data());
130
131 return mlirOpBuilderInsert(builder, mlirOperationCreate(&state));
132}
133
135 return llvm::isa<GlobalWriteOp>(unwrap(inp));
136}
137
138MlirValue llzkGlobal_GlobalWriteOpGetVal(MlirOperation op) {
139 auto range = llvm::cast<GlobalWriteOp>(unwrap(op)).getODSOperandIndexAndLength(0);
140 assert(range.second == 1 && "expected fixed operand segment size");
141 assert(
142 static_cast<uintptr_t>(range.first) <= static_cast<uintptr_t>(std::numeric_limits<intptr_t>::max()) &&
143 "operand index exceeds intptr_t range"
144 );
145 return mlirOperationGetOperand(op, static_cast<intptr_t>(range.first));
146}
147
148void llzkGlobal_GlobalWriteOpSetVal(MlirOperation op, MlirValue value) {
149 auto range = llvm::cast<GlobalWriteOp>(unwrap(op)).getODSOperandIndexAndLength(0);
150 assert(range.second == 1 && "expected fixed operand segment size");
151 assert(
152 static_cast<uintptr_t>(range.first) <= static_cast<uintptr_t>(std::numeric_limits<intptr_t>::max()) &&
153 "operand index exceeds intptr_t range"
154 );
155 mlirOperationSetOperand(op, static_cast<intptr_t>(range.first), value);
156}
157
158MlirAttribute llzkGlobal_GlobalWriteOpGetNameRef(MlirOperation op) {
159 return mlirOperationGetAttributeByName(op, mlirStringRefCreateFromCString("name_ref"));
160}
161
162void llzkGlobal_GlobalWriteOpSetNameRef(MlirOperation op, MlirAttribute attr) {
163 mlirOperationSetAttributeByName(op, mlirStringRefCreateFromCString("name_ref"), attr);
164}
MlirContext mlirOpBuilderGetContext(MlirOpBuilder builder)
Returns the MLIR context associated with builder.
Definition Builder.cpp:95
MlirOperation mlirOpBuilderInsert(MlirOpBuilder builder, MlirOperation op)
Inserts op at the current insertion point of builder and returns it.
Definition Builder.cpp:167
bool llzkGlobal_GlobalReadOpIsConstant(MlirOperation inp)
Returns true when this read is marked as const.
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)
Returns true when this def is marked as const.
MlirAttribute llzkGlobal_GlobalReadOpGetConstant(MlirOperation op)
Get Constant attribute from llzk::global::GlobalReadOp Operation.
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 constant, 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.
void llzkGlobal_GlobalReadOpSetConstant(MlirOperation op, MlirAttribute attr)
Set Constant attribute of llzk::global::GlobalReadOp Operation.