From: James A. Morrison <phython@gcc.gnu.org>
Date: Wed, 20 Apr 2005 02:31:26 +0000 (+0000)
Subject: fold-const (fold_binary): Fold ~X ^ ~ Y to X ^ Y.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=33ab6245545612b87af5868b4f6e6373cc733791;p=gcc.git

fold-const (fold_binary): Fold ~X ^ ~ Y to X ^ Y.

2005-04-19  James A. Morrison  <phython@gcc.gnu.org>

	* fold-const (fold_binary):  Fold ~X ^ ~ Y to X ^ Y.

From-SVN: r98434
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 6b1c0404a13..237ebcd4e88 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,7 @@
+2005-04-19  James A. Morrison  <phython@gcc.gnu.org>
+
+	* fold-const (fold_binary):  Fold ~X ^ ~ Y to X ^ Y.
+
 2005-04-20  Michael Pogue  <michael.pogue@sun.com>
             Joseph S. Myers  <joseph@codesourcery.com>
 
diff --git a/gcc/fold-const.c b/gcc/fold-const.c
index bbd14c0177e..2c90d0c80de 100644
--- a/gcc/fold-const.c
+++ b/gcc/fold-const.c
@@ -8174,6 +8174,13 @@ fold_binary (enum tree_code code, tree type, tree op0, tree op1)
 	  goto bit_ior;
 	}
 
+      /* Convert ~X ^ ~Y to X ^ Y.  */
+      if (TREE_CODE (arg0) == BIT_NOT_EXPR
+	  && TREE_CODE (arg1) == BIT_NOT_EXPR)
+	return fold_build2 (code, type,
+			    fold_convert (type, TREE_OPERAND (arg0, 0)),
+			    fold_convert (type, TREE_OPERAND (arg1, 0)));
+
       /* See if this can be simplified into a rotate first.  If that
 	 is unsuccessful continue in the association code.  */
       goto bit_rotate;
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index b281f7d3f9e..1782fed8405 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+2005-04-19  James A. Morrison  <phython@gcc.gnu.org>
+
+	* gcc.dg/fold-xor-1.c: New test.
+
 2005-04-19  James E. Wilson  <wilson@specifixinc.com>
 
 	PR target/20670
diff --git a/gcc/testsuite/gcc.dg/fold-xor-1.c b/gcc/testsuite/gcc.dg/fold-xor-1.c
new file mode 100644
index 00000000000..c8334e1875a
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/fold-xor-1.c
@@ -0,0 +1,12 @@
+/* { dg-do compile } */
+/* { dg-options "-fdump-tree-generic" } */
+
+int f (int a, int b) {
+  return ~a ^ ~b;
+}
+
+unsigned int g (unsigned int a, unsigned int b) {
+  return ~a ^ ~b;
+}
+/* { dg-final { scan-tree-dump-times "a \\^ b" 2 "generic" } } */
+/* { dg-final { cleanup-tree-dump "generic" } } */