[Bug target/111171] New: [14 Regression] ICE: in decompose, at rtl.h:2297 at -O1 on riscv64-unknown-linux-gnu

[Bug target/111171] New: [14 Regression] ICE: in decompose, at rtl.h:2297 at -O1 on riscv64-unknown-linux-gnu

[zsojka at seznam dot cz]

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

            Bug ID: 111171
           Summary: [14 Regression] ICE: in decompose, at rtl.h:2297 at
                    -O1 on riscv64-unknown-linux-gnu
           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: riscv64-unknown-linux-gnu
             Build: x86_64-pc-linux-gnu

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

Compiler output:
$ riscv64-unknown-linux-gnu-gcc -O testcase.c 
during RTL pass: combine
testcase.c: In function 'foo':
testcase.c:9:1: internal compiler error: in decompose, at rtl.h:2297
    9 | }
      | ^
0x124765c wi::int_traits<std::pair<rtx_def*, machine_mode> >::decompose(long*,
unsigned int, std::pair<rtx_def*, machine_mode> const&)
        /repo/gcc-trunk/gcc/rtl.h:2297
0x124765c wide_int_ref_storage<false,
true>::wide_int_ref_storage<std::pair<rtx_def*, machine_mode>
>(std::pair<rtx_def*, machine_mode> const&)
        /repo/gcc-trunk/gcc/wide-int.h:1030
0x131b806 generic_wide_int<wide_int_ref_storage<false, true>
>::generic_wide_int<std::pair<rtx_def*, machine_mode> >(std::pair<rtx_def*,
machine_mode> const&)
        /repo/gcc-trunk/gcc/wide-int.h:788
0x131b806 simplify_const_unary_operation(rtx_code, machine_mode, rtx_def*,
machine_mode)
        /repo/gcc-trunk/gcc/simplify-rtx.cc:2131
0x132d54d simplify_context::simplify_unary_operation(rtx_code, machine_mode,
rtx_def*, machine_mode)
        /repo/gcc-trunk/gcc/simplify-rtx.cc:889
0x132d54d simplify_context::simplify_gen_unary(rtx_code, machine_mode,
rtx_def*, machine_mode)
        /repo/gcc-trunk/gcc/simplify-rtx.cc:360
0x2297961 simplify_gen_unary(rtx_code, machine_mode, rtx_def*, machine_mode)
        /repo/gcc-trunk/gcc/rtl.h:3520
0x2297961 simplify_comparison
        /repo/gcc-trunk/gcc/combine.cc:13136
0x229ad85 combine_simplify_rtx
        /repo/gcc-trunk/gcc/combine.cc:6176
0x229cf6b subst
        /repo/gcc-trunk/gcc/combine.cc:5609
0x229d0cc subst
        /repo/gcc-trunk/gcc/combine.cc:5536
0x229d0cc subst
        /repo/gcc-trunk/gcc/combine.cc:5536
0x22a1dac try_combine
        /repo/gcc-trunk/gcc/combine.cc:3339
0x22a9d2d combine_instructions
        /repo/gcc-trunk/gcc/combine.cc:1300
0x22a9d2d rest_of_handle_combine
        /repo/gcc-trunk/gcc/combine.cc:15063
0x22a9d2d execute
        /repo/gcc-trunk/gcc/combine.cc:15107
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-unknown-linux-gnu-gcc -v
Using built-in specs.
COLLECT_GCC=/repo/gcc-trunk/binary-latest-riscv64/bin/riscv64-unknown-linux-gnu-gcc
COLLECT_LTO_WRAPPER=/repo/gcc-trunk/binary-trunk-r14-3502-20230827001656-g7997f0d35ef-checking-yes-rtl-df-extra-riscv64/bin/../libexec/gcc/riscv64-unknown-linux-gnu/14.0.0/lto-wrapper
Target: riscv64-unknown-linux-gnu
Configured with: /repo/gcc-trunk//configure --enable-languages=c,c++
--enable-valgrind-annotations --disable-nls --enable-checking=yes,rtl,df,extra
--with-cloog --with-ppl --with-isl --with-isa-spec=2.2
--with-sysroot=/usr/riscv64-unknown-linux-gnu --build=x86_64-pc-linux-gnu
--host=x86_64-pc-linux-gnu --target=riscv64-unknown-linux-gnu
--with-ld=/usr/bin/riscv64-unknown-linux-gnu-ld
--with-as=/usr/bin/riscv64-unknown-linux-gnu-as --disable-multilib
--disable-libstdcxx-pch
--prefix=/repo/gcc-trunk//binary-trunk-r14-3502-20230827001656-g7997f0d35ef-checking-yes-rtl-df-extra-riscv64
Thread model: posix
Supported LTO compression algorithms: zlib zstd
gcc version 14.0.0 20230827 (experimental) (GCC)

[Bug target/111171] [14 Regression] ICE: in decompose, at rtl.h:2297 at -O1 on riscv64-unknown-linux-gnu

[rguenth at gcc dot gnu.org]

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

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

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

[Bug target/111171] [14 Regression] ICE: in decompose, at rtl.h:2297 at -O1 on riscv64-unknown-linux-gnu

[xry111 at gcc dot gnu.org]

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

Xi Ruoyao <xry111 at gcc dot gnu.org> changed:

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

--- Comment #1 from Xi Ruoyao <xry111 at gcc dot gnu.org> ---
Can you try https://gcc.gnu.org/pipermail/gcc-patches/2023-August/627024.html?

[Bug target/111171] [14 Regression] ICE: in decompose, at rtl.h:2297 at -O1 on riscv64-unknown-linux-gnu

[zsojka at seznam dot cz]

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

--- Comment #2 from Zdenek Sojka <zsojka at seznam dot cz> ---
(In reply to Xi Ruoyao from comment #1)
> Can you try
> https://gcc.gnu.org/pipermail/gcc-patches/2023-August/627024.html?

The patch
        * combine.cc (simplify_compare_const): Properly handle unsigned
        constants while narrowing comparison of memory and constants.
fixes this ICE on several testcases

[Bug target/111171] [14 Regression] ICE: in decompose, at rtl.h:2297 at -O1 on riscv64-unknown-linux-gnu

[xry111 at gcc dot gnu.org]

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

Xi Ruoyao <xry111 at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|---                         |DUPLICATE

--- Comment #3 from Xi Ruoyao <xry111 at gcc dot gnu.org> ---
The patch is pushed, marking this as a dup of PR110939.

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