[Bug tree-optimization/96694] Failure to optimize min/max pattern using two binary nots to min/max pattern using one binary not

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

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

--- Comment #3 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:244d1321340116b7780e78096356f69662fd0e18

commit r14-3720-g244d1321340116b7780e78096356f69662fd0e18
Author: Andrew Pinski <apin...@marvell.com>
Date:   Sun Sep 3 18:37:51 2023 +0000

    MATCH: Add `~MAX(~X, Y)` pattern: [PR96694]

    This adds `~MAX(~X, Y)` and `~MIN(~X, Y)` patterns
    that are like the `~(~a & b)` and `~(~a | b)` patterns
    and allows to reduce the number of ~ by 1.

    OK? Bootstrapped and tested on x86_64-linux-gnu with no regressions.

            PR tree-optimization/96694

    gcc/ChangeLog:

            * match.pd (`~MAX(~X, Y)`, `~MIN(~X, Y)`): New patterns.

    gcc/testsuite/ChangeLog:

            * gcc.dg/tree-ssa/minmax-24.c: New test.