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

[Igor Wodiany]

IgWod wrote:

> I don't think we should error out on this: I expect it to be a common case during the lowering. These overflow flags provide additional assumptions and are safe to drop while maintaining the semantics.

I agree with that. The flags can be dropped without altering the functionality, so I feel error is a bit excessive. Can we generate a warning or something similar, since dropping it silently is not ideal either.

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