[all-commits] [llvm/llvm-project] ff614a: [mlir][Interfaces] LISH: Add helpers for hyperrect...

[Matthias Springer via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: ff614a5729e9a4fc32465ad5ff3b87e044429c2d
      https://github.com/llvm/llvm-project/commit/ff614a5729e9a4fc32465ad5ff3b87e044429c2d
  Author: Matthias Springer <me at m-sp.org>
  Date:   2023-11-01 (Wed, 01 Nov 2023)

  Changed paths:
    M mlir/include/mlir/Dialect/Bufferization/IR/BufferizationOps.td
    M mlir/include/mlir/IR/OpDefinition.h
    M mlir/include/mlir/Interfaces/SubsetOpInterface.h
    M mlir/include/mlir/Interfaces/SubsetOpInterface.td
    M mlir/include/mlir/Interfaces/ValueBoundsOpInterface.h
    M mlir/lib/Dialect/Tensor/Transforms/SubsetInsertionOpInterfaceImpl.cpp
    M mlir/lib/Interfaces/CMakeLists.txt
    M mlir/lib/Interfaces/SubsetOpInterface.cpp
    M mlir/lib/Interfaces/ValueBoundsOpInterface.cpp
    M mlir/test/Transforms/loop-invariant-subset-hoisting.mlir
    M utils/bazel/llvm-project-overlay/mlir/BUILD.bazel

  Log Message:
  -----------
  [mlir][Interfaces] LISH: Add helpers for hyperrectangular subsets (#70628)

The majority of subset ops operate on hyperrectangular subsets. This
commit adds a new optional interface method
(`getAccessedHyperrectangularSlice`) that can be implemented by such
subset ops. If implemented, the other `operatesOn...` interface methods
of the `SubsetOpInterface` do not have to be implemented anymore.

The comparison logic for hyperrectangular subsets (is
disjoint/equivalent) is implemented with `ValueBoundsOpInterface`. This
makes the subset hoisting more powerful: simple cases where two
different SSA values always have the same runtime value can now be
supported.