[Mlir-commits] [mlir] [mlir][tosa] Emit a runtime assertion when lowering `tosa.pad` with negative padding (PR #232221)

[Federico Bruzzone]

================

----------------
FedericoBruzzone wrote:

Wait, there are no execution semantics IIUC. 
A _negative_ padding is invalid, so there is no resulting tensor.
With this PR the lowered program fails at the `cf.assert`, before the `tensor.pad` (no UB).

However, `-1` would give 1 + (`-1`) + 2 = 2 for dim 0, but there is no defined meaning for it. Right?

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