[Bug target/106407] New: [13 Regression] ICE: in copy_to_mode_reg, at explow.cc:652 with -O2 -fno-dce -fno-tree-dce -fno-tree-dse

[Bug target/106407] New: [13 Regression] ICE: in copy_to_mode_reg, at explow.cc:652 with -O2 -fno-dce -fno-tree-dce -fno-tree-dse

[zsojka at seznam dot cz]

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

            Bug ID: 106407
           Summary: [13 Regression] ICE: in copy_to_mode_reg, at
                    explow.cc:652 with -O2 -fno-dce -fno-tree-dce
                    -fno-tree-dse
           Product: gcc
           Version: 13.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: x86_64-pc-linux-gnu

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

Compiler output:
$ x86_64-pc-linux-gnu-gcc -O2 -fno-dce -fno-tree-dce -fno-tree-dse testcase.c
-Wno-psabi
during RTL pass: dse1
testcase.c: In function 'bar0':
testcase.c:25:1: internal compiler error: in copy_to_mode_reg, at explow.cc:652
   25 | }
      | ^
0x6ceedf copy_to_mode_reg(machine_mode, rtx_def*)
        /repo/gcc-trunk/gcc/explow.cc:652
0x2398123 replace_read
        /repo/gcc-trunk/gcc/dse.cc:2020
0x239d310 check_mem_read_rtx
        /repo/gcc-trunk/gcc/dse.cc:2296
0x239d310 check_mem_read_use
        /repo/gcc-trunk/gcc/dse.cc:2401
0x134ee64 note_uses(rtx_def**, void (*)(rtx_def**, void*), void*)
        /repo/gcc-trunk/gcc/rtlanal.cc:2065
0x239a37a scan_insn
        /repo/gcc-trunk/gcc/dse.cc:2510
0x239a37a dse_step1
        /repo/gcc-trunk/gcc/dse.cc:2775
0x239a37a rest_of_handle_dse
        /repo/gcc-trunk/gcc/dse.cc:3692
0x239a37a execute
        /repo/gcc-trunk/gcc/dse.cc:3765
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-r13-1793-20220722093343-g3c4af0f0549-checking-yes-rtl-df-extra-nobootstrap-amd64/bin/../libexec/gcc/x86_64-pc-linux-gnu/13.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-r13-1793-20220722093343-g3c4af0f0549-checking-yes-rtl-df-extra-nobootstrap-amd64
Thread model: posix
Supported LTO compression algorithms: zlib zstd
gcc version 13.0.0 20220722 (experimental) (GCC)

[Bug target/106407] [13 Regression] ICE: in copy_to_mode_reg, at explow.cc:652 with -O2 -fno-dce -fno-tree-dce -fno-tree-dse since r13-1607-gc3ed9e0d6e96d869

[marxin at gcc dot gnu.org]

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

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
             Status|UNCONFIRMED                 |NEW
            Summary|[13 Regression] ICE: in     |[13 Regression] ICE: in
                   |copy_to_mode_reg, at        |copy_to_mode_reg, at
                   |explow.cc:652 with -O2      |explow.cc:652 with -O2
                   |-fno-dce -fno-tree-dce      |-fno-dce -fno-tree-dce
                   |-fno-tree-dse               |-fno-tree-dse since
                   |                            |r13-1607-gc3ed9e0d6e96d869
                 CC|                            |marxin at gcc dot gnu.org,
                   |                            |sayle at gcc dot gnu.org
   Last reconfirmed|                            |2022-07-22

--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> ---
Also started with r13-1607-gc3ed9e0d6e96d869.

[Bug target/106407] [13 Regression] ICE: in copy_to_mode_reg, at explow.cc:652 with -O2 -fno-dce -fno-tree-dce -fno-tree-dse since r13-1607-gc3ed9e0d6e96d869

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |13.0

[Bug target/106407] [13 Regression] ICE: in copy_to_mode_reg, at explow.cc:652 with -O2 -fno-dce -fno-tree-dce -fno-tree-dse since r13-1607-gc3ed9e0d6e96d869

[roger at nextmovesoftware dot com]

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

Roger Sayle <roger at nextmovesoftware dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |roger at nextmovesoftware dot com
             Status|NEW                         |RESOLVED
         Resolution|---                         |DUPLICATE

--- Comment #2 from Roger Sayle <roger at nextmovesoftware dot com> ---
I can confirm that this failure is also (will also be) fixed by the patch for
PR 106303 (thanks to H.J. Lu) that I'm currently bootstrapping and regression
testing. Sorry for the inconvenience.

*** This bug has been marked as a duplicate of bug 106303 ***