[mlir][Arith] ValueBoundsOpInterface: Reify with Arith ops
authorMatthias Springer <springerm@google.com>
Tue, 18 Apr 2023 07:44:44 +0000 (16:44 +0900)
committerMatthias Springer <springerm@google.com>
Tue, 18 Apr 2023 07:54:56 +0000 (16:54 +0900)
commitd5b631240aac61ff4dca064bc495fbadb4bb2453
tree9c1f282d8eec5d3d9aa30ee79f5af5c110555510
parenta3dfa4e08350b037659f9fa09eddedfe4b471296
[mlir][Arith] ValueBoundsOpInterface: Reify with Arith ops

This revision adds an additional `reifyValueBounds` helper that reifies the IR with Arith ops instead of Affine ops. This is needed to support value bounds for integer types different from `index` in a subsequent revision.

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