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

[Federico Bruzzone]

FedericoBruzzone wrote:

> How would tosa-validate work around the cond_if issue?

It does not. While I'm not familiar, I expect that `tosa-validate` walks the whole module (including the `cond_if`), so it reports negative constant padding even if the op couldn't be reached. @lhutton1 is it correct?



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