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 73034385842B; Fri,  4 Nov 2022 14:18:44 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 73034385842B
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1667571524;
	bh=2psYpZ5KG0+6XafaVygO9rS92hdV+gOPcON6x/3agcs=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=JYfMvn1SyC1sReQtQO9QNa0zk6ef8mVjTNb3k1mAKnFiM0JarIWc1tn28Chl5KYP5
	 lyCsUMaMvsJKFjK3ce1Xj9e0va9anpl24yHV4zq14gakb8FhD1e05MBrQ5tq9uq2Ls
	 oDcMus2DqBmP1U28yUToNTdt+FvKq5LjOuddOTAs=
From: "cvs-commit at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/107342] Optimization opportunity where
 integer '/' corresponds to '>>'
Date: Fri, 04 Nov 2022 14:18:43 +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: missed-optimization
X-Bugzilla-Severity: enhancement
X-Bugzilla-Who: cvs-commit 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: ---
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-107342-4-yPoXoTfsXw@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-107342-4@http.gcc.gnu.org/bugzilla/>
References: <bug-107342-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=3D107342

--- Comment #4 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Aldy Hernandez <aldyh@gcc.gnu.org>:

https://gcc.gnu.org/g:679be32e66428f0ba81d1c1b55f7bd47f01cb295

commit r13-3688-g679be32e66428f0ba81d1c1b55f7bd47f01cb295
Author: Aldy Hernandez <aldyh@redhat.com>
Date:   Fri Nov 4 10:20:46 2022 +0100

    Set nonzero bits for multiplication and divisions by a power of 2.

    We're missing a lot of TLC in keeping track of nonzero bits across
    range-ops.  It isn't an oversight, but just limited amount of hours to
    implement stuff.

    This patch keeps better track of the nonzero mask (really
    maybe_nonzero bits as discussed) across multiplication and division
    when the RHS is a power of 2.

    It fixes PR107342 and also touches on PR55157.  In the latter, the
    nonzero mask is being set quite late (CCP2) but could be set by evrp
    time if we enhanced range-ops.  I have added tests from both PRs.

    Tested

            PR tree-optimization/107342

    gcc/ChangeLog:

            * range-op.cc (operator_mult::fold_range): New.
            (operator_div::fold_range): New.

    gcc/testsuite/ChangeLog:

            * gcc.dg/tree-ssa/vrp122.c: New test.
            * gcc.dg/tree-ssa/vrp123.c: New test.=