[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Qemu-devel] [PATCH 1/2] fpu: Check for inf/x before x/0
From: |
Peter Maydell |
Subject: |
Re: [Qemu-devel] [PATCH 1/2] fpu: Check for inf/x before x/0 |
Date: |
Tue, 17 Apr 2018 10:02:51 +0100 |
On 17 April 2018 at 03:53, Richard Henderson
<address@hidden> wrote:
> The re-factoring of div_floats changed the order of checking meaning
> an operation like -inf/0 erroneously raises the divbyzero flag.
> IEEE-754 (2008) specifies this should only occur for operations
> on finite operands.
>
> We fix this by moving the check on the dividend being Inf/0 to
> before the divisor is zero check.
>
I've applied Alex's fix to master for this, since it seems
more straightforward.
thanks
-- PMM