[all-commits] [llvm/llvm-project] dc5371: [MLIR][Affine] Add utility to check if the slice i...

[Vinayaka Bandishti via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: dc537158d5372894b539b7cf90ace3cfe911a520
      https://github.com/llvm/llvm-project/commit/dc537158d5372894b539b7cf90ace3cfe911a520
  Author: Vinayaka Bandishti <vinayaka at polymagelabs.com>
  Date:   2021-04-01 (Thu, 01 Apr 2021)

  Changed paths:
    M mlir/include/mlir/Analysis/Utils.h
    M mlir/include/mlir/Transforms/LoopFusionUtils.h
    M mlir/lib/Analysis/AffineStructures.cpp
    M mlir/lib/Analysis/Utils.cpp
    M mlir/lib/Transforms/Utils/LoopFusionUtils.cpp
    M mlir/test/Transforms/loop-fusion-slice-computation.mlir
    M mlir/test/Transforms/loop-fusion.mlir
    M mlir/test/lib/Transforms/TestLoopFusion.cpp

  Log Message:
  -----------
  [MLIR][Affine] Add utility to check if the slice is valid

Fixes a bug in affine fusion pipeline where an incorrect slice is computed.
After the slice computation is done, original domain of the the source is
compared with the new domain that will result if the fusion succeeds. If the
new domain must be a subset of the original domain for the slice to be
valid. If the slice computed is incorrect, fusion based on such a slice is
avoided.

Relevant test cases are added/edited.

Fixes https://bugs.llvm.org/show_bug.cgi?id=49203

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