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

[Marc Glisse]

(not a reviewer)

It looks fine to me. Do we already handle the related (x|y)^y and (x|y)&~y ?

On Fri, 19 Jun 2020, Przemyslaw Wirkus wrote:

> Hi all,
>
> 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.
>
>

-- 
Marc Glisse