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

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 2438005dec925fb9123ab9c4ad5337462ea7c3a4..237299e165cd14d4fa6ac676ac61ce9d61985021 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+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

diff --git a/gcc/match.pd b/gcc/match.pd
index 00c6e7c1abc8964fee6cd8e4f3b25814761d13a7..fa927b07f56156488ae1beb116d6b9b5434ec670 100644 (file)
--- a/gcc/match.pd
+++ b/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))