[Bug target/113048] New: [13/14 Regression] ICE: in lra_split_hard_reg_for, at lra-assigns.cc:1862 (unable to find a register to spill) {*andndi3_doubleword_bmi} with -march=cascadelake

[Bug target/113048] New: [13/14 Regression] ICE: in lra_split_hard_reg_for, at lra-assigns.cc:1862 (unable to find a register to spill) {*andndi3_doubleword_bmi} with -march=cascadelake

[zsojka at seznam dot cz]

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

            Bug ID: 113048
           Summary: [13/14 Regression] ICE: in lra_split_hard_reg_for, at
                    lra-assigns.cc:1862 (unable to find a register to
                    spill) {*andndi3_doubleword_bmi} with
                    -march=cascadelake
           Product: gcc
           Version: 14.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: zsojka at seznam dot cz
  Target Milestone: ---
              Host: x86_64-pc-linux-gnu
            Target: i686-pc-linux-gnu

Created attachment 56893
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=56893&action=edit
reduced testcase

Compiler output:
$ x86_64-pc-linux-gnu-gcc -O1 -march=cascadelake -m32 -fwrapv testcase.c 
testcase.c: In function 'foo0':
testcase.c:13:49: warning: division by zero [-Wdiv-by-zero]
   13 |     (~s64_0 & (0xfb5856dd8a4d4702 & foo0_s16_0) / 0) * u8_1;
      |                                                 ^
testcase.c:22:1: error: unable to find a register to spill
   22 | }
      | ^
testcase.c:22:1: error: this is the insn:
(insn 34 99 109 2 (parallel [
            (set (reg:DI 209 [159])
                (and:DI (not:DI (reg/v:DI 187 [orig:144 s64_0 ] [144]))
                    (reg:DI 199 [182])))
            (clobber (reg:CC 17 flags))
        ]) "testcase.c":13:13 703 {*andndi3_doubleword_bmi}
     (expr_list:REG_DEAD (reg:DI 199 [182])
        (expr_list:REG_DEAD (reg/v:DI 187 [orig:144 s64_0 ] [144])
            (expr_list:REG_UNUSED (reg:CC 17 flags)
                (nil)))))
during RTL pass: reload
testcase.c:22:1: internal compiler error: in lra_split_hard_reg_for, at
lra-assigns.cc:1862
0x8035ef _fatal_insn(char const*, rtx_def const*, char const*, int, char
const*)
        /repo/gcc-trunk/gcc/rtl-error.cc:108
0x12f42dd lra_split_hard_reg_for()
        /repo/gcc-trunk/gcc/lra-assigns.cc:1862
0x12ed9f8 lra(_IO_FILE*, int)
        /repo/gcc-trunk/gcc/lra.cc:2518
0x129badf do_reload
        /repo/gcc-trunk/gcc/ira.cc:5973
0x129badf execute
        /repo/gcc-trunk/gcc/ira.cc:6161
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.

$ x86_64-pc-linux-gnu-gcc -v
Using built-in specs.
COLLECT_GCC=/repo/gcc-trunk/binary-latest-amd64/bin/x86_64-pc-linux-gnu-gcc
COLLECT_LTO_WRAPPER=/repo/gcc-trunk/binary-trunk-r14-6619-20231216150950-g39f9c426f58-checking-yes-rtl-df-extra-nobootstrap-amd64/bin/../libexec/gcc/x86_64-pc-linux-gnu/14.0.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: /repo/gcc-trunk//configure --enable-languages=c,c++
--enable-valgrind-annotations --disable-nls --enable-checking=yes,rtl,df,extra
--disable-bootstrap --with-cloog --with-ppl --with-isl
--build=x86_64-pc-linux-gnu --host=x86_64-pc-linux-gnu
--target=x86_64-pc-linux-gnu --with-ld=/usr/bin/x86_64-pc-linux-gnu-ld
--with-as=/usr/bin/x86_64-pc-linux-gnu-as --disable-libstdcxx-pch
--prefix=/repo/gcc-trunk//binary-trunk-r14-6619-20231216150950-g39f9c426f58-checking-yes-rtl-df-extra-nobootstrap-amd64
Thread model: posix
Supported LTO compression algorithms: zlib zstd
gcc version 14.0.0 20231216 (experimental) (GCC)

[Bug target/113048] [13/14 Regression] ICE: in lra_split_hard_reg_for, at lra-assigns.cc:1862 (unable to find a register to spill) {*andndi3_doubleword_bmi} with -march=cascadelake

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|                            |2023-12-18
   Target Milestone|---                         |13.3
           Priority|P3                          |P2
             Status|UNCONFIRMED                 |NEW
           Keywords|                            |ra
     Ever confirmed|0                           |1
      Known to work|                            |12.3.1

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Confirmed.

[Bug target/113048] [13/14 Regression] ICE: in lra_split_hard_reg_for, at lra-assigns.cc:1862 (unable to find a register to spill) {*andndi3_doubleword_bmi} with -march=cascadelake

[manuel.lauss at googlemail dot com]

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

Manuel Lauss <manuel.lauss at googlemail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |manuel.lauss at googlemail dot com

--- Comment #2 from Manuel Lauss <manuel.lauss at googlemail dot com> ---
I'm seeing similar ICE in xgcc when trying to build GCC-14 for MIPS32;
it goes away when I drop "-fPIC" or "-march=mips32":

/build/./gcc/xgcc -B/build/./gcc -march=mips32 -O2 -c wlocale-inst.ii  -fPIC

/build/mipsel-softfloat-linux-gnu/libstdc++-v3/include/bits/locale_facets.tcc:588:7:
error: unable to find a register to spill
  588 |       }
      |       ^
/build/mipsel-softfloat-linux-gnu/libstdc++-v3/include/bits/locale_facets.tcc:588:7:
error: this is the insn:
(insn 470 2008 2009 82 (parallel [
            (set (reg:SI 908)
                (plus:SI (mult:SI (reg:SI 567 [ __result+4 ])
                        (reg/v:SI 220 [ __base ]))
                    (reg:SI 909)))
            (clobber (reg:SI 796 [762]))
            (clobber (reg:SI 763))
        ])
"/build/mipsel-softfloat-linux-gnu/libstdc++-v3/include/bits/locale_facets.tcc":493:14
42 {*mul_acc_si}
     (expr_list:REG_UNUSED (reg:SI 763)
        (expr_list:REG_UNUSED (reg:SI 796 [762])
            (expr_list:REG_DEAD (reg:SI 909)
                (expr_list:REG_DEAD (reg:SI 567 [ __result+4 ])
                    (nil))))))
during RTL pass: reload
/build/mipsel-softfloat-linux-gnu/libstdc++-v3/include/bits/locale_facets.tcc:588:7:
internal compiler error: in lra_split_hard_reg_for, at lra-assigns.cc:1862

[Bug target/113048] [13/14 Regression] ICE: in lra_split_hard_reg_for, at lra-assigns.cc:1862 (unable to find a register to spill) {*andndi3_doubleword_bmi} with -march=cascadelake since r13-1716

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[13/14 Regression] ICE: in  |[13/14 Regression] ICE: in
                   |lra_split_hard_reg_for, at  |lra_split_hard_reg_for, at
                   |lra-assigns.cc:1862 (unable |lra-assigns.cc:1862 (unable
                   |to find a register to       |to find a register to
                   |spill)                      |spill)
                   |{*andndi3_doubleword_bmi}   |{*andndi3_doubleword_bmi}
                   |with -march=cascadelake     |with -march=cascadelake
                   |                            |since r13-1716
                 CC|                            |jakub at gcc dot gnu.org,
                   |                            |sayle at gcc dot gnu.org,
                   |                            |uros at gcc dot gnu.org,
                   |                            |vmakarov at gcc dot gnu.org

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Started with r13-1716-gfd3d25d6df1cbd385d2834ff3059dfb6905dd75c

[Bug target/113048] [13/14 Regression] ICE: in lra_split_hard_reg_for, at lra-assigns.cc:1862 (unable to find a register to spill) {*andndi3_doubleword_bmi} with -march=cascadelake since r13-1716

[jakub at gcc dot gnu.org]

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

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
(In reply to Manuel Lauss from comment #2)
> I'm seeing similar ICE in xgcc when trying to build GCC-14 for MIPS32;
> it goes away when I drop "-fPIC" or "-march=mips32":

Please file this separately, that is extremely unlikely the same issue.

[Bug rtl-optimization/113048] [13/14 Regression] ICE: in lra_split_hard_reg_for, at lra-assigns.cc:1862 (unable to find a register to spill) {*andndi3_doubleword_bmi} with -march=cascadelake since r13-1716

[ubizjak at gmail dot com]

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

Uroš Bizjak <ubizjak at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|target                      |rtl-optimization

--- Comment #5 from Uroš Bizjak <ubizjak at gmail dot com> ---
(In reply to Jakub Jelinek from comment #3)
> Started with r13-1716-gfd3d25d6df1cbd385d2834ff3059dfb6905dd75c

There is nothing wrong with the constrints in *andndi3_doubleword_bmi:

(define_insn_and_split "*andn<dwi>3_doubleword_bmi"
  [(set (match_operand:<DWI> 0 "register_operand" "=&r,r,r")
        (and:<DWI>
          (not:<DWI> (match_operand:<DWI> 1 "register_operand" "r,0,r"))
          (match_operand:<DWI> 2 "nonimmediate_operand" "ro,ro,0")))
   (clobber (reg:CC FLAGS_REG))]

Reconfirmed as RA problem.

[Bug rtl-optimization/113048] [13/14 Regression] ICE: in lra_split_hard_reg_for, at lra-assigns.cc:1862 (unable to find a register to spill) {*andndi3_doubleword_bmi} with -march=cascadelake since r13-1716

[manuel.lauss at googlemail dot com]

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

--- Comment #6 from Manuel Lauss <manuel.lauss at googlemail dot com> ---
After be977db17c91ad6627dee70a1904a95d229aa1be I don't see this ICE any longer
on either x64 or mips bootstrap.

[Bug rtl-optimization/113048] [13/14 Regression] ICE: in lra_split_hard_reg_for, at lra-assigns.cc:1862 (unable to find a register to spill) {*andndi3_doubleword_bmi} with -march=cascadelake since r13-1716

[vmakarov at gcc dot gnu.org]

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

--- Comment #7 from Vladimir Makarov <vmakarov at gcc dot gnu.org> ---
I believe this PR was recently fixed by
https://gcc.gnu.org/git/gitweb.cgi?p=gcc.git;h=a729b6e002fe76208f33fdcdee49d6a310a1940e

[Bug rtl-optimization/113048] [13/14 Regression] ICE: in lra_split_hard_reg_for, at lra-assigns.cc:1862 (unable to find a register to spill) {*andndi3_doubleword_bmi} with -march=cascadelake since r13-1716

[ubizjak at gmail dot com]

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

--- Comment #8 from Uroš Bizjak <ubizjak at gmail dot com> ---
(In reply to Vladimir Makarov from comment #7)
> I believe this PR was recently fixed by
> https://gcc.gnu.org/git/gitweb.cgi?p=gcc.git;
> h=a729b6e002fe76208f33fdcdee49d6a310a1940e

Yes, I can confirm that the test compiles OK with recent:

xgcc (GCC) 14.0.1 20240115 (experimental) [master r14-7251-g04f22670d32]

[Bug rtl-optimization/113048] [13/14 Regression] ICE: in lra_split_hard_reg_for, at lra-assigns.cc:1862 (unable to find a register to spill) {*andndi3_doubleword_bmi} with -march=cascadelake since r13-1716

[cvs-commit at gcc dot gnu.org]

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

--- Comment #9 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Jakub Jelinek <jakub@gcc.gnu.org>:

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

commit r14-7253-g2e493b697a4cb135b0af6944d0c1f3c8f59e8caf
Author: Jakub Jelinek <jakub@redhat.com>
Date:   Mon Jan 15 17:35:04 2024 +0100

    testsuite: Add testcase for already fixed PR [PR113048]

    The ICE on this testcase was fixed by r14-7141.

    2024-01-15  Jakub Jelinek  <jakub@redhat.com>

            PR rtl-optimization/113048
            * gcc.target/i386/pr113048.c: New test.

[Bug rtl-optimization/113048] [13 Regression] ICE: in lra_split_hard_reg_for, at lra-assigns.cc:1862 (unable to find a register to spill) {*andndi3_doubleword_bmi} with -march=cascadelake since r13-1716

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[13/14 Regression] ICE: in  |[13 Regression] ICE: in
                   |lra_split_hard_reg_for, at  |lra_split_hard_reg_for, at
                   |lra-assigns.cc:1862 (unable |lra-assigns.cc:1862 (unable
                   |to find a register to       |to find a register to
                   |spill)                      |spill)
                   |{*andndi3_doubleword_bmi}   |{*andndi3_doubleword_bmi}
                   |with -march=cascadelake     |with -march=cascadelake
                   |since r13-1716              |since r13-1716

--- Comment #10 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Fixed on the trunk so far.