match.pd (x | 0 -> x): Add.

2016-08-19 Richard Biener <rguenther@suse.de> * match.pd (x | 0 -> x): Add. From-SVN: r239606

match.pd (x | 0 -> x): Add.
2016-08-19 Richard Biener <rguenther@suse.de> * match.pd (x | 0 -> x): Add. From-SVN: r239606
ca0b7ece · Richard Biener · Richard Biener · 1a5da5b6 · ca0b7ece · ca0b7ece
Commit ca0b7ece authored Aug 19, 2016 by Richard Biener Committed by Richard Biener Aug 19, 2016
Hide whitespace changes
Inline Side-by-side

Showing with 13 additions and 4 deletions

gcc/ChangeLog
+4 -0

gcc/match.pd
+9 -4

No files found.
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
 2016-08-19  Richard Biener  <rguenther@suse.de>

+	* match.pd (x | 0 -> x): Add.
+
+2016-08-19  Richard Biener  <rguenther@suse.de>
+
 	PR tree-optimization/77286
 	* tree-vect-loop-manip.c (slpeel_duplicate_current_defs_from_edges):
 	Deal with virtual PHIs being out-of-order.

--- a/gcc/match.pd
+++ b/gcc/match.pd
@@ -541,13 +541,18 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT)

 /* x | ~0 -> ~0  */
 (simplify
-  (bit_ior @0 integer_all_onesp@1)
-  @1)
+ (bit_ior @0 integer_all_onesp@1)
+ @1)
+
+/* x | 0 -> x  */
+(simplify
+ (bit_ior @0 integer_zerop)
+ @0)

 /* x & 0 -> 0  */
 (simplify
-  (bit_and @0 integer_zerop@1)
-  @1)
+ (bit_and @0 integer_zerop@1)
+ @1)

 /* ~x | x -> -1 */
 /* ~x ^ x -> -1 */