From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id 22E113858409; Thu, 4 Jan 2024 17:50:01 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 22E113858409 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1704390601; bh=9V3GH2V3f6lh99akxBSylAjH+wvQPCvZaeLoXW5AJ4g=; h=From:To:Subject:Date:From; b=YHIfe6QL11deyu61rFhHCj4XmswXnmj3sfbgpwlaK34YRb0jCdmnX14WXgXPR9Se7 OgvbtRiDdoOvMYmfA7PYvV2vfOCpnprc84j9lLeFAiCkDlK79wS0LWE63zh6BeqaWn e0xhXjxldgkgarS+uB+7tLGKIsmy5lgcllGKwHtY= From: "jamborm at gcc dot gnu.org" To: gcc-bugs@gcc.gnu.org Subject: [Bug tree-optimization/113237] New: [14 Regression] ICE verify_ssa failed when building 500.perlbench_r since r14-6822-g01f4251b8775c8 Date: Thu, 04 Jan 2024 17:49:59 +0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: new X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: tree-optimization X-Bugzilla-Version: 14.0 X-Bugzilla-Keywords: X-Bugzilla-Severity: normal X-Bugzilla-Who: jamborm at gcc dot gnu.org 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 bug_severity priority component assigned_to reporter cc blocked target_milestone cf_gcchost 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=3D113237 Bug ID: 113237 Summary: [14 Regression] ICE verify_ssa failed when building 500.perlbench_r since r14-6822-g01f4251b8775c8 Product: gcc Version: 14.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: tree-optimization Assignee: unassigned at gcc dot gnu.org Reporter: jamborm at gcc dot gnu.org CC: tnfchris at gcc dot gnu.org Blocks: 26163 Target Milestone: --- Host: x86_64-linux Target: x86_64-linux With a compiler configured with --enable-checking=3Dyes and the following testcase derived from 500.perlbench_r with -O3 -march=3Dx86-64-v3 I get a verify_ssa ICE: $ cat test.c=20 long Perl_pp_split_limit; int Perl_block_gimme(); int Perl_pp_split() { char strend; long iters; int gimme =3D Perl_block_gimme(); while (--Perl_pp_split_limit) { if (gimme) iters++; if (strend) break; } if (iters) return 0; } $ $PREFIX/gcc -O3 -march=3Dx86-64-v3 -S test.c=20 test.c: In function =E2=80=98Perl_pp_split=E2=80=99: test.c:3:5: error: definition in block 4 does not dominate use in block 6 3 | int Perl_pp_split() { | ^~~~~~~~~~~~~ for SSA_NAME: vect_iters_12.12_110 in statement: vect_iters_12.12_111 =3D PHI PHI argument vect_iters_12.12_110 for PHI node vect_iters_12.12_111 =3D PHI during GIMPLE pass: vect test.c:3:5: internal compiler error: verify_ssa failed 0x129673f verify_ssa(bool, bool) /home/mjambor/gcc/mine/src/gcc/tree-ssa.cc:1203 0xf0bcd5 execute_function_todo /home/mjambor/gcc/mine/src/gcc/passes.cc:2095 0xf0c13e execute_todo /home/mjambor/gcc/mine/src/gcc/passes.cc:2142 Please submit a full bug report, with preprocessed source (by using -freport-bug). Please include the complete backtrace with any bug report. See for instructions. I have bisected the failure to r14-6822-g01f4251b8775c8 (middle-end: Support vectorization of loops with multiple exits). I have tried if the patch attached to PR 113137 helps but unfortunately it does not. Referenced Bugs: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D26163 [Bug 26163] [meta-bug] missed optimization in SPEC (2k17, 2k and 2k6 and 95= )=