[all-commits] [llvm/llvm-project] 9cf9ed: Multiple fixes to affine loop tiling return status...

[Uday Bondhugula via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 9cf9ed94ed3f22c4a9e6c5ddc8faba182e324933
      https://github.com/llvm/llvm-project/commit/9cf9ed94ed3f22c4a9e6c5ddc8faba182e324933
  Author: Uday Bondhugula <uday at polymagelabs.com>
  Date:   2022-01-08 (Sat, 08 Jan 2022)

  Changed paths:
    M mlir/lib/Dialect/Affine/Transforms/LoopTiling.cpp
    M mlir/lib/Transforms/Utils/LoopUtils.cpp
    R mlir/test/Dialect/Affine/loop-tiling-unsupported.mlir
    M mlir/test/Dialect/Affine/loop-tiling-validity.mlir
    M mlir/test/Dialect/Affine/loop-tiling.mlir
    M mlir/test/lib/Dialect/Affine/TestAffineLoopParametricTiling.cpp

  Log Message:
  -----------
  Multiple fixes to affine loop tiling return status and checks

Fix crash in the presence of yield values. Multiple fixes to affine loop
tiling pre-condition checks and return status. Do not signal pass
failure on a failure to tile since the IR is still valid. Detect index
set computation failure in checkIfHyperrectangular and return failure.
Replace assertions with proper status return. Move checks to an
appropriate place earlier in the utility before mutation happens.

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