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

[llvmlistbot at llvm.org]

srcarroll wrote:

>  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.

Good point. Sorry I tend to abuse terminology sometimes.  Also the current code uses this phrasing. I'll try to come up with a better description, but any thoughts?

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