From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id A81B63898535; Fri, 11 Jun 2021 06:41:10 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org A81B63898535 From: "rguenth at gcc dot gnu.org" To: gcc-bugs@gcc.gnu.org Subject: [Bug tree-optimization/101009] [12 Regression] wrong code with "-O3 -fno-tree-sra" Date: Fri, 11 Jun 2021 06:41:10 +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: 12.0 X-Bugzilla-Keywords: wrong-code X-Bugzilla-Severity: normal X-Bugzilla-Who: rguenth at gcc dot gnu.org X-Bugzilla-Status: ASSIGNED X-Bugzilla-Resolution: X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: rguenth at gcc dot gnu.org X-Bugzilla-Target-Milestone: 12.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 X-BeenThere: gcc-bugs@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-bugs mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 11 Jun 2021 06:41:10 -0000 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D101009 --- Comment #6 from Richard Biener --- Hmm, so (compute_affine_dependence stmt_a: g[1].c =3D 1; stmt_b: *f.0_1 =3D g[1]; ) -> no dependence isn't the problem but the problem is (compute_affine_dependence stmt_a: g[1].c =3D 1; stmt_b: *f.0_1 =3D g[1]; (analyze_overlapping_iterations (chrec_a =3D 1) (chrec_b =3D 1) (analyze_ziv_subscript ) (overlap_iterations_a =3D [0]) (overlap_iterations_b =3D [0])) (build_classic_dist_vector dist_vector =3D ( 1 ) ) ) The compute_affine_dependence dumping fails to mark the DR involved, for the second query it's really g[1].c vs. g[1] but that should have a dist vector of 0, not 1 I think.=