14 auto testOperation = createIndexOperation();
19 mlirOperationDestroy(testOperation);
25 auto testOp = createIndexOperation();
31 MlirLocation location = mlirLocationUnknownGet(context);
32 auto dummyValue = mlirOperationGetResult(testOp, 0);
38 mlirOperationDestroy(testOp);
46 static std::unique_ptr<ExistsOpBuildFuncHelper>
get();
57 auto testOp = createIndexOperation();
63 mlirOperationDestroy(testOp);
67 auto testOp = createIndexOperation();
70 auto dummyValue = mlirOperationGetResult(testOp, 0);
74 mlirOperationDestroy(testOp);
78 auto testOp = createIndexOperation();
84 mlirOperationDestroy(testOp);
88 auto testOp = createIndexOperation();
94 mlirOperationDestroy(testOp);
99 auto testOperation = createIndexOperation();
104 mlirOperationDestroy(testOperation);
110 auto testOp = createIndexOperation();
116 MlirLocation location = mlirLocationUnknownGet(context);
117 auto dummyValue = mlirOperationGetResult(testOp, 0);
123 mlirOperationDestroy(testOp);
131 static std::unique_ptr<ForAllOpBuildFuncHelper>
get();
142 auto testOp = createIndexOperation();
148 mlirOperationDestroy(testOp);
152 auto testOp = createIndexOperation();
155 auto dummyValue = mlirOperationGetResult(testOp, 0);
159 mlirOperationDestroy(testOp);
163 auto testOp = createIndexOperation();
169 mlirOperationDestroy(testOp);
173 auto testOp = createIndexOperation();
179 mlirOperationDestroy(testOp);
184 auto testOperation = createIndexOperation();
189 mlirOperationDestroy(testOperation);
195 auto testOp = createIndexOperation();
201 MlirLocation location = mlirLocationUnknownGet(context);
202 auto dummyValue = mlirOperationGetResult(testOp, 0);
208 mlirOperationDestroy(testOp);
216 static std::unique_ptr<AndBoolOpBuildFuncHelper>
get();
227 auto testOp = createIndexOperation();
233 mlirOperationDestroy(testOp);
237 auto testOp = createIndexOperation();
240 auto dummyValue = mlirOperationGetResult(testOp, 0);
244 mlirOperationDestroy(testOp);
248 auto testOp = createIndexOperation();
254 mlirOperationDestroy(testOp);
258 auto testOp = createIndexOperation();
261 auto dummyValue = mlirOperationGetResult(testOp, 0);
265 mlirOperationDestroy(testOp);
269 auto testOp = createIndexOperation();
275 mlirOperationDestroy(testOp);
280 auto testOperation = createIndexOperation();
285 mlirOperationDestroy(testOperation);
291 auto testOp = createIndexOperation();
297 MlirLocation location = mlirLocationUnknownGet(context);
298 auto dummyValue = mlirOperationGetResult(testOp, 0);
299 auto msgAttr = mlirOperationGetName(testOp);
305 mlirOperationDestroy(testOp);
313 static std::unique_ptr<AssertOpBuildFuncHelper>
get();
324 auto testOp = createIndexOperation();
330 mlirOperationDestroy(testOp);
334 auto testOp = createIndexOperation();
337 auto dummyValue = mlirOperationGetResult(testOp, 0);
341 mlirOperationDestroy(testOp);
345 auto testOp = createIndexOperation();
351 mlirOperationDestroy(testOp);
355 auto testOp = createIndexOperation();
361 mlirOperationDestroy(testOp);
366 auto testOperation = createIndexOperation();
371 mlirOperationDestroy(testOperation);
377 auto testOp = createIndexOperation();
383 MlirLocation location = mlirLocationUnknownGet(context);
384 auto dummyValue = mlirOperationGetResult(testOp, 0);
385 auto predicateAttr = createIndexAttribute();
391 mlirOperationDestroy(testOp);
399 static std::unique_ptr<CmpOpBuildFuncHelper>
get();
410 auto testOp = createIndexOperation();
416 mlirOperationDestroy(testOp);
420 auto testOp = createIndexOperation();
423 auto dummyValue = mlirOperationGetResult(testOp, 0);
427 mlirOperationDestroy(testOp);
431 auto testOp = createIndexOperation();
437 mlirOperationDestroy(testOp);
441 auto testOp = createIndexOperation();
444 auto dummyValue = mlirOperationGetResult(testOp, 0);
448 mlirOperationDestroy(testOp);
452 auto testOp = createIndexOperation();
458 mlirOperationDestroy(testOp);
462 auto testOp = createIndexOperation();
468 mlirOperationDestroy(testOp);
472 auto testOp = createIndexOperation();
478 mlirOperationDestroy(testOp);
483 auto testOperation = createIndexOperation();
488 mlirOperationDestroy(testOperation);
494 auto testOp = createIndexOperation();
500 MlirLocation location = mlirLocationUnknownGet(context);
501 auto dummyValue = mlirOperationGetResult(testOp, 0);
507 mlirOperationDestroy(testOp);
515 static std::unique_ptr<NotBoolOpBuildFuncHelper>
get();
526 auto testOp = createIndexOperation();
532 mlirOperationDestroy(testOp);
536 auto testOp = createIndexOperation();
539 auto dummyValue = mlirOperationGetResult(testOp, 0);
543 mlirOperationDestroy(testOp);
547 auto testOp = createIndexOperation();
553 mlirOperationDestroy(testOp);
558 auto testOperation = createIndexOperation();
563 mlirOperationDestroy(testOperation);
569 auto testOp = createIndexOperation();
575 MlirLocation location = mlirLocationUnknownGet(context);
576 auto dummyValue = mlirOperationGetResult(testOp, 0);
582 mlirOperationDestroy(testOp);
590 static std::unique_ptr<OrBoolOpBuildFuncHelper>
get();
601 auto testOp = createIndexOperation();
607 mlirOperationDestroy(testOp);
611 auto testOp = createIndexOperation();
614 auto dummyValue = mlirOperationGetResult(testOp, 0);
618 mlirOperationDestroy(testOp);
622 auto testOp = createIndexOperation();
628 mlirOperationDestroy(testOp);
632 auto testOp = createIndexOperation();
635 auto dummyValue = mlirOperationGetResult(testOp, 0);
639 mlirOperationDestroy(testOp);
643 auto testOp = createIndexOperation();
649 mlirOperationDestroy(testOp);
654 auto testOperation = createIndexOperation();
659 mlirOperationDestroy(testOperation);
665 auto testOp = createIndexOperation();
671 MlirLocation location = mlirLocationUnknownGet(context);
672 auto dummyValue = mlirOperationGetResult(testOp, 0);
678 mlirOperationDestroy(testOp);
686 static std::unique_ptr<XorBoolOpBuildFuncHelper>
get();
697 auto testOp = createIndexOperation();
703 mlirOperationDestroy(testOp);
707 auto testOp = createIndexOperation();
710 auto dummyValue = mlirOperationGetResult(testOp, 0);
714 mlirOperationDestroy(testOp);
718 auto testOp = createIndexOperation();
724 mlirOperationDestroy(testOp);
728 auto testOp = createIndexOperation();
731 auto dummyValue = mlirOperationGetResult(testOp, 0);
735 mlirOperationDestroy(testOp);
739 auto testOp = createIndexOperation();
745 mlirOperationDestroy(testOp);
750 auto testOperation = createIndexOperation();
755 mlirOperationDestroy(testOperation);
761 auto testOp = createIndexOperation();
767 MlirLocation location = mlirLocationUnknownGet(context);
768 auto dummyValue = mlirOperationGetResult(testOp, 0);
774 mlirOperationDestroy(testOp);
782 static std::unique_ptr<YieldOpBuildFuncHelper>
get();
793 auto testOp = createIndexOperation();
799 mlirOperationDestroy(testOp);
803 auto testOp = createIndexOperation();
806 auto dummyValue = mlirOperationGetResult(testOp, 0);
810 mlirOperationDestroy(testOp);
TEST_F(ArrayOperationLinkTests, IsA_Array_ArrayLengthOp)
This test ensures llzkOperationIsA_Array_ArrayLengthOp links properly.
void llzkBool_YieldOpSetValue(MlirOperation op, MlirValue value)
Set Value operand of llzk::boolean::YieldOp Operation.
MlirOperation llzkBool_AssertOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue condition, MlirIdentifier msg)
Build a llzk::boolean::AssertOp Operation.
void llzkBool_ExistsOpSetSort(MlirOperation op, MlirValue value)
Set Sort operand of llzk::boolean::ExistsOp Operation.
MlirOperation llzkBool_XorBoolOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue lhs, MlirValue rhs)
Build a llzk::boolean::XorBoolOp Operation.
MlirOperation llzkBool_ExistsOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue sort)
Build a llzk::boolean::ExistsOp 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.
MlirValue llzkBool_ExistsOpGetSort(MlirOperation op)
Get Sort operand from llzk::boolean::ExistsOp Operation.
MlirValue llzkBool_ForAllOpGetSort(MlirOperation op)
Get Sort operand from llzk::boolean::ForAllOp 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.
bool llzkOperationIsA_Bool_ExistsOp(MlirOperation inp)
Returns true if the Operation is a llzk::boolean::ExistsOp.
MlirValue llzkBool_AndBoolOpGetRhs(MlirOperation op)
Get Rhs operand from llzk::boolean::AndBoolOp Operation.
MlirOperation llzkBool_ForAllOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue sort)
Build a llzk::boolean::ForAllOp 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.
bool llzkOperationIsA_Bool_ForAllOp(MlirOperation inp)
Returns true if the Operation is a llzk::boolean::ForAllOp.
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.
bool llzkOperationIsA_Bool_YieldOp(MlirOperation inp)
Returns true if the Operation is a llzk::boolean::YieldOp.
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.
MlirValue llzkBool_ExistsOpGetResult(MlirOperation op)
Get Result result from llzk::boolean::ExistsOp Operation.
void llzkBool_ForAllOpSetSort(MlirOperation op, MlirValue value)
Set Sort operand of llzk::boolean::ForAllOp 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.
MlirRegion llzkBool_ForAllOpGetRegion(MlirOperation op)
Get Region region from llzk::boolean::ForAllOp Operation.
MlirRegion llzkBool_ExistsOpGetRegion(MlirOperation op)
Get Region region from llzk::boolean::ExistsOp 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_ForAllOpGetResult(MlirOperation op)
Get Result result from llzk::boolean::ForAllOp Operation.
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_YieldOpBuild(MlirOpBuilder builder, MlirLocation location, MlirValue value)
Build a llzk::boolean::YieldOp Operation.
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.
MlirValue llzkBool_YieldOpGetValue(MlirOperation op)
Get Value operand from llzk::boolean::YieldOp 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.
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
ExistsOpBuildFuncHelper()=default
virtual bool callIsA(MlirOperation op) override
static std::unique_ptr< ExistsOpBuildFuncHelper > get()
This method must be implemented to return a subclass of ExistsOpBuildFuncHelper that at least impleme...
ForAllOpBuildFuncHelper()=default
static std::unique_ptr< ForAllOpBuildFuncHelper > get()
This method must be implemented to return a subclass of ForAllOpBuildFuncHelper that at least impleme...
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...
YieldOpBuildFuncHelper()=default
virtual bool callIsA(MlirOperation op) override
static std::unique_ptr< YieldOpBuildFuncHelper > get()
This method must be implemented to return a subclass of YieldOpBuildFuncHelper that at least implemen...