[Bug target/113790] New: [14 Regression][riscv64] ICE in curr_insn_transform, at lra-constraints.cc:4294 since r14-4944-gf55cdce3f8dd85

[Bug target/113790] New: [14 Regression][riscv64] ICE in curr_insn_transform, at lra-constraints.cc:4294 since r14-4944-gf55cdce3f8dd85

[mjires at suse dot cz]

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

            Bug ID: 113790
           Summary: [14 Regression][riscv64] ICE in curr_insn_transform,
                    at lra-constraints.cc:4294 since
                    r14-4944-gf55cdce3f8dd85
           Product: gcc
           Version: 14.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: mjires at suse dot cz
                CC: vmakarov at redhat dot com
  Target Milestone: ---
            Target: riscv64

Compiling testcase gcc.c-torture/compile/20120727-2.c results in ICE since
r14-4944-gf55cdce3f8dd85.

$ cat 20120727-2.c
/* { dg-options "-mfpmath=387" { target { i?86-*-* x86_64-*-* } } } */

union {
  char *p;
  double d;
} u;

void
f (void)
{
  u.p = "";
  u.d += 1.1;
}


$ riscv64-linux-gnu-gcc 20120727-2.c -mno-explicit-relocs
-fno-omit-frame-pointer -Oz
20120727-2.c: In function ‘f’:
20120727-2.c:13:1: error: unable to generate reloads for:
   13 | }
      | ^
(insn 20 19 21 2 (set (mem/c:DI (plus:DI (reg/f:DI 65 frame)
                (const_int -24 [0xffffffffffffffe8])) [4 %sfp+-8 S8 A64])
        (reg:DI 143 [142])) "20120727-2.c":12:7 208 {*movdi_64bit}
     (expr_list:REG_DEAD (reg:DI 143 [142])
        (nil)))
during RTL pass: reload
20120727-2.c:13:1: internal compiler error: in curr_insn_transform, at
lra-constraints.cc:4234
0x19851c4 _fatal_insn(char const*, rtx_def const*, char const*, int, char
const*)
        /home/mjires/git/GCC/master/gcc/rtl-error.cc:108
0x1785645 curr_insn_transform
        /home/mjires/git/GCC/master/gcc/lra-constraints.cc:4234
0x17898ab lra_constraints(bool)
        /home/mjires/git/GCC/master/gcc/lra-constraints.cc:5432
0x17722e0 lra(_IO_FILE*, int)
        /home/mjires/git/GCC/master/gcc/lra.cc:2442
0x171b25b do_reload
        /home/mjires/git/GCC/master/gcc/ira.cc:5973
0x171b73c execute
        /home/mjires/git/GCC/master/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.


$ riscv64-linux-gnu-gcc -v
Using built-in specs.
COLLECT_GCC=riscv64-linux-gnu-gcc
COLLECT_LTO_WRAPPER=/home/mjires/built/master/libexec/gcc/riscv64-linux-gnu/14.0.1/lto-wrapper
Target: riscv64-linux-gnu
Configured with: /home/mjires/git/GCC/master/configure
--prefix=/home/mjires/built/master --target=riscv64-linux-gnu
--disable-bootstrap --enable-languages=c,c++ --disable-multilib
--disable-libsanitizer --enable-checking : (reconfigured)
/home/mjires/git/GCC/master/configure --prefix=/home/mjires/built/master
--target=riscv64-linux-gnu --disable-bootstrap --disable-multilib
--disable-libsanitizer --enable-checking target_alias=riscv64-linux-gnu
--enable-languages=c,c++,lto --no-create --no-recursion
Thread model: posix
Supported LTO compression algorithms: zlib zstd
gcc version 14.0.1 20240206 (experimental) (GCC)

[Bug target/113790] [14 Regression][riscv64] ICE in curr_insn_transform, at lra-constraints.cc:4294 since r14-4944-gf55cdce3f8dd85

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |14.0

[Bug target/113790] [14 Regression][riscv64] ICE in curr_insn_transform, at lra-constraints.cc:4294 since r14-4944-gf55cdce3f8dd85

[law at gcc dot gnu.org]

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

Jeffrey A. Law <law at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |law at gcc dot gnu.org
   Last reconfirmed|                            |2024-03-04
             Status|UNCONFIRMED                 |NEW
     Ever confirmed|0                           |1

[Bug target/113790] [14 Regression][riscv64] ICE in curr_insn_transform, at lra-constraints.cc:4294 since r14-4944-gf55cdce3f8dd85

[law at gcc dot gnu.org]

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

Jeffrey A. Law <law at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P4

[Bug target/113790] [14 Regression][riscv64] ICE in curr_insn_transform, at lra-constraints.cc:4294 since r14-4944-gf55cdce3f8dd85

[vmakarov at gcc dot gnu.org]

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

Vladimir Makarov <vmakarov at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |vmakarov at gcc dot gnu.org

--- Comment #1 from Vladimir Makarov <vmakarov at gcc dot gnu.org> ---
I've reproduced it and started to work on it.  I hope to fix it today or on
Monday.

[Bug target/113790] [14 Regression][riscv64] ICE in curr_insn_transform, at lra-constraints.cc:4294 since r14-4944-gf55cdce3f8dd85

[cvs-commit at gcc dot gnu.org]

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

--- Comment #2 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:cebbaa2a84586a7345837f74a53b7a0263bf29ee

commit r14-9401-gcebbaa2a84586a7345837f74a53b7a0263bf29ee
Author: Vladimir N. Makarov <vmakarov@redhat.com>
Date:   Fri Mar 8 14:48:33 2024 -0500

    [PR113790][LRA]: Fixing LRA ICE on riscv64

      LRA failed to consider all insn alternatives when non-reload pseudo
    did not get a hard register.  This resulted in failure to generate
    code by LRA.  The patch fixes this problem.

    gcc/ChangeLog:

            PR target/113790
            * lra-assigns.cc (assign_by_spills): Set up all_spilled_pseudos
            for non-reload pseudo too.

[Bug target/113790] [14 Regression][riscv64] ICE in curr_insn_transform, at lra-constraints.cc:4294 since r14-4944-gf55cdce3f8dd85

[law at gcc dot gnu.org]

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

Jeffrey A. Law <law at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |FIXED
             Status|NEW                         |RESOLVED

--- Comment #3 from Jeffrey A. Law <law at gcc dot gnu.org> ---
Fixed on the trunk.

[Bug target/113790] [14 Regression][riscv64] ICE in curr_insn_transform, at lra-constraints.cc:4294 since r14-4944-gf55cdce3f8dd85

[schwab@linux-m68k.org]

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

Andreas Schwab <schwab@linux-m68k.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |schwab@linux-m68k.org

--- Comment #4 from Andreas Schwab <schwab@linux-m68k.org> ---
*** Bug 114255 has been marked as a duplicate of this bug. ***