From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugzilla@gcc.gnu.org>
Received: by sourceware.org (Postfix, from userid 48)
	id 08436385828A; Tue,  5 Mar 2024 10:46:32 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 08436385828A
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1709635593;
	bh=xeQ2qrPM3gxiCksqnkigSAu8xxbq8AbIQjjEN9i1cqk=;
	h=From:To:Subject:Date:From;
	b=VZq+N/ttG5aelGlhUcYxwLIQjBJigN1+HxqxC3T/5h3SRZmHWjIyhU51rf6DOYj9u
	 /oHMyVPS2/p4Q7C766V55B2mma4cTIRFdowh+GzvDi836kgbhiMPzxOiNNx2yKukSU
	 pzVniS5go/RBELZPub7WZ9SDmuqJMBN67ga4UHo8=
From: "rsandifo at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/114234] New: [14 Regression] verify_ssa
 failure with early-break vectorisation
Date: Tue, 05 Mar 2024 10:46:32 +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: ice-on-valid-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: rsandifo 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
 keywords bug_severity priority component assigned_to reporter
 target_milestone
Message-ID: <bug-114234-4@http.gcc.gnu.org/bugzilla/>
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: <gcc-bugs.sourceware.org>

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D114234

            Bug ID: 114234
           Summary: [14 Regression] verify_ssa failure with early-break
                    vectorisation
           Product: gcc
           Version: 14.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: rsandifo at gcc dot gnu.org
  Target Milestone: ---

The following test ICEs with -Ofast on aarch64:

void bar();
float
foo (float x)
{
  float a =3D 1;
  float b =3D x;
  long z =3D 200;
  for (;;)
    {
      float c =3D b - 1.0f;
      a *=3D c;
      z -=3D 1;
      if (z =3D=3D 0)
        {
          bar ();
          break;
        }
      if (b <=3D 3.0f)
        break;
      b =3D c;
    }
  return a * b;
}

(reduced from wrf).  The ICE is:

foo.c:3:1: error: definition in block 15 does not dominate use in block 10
    3 | foo (float x)
      | ^~~
for SSA_NAME: stmp_a_9.10_103 in statement:
a_47 =3D PHI <stmp_a_9.10_103(10), stmp_a_9.10_103(15)>
PHI argument
stmp_a_9.10_103
for PHI node
a_47 =3D PHI <stmp_a_9.10_103(10), stmp_a_9.10_103(15)>
during GIMPLE pass: vect=