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 151D93858C83; Sun, 26 Mar 2023 18:18:15 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 151D93858C83
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1679854695;
	bh=BbxE55PjL26p+iLFtSL1rFyZZIKVqlQUdaZmYXJRx4w=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=f3A2HEb9uApRXVpmk7H3dPy0UgvvAj5tXax9uzcjspLKU2kZEWCsF0XFevWaNZ66s
	 DwMZZWyIAHBw9I/7Lm4xiGIj6s+LcQalV2a5ayIzy8iIHWMgwPKu6LY+PzEuKNPNlC
	 Wk+mXYbw4I4Eqe1dI4a828vfXH3yssKne/AVMuZ0=
From: "cvs-commit at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/109230] [13 Regression] Maybe wrong code for
 opus package on aarch64 since r13-4122-g1bc7efa948f751
Date: Sun, 26 Mar 2023 18:18:13 +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: 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: P3
X-Bugzilla-Assigned-To: jakub at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 13.0
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-109230-4-8GCsbiTcrO@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-109230-4@http.gcc.gnu.org/bugzilla/>
References: <bug-109230-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=3D109230

--- Comment #18 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Jakub Jelinek <jakub@gcc.gnu.org>:

https://gcc.gnu.org/g:07fc3491260e6b5d261433c977a4e069f5ab40c1

commit r13-6866-g07fc3491260e6b5d261433c977a4e069f5ab40c1
Author: Jakub Jelinek <jakub@redhat.com>
Date:   Sun Mar 26 20:17:00 2023 +0200

    match.pd: Fix up fneg/fadd simplification [PR109230]

    The following testcase is miscompiled on aarch64-linux.  match.pd
    has a simplification for addsub, where it negates one of the vectors
    in twice as large floating point element vector (effectively negating e=
very
    other element) and then doing addition.
    But a requirement for that is that the permutation picks the right
elements,
    in particular 0, nelts+1, 2, nelts+3, 4, nelts+5, ...
    The pattern tests this with sel.series_p (0, 2, 0, 2) check, which as
    documented verifies that the even elements of the permutation mask are
    identity, but doesn't say anything about the others.
    The following patch fixes it by also checking that the odd elements
    start at nelts + 1 with the same step of 2.

    2023-03-26  Jakub Jelinek  <jakub@redhat.com>

            PR tree-optimization/109230
            * match.pd (fneg/fadd simplify): Verify also odd permutation
indexes.

            * gcc.dg/pr109230.c: New test.=