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

[Jeff Law via Gcc-patches]

On 9/3/23 19:25, Andrew Pinski via Gcc-patches wrote:

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

This was tested on top of
https://gcc.gnu.org/pipermail/gcc-patches/2023-September/629174.html .

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.

OK
jeff