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 2EB543856DCB; Fri,  9 Jun 2023 11:18:08 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 2EB543856DCB
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1686309488;
	bh=EqytD7SopToapFTUFl/RcuPok2ha3nCm9jXeIa9tIO8=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=BhB5c/mog9eIm3POTnmgY7fMwX7UlHvSHlQVQ4somfdAKEMDoQYI3m9dMp+KIOb4N
	 Ap1ZHdD/CJeDJMKFX9ThGULbZGXvRtUDA09qjNaGdstXbeFqeW3r78fEykl0HKC5mw
	 GyPNAhen+pyoPl5/9aPTSN+BhDWXRDcX70Qpz3PU=
From: "cvs-commit at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/109800] [11 Regression] arm: ICE (segfault) loading
 double with -mpure-code -mbig-endian
Date: Fri, 09 Jun 2023 11:18:07 +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: 13.0
X-Bugzilla-Keywords: ice-on-valid-code, patch
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: acoplan at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 11.5
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-109800-4-uldq0wtXI2@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-109800-4@http.gcc.gnu.org/bugzilla/>
References: <bug-109800-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=3D109800

--- Comment #5 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-11 branch has been updated by Alex Coplan
<acoplan@gcc.gnu.org>:

https://gcc.gnu.org/g:2d3b72cbbfe7fb38b0e3b8ef2119156cbce57488

commit r11-10852-g2d3b72cbbfe7fb38b0e3b8ef2119156cbce57488
Author: Alex Coplan <alex.coplan@arm.com>
Date:   Thu May 25 13:34:46 2023 +0100

    arm: Fix ICE due to infinite splitting [PR109800]

    In r11-966-g9a182ef9ee011935d827ab5c6c9a7cd8e22257d8 we introduce a
    simplification to emit_move_insn that attempts to simplify moves of the
form:

    (set (subreg:M1 (reg:M2 ...)) (constant C))

    where M1 and M2 are of equal mode size. That is problematic for the
splitter
    vfp.md:no_literal_pool_df_immediate in the arm backend, which tries to =
pun
an
    lvalue DFmode pseudo into DImode and assign a constant to it with
    emit_move_insn, as the new transformation simply undoes this, and we en=
d up
    splitting indefinitely.

    This patch changes things around in the arm backend so that we use a
    DImode temporary (instead of DFmode) and first load the DImode constant
    into the pseudo, and then pun the pseudo into DFmode as an rvalue in a
    reg -> reg move. I believe this should be semantically equivalent but
    avoids the pathalogical behaviour seen in the PR.

    gcc/ChangeLog:

            PR target/109800
            * config/arm/arm.md (movdf): Generate temporary pseudo in DImode
            instead of DFmode.
            * config/arm/vfp.md (no_literal_pool_df_immediate): Rather than
punning an
            lvalue DFmode pseudo into DImode, use a DImode pseudo and pun it
into
            DFmode as an rvalue.

    gcc/testsuite/ChangeLog:

            PR target/109800
            * gcc.target/arm/pure-code/pr109800.c: New test.

    (cherry picked from commit f5298d9969b4fa34ff3aecd54b9630e22b2984a5)=