https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108508
Bug ID: 108508
Summary: [13 Regression] ICE in insert_def_after, at
rtl-ssa/accesses.cc:622
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Keywords: ice-on-valid-code
Severity: normal
Priority: P3
Component: rtl-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: asolokha at gmx dot com
Target Milestone: ---
Target: aarch64-linux-gnu
gcc 13.0.1 20230122 snapshot (g:844eab81da3f49da88e8bb02e2b1255ba88d02b0) ICEs
when compiling the following testcase, reduced from
gcc/testsuite/gcc.target/aarch64/vldN_lane_1.c, w/ -O3
-fharden-conditional-branches -fno-dce -fno-guess-branch-probability:
#include <arm_neon.h>
int
test_vld3q_lane_f64 (void)
{
float64x2x3_t vectors;
float64_t temp[2];
int i, j;
for (i = 0; i < 3; i++)
{
vst1q_f64 (temp, vectors.val[i]);
for (j = 0; j < 2; j++)
if (temp[j])
return 1;
}
return 0;
}
void
foo (void)
{
if (test_vld3q_lane_f64 () || test_vld3q_lane_f64 ())
__builtin_abort ();
}
% aarch64-linux-gnu-gcc-13 -O3 -fharden-conditional-branches -fno-dce
-fno-guess-branch-probability -c sajwlgxq.c
during RTL pass: fwprop1
sajwlgxq.c: In function 'foo':
sajwlgxq.c:26:1: internal compiler error: in insert_def_after, at
rtl-ssa/accesses.cc:622
26 | }
| ^
0x884123 rtl_ssa::function_info::insert_def_after(rtl_ssa::def_info*,
rtl_ssa::def_info*)
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.1_p20230122/work/gcc-13-20230122/gcc/rtl-ssa/accesses.cc:622
0x1d86aa6 rtl_ssa::function_info::append_phi(rtl_ssa::ebb_info*,
rtl_ssa::phi_info*)
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.1_p20230122/work/gcc-13-20230122/gcc/rtl-ssa/blocks.cc:383
0x1d86aa6 rtl_ssa::function_info::create_phi(rtl_ssa::ebb_info*,
rtl_ssa::resource_info, rtl_ssa::access_info**, unsigned int)
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.1_p20230122/work/gcc-13-20230122/gcc/rtl-ssa/blocks.cc:507
0x1d86c70 rtl_ssa::function_info::create_degenerate_phi(rtl_ssa::ebb_info*,
rtl_ssa::set_info*)
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.1_p20230122/work/gcc-13-20230122/gcc/rtl-ssa/blocks.cc:529
0x1cb5e20 rtl_ssa::function_info::finalize_new_accesses(rtl_ssa::insn_change&)
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.1_p20230122/work/gcc-13-20230122/gcc/rtl-ssa/changes.cc:508
0x1cb658a
rtl_ssa::function_info::change_insns(array_slice<rtl_ssa::insn_change*>)
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.1_p20230122/work/gcc-13-20230122/gcc/rtl-ssa/changes.cc:659
0x1cb6cf4 rtl_ssa::function_info::change_insn(rtl_ssa::insn_change&)
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.1_p20230122/work/gcc-13-20230122/gcc/rtl-ssa/changes.cc:717
0x1b49d55 try_fwprop_subst_pattern
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.1_p20230122/work/gcc-13-20230122/gcc/fwprop.cc:553
0x1b49d55 try_fwprop_subst
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.1_p20230122/work/gcc-13-20230122/gcc/fwprop.cc:627
0x1b4a349 forward_propagate_and_simplify
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.1_p20230122/work/gcc-13-20230122/gcc/fwprop.cc:823
0x1b4a349 forward_propagate_into
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.1_p20230122/work/gcc-13-20230122/gcc/fwprop.cc:886
0x1b4a6f6 fwprop_insn
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.1_p20230122/work/gcc-13-20230122/gcc/fwprop.cc:943
0x1b4a8e2 fwprop
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.1_p20230122/work/gcc-13-20230122/gcc/fwprop.cc:995
