On 04/13/2018 05:29 PM, Peter Maydell wrote: > On 13 April 2018 at 16:24, Bastian Koppelmann > <kbast...@mail.uni-paderborn.de> wrote: >> However, my risu-like tests found another flag raising problem with >> float32_div. I'll investigate it on Monday.
I found the problem. With float32_div(a, b), if a is inf and b is not inf we just returned a without raising any flag. In div_floats() after the refactor we don't have this case. In my testcase I divided -inf by 0 so the div_floats() function ran into div_by_zero and wrongly raised the corresponding flag. Cheers, Bastian