OSDN Git Service

2004-04-27 Wu Yongwei <adah@sh163.net>
[pf3gnuchains/gcc-fork.git] / gcc / config / darwin.c
index f701dce..a626045 100644 (file)
@@ -1,5 +1,5 @@
 /* Functions for generic Darwin as target machine for GNU C compiler.
-   Copyright (C) 1989, 1990, 1991, 1992, 1993, 2000, 2001, 2002, 2003
+   Copyright (C) 1989, 1990, 1991, 1992, 1993, 2000, 2001, 2002, 2003, 2004
    Free Software Foundation, Inc.
    Contributed by Apple Computer Inc.
 
@@ -41,17 +41,19 @@ Boston, MA 02111-1307, USA.  */
 #include "ggc.h"
 #include "langhooks.h"
 #include "tm_p.h"
+#include "errors.h"
 
 static int machopic_data_defined_p (const char *);
 static void update_non_lazy_ptrs (const char *);
 static void update_stubs (const char *);
+static const char *machopic_non_lazy_ptr_name (const char*);
 
 int
 name_needs_quotes (const char *name)
 {
   int c;
   while ((c = *name++) != '\0')
-    if (! ISIDNUM (c))
+    if (! ISIDNUM (c) && c != '.' && c != '$')
       return 1;
   return 0;
 }
@@ -80,7 +82,7 @@ machopic_classify_ident (tree ident)
                     && name[5] == '_'));
   tree temp;
 
-  /* The PIC base symbol is always defined. */
+  /* The PIC base symbol is always defined.  */
   if (! strcmp (name, "<pic base>"))
     return MACHOPIC_DEFINED_DATA;
 
@@ -219,12 +221,9 @@ static GTY(()) char * function_base;
 const char *
 machopic_function_base_name (void)
 {
-  const char *current_name;
   /* if dynamic-no-pic is on, we should not get here */
   if (MACHO_DYNAMIC_NO_PIC_P)
     abort ();
-  current_name =
-    IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (current_function_decl));
 
   if (function_base == NULL)
     function_base =
@@ -243,7 +242,7 @@ machopic_output_function_base_name (FILE *file)
 {
   const char *current_name;
 
-  /* If dynamic-no-pic is on, we should not get here. */
+  /* If dynamic-no-pic is on, we should not get here.  */
   if (MACHO_DYNAMIC_NO_PIC_P)
     abort ();
   current_name =
@@ -262,7 +261,7 @@ static GTY(()) tree machopic_non_lazy_pointers;
    either by finding it in our list of pointer names, or by generating
    a new one.  */
 
-const char *
+static const char *
 machopic_non_lazy_ptr_name (const char *name)
 {
   const char *temp_name;
@@ -294,20 +293,28 @@ machopic_non_lazy_ptr_name (const char *name)
 
   {
     char *buffer;
+    int namelen = strlen (name);
+    int bufferlen = 0;
     tree ptr_name;
 
-    buffer = alloca (strlen (name) + 20);
+    buffer = alloca (namelen + strlen("$non_lazy_ptr") + 5);
 
     strcpy (buffer, "&L");
+    bufferlen = 2;
     if (name[0] == '*')
-      strcat (buffer, name+1);
+      {
+        memcpy (buffer + bufferlen, name+1, namelen-1+1);
+        bufferlen += namelen-1;
+      }
     else
       {
-       strcat (buffer, "_");
-       strcat (buffer, name);
+       buffer[bufferlen] = '_';
+       memcpy (buffer + bufferlen +1, name, namelen+1);
+        bufferlen += namelen +1;
       }
 
-    strcat (buffer, "$non_lazy_ptr");
+    memcpy (buffer + bufferlen, "$non_lazy_ptr", strlen("$non_lazy_ptr")+1);
+    bufferlen += strlen("$non_lazy_ptr");
     ptr_name = get_identifier (buffer);
 
     machopic_non_lazy_pointers
@@ -351,29 +358,46 @@ machopic_stub_name (const char *name)
 
   {
     char *buffer;
+    int bufferlen = 0;
+    int namelen = strlen (name);
     tree ptr_name;
     int needs_quotes = name_needs_quotes (name);
 
-    buffer = alloca (strlen (name) + 20);
+    buffer = alloca (namelen + 20);
 
     if (needs_quotes)
-      strcpy (buffer, "&\"L");
+      {
+        strcpy (buffer, "&\"L");
+        bufferlen = strlen("&\"L");
+      }
     else
-      strcpy (buffer, "&L");
+      {
+        strcpy (buffer, "&L");
+        bufferlen = strlen("&L");
+      }
+    
     if (name[0] == '*')
       {
-       strcat (buffer, name+1);
+       memcpy (buffer + bufferlen, name+1, namelen - 1 +1);
+        bufferlen += namelen - 1;
       }
     else
       {
-       strcat (buffer, "_");
-       strcat (buffer, name);
+       buffer[bufferlen] = '_';
+       memcpy (buffer + bufferlen +1, name, namelen+1);
+        bufferlen += namelen +1;
       }
 
     if (needs_quotes)
-      strcat (buffer, "$stub\"");
+      {
+        memcpy (buffer + bufferlen, "$stub\"", strlen("$stub\"")+1);
+        bufferlen += strlen("$stub\"");
+      }
     else
-      strcat (buffer, "$stub");
+      {
+        memcpy (buffer + bufferlen, "$stub", strlen("$stub")+1);
+        bufferlen += strlen("$stub");
+      }
     ptr_name = get_identifier (buffer);
 
     machopic_stubs = tree_cons (ptr_name, ident, machopic_stubs);
@@ -421,7 +445,6 @@ machopic_indirect_data_reference (rtx orig, rtx reg)
   if (GET_CODE (orig) == SYMBOL_REF)
     {
       const char *name = XSTR (orig, 0);
-
       int defined = machopic_data_defined_p (name);
 
       if (defined && MACHO_DYNAMIC_NO_PIC_P)
@@ -438,44 +461,43 @@ machopic_indirect_data_reference (rtx orig, rtx reg)
       else if (defined)
        {
 #if defined (TARGET_TOC) || defined (HAVE_lo_sum)
-         rtx pic_base = gen_rtx (SYMBOL_REF, Pmode,
-                                 machopic_function_base_name ());
-         rtx offset = gen_rtx (CONST, Pmode,
-                               gen_rtx (MINUS, Pmode, orig, pic_base));
+         rtx pic_base = gen_rtx_SYMBOL_REF (Pmode,
+                                            machopic_function_base_name ());
+         rtx offset = gen_rtx_CONST (Pmode,
+                                     gen_rtx_MINUS (Pmode, orig, pic_base));
 #endif
 
 #if defined (TARGET_TOC) /* i.e., PowerPC */
-         rtx hi_sum_reg = reg;
+         rtx hi_sum_reg = (no_new_pseudos ? reg : gen_reg_rtx (Pmode));
 
          if (reg == NULL)
            abort ();
 
-         emit_insn (gen_rtx (SET, Pmode, hi_sum_reg,
-                             gen_rtx (PLUS, Pmode, pic_offset_table_rtx,
-                                      gen_rtx (HIGH, Pmode, offset))));
-         emit_insn (gen_rtx (SET, Pmode, reg,
-                             gen_rtx (LO_SUM, Pmode, hi_sum_reg, offset)));
+         emit_insn (gen_rtx_SET (Pmode, hi_sum_reg,
+                             gen_rtx_PLUS (Pmode, pic_offset_table_rtx,
+                                      gen_rtx_HIGH (Pmode, offset))));
+         emit_insn (gen_rtx_SET (Pmode, reg,
+                                 gen_rtx_LO_SUM (Pmode, hi_sum_reg, offset)));
 
          orig = reg;
 #else
 #if defined (HAVE_lo_sum)
          if (reg == 0) abort ();
 
-         emit_insn (gen_rtx (SET, VOIDmode, reg,
-                             gen_rtx (HIGH, Pmode, offset)));
-         emit_insn (gen_rtx (SET, VOIDmode, reg,
-                             gen_rtx (LO_SUM, Pmode, reg, offset)));
-         emit_insn (gen_rtx (USE, VOIDmode,
-                             gen_rtx_REG (Pmode, PIC_OFFSET_TABLE_REGNUM)));
+         emit_insn (gen_rtx_SET (VOIDmode, reg,
+                                 gen_rtx_HIGH (Pmode, offset)));
+         emit_insn (gen_rtx_SET (VOIDmode, reg,
+                                 gen_rtx_LO_SUM (Pmode, reg, offset)));
+         emit_insn (gen_rtx_USE (VOIDmode, pic_offset_table_rtx));
 
-         orig = gen_rtx (PLUS, Pmode, pic_offset_table_rtx, reg);
+         orig = gen_rtx_PLUS (Pmode, pic_offset_table_rtx, reg);
 #endif
 #endif
          return orig;
        }
 
-      ptr_ref = gen_rtx (SYMBOL_REF, Pmode,
-                         machopic_non_lazy_ptr_name (name));
+      ptr_ref = gen_rtx_SYMBOL_REF (Pmode,
+                                   machopic_non_lazy_ptr_name (name));
 
       ptr_ref = gen_rtx_MEM (Pmode, ptr_ref);
       RTX_UNCHANGING_P (ptr_ref) = 1;
@@ -500,7 +522,7 @@ machopic_indirect_data_reference (rtx orig, rtx reg)
       if (MACHOPIC_PURE && GET_CODE (orig) == CONST_INT)
        result = plus_constant (base, INTVAL (orig));
       else
-       result = gen_rtx (PLUS, Pmode, base, orig);
+       result = gen_rtx_PLUS (Pmode, base, orig);
 
       if (MACHOPIC_JUST_INDIRECT && GET_CODE (base) == MEM)
        {
@@ -562,7 +584,7 @@ machopic_indirect_call_target (rtx target)
        {
          const char *stub_name = machopic_stub_name (name);
 
-         XEXP (target, 0) = gen_rtx (SYMBOL_REF, mode, stub_name);
+         XEXP (target, 0) = gen_rtx_SYMBOL_REF (mode, stub_name);
          RTX_UNCHANGING_P (target) = 1;
        }
     }
@@ -602,7 +624,7 @@ machopic_legitimize_pic_address (rtx orig, enum machine_mode mode, rtx reg)
       if (MACHO_DYNAMIC_NO_PIC_P)
        pic_base = CONST0_RTX (Pmode);
       else
-      pic_base = gen_rtx (SYMBOL_REF, Pmode, machopic_function_base_name ());
+      pic_base = gen_rtx_SYMBOL_REF (Pmode, machopic_function_base_name ());
 
       if (GET_CODE (orig) == MEM)
        {
@@ -626,9 +648,9 @@ machopic_legitimize_pic_address (rtx orig, enum machine_mode mode, rtx reg)
 
              emit_insn (gen_macho_high (temp_reg, asym));
              mem = gen_rtx_MEM (GET_MODE (orig),
-                                gen_rtx (LO_SUM, Pmode, temp_reg, asym));
+                                gen_rtx_LO_SUM (Pmode, temp_reg, asym));
              RTX_UNCHANGING_P (mem) = 1;
-             emit_insn (gen_rtx (SET, VOIDmode, reg, mem));
+             emit_insn (gen_rtx_SET (VOIDmode, reg, mem));
 #else
              /* Some other CPU -- WriteMe! but right now there are no other platform that can use dynamic-no-pic  */
              abort ();
@@ -639,37 +661,47 @@ machopic_legitimize_pic_address (rtx orig, enum machine_mode mode, rtx reg)
          if (GET_CODE (XEXP (orig, 0)) == SYMBOL_REF
              || GET_CODE (XEXP (orig, 0)) == LABEL_REF)
            {
-             rtx offset = gen_rtx (CONST, Pmode,
-                                   gen_rtx (MINUS, Pmode,
-                                            XEXP (orig, 0), pic_base));
+             rtx offset = gen_rtx_CONST (Pmode,
+                                         gen_rtx_MINUS (Pmode,
+                                                        XEXP (orig, 0),
+                                                        pic_base));
 #if defined (TARGET_TOC) /* i.e., PowerPC */
              /* Generating a new reg may expose opportunities for
                 common subexpression elimination.  */
-              rtx hi_sum_reg =
-               (reload_in_progress ? reg : gen_reg_rtx (SImode));
-
-             emit_insn (gen_rtx (SET, Pmode, hi_sum_reg,
-                                 gen_rtx (PLUS, Pmode,
-                                          pic_offset_table_rtx,
-                                          gen_rtx (HIGH, Pmode, offset))));
-             emit_insn (gen_rtx (SET, VOIDmode, reg,
-                                 gen_rtx (MEM, GET_MODE (orig),
-                                          gen_rtx (LO_SUM, Pmode,
-                                                   hi_sum_reg, offset))));
-             pic_ref = reg;
+              rtx hi_sum_reg = no_new_pseudos ? reg : gen_reg_rtx (SImode);
+             rtx mem;
+             rtx insn;
+             rtx sum;
+             
+             sum = gen_rtx_HIGH (Pmode, offset);
+             if (! MACHO_DYNAMIC_NO_PIC_P)
+               sum = gen_rtx_PLUS (Pmode, pic_offset_table_rtx, sum);
 
+             emit_insn (gen_rtx_SET (Pmode, hi_sum_reg, sum));
+
+             mem = gen_rtx_MEM (GET_MODE (orig),
+                                gen_rtx_LO_SUM (Pmode, 
+                                                hi_sum_reg, offset));
+             RTX_UNCHANGING_P (mem) = 1;
+             insn = emit_insn (gen_rtx_SET (VOIDmode, reg, mem));
+             REG_NOTES (insn) = gen_rtx_EXPR_LIST (REG_EQUAL, pic_ref, 
+                                                   REG_NOTES (insn));
+
+             pic_ref = reg;
 #else
-             emit_insn (gen_rtx (USE, VOIDmode,
-                             gen_rtx_REG (Pmode, PIC_OFFSET_TABLE_REGNUM)));
-
-             emit_insn (gen_rtx (SET, VOIDmode, reg,
-                                 gen_rtx (HIGH, Pmode,
-                                          gen_rtx (CONST, Pmode, offset))));
-             emit_insn (gen_rtx (SET, VOIDmode, reg,
-                                 gen_rtx (LO_SUM, Pmode, reg,
-                                          gen_rtx (CONST, Pmode, offset))));
-             pic_ref = gen_rtx (PLUS, Pmode,
-                                pic_offset_table_rtx, reg);
+             emit_insn (gen_rtx_USE (VOIDmode,
+                                     gen_rtx_REG (Pmode, 
+                                                  PIC_OFFSET_TABLE_REGNUM)));
+
+             emit_insn (gen_rtx_SET (VOIDmode, reg,
+                                     gen_rtx_HIGH (Pmode,
+                                                   gen_rtx_CONST (Pmode, 
+                                                                  offset))));
+             emit_insn (gen_rtx_SET (VOIDmode, reg,
+                                 gen_rtx_LO_SUM (Pmode, reg,
+                                          gen_rtx_CONST (Pmode, offset))));
+             pic_ref = gen_rtx_PLUS (Pmode,
+                                     pic_offset_table_rtx, reg);
 #endif
            }
          else
@@ -682,21 +714,22 @@ machopic_legitimize_pic_address (rtx orig, enum machine_mode mode, rtx reg)
                  pic = reg;
                }
 #if 0
-             emit_insn (gen_rtx (USE, VOIDmode,
-                                 gen_rtx (REG, Pmode, PIC_OFFSET_TABLE_REGNUM)));
+             emit_insn (gen_rtx_USE (VOIDmode,
+                                     gen_rtx_REG (Pmode, 
+                                                  PIC_OFFSET_TABLE_REGNUM)));
 #endif
 
-             pic_ref = gen_rtx (PLUS, Pmode,
-                                pic,
-                                gen_rtx (CONST, Pmode,
-                                         gen_rtx (MINUS, Pmode,
-                                                  XEXP (orig, 0),
-                                                  pic_base)));
+             pic_ref = gen_rtx_PLUS (Pmode,
+                                     pic,
+                                     gen_rtx_CONST (Pmode,
+                                         gen_rtx_MINUS (Pmode,
+                                                        XEXP (orig, 0),
+                                                        pic_base)));
            }
 
 #if !defined (TARGET_TOC)
          emit_move_insn (reg, pic_ref);
-         pic_ref = gen_rtx (MEM, GET_MODE (orig), reg);
+         pic_ref = gen_rtx_MEM (GET_MODE (orig), reg);
 #endif
          RTX_UNCHANGING_P (pic_ref) = 1;
        }
@@ -707,8 +740,9 @@ machopic_legitimize_pic_address (rtx orig, enum machine_mode mode, rtx reg)
          if (GET_CODE (orig) == SYMBOL_REF
              || GET_CODE (orig) == LABEL_REF)
            {
-             rtx offset = gen_rtx (CONST, Pmode,
-                                   gen_rtx (MINUS, Pmode, orig, pic_base));
+             rtx offset = gen_rtx_CONST (Pmode,
+                                         gen_rtx_MINUS (Pmode, 
+                                                        orig, pic_base));
 #if defined (TARGET_TOC) /* i.e., PowerPC */
               rtx hi_sum_reg;
 
@@ -722,24 +756,25 @@ machopic_legitimize_pic_address (rtx orig, enum machine_mode mode, rtx reg)
 
              hi_sum_reg = reg;
 
-             emit_insn (gen_rtx (SET, Pmode, hi_sum_reg,
-                          (MACHO_DYNAMIC_NO_PIC_P)
-                               ? gen_rtx (HIGH, Pmode, offset)
-                               : gen_rtx (PLUS, Pmode,
-                                          pic_offset_table_rtx,
-                                          gen_rtx (HIGH, Pmode, offset))));
-             emit_insn (gen_rtx (SET, VOIDmode, reg,
-                                 gen_rtx (LO_SUM, Pmode,
-                                          hi_sum_reg, offset)));
+             emit_insn (gen_rtx_SET (Pmode, hi_sum_reg,
+                                     (MACHO_DYNAMIC_NO_PIC_P)
+                                     ? gen_rtx_HIGH (Pmode, offset)
+                                     : gen_rtx_PLUS (Pmode,
+                                                     pic_offset_table_rtx,
+                                                     gen_rtx_HIGH (Pmode, 
+                                                                   offset))));
+             emit_insn (gen_rtx_SET (VOIDmode, reg,
+                                     gen_rtx_LO_SUM (Pmode,
+                                                     hi_sum_reg, offset)));
              pic_ref = reg;
              RTX_UNCHANGING_P (pic_ref) = 1;
 #else
-             emit_insn (gen_rtx (SET, VOIDmode, reg,
-                                 gen_rtx (HIGH, Pmode, offset)));
-             emit_insn (gen_rtx (SET, VOIDmode, reg,
-                                 gen_rtx (LO_SUM, Pmode, reg, offset)));
-             pic_ref = gen_rtx (PLUS, Pmode,
-                                pic_offset_table_rtx, reg);
+             emit_insn (gen_rtx_SET (VOIDmode, reg,
+                                     gen_rtx_HIGH (Pmode, offset)));
+             emit_insn (gen_rtx_SET (VOIDmode, reg,
+                                     gen_rtx_LO_SUM (Pmode, reg, offset)));
+             pic_ref = gen_rtx_PLUS (Pmode,
+                                     pic_offset_table_rtx, reg);
              RTX_UNCHANGING_P (pic_ref) = 1;
 #endif
            }
@@ -759,14 +794,14 @@ machopic_legitimize_pic_address (rtx orig, enum machine_mode mode, rtx reg)
                      pic = reg;
                    }
 #if 0
-                 emit_insn (gen_rtx (USE, VOIDmode,
-                                     pic_offset_table_rtx));
+                 emit_insn (gen_rtx_USE (VOIDmode,
+                                         pic_offset_table_rtx));
 #endif
-                 pic_ref = gen_rtx (PLUS, Pmode,
-                                    pic,
-                                    gen_rtx (CONST, Pmode,
-                                             gen_rtx (MINUS, Pmode,
-                                                      orig, pic_base)));
+                 pic_ref = gen_rtx_PLUS (Pmode,
+                                         pic,
+                                         gen_rtx_CONST (Pmode,
+                                             gen_rtx_MINUS (Pmode,
+                                                            orig, pic_base)));
                }
            }
        }
@@ -812,7 +847,7 @@ machopic_legitimize_pic_address (rtx orig, enum machine_mode mode, rtx reg)
          is_complex = 1;
        }
       else
-       pic_ref = gen_rtx (PLUS, Pmode, base, orig);
+       pic_ref = gen_rtx_PLUS (Pmode, base, orig);
 
       if (RTX_UNCHANGING_P (base) && RTX_UNCHANGING_P (orig))
        RTX_UNCHANGING_P (pic_ref) = 1;
@@ -835,7 +870,7 @@ machopic_legitimize_pic_address (rtx orig, enum machine_mode mode, rtx reg)
     {
       rtx addr = machopic_legitimize_pic_address (XEXP (orig, 0), Pmode, reg);
 
-      addr = gen_rtx (MEM, GET_MODE (orig), addr);
+      addr = gen_rtx_MEM (GET_MODE (orig), addr);
       RTX_UNCHANGING_P (addr) = RTX_UNCHANGING_P (orig);
       emit_move_insn (reg, addr);
       pic_ref = reg;
@@ -862,10 +897,6 @@ machopic_finish (FILE *asm_out_file)
       if (! TREE_USED (temp))
        continue;
 
-      /* If the symbol is actually defined, we don't need a stub.  */
-      if (sym_name[0] == '!' && sym_name[1] == 'T')
-       continue;
-
       sym_name = darwin_strip_name_encoding (sym_name);
 
       sym = alloca (strlen (sym_name) + 2);
@@ -900,7 +931,7 @@ machopic_finish (FILE *asm_out_file)
          data_section ();
          assemble_align (GET_MODE_ALIGNMENT (Pmode));
          assemble_label (lazy_name);
-         assemble_integer (gen_rtx (SYMBOL_REF, Pmode, sym_name),
+         assemble_integer (gen_rtx_SYMBOL_REF (Pmode, sym_name),
                            GET_MODE_SIZE (Pmode),
                            GET_MODE_ALIGNMENT (Pmode), 1);
        }
@@ -970,9 +1001,10 @@ darwin_encode_section_info (tree decl, rtx rtl, int first ATTRIBUTE_UNUSED)
   if ((TREE_CODE (decl) == FUNCTION_DECL
        || TREE_CODE (decl) == VAR_DECL)
       && !DECL_EXTERNAL (decl)
+      && (!TREE_PUBLIC (decl) || (!DECL_ONE_ONLY (decl) && !DECL_WEAK (decl)))
       && ((TREE_STATIC (decl)
           && (!DECL_COMMON (decl) || !TREE_PUBLIC (decl)))
-         || (DECL_INITIAL (decl)
+         || (!DECL_COMMON (decl) && DECL_INITIAL (decl)
              && DECL_INITIAL (decl) != error_mark_node)))
     defined = 1;
 
@@ -1058,38 +1090,6 @@ update_non_lazy_ptrs (const char *name)
     }
 }
 
-/* Function NAME is being defined, and its label has just been output.
-   If there's already a reference to a stub for this function, we can
-   just emit the stub label now and we don't bother emitting the stub later.  */
-
-void
-machopic_output_possible_stub_label (FILE *file, const char *name)
-{
-  tree temp;
-
-
-  /* Ensure we're looking at a section-encoded name.  */
-  if (name[0] != '!' || (name[1] != 't' && name[1] != 'T'))
-    return;
-
-  for (temp = machopic_stubs;
-       temp != NULL_TREE;
-       temp = TREE_CHAIN (temp))
-    {
-      const char *sym_name;
-
-      sym_name = IDENTIFIER_POINTER (TREE_VALUE (temp));
-      if (sym_name[0] == '!' && sym_name[1] == 'T'
-         && ! strcmp (name+2, sym_name+2))
-       {
-         ASM_OUTPUT_LABEL (file, IDENTIFIER_POINTER (TREE_PURPOSE (temp)));
-         /* Avoid generating a stub for this.  */
-         TREE_USED (temp) = 0;
-         break;
-       }
-    }
-}
-
 /* Scan the list of stubs and update any recorded names whose
    stripped name matches the argument.  */
 
@@ -1122,6 +1122,20 @@ update_stubs (const char *name)
 }
 
 void
+darwin_make_decl_one_only (tree decl)
+{
+  static const char *text_section = "__TEXT,__textcoal_nt,coalesced,no_toc";
+  static const char *data_section = "__DATA,__datacoal_nt,coalesced,no_toc";
+
+  const char *sec = TREE_CODE (decl) == FUNCTION_DECL
+    ? text_section
+    : data_section;
+  TREE_PUBLIC (decl) = 1;
+  DECL_ONE_ONLY (decl) = 1;
+  DECL_SECTION_NAME (decl) = build_string (strlen (sec), sec);
+}
+
+void
 machopic_select_section (tree exp, int reloc,
                         unsigned HOST_WIDE_INT align ATTRIBUTE_UNUSED)
 {
@@ -1136,8 +1150,7 @@ machopic_select_section (tree exp, int reloc,
 
   if (TREE_CODE (exp) == STRING_CST
       && ((size_t) TREE_STRING_LENGTH (exp)
-         == strlen (TREE_STRING_POINTER (exp)) + 1)
-      && ! flag_writable_strings)
+         == strlen (TREE_STRING_POINTER (exp)) + 1))
     cstring_section ();
   else if ((TREE_CODE (exp) == INTEGER_CST || TREE_CODE (exp) == REAL_CST)
           && flag_merge_constants)
@@ -1256,7 +1269,6 @@ machopic_select_rtx_section (enum machine_mode mode, rtx x,
 void
 machopic_asm_out_constructor (rtx symbol, int priority ATTRIBUTE_UNUSED)
 {
-
   if (MACHOPIC_INDIRECT)
     mod_init_section ();
   else
@@ -1264,7 +1276,6 @@ machopic_asm_out_constructor (rtx symbol, int priority ATTRIBUTE_UNUSED)
   assemble_align (POINTER_SIZE);
   assemble_integer (symbol, POINTER_SIZE / BITS_PER_UNIT, POINTER_SIZE, 1);
 
-
   if (! MACHOPIC_INDIRECT)
     fprintf (asm_out_file, ".reference .constructors_used\n");
 }
@@ -1272,7 +1283,6 @@ machopic_asm_out_constructor (rtx symbol, int priority ATTRIBUTE_UNUSED)
 void
 machopic_asm_out_destructor (rtx symbol, int priority ATTRIBUTE_UNUSED)
 {
-
   if (MACHOPIC_INDIRECT)
     mod_term_section ();
   else
@@ -1291,6 +1301,129 @@ darwin_globalize_label (FILE *stream, const char *name)
     default_globalize_label (stream, name);
 }
 
+void
+darwin_asm_named_section (const char *name, unsigned int flags ATTRIBUTE_UNUSED)
+{
+  if (flag_reorder_blocks_and_partition)
+    fprintf (asm_out_file, SECTION_FORMAT_STRING, name);
+  else
+    fprintf (asm_out_file, ".section %s\n", name);
+}
+
+unsigned int
+darwin_section_type_flags (tree decl, const char *name, int reloc)
+{
+  unsigned int flags = default_section_type_flags (decl, name, reloc);
+  /* Weak or linkonce variables live in a writable section.  */
+  if (decl != 0 && TREE_CODE (decl) != FUNCTION_DECL
+      && (DECL_WEAK (decl) || DECL_ONE_ONLY (decl)))
+    flags |= SECTION_WRITE;
+  
+  return flags;
+}              
+
+void 
+darwin_unique_section (tree decl, int reloc ATTRIBUTE_UNUSED)
+{
+  /* Darwin does not use unique sections.  However, the target's
+     unique_section hook is called for linkonce symbols.  We need
+     to set an appropriate section for such symbols. */
+  if (DECL_ONE_ONLY (decl) && !DECL_SECTION_NAME (decl))
+    darwin_make_decl_one_only (decl);
+}
+
+/* Emit a label for an FDE, making it global and/or weak if appropriate. 
+   The third parameter is nonzero if this is just a placeholder for an
+   FDE that we are omitting. */
+void 
+darwin_emit_unwind_label(FILE *file, tree decl, int empty)
+{
+  tree id = DECL_ASSEMBLER_NAME (decl)
+    ? DECL_ASSEMBLER_NAME (decl)
+    : DECL_NAME (decl);
+
+  const char *prefix = "_";
+  const int prefix_len = 1;
+
+  const char *base = IDENTIFIER_POINTER (id);
+  unsigned int base_len = IDENTIFIER_LENGTH (id);
+
+  const char *suffix = ".eh";
+  unsigned int suffix_len = 3;
+
+  int need_quotes = name_needs_quotes (base);
+  int quotes_len = need_quotes ? 2 : 0;
+
+  char *lab = xmalloc (prefix_len + base_len + suffix_len + quotes_len + 1);
+  lab[0] = '\0';
+
+  if (need_quotes)
+    strcat(lab, "\"");
+  strcat(lab, prefix);
+  strcat(lab, base);
+  strcat(lab, suffix);
+  if (need_quotes)
+    strcat(lab, "\"");
+
+  if (TREE_PUBLIC (decl))
+    fprintf (file, "%s %s\n",
+            (DECL_VISIBILITY (decl) != VISIBILITY_HIDDEN
+             ? ".globl"
+             : ".private_extern"),
+            lab);
+
+  if (DECL_ONE_ONLY (decl) && TREE_PUBLIC (decl))
+    fprintf (file, ".weak_definition %s\n", lab);
+
+  if (empty)
+    fprintf (file, "%s = 0\n", lab);
+  else
+    fprintf (file, "%s:\n", lab);
+
+  free (lab);
+}
+
+/* Generate a PC-relative reference to a Mach-O non-lazy-symbol.  */ 
+void
+darwin_non_lazy_pcrel (FILE *file, rtx addr)
+{
+  const char *str;
+  const char *nlp_name;
+
+  if (GET_CODE (addr) != SYMBOL_REF)
+    abort ();
+
+  str = darwin_strip_name_encoding (XSTR (addr, 0));
+  nlp_name = machopic_non_lazy_ptr_name (str);
+  fputs ("\t.long\t", file);
+  ASM_OUTPUT_LABELREF (file, nlp_name);
+  fputs ("-.", file);
+}
+
+/* Emit an assembler directive to set visibility for a symbol.  The
+   only supported visibilities are VISIBILITY_DEFAULT and
+   VISIBILITY_HIDDEN; the latter corresponds to Darwin's "private
+   extern".  There is no MACH-O equivalent of ELF's
+   VISIBILITY_INTERNAL or VISIBILITY_PROTECTED. */
+
+void 
+darwin_assemble_visibility (tree decl, int vis)
+{
+  if (vis == VISIBILITY_DEFAULT)
+    ;
+  else if (vis == VISIBILITY_HIDDEN)
+    {
+      fputs ("\t.private_extern ", asm_out_file);
+      assemble_name (asm_out_file,
+                    (IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (decl))));
+      fputs ("\n", asm_out_file);
+    }
+  else
+    warning ("internal and protected visibility attributes not supported"
+            "in this configuration; ignored");
+}
+
 /* Output a difference of two labels that will be an assembly time
    constant if the two labels are local.  (.long lab1-lab2 will be
    very different if lab1 is at the boundary between two sections; it
@@ -1304,8 +1437,8 @@ void
 darwin_asm_output_dwarf_delta (FILE *file, int size ATTRIBUTE_UNUSED,
                               const char *lab1, const char *lab2)
 {
-  const char *p = lab1 + (lab1[0] == '*');
-  int islocaldiff = (p[0] == 'L');
+  int islocaldiff = (lab1[0] == '*' && lab1[1] == 'L'
+                    && lab2[0] == '*' && lab2[1] == 'L');
 
   if (islocaldiff)
     fprintf (file, "\t.set L$set$%d,", darwin_dwarf_label_counter);