14 auto testOperation = createIndexOperation();
19 mlirOperationDestroy(testOperation);
25 auto testOp = createIndexOperation();
31 MlirLocation location = mlirLocationUnknownGet(context);
32 auto dummyValue = mlirOperationGetResult(testOp, 0);
33 auto resultType = createIndexType();
39 mlirOperationDestroy(testOp);
47 static std::unique_ptr<AddFeltOpBuildFuncHelper>
get();
58 auto testOp = createIndexOperation();
64 mlirOperationDestroy(testOp);
68 auto testOp = createIndexOperation();
71 auto dummyValue = mlirOperationGetResult(testOp, 0);
75 mlirOperationDestroy(testOp);
79 auto testOp = createIndexOperation();
85 mlirOperationDestroy(testOp);
89 auto testOp = createIndexOperation();
92 auto dummyValue = mlirOperationGetResult(testOp, 0);
96 mlirOperationDestroy(testOp);
100 auto testOp = createIndexOperation();
106 mlirOperationDestroy(testOp);
111 auto testOperation = createIndexOperation();
116 mlirOperationDestroy(testOperation);
122 auto testOp = createIndexOperation();
128 MlirLocation location = mlirLocationUnknownGet(context);
129 auto dummyValue = mlirOperationGetResult(testOp, 0);
130 auto resultType = createIndexType();
136 mlirOperationDestroy(testOp);
144 static std::unique_ptr<AndFeltOpBuildFuncHelper>
get();
155 auto testOp = createIndexOperation();
161 mlirOperationDestroy(testOp);
165 auto testOp = createIndexOperation();
168 auto dummyValue = mlirOperationGetResult(testOp, 0);
172 mlirOperationDestroy(testOp);
176 auto testOp = createIndexOperation();
182 mlirOperationDestroy(testOp);
186 auto testOp = createIndexOperation();
189 auto dummyValue = mlirOperationGetResult(testOp, 0);
193 mlirOperationDestroy(testOp);
197 auto testOp = createIndexOperation();
203 mlirOperationDestroy(testOp);
208 auto testOperation = createIndexOperation();
213 mlirOperationDestroy(testOperation);
219 auto testOp = createIndexOperation();
225 MlirLocation location = mlirLocationUnknownGet(context);
226 auto dummyValue = mlirOperationGetResult(testOp, 0);
227 auto resultType = createIndexType();
233 mlirOperationDestroy(testOp);
241 static std::unique_ptr<DivFeltOpBuildFuncHelper>
get();
252 auto testOp = createIndexOperation();
258 mlirOperationDestroy(testOp);
262 auto testOp = createIndexOperation();
265 auto dummyValue = mlirOperationGetResult(testOp, 0);
269 mlirOperationDestroy(testOp);
273 auto testOp = createIndexOperation();
279 mlirOperationDestroy(testOp);
283 auto testOp = createIndexOperation();
286 auto dummyValue = mlirOperationGetResult(testOp, 0);
290 mlirOperationDestroy(testOp);
294 auto testOp = createIndexOperation();
300 mlirOperationDestroy(testOp);
305 auto testOperation = createIndexOperation();
310 mlirOperationDestroy(testOperation);
316 auto testOp = createIndexOperation();
322 MlirLocation location = mlirLocationUnknownGet(context);
323 auto dummyValue = mlirOperationGetResult(testOp, 0);
324 auto resultType = createIndexType();
325 auto valueAttr = createIndexAttribute();
331 mlirOperationDestroy(testOp);
339 static std::unique_ptr<FeltConstantOpBuildFuncHelper>
get();
350 auto testOp = createIndexOperation();
356 mlirOperationDestroy(testOp);
360 auto testOp = createIndexOperation();
366 mlirOperationDestroy(testOp);
370 auto testOp = createIndexOperation();
376 mlirOperationDestroy(testOp);
381 auto testOperation = createIndexOperation();
386 mlirOperationDestroy(testOperation);
392 auto testOp = createIndexOperation();
398 MlirLocation location = mlirLocationUnknownGet(context);
399 auto dummyValue = mlirOperationGetResult(testOp, 0);
400 auto resultType = createIndexType();
406 mlirOperationDestroy(testOp);
414 static std::unique_ptr<InvFeltOpBuildFuncHelper>
get();
425 auto testOp = createIndexOperation();
431 mlirOperationDestroy(testOp);
435 auto testOp = createIndexOperation();
438 auto dummyValue = mlirOperationGetResult(testOp, 0);
442 mlirOperationDestroy(testOp);
446 auto testOp = createIndexOperation();
452 mlirOperationDestroy(testOp);
457 auto testOperation = createIndexOperation();
462 mlirOperationDestroy(testOperation);
468 auto testOp = createIndexOperation();
474 MlirLocation location = mlirLocationUnknownGet(context);
475 auto dummyValue = mlirOperationGetResult(testOp, 0);
476 auto resultType = createIndexType();
482 mlirOperationDestroy(testOp);
490 static std::unique_ptr<MulFeltOpBuildFuncHelper>
get();
501 auto testOp = createIndexOperation();
507 mlirOperationDestroy(testOp);
511 auto testOp = createIndexOperation();
514 auto dummyValue = mlirOperationGetResult(testOp, 0);
518 mlirOperationDestroy(testOp);
522 auto testOp = createIndexOperation();
528 mlirOperationDestroy(testOp);
532 auto testOp = createIndexOperation();
535 auto dummyValue = mlirOperationGetResult(testOp, 0);
539 mlirOperationDestroy(testOp);
543 auto testOp = createIndexOperation();
549 mlirOperationDestroy(testOp);
554 auto testOperation = createIndexOperation();
559 mlirOperationDestroy(testOperation);
565 auto testOp = createIndexOperation();
571 MlirLocation location = mlirLocationUnknownGet(context);
572 auto dummyValue = mlirOperationGetResult(testOp, 0);
573 auto resultType = createIndexType();
579 mlirOperationDestroy(testOp);
587 static std::unique_ptr<NegFeltOpBuildFuncHelper>
get();
598 auto testOp = createIndexOperation();
604 mlirOperationDestroy(testOp);
608 auto testOp = createIndexOperation();
611 auto dummyValue = mlirOperationGetResult(testOp, 0);
615 mlirOperationDestroy(testOp);
619 auto testOp = createIndexOperation();
625 mlirOperationDestroy(testOp);
630 auto testOperation = createIndexOperation();
635 mlirOperationDestroy(testOperation);
641 auto testOp = createIndexOperation();
647 MlirLocation location = mlirLocationUnknownGet(context);
648 auto dummyValue = mlirOperationGetResult(testOp, 0);
649 auto resultType = createIndexType();
655 mlirOperationDestroy(testOp);
663 static std::unique_ptr<NotFeltOpBuildFuncHelper>
get();
674 auto testOp = createIndexOperation();
680 mlirOperationDestroy(testOp);
684 auto testOp = createIndexOperation();
687 auto dummyValue = mlirOperationGetResult(testOp, 0);
691 mlirOperationDestroy(testOp);
695 auto testOp = createIndexOperation();
701 mlirOperationDestroy(testOp);
706 auto testOperation = createIndexOperation();
711 mlirOperationDestroy(testOperation);
717 auto testOp = createIndexOperation();
723 MlirLocation location = mlirLocationUnknownGet(context);
724 auto dummyValue = mlirOperationGetResult(testOp, 0);
725 auto resultType = createIndexType();
731 mlirOperationDestroy(testOp);
739 static std::unique_ptr<OrFeltOpBuildFuncHelper>
get();
750 auto testOp = createIndexOperation();
756 mlirOperationDestroy(testOp);
760 auto testOp = createIndexOperation();
763 auto dummyValue = mlirOperationGetResult(testOp, 0);
767 mlirOperationDestroy(testOp);
771 auto testOp = createIndexOperation();
777 mlirOperationDestroy(testOp);
781 auto testOp = createIndexOperation();
784 auto dummyValue = mlirOperationGetResult(testOp, 0);
788 mlirOperationDestroy(testOp);
792 auto testOp = createIndexOperation();
798 mlirOperationDestroy(testOp);
803 auto testOperation = createIndexOperation();
808 mlirOperationDestroy(testOperation);
814 auto testOp = createIndexOperation();
820 MlirLocation location = mlirLocationUnknownGet(context);
821 auto dummyValue = mlirOperationGetResult(testOp, 0);
822 auto resultType = createIndexType();
828 mlirOperationDestroy(testOp);
836 static std::unique_ptr<PowFeltOpBuildFuncHelper>
get();
847 auto testOp = createIndexOperation();
853 mlirOperationDestroy(testOp);
857 auto testOp = createIndexOperation();
860 auto dummyValue = mlirOperationGetResult(testOp, 0);
864 mlirOperationDestroy(testOp);
868 auto testOp = createIndexOperation();
874 mlirOperationDestroy(testOp);
878 auto testOp = createIndexOperation();
881 auto dummyValue = mlirOperationGetResult(testOp, 0);
885 mlirOperationDestroy(testOp);
889 auto testOp = createIndexOperation();
895 mlirOperationDestroy(testOp);
900 auto testOperation = createIndexOperation();
905 mlirOperationDestroy(testOperation);
911 auto testOp = createIndexOperation();
917 MlirLocation location = mlirLocationUnknownGet(context);
918 auto dummyValue = mlirOperationGetResult(testOp, 0);
919 auto resultType = createIndexType();
925 mlirOperationDestroy(testOp);
933 static std::unique_ptr<ShlFeltOpBuildFuncHelper>
get();
944 auto testOp = createIndexOperation();
950 mlirOperationDestroy(testOp);
954 auto testOp = createIndexOperation();
957 auto dummyValue = mlirOperationGetResult(testOp, 0);
961 mlirOperationDestroy(testOp);
965 auto testOp = createIndexOperation();
971 mlirOperationDestroy(testOp);
975 auto testOp = createIndexOperation();
978 auto dummyValue = mlirOperationGetResult(testOp, 0);
982 mlirOperationDestroy(testOp);
986 auto testOp = createIndexOperation();
992 mlirOperationDestroy(testOp);
997 auto testOperation = createIndexOperation();
1002 mlirOperationDestroy(testOperation);
1008 auto testOp = createIndexOperation();
1014 MlirLocation location = mlirLocationUnknownGet(context);
1015 auto dummyValue = mlirOperationGetResult(testOp, 0);
1016 auto resultType = createIndexType();
1022 mlirOperationDestroy(testOp);
1030 static std::unique_ptr<ShrFeltOpBuildFuncHelper>
get();
1041 auto testOp = createIndexOperation();
1047 mlirOperationDestroy(testOp);
1051 auto testOp = createIndexOperation();
1054 auto dummyValue = mlirOperationGetResult(testOp, 0);
1058 mlirOperationDestroy(testOp);
1062 auto testOp = createIndexOperation();
1068 mlirOperationDestroy(testOp);
1072 auto testOp = createIndexOperation();
1075 auto dummyValue = mlirOperationGetResult(testOp, 0);
1079 mlirOperationDestroy(testOp);
1083 auto testOp = createIndexOperation();
1089 mlirOperationDestroy(testOp);
1094 auto testOperation = createIndexOperation();
1099 mlirOperationDestroy(testOperation);
1105 auto testOp = createIndexOperation();
1111 MlirLocation location = mlirLocationUnknownGet(context);
1112 auto dummyValue = mlirOperationGetResult(testOp, 0);
1113 auto resultType = createIndexType();
1119 mlirOperationDestroy(testOp);
1127 static std::unique_ptr<SignedIntDivFeltOpBuildFuncHelper>
get();
1138 auto testOp = createIndexOperation();
1144 mlirOperationDestroy(testOp);
1148 auto testOp = createIndexOperation();
1151 auto dummyValue = mlirOperationGetResult(testOp, 0);
1155 mlirOperationDestroy(testOp);
1159 auto testOp = createIndexOperation();
1165 mlirOperationDestroy(testOp);
1169 auto testOp = createIndexOperation();
1172 auto dummyValue = mlirOperationGetResult(testOp, 0);
1176 mlirOperationDestroy(testOp);
1180 auto testOp = createIndexOperation();
1186 mlirOperationDestroy(testOp);
1191 auto testOperation = createIndexOperation();
1196 mlirOperationDestroy(testOperation);
1202 auto testOp = createIndexOperation();
1208 MlirLocation location = mlirLocationUnknownGet(context);
1209 auto dummyValue = mlirOperationGetResult(testOp, 0);
1210 auto resultType = createIndexType();
1216 mlirOperationDestroy(testOp);
1224 static std::unique_ptr<SignedModFeltOpBuildFuncHelper>
get();
1235 auto testOp = createIndexOperation();
1241 mlirOperationDestroy(testOp);
1245 auto testOp = createIndexOperation();
1248 auto dummyValue = mlirOperationGetResult(testOp, 0);
1252 mlirOperationDestroy(testOp);
1256 auto testOp = createIndexOperation();
1262 mlirOperationDestroy(testOp);
1266 auto testOp = createIndexOperation();
1269 auto dummyValue = mlirOperationGetResult(testOp, 0);
1273 mlirOperationDestroy(testOp);
1277 auto testOp = createIndexOperation();
1283 mlirOperationDestroy(testOp);
1288 auto testOperation = createIndexOperation();
1293 mlirOperationDestroy(testOperation);
1299 auto testOp = createIndexOperation();
1305 MlirLocation location = mlirLocationUnknownGet(context);
1306 auto dummyValue = mlirOperationGetResult(testOp, 0);
1307 auto resultType = createIndexType();
1313 mlirOperationDestroy(testOp);
1321 static std::unique_ptr<SubFeltOpBuildFuncHelper>
get();
1332 auto testOp = createIndexOperation();
1338 mlirOperationDestroy(testOp);
1342 auto testOp = createIndexOperation();
1345 auto dummyValue = mlirOperationGetResult(testOp, 0);
1349 mlirOperationDestroy(testOp);
1353 auto testOp = createIndexOperation();
1359 mlirOperationDestroy(testOp);
1363 auto testOp = createIndexOperation();
1366 auto dummyValue = mlirOperationGetResult(testOp, 0);
1370 mlirOperationDestroy(testOp);
1374 auto testOp = createIndexOperation();
1380 mlirOperationDestroy(testOp);
1385 auto testOperation = createIndexOperation();
1390 mlirOperationDestroy(testOperation);
1396 auto testOp = createIndexOperation();
1402 MlirLocation location = mlirLocationUnknownGet(context);
1403 auto dummyValue = mlirOperationGetResult(testOp, 0);
1404 auto resultType = createIndexType();
1410 mlirOperationDestroy(testOp);
1418 static std::unique_ptr<UnsignedIntDivFeltOpBuildFuncHelper>
get();
1429 auto testOp = createIndexOperation();
1435 mlirOperationDestroy(testOp);
1439 auto testOp = createIndexOperation();
1442 auto dummyValue = mlirOperationGetResult(testOp, 0);
1446 mlirOperationDestroy(testOp);
1450 auto testOp = createIndexOperation();
1456 mlirOperationDestroy(testOp);
1460 auto testOp = createIndexOperation();
1463 auto dummyValue = mlirOperationGetResult(testOp, 0);
1467 mlirOperationDestroy(testOp);
1471 auto testOp = createIndexOperation();
1477 mlirOperationDestroy(testOp);
1482 auto testOperation = createIndexOperation();
1487 mlirOperationDestroy(testOperation);
1493 auto testOp = createIndexOperation();
1499 MlirLocation location = mlirLocationUnknownGet(context);
1500 auto dummyValue = mlirOperationGetResult(testOp, 0);
1501 auto resultType = createIndexType();
1507 mlirOperationDestroy(testOp);
1515 static std::unique_ptr<UnsignedModFeltOpBuildFuncHelper>
get();
1526 auto testOp = createIndexOperation();
1532 mlirOperationDestroy(testOp);
1536 auto testOp = createIndexOperation();
1539 auto dummyValue = mlirOperationGetResult(testOp, 0);
1543 mlirOperationDestroy(testOp);
1547 auto testOp = createIndexOperation();
1553 mlirOperationDestroy(testOp);
1557 auto testOp = createIndexOperation();
1560 auto dummyValue = mlirOperationGetResult(testOp, 0);
1564 mlirOperationDestroy(testOp);
1568 auto testOp = createIndexOperation();
1574 mlirOperationDestroy(testOp);
1579 auto testOperation = createIndexOperation();
1584 mlirOperationDestroy(testOperation);
1590 auto testOp = createIndexOperation();
1596 MlirLocation location = mlirLocationUnknownGet(context);
1597 auto dummyValue = mlirOperationGetResult(testOp, 0);
1598 auto resultType = createIndexType();
1604 mlirOperationDestroy(testOp);
1612 static std::unique_ptr<XorFeltOpBuildFuncHelper>
get();
1623 auto testOp = createIndexOperation();
1629 mlirOperationDestroy(testOp);
1633 auto testOp = createIndexOperation();
1636 auto dummyValue = mlirOperationGetResult(testOp, 0);
1640 mlirOperationDestroy(testOp);
1644 auto testOp = createIndexOperation();
1650 mlirOperationDestroy(testOp);
1654 auto testOp = createIndexOperation();
1657 auto dummyValue = mlirOperationGetResult(testOp, 0);
1661 mlirOperationDestroy(testOp);
1665 auto testOp = createIndexOperation();
1671 mlirOperationDestroy(testOp);
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.
MlirValue llzkFelt_AddFeltOpGetLhs(MlirOperation op)
Get Lhs operand from llzk::felt::AddFeltOp Operation.
MlirValue llzkFelt_AndFeltOpGetRhs(MlirOperation op)
Get Rhs operand from llzk::felt::AndFeltOp Operation.
MlirValue llzkFelt_XorFeltOpGetLhs(MlirOperation op)
Get Lhs operand from llzk::felt::XorFeltOp Operation.
MlirOperation llzkFelt_SignedIntDivFeltOpBuild(MlirOpBuilder builder, MlirLocation location, MlirType resultType, MlirValue lhs, MlirValue rhs)
Build a llzk::felt::SignedIntDivFeltOp Operation.
MlirValue llzkFelt_ShrFeltOpGetRhs(MlirOperation op)
Get Rhs operand from llzk::felt::ShrFeltOp Operation.
void llzkFelt_UnsignedModFeltOpSetRhs(MlirOperation op, MlirValue value)
Set Rhs operand of llzk::felt::UnsignedModFeltOp Operation.
MlirValue llzkFelt_SubFeltOpGetLhs(MlirOperation op)
Get Lhs operand from llzk::felt::SubFeltOp Operation.
bool llzkOperationIsA_Felt_SubFeltOp(MlirOperation inp)
Returns true if the Operation is a llzk::felt::SubFeltOp.
bool llzkOperationIsA_Felt_ShlFeltOp(MlirOperation inp)
Returns true if the Operation is a llzk::felt::ShlFeltOp.
void llzkFelt_SubFeltOpSetRhs(MlirOperation op, MlirValue value)
Set Rhs operand of llzk::felt::SubFeltOp Operation.
MlirOperation llzkFelt_PowFeltOpBuild(MlirOpBuilder builder, MlirLocation location, MlirType resultType, MlirValue lhs, MlirValue rhs)
Build a llzk::felt::PowFeltOp Operation.
void llzkFelt_AddFeltOpSetRhs(MlirOperation op, MlirValue value)
Set Rhs operand of llzk::felt::AddFeltOp Operation.
MlirValue llzkFelt_PowFeltOpGetRhs(MlirOperation op)
Get Rhs operand from llzk::felt::PowFeltOp Operation.
MlirOperation llzkFelt_AddFeltOpBuild(MlirOpBuilder builder, MlirLocation location, MlirType resultType, MlirValue lhs, MlirValue rhs)
Build a llzk::felt::AddFeltOp Operation.
void llzkFelt_ShrFeltOpSetRhs(MlirOperation op, MlirValue value)
Set Rhs operand of llzk::felt::ShrFeltOp Operation.
MlirOperation llzkFelt_NegFeltOpBuild(MlirOpBuilder builder, MlirLocation location, MlirType resultType, MlirValue operand)
Build a llzk::felt::NegFeltOp Operation.
void llzkFelt_UnsignedIntDivFeltOpSetRhs(MlirOperation op, MlirValue value)
Set Rhs operand of llzk::felt::UnsignedIntDivFeltOp Operation.
MlirValue llzkFelt_MulFeltOpGetLhs(MlirOperation op)
Get Lhs operand from llzk::felt::MulFeltOp Operation.
MlirOperation llzkFelt_NotFeltOpBuild(MlirOpBuilder builder, MlirLocation location, MlirType resultType, MlirValue operand)
Build a llzk::felt::NotFeltOp Operation.
MlirValue llzkFelt_FeltConstantOpGetResult(MlirOperation op)
Get Result result from llzk::felt::FeltConstantOp Operation.
bool llzkOperationIsA_Felt_MulFeltOp(MlirOperation inp)
Returns true if the Operation is a llzk::felt::MulFeltOp.
bool llzkOperationIsA_Felt_SignedModFeltOp(MlirOperation inp)
Returns true if the Operation is a llzk::felt::SignedModFeltOp.
MlirValue llzkFelt_ShrFeltOpGetResult(MlirOperation op)
Get Result result from llzk::felt::ShrFeltOp Operation.
bool llzkOperationIsA_Felt_FeltConstantOp(MlirOperation inp)
Returns true if the Operation is a llzk::felt::FeltConstantOp.
MlirValue llzkFelt_PowFeltOpGetResult(MlirOperation op)
Get Result result from llzk::felt::PowFeltOp Operation.
MlirValue llzkFelt_InvFeltOpGetOperand(MlirOperation op)
Get Operand operand from llzk::felt::InvFeltOp Operation.
MlirValue llzkFelt_DivFeltOpGetLhs(MlirOperation op)
Get Lhs operand from llzk::felt::DivFeltOp Operation.
MlirValue llzkFelt_PowFeltOpGetLhs(MlirOperation op)
Get Lhs operand from llzk::felt::PowFeltOp Operation.
MlirOperation llzkFelt_XorFeltOpBuild(MlirOpBuilder builder, MlirLocation location, MlirType resultType, MlirValue lhs, MlirValue rhs)
Build a llzk::felt::XorFeltOp Operation.
MlirValue llzkFelt_InvFeltOpGetResult(MlirOperation op)
Get Result result from llzk::felt::InvFeltOp Operation.
void llzkFelt_SignedIntDivFeltOpSetRhs(MlirOperation op, MlirValue value)
Set Rhs operand of llzk::felt::SignedIntDivFeltOp Operation.
void llzkFelt_DivFeltOpSetRhs(MlirOperation op, MlirValue value)
Set Rhs operand of llzk::felt::DivFeltOp Operation.
MlirValue llzkFelt_UnsignedModFeltOpGetLhs(MlirOperation op)
Get Lhs operand from llzk::felt::UnsignedModFeltOp Operation.
MlirValue llzkFelt_SubFeltOpGetRhs(MlirOperation op)
Get Rhs operand from llzk::felt::SubFeltOp Operation.
MlirValue llzkFelt_SignedModFeltOpGetLhs(MlirOperation op)
Get Lhs operand from llzk::felt::SignedModFeltOp Operation.
void llzkFelt_OrFeltOpSetLhs(MlirOperation op, MlirValue value)
Set Lhs operand of llzk::felt::OrFeltOp Operation.
MlirValue llzkFelt_NegFeltOpGetOperand(MlirOperation op)
Get Operand operand from llzk::felt::NegFeltOp Operation.
MlirValue llzkFelt_OrFeltOpGetResult(MlirOperation op)
Get Result result from llzk::felt::OrFeltOp Operation.
MlirValue llzkFelt_ShrFeltOpGetLhs(MlirOperation op)
Get Lhs operand from llzk::felt::ShrFeltOp Operation.
MlirOperation llzkFelt_AndFeltOpBuild(MlirOpBuilder builder, MlirLocation location, MlirType resultType, MlirValue lhs, MlirValue rhs)
Build a llzk::felt::AndFeltOp Operation.
void llzkFelt_InvFeltOpSetOperand(MlirOperation op, MlirValue value)
Set Operand operand of llzk::felt::InvFeltOp Operation.
void llzkFelt_SubFeltOpSetLhs(MlirOperation op, MlirValue value)
Set Lhs operand of llzk::felt::SubFeltOp Operation.
MlirValue llzkFelt_UnsignedIntDivFeltOpGetResult(MlirOperation op)
Get Result result from llzk::felt::UnsignedIntDivFeltOp Operation.
MlirValue llzkFelt_DivFeltOpGetResult(MlirOperation op)
Get Result result from llzk::felt::DivFeltOp Operation.
bool llzkOperationIsA_Felt_ShrFeltOp(MlirOperation inp)
Returns true if the Operation is a llzk::felt::ShrFeltOp.
MlirValue llzkFelt_UnsignedIntDivFeltOpGetRhs(MlirOperation op)
Get Rhs operand from llzk::felt::UnsignedIntDivFeltOp Operation.
MlirValue llzkFelt_ShlFeltOpGetLhs(MlirOperation op)
Get Lhs operand from llzk::felt::ShlFeltOp Operation.
MlirValue llzkFelt_ShlFeltOpGetRhs(MlirOperation op)
Get Rhs operand from llzk::felt::ShlFeltOp Operation.
void llzkFelt_MulFeltOpSetRhs(MlirOperation op, MlirValue value)
Set Rhs operand of llzk::felt::MulFeltOp Operation.
bool llzkOperationIsA_Felt_DivFeltOp(MlirOperation inp)
Returns true if the Operation is a llzk::felt::DivFeltOp.
MlirValue llzkFelt_AddFeltOpGetRhs(MlirOperation op)
Get Rhs operand from llzk::felt::AddFeltOp Operation.
MlirValue llzkFelt_NotFeltOpGetResult(MlirOperation op)
Get Result result from llzk::felt::NotFeltOp Operation.
bool llzkOperationIsA_Felt_NegFeltOp(MlirOperation inp)
Returns true if the Operation is a llzk::felt::NegFeltOp.
MlirOperation llzkFelt_SubFeltOpBuild(MlirOpBuilder builder, MlirLocation location, MlirType resultType, MlirValue lhs, MlirValue rhs)
Build a llzk::felt::SubFeltOp Operation.
MlirValue llzkFelt_XorFeltOpGetRhs(MlirOperation op)
Get Rhs operand from llzk::felt::XorFeltOp Operation.
MlirOperation llzkFelt_OrFeltOpBuild(MlirOpBuilder builder, MlirLocation location, MlirType resultType, MlirValue lhs, MlirValue rhs)
Build a llzk::felt::OrFeltOp Operation.
MlirValue llzkFelt_AndFeltOpGetLhs(MlirOperation op)
Get Lhs operand from llzk::felt::AndFeltOp Operation.
MlirValue llzkFelt_NegFeltOpGetResult(MlirOperation op)
Get Result result from llzk::felt::NegFeltOp Operation.
MlirOperation llzkFelt_ShlFeltOpBuild(MlirOpBuilder builder, MlirLocation location, MlirType resultType, MlirValue lhs, MlirValue rhs)
Build a llzk::felt::ShlFeltOp Operation.
MlirValue llzkFelt_SubFeltOpGetResult(MlirOperation op)
Get Result result from llzk::felt::SubFeltOp Operation.
void llzkFelt_OrFeltOpSetRhs(MlirOperation op, MlirValue value)
Set Rhs operand of llzk::felt::OrFeltOp Operation.
MlirOperation llzkFelt_InvFeltOpBuild(MlirOpBuilder builder, MlirLocation location, MlirType resultType, MlirValue operand)
Build a llzk::felt::InvFeltOp Operation.
void llzkFelt_SignedModFeltOpSetRhs(MlirOperation op, MlirValue value)
Set Rhs operand of llzk::felt::SignedModFeltOp Operation.
void llzkFelt_UnsignedModFeltOpSetLhs(MlirOperation op, MlirValue value)
Set Lhs operand of llzk::felt::UnsignedModFeltOp Operation.
void llzkFelt_SignedModFeltOpSetLhs(MlirOperation op, MlirValue value)
Set Lhs operand of llzk::felt::SignedModFeltOp Operation.
MlirValue llzkFelt_AddFeltOpGetResult(MlirOperation op)
Get Result result from llzk::felt::AddFeltOp Operation.
MlirOperation llzkFelt_UnsignedIntDivFeltOpBuild(MlirOpBuilder builder, MlirLocation location, MlirType resultType, MlirValue lhs, MlirValue rhs)
Build a llzk::felt::UnsignedIntDivFeltOp Operation.
bool llzkOperationIsA_Felt_AndFeltOp(MlirOperation inp)
Returns true if the Operation is a llzk::felt::AndFeltOp.
MlirOperation llzkFelt_SignedModFeltOpBuild(MlirOpBuilder builder, MlirLocation location, MlirType resultType, MlirValue lhs, MlirValue rhs)
Build a llzk::felt::SignedModFeltOp Operation.
MlirOperation llzkFelt_ShrFeltOpBuild(MlirOpBuilder builder, MlirLocation location, MlirType resultType, MlirValue lhs, MlirValue rhs)
Build a llzk::felt::ShrFeltOp Operation.
MlirOperation llzkFelt_DivFeltOpBuild(MlirOpBuilder builder, MlirLocation location, MlirType resultType, MlirValue lhs, MlirValue rhs)
Build a llzk::felt::DivFeltOp Operation.
void llzkFelt_FeltConstantOpSetValue(MlirOperation op, MlirAttribute attr)
Set Value attribute of llzk::felt::FeltConstantOp Operation.
bool llzkOperationIsA_Felt_XorFeltOp(MlirOperation inp)
Returns true if the Operation is a llzk::felt::XorFeltOp.
MlirValue llzkFelt_SignedIntDivFeltOpGetRhs(MlirOperation op)
Get Rhs operand from llzk::felt::SignedIntDivFeltOp Operation.
MlirValue llzkFelt_XorFeltOpGetResult(MlirOperation op)
Get Result result from llzk::felt::XorFeltOp Operation.
void llzkFelt_PowFeltOpSetLhs(MlirOperation op, MlirValue value)
Set Lhs operand of llzk::felt::PowFeltOp Operation.
void llzkFelt_XorFeltOpSetRhs(MlirOperation op, MlirValue value)
Set Rhs operand of llzk::felt::XorFeltOp Operation.
void llzkFelt_NotFeltOpSetOperand(MlirOperation op, MlirValue value)
Set Operand operand of llzk::felt::NotFeltOp Operation.
MlirValue llzkFelt_SignedIntDivFeltOpGetResult(MlirOperation op)
Get Result result from llzk::felt::SignedIntDivFeltOp Operation.
bool llzkOperationIsA_Felt_PowFeltOp(MlirOperation inp)
Returns true if the Operation is a llzk::felt::PowFeltOp.
void llzkFelt_XorFeltOpSetLhs(MlirOperation op, MlirValue value)
Set Lhs operand of llzk::felt::XorFeltOp Operation.
MlirValue llzkFelt_MulFeltOpGetResult(MlirOperation op)
Get Result result from llzk::felt::MulFeltOp Operation.
void llzkFelt_ShlFeltOpSetLhs(MlirOperation op, MlirValue value)
Set Lhs operand of llzk::felt::ShlFeltOp Operation.
void llzkFelt_SignedIntDivFeltOpSetLhs(MlirOperation op, MlirValue value)
Set Lhs operand of llzk::felt::SignedIntDivFeltOp Operation.
MlirValue llzkFelt_SignedModFeltOpGetResult(MlirOperation op)
Get Result result from llzk::felt::SignedModFeltOp Operation.
void llzkFelt_UnsignedIntDivFeltOpSetLhs(MlirOperation op, MlirValue value)
Set Lhs operand of llzk::felt::UnsignedIntDivFeltOp Operation.
bool llzkOperationIsA_Felt_UnsignedModFeltOp(MlirOperation inp)
Returns true if the Operation is a llzk::felt::UnsignedModFeltOp.
void llzkFelt_ShlFeltOpSetRhs(MlirOperation op, MlirValue value)
Set Rhs operand of llzk::felt::ShlFeltOp Operation.
MlirValue llzkFelt_UnsignedModFeltOpGetResult(MlirOperation op)
Get Result result from llzk::felt::UnsignedModFeltOp Operation.
MlirValue llzkFelt_OrFeltOpGetRhs(MlirOperation op)
Get Rhs operand from llzk::felt::OrFeltOp Operation.
bool llzkOperationIsA_Felt_InvFeltOp(MlirOperation inp)
Returns true if the Operation is a llzk::felt::InvFeltOp.
bool llzkOperationIsA_Felt_OrFeltOp(MlirOperation inp)
Returns true if the Operation is a llzk::felt::OrFeltOp.
MlirValue llzkFelt_UnsignedModFeltOpGetRhs(MlirOperation op)
Get Rhs operand from llzk::felt::UnsignedModFeltOp Operation.
bool llzkOperationIsA_Felt_NotFeltOp(MlirOperation inp)
Returns true if the Operation is a llzk::felt::NotFeltOp.
MlirAttribute llzkFelt_FeltConstantOpGetValue(MlirOperation op)
Get Value attribute from llzk::felt::FeltConstantOp Operation.
bool llzkOperationIsA_Felt_SignedIntDivFeltOp(MlirOperation inp)
Returns true if the Operation is a llzk::felt::SignedIntDivFeltOp.
MlirValue llzkFelt_DivFeltOpGetRhs(MlirOperation op)
Get Rhs operand from llzk::felt::DivFeltOp Operation.
void llzkFelt_AndFeltOpSetRhs(MlirOperation op, MlirValue value)
Set Rhs operand of llzk::felt::AndFeltOp Operation.
MlirValue llzkFelt_ShlFeltOpGetResult(MlirOperation op)
Get Result result from llzk::felt::ShlFeltOp Operation.
void llzkFelt_AddFeltOpSetLhs(MlirOperation op, MlirValue value)
Set Lhs operand of llzk::felt::AddFeltOp Operation.
bool llzkOperationIsA_Felt_UnsignedIntDivFeltOp(MlirOperation inp)
Returns true if the Operation is a llzk::felt::UnsignedIntDivFeltOp.
MlirValue llzkFelt_SignedModFeltOpGetRhs(MlirOperation op)
Get Rhs operand from llzk::felt::SignedModFeltOp Operation.
void llzkFelt_DivFeltOpSetLhs(MlirOperation op, MlirValue value)
Set Lhs operand of llzk::felt::DivFeltOp Operation.
MlirValue llzkFelt_AndFeltOpGetResult(MlirOperation op)
Get Result result from llzk::felt::AndFeltOp Operation.
void llzkFelt_MulFeltOpSetLhs(MlirOperation op, MlirValue value)
Set Lhs operand of llzk::felt::MulFeltOp Operation.
MlirValue llzkFelt_OrFeltOpGetLhs(MlirOperation op)
Get Lhs operand from llzk::felt::OrFeltOp Operation.
void llzkFelt_ShrFeltOpSetLhs(MlirOperation op, MlirValue value)
Set Lhs operand of llzk::felt::ShrFeltOp Operation.
MlirValue llzkFelt_NotFeltOpGetOperand(MlirOperation op)
Get Operand operand from llzk::felt::NotFeltOp Operation.
MlirValue llzkFelt_SignedIntDivFeltOpGetLhs(MlirOperation op)
Get Lhs operand from llzk::felt::SignedIntDivFeltOp Operation.
MlirOperation llzkFelt_FeltConstantOpBuild(MlirOpBuilder builder, MlirLocation location, MlirType resultType, MlirAttribute value)
Build a llzk::felt::FeltConstantOp Operation.
MlirOperation llzkFelt_MulFeltOpBuild(MlirOpBuilder builder, MlirLocation location, MlirType resultType, MlirValue lhs, MlirValue rhs)
Build a llzk::felt::MulFeltOp Operation.
MlirValue llzkFelt_UnsignedIntDivFeltOpGetLhs(MlirOperation op)
Get Lhs operand from llzk::felt::UnsignedIntDivFeltOp Operation.
void llzkFelt_AndFeltOpSetLhs(MlirOperation op, MlirValue value)
Set Lhs operand of llzk::felt::AndFeltOp Operation.
MlirValue llzkFelt_MulFeltOpGetRhs(MlirOperation op)
Get Rhs operand from llzk::felt::MulFeltOp Operation.
MlirOperation llzkFelt_UnsignedModFeltOpBuild(MlirOpBuilder builder, MlirLocation location, MlirType resultType, MlirValue lhs, MlirValue rhs)
Build a llzk::felt::UnsignedModFeltOp Operation.
bool llzkOperationIsA_Felt_AddFeltOp(MlirOperation inp)
Returns true if the Operation is a llzk::felt::AddFeltOp.
void llzkFelt_NegFeltOpSetOperand(MlirOperation op, MlirValue value)
Set Operand operand of llzk::felt::NegFeltOp Operation.
void llzkFelt_PowFeltOpSetRhs(MlirOperation op, MlirValue value)
Set Rhs operand of llzk::felt::PowFeltOp Operation.
static std::unique_ptr< AddFeltOpBuildFuncHelper > get()
This method must be implemented to return a subclass of AddFeltOpBuildFuncHelper that at least implem...
virtual bool callIsA(MlirOperation op) override
AddFeltOpBuildFuncHelper()=default
AndFeltOpBuildFuncHelper()=default
virtual bool callIsA(MlirOperation op) override
static std::unique_ptr< AndFeltOpBuildFuncHelper > get()
This method must be implemented to return a subclass of AndFeltOpBuildFuncHelper that at least implem...
virtual bool callIsA(MlirOperation op) override
DivFeltOpBuildFuncHelper()=default
static std::unique_ptr< DivFeltOpBuildFuncHelper > get()
This method must be implemented to return a subclass of DivFeltOpBuildFuncHelper that at least implem...
virtual bool callIsA(MlirOperation op) override
static std::unique_ptr< FeltConstantOpBuildFuncHelper > get()
This method must be implemented to return a subclass of FeltConstantOpBuildFuncHelper that at least i...
FeltConstantOpBuildFuncHelper()=default
static std::unique_ptr< InvFeltOpBuildFuncHelper > get()
This method must be implemented to return a subclass of InvFeltOpBuildFuncHelper that at least implem...
virtual bool callIsA(MlirOperation op) override
InvFeltOpBuildFuncHelper()=default
MulFeltOpBuildFuncHelper()=default
static std::unique_ptr< MulFeltOpBuildFuncHelper > get()
This method must be implemented to return a subclass of MulFeltOpBuildFuncHelper that at least implem...
virtual bool callIsA(MlirOperation op) override
NegFeltOpBuildFuncHelper()=default
static std::unique_ptr< NegFeltOpBuildFuncHelper > get()
This method must be implemented to return a subclass of NegFeltOpBuildFuncHelper that at least implem...
virtual bool callIsA(MlirOperation op) override
NotFeltOpBuildFuncHelper()=default
static std::unique_ptr< NotFeltOpBuildFuncHelper > get()
This method must be implemented to return a subclass of NotFeltOpBuildFuncHelper that at least implem...
virtual bool callIsA(MlirOperation op) override
OrFeltOpBuildFuncHelper()=default
virtual bool callIsA(MlirOperation op) override
static std::unique_ptr< OrFeltOpBuildFuncHelper > get()
This method must be implemented to return a subclass of OrFeltOpBuildFuncHelper that at least impleme...
virtual bool callIsA(MlirOperation op) override
PowFeltOpBuildFuncHelper()=default
static std::unique_ptr< PowFeltOpBuildFuncHelper > get()
This method must be implemented to return a subclass of PowFeltOpBuildFuncHelper that at least implem...
virtual bool callIsA(MlirOperation op) override
ShlFeltOpBuildFuncHelper()=default
static std::unique_ptr< ShlFeltOpBuildFuncHelper > get()
This method must be implemented to return a subclass of ShlFeltOpBuildFuncHelper that at least implem...
ShrFeltOpBuildFuncHelper()=default
virtual bool callIsA(MlirOperation op) override
static std::unique_ptr< ShrFeltOpBuildFuncHelper > get()
This method must be implemented to return a subclass of ShrFeltOpBuildFuncHelper that at least implem...
virtual bool callIsA(MlirOperation op) override
static std::unique_ptr< SignedIntDivFeltOpBuildFuncHelper > get()
This method must be implemented to return a subclass of SignedIntDivFeltOpBuildFuncHelper that at lea...
SignedIntDivFeltOpBuildFuncHelper()=default
static std::unique_ptr< SignedModFeltOpBuildFuncHelper > get()
This method must be implemented to return a subclass of SignedModFeltOpBuildFuncHelper that at least ...
virtual bool callIsA(MlirOperation op) override
SignedModFeltOpBuildFuncHelper()=default
virtual bool callIsA(MlirOperation op) override
SubFeltOpBuildFuncHelper()=default
static std::unique_ptr< SubFeltOpBuildFuncHelper > get()
This method must be implemented to return a subclass of SubFeltOpBuildFuncHelper that at least implem...
virtual bool callIsA(MlirOperation op) override
UnsignedIntDivFeltOpBuildFuncHelper()=default
static std::unique_ptr< UnsignedIntDivFeltOpBuildFuncHelper > get()
This method must be implemented to return a subclass of UnsignedIntDivFeltOpBuildFuncHelper that at l...
UnsignedModFeltOpBuildFuncHelper()=default
virtual bool callIsA(MlirOperation op) override
static std::unique_ptr< UnsignedModFeltOpBuildFuncHelper > get()
This method must be implemented to return a subclass of UnsignedModFeltOpBuildFuncHelper that at leas...
static std::unique_ptr< XorFeltOpBuildFuncHelper > get()
This method must be implemented to return a subclass of XorFeltOpBuildFuncHelper that at least implem...
XorFeltOpBuildFuncHelper()=default
virtual bool callIsA(MlirOperation op) override