On Sat, 24 Jun 2017, Marc Glisse wrote: > * if X is NaN, we may get a qNaN with the wrong sign bit. We probably don't > care much though...
The sign bit from a multiplication involving a NaN is not specified. *But* making any of these transformations with a qNaN loses the "invalid" exception from an ordered comparison involving a qNaN, so isn't valid in the case of (qNaNs respected and trapping-math). -- Joseph S. Myers jos...@codesourcery.com