[Qemu-commits] [qemu/qemu] 9cb4e3: fpu/softfloat: check for Inf / x or 0 / x before /...

[GitHub]

  Branch: refs/heads/master
  Home:   https://github.com/qemu/qemu
  Commit: 9cb4e398c2f95c1e837fe9c570e124a55259f725
      
https://github.com/qemu/qemu/commit/9cb4e398c2f95c1e837fe9c570e124a55259f725
  Author: Alex Bennée <address@hidden>
  Date:   2018-04-16 (Mon, 16 Apr 2018)

  Changed paths:
    M fpu/softfloat.c

  Log Message:
  -----------
  fpu/softfloat: check for Inf / x or 0 / x before /0

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.

Signed-off-by: Alex Bennée <address@hidden>
Message-id: address@hidden
Cc: Bastian Koppelmann <address@hidden>
Reviewed-by: Bastian Koppelmann <address@hidden>
Tested-by: Bastian Koppelmann <address@hidden>
Signed-off-by: Peter Maydell <address@hidden>