re PR rtl-optimization/28011 ([SH] g++ generates wrong code, if '-fno-exceptions...
authorKaz Kojima <kkojima@gcc.gnu.org>
Tue, 8 May 2007 22:22:49 +0000 (22:22 +0000)
committerKaz Kojima <kkojima@gcc.gnu.org>
Tue, 8 May 2007 22:22:49 +0000 (22:22 +0000)
PR rtl-optimization/28011
* reload.c (push_reload): Set dont_share if IN appears in OUT
also when IN is a PLUS rtx.
(reg_overlap_mentioned_for_reload_p): Return true if X and IN
are same PLUS rtx.

From-SVN: r124557

gcc/ChangeLog
gcc/reload.c

index 1a9281cac3e9b0b75f18aa3d3232bdc696747270..1d0e9055128fc18c1cdaaa4145c641a9b41df2d8 100644 (file)
@@ -1,3 +1,11 @@
+2007-05-08  Kaz Kojima  <kkojima@gcc.gnu.org>
+
+       PR rtl-optimization/28011
+       * reload.c (push_reload): Set dont_share if IN appears in OUT
+       also when IN is a PLUS rtx.
+       (reg_overlap_mentioned_for_reload_p): Return true if X and IN
+       are same PLUS rtx.
+
 2007-05-08  Kazu Hirata  <kazu@codesourcery.com>
 
        * emit-rtl.c (unshare_all_rtl_1): Don't copy DECL_RTL.  Don't
index 8ed2f4b38804a1f8df7739b8e527217ddaed3fab..bf220ef6bc097c6dfa6cd8c6e366923a26ec223f 100644 (file)
@@ -1180,7 +1180,7 @@ push_reload (rtx in, rtx out, rtx *inloc, rtx *outloc,
 
   /* If IN appears in OUT, we can't share any input-only reload for IN.  */
   if (in != 0 && out != 0 && MEM_P (out)
-      && (REG_P (in) || MEM_P (in))
+      && (REG_P (in) || MEM_P (in) || GET_CODE (in) == PLUS)
       && reg_overlap_mentioned_for_reload_p (in, XEXP (out, 0)))
     dont_share = 1;
 
@@ -6516,7 +6516,8 @@ reg_overlap_mentioned_for_reload_p (rtx x, rtx in)
       if (REG_P (in))
        return 0;
       else if (GET_CODE (in) == PLUS)
-       return (reg_overlap_mentioned_for_reload_p (x, XEXP (in, 0))
+       return (rtx_equal_p (x, in)
+               || reg_overlap_mentioned_for_reload_p (x, XEXP (in, 0))
                || reg_overlap_mentioned_for_reload_p (x, XEXP (in, 1)));
       else return (reg_overlap_mentioned_for_reload_p (XEXP (x, 0), in)
                   || reg_overlap_mentioned_for_reload_p (XEXP (x, 1), in));