[Bug rtl-optimization/124572] [16 Regression] ICE at -O2/3 on aarch64 during RTL pass reload in rtl_verify_bb_layout, at cfgrtl.cc:3122 since r16-1565

[cvs-commit at gcc dot gnu.org]

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

--- Comment #8 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Vladimir Makarov <vmakarov@gcc.gnu.org>:

https://gcc.gnu.org/g:4eef89cc39a629988453e964258374cd7a047b1f

commit r16-8270-g4eef89cc39a629988453e964258374cd7a047b1f
Author: Vladimir N. Makarov <vmakarov@redhat.com>
Date:   Tue Mar 24 09:05:59 2026 -0400

    [PR124572, LRA]: Deal with generation of reload insns during elimination

    It was assumed that elimination in LRA does not generate new reload
    insns.  In the testcase the elimination of SFP subreg generates reload
    insn of the subreg and this insn is added at end of RTL code.  The insn
    is also skipped for necessary processing.  This results in ICE.  The patch
    checks creation of reloads insn during elimination, insert them in the
right
    place, and add them for later processing.

    gcc/ChangeLog:

            PR rtl-optimization/124572
            * lra-eliminations.cc (lra_eliminate): Push new reload insns for
            eliminations in insns.

    gcc/testsuite/ChangeLog:

            PR rtl-optimization/124572
            * gcc.target/aarch64/pr124572.c: New.