PolynomialToModArith.td

#ifndef LIB_DIALECT_POLYNOMIAL_CONVERSIONS_POLYNOMIALTOMODARITH_POLYNOMIALTOMODARITH_TD_
#define LIB_DIALECT_POLYNOMIAL_CONVERSIONS_POLYNOMIALTOMODARITH_POLYNOMIALTOMODARITH_TD_

include "mlir/Pass/PassBase.td"

def PolynomialToModArith : Pass<"polynomial-to-mod-arith", "ModuleOp"> {
  let summary = "Lower `polynomial` to standard MLIR dialects.";

  let description = [{
    This pass lowers the `polynomial` dialect to standard MLIR plus `mod_arith`,
    including possibly ops from affine, tensor, linalg, and arith.
  }];
  let dependentDialects = [
    "mlir::LLVM::LLVMDialect",
    "mlir::arith::ArithDialect",
    "mlir::func::FuncDialect",
    "mlir::heir::mod_arith::ModArithDialect",
    "mlir::heir::polynomial::PolynomialDialect",
    "mlir::heir::rns::RNSDialect",
    "mlir::linalg::LinalgDialect",
    "mlir::scf::SCFDialect",
    "mlir::tensor::TensorDialect",
  ];
}

#endif  // LIB_DIALECT_POLYNOMIAL_CONVERSIONS_POLYNOMIALTOMODARITH_POLYNOMIALTOMODARITH_TD_