Re: [PATCH 3/4] match.pd: Add x | ~(x | y) -> x | ~y pattern

[Marek Polacek]

On Wed, Jan 21, 2015 at 11:49:53AM +0100, Rasmus Villemoes wrote:
> gcc.dg/20150120-3.c: New test
> 
> This is simply the 'dual' of the previous pattern, added for
> completeness.

If this is dual, I think you could make use of
(for op (bit_ior bit_and)
 ...
and do the simplification in one hunk.

        Marek