[Bug middle-end/98710] missing optimization (x | c) & ~(y | c) -> x & ~(y | c)

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

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

--- Comment #5 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:ab286761bf703a43bbd8495cd3fc33a7e88c8440

commit r14-3723-gab286761bf703a43bbd8495cd3fc33a7e88c8440
Author: Andrew Pinski <apin...@marvell.com>
Date:   Sun Sep 3 14:26:53 2023 -0700

    MATCH: Add `(x | c) & ~(y | c)` and `x & ~(y | x)` patterns [PR98710]

    Adding some more simple bit_and/bit_ior patterns.
    How often these show up, I have no idea.

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

    gcc/ChangeLog:

            PR tree-optimization/98710
            * match.pd (`(x | c) & ~(y | c)`, `(x & c) | ~(y & c)`): New
pattern.
            (`x & ~(y | x)`, `x | ~(y & x)`): New patterns.

    gcc/testsuite/ChangeLog:

            PR tree-optimization/98710
            * gcc.dg/tree-ssa/andor-7.c: New test.
            * gcc.dg/tree-ssa/andor-8.c: New test.