[Bug rtl-optimization/108508] New: [13 Regression] ICE in insert_def_after, at rtl-ssa/accesses.cc:622

["asolokha at gmx dot com" <gcc-bugzilla@gcc.gnu.org>]

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