From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugzilla@gcc.gnu.org>
Received: by sourceware.org (Postfix, from userid 48)
	id 3BBDB3850849; Fri,  7 Oct 2022 12:27:56 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 3BBDB3850849
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1665145676;
	bh=xfBIrYdc7kdqoq75vY1vVbk1nbhi4SAjFDrYfaMx5ak=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=NS5iRuCCDm5ohianvcefXY546Mio99eIRog3aR67mn9JNpr92v3Orma6+xqPftVT/
	 V/v5JmT+H/exfBWe1Czh9Uwxk5++Eldq+ABL3FN2+OORRrbLLptgSCcHiqULAZxZtz
	 wz7CnUPFD2hYNczCOktFwssVOVFbPab0jTxcRRF0=
From: "cvs-commit at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/107153] [13 Regression] ICE in
 check_loop_closed_ssa_def, at tree-ssa-loop-manip.cc:645
Date: Fri, 07 Oct 2022 12:27:55 +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: 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: P3
X-Bugzilla-Assigned-To: rguenth at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 13.0
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-107153-4-kCubZEdf54@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-107153-4@http.gcc.gnu.org/bugzilla/>
References: <bug-107153-4@http.gcc.gnu.org/bugzilla/>
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: <gcc-bugs.sourceware.org>

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D107153

--- Comment #3 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Richard Biener <rguenth@gcc.gnu.org>:

https://gcc.gnu.org/g:89228e3985c5cdf6be58a3b5b1afcad91e9e3422

commit r13-3161-g89228e3985c5cdf6be58a3b5b1afcad91e9e3422
Author: Richard Biener <rguenther@suse.de>
Date:   Fri Oct 7 10:28:56 2022 +0200

    tree-optimization/107153 - autopar SSA update issue

    autopar performs insertion of stores, eventually requiring a
    virtual loop PHI and assorted LC PHI adjustments which we intend
    to do once after the pass finishes.  But we also perform intermediate
    update_ssa after loop duplication which can lose this fact.  The
    following forces renaming of the virtual operand before the final
    SSA update to fix that.  It also removes the explicit update_ssa
    call from the gimple_duplicate_sese_tail utility as has been done
    for all other such utilities and instead performs the SSA update
    from autopar.

            PR tree-optimization/107153
            * tree-cfg.cc (gimple_duplicate_sese_tail): Do not update
            SSA form here.
            * tree-parloops.cc (gen_parallel_loop): Update SSA form
            after to-exit-first transform, no PHI insertion is necessary.
            (pass_parallelize_loops::execute): Force re-write of the
            virtual operand SSA web.

            * gcc.dg/autopar/pr107153.c: New testcase.=