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

[Mehdi Amini]

joker-eph wrote:

> Improve tensor.pack verifier to catch more UB cases

I'm confused to see "verifier" and "UB" in the same sentence: these are non-overlapping concepts. If the verifier defines an IR to be invalid, it can't be UB. Only valid IR can be UB since UB is a runtime concept.

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