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 BoolOperationLinkTests : public CAPITest {};
11
13TEST_F(BoolOperationLinkTests, IsA_Bool_AndBoolOp) {
14 auto testOperation = createIndexOperation();
15
16 // This will always return false since `createIndex*` returns an MLIR builtin
17 EXPECT_FALSE(llzkOperationIsA_Bool_AndBoolOp(testOperation));
18
19 mlirOperationDestroy(testOperation);
20}
21
23TEST_F(BoolOperationLinkTests, llzk_AndBoolOp_Build) {
24 // Returns an `arith.constant` op, which will never match the AndBoolOp 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
34 (void)llzkBool_AndBoolOpBuild(builder, location, dummyValue, dummyValue);
35 // No need to destroy builder or op since this code never runs.
36 }
37
38 mlirOperationDestroy(testOp);
39}
40
41struct AndBoolOpBuildFuncHelper : public TestAnyBuildFuncHelper<CAPITest> {
42 virtual bool callIsA(MlirOperation op) override { return llzkOperationIsA_Bool_AndBoolOp(op); }
46 static std::unique_ptr<AndBoolOpBuildFuncHelper> get();
47
48protected:
50};
51
54TEST_F(CAPITest, AndBoolOp_build_pass) { AndBoolOpBuildFuncHelper::get()->run(*this); }
55
56TEST_F(BoolOperationLinkTests, llzk_AndBoolOp_GetLhs) {
57 auto testOp = createIndexOperation();
58
60 (void)llzkBool_AndBoolOpGetLhs(testOp);
61 }
62
63 mlirOperationDestroy(testOp);
64}
65
66TEST_F(BoolOperationLinkTests, llzk_AndBoolOp_SetLhs) {
67 auto testOp = createIndexOperation();
68
70 auto dummyValue = mlirOperationGetResult(testOp, 0);
71 llzkBool_AndBoolOpSetLhs(testOp, dummyValue);
72 }
73
74 mlirOperationDestroy(testOp);
75}
76
77TEST_F(BoolOperationLinkTests, llzk_AndBoolOp_GetRhs) {
78 auto testOp = createIndexOperation();
79
81 (void)llzkBool_AndBoolOpGetRhs(testOp);
82 }
83
84 mlirOperationDestroy(testOp);
85}
86
87TEST_F(BoolOperationLinkTests, llzk_AndBoolOp_SetRhs) {
88 auto testOp = createIndexOperation();
89
91 auto dummyValue = mlirOperationGetResult(testOp, 0);
92 llzkBool_AndBoolOpSetRhs(testOp, dummyValue);
93 }
94
95 mlirOperationDestroy(testOp);
96}
97
98TEST_F(BoolOperationLinkTests, llzk_AndBoolOp_GetResult) {
99 auto testOp = createIndexOperation();
100
102 (void)llzkBool_AndBoolOpGetResult(testOp);
103 }
104
105 mlirOperationDestroy(testOp);
106}
107
109TEST_F(BoolOperationLinkTests, IsA_Bool_AssertOp) {
110 auto testOperation = createIndexOperation();
111
112 // This will always return false since `createIndex*` returns an MLIR builtin
113 EXPECT_FALSE(llzkOperationIsA_Bool_AssertOp(testOperation));
114
115 mlirOperationDestroy(testOperation);
116}
117
119TEST_F(BoolOperationLinkTests, llzk_AssertOp_Build) {
120 // Returns an `arith.constant` op, which will never match the AssertOp dialect check.
121 auto testOp = createIndexOperation();
122
123 // This condition is always false, so the function is never actually called.
124 // We only verify it compiles and links correctly.
125 if (llzkOperationIsA_Bool_AssertOp(testOp)) {
126 MlirOpBuilder builder = mlirOpBuilderCreate(context);
127 MlirLocation location = mlirLocationUnknownGet(context);
128 auto dummyValue = mlirOperationGetResult(testOp, 0);
129 auto msgAttr = mlirOperationGetName(testOp);
130
131 (void)llzkBool_AssertOpBuild(builder, location, dummyValue, msgAttr);
132 // No need to destroy builder or op since this code never runs.
133 }
134
135 mlirOperationDestroy(testOp);
136}
137
138struct AssertOpBuildFuncHelper : public TestAnyBuildFuncHelper<CAPITest> {
139 virtual bool callIsA(MlirOperation op) override { return llzkOperationIsA_Bool_AssertOp(op); }
143 static std::unique_ptr<AssertOpBuildFuncHelper> get();
144
145protected:
147};
148
151TEST_F(CAPITest, AssertOp_build_pass) { AssertOpBuildFuncHelper::get()->run(*this); }
152
153TEST_F(BoolOperationLinkTests, llzk_AssertOp_GetCondition) {
154 auto testOp = createIndexOperation();
155
156 if (llzkOperationIsA_Bool_AssertOp(testOp)) {
157 (void)llzkBool_AssertOpGetCondition(testOp);
158 }
159
160 mlirOperationDestroy(testOp);
161}
162
163TEST_F(BoolOperationLinkTests, llzk_AssertOp_SetCondition) {
164 auto testOp = createIndexOperation();
165
166 if (llzkOperationIsA_Bool_AssertOp(testOp)) {
167 auto dummyValue = mlirOperationGetResult(testOp, 0);
168 llzkBool_AssertOpSetCondition(testOp, dummyValue);
169 }
170
171 mlirOperationDestroy(testOp);
172}
173
174TEST_F(BoolOperationLinkTests, llzk_AssertOp_GetMsgAttr) {
175 auto testOp = createIndexOperation();
176
177 if (llzkOperationIsA_Bool_AssertOp(testOp)) {
178 (void)llzkBool_AssertOpGetMsg(testOp);
179 }
180
181 mlirOperationDestroy(testOp);
182}
183
184TEST_F(BoolOperationLinkTests, llzk_AssertOp_SetMsgAttr) {
185 auto testOp = createIndexOperation();
186
187 if (llzkOperationIsA_Bool_AssertOp(testOp)) {
188 llzkBool_AssertOpSetMsg(testOp, createIndexAttribute());
189 }
190
191 mlirOperationDestroy(testOp);
192}
193
196 auto testOperation = createIndexOperation();
197
198 // This will always return false since `createIndex*` returns an MLIR builtin
199 EXPECT_FALSE(llzkOperationIsA_Bool_CmpOp(testOperation));
200
201 mlirOperationDestroy(testOperation);
202}
203
205TEST_F(BoolOperationLinkTests, llzk_CmpOp_Build) {
206 // Returns an `arith.constant` op, which will never match the CmpOp dialect check.
207 auto testOp = createIndexOperation();
208
209 // This condition is always false, so the function is never actually called.
210 // We only verify it compiles and links correctly.
211 if (llzkOperationIsA_Bool_CmpOp(testOp)) {
212 MlirOpBuilder builder = mlirOpBuilderCreate(context);
213 MlirLocation location = mlirLocationUnknownGet(context);
214 auto dummyValue = mlirOperationGetResult(testOp, 0);
215 auto predicateAttr = createIndexAttribute();
216
217 (void)llzkBool_CmpOpBuild(builder, location, dummyValue, dummyValue, predicateAttr);
218 // No need to destroy builder or op since this code never runs.
219 }
220
221 mlirOperationDestroy(testOp);
222}
223
224struct CmpOpBuildFuncHelper : public TestAnyBuildFuncHelper<CAPITest> {
225 virtual bool callIsA(MlirOperation op) override { return llzkOperationIsA_Bool_CmpOp(op); }
229 static std::unique_ptr<CmpOpBuildFuncHelper> get();
230
231protected:
233};
234
237TEST_F(CAPITest, CmpOp_build_pass) { CmpOpBuildFuncHelper::get()->run(*this); }
238
239TEST_F(BoolOperationLinkTests, llzk_CmpOp_GetLhs) {
240 auto testOp = createIndexOperation();
241
242 if (llzkOperationIsA_Bool_CmpOp(testOp)) {
243 (void)llzkBool_CmpOpGetLhs(testOp);
244 }
245
246 mlirOperationDestroy(testOp);
247}
248
249TEST_F(BoolOperationLinkTests, llzk_CmpOp_SetLhs) {
250 auto testOp = createIndexOperation();
251
252 if (llzkOperationIsA_Bool_CmpOp(testOp)) {
253 auto dummyValue = mlirOperationGetResult(testOp, 0);
254 llzkBool_CmpOpSetLhs(testOp, dummyValue);
255 }
256
257 mlirOperationDestroy(testOp);
258}
259
260TEST_F(BoolOperationLinkTests, llzk_CmpOp_GetRhs) {
261 auto testOp = createIndexOperation();
262
263 if (llzkOperationIsA_Bool_CmpOp(testOp)) {
264 (void)llzkBool_CmpOpGetRhs(testOp);
265 }
266
267 mlirOperationDestroy(testOp);
268}
269
270TEST_F(BoolOperationLinkTests, llzk_CmpOp_SetRhs) {
271 auto testOp = createIndexOperation();
272
273 if (llzkOperationIsA_Bool_CmpOp(testOp)) {
274 auto dummyValue = mlirOperationGetResult(testOp, 0);
275 llzkBool_CmpOpSetRhs(testOp, dummyValue);
276 }
277
278 mlirOperationDestroy(testOp);
279}
280
281TEST_F(BoolOperationLinkTests, llzk_CmpOp_GetPredicateAttr) {
282 auto testOp = createIndexOperation();
283
284 if (llzkOperationIsA_Bool_CmpOp(testOp)) {
285 (void)llzkBool_CmpOpGetPredicate(testOp);
286 }
287
288 mlirOperationDestroy(testOp);
289}
290
291TEST_F(BoolOperationLinkTests, llzk_CmpOp_SetPredicateAttr) {
292 auto testOp = createIndexOperation();
293
294 if (llzkOperationIsA_Bool_CmpOp(testOp)) {
295 llzkBool_CmpOpSetPredicate(testOp, createIndexAttribute());
296 }
297
298 mlirOperationDestroy(testOp);
299}
300
301TEST_F(BoolOperationLinkTests, llzk_CmpOp_GetResult) {
302 auto testOp = createIndexOperation();
303
304 if (llzkOperationIsA_Bool_CmpOp(testOp)) {
305 (void)llzkBool_CmpOpGetResult(testOp);
306 }
307
308 mlirOperationDestroy(testOp);
309}
310
312TEST_F(BoolOperationLinkTests, IsA_Bool_NotBoolOp) {
313 auto testOperation = createIndexOperation();
314
315 // This will always return false since `createIndex*` returns an MLIR builtin
316 EXPECT_FALSE(llzkOperationIsA_Bool_NotBoolOp(testOperation));
317
318 mlirOperationDestroy(testOperation);
319}
320
322TEST_F(BoolOperationLinkTests, llzk_NotBoolOp_Build) {
323 // Returns an `arith.constant` op, which will never match the NotBoolOp dialect check.
324 auto testOp = createIndexOperation();
325
326 // This condition is always false, so the function is never actually called.
327 // We only verify it compiles and links correctly.
329 MlirOpBuilder builder = mlirOpBuilderCreate(context);
330 MlirLocation location = mlirLocationUnknownGet(context);
331 auto dummyValue = mlirOperationGetResult(testOp, 0);
332
333 (void)llzkBool_NotBoolOpBuild(builder, location, dummyValue);
334 // No need to destroy builder or op since this code never runs.
335 }
336
337 mlirOperationDestroy(testOp);
338}
339
340struct NotBoolOpBuildFuncHelper : public TestAnyBuildFuncHelper<CAPITest> {
341 virtual bool callIsA(MlirOperation op) override { return llzkOperationIsA_Bool_NotBoolOp(op); }
345 static std::unique_ptr<NotBoolOpBuildFuncHelper> get();
346
347protected:
349};
350
353TEST_F(CAPITest, NotBoolOp_build_pass) { NotBoolOpBuildFuncHelper::get()->run(*this); }
354
355TEST_F(BoolOperationLinkTests, llzk_NotBoolOp_GetOperand) {
356 auto testOp = createIndexOperation();
357
359 (void)llzkBool_NotBoolOpGetOperand(testOp);
360 }
361
362 mlirOperationDestroy(testOp);
363}
364
365TEST_F(BoolOperationLinkTests, llzk_NotBoolOp_SetOperand) {
366 auto testOp = createIndexOperation();
367
369 auto dummyValue = mlirOperationGetResult(testOp, 0);
370 llzkBool_NotBoolOpSetOperand(testOp, dummyValue);
371 }
372
373 mlirOperationDestroy(testOp);
374}
375
376TEST_F(BoolOperationLinkTests, llzk_NotBoolOp_GetResult) {
377 auto testOp = createIndexOperation();
378
380 (void)llzkBool_NotBoolOpGetResult(testOp);
381 }
382
383 mlirOperationDestroy(testOp);
384}
385
387TEST_F(BoolOperationLinkTests, IsA_Bool_OrBoolOp) {
388 auto testOperation = createIndexOperation();
389
390 // This will always return false since `createIndex*` returns an MLIR builtin
391 EXPECT_FALSE(llzkOperationIsA_Bool_OrBoolOp(testOperation));
392
393 mlirOperationDestroy(testOperation);
394}
395
397TEST_F(BoolOperationLinkTests, llzk_OrBoolOp_Build) {
398 // Returns an `arith.constant` op, which will never match the OrBoolOp dialect check.
399 auto testOp = createIndexOperation();
400
401 // This condition is always false, so the function is never actually called.
402 // We only verify it compiles and links correctly.
403 if (llzkOperationIsA_Bool_OrBoolOp(testOp)) {
404 MlirOpBuilder builder = mlirOpBuilderCreate(context);
405 MlirLocation location = mlirLocationUnknownGet(context);
406 auto dummyValue = mlirOperationGetResult(testOp, 0);
407
408 (void)llzkBool_OrBoolOpBuild(builder, location, dummyValue, dummyValue);
409 // No need to destroy builder or op since this code never runs.
410 }
411
412 mlirOperationDestroy(testOp);
413}
414
415struct OrBoolOpBuildFuncHelper : public TestAnyBuildFuncHelper<CAPITest> {
416 virtual bool callIsA(MlirOperation op) override { return llzkOperationIsA_Bool_OrBoolOp(op); }
420 static std::unique_ptr<OrBoolOpBuildFuncHelper> get();
421
422protected:
424};
425
428TEST_F(CAPITest, OrBoolOp_build_pass) { OrBoolOpBuildFuncHelper::get()->run(*this); }
429
430TEST_F(BoolOperationLinkTests, llzk_OrBoolOp_GetLhs) {
431 auto testOp = createIndexOperation();
432
433 if (llzkOperationIsA_Bool_OrBoolOp(testOp)) {
434 (void)llzkBool_OrBoolOpGetLhs(testOp);
435 }
436
437 mlirOperationDestroy(testOp);
438}
439
440TEST_F(BoolOperationLinkTests, llzk_OrBoolOp_SetLhs) {
441 auto testOp = createIndexOperation();
442
443 if (llzkOperationIsA_Bool_OrBoolOp(testOp)) {
444 auto dummyValue = mlirOperationGetResult(testOp, 0);
445 llzkBool_OrBoolOpSetLhs(testOp, dummyValue);
446 }
447
448 mlirOperationDestroy(testOp);
449}
450
451TEST_F(BoolOperationLinkTests, llzk_OrBoolOp_GetRhs) {
452 auto testOp = createIndexOperation();
453
454 if (llzkOperationIsA_Bool_OrBoolOp(testOp)) {
455 (void)llzkBool_OrBoolOpGetRhs(testOp);
456 }
457
458 mlirOperationDestroy(testOp);
459}
460
461TEST_F(BoolOperationLinkTests, llzk_OrBoolOp_SetRhs) {
462 auto testOp = createIndexOperation();
463
464 if (llzkOperationIsA_Bool_OrBoolOp(testOp)) {
465 auto dummyValue = mlirOperationGetResult(testOp, 0);
466 llzkBool_OrBoolOpSetRhs(testOp, dummyValue);
467 }
468
469 mlirOperationDestroy(testOp);
470}
471
472TEST_F(BoolOperationLinkTests, llzk_OrBoolOp_GetResult) {
473 auto testOp = createIndexOperation();
474
475 if (llzkOperationIsA_Bool_OrBoolOp(testOp)) {
476 (void)llzkBool_OrBoolOpGetResult(testOp);
477 }
478
479 mlirOperationDestroy(testOp);
480}
481
483TEST_F(BoolOperationLinkTests, IsA_Bool_XorBoolOp) {
484 auto testOperation = createIndexOperation();
485
486 // This will always return false since `createIndex*` returns an MLIR builtin
487 EXPECT_FALSE(llzkOperationIsA_Bool_XorBoolOp(testOperation));
488
489 mlirOperationDestroy(testOperation);
490}
491
493TEST_F(BoolOperationLinkTests, llzk_XorBoolOp_Build) {
494 // Returns an `arith.constant` op, which will never match the XorBoolOp dialect check.
495 auto testOp = createIndexOperation();
496
497 // This condition is always false, so the function is never actually called.
498 // We only verify it compiles and links correctly.
500 MlirOpBuilder builder = mlirOpBuilderCreate(context);
501 MlirLocation location = mlirLocationUnknownGet(context);
502 auto dummyValue = mlirOperationGetResult(testOp, 0);
503
504 (void)llzkBool_XorBoolOpBuild(builder, location, dummyValue, dummyValue);
505 // No need to destroy builder or op since this code never runs.
506 }
507
508 mlirOperationDestroy(testOp);
509}
510
511struct XorBoolOpBuildFuncHelper : public TestAnyBuildFuncHelper<CAPITest> {
512 virtual bool callIsA(MlirOperation op) override { return llzkOperationIsA_Bool_XorBoolOp(op); }
516 static std::unique_ptr<XorBoolOpBuildFuncHelper> get();
517
518protected:
520};
521
524TEST_F(CAPITest, XorBoolOp_build_pass) { XorBoolOpBuildFuncHelper::get()->run(*this); }
525
526TEST_F(BoolOperationLinkTests, llzk_XorBoolOp_GetLhs) {
527 auto testOp = createIndexOperation();
528
530 (void)llzkBool_XorBoolOpGetLhs(testOp);
531 }
532
533 mlirOperationDestroy(testOp);
534}
535
536TEST_F(BoolOperationLinkTests, llzk_XorBoolOp_SetLhs) {
537 auto testOp = createIndexOperation();
538
540 auto dummyValue = mlirOperationGetResult(testOp, 0);
541 llzkBool_XorBoolOpSetLhs(testOp, dummyValue);
542 }
543
544 mlirOperationDestroy(testOp);
545}
546
547TEST_F(BoolOperationLinkTests, llzk_XorBoolOp_GetRhs) {
548 auto testOp = createIndexOperation();
549
551 (void)llzkBool_XorBoolOpGetRhs(testOp);
552 }
553
554 mlirOperationDestroy(testOp);
555}
556
557TEST_F(BoolOperationLinkTests, llzk_XorBoolOp_SetRhs) {
558 auto testOp = createIndexOperation();
559
561 auto dummyValue = mlirOperationGetResult(testOp, 0);
562 llzkBool_XorBoolOpSetRhs(testOp, dummyValue);
563 }
564
565 mlirOperationDestroy(testOp);
566}
567
568TEST_F(BoolOperationLinkTests, llzk_XorBoolOp_GetResult) {
569 auto testOp = createIndexOperation();
570
572 (void)llzkBool_XorBoolOpGetResult(testOp);
573 }
574
575 mlirOperationDestroy(testOp);
576}
TEST_F(ArrayOperationLinkTests, IsA_Array_ArrayLengthOp)
This test ensures llzkOperationIsA_Array_ArrayLengthOp links properly.
MlirOperation llzkBool_AssertOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue condition, MlirIdentifier msg)
Build a llzk::boolean::AssertOp Operation.
MlirOperation llzkBool_XorBoolOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue lhs, MlirValue rhs)
Build a llzk::boolean::XorBoolOp Operation.
void llzkBool_XorBoolOpSetLhs(MlirOperation op, MlirValue value)
Set Lhs operand of llzk::boolean::XorBoolOp Operation.
MlirValue llzkBool_NotBoolOpGetOperand(MlirOperation op)
Get Operand operand from llzk::boolean::NotBoolOp Operation.
bool llzkOperationIsA_Bool_CmpOp(MlirOperation inp)
Returns true if the Operation is a llzk::boolean::CmpOp.
MlirValue llzkBool_OrBoolOpGetLhs(MlirOperation op)
Get Lhs operand from llzk::boolean::OrBoolOp Operation.
MlirValue llzkBool_AssertOpGetCondition(MlirOperation op)
Get Condition operand from llzk::boolean::AssertOp Operation.
bool llzkOperationIsA_Bool_AssertOp(MlirOperation inp)
Returns true if the Operation is a llzk::boolean::AssertOp.
MlirValue llzkBool_XorBoolOpGetResult(MlirOperation op)
Get Result result from llzk::boolean::XorBoolOp Operation.
MlirValue llzkBool_CmpOpGetResult(MlirOperation op)
Get Result result from llzk::boolean::CmpOp Operation.
MlirOperation llzkBool_OrBoolOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue lhs, MlirValue rhs)
Build a llzk::boolean::OrBoolOp Operation.
void llzkBool_XorBoolOpSetRhs(MlirOperation op, MlirValue value)
Set Rhs operand of llzk::boolean::XorBoolOp Operation.
MlirValue llzkBool_AndBoolOpGetRhs(MlirOperation op)
Get Rhs operand from llzk::boolean::AndBoolOp Operation.
bool llzkOperationIsA_Bool_XorBoolOp(MlirOperation inp)
Returns true if the Operation is a llzk::boolean::XorBoolOp.
MlirOperation llzkBool_CmpOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue lhs, MlirValue rhs, MlirAttribute predicate)
Build a llzk::boolean::CmpOp Operation.
void llzkBool_CmpOpSetPredicate(MlirOperation op, MlirAttribute attr)
Set Predicate attribute of llzk::boolean::CmpOp Operation.
bool llzkOperationIsA_Bool_NotBoolOp(MlirOperation inp)
Returns true if the Operation is a llzk::boolean::NotBoolOp.
void llzkBool_NotBoolOpSetOperand(MlirOperation op, MlirValue value)
Set Operand operand of llzk::boolean::NotBoolOp Operation.
MlirAttribute llzkBool_AssertOpGetMsg(MlirOperation op)
Get Msg attribute from llzk::boolean::AssertOp Operation.
MlirValue llzkBool_OrBoolOpGetResult(MlirOperation op)
Get Result result from llzk::boolean::OrBoolOp Operation.
MlirValue llzkBool_OrBoolOpGetRhs(MlirOperation op)
Get Rhs operand from llzk::boolean::OrBoolOp Operation.
void llzkBool_AndBoolOpSetLhs(MlirOperation op, MlirValue value)
Set Lhs operand of llzk::boolean::AndBoolOp Operation.
void llzkBool_AndBoolOpSetRhs(MlirOperation op, MlirValue value)
Set Rhs operand of llzk::boolean::AndBoolOp Operation.
MlirOperation llzkBool_NotBoolOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue operand)
Build a llzk::boolean::NotBoolOp Operation.
MlirValue llzkBool_AndBoolOpGetLhs(MlirOperation op)
Get Lhs operand from llzk::boolean::AndBoolOp Operation.
void llzkBool_OrBoolOpSetLhs(MlirOperation op, MlirValue value)
Set Lhs operand of llzk::boolean::OrBoolOp Operation.
void llzkBool_AssertOpSetCondition(MlirOperation op, MlirValue value)
Set Condition operand of llzk::boolean::AssertOp Operation.
MlirValue llzkBool_CmpOpGetLhs(MlirOperation op)
Get Lhs operand from llzk::boolean::CmpOp Operation.
MlirValue llzkBool_XorBoolOpGetRhs(MlirOperation op)
Get Rhs operand from llzk::boolean::XorBoolOp Operation.
MlirValue llzkBool_AndBoolOpGetResult(MlirOperation op)
Get Result result from llzk::boolean::AndBoolOp Operation.
void llzkBool_OrBoolOpSetRhs(MlirOperation op, MlirValue value)
Set Rhs operand of llzk::boolean::OrBoolOp Operation.
MlirAttribute llzkBool_CmpOpGetPredicate(MlirOperation op)
Get Predicate attribute from llzk::boolean::CmpOp Operation.
MlirValue llzkBool_NotBoolOpGetResult(MlirOperation op)
Get Result result from llzk::boolean::NotBoolOp Operation.
void llzkBool_AssertOpSetMsg(MlirOperation op, MlirAttribute attr)
Set Msg attribute of llzk::boolean::AssertOp Operation.
bool llzkOperationIsA_Bool_OrBoolOp(MlirOperation inp)
Returns true if the Operation is a llzk::boolean::OrBoolOp.
MlirValue llzkBool_CmpOpGetRhs(MlirOperation op)
Get Rhs operand from llzk::boolean::CmpOp Operation.
MlirValue llzkBool_XorBoolOpGetLhs(MlirOperation op)
Get Lhs operand from llzk::boolean::XorBoolOp Operation.
bool llzkOperationIsA_Bool_AndBoolOp(MlirOperation inp)
Returns true if the Operation is a llzk::boolean::AndBoolOp.
MlirOperation llzkBool_AndBoolOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue lhs, MlirValue rhs)
Build a llzk::boolean::AndBoolOp Operation.
void llzkBool_CmpOpSetRhs(MlirOperation op, MlirValue value)
Set Rhs operand of llzk::boolean::CmpOp Operation.
void llzkBool_CmpOpSetLhs(MlirOperation op, MlirValue value)
Set Lhs operand of llzk::boolean::CmpOp Operation.
MlirOpBuilder mlirOpBuilderCreate(MlirContext ctx)
Creates a new OpBuilder for the given MLIR context.
Definition Builder.cpp:62
virtual bool callIsA(MlirOperation op) override
static std::unique_ptr< AndBoolOpBuildFuncHelper > get()
This method must be implemented to return a subclass of AndBoolOpBuildFuncHelper that at least implem...
AndBoolOpBuildFuncHelper()=default
virtual bool callIsA(MlirOperation op) override
static std::unique_ptr< AssertOpBuildFuncHelper > get()
This method must be implemented to return a subclass of AssertOpBuildFuncHelper that at least impleme...
AssertOpBuildFuncHelper()=default
static std::unique_ptr< CmpOpBuildFuncHelper > get()
This method must be implemented to return a subclass of CmpOpBuildFuncHelper that at least implements...
CmpOpBuildFuncHelper()=default
virtual bool callIsA(MlirOperation op) override
NotBoolOpBuildFuncHelper()=default
virtual bool callIsA(MlirOperation op) override
static std::unique_ptr< NotBoolOpBuildFuncHelper > get()
This method must be implemented to return a subclass of NotBoolOpBuildFuncHelper that at least implem...
static std::unique_ptr< OrBoolOpBuildFuncHelper > get()
This method must be implemented to return a subclass of OrBoolOpBuildFuncHelper that at least impleme...
OrBoolOpBuildFuncHelper()=default
virtual bool callIsA(MlirOperation op) override
virtual bool callIsA(MlirOperation op) override
XorBoolOpBuildFuncHelper()=default
static std::unique_ptr< XorBoolOpBuildFuncHelper > get()
This method must be implemented to return a subclass of XorBoolOpBuildFuncHelper that at least implem...