[Mlir-commits] [mlir] [mlir][linalg] Use ub.poison in data layout propagation if a packed operand requires padding. (PR #159467)

[Han-Chung Wang]

================
@@ -239,6 +239,14 @@ def Linalg_PackOp : Linalg_RelayoutOp<"pack", [
                                     ArrayRef<int64_t> outerDimsPerm,
                                     ArrayRef<OpFoldResult> innerTiles);
 
+    // Same as above function but here dynamic dimensions are assumed
+    // to require padding.
+    static bool requirePaddingValueStrict(ArrayRef<int64_t> inputShape,
+                                    ArrayRef<int64_t> innerDimsPos,
+                                    ArrayRef<int64_t> outputShape,
+                                    ArrayRef<int64_t> outerDimsPerm,
+                                    ArrayRef<OpFoldResult> innerTiles);
----------------
hanhanW wrote:

```suggestion
    static bool requirePaddingValueStrict(ArrayRef<int64_t> inputShape,
                                          ArrayRef<int64_t> innerDimsPos,
                                          ArrayRef<int64_t> outputShape,
                                          ArrayRef<int64_t> outerDimsPerm,
                                          ArrayRef<OpFoldResult> innerTiles);
```

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