match.pd ((A & ~B) - (A & B) -> (A ^ B) - B): Add missing :c.

2015-10-26  Richard Biener  <rguenther@suse.de>

	* match.pd ((A & ~B) - (A & B) -> (A ^ B) - B): Add missing :c.
	( (X & ~Y) | (~X & Y) -> X ^ Y): Remove redundant :c.

From-SVN: r229360

gcc/ChangeLog

+2015-10-26  Richard Biener  <rguenther@suse.de>
+
+	* match.pd ((A & ~B) - (A & B) -> (A ^ B) - B): Add missing :c.
+	( (X & ~Y) | (~X & Y) -> X ^ Y): Remove redundant :c.
+
 2015-10-26  Alan Hayward <alan.hayward@arm.com>
 
 	* tree-vect-loop.c (vect_create_epilog_for_reduction): Fix

gcc/match.pd

@@ -462,7 +462,7 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (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 @0 @1) @1))
 (simplify
  (minus (bit_and:s @0 INTEGER_CST@2) (bit_and:s @0 INTEGER_CST@1))
@@ -476,7 +476,7 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT)
 
 /* Simplify (X & ~Y) | (~X & Y) -> X ^ Y.  */
 (simplify
- (bit_ior:c (bit_and:c @0 (bit_not @1)) (bit_and:c (bit_not @0) @1))
+ (bit_ior (bit_and:c @0 (bit_not @1)) (bit_and:c (bit_not @0) @1))
   (bit_xor @0 @1))
 (simplify
  (bit_ior:c (bit_and @0 INTEGER_CST@2) (bit_and (bit_not @0) INTEGER_CST@1))