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 58F4D3858C2B; Tue,  3 Jan 2023 15:57:31 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 58F4D3858C2B
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1672761451;
	bh=Mk//72HN9c8WHzSn6Rf+DCJ/EsNAT/wc7UiDuj7pffo=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=Z4WaW5GNBxYZ7tbs/9x4u63avG2//HAxs4BzON2Jeo5PCR7IBMDxoYHIGH1kWFqag
	 4r2dphJDAXROUzGDDM1+bX9sQcQEH8G6i2r14qSVCGKgWjbCE856vlv8Xg+ghLeKpA
	 QDS0yNwmDV967+aIw/hwju5c0/aOuXp6Eq+ExdI0=
From: "jakub at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug middle-end/108237] [13 Regression] ICE: in
 gimple_expand_vec_cond_expr, at gimple-isel.cc:281 at -O since
 r13-1085-g90467f0ad649d081
Date: Tue, 03 Jan 2023 15:57:29 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: middle-end
X-Bugzilla-Version: 13.0
X-Bugzilla-Keywords: ice-on-valid-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: jakub 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: 13.0
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: cc
Message-ID: <bug-108237-4-MmuRhkS5VN@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-108237-4@http.gcc.gnu.org/bugzilla/>
References: <bug-108237-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=3D108237

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jakub at gcc dot gnu.org

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Bet another case of post-veclower folding that turns out something we can
handle into something we can't.
In this case fre5 after veclower21 triggers:
/* Simplify comparison of something with itself.  For IEEE
   floating-point, we can only do some of these simplifications.  */
(for cmp (eq ge le)
 (simplify
  (cmp @0 @0)
  (if (! FLOAT_TYPE_P (TREE_TYPE (@0))
       || ! tree_expr_maybe_nan_p (@0))
   { constant_boolean_node (true, type); }
and
 /* (X & Y) =3D=3D X becomes (X & ~Y) =3D=3D 0.  */
 (simplify
  (cmp:c (bit_and:c @0 @1) @0)
  (cmp (bit_and @0 (bit_not! @1)) { build_zero_cst (TREE_TYPE (@0)); }))
match.pd simplifications:
   u.0_3 =3D u;
   _12 =3D VIEW_CONVERT_EXPR<unsigned char>(u.0_3);
   _2 =3D {_12};
-  _15 =3D VIEW_CONVERT_EXPR<unsigned char>(u.0_3);
-  _16 =3D _12 =3D=3D _15;
-  _17 =3D (_Bool) _16;
-  _18 =3D _16 & 1;
-  _19 =3D (signed char) _18;
-  _20 =3D -_19;
-  _5 =3D {_20};
-  _13 =3D VIEW_CONVERT_EXPR<unsigned char>(_5);
-  _6 =3D (long long unsigned int) _13;
-  _1 =3D {_6, _6};
   v.2_7 =3D v;
-  _8 =3D _1 & v.2_7;
+  _8 =3D v.2_7 & { 255, 255 };
   _9 =3D v.2_7 !=3D _8;
   _10 =3D VEC_COND_EXPR <_9, { -1, -1 }, { 0, 0 }>;
   w_14 =3D VIEW_CONVERT_EXPR<V>(_10);=