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 9501B3858C2B; Fri, 25 Aug 2023 03:35:27 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 9501B3858C2B
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1692934527;
	bh=QC6sJxu96ja5/rHvdicBi3IJX1nhrVOd+GfKAKwfmlY=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=YzKfZ6s30oOLhIICeRualeMzAYtnf67GMF4Yy5YVIWDoAMnpKha116LKr8dQYLPih
	 AjR8uPqsJ/D+tPzUISkZp2ZFziDd6RCVYe8FLuaGVxndLM9RjWgrR5GfP/p5UvqUzP
	 JE7Mbe8ovww+zB9WOiDTsFLy3dA0YvBnDbZtFEJU=
From: "juzhe.zhong at rivai dot ai" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/111136] ICE in RISC-V test case since
 r14-3441-ga1558e9ad85693
Date: Fri, 25 Aug 2023 03:35:26 +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: 
X-Bugzilla-Severity: normal
X-Bugzilla-Who: juzhe.zhong at rivai dot ai
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: 
Message-ID: <bug-111136-4-tbxxA0TUIF@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-111136-4@http.gcc.gnu.org/bugzilla/>
References: <bug-111136-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=3D111136

--- Comment #1 from JuzheZhong <juzhe.zhong at rivai dot ai> ---
Hi, Richi.

It faild at RISC-V scatter store cases:

When trying to generate gimple build:

...
.MASK_LEN_SCATTER_STORE (vectp_y.28_130, { 0, 2, 4, ... }, 1, vect__25.27_1=
27,
mask__26.20_117, _135, 0);
...

ICE at:
  /* Stores can't yet have gaps.  */
  gcc_assert (slp_node || vls_type =3D=3D VLS_LOAD || gap =3D=3D 0);

in vectorizable_store.


Since slp_node is null and vls_type =3D=3D VLS_STORE and gap =3D=3D 1
Then assertion failed.

I change it into:
  gcc_assert (slp_node || vls_type =3D=3D VLS_LOAD || vls_type =3D=3D VLS_S=
TORE
              || gap =3D=3D 0);

It passed.

I am not sure it's the correct fix since I saw a comment here:

  /* Stores can't yet have gaps.  */
Means that we should not have scatter store here?=