From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id 11F103858D33; Tue, 24 Jan 2023 04:38:21 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 11F103858D33 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1674535101; bh=Si5xTkVeu8v4lMfgkWOK06zs3LubLZNEQ472lxZ8PWc=; h=From:To:Subject:Date:From; b=wdeYeyMXl+eO8pLY6255IgYuwK6o+1nK+NlL4XT8Q35kthC+23tCpX3pRjJz3FabJ /ohkVLgPn+Raq3AwcO3mUCg2G15bZ/+lNZkqxRG7fO0ZOO3ItkyiOUKB/5y73TAzDX YuUwj70RARRnp61HwLnDeC7saYVr5L3lo8qAlGFY= From: "asolokha at gmx dot com" To: gcc-bugs@gcc.gnu.org Subject: [Bug rtl-optimization/108508] New: [13 Regression] ICE in insert_def_after, at rtl-ssa/accesses.cc:622 Date: Tue, 24 Jan 2023 04:38:20 +0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: new X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: rtl-optimization X-Bugzilla-Version: 13.0 X-Bugzilla-Keywords: ice-on-valid-code X-Bugzilla-Severity: normal X-Bugzilla-Who: asolokha at gmx dot com X-Bugzilla-Status: UNCONFIRMED X-Bugzilla-Resolution: X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: --- X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: bug_id short_desc product version bug_status keywords bug_severity priority component assigned_to reporter target_milestone cf_gcctarget Message-ID: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 List-Id: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D108508 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) I= CEs 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 int test_vld3q_lane_f64 (void) { float64x2x3_t vectors; float64_t temp[2]; int i, j; for (i =3D 0; i < 3; i++) { vst1q_f64 (temp, vectors.val[i]); for (j =3D 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*) =20=20=20=20=20=20=20 /var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.1_p20230122/work/gcc-13-2= 0230122/gcc/rtl-ssa/accesses.cc:622 0x1d86aa6 rtl_ssa::function_info::append_phi(rtl_ssa::ebb_info*, rtl_ssa::phi_info*) =20=20=20=20=20=20=20 /var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.1_p20230122/work/gcc-13-2= 0230122/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) =20=20=20=20=20=20=20 /var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.1_p20230122/work/gcc-13-2= 0230122/gcc/rtl-ssa/blocks.cc:507 0x1d86c70 rtl_ssa::function_info::create_degenerate_phi(rtl_ssa::ebb_info*, rtl_ssa::set_info*) =20=20=20=20=20=20=20 /var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.1_p20230122/work/gcc-13-2= 0230122/gcc/rtl-ssa/blocks.cc:529 0x1cb5e20 rtl_ssa::function_info::finalize_new_accesses(rtl_ssa::insn_chang= e&) =20=20=20=20=20=20=20 /var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.1_p20230122/work/gcc-13-2= 0230122/gcc/rtl-ssa/changes.cc:508 0x1cb658a rtl_ssa::function_info::change_insns(array_slice) =20=20=20=20=20=20=20 /var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.1_p20230122/work/gcc-13-2= 0230122/gcc/rtl-ssa/changes.cc:659 0x1cb6cf4 rtl_ssa::function_info::change_insn(rtl_ssa::insn_change&) =20=20=20=20=20=20=20 /var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.1_p20230122/work/gcc-13-2= 0230122/gcc/rtl-ssa/changes.cc:717 0x1b49d55 try_fwprop_subst_pattern =20=20=20=20=20=20=20 /var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.1_p20230122/work/gcc-13-2= 0230122/gcc/fwprop.cc:553 0x1b49d55 try_fwprop_subst =20=20=20=20=20=20=20 /var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.1_p20230122/work/gcc-13-2= 0230122/gcc/fwprop.cc:627 0x1b4a349 forward_propagate_and_simplify =20=20=20=20=20=20=20 /var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.1_p20230122/work/gcc-13-2= 0230122/gcc/fwprop.cc:823 0x1b4a349 forward_propagate_into =20=20=20=20=20=20=20 /var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.1_p20230122/work/gcc-13-2= 0230122/gcc/fwprop.cc:886 0x1b4a6f6 fwprop_insn =20=20=20=20=20=20=20 /var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.1_p20230122/work/gcc-13-2= 0230122/gcc/fwprop.cc:943 0x1b4a8e2 fwprop =20=20=20=20=20=20=20 /var/tmp/portage/cross-aarch64-linux-gnu/gcc-13.0.1_p20230122/work/gcc-13-2= 0230122/gcc/fwprop.cc:995=