On 10/25/2013 10:20 AM, Peter Maydell wrote: > Are you sure that doing the arithmetic with the softfloat 128 bit > float operations doesn't set the inexact flag anywhere it > shouldn't? (ie where the intermediate product is not exact in > 128 bit format but the final result is exact in 64 or 32 bits).
The 128 bit multiply cannot given an inexact, and I believe that if the 128 bit addition gives inexact then the 64-bit fma result would also have inexact. r~