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

[Adam Siemieniuk]

================
@@ -4694,6 +4674,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(verifyCompatibleShape(expectedPackedType.getShape(),
+                                   packedType.getShape()))) {
+    return op->emitError("the shape of unpacked domain value is not large "
----------------
adam-smnk wrote:

I'd reword this error.
With the new restriction `Expected at least 'tensor<2x8xf32>', got 'tensor<100x8xf32>'` where `<100x8>` is more than large enough 😉

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