Re: [PATCH] range-op-float: Fix up reverse binary operations [PR109008]

2023-03-09 Thread Richard Biener via Gcc-patches
On Thu, 9 Mar 2023, Jakub Jelinek wrote: > Hi! > > The following testcase is reduced from miscompilation of scipy package. > If we have say lhs = [1., 1.] - [1., 1.] and want to compute the range > of lhs from it, we correctly determine it is [0., 0.] (if computations > are exact, we generally do

[PATCH] range-op-float: Fix up reverse binary operations [PR109008]

2023-03-09 Thread Jakub Jelinek via Gcc-patches
Hi! The following testcase is reduced from miscompilation of scipy package. If we have say lhs = [1., 1.] - [1., 1.] and want to compute the range of lhs from it, we correctly determine it is [0., 0.] (if computations are exact, we generally don't try to round them further in frange_arithmetic).