On 04/16/2018 03:54 PM, Alex Bennée 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. > > Signed-off-by: Alex Bennée <alex.ben...@linaro.org> > Cc: Bastian Koppelmann <kbast...@mail.uni-paderborn.de> > --- > fpu/softfloat.c | 10 +++++----- > 1 file changed, 5 insertions(+), 5 deletions(-)
Reviewed-by: Bastian Koppelmann <kbast...@mail.uni-paderborn.de> Tested-by: Bastian Koppelmann <kbast...@mail.uni-paderborn.de> Cheers, Bastian
