https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106959
Bug ID: 106959
Summary: [13 Regression] ICE in curr_insn_transform, at
lra-constraints.cc:4168 (error: unable to generate
reloads), or ICE in simplify_subreg, at
simplify-rtx.cc:7405
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: asolokha at gmx dot com
CC: sayle at gcc dot gnu.org
Target Milestone: ---
Target: x86_64-unknown-linux-gnu
1. gcc 13.0.0 20220911 snapshot (g:0ea5e3f4542832b8da016b152695e64a2a386309)
ICEs when compiling the following testcase w/ -msse4 -O2 -fno-tree-loop-im
--param max-combine-insns=2:
unsigned __int128 n;
int
foo (int x)
{
__int128 a = 0;
int b = !!(n * 2);
while (x < 2)
{
if (a)
{
if (n)
n ^= 1;
else
x <<= 32;
}
a = 1;
}
return b;
}
% x86_64-unknown-linux-gnu-gcc-13.0.0 -msse4 -O2 -fno-tree-loop-im --param
max-combine-insns=2 -w -c nyxubvpd.c
nyxubvpd.c: In function 'foo':
nyxubvpd.c:23:1: error: unable to generate reloads for:
23 | }
| ^
(insn 8 7 62 2 (parallel [
(set (reg:TI 90)
(ashift:TI (reg:V1TI 96 [ n.1_4 ])
(const_int 1 [0x1])))
(clobber (reg:CC 17 flags))
]) "nyxubvpd.c":7:16 747 {ashlti3_doubleword}
(expr_list:REG_DEAD (reg:V1TI 96 [ n.1_4 ])
(expr_list:REG_UNUSED (reg:CC 17 flags)
(nil))))
during RTL pass: reload
nyxubvpd.c:23:1: internal compiler error: in curr_insn_transform, at
lra-constraints.cc:4168
0x730822 _fatal_insn(char const*, rtx_def const*, char const*, int, char
const*)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20220911/work/gcc-13-20220911/gcc/rtl-error.cc:108
0x70a880 curr_insn_transform
/var/tmp/portage/sys-devel/gcc-13.0.0_p20220911/work/gcc-13-20220911/gcc/lra-constraints.cc:4168
0xd41a2e lra_constraints(bool)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20220911/work/gcc-13-20220911/gcc/lra-constraints.cc:5203
0xd2db02 lra(_IO_FILE*)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20220911/work/gcc-13-20220911/gcc/lra.cc:2375
0xce35d9 do_reload
/var/tmp/portage/sys-devel/gcc-13.0.0_p20220911/work/gcc-13-20220911/gcc/ira.cc:5940
0xce35d9 execute
/var/tmp/portage/sys-devel/gcc-13.0.0_p20220911/work/gcc-13-20220911/gcc/ira.cc:6126
2. W/o --param max-combine-insns=2, it yields the following instead:
% x86_64-unknown-linux-gnu-gcc-13.0.0 -msse4 -O2 -fno-tree-loop-im -w -c
nyxubvpd.c
during RTL pass: combine
nyxubvpd.c: In function 'foo':
nyxubvpd.c:23:1: internal compiler error: in simplify_subreg, at
simplify-rtx.cc:7405
23 | }
| ^
0x734cf5 simplify_context::simplify_subreg(machine_mode, rtx_def*,
machine_mode, poly_int<1u, unsigned long>)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20220911/work/gcc-13-20220911/gcc/simplify-rtx.cc:7405
0x1cdb6ff simplify_subreg(machine_mode, rtx_def*, machine_mode, poly_int<1u,
unsigned long>)
/var/tmp/portage/sys-devel/gcc-13.0.0_p20220911/work/gcc-13-20220911/gcc/rtl.h:3498
0x1cdb6ff combine_simplify_rtx
/var/tmp/portage/sys-devel/gcc-13.0.0_p20220911/work/gcc-13-20220911/gcc/combine.cc:5874
0x1cdd76e subst
/var/tmp/portage/sys-devel/gcc-13.0.0_p20220911/work/gcc-13-20220911/gcc/combine.cc:5605
0x1cdd538 subst
/var/tmp/portage/sys-devel/gcc-13.0.0_p20220911/work/gcc-13-20220911/gcc/combine.cc:5532
0x1cdd538 subst
/var/tmp/portage/sys-devel/gcc-13.0.0_p20220911/work/gcc-13-20220911/gcc/combine.cc:5532
0x1cdd538 subst
/var/tmp/portage/sys-devel/gcc-13.0.0_p20220911/work/gcc-13-20220911/gcc/combine.cc:5532
0x1ce0b22 try_combine
/var/tmp/portage/sys-devel/gcc-13.0.0_p20220911/work/gcc-13-20220911/gcc/combine.cc:3336
0x1ce692c combine_instructions
/var/tmp/portage/sys-devel/gcc-13.0.0_p20220911/work/gcc-13-20220911/gcc/combine.cc:1287
0x1ce692c rest_of_handle_combine
/var/tmp/portage/sys-devel/gcc-13.0.0_p20220911/work/gcc-13-20220911/gcc/combine.cc:14978
0x1ce692c execute
/var/tmp/portage/sys-devel/gcc-13.0.0_p20220911/work/gcc-13-20220911/gcc/combine.cc:15023
It is probably a duplicate of PR106933.
