On Mon, 26 Oct 2015, Marc Glisse wrote:
> On Mon, 26 Oct 2015, Richard Biener wrote:
>
> > @@ -435,7 +435,7 @@ (define_operator_list RINT BUILT_IN_RINT
> >
> > /* Fold (A & ~B) - (A & B) into (A ^ B) - B. */
> > (simplify
> > - (minus (bit_and:cs @0 (bit_not @1)) (bit_and:s @0 @1))
> > + (minus
On Mon, 26 Oct 2015, Richard Biener wrote:
@@ -435,7 +435,7 @@ (define_operator_list RINT BUILT_IN_RINT
/* Fold (A & ~B) - (A & B) into (A ^ B) - B. */
(simplify
- (minus (bit_and:cs @0 (bit_not @1)) (bit_and:s @0 @1))
+ (minus (bit_and:cs @0 (bit_not @1)) (bit_and:cs @0 @1))
(minus (bit_xor
This removes the genmatch warnings.
Bootstrapped / tested on x86_64-unknown-linux-gnu, applied.
Richard.
2015-10-26 Richard Biener
* match.pd ((A & ~B) - (A & B) -> (A ^ B) - B): Add missing :c.
( (X & ~Y) | (~X & Y) -> X ^ Y): Remove redundant :c.
Index: gcc/match.pd
=
