[all-commits] [llvm/llvm-project] 3a5811: [mlir][affine][NFC] Extract core functionality of ...

[Matthias Springer via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 3a5811a33765534d27d7e6c2afee3e2ccb0550b2
      https://github.com/llvm/llvm-project/commit/3a5811a33765534d27d7e6c2afee3e2ccb0550b2
  Author: Matthias Springer <springerm at google.com>
  Date:   2023-01-04 (Wed, 04 Jan 2023)

  Changed paths:
    M mlir/include/mlir/Dialect/Affine/Analysis/Utils.h
    M mlir/include/mlir/Dialect/SCF/Utils/AffineCanonicalizationUtils.h
    M mlir/lib/Dialect/Affine/Analysis/CMakeLists.txt
    M mlir/lib/Dialect/Affine/Analysis/Utils.cpp
    M mlir/lib/Dialect/SCF/Transforms/LoopCanonicalization.cpp
    M mlir/lib/Dialect/SCF/Transforms/LoopSpecialization.cpp
    M mlir/lib/Dialect/SCF/Utils/AffineCanonicalizationUtils.cpp
    M utils/bazel/llvm-project-overlay/mlir/BUILD.bazel

  Log Message:
  -----------
  [mlir][affine][NFC] Extract core functionality of `canonicalizeMinMaxOp`

Move code from SCF to Affine: Add a new helper function `simplifyConstrainedMinMaxOp` to Affine/Analysis/Utils.h. `canonicalizeMinMaxOp` was originally designed for loop peeling, but it is not SCF-specific and can be used to simplify any affine.min/max ops.

Various functions in SCF/Transforms are simplified by dropping unnecessary parameters.

Differential Revision: https://reviews.llvm.org/D140962