From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id 1980D3833005; Tue, 22 Jun 2021 09:26:14 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 1980D3833005 From: "jakub at gcc dot gnu.org" To: gcc-bugs@gcc.gnu.org Subject: [Bug middle-end/101160] [12 Regression] ICE in df_word_lr_local_compute, at df-problems.c:2962 since r12-1702-g7232f7c4c2d72743 Date: Tue, 22 Jun 2021 09:26:13 +0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: middle-end X-Bugzilla-Version: 12.0 X-Bugzilla-Keywords: ice-on-valid-code X-Bugzilla-Severity: normal X-Bugzilla-Who: jakub at gcc dot gnu.org X-Bugzilla-Status: NEW X-Bugzilla-Resolution: X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: 12.0 X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: cc 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: Tue, 22 Jun 2021 09:26:14 -0000 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D101160 Jakub Jelinek changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |jakub at gcc dot gnu.org --- Comment #2 from Jakub Jelinek --- x86_64 at least. Before the change, the first function contained (insn 12 3 13 2 (clobber (reg:TI 82 [ ])) "param3.C":12:1 -1 (expr_list:REG_UNUSED (reg:TI 82 [ ]) (nil))) (insn 13 12 9 2 (set (reg:TI 82 [ ]) (const_int 0 [0])) "param3.C":12:1 -1 (nil)) (insn 9 13 10 2 (set (reg/i:TI 0 ax) (reg:TI 82 [ ])) "param3.C":12:1 73 {*movti_internal} (expr_list:REG_DEAD (reg:TI 82 [ ]) (nil))) (insn 10 9 0 2 (use (reg/i:TI 0 ax)) "param3.C":12:1 -1 (nil)) in split1, now it has: (insn 11 3 12 2 (clobber (reg:TI 82 [ ])) "param2.C":12:1 -1 (expr_list:REG_UNUSED (reg:TI 82 [ ]) (nil))) (insn 12 11 9 2 (set (reg:TI 82 [ ]) (const_int 0 [0])) "param2.C":12:1 -1 (nil)) (insn 9 12 0 2 (use (reg:TI 82 [ ])) "param2.C":12:1 -1 (nil)) instead and triggers the 2956 if (bb_index =3D=3D EXIT_BLOCK) 2957 { 2958 unsigned regno; 2959 bitmap_iterator bi; 2960 EXECUTE_IF_SET_IN_BITMAP (df->exit_block_uses, FIRST_PSEUDO_REGISTER, 2961 regno, bi) 2962 gcc_unreachable (); 2963 } assertion because pseudo 82 is in df->exit_block_uses.=