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 E23D73851151; Fri, 26 Aug 2022 18:08:45 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org E23D73851151
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1661537325;
	bh=fwYYjW4UWQXGoFoVLMQbCj68zQ/yCcDbTjFtjOYZWOI=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=MKDkNcjPZWk3RlrJ62h/h/ds4lxjsvmn0TQgxnGTpgqxoroawR3SXQyOc/qv+saVg
	 7X7JEnm3PzTfVEsem+O5A6YDssX7ee+2J3oD79JHvvpARFXwBOSxBYiWlj6Cfqy1oy
	 ZHiTgXnyXhOLP3CDbtcVhmREFbb7U9BtCCFXdFJo=
From: "pinskia at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug middle-end/106751] internal compiler error: in purge_dead_edges
 with inline-asm goto
Date: Fri, 26 Aug 2022 18:08:45 +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.2.0
X-Bugzilla-Keywords: ice-on-valid-code, inline-asm, needs-bisection
X-Bugzilla-Severity: normal
X-Bugzilla-Who: pinskia 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: ---
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-106751-4-NBZX7VNZpA@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-106751-4@http.gcc.gnu.org/bugzilla/>
References: <bug-106751-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=3D106751

--- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
On x86_64 we get:

(jump_insn 5 2 8 2 (parallel [
            (asm_operands/v ("# %0") ("") 0 []
                 []
                 [
                    (label_ref:DI 8)
                ] /app/example.cpp:7)
            (clobber (reg:CC 17 flags))
        ]) "/app/example.cpp":7:3 -1
     (expr_list:REG_UNUSED (reg:CC 17 flags)
        (nil))
 -> 8)
(code_label 8 5 9 3 2 ("__label_warn_on") [1 uses])
(note 9 8 10 3 [bb 3] NOTE_INSN_BASIC_BLOCK)


But on PowerPC we get:

(jump_insn 5 2 12 2 (parallel [
            (asm_operands/v ("# %0") ("") 0 []
                 []
                 [
                    (label_ref:SI 8)
                ] /app/example.cpp:7)
            (clobber (reg:SI 98 ca))
        ]) "/app/example.cpp":7:3 -1
     (expr_list:REG_UNUSED (reg:SI 98 ca)
        (nil))
 -> 8)
(insn 12 5 8 2 (set (reg:SI 118)
        (const_int 0 [0])) "/app/example.cpp":11:28 545 {*movsi_internal1}
     (nil))
(code_label 8 12 9 3 2 ("__label_warn_on") [1 uses])

Notice the move before the the label, that is wrong.=