[all-commits] [llvm/llvm-project] 254880: [mlir][linalg] Take artificial padding into accoun...

[Han-Chung Wang via All-commits]

  Branch: refs/heads/users/hanhanW/restrict-pack-unpack-folding-patterns
  Home:   https://github.com/llvm/llvm-project
  Commit: 254880973fb98866332f8747f745c1ad003439c7
      https://github.com/llvm/llvm-project/commit/254880973fb98866332f8747f745c1ad003439c7
  Author: hanhanW <hanhan0912 at gmail.com>
  Date:   2025-07-22 (Tue, 22 Jul 2025)

  Changed paths:
    M mlir/include/mlir/Dialect/Linalg/IR/Linalg.h
    M mlir/include/mlir/Dialect/Linalg/IR/LinalgRelayoutOps.td
    M mlir/lib/Dialect/Linalg/IR/LinalgOps.cpp
    M mlir/lib/Dialect/Linalg/Transforms/PackAndUnpackPatterns.cpp
    M mlir/test/Dialect/Linalg/canonicalize.mlir
    M mlir/test/Dialect/Tensor/fold-into-pack-and-unpack.mlir

  Log Message:
  -----------
  [mlir][linalg] Take artificial padding into account for pack/unpack folding.

The revision only folds the tensor.pad/extract_slice op into
linalg.pack/unpack ops only when it is safe to fold.

According to the doc, it is not valid to have artificial padding.

```
- The following relationship for the tiled dimensions holds:
shape(result)[inner_dims_pos[i]] = shape(source)[inner_dims_pos[i]] / inner_tiles[i].
```

The documentation improvement and verifier update will be done in a
separate PR (i.e., https://github.com/llvm/llvm-project/pull/149624).
The revision is a step towards it.

Signed-off-by: hanhanW <hanhan0912 at gmail.com>



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications