* emultempl/mmo.em (mmo_place_orphan): Rewrite to also attach
authorHans-Peter Nilsson <hp@axis.com>
Sun, 9 Sep 2012 16:30:40 +0000 (16:30 +0000)
committerHans-Peter Nilsson <hp@axis.com>
Sun, 9 Sep 2012 16:30:40 +0000 (16:30 +0000)
orphan sections to .data and .bss output sections, not just .text.
When giving up on finding a suitable output section, attach to any
output section other than .MMIX.reg_contents, if it exists.
* scripttempl/mmo.sc: Move output debug sections to just before
.MMIX.reg_contents.  Add .gnu.attributes.  Add new . = . NOP
assignments and move end-of-section provide-symbols after them
to force the end-of-section symbols to the address after orphan
placement.  Add SORT_NONE to .init and .fini sections.

ld/ChangeLog
ld/emultempl/mmo.em
ld/scripttempl/mmo.sc

index 22f7c69c78fd21970964bf6daf5e9af555559e85..f0e1b35104680a525863fc82e09709ba2d8920dc 100644 (file)
@@ -1,3 +1,15 @@
+2012-09-09  Hans-Peter Nilsson  <hp@bitrange.com>
+
+       * emultempl/mmo.em (mmo_place_orphan): Rewrite to also attach
+       orphan sections to .data and .bss output sections, not just .text.
+       When giving up on finding a suitable output section, attach to any
+       output section other than .MMIX.reg_contents, if it exists.
+       * scripttempl/mmo.sc: Move output debug sections to just before
+       .MMIX.reg_contents.  Add .gnu.attributes.  Add new . = . NOP
+       assignments and move end-of-section provide-symbols after them
+       to force the end-of-section symbols to the address after orphan
+       placement.  Add SORT_NONE to .init and .fini sections.
+
 2012-08-30  H.J. Lu  <hongjiu.lu@intel.com>
 
        PR ld/14525
index a1d5472f2752ad4702728d40cd3419b572405c8d..b895a9aaf128719e60a8ae77a8367e0ea0d61fdc 100644 (file)
@@ -53,22 +53,49 @@ mmo_place_orphan (asection *s,
                  const char *secname,
                  int constraint ATTRIBUTE_UNUSED)
 {
-  static struct orphan_save hold_text =
-    {
-      MMO_TEXT_SECTION_NAME,
-      SEC_HAS_CONTENTS | SEC_ALLOC | SEC_LOAD | SEC_READONLY | SEC_CODE,
-      0, 0, 0, 0
-    };
-  struct orphan_save *place;
+  static struct
+  {
+    flagword nonzero_flags;
+    struct orphan_save orphansave;
+  } holds[] =
+      {
+       {
+         SEC_CODE | SEC_READONLY,
+         {
+           MMO_TEXT_SECTION_NAME,
+           SEC_HAS_CONTENTS | SEC_ALLOC | SEC_LOAD | SEC_READONLY | SEC_CODE,
+           0, 0, 0, 0
+         }
+       },
+       {
+         SEC_LOAD | SEC_DATA,
+         {
+           MMO_DATA_SECTION_NAME,
+           SEC_HAS_CONTENTS | SEC_ALLOC | SEC_LOAD | SEC_DATA,
+           0, 0, 0, 0
+         }
+       },
+       {
+         SEC_ALLOC,
+         {
+           ".bss",
+           SEC_ALLOC,
+           0, 0, 0, 0
+         }
+       }
+      };
+
+  struct orphan_save *place = NULL;
   lang_output_section_statement_type *after;
   lang_output_section_statement_type *os;
+  size_t i;
 
-  /* We have nothing to say for anything other than a final link.  */
+  /* We have nothing to say for anything other than a final link or
+     for sections that are excluded.  */
   if (link_info.relocatable
-      || (s->flags & (SEC_EXCLUDE | SEC_LOAD)) != SEC_LOAD)
+      || (s->flags & SEC_EXCLUDE) != 0)
     return NULL;
 
-  /* Only care for sections we're going to load.  */
   os = lang_output_section_find (secname);
 
   /* We have an output section by this name.  Place the section inside it
@@ -79,30 +106,65 @@ mmo_place_orphan (asection *s,
       return os;
     }
 
-  /* If this section does not have .text-type section flags or there's no
-     MMO_TEXT_SECTION_NAME, we don't have anything to say.  */
-  if ((s->flags & (SEC_CODE | SEC_READONLY)) == 0)
-    return NULL;
+  /* Check for matching section type flags for sections we care about.
+     A section without contents can have SEC_LOAD == 0, but we still
+     want it attached to a sane section so the symbols appear as
+     expected.  */
+  if ((s->flags & (SEC_ALLOC | SEC_READONLY)) != SEC_READONLY)
+    for (i = 0; i < sizeof (holds) / sizeof (holds[0]); i++)
+      if ((s->flags & holds[i].nonzero_flags) != 0)
+       {
+         place = &holds[i].orphansave;
+         if (place->os == NULL)
+           place->os = lang_output_section_find (place->name);
+         break;
+       }
 
-  if (hold_text.os == NULL)
-    hold_text.os = lang_output_section_find (hold_text.name);
+  if (place == NULL)
+    {
+      /* For other combinations, we have to give up, except we make
+        sure not to place the orphan section after the
+        linker-generated register section; that'd make it continue
+        the reg section and we never want that to happen for orphan
+        sections.  */
+      lang_output_section_statement_type *before;
+      lang_output_section_statement_type *lookup;
+      static struct orphan_save hold_nonreg =
+       {
+         NULL,
+         SEC_READONLY,
+         0, 0, 0, 0
+       };
 
-  place = &hold_text;
-  if (hold_text.os != NULL)
-    after = hold_text.os;
-  else
-    after = &lang_output_section_statement.head->output_section_statement;
+      if (hold_nonreg.os == NULL)
+       {
+         before = lang_output_section_find (MMIX_REG_CONTENTS_SECTION_NAME);
 
-  /* If there's an output section by this name, we'll use it, regardless
-     of section flags, in contrast to what's done in elf32.em.  */
-  os = lang_insert_orphan (s, secname, 0, after, place, NULL, NULL);
+         /* If we have no such section, all fine; we don't care where
+            it's placed.  */
+         if (before == NULL)
+           return NULL;
+
+         /* We have to find the oss before this one, so we can use that as
+            "after".  */
+         for (lookup = &lang_output_section_statement.head->output_section_statement;
+              lookup != NULL && lookup->next != before;
+              lookup = lookup->next)
+           ;
+
+         hold_nonreg.os = lookup;
+       }
 
-  /* We need an output section for .text as a root, so if there was none
-     (might happen with a peculiar linker script such as in "map
-     addresses", map-address.exp), we grab the output section created
-     above.  */
-  if (hold_text.os == NULL)
-    hold_text.os = os;
+      place = &hold_nonreg;
+    }
+
+  after = place->os;
+  if (after == NULL)
+    return NULL;
+
+  /* If there's an output section by *this* name, we'll use it, regardless
+     of actual section flags, in contrast to what's done in elf32.em.  */
+  os = lang_insert_orphan (s, secname, 0, after, place, NULL, NULL);
 
   return os;
 }
index 38a5b4a380f70bbd735cd9d3bc471d921c37ed18..b14954dc4928152fe1409f282bcc69d3f1499ea2 100644 (file)
@@ -20,12 +20,12 @@ SECTIONS
     /* FIXME: Move .init, .fini, .ctors and .dtors to their own sections.  */
     ${RELOCATING+ PROVIDE (_init_start = .);}
     ${RELOCATING+ PROVIDE (_init = .);}
-    ${RELOCATING+ KEEP (*(.init))}
+    ${RELOCATING+ KEEP (*(SORT_NONE(.init)))}
     ${RELOCATING+ PROVIDE (_init_end = .);}
 
     ${RELOCATING+ PROVIDE (_fini_start = .);}
     ${RELOCATING+ PROVIDE (_fini = .);}
-    ${RELOCATING+ KEEP (*(.fini))}
+    ${RELOCATING+ KEEP (*(SORT_NONE(.fini)))}
     ${RELOCATING+ PROVIDE (_fini_end = .);}
 
     /* FIXME: Align ctors, dtors, ehframe.  */
@@ -57,35 +57,17 @@ SECTIONS
     ${RELOCATING+KEEP (*(.eh_frame))}
     ${RELOCATING+*(.gcc_except_table)}
 
-    ${RELOCATING+ PROVIDE(etext = .);}
-    ${RELOCATING+ PROVIDE(_etext = .);}
-    ${RELOCATING+ PROVIDE(__etext = .);}
     ${RELOCATING+Main = DEFINED (Main) ? Main : (DEFINED (_start) ? _start : ADDR (.text));}
   }
 
-  .stab 0 : { *(.stab) }
-  .stabstr 0 : { *(.stabstr) }
-  .stab.excl 0 : { *(.stab.excl) }
-  .stab.exclstr 0 : { *(.stab.exclstr) }
-  .stab.index 0 : { *(.stab.index) }
-  .stab.indexstr 0 : { *(.stab.indexstr) }
-  .debug_aranges  0 : { *(.debug_aranges) }
-  .debug_pubnames 0 : { *(.debug_pubnames) }
-  .debug_info     0 : { *(.debug_info) *(.gnu.linkonce.wi.*) }
-  .debug_abbrev   0 : { *(.debug_abbrev) }
-  .debug_line     0 : { *(.debug_line) }
-  .debug_frame    0 : { *(.debug_frame) }
-  .debug_str      0 : { *(.debug_str) }
-  .debug_loc      0 : { *(.debug_loc) }
-  .debug_macinfo  0 : { *(.debug_macinfo) }
-  .debug_ranges   0 : { *(.debug_ranges) }
-
-  /* DWARF 3 */
-  .debug_pubtypes 0 : { *(.debug_pubtypes) }
-  .debug_ranges   0 : { *(.debug_ranges) }
-
-  /* DWARF Extension.  */
-  .debug_macro    0 : { *(.debug_macro) } 
+  /* The following NOP assignment and those after .data and .bss, are
+     necessary to get orphan sections adopted by the .text inserted before
+     the following end-section symbols.  An output section would also serve
+     this purpose, but we can't do that.  */
+  . = .;
+  ${RELOCATING+ PROVIDE(etext = .);}
+  ${RELOCATING+ PROVIDE(_etext = .);}
+  ${RELOCATING+ PROVIDE(__etext = .);}
 
   .data ${RELOCATING+ ${DATA_ADDR}}:
   {
@@ -94,14 +76,13 @@ SECTIONS
     *(.data);
     ${RELOCATING+*(.data.*)}
     ${RELOCATING+*(.gnu.linkonce.d*)}
-
-    ${RELOCATING+ PROVIDE(__Edata = .);}
-
-    /* Deprecated, use __Edata.  */
-    ${RELOCATING+ PROVIDE(edata = .);}
-    ${RELOCATING+ PROVIDE(_edata = .);}
-    ${RELOCATING+ PROVIDE(__edata = .);}
   }
+  . = .;
+  ${RELOCATING+ PROVIDE(__Edata = .);}
+  /* Deprecated, use __Edata.  */
+  ${RELOCATING+ PROVIDE(edata = .);}
+  ${RELOCATING+ PROVIDE(_edata = .);}
+  ${RELOCATING+ PROVIDE(__edata = .);}
 
   /* At the moment, although perhaps we should, we can't map sections
      without contents to sections *with* contents due to FIXME: a BFD bug.
@@ -115,8 +96,9 @@ SECTIONS
     ${RELOCATING+ *(.bss);}
     ${RELOCATING+*(.bss.*)}
     ${RELOCATING+ *(COMMON);}
-    ${RELOCATING+ PROVIDE(__Ebss = .);}
   }
+  . = .;
+  ${RELOCATING+ PROVIDE(__Ebss = .);}
 
   /* Deprecated, use __Ebss or __Eall as appropriate.  */
   ${RELOCATING+ PROVIDE(end = .);}
@@ -124,6 +106,30 @@ SECTIONS
   ${RELOCATING+ PROVIDE(__end = .);}
   ${RELOCATING+ PROVIDE(__Eall = .);}
 
+  .stab 0 : { *(.stab) }
+  .stabstr 0 : { *(.stabstr) }
+  .stab.excl 0 : { *(.stab.excl) }
+  .stab.exclstr 0 : { *(.stab.exclstr) }
+  .stab.index 0 : { *(.stab.index) }
+  .stab.indexstr 0 : { *(.stab.indexstr) }
+  .debug_aranges  0 : { *(.debug_aranges) }
+  .debug_pubnames 0 : { *(.debug_pubnames) }
+  .debug_info     0 : { *(.debug_info) *(.gnu.linkonce.wi.*) }
+  .debug_abbrev   0 : { *(.debug_abbrev) }
+  .debug_line     0 : { *(.debug_line) }
+  .debug_frame    0 : { *(.debug_frame) }
+  .debug_str      0 : { *(.debug_str) }
+  .debug_loc      0 : { *(.debug_loc) }
+  .debug_macinfo  0 : { *(.debug_macinfo) }
+  .debug_ranges   0 : { *(.debug_ranges) }
+
+  /* DWARF 3 */
+  .debug_pubtypes 0 : { *(.debug_pubtypes) }
+  .debug_ranges   0 : { *(.debug_ranges) }
+
+  /* DWARF Extension.  */
+  .debug_macro    0 : { *(.debug_macro) }
+
   .MMIX.reg_contents :
   {
     /* Note that this section always has a fixed VMA - that of its
@@ -140,5 +146,7 @@ SECTIONS
      It can probably be fixed with some amount of work.  */
   /DISCARD/ :
   { ${RELOCATING+ *(.gnu.warning.*);} }
+
+  .gnu.attributes 0 : { KEEP (*(.gnu.attributes)) }
 }
 EOF