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

[Mehdi Amini]

joker-eph wrote:

> I would just drop any notion of UB for the static case: it is invalid for an op to be a partial tile and to not provide a padding value.

This is fine, just to keep in mind that canonicalization/folder must include the same checks as the verifier when trying to constant fold the dynamic case into the static one.

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