From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id 57F133858C36; Fri, 12 Jan 2024 15:32:46 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 57F133858C36 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1705073566; bh=5q/wSua8Jdw5448Mg8NuP3Ey2FzJMTkCy50hQsHVsRk=; h=From:To:Subject:Date:In-Reply-To:References:From; b=aVEbspzqtBxGBGbfN8Q9C8iz8x+k3zT+QT6CY7QmgEavh/fYyTj98wKg3xgTqto6t N0S91O4214KOgM4uqMP5bXPX2ADXDJM4cZf2u+kGdOxbkdg3mrG4v05HDVXQIdU5WY GsVU+x1+AEBnSVNT23ytJUlI42DiItBbgF1aZksc= From: "cvs-commit at gcc dot gnu.org" To: gcc-bugs@gcc.gnu.org Subject: [Bug tree-optimization/113237] [14 Regression] ICE verify_ssa failed when building 500.perlbench_r since r14-6822-g01f4251b8775c8 Date: Fri, 12 Jan 2024 15:32:45 +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: 14.0 X-Bugzilla-Keywords: ice-on-valid-code X-Bugzilla-Severity: normal X-Bugzilla-Who: cvs-commit at gcc dot gnu.org X-Bugzilla-Status: ASSIGNED X-Bugzilla-Resolution: X-Bugzilla-Priority: P1 X-Bugzilla-Assigned-To: tnfchris at gcc dot gnu.org X-Bugzilla-Target-Milestone: 14.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=3D113237 --- Comment #5 from GCC Commits --- The master branch has been updated by Tamar Christina : https://gcc.gnu.org/g:99c0a540d6689ede068f9ba98af6f38c3cd71362 commit r14-7196-g99c0a540d6689ede068f9ba98af6f38c3cd71362 Author: Tamar Christina Date: Fri Jan 12 15:25:58 2024 +0000 middle-end: thread through existing LCSSA variable for alternative exits too [PR113237] Builing on top of the previous patch, similar to when we have a single = exit if we have a case where all exits are considered early exits and there are existing non virtual phi then in order to maintain LCSSA we have to use the exis= ting PHI variables. We can't simply clear them and just rebuild them because the order of the PHIs in the main exit must match the original exit for when we a= dd the skip_epilog guard. But the infrastructure is already in place to maintain them, we just ha= ve to use the right value. gcc/ChangeLog: PR tree-optimization/113237 * tree-vect-loop-manip.cc (slpeel_tree_duplicate_loop_to_edge_c= fg): Use existing LCSSA variable for exit when all exits are early break. gcc/testsuite/ChangeLog: PR tree-optimization/113237 * gcc.dg/vect/vect-early-break_98-pr113237.c: New test.=