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 C788B3858435; Fri, 26 Apr 2024 14:17:17 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org C788B3858435
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1714141037;
	bh=FNxnNepB9jNbPBYfWEPW4Y5dQK0Nh+astzCHyb4b1tI=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=MANk85kNvqf/FCejHFzAWYla431VKKgvXShZJYrpPIOnZBOPdMSPkp+zgNumWuMB1
	 NbNYzz5p4IhXFjiM+KqkEsr4mTkfWVZWlGQzwVJMu4BMHS6B/cnuuNxK71FwoN4rGU
	 SXpWHBOUvcyXEaL4WQqo2IHazdPpR5KLHdieLBJE=
From: "jakub at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/114801] [14/15 Regression] arm: ICE in
 find_cached_value, at rtx-vector-builder.cc:100 with MVE intrinsics
Date: Fri, 26 Apr 2024 14:17:17 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: target
X-Bugzilla-Version: 14.0
X-Bugzilla-Keywords: ice-on-valid-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: jakub at gcc dot gnu.org
X-Bugzilla-Status: ASSIGNED
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: clyon at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 14.0
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-114801-4-Uq9ZJI0stO@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-114801-4@http.gcc.gnu.org/bugzilla/>
References: <bug-114801-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=3D114801

--- Comment #9 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
(In reply to Christophe Lyon from comment #7)
> This fails because down the call chain from lowpart_subreg, we reach
> gcc_unreachable in rtx_vector_builder::find_cached_value because m_mode =
=3D=3D
> V4BImode (so is MODE_VECTOR_BOOL), but is not a valid expected boolean
> constant vector.

Ah, so the builtin prototype says the argument is unsigned short (or unsign=
ed
char?)
but mode (as the insn predicate mode) is V*BImode in that case?
Then it would still be passed as SImode, so one would need
if (GET_MODE (x) =3D=3D SImode || GET_MODE (x) =3D=3D VOIDmode)
  {
    x =3D lowpart_subreg ((mode =3D=3D HImode || mode =3D=3D V16BImode) ? H=
Imode :
QImode, x, SImode);
    if (mode !=3D HImode)
      x =3D lowpart_subreg (mode, x, mode =3D=3D V16BImode ? HImode : QImod=
e);
  }
Does that second lowpart_subreg create CONST_VECTOR you are looking for?=