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 6829E385703A; Wed, 25 Aug 2021 08:57:11 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 6829E385703A
From: "ubizjak at gmail dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/102057] ICE at -O2 in extract_constrain_insn, at
 recog.c:2670
Date: Wed, 25 Aug 2021 08:57:11 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: target
X-Bugzilla-Version: 12.0
X-Bugzilla-Keywords: ice-on-valid-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: ubizjak at gmail dot com
X-Bugzilla-Status: UNCONFIRMED
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-102057-4-yL5aQq3Iwa@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-102057-4@http.gcc.gnu.org/bugzilla/>
References: <bug-102057-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
X-BeenThere: gcc-bugs@gcc.gnu.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Gcc-bugs mailing list <gcc-bugs.gcc.gnu.org>
List-Unsubscribe: <https://gcc.gnu.org/mailman/options/gcc-bugs>,
 <mailto:gcc-bugs-request@gcc.gnu.org?subject=unsubscribe>
List-Archive: <https://gcc.gnu.org/pipermail/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-request@gcc.gnu.org?subject=help>
List-Subscribe: <https://gcc.gnu.org/mailman/listinfo/gcc-bugs>,
 <mailto:gcc-bugs-request@gcc.gnu.org?subject=subscribe>
X-List-Received-Date: Wed, 25 Aug 2021 08:57:11 -0000

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

--- Comment #1 from Uro=C5=A1 Bizjak <ubizjak at gmail dot com> ---
A recently added peephole is converting:

(insn 229 108 280 22 (parallel [
            (set (reg:CCZ 17 flags)
                (compare:CCZ (ashiftrt:SI (reg:SI 0 ax [orig:90 _12 ] [90])
                        (const_int 2 [0x2]))
                    (const_int 0 [0])))
            (set (reg:SI 0 ax [orig:90 _12 ] [90])
                (ashiftrt:SI (reg:SI 0 ax [orig:90 _12 ] [90])
                    (const_int 2 [0x2])))
        ]) "pr102057.c":32:31 740 {*ashrsi3_cmp}
     (nil))
(insn 280 229 231 22 (set (reg:SI 1 dx [141])
        (const_int 3 [0x3])) "pr102057.c":32:31 75 {*movsi_internal}
     (expr_list:REG_EQUIV (const_int 3 [0x3])
        (nil)))
(insn 231 280 114 22 (set (reg:SI 0 ax [orig:99 iftmp.13_29 ] [99])
        (if_then_else:SI (ne (reg:CCZ 17 flags)
                (const_int 0 [0]))
            (reg:SI 0 ax [orig:99 iftmp.13_29 ] [99])
            (reg:SI 1 dx [141]))) "pr102057.c":32:31 1140 {*movsicc_noc}
     (expr_list:REG_DEAD (reg:CCZ 17 flags)
        (expr_list:REG_DEAD (reg:SI 1 dx [141])
            (nil))))

to:

(insn 429 228 430 22 (parallel [
            (set (reg:CCZ 17 flags)
                (compare:CCZ (ashiftrt:SI (reg:SI 0 ax [orig:90 _12 ] [90])
                        (const_int 2 [0x2]))
                    (const_int 0 [0])))
            (set (reg:SI 41 r13 [orig:137 k ] [137])
                (ashiftrt:SI (reg:SI 0 ax [orig:90 _12 ] [90])
                    (const_int 2 [0x2])))
        ]) "pr102057.c":32:31 -1
     (nil))
(insn 430 429 431 22 (set (reg:SI 0 ax [orig:90 _12 ] [90])
        (const_int 3 [0x3])) "pr102057.c":32:31 -1
     (nil))
(insn 431 430 114 22 (set (reg:SI 0 ax [orig:90 _12 ] [90])
        (if_then_else:SI (ne (reg:CCZ 17 flags)
                (const_int 0 [0]))
            (reg:SI 41 r13 [orig:137 k ] [137])
            (reg:SI 0 ax [orig:90 _12 ] [90]))) "pr102057.c":32:31 -1
     (nil))=