[RFC] Define precise arith semantics

[tschuett]

I found prior art:

RFC: Support "saturate" arithmetic ops

Hi I would like to lower arithmetic operations into saturated llvm intrinsics. To do so, I want to add some “saturated” attribute to the relevant arithmetic ops, and to change their lowering to consider this flag. Does this change sound reasonable and desired? Omri

Modelling strict floating point behavior in math-like dialects

Hello, Is there a way to model strict floating point behavior in math, arith dialects? I am almost sure there is not, but it is worth asking. I wonder what would be the right way to model floating point control and status words in MLIR, e.g. with an option like clang’s -ffp-exception-behavior=strict a user may expect that an operation writing floating point control word is not reordered with regards to operations that read it, and that two operations writing floating point status word are not…