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 DFDBA3858C98; Tue, 19 Mar 2024 17:59:03 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org DFDBA3858C98
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1710871143;
	bh=YgBguUjn3MafgncJvhG0BvqTJ+P3rQLaSOObUxn2n+k=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=db53UtT+siiZV3zC082THSSkQA+KVa+RFNg8aqWgsnRVwM2CzTL07gxseK+O/caNF
	 BjHhJL6aRA4IrImw78B/hSLNrUdFbsCsd4KP3ioLHOxG3tTHGwOFyOZg8MahssRcn+
	 BK/rAxsX+aCdkrhScUKCVCCg2qQL27jEHTbjEDZU=
From: "pinskia at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/114396] [14 Regression] Vector: Runtime
 mismatch at -O2 with -fwrapv
Date: Tue, 19 Mar 2024 17:59:03 +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: 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: 14.0
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: bug_status keywords target_milestone
 cf_reconfirmed_on component everconfirmed
Message-ID: <bug-114396-4-LGyQKtE0C1@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-114396-4@http.gcc.gnu.org/bugzilla/>
References: <bug-114396-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=3D114396

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
           Keywords|                            |needs-bisection
   Target Milestone|---                         |14.0
   Last reconfirmed|                            |2024-03-19
          Component|middle-end                  |tree-optimization
     Ever confirmed|0                           |1

--- Comment #6 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Confirmed.
Fails on x86_64 with the simple: "-O3  -fno-vect-cost-model -fwrapv" .


Note aarch64 vectorizes this loop in GCC 13 (with "-O3  -fno-vect-cost-model
-fwrapv") and gets it right.

The only difference is:

trunk:
  _34 =3D _36 * 32767;

GCC 13:
  _32 =3D _34 * 62945;=