mirrors/llvm-project
0
0
Fork 0
mirror of https://github.com/llvm/llvm-project.git synced 2025-04-14 17:56:39 +00:00
Code Issues Projects Releases Wiki Activity

[bazel] Add support for SMT Dialect (#135454)

Browse Source 
This fixes #131480
This commit is contained in:
Pranav Kant 2025-04-11 16:34:49 -07:00 committed by GitHub
parent 6aae1047b6
commit b74dbf7fb2
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 70 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

70
utils/bazel/llvm-project-overlay/mlir/BUILD.bazel
View File

@ -6341,6 +6341,75 @@ cc_library(
],
)
td_library(
name = "SMTTdFiles",
srcs = [
"include/mlir/Dialect/SMT/IR/SMT.td",
"include/mlir/Dialect/SMT/IR/SMTArrayOps.td",
"include/mlir/Dialect/SMT/IR/SMTAttributes.td",
"include/mlir/Dialect/SMT/IR/SMTBitVectorOps.td",
"include/mlir/Dialect/SMT/IR/SMTDialect.td",
"include/mlir/Dialect/SMT/IR/SMTIntOps.td",
"include/mlir/Dialect/SMT/IR/SMTOps.td",
"include/mlir/Dialect/SMT/IR/SMTTypes.td",
],
includes = ["include"],
deps = [
":AttrTdFiles",
":OpBaseTdFiles",
":SideEffectInterfacesTdFiles",
":BuiltinDialectTdFiles",
":ControlFlowInterfacesTdFiles",
":InferTypeOpInterfaceTdFiles",
],
)
gentbl_cc_library(
name = "SMTIncGen",
tbl_outs = {
"include/mlir/Dialect/SMT/IR/SMT.h.inc": ["-gen-op-decls"],
"include/mlir/Dialect/SMT/IR/SMT.cpp.inc": ["-gen-op-defs"],
"include/mlir/Dialect/SMT/IR/SMTDialect.h.inc": [
"-gen-dialect-decls",
"-dialect=smt",
],
"include/mlir/Dialect/SMT/IR/SMTDialect.cpp.inc": [
"-gen-dialect-defs",
"-dialect=smt",
],
"g3doc/Dialects/SMT/SMT.md": ["-gen-op-doc"],
"include/mlir/Dialect/SMT/IR/SMTTypes.h.inc": ["-gen-typedef-decls"],
"include/mlir/Dialect/SMT/IR/SMTTypes.cpp.inc": ["-gen-typedef-defs"],
"include/mlir/Dialect/SMT/IR/SMTAttributes.h.inc": ["-gen-attrdef-decls"],
"include/mlir/Dialect/SMT/IR/SMTAttributes.cpp.inc": ["-gen-attrdef-defs"],
"include/mlir/Dialect/SMT/IR/SMTEnums.h.inc": ["-gen-enum-decls"],
"include/mlir/Dialect/SMT/IR/SMTEnums.cpp.inc": ["-gen-enum-defs"],
},
tblgen = ":mlir-tblgen",
td_file = "include/mlir/Dialect/SMT/IR/SMT.td",
deps = [":SMTTdFiles"],
)
cc_library(
name = "SMTDialect",
srcs = glob([
"lib/Dialect/SMT/IR/*.cpp",
]),
hdrs = glob([
"include/mlir/Dialect/SMT/IR/*.h",
]),
includes = ["include"],
deps = [
":ControlFlowInterfaces"
":IR",
":InferTypeOpInterface",
":SMTIncGen",
":Support",
"//llvm:Support",
],
)
td_library(
name = "SPIRVImageInterfacesTdFiles",
srcs = ["include/mlir/Dialect/SPIRV/Interfaces/SPIRVImageInterfaces.td"],
@ -8769,6 +8838,7 @@ cc_library(
":ShapeToStandard",
":ShapeTransforms",
":ShapeTransformsPassIncGen",
":SMTDialect",
":SparseTensorDialect",
":SparseTensorPipelines",
":SparseTensorTransformOps",