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 AE305384B000; Fri, 26 Apr 2024 17:36:21 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org AE305384B000
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1714152981;
	bh=A4VaLC1tNZY0hKxRQ7TXEOUmzeAOnARi7u9L950pKEY=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=D9gkZWUsVVhuOxiNH1gJwOlZr9gN8APZbR32GrK8ePSsNgReYo8wgIyBsOhYkStq3
	 V2GmwxmOVrCqiWDx5zzuk6JoOB2zSltjmyOs1ElStmvtq0Pi9JtjYHyD0jGTp+K7e5
	 6oek1rkTGN6aweJXlQp3L2Q/82JiHfNNQyz4PZso=
From: "clyon 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 17:36:21 +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: clyon 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-vtl2ipm32d@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 #12 from Christophe Lyon <clyon at gcc dot gnu.org> ---
(In reply to Jakub Jelinek from comment #11)
> So, tried this under the debugger.  All VALID_MVE_PRED_MODE modes have the
> same size, 2 bytes, so I'd go with
>   else if (VALID_MVE_PRED_MODE (mode))
>     {
>       /* unsigned short arguments to functions get promoted to int, undo
> that.  */
>       if (GET_MODE_SIZE (x) !=3D GET_MODE_SIZE (HImode))
>         x =3D gen_lowpart (HImode, x);
>       if (GET_MODE (x) !=3D mode)
>         {
>           /* Nested SUBREGs are invalid.  */
>           if (SUBREG_P (x))
>             x =3D force_reg (GET_MODE (x), x);
>           x =3D lowpart_subreg (mode, x,
>                               GET_MODE (x) =3D=3D VOIDmode ? HImode : GET=
_MODE
> (x));

This still crashes with mode =3D=3D V*BI, because we reach
rtx_vector_builder::find_cached_value() where elt is not a supported consta=
nt.=