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 AFC5C3858404; Tue,  5 Mar 2024 13:19:06 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org AFC5C3858404
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1709644746;
	bh=dJefBtayWdu7crGj4jT2MdQIfNvu+Ivf0G7CtzZKiao=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=u2crJCklbCsXa4wZn69PDr2JdLpMW7mMU8swuNEC6y2Q2bVC5a8fCzBFwApJflVSS
	 4her7FcQeHdifnf/bslpiRds5ciGXCBFgrph4DqeuGkxjmK1SQF6A8xw8le4GKJoY7
	 cbW1fgcPt0FEyac1CCxKT/nPapQ00hSebkVO9vJE=
From: "dcb314 at hotmail dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/114234] [14 Regression] verify_ssa failure
 with early-break vectorisation
Date: Tue, 05 Mar 2024 13:19:05 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
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: dcb314 at hotmail 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: cc
Message-ID: <bug-114234-4-oIq6WBrodj@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-114234-4@http.gcc.gnu.org/bugzilla/>
References: <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

David Binderman <dcb314 at hotmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dcb314 at hotmail dot com

--- Comment #1 from David Binderman <dcb314 at hotmail dot com> ---

For this C code:

int ip4_getbit_a, ip4_getbit_pos, ip4_clrbit_pos;
void ip4_clrbit(int *a) { *a &=3D ip4_clrbit_pos; }
typedef struct {
  char pxlen;
  int prefix
} net_addr_ip4;
void fib_get_chain();
int trie_match_longest_ip4();
int trie_match_next_longest_ip4(net_addr_ip4 *n) {
  int __trans_tmp_1;
  while (n->pxlen) {
    n->pxlen--;
    ip4_clrbit(&n->prefix);
    __trans_tmp_1 =3D ip4_getbit_a >> ip4_getbit_pos;
    if (__trans_tmp_1)
      return 1;
  }
  return 0;
}
void net_roa_check_ip4_trie_tab() {
  net_addr_ip4 px0;
  for (int _n =3D trie_match_longest_ip4(&px0); _n;
       _n =3D trie_match_next_longest_ip4(&px0))
    fib_get_chain();
}

on x86_64, does this:

$ ../results/bin/gcc -c -O3 -march=3Dznver3 -w ~/cvise/bug1021.c
/home/dcb38/cvise/bug1021.c: In function =E2=80=98net_roa_check_ip4_trie_ta=
b=E2=80=99:
/home/dcb38/cvise/bug1021.c:20:6: error: definition in block 19 does not
dominate use in block 14
   20 | void net_roa_check_ip4_trie_tab() {
      |      ^~~~~~~~~~~~~~~~~~~~~~~~~~
for SSA_NAME: _117 in statement:
px0__lsm.22_47 =3D PHI <_117(14), _117(19)>
PHI argument
_117
for PHI node
px0__lsm.22_47 =3D PHI <_117(14), _117(19)>
during GIMPLE pass: vect
/home/dcb38/cvise/bug1021.c:20:6: internal compiler error: verify_ssa failed

The bug first seems to occur sometime between g:1e74ce8983fd4926
and g:71244316cf714725, which is 42 commits.=