recog.c (offsettable_address_p): Match the logic in adjust_address.

        * recog.c (offsettable_address_p): Match the logic in adjust_address.

        * config/sparc/sparc.h (LEGITIMIZE_RELOAD_ADDRESS): Handle TFmode
        in 64-bit mode only.  Use only for 32-bit or MEDLOW.

From-SVN: r52250

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 3fef2124387bc98bc8052c6702793f4dd8fff7ca..805698266fc12d954cf188ef0155b98bbfeab83d 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,10 @@
+2002-04-12  Richard Henderson  <rth@redhat.com>
+
+       * recog.c (offsettable_address_p): Match the logic in adjust_address.
+
+       * config/sparc/sparc.h (LEGITIMIZE_RELOAD_ADDRESS): Handle TFmode
+       in 64-bit mode only.  Use only for 32-bit or MEDLOW.
+
 2002-04-12  Rainer Orth  <ro@TechFak.Uni-Bielefeld.DE>
 
        * config/alpha/osf.h (LINK_SPEC): Pass -S to silence ld warnings.

diff --git a/gcc/config/sparc/sparc.h b/gcc/config/sparc/sparc.h
index 3ebe6267e6381e442f97a664c1bc94a6152c9c2a..d48b8ddb07a9da216697b7b599493eadc49ac042 100644 (file)
--- a/gcc/config/sparc/sparc.h
+++ b/gcc/config/sparc/sparc.h
@@ -2336,12 +2336,13 @@ do {                                                                    \
   /* Decompose SImode constants into hi+lo_sum.  We do have to                 \
      rerecognize what we produce, so be careful.  */                   \
   if (CONSTANT_P (X)                                                   \
-      && (MODE != TFmode || TARGET_V9)                                 \
+      && (MODE != TFmode || TARGET_ARCH64)                             \
       && GET_MODE (X) == SImode                                                \
       && GET_CODE (X) != LO_SUM && GET_CODE (X) != HIGH                        \
       && ! (flag_pic                                                   \
            && (symbolic_operand (X, Pmode)                             \
-               || pic_address_needs_scratch (X))))                     \
+               || pic_address_needs_scratch (X)))                      \
+      && sparc_cmodel <= CM_MEDLOW)                                    \
     {                                                                  \
       X = gen_rtx_LO_SUM (GET_MODE (X),                                        \
                          gen_rtx_HIGH (GET_MODE (X), X), X);           \

diff --git a/gcc/recog.c b/gcc/recog.c
index 7987d20ea88c7dea082995628f172f87162986dc..2720d8e07e347d927c36c94f93b43e5bd2a0ac99 100644 (file)
--- a/gcc/recog.c
+++ b/gcc/recog.c
@@ -1969,7 +1969,9 @@ offsettable_address_p (strictp, mode, y)
      of the specified mode.  We assume that if Y and Y+c are
      valid addresses then so is Y+d for all 0<d<c.  adjust_address will
      go inside a LO_SUM here, so we do so as well.  */
-  if (GET_CODE (y) == LO_SUM)
+  if (GET_CODE (y) == LO_SUM
+      && mode != BLKmode
+      && mode_sz <= GET_MODE_ALIGNMENT (mode) / BITS_PER_UNIT)
     z = gen_rtx_LO_SUM (GET_MODE (y), XEXP (y, 0),
                        plus_constant (XEXP (y, 1), mode_sz - 1));
   else