14 auto testOperation = createIndexOperation();
19 mlirOperationDestroy(testOperation);
25 auto testOp = createIndexOperation();
31 MlirLocation location = mlirLocationUnknownGet(context);
32 auto dummyValue = mlirOperationGetResult(testOp, 0);
33 auto resType = createIndexType();
39 mlirOperationDestroy(testOp);
47 static std::unique_ptr<NonDetOpBuildFuncHelper>
get();
58 auto testOp = createIndexOperation();
64 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 llzkLlzk_NonDetOpGetRes(MlirOperation op)
Get Res result from llzk::NonDetOp Operation.
bool llzkOperationIsA_Llzk_NonDetOp(MlirOperation inp)
Returns true if the Operation is a llzk::NonDetOp.
MlirOperation llzkLlzk_NonDetOpBuild(MlirOpBuilder builder, MlirLocation location, MlirType resType)
Build a llzk::NonDetOp Operation.
virtual bool callIsA(MlirOperation op) override
static std::unique_ptr< NonDetOpBuildFuncHelper > get()
This method must be implemented to return a subclass of NonDetOpBuildFuncHelper that at least impleme...
NonDetOpBuildFuncHelper()=default