[all-commits] [llvm/llvm-project] 6f58c1: [mlir][linalg] Use ub.poison in data layout propag...

[Han-Chung Wang via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 6f58c16c494f7a287137d23728fd66d6f176ee9a
      https://github.com/llvm/llvm-project/commit/6f58c16c494f7a287137d23728fd66d6f176ee9a
  Author: Han-Chung Wang <hanhan0912 at gmail.com>
  Date:   2025-09-24 (Wed, 24 Sep 2025)

  Changed paths:
    M mlir/include/mlir/Dialect/Linalg/IR/LinalgRelayoutOps.td
    M mlir/include/mlir/Dialect/Linalg/Transforms/Transforms.h
    M mlir/lib/Dialect/Linalg/IR/LinalgOps.cpp
    M mlir/lib/Dialect/Linalg/Transforms/DataLayoutPropagation.cpp
    M mlir/test/Dialect/Linalg/data-layout-propagation.mlir
    M mlir/test/lib/Dialect/Linalg/TestDataLayoutPropagation.cpp

  Log Message:
  -----------
  [mlir][linalg] Use ub.poison in data layout propagation if a packed operand requires padding. (#159467)

In the past, it was hard to set padding values because we did not have
ub.poison. It is not always correct if we set zeros as padding values.
Now we can use `ub.poison` in this case. The revision adds the support
for setting padding value using `ub.poison` when padding is required in
the propagation. Otherwise, it creates an invalid pack op.

Additionally the revision adds a control option for allowing padding in
the pattern which is false by default. To correctly do this, a new
`requirePaddingValueStrict` method is added which assumes dynamic dims
would mean padding is required.

The revision also removes trailing white space in the lit test file.

Co-authored-by : Nirvedh Meshram <nirvedh at gmail.com>

---------

Signed-off-by: hanhanW <hanhan0912 at gmail.com>
Signed-off-by: Nirvedh Meshram <nirvedh at gmail.com>
Co-authored-by: Nirvedh Meshram <nirvedh at gmail.com>



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