From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id AE6FF3858D33; Fri, 3 Mar 2023 12:24:41 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org AE6FF3858D33 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1677846281; bh=SuW83SCxKE/K9w6T7nNrzGWD74jzqKbTgloZZXo6vYA=; h=From:To:Subject:Date:In-Reply-To:References:From; b=nM3vEd2TARtMnlvt5/Ckx3UfThn7/GfoEqr7JqFj7gh5fuWLiKcA1lGvNKELm/7Bm CdBk76SL5yr0Ww+Xo6arSgfIbfQhQSqlivTWni7i7sfs/7S7HQzgL7WJ9nRuFC6UNy lKlVv7tBE/hDohSmXBPPGVH1DHB+CC9X23nMInvg= From: "rguenth at gcc dot gnu.org" To: gcc-bugs@gcc.gnu.org Subject: [Bug tree-optimization/109008] [13 Regression] Wrong code in scipy package since r13-3926-gd4c2f1d376da6f Date: Fri, 03 Mar 2023 12:24:41 +0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: tree-optimization X-Bugzilla-Version: 13.0 X-Bugzilla-Keywords: wrong-code X-Bugzilla-Severity: normal X-Bugzilla-Who: rguenth at gcc dot gnu.org X-Bugzilla-Status: NEW X-Bugzilla-Resolution: X-Bugzilla-Priority: P1 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: 13.0 X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: Message-ID: In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 List-Id: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D109008 --- Comment #3 from Richard Biener --- So with [1., 1.] =3D [1., 1.] + op2 we are calculating op2 =3D [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 ...=