On 19 January 2017 at 15:29, Richard Henderson <r...@twiddle.net> wrote: > The description in see in the manual on page 387 is more precise than what > you quote above: > > # If IR is exact, choose IR. > # Otherwise choose NL, and if Guard=1, Round=1 or Sticky=1, > # the least significant bit of the result is set to 1. > > The "choose NL" part means round-to-zero, which means that we do not > overflow to infinity. And since FLOAT128_MAX is already odd, we're done.
...so it does have the same semantics as ARM. Good :-) thanks -- PMM
