On 2/4/19 11:21 AM, Peter Maydell wrote: > 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...
I'm not sure either... Because of other issues, I regenerated the .bin file and the nan case does trigger now. I'm not sure what happened before. r~
