On 16 April 2018 at 20:39, Richard Henderson <richard.hender...@linaro.org> wrote: > On 04/16/2018 03:54 AM, Alex Bennée wrote: >> + /* Inf / x or 0 / x */ >> + if (a.cls == float_class_inf || a.cls == float_class_zero) { >> + a.sign = sign; >> + return a; >> + } > > 0/0 should raise an exception.
It does -- we check for 0/0 and Inf/Inf first, just before this check. thanks -- PMM