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

[Nicolas Vasilache]

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

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


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