On 16 April 2018 at 15:42, Alex Bennée <alex.ben...@linaro.org> wrote: > > Bastian Koppelmann <kbast...@mail.uni-paderborn.de> writes: > >> 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> > > Peter are you going to grab these tags or do you want me to re-spin?
'patches' will grab them automatically when it applies the patch. thanks -- PMM
