[all-commits] [llvm/llvm-project] 9fbcad: [mlir][linalg] Improve the padding packing loop co...

[Tobias Gysi via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 9fbcad3298569c8c3e0fab3240ecbd2748becb2e
      https://github.com/llvm/llvm-project/commit/9fbcad3298569c8c3e0fab3240ecbd2748becb2e
  Author: Tobias Gysi <gysit at google.com>
  Date:   2021-11-08 (Mon, 08 Nov 2021)

  Changed paths:
    M mlir/lib/Dialect/Linalg/Transforms/HoistPadding.cpp
    M mlir/test/Dialect/Linalg/hoist-padding.mlir
    M mlir/test/Dialect/Linalg/pad-and-hoist.mlir

  Log Message:
  -----------
  [mlir][linalg] Improve the padding packing loop computation.

The revision updates the packing loop search in hoist padding. Instead of considering all loops in the backward slice, we now compute a separate backward slice containing the index computations only. This modification ensures we do not add packing loops that are not used to index the packed buffer due to spurious dependencies. One instance where such spurious dependencies can appear is the extract slice operation introduced between the tile loops of a double tiling.

Depends On D112412

Reviewed By: nicolasvasilache

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