https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109008
--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> --- So with [1., 1.] = [1., 1.] + op2 we are calculating op2 = [1., 1.] - [1., 1.] but with FP math we cannot apply such simplification without considering rounding or exponent ranges. Maybe it's enough to "fuzz" the results by half an ulp of both(?) input ranges ...
