[Bug tree-optimization/111345] `X % Y is smaller than Y.` pattern could be simpified

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #2 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The trunk branch has been updated by Andrew Pinski <pins...@gcc.gnu.org>:

https://gcc.gnu.org/g:635a34e2be67d709088c31573732dfdf733e4cec

commit r14-3921-g635a34e2be67d709088c31573732dfdf733e4cec
Author: Andrew Pinski <apin...@marvell.com>
Date:   Tue Sep 12 10:43:23 2023 -0700

    MATCH: Simplify `(X % Y) < Y` pattern.

    This merges the two patterns to catch
    `(X % Y) < Y` and `Y > (X % Y)` into one by
    using :c on the comparison operator.
    It does not change any code generation nor
    anything else. It is more to allow for better
    maintainability of this pattern.

    OK? Bootstrapped and tested on x86_64-linux-gnu.

    gcc/ChangeLog:

            PR tree-optimization/111345
            * match.pd (`Y > (X % Y)`): Merge
            into ...
            (`(X % Y) < Y`): Pattern by adding `:c`
            on the comparison.