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 7F0833858C00; Sun,  6 Nov 2022 18:30:26 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 7F0833858C00
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1667759426;
	bh=/cj44Ccec7gE5AiJscO3j8Ydtp6DnRGN/NFm4nFXR48=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=Ue1lZwGjglIkv8D+JmAmcWMa63v4URHWP8qQrPQJ2AQfHlJPz9hPhjYHzL00Ohe7H
	 UatSWwJeoO9pXLDpWUAIjJxee9iE/Y+V+H5ERIRnR131XXbFkCgjTkmdryENdNLbMa
	 Up3iTQv+XGbt+3ZXy36jLmZrxbk1VeoBLS/MzKcE=
From: "pinskia at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/107541] [13 Regression] wrong code at -O1,
 -O2 and -O3 on x86_64-linux-gnu
Date: Sun, 06 Nov 2022 18:30:26 +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: 13.0
X-Bugzilla-Keywords: needs-bisection, wrong-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: 13.0
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: cf_reconfirmed_on everconfirmed keywords
 bug_status
Message-ID: <bug-107541-4-deKTQVHjis@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-107541-4@http.gcc.gnu.org/bugzilla/>
References: <bug-107541-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=3D107541

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|                            |2022-11-06
     Ever confirmed|0                           |1
           Keywords|                            |needs-bisection
             Status|UNCONFIRMED                 |NEW

--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
ccp3 does:
Visiting statement:
# RANGE [irange] short int [1909, 1909][31001, 31001] NONZERO 0x7fff
_19 =3D (short intD.25) _18;
which is likely CONSTANT
Match-and-simplified (short int) _18 to 1909
Lattice value changed to CONSTANT 1909.  Adding SSA edges to worklist.
marking stmt to be not simulated again

That is due to rhs side of the divisor being a constant ...
Someone else has to look into why it is one.=