On Mon, 4 Feb 2019 at 10:17, Richard Henderson <richard.hender...@linaro.org> wrote: > > On 2/4/19 8:00 AM, Laurent Desnogues wrote: > > The pseudo code asks for NaN inputs to return 0 since FPUnpack returns > > a value of 0 for NaN. > > > > The rest looks correct. > > So it does. I apparently copied the INT_MAX thing from softfloat.c without > double-checking.
I'm a little surprised risu didn't catch that -- it's usually quite keen on checking NaN behaviour... thanks -- PMM