darwin.c (machopic_indirect_data_reference): Mark stubs as defined.

	* config/darwin.c (machopic_indirect_data_reference): Mark
	stubs as defined.
	* config/386/386.c (darwin_local_data_pic): Add.
	(legitimate_constant_p): Reorder so that PLUS handling runs
	before darwin_local_data_pic to match the ordering in
	legitimate_pic_address_disp_p and so that MINUS runs after
	darwin_local_data_pic as otherwise the darwin_local_data_pic
	logic can be skipped, which would be very bad.
	(legitimate_pic_address_disp_p): Move from from here to
	darwin_local_data_pic so it can be reused.

From-SVN: r86355

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 3af5733f797456d7fd2d12795380090e395f5170..90413bd4b67c38e6eba6d5bf06767ea3024f29a8 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,16 @@
+2004-08-20  Mike Stump  <mrs@apple.com>
+
+       * config/darwin.c (machopic_indirect_data_reference): Mark
+       stubs as defined.
+       * config/386/386.c (darwin_local_data_pic): Add.
+       (legitimate_constant_p): Reorder so that PLUS handling runs
+       before darwin_local_data_pic to match the ordering in
+       legitimate_pic_address_disp_p and so that MINUS runs after
+       darwin_local_data_pic as otherwise the darwin_local_data_pic
+       logic can be skipped, which would be very bad.
+       (legitimate_pic_address_disp_p): Move from from here to
+       darwin_local_data_pic so it can be reused.
+
 2004-08-21  Alan Modra  <amodra@bigpond.net.au>
 
        * config/rs6000/linux64.h (DOT_SYMBOLS): Define.

diff --git a/gcc/config/darwin.c b/gcc/config/darwin.c
index d34dcfe411d05388f3a5dbbbc9765be5dc103f4c..44c8539f9b70346674103f4f59df678d3b45e1d9 100644 (file)
--- a/gcc/config/darwin.c
+++ b/gcc/config/darwin.c
@@ -455,13 +455,14 @@ machopic_indirect_data_reference (rtx orig, rtx reg)
          return orig;
        }
 
-      ptr_ref = (gen_rtx_SYMBOL_REF 
+      ptr_ref = (gen_rtx_SYMBOL_REF
                 (Pmode, 
                  machopic_indirection_name (orig, /*stub_p=*/false)));
 
       SYMBOL_REF_DECL (ptr_ref) = SYMBOL_REF_DECL (orig);
 
       ptr_ref = gen_const_mem (Pmode, ptr_ref);
+      machopic_define_symbol (ptr_ref);
 
       return ptr_ref;
     }

diff --git a/gcc/config/i386/i386.c b/gcc/config/i386/i386.c
index 9ae3972c4627fb938f5aa088a34b7cb2760061d9..0213239303efbb4f11eff6bde93df37b9dd8ce41 100644 (file)
--- a/gcc/config/i386/i386.c
+++ b/gcc/config/i386/i386.c
@@ -4791,6 +4791,28 @@ ix86_find_base_term (rtx x)
 
   return term;
 }
+
+/* Allow {LABEL | SYMBOL}_REF - SYMBOL_REF-FOR-PICBASE for Mach-O as
+   this is used for to form addresses to local data when -fPIC is in
+   use.  */
+
+static bool
+darwin_local_data_pic (rtx disp)
+{
+  if (GET_CODE (disp) == MINUS)
+    {
+      if (GET_CODE (XEXP (disp, 0)) == LABEL_REF
+          || GET_CODE (XEXP (disp, 0)) == SYMBOL_REF)
+        if (GET_CODE (XEXP (disp, 1)) == SYMBOL_REF)
+          {
+            const char *sym_name = XSTR (XEXP (disp, 1), 0);
+            if (! strcmp (sym_name, "<pic base>"))
+              return true;
+          }
+    }
+
+  return false;
+}
 \f
 /* Determine if a given RTX is a valid constant.  We already know this
    satisfies CONSTANT_P.  */
@@ -4817,8 +4839,17 @@ legitimate_constant_p (rtx x)
          && tls_symbolic_operand (XEXP (inner, 0), Pmode))
        return false;
 
-      if (GET_CODE (inner) == PLUS
-         || GET_CODE (inner) == MINUS)
+      if (GET_CODE (inner) == PLUS)
+       {
+         if (GET_CODE (XEXP (inner, 1)) != CONST_INT)
+           return false;
+         inner = XEXP (inner, 0);
+       }
+
+      if (TARGET_MACHO && darwin_local_data_pic (inner))
+       return true;
+
+      if (GET_CODE (inner) == MINUS)
        {
          if (GET_CODE (XEXP (inner, 1)) != CONST_INT)
            return false;
@@ -4966,18 +4997,8 @@ legitimate_pic_address_disp_p (rtx disp)
       saw_plus = true;
     }
 
-  /* Allow {LABEL | SYMBOL}_REF - SYMBOL_REF-FOR-PICBASE for Mach-O.  */
-  if (TARGET_MACHO && GET_CODE (disp) == MINUS)
-    {
-      if (GET_CODE (XEXP (disp, 0)) == LABEL_REF
-          || GET_CODE (XEXP (disp, 0)) == SYMBOL_REF)
-        if (GET_CODE (XEXP (disp, 1)) == SYMBOL_REF)
-          {
-            const char *sym_name = XSTR (XEXP (disp, 1), 0);
-            if (! strcmp (sym_name, "<pic base>"))
-              return 1;
-          }
-    }
+  if (TARGET_MACHO && darwin_local_data_pic (disp))
+    return 1;
 
   if (GET_CODE (disp) != UNSPEC)
     return 0;