[all-commits] [llvm/llvm-project] b3ed6e: [mlir][Linalg] Fix hoist padding through scf.for i...

[Nicolas Vasilache via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: b3ed6e545568a2b483561b416c36942ce2e5d2a2
      https://github.com/llvm/llvm-project/commit/b3ed6e545568a2b483561b416c36942ce2e5d2a2
  Author: Nicolas Vasilache <nicolas.vasilache at gmail.com>
  Date:   2023-04-13 (Thu, 13 Apr 2023)

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

  Log Message:
  -----------
  [mlir][Linalg] Fix hoist padding through scf.for iter_arg

Previously, hoisting through an iter_arg would mistakenly yield the unpadded value and
cast it to the padded value.

This was incorrect and resulted in out-of-bounds accesses.
The correct formulation is to yield the padded value and extract a smaller dynamic slice
out of it.

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