[llvm-branch-commits] [mlir] [mlir][linalg] Restrict linalg.pack to not have artificial padding. (PR #149624)

[Han-Chung Wang via llvm-branch-commits]

================
@@ -150,9 +150,13 @@ def Linalg_PackOp : Linalg_RelayoutOp<"pack", [
 
     `padding_value` specifies a padding value at the boundary on non-perfectly
     divisible dimensions. Padding is optional:
-    - If absent, it is UB if the tile does not perfectly divide the dimension.
+    - If absent, it assumes the tile perfectly divides the dimension.
----------------
hanhanW wrote:

I see what you meant. Sorry, somehow I thought that you're talking about the other case. My brain state must be messy when I replied the comments. Yes, I found an invalid test here:

https://github.com/llvm/llvm-project/blob/45d99c26c3513945a454e90b69d48257886f8284/mlir/test/Dialect/Linalg/invalid.mlir#L1692-L1696

https://github.com/llvm/llvm-project/pull/149624