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 DBEAA3858C5F; Sun, 24 Dec 2023 08:40:09 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org DBEAA3858C5F
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1703407209;
	bh=nqHYQNYuMNYAhcYLTEesrpUKMUc1K+kgGZYdz2j0VHY=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=lGy2UNFTZvxca3KnO3YgOo+VMkvQmm0fH/3hyj3Y9ye5hgotRCFlNNgHx/JXW6IJD
	 FqaYE8akUk8akbE6ub/IStWplB0V4gS0dAuMICVK8X3LlGySCuxw/DDKySoUMSivhy
	 fxPhaZmr2UkH0EHqrtOcgISWVGoTZ5aef2gD+IcQ=
From: "pinskia at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/113126] [14 Regression] ICE: in
 gimple_expand_vec_cond_expr, at gimple-isel.cc:325 at -O1
Date: Sun, 24 Dec 2023 08:39:47 +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: pinskia at gcc dot gnu.org
X-Bugzilla-Status: NEW
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 14.0
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: bug_status cf_reconfirmed_on everconfirmed
Message-ID: <bug-113126-4-gxQ6WLbRg8@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-113126-4@http.gcc.gnu.org/bugzilla/>
References: <bug-113126-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=3D113126

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2023-12-24
     Ever confirmed|0                           |1

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
13:

  h_6 =3D (G) f.0_1;
  _2 =3D h_6 <=3D h_6;
  _3 =3D VEC_COND_EXPR <_2, { -1, -1 }, { 0, 0 }>;
  _4 =3D VIEW_CONVERT_EXPR<G>(_3);


14:

  _2 =3D f.0_1 <=3D f.0_1;
  _3 =3D VEC_COND_EXPR <_2, { -1, -1 }, { 0, 0 }>;
  _4 =3D VIEW_CONVERT_EXPR<G>(_3);

Funny it was introduced accident by r14-2040-g6b32400e19a702 which is there=
 to
fix a TYPE_PRECISION issue.

The result of `vector(2) float` is `vector(2) <signed-boolean:32>` but match
messes up here ...

Which means the patterns here are only valid for scalar conversions and not
vector based conversions or they need to add an conversion between the
resulting `vector boolean` types ...=