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 A6F8B3858D1E; Tue,  3 Jan 2023 16:35:03 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org A6F8B3858D1E
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1672763703;
	bh=5AMomZi8zhDjWOyPTWdt/8jkWYEPlkcruuVIOettFuU=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=qBWtpbPCVHEnQz2DvHOlYVED74zFWnvxR4OSj2j1devyqCCgcGbUkPlfkwrpt5QJ0
	 w/CjItq0MGl0QHujq/c19Nylz53QJL2jv4kBKYFrzvwbL1I5BqvyQ3xU5bAjy6QMgs
	 na8VDTtKU0nANVbuTWQD3Z46n/4CpjWey+FXv85o=
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 16:35:03 +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: 
Message-ID: <bug-108237-4-rbcsMtka6q@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

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Ah, I see, it is forwprop4 which does that:
+Applying pattern match.pd:6223, generic-match.cc:75158
...
-  _15 =3D v.2_7 & { 18446744073709551360, 18446744073709551360 };
-  _9 =3D _15 !=3D { 0, 0 };
+  _9 =3D v.2_7 > { 255, 255 };

and the reason why it happens can be seen in the Applying line, it isn't GI=
MPLE
but GENERIC even when it happens so late.
#0  optimize_vectors_before_lowering_p () at ../../gcc/generic-match-head.c=
c:93
#1  0x00000000019d3302 in generic_simplify_NE_EXPR (loc=3D2147483658,
code=3DNE_EXPR, type=3D<vector_type 0x7fffea2ddb28>, _p0=3D<bit_and_expr
0x7fffea304280>,=20
    _p1=3D<vector_cst 0x7fffea308cf0>) at generic-match.cc:75147
#2  0x0000000001a46486 in generic_simplify (loc=3D2147483658, code=3DNE_EXP=
R,
type=3D<vector_type 0x7fffea2ddb28>, _p0=3D<bit_and_expr 0x7fffea304280>,
_p1=3D<vector_cst 0x7fffea308cf0>)
    at generic-match.cc:102839
#3  0x000000000085e140 in fold_binary_loc (loc=3D2147483658, code=3DNE_EXPR,
type=3D<vector_type 0x7fffea2ddb28>, op0=3D<bit_and_expr 0x7fffea304280>,
op1=3D<vector_cst 0x7fffea308cf0>)
    at ../../gcc/fold-const.cc:10924
#4  0x0000000000f5c7ea in combine_cond_expr_cond (stmt=3D<gimple_assign
0x7fffea3020b0>, code=3DNE_EXPR, type=3D<vector_type 0x7fffea2ddb28>,
op0=3D<bit_and_expr 0x7fffea304280>,=20
    op1=3D<vector_cst 0x7fffea308cf0>, invariant_only=3Dfalse) at
../../gcc/tree-ssa-forwprop.cc:387
#5  0x0000000000f5ca80 in forward_propagate_into_comparison_1
(stmt=3D<gimple_assign 0x7fffea3020b0>, code=3DNE_EXPR, type=3D<vector_type
0x7fffea2ddb28>,=20
    op0=3D<ssa_name 0x7fffea3014c8 15>, op1=3D<vector_cst 0x7fffea308cf0>) =
at
../../gcc/tree-ssa-forwprop.cc:446
#6  0x0000000000f5cc71 in forward_propagate_into_comparison
(gsi=3D0x7fffffffd740) at ../../gcc/tree-ssa-forwprop.cc:493
#7  0x0000000000f6bfff in (anonymous namespace)::pass_forwprop::execute
(this=3D0x37a2170, fun=3D0x7fffea2fd000) at ../../gcc/tree-ssa-forwprop.cc:=
3753=