[Mlir-commits] [mlir] [mlir][tosa] Fail lowering of `tosa.pad` -> `tensor.pad` with -1 padding (PR #232221)

[Federico Bruzzone]

FedericoBruzzone wrote:

You're right. 
Moreover, even just within TOSA, since it includes [`COND_IF`](https://www.mlplatform.org/tosa/tosa_spec_1_0_2.html#_cond_if), your reasoning holds. 
I was under the impression that it didn't have any control flow...

That said, given the nature of SSA values for the verifier, we have to make one of these [two decisions](https://github.com/llvm/llvm-project/pull/232221#issuecomment-6191867340) during the lowering phase. I agree.

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