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

2025-07-23 Thread Han-Chung Wang via llvm-branch-commits
https://github.com/hanhanW edited https://github.com/llvm/llvm-project/pull/149624 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

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

2025-07-23 Thread 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. +

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

2025-07-23 Thread Han-Chung Wang via llvm-branch-commits
hanhanW wrote: > think you should drop @2548809 from this PR, so we could handle #150127 > separately :) Or target that branch from this one if you're planning to get > that one in first. Otherwise LGTM. I need to land the other one first. Otherwise, the CI is not happy. I recreate the other

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

2025-07-23 Thread Han-Chung Wang via llvm-branch-commits
https://github.com/hanhanW edited https://github.com/llvm/llvm-project/pull/149624 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

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

2025-07-24 Thread Han-Chung Wang via llvm-branch-commits
@@ -150,9 +150,15 @@ 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. +

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

2025-07-24 Thread Han-Chung Wang via llvm-branch-commits
https://github.com/hanhanW updated https://github.com/llvm/llvm-project/pull/149624 >From 6de929abea2ad4fac10605e333050b64eedbb904 Mon Sep 17 00:00:00 2001 From: hanhanW Date: Tue, 22 Jul 2025 15:15:08 -0700 Subject: [PATCH 1/4] [mlir][linalg] Restrict linalg.pack to not have extra padding siz

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

2025-07-24 Thread Han-Chung Wang via llvm-branch-commits
hanhanW wrote: Yes, updated. Thanks for pointing it out! https://github.com/llvm/llvm-project/pull/149624 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/

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

2025-07-24 Thread Han-Chung Wang via llvm-branch-commits
@@ -4717,6 +4697,12 @@ static LogicalResult commonVerifierPackAndUnPackOp(OpTy packOrUnPack) { return op->emitError("mismatch in inner tile sizes specified and shaped of " "tiled dimension in the packed type"); } + if (failed(verifyCompatibleSh

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

2025-07-24 Thread Han-Chung Wang via llvm-branch-commits
@@ -1824,27 +1825,47 @@ func.func @unpack_invalid_outer_dims_perm(%source: tensor<128x256xf32>, %dest: t // - +func.func @pack_with_artificial_padding(%input: tensor<9xf32>, %output: tensor<3x8xf32>) -> tensor<3x8xf32> { + %cst = arith.constant 0.0 : f32 + // expected

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

2025-07-24 Thread Han-Chung Wang via llvm-branch-commits
@@ -150,9 +150,15 @@ 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. +

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

2025-07-24 Thread Han-Chung Wang via llvm-branch-commits
https://github.com/hanhanW closed https://github.com/llvm/llvm-project/pull/149624 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits