Lower polynomial to mod_arith for add/sub/mul_scalar

Author: ZenithalHourlyRate

lib/Dialect/Polynomial/Conversions/PolynomialToModArith/BUILD

@@ -0,0 +1,56 @@
+load("@llvm-project//mlir:tblgen.bzl", "gentbl_cc_library")
+
+package(
+    default_applicable_licenses = ["@heir//:license"],
+    default_visibility = ["//visibility:public"],
+)
+
+cc_library(
+    name = "PolynomialToModArith",
+    srcs = ["PolynomialToModArith.cpp"],
+    hdrs = [
+        "PolynomialToModArith.h",
+    ],
+    deps = [
+        ":pass_inc_gen",
+        "@heir//lib/Dialect/ModArith/IR:Dialect",
+        "@heir//lib/Utils/ConversionUtils",
+        "@llvm-project//llvm:Support",
+        "@llvm-project//mlir:AffineDialect",
+        "@llvm-project//mlir:ArithDialect",
+        "@llvm-project//mlir:DialectUtils",
+        "@llvm-project//mlir:FuncDialect",
+        "@llvm-project//mlir:IR",
+        "@llvm-project//mlir:LLVMDialect",
+        "@llvm-project//mlir:PolynomialDialect",
+        "@llvm-project//mlir:SCFDialect",
+        "@llvm-project//mlir:Support",
+        "@llvm-project//mlir:TensorDialect",
+        "@llvm-project//mlir:TransformUtils",
+    ],
+)
+
+gentbl_cc_library(
+    name = "pass_inc_gen",
+    tbl_outs = [
+        (
+            [
+                "-gen-pass-decls",
+                "-name=PolynomialToModArith",
+            ],
+            "PolynomialToModArith.h.inc",
+        ),
+        (
+            ["-gen-pass-doc"],
+            "PolynomialToModArith.md",
+        ),
+    ],
+    tblgen = "@llvm-project//mlir:mlir-tblgen",
+    td_file = "PolynomialToModArith.td",
+    deps = [
+        "@heir//lib/Dialect/ModArith/IR:ops_inc_gen",
+        "@heir//lib/Dialect/ModArith/IR:td_files",
+        "@llvm-project//mlir:OpBaseTdFiles",
+        "@llvm-project//mlir:PassBaseTdFiles",
+    ],
+)

lib/Dialect/Polynomial/Conversions/PolynomialToModArith/CMakeLists.txt

@@ -0,0 +1,28 @@
+add_heir_pass(PolynomialToModArith)
+
+add_mlir_conversion_library(HEIRPolynomialToModArith
+    PolynomialToModArith.cpp
+
+    DEPENDS
+    HEIRPolynomialToModArithIncGen
+
+    LINK_LIBS PUBLIC
+    HEIRModArith
+    HEIRConversionUtils
+
+    LLVMSupport
+    MLIRAffineDialect
+    MLIRArithDialect
+    MLIRDialectUtils
+    MLIRFuncDialect
+    MLIRFuncTransforms
+    MLIRIR
+    MLIRLLVMDialect
+    MLIRLinalgDialect
+    MLIRPass
+    MLIRPolynomialDialect
+    MLIRSCFDialect
+    MLIRSupport
+    MLIRTensorDialect
+    MLIRTransformUtils
+)