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 B5DF53858D3C; Tue, 12 Sep 2023 23:42:54 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org B5DF53858D3C
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1694562174;
	bh=2lbf1fxH/u5vuEtex5NeDlZxeqCjTjLqq9ol9eE95kg=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=ka/f6HcwddxB8RfJmGYLORoQXwpDcno0Sv+dn6+4dqVkAiEkXyqd5gmR5EgWAggSb
	 RC/CGsqLKrlFVlKtPyndkg5aIHODHDXiu77oFNY7jE3HAv/FQf8jK4EUDMeIcMd75F
	 EnTUsyvxFVDl8i/RxW/HQTTqzhX0b1G66YM9slg0=
From: "pinskia at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/110293] Some `A CMP (A NEEQ 0)` is not
 simplified in some cases
Date: Tue, 12 Sep 2023 23:42:54 +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: missed-optimization
X-Bugzilla-Severity: enhancement
X-Bugzilla-Who: pinskia at gcc dot gnu.org
X-Bugzilla-Status: ASSIGNED
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: pinskia at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-110293-4-9ylKnpXMmT@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-110293-4@http.gcc.gnu.org/bugzilla/>
References: <bug-110293-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=3D110293

--- Comment #9 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Actually here is the rest for the non-zero comparisons.

Note for the below case, s can be swapped around with unsigned and the CST
comparisons become unsigned comparisons too.

s < (s =3D=3D CST) ->  CST =3D=3D 0 ? s <=3D 0 : CST < 0
s >=3D (s =3D=3D CST) -> CST =3D=3D 0 ? s > 0  : CST > 0
s > (s =3D=3D CST) ->  CST =3D=3D 0 ? s <=3D 0 : CST > 1
s <=3D (s =3D=3D CST) -> CST =3D=3D 0 ? s > 0  : CST <=3D 1

s <  (s !=3D CST) -> CST =3D=3D 0 ? s < 0  : (CST > 0 ? s < 1 : (s < 1 & s =
!=3D CST))
s >=3D (s !=3D CST) -> CST =3D=3D 0 ? s >=3D 0 : (CST =3D=3D 1 ? s > 1 : (C=
ST > 1 ? s !=3D CST
& s >=3D 1 : s >=3D 1))
s >  (s !=3D CST) -> CST =3D=3D 0 ? s <=3D 1 :=20
s <=3D (s !=3D CST) -> CST =3D=3D 0 ? s >  1 :=