From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id BB806385B537; Fri, 3 Mar 2023 12:08:16 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org BB806385B537 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1677845296; bh=Y8fnglIW5WuVGmTrp/y7La1NP/EMSrTQXT7b8anELjY=; h=From:To:Subject:Date:From; b=GO1iLI5ot+iIBHo4EgkN2mGU5KbdaJ+w1YowwFi6psJeixdesSqR1VI+AAehVcUHW LVCI9hFJcLq9FAqXyWS+lD8hlHKJaiNVz4ApxYRCjzDIXnOR4BDbRLOUcASbtmhu+f NAidWam6YzkQLkBG7MVx1iixXa/gtmFlYnw+Ya0I= From: "marxin at gcc dot gnu.org" To: gcc-bugs@gcc.gnu.org Subject: [Bug tree-optimization/109008] New: [13 Regression ]Maybe wrong code in scipy package since r13-3926-gd4c2f1d376da6f Date: Fri, 03 Mar 2023 12:08:15 +0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: new 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: marxin at gcc dot gnu.org X-Bugzilla-Status: UNCONFIRMED X-Bugzilla-Resolution: X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: --- X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: bug_id short_desc product version bug_status keywords bug_severity priority component assigned_to reporter cc target_milestone attachments.created Message-ID: 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 Bug ID: 109008 Summary: [13 Regression ]Maybe wrong code in scipy package since r13-3926-gd4c2f1d376da6f Product: gcc Version: 13.0 Status: UNCONFIRMED Keywords: wrong-code Severity: normal Priority: P3 Component: tree-optimization Assignee: unassigned at gcc dot gnu.org Reporter: marxin at gcc dot gnu.org CC: aldyh at gcc dot gnu.org, jakub at gcc dot gnu.org Target Milestone: --- Created attachment 54578 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=3D54578&action=3Dedit test-case Since the revision, the scipy package fails in tests due to: https://github.com/scipy/scipy/blob/main/scipy/integrate/odepack/vode.f#L35= 00-L3515 $ cat /tmp/x.f DOUBLE PRECISION FUNCTION D1MACH (IDUM) INTEGER IDUM C----------------------------------------------------------------------- C This routine computes the unit roundoff of the machine. C This is defined as the smallest positive machine number C u such that 1.0 + u .ne. 1.0 C C Subroutines/functions called by D1MACH.. None C----------------------------------------------------------------------- DOUBLE PRECISION U, COMP U =3D 1.0D0 10 U =3D U*0.5D0 COMP =3D 1.0D0 + U IF (COMP .NE. 1.0D0) GO TO 10 D1MACH =3D U*2.0D0 RETURN END FUNCTION D1MACH $ gcc /tmp/x.f -c -O2 -fdump-tree-optimized=3D/dev/stdout ;; Function d1mach (d1mach_, funcdef_no=3D0, decl_uid=3D4259, cgraph_uid=3D= 1, symbol_order=3D0) __attribute__((fn spec (". w "))) real(kind=3D8) d1mach (integer(kind=3D4) & restrict idum) { [local count: 20293720]: return 0.0; } Before the revision we did: ;; Function d1mach (d1mach_, funcdef_no=3D0, decl_uid=3D4259, cgraph_uid=3D= 1, symbol_order=3D0) Removing basic block 5 __attribute__((fn spec (". w "))) real(kind=3D8) d1mach (integer(kind=3D4) & restrict idum) { real(kind=3D8) u; real(kind=3D8) _1; character(kind=3D4) ivtmp_7; character(kind=3D4) ivtmp_8; [local count: 20293720]: [local count: 1073741824]: # u_2 =3D PHI <1.0e+0(2), u_4(3)> # ivtmp_7 =3D PHI <53(2), ivtmp_8(3)> u_4 =3D u_2 * 5.0e-1; ivtmp_8 =3D ivtmp_7 + 4294967295; if (ivtmp_8 !=3D 0) goto ; [98.11%] else goto ; [1.89%] [local count: 20293720]: _1 =3D u_4 * 2.0e+0; return _1; }=