From: Jakub Jelinek <jakub@redhat.com>
Date: Sat, 24 Jan 2004 11:01:29 +0000 (+0100)
Subject: simplify-rtx.c (simplify_relational_operation): Don't simplify address == constant... 
X-Git-Tag: releases/gcc-4.0.0~10761
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=5473cfa7fd6c83fc6f7f1575dad275690aa29ded;p=thirdparty%2Fgcc.git

simplify-rtx.c (simplify_relational_operation): Don't simplify address == constant into address + -constant == 0.

	* simplify-rtx.c (simplify_relational_operation): Don't
	simplify address == constant into address + -constant == 0.

	* gcc.dg/20040123-1.c: New test.

From-SVN: r76490
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index edb692249795..77bfc8784c81 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2004-01-24  Jakub Jelinek  <jakub@redhat.com>
+
+	* simplify-rtx.c (simplify_relational_operation): Don't
+	simplify address == constant into address + -constant == 0.
+
 2004-01-24  Kazu Hirata  <kazu@cs.umass.edu>
 
 	* gcc.c (process_command): Don't internationalize the
diff --git a/gcc/simplify-rtx.c b/gcc/simplify-rtx.c
index cebbf04b4601..7f6b549b0fbd 100644
--- a/gcc/simplify-rtx.c
+++ b/gcc/simplify-rtx.c
@@ -2530,6 +2530,8 @@ simplify_relational_operation (enum rtx_code code, enum machine_mode mode,
       && ! ((GET_CODE (op0) == REG || GET_CODE (trueop0) == CONST_INT)
 	    && (GET_CODE (op1) == REG || GET_CODE (trueop1) == CONST_INT))
       && 0 != (tem = simplify_binary_operation (MINUS, mode, op0, op1))
+      /* We cannot do this for == or != if tem is a nonzero address.  */
+      && ((code != EQ && code != NE) || ! nonzero_address_p (tem))
       && code != GTU && code != GEU && code != LTU && code != LEU)
     return simplify_relational_operation (signed_condition (code),
 					  mode, tem, const0_rtx);
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 370c1aa63e3c..ed7cb61ae4c2 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+2004-01-24  Jakub Jelinek  <jakub@redhat.com>
+
+	* gcc.dg/20040123-1.c: New test.
+
 2004-01-23  Zack Weinberg  <zack@codesourcery.com>
 
 	* gcc.dg/builtins-30.c: Move dg-warning marks to the proper lines.
diff --git a/gcc/testsuite/gcc.dg/20040123-1.c b/gcc/testsuite/gcc.dg/20040123-1.c
new file mode 100644
index 000000000000..2a73382dd94b
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/20040123-1.c
@@ -0,0 +1,12 @@
+/* { dg-do compile } */
+/* { dg-options "-O2" } */
+/* { dg-final { scan-assembler "abort" } } */
+
+extern void abort (void);
+extern char a[];
+
+void foo (void)
+{
+  if ((void *) a == (void *) 0x4000UL)
+    abort ();
+}