[Bug tree-optimization/109938] ((a^c) & b) | a is not opimized to (b & c) | a

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

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

--- Comment #3 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Jakub Jelinek <ja...@gcc.gnu.org>:

https://gcc.gnu.org/g:9f9334921b7d2e7bdb7e03be1bf5a2caa8ed3ca9

commit r14-3144-g9f9334921b7d2e7bdb7e03be1bf5a2caa8ed3ca9
Author: Drew Ross <drr...@redhat.com>
Date:   Fri Aug 11 10:17:56 2023 +0200

    match.pd: Implement missed optimization ((x ^ y) & z) | x -> (z & y) | x
[PR109938]

    Adds a simplification for ((x ^ y) & z) | x to be folded into
    (z & y) | x. Merges this simplification with ((x | y) & z) | x -> (z & y) |
x
    to prevent duplicate pattern.

    2023-08-11  Drew Ross  <drr...@redhat.com>
                Jakub Jelinek  <ja...@redhat.com>

            PR tree-optimization/109938
            * match.pd (((x ^ y) & z) | x -> (z & y) | x): New simplification.

            * gcc.c-torture/execute/pr109938.c: New test.
            * gcc.dg/tree-ssa/pr109938.c: New test.