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 D6A533858C30; Thu, 18 Jan 2024 07:37:22 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org D6A533858C30
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1705563442;
	bh=QacrFJBqr70Pos1RG4bSJNKNmlAPcH/wi9nQWUUSRxg=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=cPxodqTif0rrEin/34mXAACOLyFvitujalvJ4CdbPcy0h14a64IB0e9Xxhr6alXux
	 w6nlzQlfV0VHx9wtUdxfvurFdkXtnyIvxffSOHVkorCn8B8rNUMHVG3J4s4DR1Auna
	 M4etTtloikvKtO3APMuYWiToJ9mDVF3r/VuYtsuY=
From: "cvs-commit at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/113431] [14 Regression] Wrong code at -O3
Date: Thu, 18 Jan 2024 07:37:22 +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: cvs-commit at gcc dot gnu.org
X-Bugzilla-Status: ASSIGNED
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P1
X-Bugzilla-Assigned-To: rguenth at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 14.0
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-113431-4-ntNYdfIgHT@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-113431-4@http.gcc.gnu.org/bugzilla/>
References: <bug-113431-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=3D113431

--- Comment #15 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Richard Biener <rguenth@gcc.gnu.org>:

https://gcc.gnu.org/g:b981d5c60b8ef78e2adecd6b5d7e36f9e5e61c54

commit r14-8207-gb981d5c60b8ef78e2adecd6b5d7e36f9e5e61c54
Author: Richard Biener <rguenther@suse.de>
Date:   Wed Jan 17 14:05:42 2024 +0100

    tree-optimization/113431 - wrong dependence with invariant load

    The vectorizer dependence analysis is confused with invariant loads
    when figuring whether the circumstances are so that we preserve
    scalar stmt execution order.  The following rectifies this.

            PR tree-optimization/113431
            * tree-vect-data-refs.cc (vect_preserves_scalar_order_p):
            When there is an invariant load we might not preserve
            scalar order.

            * gcc.dg/vect/pr113431.c: New testcase.=