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

[llvmlistbot at llvm.org]

srcarroll wrote:

> In the dynamic case, we could always require a padding value (if feasible, I forget

A padding value isn't required if the corresponding output dim is static and divides the the corresponding static input dim. That's the whole point of this PR. Unless I'm mistaken about something. 

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