[all-commits] [llvm/llvm-project] d5b631: [mlir][Arith] ValueBoundsOpInterface: Reify with A...

[Matthias Springer via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: d5b631240aac61ff4dca064bc495fbadb4bb2453
      https://github.com/llvm/llvm-project/commit/d5b631240aac61ff4dca064bc495fbadb4bb2453
  Author: Matthias Springer <springerm at google.com>
  Date:   2023-04-18 (Tue, 18 Apr 2023)

  Changed paths:
    A mlir/include/mlir/Dialect/Arith/Transforms/Transforms.h
    M mlir/lib/Dialect/Arith/Transforms/CMakeLists.txt
    A mlir/lib/Dialect/Arith/Transforms/ReifyValueBounds.cpp
    M mlir/test/Dialect/Affine/value-bounds-reification.mlir
    M mlir/test/Dialect/Arith/value-bounds-op-interface-impl.mlir
    M mlir/test/lib/Dialect/Affine/CMakeLists.txt
    M mlir/test/lib/Dialect/Affine/TestReifyValueBounds.cpp
    M utils/bazel/llvm-project-overlay/mlir/BUILD.bazel
    M utils/bazel/llvm-project-overlay/mlir/test/BUILD.bazel

  Log Message:
  -----------
  [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