[mlir][arith] Add ValueBoundsOpInterface impls
authorMatthias Springer <springerm@google.com>
Thu, 6 Apr 2023 01:46:48 +0000 (10:46 +0900)
committerMatthias Springer <springerm@google.com>
Thu, 6 Apr 2023 01:53:08 +0000 (10:53 +0900)
commit3fecf9a5c3c3152e00eae5804b76562931884ef6
tree48a75c6eb0cdc9531b37c9ac76b39e7700e15aa0
parentf1924d965abb043075fe000ebb7d8ca428fda137
[mlir][arith] Add ValueBoundsOpInterface impls

These ops are useful for unit testing. (They do not fold/canonicalize with affine.apply etc.)

Differential Revision: https://reviews.llvm.org/D145696
mlir/include/mlir/Dialect/Arith/IR/ValueBoundsOpInterfaceImpl.h [new file with mode: 0644]
mlir/include/mlir/InitAllDialects.h
mlir/lib/Dialect/Arith/IR/CMakeLists.txt
mlir/lib/Dialect/Arith/IR/ValueBoundsOpInterfaceImpl.cpp [new file with mode: 0644]
mlir/test/Dialect/Arith/value-bounds-op-interface-impl.mlir [new file with mode: 0644]
mlir/test/lib/Dialect/Affine/TestReifyValueBounds.cpp
utils/bazel/llvm-project-overlay/mlir/BUILD.bazel