From: Kazu Hirata <kazu@cs.umass.edu>
Date: Sun, 13 Jul 2003 19:03:28 +0000 (+0000)
Subject: combine.c (simplify_comparison): Convert (ne (and (not X) 1) 0) to (eq (and X 1) 0).
X-Git-Tag: releases/gcc-3.4.0~4895
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=34ed3bb00e99bb22e24b3dab90f5923cad8483a5;p=thirdparty%2Fgcc.git

combine.c (simplify_comparison): Convert (ne (and (not X) 1) 0) to (eq (and X 1) 0).

	* combine.c (simplify_comparison): Convert (ne (and (not X) 1) 0)
	to (eq (and X 1) 0).

From-SVN: r69300
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index e94b4c0e517a..0da79711c1e6 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2003-07-13  Kazu Hirata  <kazu@cs.umass.edu>
+
+	* combine.c (simplify_comparison): Convert (ne (and (not X) 1) 0)
+	to (eq (and X 1) 0).
+
 2003-07-13  Andreas Jaeger  <aj@suse.de>
 
 	* config.gcc: Add pmmintrin.h for x86_64-*-*.
diff --git a/gcc/combine.c b/gcc/combine.c
index 499e7b992cc8..3c3172b0835b 100644
--- a/gcc/combine.c
+++ b/gcc/combine.c
@@ -11059,6 +11059,17 @@ simplify_comparison (enum rtx_code code, rtx *pop0, rtx *pop1)
 		}
 	    }
 
+	  /* Convert (ne (and (not X) 1) 0) to (eq (and X 1) 0).  */
+	  if (const_op == 0 && equality_comparison_p
+	      && XEXP (op0, 1) == const1_rtx
+	      && GET_CODE (XEXP (op0, 0)) == NOT)
+	    {
+	      op0 = simplify_and_const_int
+		(op0, mode, XEXP (XEXP (op0, 0), 0), (HOST_WIDE_INT) 1);
+	      code = (code == NE ? EQ : NE);
+	      continue;
+	    }
+
 	  /* Convert (ne (and (lshiftrt (not X)) 1) 0) to
 	     (eq (and (lshiftrt X) 1) 0).  */
 	  if (const_op == 0 && equality_comparison_p