From: MCC CS <deswurstes@users.noreply.github.com>
Date: Tue, 28 Aug 2018 20:23:05 +0000 (+0000)
Subject: re PR middle-end/87009 (Can't find XOR pattern applying De Morgan sequentially)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=fd8303a5087bfd4c89f92ed6225661e519464c54;p=gcc.git

re PR middle-end/87009 (Can't find XOR pattern applying De Morgan sequentially)

	PR tree-optimization/87009
	* match.pd: Add boolean optimizations.

	PR tree-optimization/87009
	* gcc.dg/pr87009.c: New test.

From-SVN: r263931
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index b4b56da6c0d..3dbee469a2b 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2018-08-28 MCC CS <deswurstes@users.noreply.github.com>
+
+	PR tree-optimization/87009
+	* match.pd: Add boolean optimizations.
+
 2018-08-28  Martin Sebor  <msebor@redhat.com>
 
 	PR middle-end/86631
diff --git a/gcc/match.pd b/gcc/match.pd
index d43e52d05cd..be669caf844 100644
--- a/gcc/match.pd
+++ b/gcc/match.pd
@@ -776,6 +776,11 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT)
  (bit_not (bit_and:cs (bit_not @0) @1))
  (bit_ior @0 (bit_not @1)))
 
+/* ~(~a | b) --> a & ~b */
+(simplify
+ (bit_not (bit_ior:cs (bit_not @0) @1))
+ (bit_and @0 (bit_not @1)))
+
 /* Simplify (~X & Y) to X ^ Y if we know that (X & ~Y) is 0.  */
 #if GIMPLE
 (simplify
@@ -981,6 +986,16 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT)
  (bit_and:c (bit_ior:c @0 @1) (bit_xor:c @1 (bit_not @0)))
  (bit_and @0 @1))
 
+/* (~x | y) & (x | ~y) -> ~(x ^ y) */
+(simplify
+ (bit_and (bit_ior:cs (bit_not @0) @1) (bit_ior:cs @0 (bit_not @1)))
+ (bit_not (bit_xor @0 @1)))
+
+/* (~x | y) ^ (x | ~y) -> x ^ y */
+(simplify
+ (bit_xor (bit_ior:c (bit_not @0) @1) (bit_ior:c @0 (bit_not @1)))
+ (bit_xor @0 @1))
+
 /* ~x & ~y -> ~(x | y)
    ~x | ~y -> ~(x & y) */
 (for op (bit_and bit_ior)
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 3a1b8d5743b..72f5a95984e 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2018-08-28 MCC CS <deswurstes@users.noreply.github.com>
+
+	PR tree-optimization/87009
+	* gcc.dg/pr87009.c: New test.
+
 2018-08-28  Martin Sebor  <msebor@redhat.com>
 
 	PR middle-end/86631
diff --git a/gcc/testsuite/gcc.dg/pr87009.c b/gcc/testsuite/gcc.dg/pr87009.c
new file mode 100644
index 00000000000..eb8a4ecd920
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/pr87009.c
@@ -0,0 +1,23 @@
+/* { dg-do compile } */
+/* { dg-options "-O -fdump-tree-original" } */
+/* { dg-final { scan-tree-dump-times "return s \\^ x;" 4 "original" } } */
+
+int f1 (int x, int s)
+{
+ return ~(~(x|s)|x)|~(~(x|s)|s);
+}
+
+int f2 (int x, int s)
+{
+ return ~(~(~x&s)&~(x&~s));
+}
+
+int f3 (int x, int s)
+{
+ return ~((x|~s)&(~x|s));
+}
+
+int f4 (int x, int s)
+{
+ return (x|~s)^(~x|s);
+}