[all-commits] [llvm/llvm-project] ada580: [mlir] Enable cleanup of single iteration reductio...

[Sumesh Udayakumaran via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: ada580863f8941f8b0426be0d78249f4cfa8f4d5
      https://github.com/llvm/llvm-project/commit/ada580863f8941f8b0426be0d78249f4cfa8f4d5
  Author: Sumesh Udayakumaran <sumesh.uk at gmail.com>
  Date:   2021-07-16 (Fri, 16 Jul 2021)

  Changed paths:
    M mlir/include/mlir/Analysis/Utils.h
    M mlir/include/mlir/Dialect/Affine/IR/AffineOps.h
    M mlir/include/mlir/Transforms/LoopFusionUtils.h
    M mlir/lib/Analysis/Utils.cpp
    M mlir/lib/Dialect/Affine/IR/AffineOps.cpp
    M mlir/lib/Transforms/LoopFusion.cpp
    M mlir/lib/Transforms/Utils/LoopFusionUtils.cpp
    M mlir/test/Transforms/loop-fusion.mlir

  Log Message:
  -----------
  [mlir] Enable cleanup of single iteration reduction loops being sibling-fused maximally

Changes include the following:
    1. Single iteration reduction loops being sibling fused at innermost insertion level
     are skipped from being considered as sequential loops.
    Otherwise, the slice bounds of these loops is reset.

    2. Promote loops that are skipped in previous step into outer loops.

    3. Two utility function - buildSliceTripCountMap, getSliceIterationCount - are moved from
mlir/lib/Transforms/Utils/LoopFusionUtils.cpp to mlir/lib/Analysis/Utils.cpp

Reviewed By: bondhugula, vinayaka-polymage

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