[Bug tree-optimization/96707] Failure to optimize right shift+unsigned compare of two variables optimally

[cvs-commit at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96707

--- Comment #5 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Andrew Macleod <amacleod@gcc.gnu.org>:

https://gcc.gnu.org/g:27e4260166950b784fe270ba4f0cae9a66faf1c4

commit r12-6558-g27e4260166950b784fe270ba4f0cae9a66faf1c4
Author: Andrew MacLeod <amacleod@redhat.com>
Date:   Wed Jan 12 13:28:55 2022 -0500

    Add relation to unsigned right shift.

    If the first operand and the shift value of a right shift operation are
both
    >= 0, then we know the LHS of the operation is <= the first operand.

            PR tree-optimization/96707
            gcc/
            * range-op.cc (operator_rshift::lhs_op1_relation): New.

            gcc/testsuite/
            * g++.dg/pr96707.C: New.