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 08AA73884511; Wed,  8 May 2024 16:28:07 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 08AA73884511
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1715185688;
	bh=nRKFdesL3AOXDQhxTrlFSrA0ncvSvyFIHBYqMqQNh6I=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=ED4JVfd61AMfDUqoOnaQ5e/puwnW8ZSbW4QY4iqh7UGN13DOyCEEqcQpKI0cMll9m
	 fyKu4w0U7ejsmJvD1w1WihoM0WjMl9entyz8M0EfIrV4J57/KgX8QHMHAXMyvI26pr
	 OD5BtrmJ089z/PqijpR+shOSHTppx7zbJ4iBqhEU=
From: "cvs-commit at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/111331] [11/12 Regression] Wrong code at -O1
 on x86_64-linux-gnu since
Date: Wed, 08 May 2024 16:28:06 +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: patch, 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: P2
X-Bugzilla-Assigned-To: pinskia at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 11.5
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-111331-4-iFmmcb2rU2@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-111331-4@http.gcc.gnu.org/bugzilla/>
References: <bug-111331-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=3D111331

--- Comment #18 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-11 branch has been updated by Andrew Pinski
<pinskia@gcc.gnu.org>:

https://gcc.gnu.org/g:16e27b6d03756bf1fae22607fa93107787a7b9cb

commit r11-11421-g16e27b6d03756bf1fae22607fa93107787a7b9cb
Author: Andrew Pinski <apinski@marvell.com>
Date:   Thu Sep 7 22:13:31 2023 -0700

    Fix PR 111331: wrong code for `a > 28 ? MIN<a, 28> : 29`

    The problem here is after r6-7425-ga9fee7cdc3c62d0e51730,
    the comparison to see if the transformation could be done was using the
    wrong value. Instead of see if the inner was LE (for MIN and GE for MAX)
    the outer value, it was comparing the inner to the value used in the
comparison
    which was wrong.

    Committed to GCC 13 branch after bootstrapped and tested on
x86_64-linux-gnu.

    gcc/ChangeLog:

            PR tree-optimization/111331
            * tree-ssa-phiopt.c (minmax_replacement):
            Fix the LE/GE comparison for the
            `(a CMP CST1) ? max<a,CST2> : a` optimization.

    gcc/testsuite/ChangeLog:

            PR tree-optimization/111331
            * gcc.c-torture/execute/pr111331-1.c: New test.
            * gcc.c-torture/execute/pr111331-2.c: New test.
            * gcc.c-torture/execute/pr111331-3.c: New test.

    (cherry picked from commit 30e6ee074588bacefd2dfe745b188bb20c81fe5e)=