Ops.capi.test.cpp.inc

Go to the documentation of this file.

/*===- TableGen'erated file -------------------------------------*- C++ -*-===*\
|*                                                                            *|
|* Op C API Tests                                                             *|
|*                                                                            *|
|* Automatically generated file, do not edit!                                 *|
|* From: Ops.td                                                               *|
|*                                                                            *|
\*===----------------------------------------------------------------------===*/
 
class FunctionOperationLinkTests : public CAPITest {};

TEST_F(FunctionOperationLinkTests, IsA_Function_CallOp) {
  auto testOperation = createIndexOperation();
 
  // This will always return false since `createIndex*` returns an MLIR builtin
  EXPECT_FALSE(llzkOperationIsA_Function_CallOp(testOperation));
 
  mlirOperationDestroy(testOperation);
}
 
TEST_F(FunctionOperationLinkTests, llzk_CallOp_GetArgOperandsCount) {
  auto testOp = createIndexOperation();
 
  if (llzkOperationIsA_Function_CallOp(testOp)) {
    (void)llzkFunction_CallOpGetArgOperandsCount(testOp);
  }
 
  mlirOperationDestroy(testOp);
}
 
TEST_F(FunctionOperationLinkTests, llzk_CallOp_GetArgOperandsAt) {
  auto testOp = createIndexOperation();
 
  if (llzkOperationIsA_Function_CallOp(testOp)) {
    (void)llzkFunction_CallOpGetArgOperandsAt(testOp, 0);
  }
 
  mlirOperationDestroy(testOp);
}
 
TEST_F(FunctionOperationLinkTests, llzk_CallOp_SetArgOperands_Variadic) {
  auto testOp = createIndexOperation();
 
  if (llzkOperationIsA_Function_CallOp(testOp)) {
    auto dummyValue = mlirOperationGetResult(testOp, 0);
    MlirValue values[] = {dummyValue};
    llzkFunction_CallOpSetArgOperands(testOp, 1, values);
  }
 
  mlirOperationDestroy(testOp);
}
 
TEST_F(FunctionOperationLinkTests, llzk_CallOp_GetMapOperandsCount) {
  auto testOp = createIndexOperation();
 
  if (llzkOperationIsA_Function_CallOp(testOp)) {
    (void)llzkFunction_CallOpGetMapOperandsCount(testOp);
  }
 
  mlirOperationDestroy(testOp);
}
 
TEST_F(FunctionOperationLinkTests, llzk_CallOp_GetMapOperandsAt) {
  auto testOp = createIndexOperation();
 
  if (llzkOperationIsA_Function_CallOp(testOp)) {
    (void)llzkFunction_CallOpGetMapOperandsAt(testOp, 0);
  }
 
  mlirOperationDestroy(testOp);
}
 
TEST_F(FunctionOperationLinkTests, llzk_CallOp_SetMapOperands_VariadicOfVariadic) {
  auto testOp = createIndexOperation();
 
  if (llzkOperationIsA_Function_CallOp(testOp)) {
    auto dummyValue = mlirOperationGetResult(testOp, 0);
    MlirValueRange groups[1];
    groups[0].values = &dummyValue;
    groups[0].size = 1;
    llzkFunction_CallOpSetMapOperands(testOp, 1, groups);
  }
 
  mlirOperationDestroy(testOp);
}
 
TEST_F(FunctionOperationLinkTests, llzk_CallOp_GetCalleeAttr) {
  auto testOp = createIndexOperation();
 
  if (llzkOperationIsA_Function_CallOp(testOp)) {
    (void)llzkFunction_CallOpGetCallee(testOp);
  }
 
  mlirOperationDestroy(testOp);
}
 
TEST_F(FunctionOperationLinkTests, llzk_CallOp_SetCalleeAttr) {
  auto testOp = createIndexOperation();
 
  if (llzkOperationIsA_Function_CallOp(testOp)) {
    llzkFunction_CallOpSetCallee(testOp, createIndexAttribute());
  }
 
  mlirOperationDestroy(testOp);
}
 
TEST_F(FunctionOperationLinkTests, llzk_CallOp_GetTemplateParamsAttr) {
  auto testOp = createIndexOperation();
 
  if (llzkOperationIsA_Function_CallOp(testOp)) {
    (void)llzkFunction_CallOpGetTemplateParams(testOp);
  }
 
  mlirOperationDestroy(testOp);
}
 
TEST_F(FunctionOperationLinkTests, llzk_CallOp_SetTemplateParamsAttr) {
  auto testOp = createIndexOperation();
 
  if (llzkOperationIsA_Function_CallOp(testOp)) {
    llzkFunction_CallOpSetTemplateParams(testOp, createIndexAttribute());
  }
 
  mlirOperationDestroy(testOp);
}
 
TEST_F(FunctionOperationLinkTests, llzk_CallOp_GetNumDimsPerMapAttr) {
  auto testOp = createIndexOperation();
 
  if (llzkOperationIsA_Function_CallOp(testOp)) {
    (void)llzkFunction_CallOpGetNumDimsPerMap(testOp);
  }
 
  mlirOperationDestroy(testOp);
}
 
TEST_F(FunctionOperationLinkTests, llzk_CallOp_SetNumDimsPerMapAttr) {
  auto testOp = createIndexOperation();
 
  if (llzkOperationIsA_Function_CallOp(testOp)) {
    llzkFunction_CallOpSetNumDimsPerMap(testOp, createIndexAttribute());
  }
 
  mlirOperationDestroy(testOp);
}
 
TEST_F(FunctionOperationLinkTests, llzk_CallOp_GetMapOpGroupSizesAttr) {
  auto testOp = createIndexOperation();
 
  if (llzkOperationIsA_Function_CallOp(testOp)) {
    (void)llzkFunction_CallOpGetMapOpGroupSizes(testOp);
  }
 
  mlirOperationDestroy(testOp);
}
 
TEST_F(FunctionOperationLinkTests, llzk_CallOp_SetMapOpGroupSizesAttr) {
  auto testOp = createIndexOperation();
 
  if (llzkOperationIsA_Function_CallOp(testOp)) {
    llzkFunction_CallOpSetMapOpGroupSizes(testOp, createIndexAttribute());
  }
 
  mlirOperationDestroy(testOp);
}
 
TEST_F(FunctionOperationLinkTests, llzk_CallOp_GetArgAttrsAttr) {
  auto testOp = createIndexOperation();
 
  if (llzkOperationIsA_Function_CallOp(testOp)) {
    (void)llzkFunction_CallOpGetArgAttrs(testOp);
  }
 
  mlirOperationDestroy(testOp);
}
 
TEST_F(FunctionOperationLinkTests, llzk_CallOp_SetArgAttrsAttr) {
  auto testOp = createIndexOperation();
 
  if (llzkOperationIsA_Function_CallOp(testOp)) {
    llzkFunction_CallOpSetArgAttrs(testOp, createIndexAttribute());
  }
 
  mlirOperationDestroy(testOp);
}
 
TEST_F(FunctionOperationLinkTests, llzk_CallOp_GetResAttrsAttr) {
  auto testOp = createIndexOperation();
 
  if (llzkOperationIsA_Function_CallOp(testOp)) {
    (void)llzkFunction_CallOpGetResAttrs(testOp);
  }
 
  mlirOperationDestroy(testOp);
}
 
TEST_F(FunctionOperationLinkTests, llzk_CallOp_SetResAttrsAttr) {
  auto testOp = createIndexOperation();
 
  if (llzkOperationIsA_Function_CallOp(testOp)) {
    llzkFunction_CallOpSetResAttrs(testOp, createIndexAttribute());
  }
 
  mlirOperationDestroy(testOp);
}
 
TEST_F(FunctionOperationLinkTests, llzk_CallOp_GetResult0Count) {
  auto testOp = createIndexOperation();
 
  if (llzkOperationIsA_Function_CallOp(testOp)) {
    (void)llzkFunction_CallOpGetResult0Count(testOp);
  }
 
  mlirOperationDestroy(testOp);
}
 
TEST_F(FunctionOperationLinkTests, llzk_CallOp_GetResult0At) {
  auto testOp = createIndexOperation();
 
  if (llzkOperationIsA_Function_CallOp(testOp)) {
    (void)llzkFunction_CallOpGetResult0At(testOp, 0);
  }
 
  mlirOperationDestroy(testOp);
}

TEST_F(FunctionOperationLinkTests, llzk_CallOp_CalleeContainsWitnessGen) {
  auto testOperation = createIndexOperation();
 
  if (llzkOperationIsA_Function_CallOp(testOperation)) {
 
    (void)llzkFunction_CallOpCalleeContainsWitnessGen(testOperation);
  }
 
  mlirOperationDestroy(testOperation);
}

TEST_F(FunctionOperationLinkTests, llzk_CallOp_CalleeIsStructCompute) {
  auto testOperation = createIndexOperation();
 
  if (llzkOperationIsA_Function_CallOp(testOperation)) {
 
    (void)llzkFunction_CallOpCalleeIsStructCompute(testOperation);
  }
 
  mlirOperationDestroy(testOperation);
}

TEST_F(FunctionOperationLinkTests, llzk_CallOp_GetSingleResultTypeOfCompute) {
  auto testOperation = createIndexOperation();
 
  if (llzkOperationIsA_Function_CallOp(testOperation)) {
 
    (void)llzkFunction_CallOpGetSingleResultTypeOfCompute(testOperation);
  }
 
  mlirOperationDestroy(testOperation);
}

TEST_F(FunctionOperationLinkTests, llzk_CallOp_CalleeIsStructConstrain) {
  auto testOperation = createIndexOperation();
 
  if (llzkOperationIsA_Function_CallOp(testOperation)) {
 
    (void)llzkFunction_CallOpCalleeIsStructConstrain(testOperation);
  }
 
  mlirOperationDestroy(testOperation);
}

TEST_F(FunctionOperationLinkTests, llzk_CallOp_GetSelfValueFromConstrain) {
  auto testOperation = createIndexOperation();
 
  if (llzkOperationIsA_Function_CallOp(testOperation)) {
 
    (void)llzkFunction_CallOpGetSelfValueFromConstrain(testOperation);
  }
 
  mlirOperationDestroy(testOperation);
}

TEST_F(FunctionOperationLinkTests, llzk_CallOp_CalleeIsCompute) {
  auto testOperation = createIndexOperation();
 
  if (llzkOperationIsA_Function_CallOp(testOperation)) {
 
    (void)llzkFunction_CallOpCalleeIsCompute(testOperation);
  }
 
  mlirOperationDestroy(testOperation);
}

TEST_F(FunctionOperationLinkTests, llzk_CallOp_CalleeIsConstrain) {
  auto testOperation = createIndexOperation();
 
  if (llzkOperationIsA_Function_CallOp(testOperation)) {
 
    (void)llzkFunction_CallOpCalleeIsConstrain(testOperation);
  }
 
  mlirOperationDestroy(testOperation);
}

TEST_F(FunctionOperationLinkTests, llzk_CallOp_CalleeIsProduct) {
  auto testOperation = createIndexOperation();
 
  if (llzkOperationIsA_Function_CallOp(testOperation)) {
 
    (void)llzkFunction_CallOpCalleeIsProduct(testOperation);
  }
 
  mlirOperationDestroy(testOperation);
}

TEST_F(FunctionOperationLinkTests, llzk_CallOp_CalleeIsStructProduct) {
  auto testOperation = createIndexOperation();
 
  if (llzkOperationIsA_Function_CallOp(testOperation)) {
 
    (void)llzkFunction_CallOpCalleeIsStructProduct(testOperation);
  }
 
  mlirOperationDestroy(testOperation);
}

TEST_F(FunctionOperationLinkTests, llzk_CallOp_CalleeIsInStruct) {
  auto testOperation = createIndexOperation();
 
  if (llzkOperationIsA_Function_CallOp(testOperation)) {
 
    (void)llzkFunction_CallOpCalleeIsInStruct(testOperation);
  }
 
  mlirOperationDestroy(testOperation);
}

TEST_F(FunctionOperationLinkTests, llzk_CallOp_GetSelfValueFromProduct) {
  auto testOperation = createIndexOperation();
 
  if (llzkOperationIsA_Function_CallOp(testOperation)) {
 
    (void)llzkFunction_CallOpGetSelfValueFromProduct(testOperation);
  }
 
  mlirOperationDestroy(testOperation);
}

TEST_F(FunctionOperationLinkTests, llzk_CallOp_GetSelfValueFromCompute) {
  auto testOperation = createIndexOperation();
 
  if (llzkOperationIsA_Function_CallOp(testOperation)) {
 
    (void)llzkFunction_CallOpGetSelfValueFromCompute(testOperation);
  }
 
  mlirOperationDestroy(testOperation);
}

TEST_F(FunctionOperationLinkTests, llzk_CallOp_GetSingleResultTypeOfWitnessGen) {
  auto testOperation = createIndexOperation();
 
  if (llzkOperationIsA_Function_CallOp(testOperation)) {
 
    (void)llzkFunction_CallOpGetSingleResultTypeOfWitnessGen(testOperation);
  }
 
  mlirOperationDestroy(testOperation);
}

TEST_F(FunctionOperationLinkTests, llzk_CallOp_ResolveCallable) {
  auto testOperation = createIndexOperation();
 
  if (llzkOperationIsA_Function_CallOp(testOperation)) {
 
    (void)llzkFunction_CallOpResolveCallable(testOperation);
  }
 
  mlirOperationDestroy(testOperation);
}

TEST_F(FunctionOperationLinkTests, llzk_CallOp_GetSelfValue) {
  auto testOperation = createIndexOperation();
 
  if (llzkOperationIsA_Function_CallOp(testOperation)) {
 
    (void)llzkFunction_CallOpGetSelfValue(testOperation);
  }
 
  mlirOperationDestroy(testOperation);
}

TEST_F(FunctionOperationLinkTests, IsA_Function_FuncDefOp) {
  auto testOperation = createIndexOperation();
 
  // This will always return false since `createIndex*` returns an MLIR builtin
  EXPECT_FALSE(llzkOperationIsA_Function_FuncDefOp(testOperation));
 
  mlirOperationDestroy(testOperation);
}

TEST_F(FunctionOperationLinkTests, llzk_FuncDefOp_Build) {
  // Returns an `arith.constant` op, which will never match the FuncDefOp dialect check.
  auto testOp = createIndexOperation();
 
  // This condition is always false, so the function is never actually called.
  // We only verify it compiles and links correctly.
  if (llzkOperationIsA_Function_FuncDefOp(testOp)) {
    MlirOpBuilder builder = mlirOpBuilderCreate(context);
    MlirLocation location = mlirLocationUnknownGet(context);
    auto dummyValue = mlirOperationGetResult(testOp, 0);
    auto sym_nameAttr = mlirOperationGetName(testOp);
    auto function_typeAttr = createIndexAttribute();
    auto arg_attrsAttr = createIndexAttribute();
    auto res_attrsAttr = createIndexAttribute();
 
    (void)llzkFunction_FuncDefOpBuild(builder, location, sym_nameAttr, function_typeAttr, arg_attrsAttr, res_attrsAttr);
    // No need to destroy builder or op since this code never runs.
  }
 
  mlirOperationDestroy(testOp);
}
 
struct FuncDefOpBuildFuncHelper : public TestAnyBuildFuncHelper<CAPITest> {
  virtual bool callIsA(MlirOperation op) override { return llzkOperationIsA_Function_FuncDefOp(op); }
  static std::unique_ptr<FuncDefOpBuildFuncHelper> get();
 
protected:
  FuncDefOpBuildFuncHelper() = default;
};

TEST_F(CAPITest, Function_FuncDefOp_build_pass) { FuncDefOpBuildFuncHelper::get()->run(*this); }
 
TEST_F(FunctionOperationLinkTests, llzk_FuncDefOp_GetSymNameAttr) {
  auto testOp = createIndexOperation();
 
  if (llzkOperationIsA_Function_FuncDefOp(testOp)) {
    (void)llzkFunction_FuncDefOpGetSymName(testOp);
  }
 
  mlirOperationDestroy(testOp);
}
 
TEST_F(FunctionOperationLinkTests, llzk_FuncDefOp_SetSymNameAttr) {
  auto testOp = createIndexOperation();
 
  if (llzkOperationIsA_Function_FuncDefOp(testOp)) {
    llzkFunction_FuncDefOpSetSymName(testOp, createIndexAttribute());
  }
 
  mlirOperationDestroy(testOp);
}
 
TEST_F(FunctionOperationLinkTests, llzk_FuncDefOp_GetFunctionTypeAttr) {
  auto testOp = createIndexOperation();
 
  if (llzkOperationIsA_Function_FuncDefOp(testOp)) {
    (void)llzkFunction_FuncDefOpGetFunctionType(testOp);
  }
 
  mlirOperationDestroy(testOp);
}
 
TEST_F(FunctionOperationLinkTests, llzk_FuncDefOp_SetFunctionTypeAttr) {
  auto testOp = createIndexOperation();
 
  if (llzkOperationIsA_Function_FuncDefOp(testOp)) {
    llzkFunction_FuncDefOpSetFunctionType(testOp, createIndexAttribute());
  }
 
  mlirOperationDestroy(testOp);
}
 
TEST_F(FunctionOperationLinkTests, llzk_FuncDefOp_GetArgAttrsAttr) {
  auto testOp = createIndexOperation();
 
  if (llzkOperationIsA_Function_FuncDefOp(testOp)) {
    (void)llzkFunction_FuncDefOpGetArgAttrs(testOp);
  }
 
  mlirOperationDestroy(testOp);
}
 
TEST_F(FunctionOperationLinkTests, llzk_FuncDefOp_SetArgAttrsAttr) {
  auto testOp = createIndexOperation();
 
  if (llzkOperationIsA_Function_FuncDefOp(testOp)) {
    llzkFunction_FuncDefOpSetArgAttrs(testOp, createIndexAttribute());
  }
 
  mlirOperationDestroy(testOp);
}
 
TEST_F(FunctionOperationLinkTests, llzk_FuncDefOp_GetResAttrsAttr) {
  auto testOp = createIndexOperation();
 
  if (llzkOperationIsA_Function_FuncDefOp(testOp)) {
    (void)llzkFunction_FuncDefOpGetResAttrs(testOp);
  }
 
  mlirOperationDestroy(testOp);
}
 
TEST_F(FunctionOperationLinkTests, llzk_FuncDefOp_SetResAttrsAttr) {
  auto testOp = createIndexOperation();
 
  if (llzkOperationIsA_Function_FuncDefOp(testOp)) {
    llzkFunction_FuncDefOpSetResAttrs(testOp, createIndexAttribute());
  }
 
  mlirOperationDestroy(testOp);
}
 
TEST_F(FunctionOperationLinkTests, llzk_FuncDefOp_GetBodyRegion) {
  auto testOp = createIndexOperation();
 
  if (llzkOperationIsA_Function_FuncDefOp(testOp)) {
    (void)llzkFunction_FuncDefOpGetBody(testOp);
  }
 
  mlirOperationDestroy(testOp);
}

TEST_F(FunctionOperationLinkTests, llzk_FuncDefOp_SetAllowNonNativeFieldOpsAttr) {
  auto testOperation = createIndexOperation();
 
  if (llzkOperationIsA_Function_FuncDefOp(testOperation)) {
    bool newValue = false;
 
    (void)llzkFunction_FuncDefOpSetAllowNonNativeFieldOpsAttr(testOperation, newValue);
  }
 
  mlirOperationDestroy(testOperation);
}

TEST_F(FunctionOperationLinkTests, llzk_FuncDefOp_IsStructProduct) {
  auto testOperation = createIndexOperation();
 
  if (llzkOperationIsA_Function_FuncDefOp(testOperation)) {
 
    (void)llzkFunction_FuncDefOpIsStructProduct(testOperation);
  }
 
  mlirOperationDestroy(testOperation);
}

TEST_F(FunctionOperationLinkTests, llzk_FuncDefOp_HasAllowNonNativeFieldOpsAttr) {
  auto testOperation = createIndexOperation();
 
  if (llzkOperationIsA_Function_FuncDefOp(testOperation)) {
 
    (void)llzkFunction_FuncDefOpHasAllowNonNativeFieldOpsAttr(testOperation);
  }
 
  mlirOperationDestroy(testOperation);
}

TEST_F(FunctionOperationLinkTests, llzk_FuncDefOp_HasArgPublicAttr) {
  auto testOperation = createIndexOperation();
 
  if (llzkOperationIsA_Function_FuncDefOp(testOperation)) {
    unsigned index = 0;
 
    (void)llzkFunction_FuncDefOpHasArgPublicAttr(testOperation, index);
  }
 
  mlirOperationDestroy(testOperation);
}

TEST_F(FunctionOperationLinkTests, llzk_FuncDefOp_NameIsProduct) {
  auto testOperation = createIndexOperation();
 
  if (llzkOperationIsA_Function_FuncDefOp(testOperation)) {
 
    (void)llzkFunction_FuncDefOpNameIsProduct(testOperation);
  }
 
  mlirOperationDestroy(testOperation);
}

TEST_F(FunctionOperationLinkTests, llzk_FuncDefOp_HasAllowWitnessAttr) {
  auto testOperation = createIndexOperation();
 
  if (llzkOperationIsA_Function_FuncDefOp(testOperation)) {
 
    (void)llzkFunction_FuncDefOpHasAllowWitnessAttr(testOperation);
  }
 
  mlirOperationDestroy(testOperation);
}

TEST_F(FunctionOperationLinkTests, llzk_FuncDefOp_HasAllowVerifOpsAttr) {
  auto testOperation = createIndexOperation();
 
  if (llzkOperationIsA_Function_FuncDefOp(testOperation)) {
 
    (void)llzkFunction_FuncDefOpHasAllowVerifOpsAttr(testOperation);
  }
 
  mlirOperationDestroy(testOperation);
}

TEST_F(FunctionOperationLinkTests, llzk_FuncDefOp_HasResName) {
  auto testOperation = createIndexOperation();
 
  if (llzkOperationIsA_Function_FuncDefOp(testOperation)) {
    unsigned index = 0;
 
    (void)llzkFunction_FuncDefOpHasResName(testOperation, index);
  }
 
  mlirOperationDestroy(testOperation);
}

TEST_F(FunctionOperationLinkTests, llzk_FuncDefOp_IsStructConstrain) {
  auto testOperation = createIndexOperation();
 
  if (llzkOperationIsA_Function_FuncDefOp(testOperation)) {
 
    (void)llzkFunction_FuncDefOpIsStructConstrain(testOperation);
  }
 
  mlirOperationDestroy(testOperation);
}

TEST_F(FunctionOperationLinkTests, llzk_FuncDefOp_NameIsCompute) {
  auto testOperation = createIndexOperation();
 
  if (llzkOperationIsA_Function_FuncDefOp(testOperation)) {
 
    (void)llzkFunction_FuncDefOpNameIsCompute(testOperation);
  }
 
  mlirOperationDestroy(testOperation);
}

TEST_F(FunctionOperationLinkTests, llzk_FuncDefOp_IsDeclaration) {
  auto testOperation = createIndexOperation();
 
  if (llzkOperationIsA_Function_FuncDefOp(testOperation)) {
 
    (void)llzkFunction_FuncDefOpIsDeclaration(testOperation);
  }
 
  mlirOperationDestroy(testOperation);
}

TEST_F(FunctionOperationLinkTests, llzk_FuncDefOp_GetSingleResultTypeOfCompute) {
  auto testOperation = createIndexOperation();
 
  if (llzkOperationIsA_Function_FuncDefOp(testOperation)) {
 
    (void)llzkFunction_FuncDefOpGetSingleResultTypeOfCompute(testOperation);
  }
 
  mlirOperationDestroy(testOperation);
}

TEST_F(FunctionOperationLinkTests, llzk_FuncDefOp_GetSelfValueFromConstrain) {
  auto testOperation = createIndexOperation();
 
  if (llzkOperationIsA_Function_FuncDefOp(testOperation)) {
 
    (void)llzkFunction_FuncDefOpGetSelfValueFromConstrain(testOperation);
  }
 
  mlirOperationDestroy(testOperation);
}

TEST_F(FunctionOperationLinkTests, llzk_FuncDefOp_SetAllowVerifOpsAttr) {
  auto testOperation = createIndexOperation();
 
  if (llzkOperationIsA_Function_FuncDefOp(testOperation)) {
    bool newValue = false;
 
    (void)llzkFunction_FuncDefOpSetAllowVerifOpsAttr(testOperation, newValue);
  }
 
  mlirOperationDestroy(testOperation);
}

TEST_F(FunctionOperationLinkTests, llzk_FuncDefOp_NameIsConstrain) {
  auto testOperation = createIndexOperation();
 
  if (llzkOperationIsA_Function_FuncDefOp(testOperation)) {
 
    (void)llzkFunction_FuncDefOpNameIsConstrain(testOperation);
  }
 
  mlirOperationDestroy(testOperation);
}

TEST_F(FunctionOperationLinkTests, llzk_FuncDefOp_SetAllowConstraintAttr) {
  auto testOperation = createIndexOperation();
 
  if (llzkOperationIsA_Function_FuncDefOp(testOperation)) {
    bool newValue = false;
 
    (void)llzkFunction_FuncDefOpSetAllowConstraintAttr(testOperation, newValue);
  }
 
  mlirOperationDestroy(testOperation);
}

TEST_F(FunctionOperationLinkTests, llzk_FuncDefOp_GetCallableRegion) {
  auto testOperation = createIndexOperation();
 
  if (llzkOperationIsA_Function_FuncDefOp(testOperation)) {
 
    (void)llzkFunction_FuncDefOpGetCallableRegion(testOperation);
  }
 
  mlirOperationDestroy(testOperation);
}

TEST_F(FunctionOperationLinkTests, llzk_FuncDefOp_HasAllowConstraintAttr) {
  auto testOperation = createIndexOperation();
 
  if (llzkOperationIsA_Function_FuncDefOp(testOperation)) {
 
    (void)llzkFunction_FuncDefOpHasAllowConstraintAttr(testOperation);
  }
 
  mlirOperationDestroy(testOperation);
}

TEST_F(FunctionOperationLinkTests, llzk_FuncDefOp_IsInStruct) {
  auto testOperation = createIndexOperation();
 
  if (llzkOperationIsA_Function_FuncDefOp(testOperation)) {
 
    (void)llzkFunction_FuncDefOpIsInStruct(testOperation);
  }
 
  mlirOperationDestroy(testOperation);
}

TEST_F(FunctionOperationLinkTests, llzk_FuncDefOp_IsStructCompute) {
  auto testOperation = createIndexOperation();
 
  if (llzkOperationIsA_Function_FuncDefOp(testOperation)) {
 
    (void)llzkFunction_FuncDefOpIsStructCompute(testOperation);
  }
 
  mlirOperationDestroy(testOperation);
}

TEST_F(FunctionOperationLinkTests, llzk_FuncDefOp_SetAllowWitnessAttr) {
  auto testOperation = createIndexOperation();
 
  if (llzkOperationIsA_Function_FuncDefOp(testOperation)) {
    bool newValue = false;
 
    (void)llzkFunction_FuncDefOpSetAllowWitnessAttr(testOperation, newValue);
  }
 
  mlirOperationDestroy(testOperation);
}

TEST_F(FunctionOperationLinkTests, llzk_FuncDefOp_GetSelfValueFromCompute) {
  auto testOperation = createIndexOperation();
 
  if (llzkOperationIsA_Function_FuncDefOp(testOperation)) {
 
    (void)llzkFunction_FuncDefOpGetSelfValueFromCompute(testOperation);
  }
 
  mlirOperationDestroy(testOperation);
}

TEST_F(FunctionOperationLinkTests, llzk_FuncDefOp_GetSelfValueFromProduct) {
  auto testOperation = createIndexOperation();
 
  if (llzkOperationIsA_Function_FuncDefOp(testOperation)) {
 
    (void)llzkFunction_FuncDefOpGetSelfValueFromProduct(testOperation);
  }
 
  mlirOperationDestroy(testOperation);
}

TEST_F(FunctionOperationLinkTests, llzk_FuncDefOp_HasArgName) {
  auto testOperation = createIndexOperation();
 
  if (llzkOperationIsA_Function_FuncDefOp(testOperation)) {
    unsigned index = 0;
 
    (void)llzkFunction_FuncDefOpHasArgName(testOperation, index);
  }
 
  mlirOperationDestroy(testOperation);
}

TEST_F(FunctionOperationLinkTests, llzk_FuncDefOp_GetFullyQualifiedName) {
  auto testOperation = createIndexOperation();
 
  if (llzkOperationIsA_Function_FuncDefOp(testOperation)) {
    bool requireParent = false;
 
    (void)llzkFunction_FuncDefOpGetFullyQualifiedName(testOperation, requireParent);
  }
 
  mlirOperationDestroy(testOperation);
}

TEST_F(FunctionOperationLinkTests, IsA_Function_ReturnOp) {
  auto testOperation = createIndexOperation();
 
  // This will always return false since `createIndex*` returns an MLIR builtin
  EXPECT_FALSE(llzkOperationIsA_Function_ReturnOp(testOperation));
 
  mlirOperationDestroy(testOperation);
}

TEST_F(FunctionOperationLinkTests, llzk_ReturnOp_Build) {
  // Returns an `arith.constant` op, which will never match the ReturnOp dialect check.
  auto testOp = createIndexOperation();
 
  // This condition is always false, so the function is never actually called.
  // We only verify it compiles and links correctly.
  if (llzkOperationIsA_Function_ReturnOp(testOp)) {
    MlirOpBuilder builder = mlirOpBuilderCreate(context);
    MlirLocation location = mlirLocationUnknownGet(context);
    auto dummyValue = mlirOperationGetResult(testOp, 0);
    MlirValue operandsValues[] = {dummyValue};
    intptr_t operandsSize = 0;
 
    (void)llzkFunction_ReturnOpBuild(builder, location, operandsSize, operandsValues);
    // No need to destroy builder or op since this code never runs.
  }
 
  mlirOperationDestroy(testOp);
}
 
struct ReturnOpBuildFuncHelper : public TestAnyBuildFuncHelper<CAPITest> {
  virtual bool callIsA(MlirOperation op) override { return llzkOperationIsA_Function_ReturnOp(op); }
  static std::unique_ptr<ReturnOpBuildFuncHelper> get();
 
protected:
  ReturnOpBuildFuncHelper() = default;
};

TEST_F(CAPITest, Function_ReturnOp_build_pass) { ReturnOpBuildFuncHelper::get()->run(*this); }
 
TEST_F(FunctionOperationLinkTests, llzk_ReturnOp_GetOperandsCount) {
  auto testOp = createIndexOperation();
 
  if (llzkOperationIsA_Function_ReturnOp(testOp)) {
    (void)llzkFunction_ReturnOpGetOperandsCount(testOp);
  }
 
  mlirOperationDestroy(testOp);
}
 
TEST_F(FunctionOperationLinkTests, llzk_ReturnOp_GetOperandsAt) {
  auto testOp = createIndexOperation();
 
  if (llzkOperationIsA_Function_ReturnOp(testOp)) {
    (void)llzkFunction_ReturnOpGetOperandsAt(testOp, 0);
  }
 
  mlirOperationDestroy(testOp);
}
 
TEST_F(FunctionOperationLinkTests, llzk_ReturnOp_SetOperands_Variadic) {
  auto testOp = createIndexOperation();
 
  if (llzkOperationIsA_Function_ReturnOp(testOp)) {
    auto dummyValue = mlirOperationGetResult(testOp, 0);
    MlirValue values[] = {dummyValue};
    llzkFunction_ReturnOpSetOperands(testOp, 1, values);
  }
 
  mlirOperationDestroy(testOp);
}