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 ConstrainOperationLinkTests : public CAPITest {};

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

TEST_F(ConstrainOperationLinkTests, llzk_EmitContainmentOp_Build) {
  // Returns an `arith.constant` op, which will never match the EmitContainmentOp 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_Constrain_EmitContainmentOp(testOp)) {
    MlirOpBuilder builder = mlirOpBuilderCreate(context);
    MlirLocation location = mlirLocationUnknownGet(context);
    auto dummyValue = mlirOperationGetResult(testOp, 0);
 
    (void)llzkConstrain_EmitContainmentOpBuild(builder, location, dummyValue, dummyValue);
    // No need to destroy builder or op since this code never runs.
  }
 
  mlirOperationDestroy(testOp);
}
 
struct EmitContainmentOpBuildFuncHelper : public TestAnyBuildFuncHelper<CAPITest> {
  virtual bool callIsA(MlirOperation op) override { return llzkOperationIsA_Constrain_EmitContainmentOp(op); }
  static std::unique_ptr<EmitContainmentOpBuildFuncHelper> get();
 
protected:
  EmitContainmentOpBuildFuncHelper() = default;
};

TEST_F(CAPITest, EmitContainmentOp_build_pass) { EmitContainmentOpBuildFuncHelper::get()->run(*this); }
 
TEST_F(ConstrainOperationLinkTests, llzk_EmitContainmentOp_GetLhs) {
  auto testOp = createIndexOperation();
 
  if (llzkOperationIsA_Constrain_EmitContainmentOp(testOp)) {
    (void)llzkConstrain_EmitContainmentOpGetLhs(testOp);
  }
 
  mlirOperationDestroy(testOp);
}
 
TEST_F(ConstrainOperationLinkTests, llzk_EmitContainmentOp_SetLhs) {
  auto testOp = createIndexOperation();
 
  if (llzkOperationIsA_Constrain_EmitContainmentOp(testOp)) {
    auto dummyValue = mlirOperationGetResult(testOp, 0);
    llzkConstrain_EmitContainmentOpSetLhs(testOp, dummyValue);
  }
 
  mlirOperationDestroy(testOp);
}
 
TEST_F(ConstrainOperationLinkTests, llzk_EmitContainmentOp_GetRhs) {
  auto testOp = createIndexOperation();
 
  if (llzkOperationIsA_Constrain_EmitContainmentOp(testOp)) {
    (void)llzkConstrain_EmitContainmentOpGetRhs(testOp);
  }
 
  mlirOperationDestroy(testOp);
}
 
TEST_F(ConstrainOperationLinkTests, llzk_EmitContainmentOp_SetRhs) {
  auto testOp = createIndexOperation();
 
  if (llzkOperationIsA_Constrain_EmitContainmentOp(testOp)) {
    auto dummyValue = mlirOperationGetResult(testOp, 0);
    llzkConstrain_EmitContainmentOpSetRhs(testOp, dummyValue);
  }
 
  mlirOperationDestroy(testOp);
}

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

TEST_F(ConstrainOperationLinkTests, llzk_EmitEqualityOp_Build) {
  // Returns an `arith.constant` op, which will never match the EmitEqualityOp 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_Constrain_EmitEqualityOp(testOp)) {
    MlirOpBuilder builder = mlirOpBuilderCreate(context);
    MlirLocation location = mlirLocationUnknownGet(context);
    auto dummyValue = mlirOperationGetResult(testOp, 0);
 
    (void)llzkConstrain_EmitEqualityOpBuild(builder, location, dummyValue, dummyValue);
    // No need to destroy builder or op since this code never runs.
  }
 
  mlirOperationDestroy(testOp);
}
 
struct EmitEqualityOpBuildFuncHelper : public TestAnyBuildFuncHelper<CAPITest> {
  virtual bool callIsA(MlirOperation op) override { return llzkOperationIsA_Constrain_EmitEqualityOp(op); }
  static std::unique_ptr<EmitEqualityOpBuildFuncHelper> get();
 
protected:
  EmitEqualityOpBuildFuncHelper() = default;
};

TEST_F(CAPITest, EmitEqualityOp_build_pass) { EmitEqualityOpBuildFuncHelper::get()->run(*this); }
 
TEST_F(ConstrainOperationLinkTests, llzk_EmitEqualityOp_GetLhs) {
  auto testOp = createIndexOperation();
 
  if (llzkOperationIsA_Constrain_EmitEqualityOp(testOp)) {
    (void)llzkConstrain_EmitEqualityOpGetLhs(testOp);
  }
 
  mlirOperationDestroy(testOp);
}
 
TEST_F(ConstrainOperationLinkTests, llzk_EmitEqualityOp_SetLhs) {
  auto testOp = createIndexOperation();
 
  if (llzkOperationIsA_Constrain_EmitEqualityOp(testOp)) {
    auto dummyValue = mlirOperationGetResult(testOp, 0);
    llzkConstrain_EmitEqualityOpSetLhs(testOp, dummyValue);
  }
 
  mlirOperationDestroy(testOp);
}
 
TEST_F(ConstrainOperationLinkTests, llzk_EmitEqualityOp_GetRhs) {
  auto testOp = createIndexOperation();
 
  if (llzkOperationIsA_Constrain_EmitEqualityOp(testOp)) {
    (void)llzkConstrain_EmitEqualityOpGetRhs(testOp);
  }
 
  mlirOperationDestroy(testOp);
}
 
TEST_F(ConstrainOperationLinkTests, llzk_EmitEqualityOp_SetRhs) {
  auto testOp = createIndexOperation();
 
  if (llzkOperationIsA_Constrain_EmitEqualityOp(testOp)) {
    auto dummyValue = mlirOperationGetResult(testOp, 0);
    llzkConstrain_EmitEqualityOpSetRhs(testOp, dummyValue);
  }
 
  mlirOperationDestroy(testOp);
}