match.pd: add single-use check for (x & y) ^ y -> ~x & y (PR 85758)

PR tree-optimization/85758 * match.pd ((X & Y) ^ Y): Add :s qualifier to inner expression. From-SVN: r263887

match.pd: add single-use check for (x & y) ^ y -> ~x & y (PR 85758)
PR tree-optimization/85758 * match.pd ((X & Y) ^ Y): Add :s qualifier to inner expression. From-SVN: r263887
de5b5228 · Alexander Monakov · Alexander Monakov · 92a285c1 · de5b5228 · de5b5228
Commit de5b5228 authored Aug 27, 2018 by Alexander Monakov Committed by Alexander Monakov Aug 27, 2018
Hide whitespace changes
Inline Side-by-side

Showing with 6 additions and 1 deletions

gcc/ChangeLog
+5 -0

gcc/match.pd
+1 -1

No files found.
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
+2018-08-27  Alexander Monakov  <amonakov@ispras.ru>
+
+	PR tree-optimization/85758
+	* match.pd ((X & Y) ^ Y): Add :s qualifier to inner expression.
+
 2018-08-27  David Malcolm  <dmalcolm@redhat.com>

 	PR 87091

--- a/gcc/match.pd
+++ b/gcc/match.pd
@@ -1027,7 +1027,7 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT)
 (for opo (bit_and bit_xor)
     opi (bit_xor bit_and)
 (simplify
-  (opo:c (opi:c @0 @1) @1) 
+  (opo:c (opi:cs @0 @1) @1)
  (bit_and (bit_not @0) @1)))

 /* Given a bit-wise operation CODE applied to ARG0 and ARG1, see if both