[Mlir-commits] [mlir] [MLIR][tensor] Improve `tensor.pack` verifier to catch more cases with unconditional runtime errors (PR #77217)

[Han-Chung Wang]

https://github.com/hanhanW commented:

This is very rare and I can't think a scenario about it... FYI that the changes about `requirePaddingValue` will break all the downstream projects that use the method. I'm fine with the change, but do we really have a need for this?

```
%0 = tensor.pack %input inner_dims_pos = [1, 0] inner_tiles = [%tile_size_0, %tile_size_1] into %output : tensor<256x128xf32> -> tensor<10x8x?x?xf32>
```

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