LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Ops.capi.test.cpp.inc
Go to the documentation of this file.
1/*===- TableGen'erated file -------------------------------------*- C++ -*-===*\
2|* *|
3|* Op C API Tests *|
4|* *|
5|* Automatically generated file, do not edit! *|
6|* From: Ops.td *|
7|* *|
8\*===----------------------------------------------------------------------===*/
9
10class GlobalOperationLinkTests : public CAPITest {};
11
13TEST_F(GlobalOperationLinkTests, IsA_Global_GlobalDefOp) {
14 auto testOperation = createIndexOperation();
15
16 // This will always return false since `createIndex*` returns an MLIR builtin
17 EXPECT_FALSE(llzkOperationIsA_Global_GlobalDefOp(testOperation));
18
19 mlirOperationDestroy(testOperation);
20}
21
23TEST_F(GlobalOperationLinkTests, llzk_GlobalDefOp_Build) {
24 // Returns an `arith.constant` op, which will never match the GlobalDefOp dialect check.
25 auto testOp = createIndexOperation();
26
27 // This condition is always false, so the function is never actually called.
28 // We only verify it compiles and links correctly.
30 MlirOpBuilder builder = mlirOpBuilderCreate(context);
31 MlirLocation location = mlirLocationUnknownGet(context);
32 auto dummyValue = mlirOperationGetResult(testOp, 0);
33 auto sym_nameAttr = mlirOperationGetName(testOp);
34 auto constantAttr = createIndexAttribute();
35 auto typeAttr = createIndexAttribute();
36 auto initial_valueAttr = createIndexAttribute();
37
38 (void)llzkGlobal_GlobalDefOpBuild(builder, location, sym_nameAttr, constantAttr, typeAttr, initial_valueAttr);
39 // No need to destroy builder or op since this code never runs.
40 }
41
42 mlirOperationDestroy(testOp);
43}
44
45struct GlobalDefOpBuildFuncHelper : public TestAnyBuildFuncHelper<CAPITest> {
46 virtual bool callIsA(MlirOperation op) override { return llzkOperationIsA_Global_GlobalDefOp(op); }
50 static std::unique_ptr<GlobalDefOpBuildFuncHelper> get();
51
52protected:
54};
55
58TEST_F(CAPITest, GlobalDefOp_build_pass) { GlobalDefOpBuildFuncHelper::get()->run(*this); }
59
60TEST_F(GlobalOperationLinkTests, llzk_GlobalDefOp_GetSymNameAttr) {
61 auto testOp = createIndexOperation();
62
65 }
66
67 mlirOperationDestroy(testOp);
68}
69
70TEST_F(GlobalOperationLinkTests, llzk_GlobalDefOp_SetSymNameAttr) {
71 auto testOp = createIndexOperation();
72
74 llzkGlobal_GlobalDefOpSetSymName(testOp, createIndexAttribute());
75 }
76
77 mlirOperationDestroy(testOp);
78}
79
80TEST_F(GlobalOperationLinkTests, llzk_GlobalDefOp_GetConstantAttr) {
81 auto testOp = createIndexOperation();
82
85 }
86
87 mlirOperationDestroy(testOp);
88}
89
90TEST_F(GlobalOperationLinkTests, llzk_GlobalDefOp_SetConstantAttr) {
91 auto testOp = createIndexOperation();
92
94 llzkGlobal_GlobalDefOpSetConstant(testOp, createIndexAttribute());
95 }
96
97 mlirOperationDestroy(testOp);
98}
99
100TEST_F(GlobalOperationLinkTests, llzk_GlobalDefOp_GetTypeAttr) {
101 auto testOp = createIndexOperation();
102
104 (void)llzkGlobal_GlobalDefOpGetType(testOp);
105 }
106
107 mlirOperationDestroy(testOp);
108}
109
110TEST_F(GlobalOperationLinkTests, llzk_GlobalDefOp_SetTypeAttr) {
111 auto testOp = createIndexOperation();
112
114 llzkGlobal_GlobalDefOpSetType(testOp, createIndexAttribute());
115 }
116
117 mlirOperationDestroy(testOp);
118}
119
120TEST_F(GlobalOperationLinkTests, llzk_GlobalDefOp_GetInitialValueAttr) {
121 auto testOp = createIndexOperation();
122
125 }
126
127 mlirOperationDestroy(testOp);
128}
129
130TEST_F(GlobalOperationLinkTests, llzk_GlobalDefOp_SetInitialValueAttr) {
131 auto testOp = createIndexOperation();
132
134 llzkGlobal_GlobalDefOpSetInitialValue(testOp, createIndexAttribute());
135 }
136
137 mlirOperationDestroy(testOp);
138}
139
141TEST_F(GlobalOperationLinkTests, llzk_GlobalDefOp_IsConstant) {
142 auto testOperation = createIndexOperation();
143
144 if (llzkOperationIsA_Global_GlobalDefOp(testOperation)) {
145
146 (void)llzkGlobal_GlobalDefOpIsConstant(testOperation);
147 }
148
149 mlirOperationDestroy(testOperation);
150}
151
153TEST_F(GlobalOperationLinkTests, IsA_Global_GlobalReadOp) {
154 auto testOperation = createIndexOperation();
155
156 // This will always return false since `createIndex*` returns an MLIR builtin
157 EXPECT_FALSE(llzkOperationIsA_Global_GlobalReadOp(testOperation));
158
159 mlirOperationDestroy(testOperation);
160}
161
163TEST_F(GlobalOperationLinkTests, llzk_GlobalReadOp_Build) {
164 // Returns an `arith.constant` op, which will never match the GlobalReadOp dialect check.
165 auto testOp = createIndexOperation();
166
167 // This condition is always false, so the function is never actually called.
168 // We only verify it compiles and links correctly.
170 MlirOpBuilder builder = mlirOpBuilderCreate(context);
171 MlirLocation location = mlirLocationUnknownGet(context);
172 auto dummyValue = mlirOperationGetResult(testOp, 0);
173 auto valType = createIndexType();
174 auto name_refAttr = createIndexAttribute();
175
176 (void)llzkGlobal_GlobalReadOpBuild(builder, location, valType, name_refAttr);
177 // No need to destroy builder or op since this code never runs.
178 }
179
180 mlirOperationDestroy(testOp);
181}
182
183struct GlobalReadOpBuildFuncHelper : public TestAnyBuildFuncHelper<CAPITest> {
184 virtual bool callIsA(MlirOperation op) override { return llzkOperationIsA_Global_GlobalReadOp(op); }
188 static std::unique_ptr<GlobalReadOpBuildFuncHelper> get();
189
190protected:
192};
193
196TEST_F(CAPITest, GlobalReadOp_build_pass) { GlobalReadOpBuildFuncHelper::get()->run(*this); }
197
198TEST_F(GlobalOperationLinkTests, llzk_GlobalReadOp_GetNameRefAttr) {
199 auto testOp = createIndexOperation();
200
203 }
204
205 mlirOperationDestroy(testOp);
206}
207
208TEST_F(GlobalOperationLinkTests, llzk_GlobalReadOp_SetNameRefAttr) {
209 auto testOp = createIndexOperation();
210
212 llzkGlobal_GlobalReadOpSetNameRef(testOp, createIndexAttribute());
213 }
214
215 mlirOperationDestroy(testOp);
216}
217
218TEST_F(GlobalOperationLinkTests, llzk_GlobalReadOp_GetVal) {
219 auto testOp = createIndexOperation();
220
222 (void)llzkGlobal_GlobalReadOpGetVal(testOp);
223 }
224
225 mlirOperationDestroy(testOp);
226}
227
229TEST_F(GlobalOperationLinkTests, IsA_Global_GlobalWriteOp) {
230 auto testOperation = createIndexOperation();
231
232 // This will always return false since `createIndex*` returns an MLIR builtin
233 EXPECT_FALSE(llzkOperationIsA_Global_GlobalWriteOp(testOperation));
234
235 mlirOperationDestroy(testOperation);
236}
237
239TEST_F(GlobalOperationLinkTests, llzk_GlobalWriteOp_Build) {
240 // Returns an `arith.constant` op, which will never match the GlobalWriteOp dialect check.
241 auto testOp = createIndexOperation();
242
243 // This condition is always false, so the function is never actually called.
244 // We only verify it compiles and links correctly.
246 MlirOpBuilder builder = mlirOpBuilderCreate(context);
247 MlirLocation location = mlirLocationUnknownGet(context);
248 auto dummyValue = mlirOperationGetResult(testOp, 0);
249 auto name_refAttr = createIndexAttribute();
250
251 (void)llzkGlobal_GlobalWriteOpBuild(builder, location, dummyValue, name_refAttr);
252 // No need to destroy builder or op since this code never runs.
253 }
254
255 mlirOperationDestroy(testOp);
256}
257
258struct GlobalWriteOpBuildFuncHelper : public TestAnyBuildFuncHelper<CAPITest> {
259 virtual bool callIsA(MlirOperation op) override { return llzkOperationIsA_Global_GlobalWriteOp(op); }
263 static std::unique_ptr<GlobalWriteOpBuildFuncHelper> get();
264
265protected:
267};
268
271TEST_F(CAPITest, GlobalWriteOp_build_pass) { GlobalWriteOpBuildFuncHelper::get()->run(*this); }
272
273TEST_F(GlobalOperationLinkTests, llzk_GlobalWriteOp_GetVal) {
274 auto testOp = createIndexOperation();
275
277 (void)llzkGlobal_GlobalWriteOpGetVal(testOp);
278 }
279
280 mlirOperationDestroy(testOp);
281}
282
283TEST_F(GlobalOperationLinkTests, llzk_GlobalWriteOp_SetVal) {
284 auto testOp = createIndexOperation();
285
287 auto dummyValue = mlirOperationGetResult(testOp, 0);
288 llzkGlobal_GlobalWriteOpSetVal(testOp, dummyValue);
289 }
290
291 mlirOperationDestroy(testOp);
292}
293
294TEST_F(GlobalOperationLinkTests, llzk_GlobalWriteOp_GetNameRefAttr) {
295 auto testOp = createIndexOperation();
296
299 }
300
301 mlirOperationDestroy(testOp);
302}
303
304TEST_F(GlobalOperationLinkTests, llzk_GlobalWriteOp_SetNameRefAttr) {
305 auto testOp = createIndexOperation();
306
308 llzkGlobal_GlobalWriteOpSetNameRef(testOp, createIndexAttribute());
309 }
310
311 mlirOperationDestroy(testOp);
312}
TEST_F(ArrayOperationLinkTests, IsA_Array_ArrayLengthOp)
This test ensures llzkOperationIsA_Array_ArrayLengthOp links properly.
MlirOpBuilder mlirOpBuilderCreate(MlirContext ctx)
Creates a new OpBuilder for the given MLIR context.
Definition Builder.cpp:62
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.
virtual bool callIsA(MlirOperation op) override
static std::unique_ptr< GlobalDefOpBuildFuncHelper > get()
This method must be implemented to return a subclass of GlobalDefOpBuildFuncHelper that at least impl...
GlobalDefOpBuildFuncHelper()=default
static std::unique_ptr< GlobalReadOpBuildFuncHelper > get()
This method must be implemented to return a subclass of GlobalReadOpBuildFuncHelper that at least imp...
virtual bool callIsA(MlirOperation op) override
static std::unique_ptr< GlobalWriteOpBuildFuncHelper > get()
This method must be implemented to return a subclass of GlobalWriteOpBuildFuncHelper that at least im...
virtual bool callIsA(MlirOperation op) override