Re: [Qemu-devel] Checking underflow condition for FRCPE instr [AARCH64]

[Peter Maydell]

On 8 August 2014 11:25, Peter Maydell <address@hidden> wrote:
> Since we've already dealt with the NaN and infinity and
> denormal cases by this point in the code, we know that
>    value == (-1)^S * 2^(exp-1023) * 1.frac
> If you plug in the value == 2.0^1022 and work it out
> you'll find that this corresponds to f64_exp == 1023.

...rechecking my math, if exp - 1023 == 1022 then
exp should be 2045, not 1023, so I guess we do have a
bug here.

My point remains that your email would have been
significantly more helpful if you'd explained that in your
email rather than leaving me to guess at what you were
thinking about...

thanks
-- PMM