re PR rtl-optimization/55315 (comparing address to constant is folded in cse)

2012-11-19  Tom de Vries  <tom@codesourcery.com>

	PR rtl-optimization/55315

	* rtlanal.c (nonzero_address_p): Don't assume a nonzero address plus a
	const is a nonzero address.

From-SVN: r193616

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 0efb46c2f8047ea1cda65e293a78fd6cc0aecabf..e7c797ce2318dc032c04e04e4f6c6670f51b57bb 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,10 @@
+2012-11-19  Tom de Vries  <tom@codesourcery.com>
+
+       PR rtl-optimization/55315
+
+       * rtlanal.c (nonzero_address_p): Don't assume a nonzero address plus a
+       const is a nonzero address.
+
 2012-11-18  Sandra Loosemore  <sandra@codesourcery.com>
 
        * doc/extend.texi: Use @smallexample consistently.  Add @noindent

diff --git a/gcc/rtlanal.c b/gcc/rtlanal.c
index 33be5487386889da2993245da8e77a12c9fa2014..ecfae4ce9d5ede0ec5e3d11a8535df1a0e635659 100644 (file)
--- a/gcc/rtlanal.c
+++ b/gcc/rtlanal.c
@@ -392,10 +392,8 @@ nonzero_address_p (const_rtx x)
       return nonzero_address_p (XEXP (x, 0));
 
     case PLUS:
-      if (CONST_INT_P (XEXP (x, 1)))
-        return nonzero_address_p (XEXP (x, 0));
       /* Handle PIC references.  */
-      else if (XEXP (x, 0) == pic_offset_table_rtx
+      if (XEXP (x, 0) == pic_offset_table_rtx
               && CONSTANT_P (XEXP (x, 1)))
        return true;
       return false;