[Mlir-commits] [mlir] [MLIR][ArithToSPIRV] Guard NoSignedWrap/NoUnsignedWrap behind extension/version check (PR #189061)

[Artem Gindinson]

AGindinson wrote:

> I'm not sure about the behavior failing the lowering without extension, maybe there should an option to control this?

As far as I understand, this would amount to illegal SPIR-V. If the user pipeline has failed to set the extension on the target that supports it, the conversion doesn't seem to have a way of determining that the capabilities are actually available. WDYT?

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