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 95E113858289; Thu, 25 May 2023 02:46:20 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 95E113858289
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1684982780;
	bh=s6mkkQnRPW1DHOaN7Lv3nUTkdfURhAN81aI1RFTjzEs=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=l2MrvVJi2lGWNMWgt6yrV//sgOS16ePl/Jm9LOXsPPNH4hGljR0mFBqLffSoIpnqF
	 uK6aEUx7r76c3kgTKflewUFYAOgQBu5efhR/vZk18ppCHnc+xbhh/fsmjn+6N3szWE
	 TSw1Z665j39MkRUcGLUrATYXWSsoQsJL3+x1pjkw=
From: "cvs-commit at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/100106] [10 Regression] ICE in gen_movdi, at
 config/arm/arm.md:6187 since r10-2840-g70cdb21e
Date: Thu, 25 May 2023 02:46:19 +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: 11.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: P2
X-Bugzilla-Assigned-To: edlinger at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 10.5
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-100106-4-eBZeT3QqHw@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-100106-4@http.gcc.gnu.org/bugzilla/>
References: <bug-100106-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=3D100106

--- Comment #10 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Alexandre Oliva <aoliva@gcc.gnu.org>:

https://gcc.gnu.org/g:d6b756447cd58bcca20e6892790582308b869817

commit r14-1187-gd6b756447cd58bcca20e6892790582308b869817
Author: Alexandre Oliva <oliva@adacore.com>
Date:   Wed May 24 03:07:56 2023 -0300

    [PR100106] Reject unaligned subregs when strict alignment is required

    The testcase for pr100106, compiled with optimization for 32-bit
    powerpc -mcpu=3D604 with -mstrict-align expands the initialization of a
    union from a float _Complex value into a load from an SCmode
    constant pool entry, aligned to 4 bytes, into a DImode pseudo,
    requiring 8-byte alignment.

    The patch that introduced the testcase modified simplify_subreg to
    avoid changing the MEM to outermode, but simplify_gen_subreg still
    creates a SUBREG or a MEM that would require stricter alignment than
    MEM's, and lra_constraints appears to get confused by that, repeatedly
    creating unsatisfiable reloads for the SUBREG until it exceeds the
    insn count.

    Avoiding the unaligned SUBREG, expand splits the DImode dest into
    SUBREGs and loads each SImode word of the constant pool with the
    proper alignment.


    for  gcc/ChangeLog

            PR target/100106
            * emit-rtl.cc (validate_subreg): Reject a SUBREG of a MEM that
            requires stricter alignment than MEM's.

    for  gcc/testsuite/ChangeLog

            PR target/100106
            * gcc.target/powerpc/pr100106-sa.c: New.=