[PATCH][GCC]: Fix for PR94880: Failure to recognize andn pattern

[Przemyslaw Wirkus]

Hi,

Pattern "(x | y) - y" can be optimized to simple "(x & ~y)" andn pattern.

Bootstrapped and tested on aarch64-none-linux-gnu.

OK for master ?

Cheers,
Przemyslaw

gcc/ChangeLog:

        PR tree-optimization/94880
        * match.pd (A | B) - B -> (A & ~B): New simplification.

gcc/testsuite/ChangeLog:

        PR tree-optimization/94880
        * gcc.dg/tree-ssa/pr94880.c: New Test.

pr94880.patch
Description: pr94880.patch