* lexsup.c (parse_args): Add support for new options -( -) with
[binutils-gdb.git] / ld / ldlang.c
index a1e4293b380e2d3cf92bf77e70edf57be2ee7195..6a4ab5fffb976309b32a744013c4d8b9af1c769a 100644 (file)
@@ -1,5 +1,5 @@
 /* Linker command language support.
-   Copyright 1991, 1992, 1993 Free Software Foundation, Inc.
+   Copyright (C) 1991, 92, 93, 94 Free Software Foundation, Inc.
 
 This file is part of GLD, the Gnu Linker.
 
@@ -19,19 +19,19 @@ the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.  */
 
 #include "bfd.h"
 #include "sysdep.h"
+#include "libiberty.h"
+#include "bfdlink.h"
 
 #include "ld.h"
 #include "ldmain.h"
-#include "ldsym.h"
 #include "ldgram.h"
-#include "ldwarn.h"
-#include "ldlang.h"
 #include "ldexp.h"
+#include "ldlang.h"
 #include "ldemul.h"
 #include "ldlex.h"
 #include "ldmisc.h"
-#include "ldindr.h"
 #include "ldctor.h"
+#include "ldfile.h"
 
 /* FORWARDS */
 static void print_statements PARAMS ((void));
@@ -45,18 +45,10 @@ static lang_statement_union_type *new_statement PARAMS ((enum statement_enum,
 /* LOCALS */
 static struct obstack stat_obstack;
 
-#define obstack_chunk_alloc ldmalloc
+#define obstack_chunk_alloc xmalloc
 #define obstack_chunk_free free
 static CONST char *startup_file;
 static lang_statement_list_type input_file_chain;
-
-/* Points to the last statement in the .data section, so we can add
-   stuff to the data section without pain */
-static lang_statement_list_type end_of_data_section_statement_list;
-
-/* List of statements needed to handle constructors */
-extern lang_statement_list_type constructor_list;
-
 static boolean placed_commons = false;
 static lang_output_section_statement_type *default_common_section;
 static boolean map_option_f;
@@ -65,46 +57,96 @@ static lang_input_statement_type *first_file;
 static lang_statement_list_type lang_output_section_statement;
 static CONST char *current_target;
 static CONST char *output_target;
-static size_t longest_section_name = 8;
-static section_userdata_type common_section_userdata;
+static int longest_section_name = 8;
 static lang_statement_list_type statement_list;
 
+static void print_size PARAMS ((size_t value));
+static void print_alignment PARAMS ((unsigned int value));
+static void print_fill PARAMS ((fill_type value));
+static void print_section PARAMS ((const char *name));
+static void lang_for_each_statement_worker
+  PARAMS ((void (*func) (lang_statement_union_type *),
+          lang_statement_union_type *s));
+static lang_input_statement_type *new_afile
+  PARAMS ((const char *name, lang_input_file_enum_type file_type,
+          const char *target, boolean add_to_list));
+static void print_flags PARAMS ((int *ignore_flags));
+static void init_os PARAMS ((lang_output_section_statement_type *s));
+static void wild_doit PARAMS ((lang_statement_list_type *ptr,
+                              asection *section,
+                              lang_output_section_statement_type *output,
+                              lang_input_statement_type *file));
+static void wild_section PARAMS ((lang_wild_statement_type *ptr,
+                                 const char *section,
+                                 lang_input_statement_type *file,
+                                 lang_output_section_statement_type *output));
+static lang_input_statement_type *lookup_name PARAMS ((const char *name));
+static void load_symbols PARAMS ((lang_input_statement_type *entry));
+static void wild PARAMS ((lang_wild_statement_type *s,
+                         const char *section, const char *file,
+                         const char *target,
+                         lang_output_section_statement_type *output));
+static bfd *open_output PARAMS ((const char *name));
+static void ldlang_open_output PARAMS ((lang_statement_union_type *statement));
+static void open_input_bfds PARAMS ((lang_statement_union_type *statement));
+static void lang_reasonable_defaults PARAMS ((void));
+static void lang_place_undefineds PARAMS ((void));
+static void map_input_to_output_sections
+  PARAMS ((lang_statement_union_type *s,
+          const char *target,
+          lang_output_section_statement_type *output_section_statement));
+static void print_output_section_statement
+  PARAMS ((lang_output_section_statement_type *output_section_statement));
+static void print_assignment
+  PARAMS ((lang_assignment_statement_type *assignment,
+          lang_output_section_statement_type *output_section));
+static void print_input_statement PARAMS ((lang_input_statement_type *statm));
+static void print_input_section PARAMS ((lang_input_section_type *in));
+static void print_fill_statement PARAMS ((lang_fill_statement_type *fill));
+static void print_data_statement PARAMS ((lang_data_statement_type *data));
+static void print_reloc_statement PARAMS ((lang_reloc_statement_type *reloc));
+static void print_padding_statement PARAMS ((lang_padding_statement_type *s));
+static void print_wild_statement
+  PARAMS ((lang_wild_statement_type *w,
+          lang_output_section_statement_type *os));
+static void print_statement PARAMS ((lang_statement_union_type *s,
+                                    lang_output_section_statement_type *os));
+static void print_statements PARAMS ((void));
+static bfd_vma insert_pad PARAMS ((lang_statement_union_type **this_ptr,
+                                  fill_type fill, unsigned int power,
+                                  asection *output_section_statement,
+                                  bfd_vma dot));
+static bfd_vma size_input_section
+  PARAMS ((lang_statement_union_type **this_ptr,
+          lang_output_section_statement_type *output_section_statement,
+          fill_type fill, bfd_vma dot, boolean relax));
+static bfd_vma lang_do_assignments
+  PARAMS ((lang_statement_union_type * s,
+          lang_output_section_statement_type *output_section_statement,
+          fill_type fill,
+          bfd_vma dot));
+static void lang_finish PARAMS ((void));
+static void lang_check PARAMS ((void));
+static void lang_common PARAMS ((void));
+static boolean lang_one_common PARAMS ((struct bfd_link_hash_entry *, PTR));
+static void lang_place_orphans PARAMS ((void));
+static int topower PARAMS ((int));
+static void reset_memory_regions PARAMS ((void));
+
 /* EXPORTS */
-boolean relaxing;
 lang_output_section_statement_type *abs_output_section;
 lang_statement_list_type *stat_ptr = &statement_list;
-lang_input_statement_type *script_file = 0;
-lang_statement_list_type file_chain =
-{0};
-CONST char *entry_symbol = 0;
-bfd_size_type largest_section = 0;
+lang_statement_list_type file_chain = { 0 };
+static const char *entry_symbol = 0;
 boolean lang_has_input_file = false;
-lang_output_section_statement_type *create_object_symbols = 0;
 boolean had_output_filename = false;
 boolean lang_float_flag = false;
 boolean delete_output_file_on_failure = false;
 
-/* IMPORTS */
-extern char *default_target;
-
-extern CONST char *output_filename;
-extern char *current_file;
-extern bfd *output_bfd;
-extern enum bfd_architecture ldfile_output_architecture;
-extern unsigned long ldfile_output_machine;
-extern char *ldfile_output_machine_name;
-extern ldsym_type *symbol_head;
-extern unsigned int commons_pending;
-extern args_type command_line;
-extern ld_config_type config;
-extern boolean write_map;
-extern int g_switch_value;
-
-
 etree_type *base; /* Relocation base - or null */
 
 
-#ifdef __STDC__
+#if defined(__STDC__) || defined(ALMOST_STDC)
 #define cat(a,b) a##b
 #else
 #define cat(a,b) a/**/b
@@ -116,37 +158,37 @@ etree_type *base; /* Relocation base - or null */
 
 #define outside_symbol_address(q) ((q)->value +   outside_section_address(q->section))
 
-void lang_add_data PARAMS ((int type, union etree_union * exp));
-
 PTR
 stat_alloc (size)
      size_t size;
 {
   return obstack_alloc (&stat_obstack, size);
 }
+
 static void
 print_size (value)
      size_t value;
 {
   fprintf (config.map_file, "%5x", (unsigned) value);
 }
+
 static void
 print_alignment (value)
      unsigned int value;
 {
   fprintf (config.map_file, "2**%1u", value);
 }
+
 static void
-DEFUN (print_fill, (value),
-     fill_type value)
+print_fill (value)
+     fill_type value;
 {
   fprintf (config.map_file, "%04x", (unsigned) value);
 }
 
-
 static void
 print_section (name)
-     CONST char *CONST name;
+     CONST char *name;
 {
   fprintf (config.map_file, "%*s", -longest_section_name, name);
 }
@@ -158,7 +200,7 @@ print_section (name)
 
 static void
 lang_for_each_statement_worker (func, s)
-     void (*func) ();
+     void (*func) PARAMS ((lang_statement_union_type *));
      lang_statement_union_type *s;
 {
   for (; s != (lang_statement_union_type *) NULL; s = s->next)
@@ -181,6 +223,7 @@ lang_for_each_statement_worker (func, s)
             s->wild_statement.children.head);
          break;
        case lang_data_statement_enum:
+       case lang_reloc_statement_enum:
        case lang_object_symbols_statement_enum:
        case lang_output_statement_enum:
        case lang_target_statement_enum:
@@ -199,7 +242,7 @@ lang_for_each_statement_worker (func, s)
 
 void
 lang_for_each_statement (func)
-     void (*func) ();
+     void (*func) PARAMS ((lang_statement_union_type *));
 {
   lang_for_each_statement_worker (func,
                                  statement_list.head);
@@ -248,14 +291,22 @@ new_statement (type, size, list)
 
  */
 static lang_input_statement_type *
-new_afile (name, file_type, target)
-     CONST char *CONST name;
-     CONST lang_input_file_enum_type file_type;
-     CONST char *CONST target;
+new_afile (name, file_type, target, add_to_list)
+     CONST char *name;
+     lang_input_file_enum_type file_type;
+     CONST char *target;
+     boolean add_to_list;
 {
+  lang_input_statement_type *p;
 
-  lang_input_statement_type *p = new_stat (lang_input_statement,
-                                          stat_ptr);
+  if (add_to_list)
+    p = new_stat (lang_input_statement, stat_ptr);
+  else
+    {
+      p = ((lang_input_statement_type *)
+          stat_alloc (sizeof (lang_input_statement_type)));
+      p->header.next = NULL;
+    }
 
   lang_has_input_file = true;
   p->target = target;
@@ -282,12 +333,19 @@ new_afile (name, file_type, target)
       p->is_archive = true;
       p->filename = name;
       p->real = true;
-      p->local_sym_name = concat ("-l", name, "");
+      p->local_sym_name = concat ("-l", name, (const char *) NULL);
       p->just_syms_flag = false;
       p->search_dirs_flag = true;
       break;
-    case lang_input_file_is_search_file_enum:
     case lang_input_file_is_marker_enum:
+      p->filename = name;
+      p->is_archive = false;
+      p->real = false;
+      p->local_sym_name = name;
+      p->just_syms_flag = false;
+      p->search_dirs_flag = true;
+      break;
+    case lang_input_file_is_search_file_enum:
       p->filename = name;
       p->is_archive = false;
       p->real = true;
@@ -306,12 +364,13 @@ new_afile (name, file_type, target)
     default:
       FAIL ();
     }
+  p->the_bfd = (bfd *) NULL;
   p->asymbols = (asymbol **) NULL;
-  p->superfile = (lang_input_statement_type *) NULL;
   p->next_real_file = (lang_statement_union_type *) NULL;
   p->next = (lang_statement_union_type *) NULL;
   p->symbol_count = 0;
   p->common_output_section = (asection *) NULL;
+  p->loaded = false;
   lang_statement_append (&input_file_chain,
                         (lang_statement_union_type *) p,
                         &p->next_real_file);
@@ -324,39 +383,8 @@ lang_add_input_file (name, file_type, target)
      lang_input_file_enum_type file_type;
      CONST char *target;
 {
-  /* Look it up or build a new one */
   lang_has_input_file = true;
-
-#if 0
-  lang_input_statement_type *p;
-
-  for (p = (lang_input_statement_type *) input_file_chain.head;
-       p != (lang_input_statement_type *) NULL;
-       p = (lang_input_statement_type *) (p->next_real_file))
-    {
-      /* Sometimes we have incomplete entries in here */
-      if (p->filename != (char *) NULL)
-       {
-         if (strcmp (name, p->filename) == 0)
-           return p;
-       }
-
-    }
-#endif
-  return new_afile (name, file_type, target);
-}
-
-void
-lang_add_keepsyms_file (filename)
-     CONST char *filename;
-{
-  extern strip_symbols_type strip_symbols;
-  if (keepsyms_file != 0)
-    info_msg ("%X%P: error: duplicated keep-symbols-file value\n");
-  keepsyms_file = filename;
-  if (strip_symbols != STRIP_NONE)
-    info_msg ("%P: `-keep-only-symbols-file' overrides `-s' and `-S'\n");
-  strip_symbols = STRIP_SOME;
+  return new_afile (name, file_type, target, true);
 }
 
 /* Build enough state so that the parser can build its tree */
@@ -377,7 +405,7 @@ lang_init ()
                                    (char *) NULL);
   abs_output_section = lang_output_section_statement_lookup (BFD_ABS_SECTION_NAME);
 
-  abs_output_section->bfd_section = &bfd_abs_section;
+  abs_output_section->bfd_section = bfd_abs_section_ptr;
 
 }
 
@@ -541,7 +569,8 @@ lang_map ()
       print_address (m->current - m->origin);
       print_space();
       if (m->old_length)
-       fprintf(config.map_file," %2d%%  ", ( m->current - m->origin) * 100 / m->old_length);
+       fprintf (config.map_file, " %2d%%  ",
+               (int) ((m->current - m->origin) * 100 / m->old_length));
       print_flags (&m->flags);
       fprintf (config.map_file, "\n");
     }
@@ -605,18 +634,7 @@ wild_doit (ptr, section, output, file)
      lang_input_statement_type * file;
 {
   if (output->bfd_section == (asection *) NULL)
-  {
     init_os (output);
-    /* Initialize the vma and size to the existing section.  This will
-       be overriden in lang_size_sections unless SEC_NEVER_LOAD gets
-       set.  */
-    if (section != (asection *) NULL)
-    {
-      bfd_set_section_vma (0, output->bfd_section,
-                          bfd_section_vma (0, section));
-      output->bfd_section->_raw_size = section->_raw_size;
-    }
-  }
 
   if (section != (asection *) NULL
       && section->output_section == (asection *) NULL)
@@ -628,13 +646,14 @@ wild_doit (ptr, section, output, file)
     new->ifile = file;
     section->output_section = output->bfd_section;
 
-    /* Be selective about what the output section inherits from the
-       input section */
-
-    if ((section->flags & SEC_SHARED_LIBRARY) != 0)
-      section->output_section->flags |= section->flags;
-    else
-      section->output_section->flags |= section->flags & ~SEC_NEVER_LOAD;
+    /* We don't copy the SEC_NEVER_LOAD flag from an input section to
+       an output section, because we want to be able to include a
+       SEC_NEVER_LOAD section in the middle of an otherwise loaded
+       section (I don't know why we want to do this, but we do).
+       build_link_order in ldwrite.c handles this case by turning the
+       embedded SEC_NEVER_LOAD section into a fill.  */
+    section->output_section->flags |=
+      section->flags & (flagword) (~ SEC_NEVER_LOAD);
 
     if (!output->loadable) 
     {
@@ -654,14 +673,6 @@ wild_doit (ptr, section, output, file)
   }
 }
 
-static asection *
-our_bfd_get_section_by_name (abfd, section)
-     bfd * abfd;
-     CONST char *section;
-{
-  return bfd_get_section_by_name (abfd, section);
-}
-
 static void
 wild_section (ptr, section, file, output)
      lang_wild_statement_type * ptr;
@@ -676,21 +687,21 @@ wild_section (ptr, section, file, output)
       if (section == (char *) NULL)
        {
          /* Do the creation to all sections in the file */
-         for (s = file->the_bfd->sections; s != (asection *) NULL; s = s->next)
-         {
-           /* except for bss */
-           if ((s->flags & SEC_IS_COMMON)  == 0)
+         for (s = file->the_bfd->sections; s != NULL; s = s->next)
            {
-             wild_doit (&ptr->children, s, output, file);
+             /* except for bss */
+             if ((s->flags & SEC_IS_COMMON)  == 0)
+               {
+                 wild_doit (&ptr->children, s, output, file);
+               }
            }
-         }
        }
       else
        {
          /* Do the creation to the named section only */
-         wild_doit (&ptr->children,
-                    our_bfd_get_section_by_name (file->the_bfd, section),
-                    output, file);
+         s = bfd_get_section_by_name (file->the_bfd, section);
+         if (s != NULL)
+           wild_doit (&ptr->children, s, output, file);
        }
     }
 }
@@ -703,10 +714,9 @@ wild_section (ptr, section, file, output)
    not define anything we need at the time, they won't have all their
    symbols read. If we need them later, we'll have to redo it.
    */
-static
-lang_input_statement_type *
+static lang_input_statement_type *
 lookup_name (name)
-     CONST char *CONST name;
+     CONST char *name;
 {
   lang_input_statement_type *search;
 
@@ -715,35 +725,68 @@ lookup_name (name)
        search = (lang_input_statement_type *) search->next_real_file)
     {
       if (search->filename == (char *) NULL && name == (char *) NULL)
-       {
-         return search;
-       }
-      if (search->filename != (char *) NULL && name != (char *) NULL)
-       {
-         if (strcmp (search->filename, name) == 0)
-           {
-             ldmain_open_file_read_symbol (search);
-             return search;
-           }
-       }
+       return search;
+      if (search->filename != (char *) NULL
+         && name != (char *) NULL
+         && strcmp (search->filename, name) == 0)
+       break;
     }
 
-  /* There isn't an afile entry for this file yet, this must be
-     because the name has only appeared inside a load script and not
-     on the command line  */
-  search = new_afile (name, lang_input_file_is_file_enum, default_target);
-  ldmain_open_file_read_symbol (search);
+  if (search == (lang_input_statement_type *) NULL)
+    search = new_afile (name, lang_input_file_is_file_enum, default_target,
+                       false);
+
+  /* If we have already added this file, or this file is not real
+     (FIXME: can that ever actually happen?) or the name is NULL
+     (FIXME: can that ever actually happen?) don't add this file.  */
+  if (search->loaded
+      || ! search->real
+      || search->filename == (const char *) NULL)
+    return search;
+
+  load_symbols (search);
+
   return search;
+}
+
+/* Get the symbols for an input file.  */
+
+static void
+load_symbols (entry)
+     lang_input_statement_type *entry;
+{
+  if (entry->loaded)
+    return;
+
+  ldfile_open_file (entry);
+
+  if (bfd_check_format (entry->the_bfd, bfd_object))
+    {
+      ldlang_add_file (entry);
+      if (trace_files || trace_file_tries)
+       info_msg ("%I\n", entry);
+    }
+  else if (bfd_check_format (entry->the_bfd, bfd_archive))
+    {
+      /* There is nothing to do here; the add_symbols routine will
+        call ldlang_add_file (via the add_archive_element callback)
+        for each element of the archive which is used.  */
+    }
+  else
+    einfo ("%F%B: file not recognized: %E\n", entry->the_bfd);
 
+  if (bfd_link_add_symbols (entry->the_bfd, &link_info) == false)
+    einfo ("%F%B: could not read symbols: %E\n", entry->the_bfd);
 
+  entry->loaded = true;
 }
 
 static void
 wild (s, section, file, target, output)
      lang_wild_statement_type * s;
-     CONST char *CONST section;
-     CONST char *CONST file;
-     CONST char *CONST target;
+     CONST char *section;
+     CONST char *file;
+     CONST char *target;
      lang_output_section_statement_type * output;
 {
   lang_input_statement_type *f;
@@ -757,8 +800,6 @@ wild (s, section, file, target, output)
        {
          wild_section (s, section, f, output);
        }
-      /* Once more for the script file */
-      wild_section(s, section, script_file, output);
     }
   else
     {
@@ -781,11 +822,8 @@ wild (s, section, file, target, output)
 
 static bfd *
 open_output (name)
-     CONST char *CONST name;
+     CONST char *name;
 {
-  extern unsigned long ldfile_output_machine;
-  extern enum bfd_architecture ldfile_output_architecture;
-
   bfd *output;
 
   if (output_target == (char *) NULL)
@@ -799,7 +837,7 @@ open_output (name)
 
   if (output == (bfd *) NULL)
     {
-      if (bfd_error == invalid_target)
+      if (bfd_get_error () == bfd_error_invalid_target)
        {
          einfo ("%P%F: target %s not found\n", output_target);
        }
@@ -817,6 +855,10 @@ open_output (name)
                           ldfile_output_machine))
     einfo ("%P%F:%s: can not set architecture: %E\n", name);
 
+  link_info.hash = bfd_link_hash_table_create (output);
+  if (link_info.hash == (struct bfd_link_hash_table *) NULL)
+    einfo ("%P%F: can not create link hash table: %E\n");
+
   bfd_set_gp_size (output, g_switch_value);
   return output;
 }
@@ -830,10 +872,11 @@ ldlang_open_output (statement)
 {
   switch (statement->header.type)
     {
-      case lang_output_statement_enum:
+    case lang_output_statement_enum:
+      ASSERT (output_bfd == (bfd *) NULL);
       output_bfd = open_output (statement->output_statement.name);
       ldemul_set_output_arch ();
-      if (config.magic_demand_paged && !config.relocateable_output)
+      if (config.magic_demand_paged && !link_info.relocateable)
        output_bfd->flags |= D_PAGED;
       else
        output_bfd->flags &= ~D_PAGED;
@@ -841,6 +884,10 @@ ldlang_open_output (statement)
        output_bfd->flags |= WP_TEXT;
       else
        output_bfd->flags &= ~WP_TEXT;
+      if (config.traditional_format)
+       output_bfd->flags |= BFD_TRADITIONAL_FORMAT;
+      else
+       output_bfd->flags &= ~BFD_TRADITIONAL_FORMAT;
       break;
 
     case lang_target_statement_enum:
@@ -871,7 +918,7 @@ open_input_bfds (statement)
       if (statement->input_statement.real == true)
        {
          statement->input_statement.target = current_target;
-         lookup_name (statement->input_statement.filename);
+         load_symbols (&statement->input_statement);
        }
       break;
     default:
@@ -884,9 +931,6 @@ open_input_bfds (statement)
 static void
 lang_reasonable_defaults ()
 {
-
-
-
 #if 0
   lang_output_section_statement_lookup (".text");
   lang_output_section_statement_lookup (".data");
@@ -942,63 +986,24 @@ ldlang_add_undef (name)
 static void
 lang_place_undefineds ()
 {
-  ldlang_undef_chain_list_type *ptr = ldlang_undef_chain_list_head;
+  ldlang_undef_chain_list_type *ptr;
 
-  while (ptr != (ldlang_undef_chain_list_type *) NULL)
+  for (ptr = ldlang_undef_chain_list_head;
+       ptr != (ldlang_undef_chain_list_type *) NULL;
+       ptr = ptr->next)
     {
-      asymbol *def;
-      asymbol **def_ptr = (asymbol **) stat_alloc ((bfd_size_type) (sizeof (asymbol **)));
+      struct bfd_link_hash_entry *h;
 
-      def = (asymbol *) bfd_make_empty_symbol (script_file->the_bfd);
-      *def_ptr = def;
-      def->name = ptr->name;
-      def->section = &bfd_und_section;
-      enter_global_ref (def_ptr, ptr->name);
-      ptr = ptr->next;
-    }
-}
-
-/* Copy important data from out internal form to the bfd way. Also
-   create a section for the dummy file
- */
-
-static void
-lang_create_output_section_statements ()
-{
-  lang_statement_union_type *os;
-
-  for (os = lang_output_section_statement.head;
-       os != (lang_statement_union_type *) NULL;
-       os = os->output_section_statement.next)
-    {
-      lang_output_section_statement_type *s =
-      &os->output_section_statement;
-
-      init_os (s);
+      h = bfd_link_hash_lookup (link_info.hash, ptr->name, true, false, true);
+      if (h == (struct bfd_link_hash_entry *) NULL)
+       einfo ("%P%F: bfd_link_hash_lookup failed: %E");
+      if (h->type == bfd_link_hash_new)
+       {
+         h->type = bfd_link_hash_undefined;
+         h->u.undef.abfd = NULL;
+         bfd_link_add_undef (link_info.hash, h);
+       }
     }
-
-}
-
-static void
-lang_init_script_file ()
-{
-  script_file = lang_add_input_file ("command line",
-                                    lang_input_file_is_fake_enum,
-                                    (char *) NULL);
-  script_file->the_bfd = bfd_create ("command line", output_bfd);
-  script_file->symbol_count = 0;
-  script_file->the_bfd->sections = 0;
-
-  /* The user data of a bfd points to the input statement attatched */
-  script_file->the_bfd->usrdata  = (void *)script_file;
-  script_file->common_section =
-   bfd_make_section(script_file->the_bfd,"COMMON");
-
-  abs_output_section =
-   lang_output_section_statement_lookup (BFD_ABS_SECTION_NAME);
-
-  abs_output_section->bfd_section = &bfd_abs_section;
-
 }
 
 /* Open input files and attatch to output sections */
@@ -1039,8 +1044,13 @@ map_input_to_output_sections (s, target, output_section_statement)
        case lang_input_section_enum:
        case lang_object_symbols_statement_enum:
        case lang_data_statement_enum:
+       case lang_reloc_statement_enum:
        case lang_assignment_statement_enum:
        case lang_padding_statement_enum:
+       case lang_input_statement_enum:
+         if (output_section_statement != NULL
+             && output_section_statement->bfd_section == NULL)
+           init_os (output_section_statement);
          break;
        case lang_afile_asection_pair_statement_enum:
          FAIL ();
@@ -1049,29 +1059,18 @@ map_input_to_output_sections (s, target, output_section_statement)
          /* Mark the specified section with the supplied address */
          {
            lang_output_section_statement_type *os =
-           lang_output_section_statement_lookup
-           (s->address_statement.section_name);
+             lang_output_section_statement_lookup
+               (s->address_statement.section_name);
 
+           if (os->bfd_section == NULL)
+             init_os (os);
            os->addr_tree = s->address_statement.address;
-           if (os->bfd_section == (asection *) NULL)
-             {
-               einfo ("%P%F: cannot set the address of undefined section %s\n",
-                      s->address_statement.section_name);
-             }
          }
          break;
-       case lang_input_statement_enum:
-         /* A standard input statement, has no wildcards */
-         /*    ldmain_open_file_read_symbol(&s->input_statement);*/
-         break;
        }
     }
 }
 
-
-
-
-
 static void
 print_output_section_statement (output_section_statement)
      lang_output_section_statement_type * output_section_statement;
@@ -1112,7 +1111,7 @@ print_output_section_statement (output_section_statement)
   }
   else
   {
-    fprintf (config.map_file, "No attached output section");
+    fprintf (config.map_file, " (no attached output section)");
   }
   print_nl ();
   if (output_section_statement->load_base)
@@ -1184,19 +1183,31 @@ print_input_statement (statm)
     }
 }
 
-static void
-print_symbol (q)
-     asymbol * q;
+/* Print all the defined symbols for the abfd provided by in the supplied
+   section.
+*/
+
+static boolean 
+print_one_symbol (hash_entry, ptr)
+struct  bfd_link_hash_entry *hash_entry;
+PTR ptr;
 {
-  print_section ("");
-  fprintf (config.map_file, " ");
-  print_section ("");
-  fprintf (config.map_file, " ");
-  print_address (outside_symbol_address (q));
-  fprintf (config.map_file, "              %s", q->name ? q->name : " ");
-  if (q->flags & BSF_WEAK)
-    fprintf (config.map_file, " *weak*");
-  print_nl ();
+  asection * sec = (asection *)ptr;
+
+  if (hash_entry->type == bfd_link_hash_defined) 
+    {
+      if (sec == hash_entry->u.def.section) {
+       print_section ("");
+       fprintf (config.map_file, " ");
+       print_section ("");
+       fprintf (config.map_file, " ");
+       print_address (hash_entry->u.def.value + outside_section_address (sec));
+       fprintf (config.map_file, "              %s", hash_entry->root.string);
+       print_nl ();
+      }
+    }
+
+  return true;
 }
 
 static void
@@ -1204,9 +1215,7 @@ print_input_section (in)
      lang_input_section_type * in;
 {
   asection *i = in->section;
-  int size = i->reloc_done ?
-  bfd_get_section_size_after_reloc (i) :
-  bfd_get_section_size_before_reloc (i);
+  bfd_size_type size = i->_cooked_size != 0 ? i->_cooked_size : i->_raw_size;
 
   if (size != 0)
     {
@@ -1247,23 +1256,8 @@ print_input_section (in)
              fprintf (config.map_file, "(overhead %d bytes)", (int) bfd_alloc_size (abfd));
              print_nl ();
 
-             /* Find all the symbols in this file defined in this section */
-
-             if (in->ifile->symbol_count)
-               {
-                 asymbol **p;
-
-                 for (p = in->ifile->asymbols; *p; p++)
-                   {
-                     asymbol *q = *p;
-
-                     if (bfd_get_section (q) == i
-                         && (q->flags & (BSF_GLOBAL | BSF_WEAK)) != 0)
-                       {
-                         print_symbol (q);
-                       }
-                   }
-               }
+             /* Print all the symbols */
+             bfd_link_hash_traverse (link_info.hash, print_one_symbol, (PTR) i);
            }
          else
            {
@@ -1317,6 +1311,10 @@ print_data_statement (data)
       fprintf (config.map_file, "LONG ");
       print_dot += LONG_SIZE;
       break;
+    case QUAD:
+      fprintf (config.map_file, "QUAD ");
+      print_dot += QUAD_SIZE;
+      break;
     }
 
   exp_print_tree (data->exp);
@@ -1324,6 +1322,32 @@ print_data_statement (data)
   fprintf (config.map_file, "\n");
 }
 
+/* Print a reloc statement.  */
+
+static void
+print_reloc_statement (reloc)
+     lang_reloc_statement_type *reloc;
+{
+  print_section ("");
+  print_space ();
+  print_section ("");
+  print_space ();
+
+/*  ASSERT(print_dot == data->output_vma);*/
+
+  print_address (reloc->output_vma + reloc->output_section->vma);
+  print_space ();
+  print_address (reloc->addend_value);
+  print_space ();
+
+  fprintf (config.map_file, "RELOC %s ", reloc->howto->name);
+
+  print_dot += bfd_get_reloc_size (reloc->howto);
+
+  exp_print_tree (reloc->addend_exp);
+
+  fprintf (config.map_file, "\n");
+}  
 
 static void
 print_padding_statement (s)
@@ -1402,6 +1426,9 @@ print_statement (s, os)
        case lang_data_statement_enum:
          print_data_statement (&s->data_statement);
          break;
+       case lang_reloc_statement_enum:
+         print_reloc_statement (&s->reloc_statement);
+         break;
        case lang_input_section_enum:
          print_input_section (&s->input_section);
          break;
@@ -1444,12 +1471,12 @@ print_statements ()
 }
 
 static bfd_vma
-DEFUN (insert_pad, (this_ptr, fill, power, output_section_statement, dot),
-     lang_statement_union_type ** this_ptr AND
-     fill_type fill AND
-     unsigned int power AND
-     asection * output_section_statement AND
-     bfd_vma dot)
+insert_pad (this_ptr, fill, power, output_section_statement, dot)
+     lang_statement_union_type ** this_ptr;
+     fill_type fill;
+     unsigned int power;
+     asection * output_section_statement;
+     bfd_vma dot;
 {
   /* Align this section first to the
      input sections requirement, then
@@ -1491,12 +1518,12 @@ DEFUN (insert_pad, (this_ptr, fill, power, output_section_statement, dot),
 
 /* Work out how much this section will move the dot point */
 static bfd_vma
-DEFUN (size_input_section, (this_ptr, output_section_statement, fill, dot, relax),
-     lang_statement_union_type ** this_ptr AND
-     lang_output_section_statement_type * output_section_statement AND
-     unsigned short fill AND
-     bfd_vma dot AND
-     boolean relax)
+size_input_section (this_ptr, output_section_statement, fill, dot, relax)
+     lang_statement_union_type ** this_ptr;
+     lang_output_section_statement_type * output_section_statement;
+     fill_type fill;
+     bfd_vma dot;
+     boolean relax;
 {
   lang_input_section_type *is = &((*this_ptr)->input_section);
   asection *i = is->section;
@@ -1510,29 +1537,16 @@ DEFUN (size_input_section, (this_ptr, output_section_statement, fill, dot, relax
       dot = insert_pad (this_ptr, fill, i->alignment_power,
                        output_section_statement->bfd_section, dot);
 
-      /* remember the largest size so we can malloc the largest area
-         needed for the output stage. Only remember the size of sections
-         which we will actually allocate  */
-      if ((i->flags & SEC_HAS_CONTENTS) != 0
-         && (bfd_get_section_size_before_reloc (i) > largest_section))
-       {
-         largest_section = bfd_get_section_size_before_reloc (i);
-       }
-
       /* Remember where in the output section this input section goes */
 
       i->output_offset = dot - output_section_statement->bfd_section->vma;
 
       /* Mark how big the output section must be to contain this now
         */
-      if (relax)
-       {
-         dot += i->_cooked_size;
-       }
+      if (i->_cooked_size != 0)
+       dot += i->_cooked_size;
       else
-       {
-         dot += i->_raw_size;
-       }
+       dot += i->_raw_size;
       output_section_statement->bfd_section->_raw_size = dot - output_section_statement->bfd_section->vma;
     }
   else
@@ -1543,20 +1557,21 @@ DEFUN (size_input_section, (this_ptr, output_section_statement, fill, dot, relax
   return dot;
 }
 
-/* Sizing happens in two passes, first pass we allocate worst case
-   stuff. The second pass (if relaxing), we use what we learnt to
-   change the size of some relocs from worst case to better
-   */
-static boolean had_relax;
+/* This variable indicates whether bfd_relax_section should be called
+   again.  */
 
-static bfd_vma
-DEFUN (lang_size_sections, (s, output_section_statement, prev, fill, dot, relax),
-     lang_statement_union_type * s AND
-     lang_output_section_statement_type * output_section_statement AND
-     lang_statement_union_type ** prev AND
-     unsigned short fill AND
-     bfd_vma dot AND
-     boolean relax)
+static boolean relax_again;
+
+/* Set the sizes for all the output sections.  */
+
+bfd_vma
+lang_size_sections (s, output_section_statement, prev, fill, dot, relax)
+     lang_statement_union_type * s;
+     lang_output_section_statement_type * output_section_statement;
+     lang_statement_union_type ** prev;
+     fill_type fill;
+     bfd_vma dot;
+     boolean relax;
 {
   /* Size up the sections from their constituent parts */
   for (; s != (lang_statement_union_type *) NULL; s = s->next)
@@ -1569,15 +1584,38 @@ DEFUN (lang_size_sections, (s, output_section_statement, prev, fill, dot, relax)
        bfd_vma after;
        lang_output_section_statement_type *os = &s->output_section_statement;
 
-       /* If this is a shared library section, don't change the size
-         and address.  */
-       if (os->bfd_section->flags & SEC_SHARED_LIBRARY)
-        break;
+       if (os->bfd_section == NULL)
+        {
+          /* This section was never actually created.  */
+          break;
+        }
+
+       /* If this is a COFF shared library section, use the size and
+         address from the input section.  FIXME: This is COFF
+         specific; it would be cleaner if there were some other way
+         to do this, but nothing simple comes to mind.  */
+       if ((os->bfd_section->flags & SEC_COFF_SHARED_LIBRARY) != 0)
+        {
+          asection *input;
+
+          if (os->children.head == NULL
+              || os->children.head->next != NULL
+              || os->children.head->header.type != lang_input_section_enum)
+            einfo ("%P%X: Internal error on COFF shared library section %s",
+                   os->name);
+
+          input = os->children.head->input_section.section;
+          bfd_set_section_vma (os->bfd_section->owner,
+                               os->bfd_section,
+                               bfd_section_vma (input->owner, input));
+          os->bfd_section->_raw_size = input->_raw_size;
+          break;
+        }
 
-       if (os->bfd_section == &bfd_abs_section)
+       if (bfd_is_abs_section (os->bfd_section))
        {
         /* No matter what happens, an abs section starts at zero */
-        bfd_set_section_vma (0, os->bfd_section, 0);
+        ASSERT (os->bfd_section->vma == 0);
        }
        else
        {
@@ -1591,6 +1629,8 @@ DEFUN (lang_size_sections, (s, output_section_statement, prev, fill, dot, relax)
             os->region = lang_memory_region_lookup ("*default*");
           }
           dot = os->region->current;
+          if (os->section_alignment == -1)
+            dot = align_power (dot, os->bfd_section->alignment_power);
         }
         else
         {
@@ -1610,18 +1650,18 @@ DEFUN (lang_size_sections, (s, output_section_statement, prev, fill, dot, relax)
         /* The section starts here */
         /* First, align to what the section needs */
 
+        if (os->section_alignment != -1)
+          dot = align_power (dot, os->section_alignment);
 
-        dot = align_power (dot, os->bfd_section->alignment_power);
         bfd_set_section_vma (0, os->bfd_section, dot);
         
         if (os->load_base) {
           os->bfd_section->lma 
             = exp_get_value_int(os->load_base, 0,"load base", lang_final_phase_enum);
         }
-       }
-
 
-       os->bfd_section->output_offset = 0;
+        os->bfd_section->output_offset = 0;
+       }
 
        (void) lang_size_sections (os->children.head, os, &os->children.head,
                                  os->fill, dot, relax);
@@ -1633,13 +1673,15 @@ DEFUN (lang_size_sections, (s, output_section_statement, prev, fill, dot, relax)
                        /* The coercion here is important, see ld.h.  */
                        (bfd_vma) os->block_value);
 
-       os->bfd_section->_raw_size = after - os->bfd_section->vma;
+       if (bfd_is_abs_section (os->bfd_section))
+        ASSERT (after == os->bfd_section->vma);
+       else
+        os->bfd_section->_raw_size = after - os->bfd_section->vma;
        dot = os->bfd_section->vma + os->bfd_section->_raw_size;
        os->processed = true;
 
        /* Replace into region ? */
-       if (os->addr_tree == (etree_type *) NULL
-          && os->region != (lang_memory_region_type *) NULL)
+       if (os->region != (lang_memory_region_type *) NULL)
        {
         os->region->current = dot;
         /* Make sure this isn't silly */
@@ -1678,6 +1720,9 @@ DEFUN (lang_size_sections, (s, output_section_statement, prev, fill, dot, relax)
 
        switch (s->data_statement.type)
        {
+        case QUAD:
+        size = QUAD_SIZE;
+        break;
        case LONG:
         size = LONG_SIZE;
         break;
@@ -1694,6 +1739,20 @@ DEFUN (lang_size_sections, (s, output_section_statement, prev, fill, dot, relax)
      }
       break;
 
+     case lang_reloc_statement_enum:
+     {
+       int size;
+
+       s->reloc_statement.output_vma =
+        dot - output_section_statement->bfd_section->vma;
+       s->reloc_statement.output_section =
+        output_section_statement->bfd_section;
+       size = bfd_get_reloc_size (s->reloc_statement.howto);
+       dot += size;
+       output_section_statement->bfd_section->_raw_size += size;
+     }
+     break;
+     
      case lang_wild_statement_enum:
 
       dot = lang_size_sections (s->wild_statement.children.head,
@@ -1705,30 +1764,33 @@ DEFUN (lang_size_sections, (s, output_section_statement, prev, fill, dot, relax)
       break;
 
      case lang_object_symbols_statement_enum:
-      create_object_symbols = output_section_statement;
+      link_info.create_object_symbols_section =
+       output_section_statement->bfd_section;
       break;
      case lang_output_statement_enum:
      case lang_target_statement_enum:
       break;
      case lang_input_section_enum:
-      if (relax)
       {
-       relaxing = true;
-
-       if( relax_section (prev))
-        had_relax = true;
-       relaxing = false;
+       asection *i;
 
-      }
-      else  {
-       (*prev)->input_section.section->_cooked_size = 
-        (*prev)->input_section.section->_raw_size ;
+       i = (*prev)->input_section.section;
+       if (! relax)
+         i->_cooked_size = i->_raw_size;
+       else
+         {
+           boolean again;
 
+           if (! bfd_relax_section (i->owner, i, &link_info, &again))
+             einfo ("%P%F: can't relax section: %E\n");
+           if (again)
+             relax_again = true;
+         }
+       dot = size_input_section (prev,
+                                 output_section_statement,
+                                 output_section_statement->fill,
+                                 dot, relax);
       }
-      dot = size_input_section (prev,
-                               output_section_statement,
-                               output_section_statement->fill,
-                               dot, relax);
       break;
      case lang_input_statement_enum:
       break;
@@ -1748,34 +1810,55 @@ DEFUN (lang_size_sections, (s, output_section_statement, prev, fill, dot, relax)
                      &newdot);
 
        if (newdot != dot && !relax)
-       /* We've been moved ! so insert a pad */
-       {
-        lang_statement_union_type *new =
-         (lang_statement_union_type *)
-          stat_alloc ((bfd_size_type) (sizeof (lang_padding_statement_type)));
-
-        /* Link into existing chain */
-        new->header.next = *prev;
-        *prev = new;
-        new->header.type = lang_padding_statement_enum;
-        new->padding_statement.output_section =
-         output_section_statement->bfd_section;
-        new->padding_statement.output_offset =
-         dot - output_section_statement->bfd_section->vma;
-        new->padding_statement.fill = fill;
-        new->padding_statement.size = newdot - dot;
-        output_section_statement->bfd_section->_raw_size +=
-         new->padding_statement.size;
-        dot = newdot;
-       }
+        {
+          /* The assignment changed dot.  Insert a pad.  */
+          if (output_section_statement == abs_output_section)
+            {
+              /* If we don't have an output section, then just adjust
+                 the default memory address.  */
+              lang_memory_region_lookup ("*default*")->current = newdot;
+            }
+          else
+            {
+              lang_statement_union_type *new =
+                ((lang_statement_union_type *)
+                 stat_alloc (sizeof (lang_padding_statement_type)));
+
+              /* Link into existing chain */
+              new->header.next = *prev;
+              *prev = new;
+              new->header.type = lang_padding_statement_enum;
+              new->padding_statement.output_section =
+                output_section_statement->bfd_section;
+              new->padding_statement.output_offset =
+                dot - output_section_statement->bfd_section->vma;
+              new->padding_statement.fill = fill;
+              new->padding_statement.size = newdot - dot;
+              output_section_statement->bfd_section->_raw_size +=
+                new->padding_statement.size;
+            }
+
+          dot = newdot;
+        }
      }
+     break;
+
+   case lang_padding_statement_enum:
+     /* If we are relaxing, and this is not the first pass, some
+       padding statements may have been inserted during previous
+       passes.  We may have to move the padding statement to a new
+       location if dot has a different value at this point in this
+       pass than it did at this point in the previous pass.  */
+     s->padding_statement.output_offset =
+       dot - output_section_statement->bfd_section->vma;
+     dot += s->padding_statement.size;
+     break;
 
-      break;
      default:
       FAIL ();
       break;
+
       /* This can only get here when relaxing is turned on */
-     case lang_padding_statement_enum:
 
      case lang_address_statement_enum:
       break;
@@ -1786,13 +1869,12 @@ DEFUN (lang_size_sections, (s, output_section_statement, prev, fill, dot, relax)
 }
 
 static bfd_vma
-DEFUN (lang_do_assignments, (s, output_section_statement, fill, dot),
-     lang_statement_union_type * s AND
-     lang_output_section_statement_type * output_section_statement AND
-     unsigned short fill AND
-     bfd_vma dot)
+lang_do_assignments (s, output_section_statement, fill, dot)
+     lang_statement_union_type * s;
+     lang_output_section_statement_type * output_section_statement;
+     fill_type fill;
+     bfd_vma dot;
 {
-
   for (; s != (lang_statement_union_type *) NULL; s = s->next)
     {
       switch (s->header.type)
@@ -1807,11 +1889,15 @@ DEFUN (lang_do_assignments, (s, output_section_statement, fill, dot),
        case lang_output_section_statement_enum:
          {
            lang_output_section_statement_type *os =
-           &(s->output_section_statement);
+             &(s->output_section_statement);
 
-           dot = os->bfd_section->vma;
-           (void) lang_do_assignments (os->children.head, os, os->fill, dot);
-           dot = os->bfd_section->vma + os->bfd_section->_raw_size;
+           if (os->bfd_section != NULL)
+             {
+               dot = os->bfd_section->vma;
+               (void) lang_do_assignments (os->children.head, os,
+                                           os->fill, dot);
+               dot = os->bfd_section->vma + os->bfd_section->_raw_size;
+             }
          }
          break;
        case lang_wild_statement_enum:
@@ -1842,6 +1928,9 @@ DEFUN (lang_do_assignments, (s, output_section_statement, fill, dot),
          }
          switch (s->data_statement.type)
            {
+           case QUAD:
+             dot += QUAD_SIZE;
+             break;
            case LONG:
              dot += LONG_SIZE;
              break;
@@ -1853,11 +1942,29 @@ DEFUN (lang_do_assignments, (s, output_section_statement, fill, dot),
              break;
            }
          break;
+
+       case lang_reloc_statement_enum:
+         {
+           etree_value_type value;
+
+           value = exp_fold_tree (s->reloc_statement.addend_exp,
+                                  abs_output_section,
+                                  lang_final_phase_enum, dot, &dot);
+           s->reloc_statement.addend_value = value.value;
+           if (value.valid == false)
+             einfo ("%F%P: invalid reloc statement\n");
+         }
+         dot += bfd_get_reloc_size (s->reloc_statement.howto);
+         break;
+
        case lang_input_section_enum:
          {
            asection *in = s->input_section.section;
 
-           dot += bfd_get_section_size_before_reloc (in);
+           if (in->_cooked_size != 0)
+             dot += in->_cooked_size;
+           else
+             dot += in->_raw_size;
          }
          break;
 
@@ -1890,110 +1997,56 @@ DEFUN (lang_do_assignments, (s, output_section_statement, fill, dot),
   return dot;
 }
 
-
-
-static void
-lang_relocate_globals ()
-{
-  /*
-    Each ldsym_type maintains a chain of pointers to asymbols which
-    references the definition.  Replace each pointer to the referenence
-    with a pointer to only one place, preferably the definition. If
-    the defintion isn't available then the common symbol, and if
-    there isn't one of them then choose one reference.
-    */
-
-  FOR_EACH_LDSYM (lgs)
-  {
-    asymbol *it;
-
-    /* Skip indirect symbols.  */
-    if (lgs->flags & SYM_INDIRECT)
-      continue;
-
-    if (lgs->sdefs_chain)
-      {
-       it = *(lgs->sdefs_chain);
-      }
-    else if (lgs->scoms_chain != (asymbol **) NULL)
-      {
-       it = *(lgs->scoms_chain);
-      }
-    else if (lgs->srefs_chain != (asymbol **) NULL)
-      {
-       it = *(lgs->srefs_chain);
-      }
-    else
-      {
-       /* This can happen when the command line asked for a symbol to
-          be -u */
-       it = (asymbol *) NULL;
-      }
-    if (it != (asymbol *) NULL)
-      {
-       asymbol **prev = 0;
-       asymbol **ptr = lgs->srefs_chain;;
-       if (lgs->flags & SYM_WARNING)
-         {
-           produce_warnings (lgs, it);
-         }
-
-       while (ptr != (asymbol **) NULL
-              && ptr != prev)
-         {
-           asymbol *ref = *ptr;
-           prev = ptr;
-           *ptr = it;
-           ptr = (asymbol **) (ref->udata);
-         }
-      }
-  }
-}
-
-
-
 static void
 lang_finish ()
 {
-  ldsym_type *lgs;
-  int warn = config.relocateable_output != true;
-  if (entry_symbol == (char *) NULL)
-  {
-    /* No entry has been specified, look for start, but don't warn */
-    entry_symbol = "start";
-    warn =0;
-  }
-  lgs = ldsym_get_soft (entry_symbol);
-  if (lgs && lgs->sdefs_chain)
-  {
-    asymbol *sy = *(lgs->sdefs_chain);
+  struct bfd_link_hash_entry *h;
+  boolean warn = link_info.relocateable ? false : true;
 
-    /* We can set the entry address*/
-    bfd_set_start_address (output_bfd,
-                          outside_symbol_address (sy));
+  if (entry_symbol == (char *) NULL)
+    {
+      /* No entry has been specified.  Look for start, but don't warn
+        if we don't find it.  */
+      entry_symbol = "start";
+      warn = false;
+    }
 
-  }
-  else
-  {
-    /* Cannot find anything reasonable,
-       use the first address in the text section
-       */
-    asection *ts = bfd_get_section_by_name (output_bfd, ".text");
-    if (ts)
+  h = bfd_link_hash_lookup (link_info.hash, entry_symbol, false, false, true);
+  if (h != (struct bfd_link_hash_entry *) NULL
+      && h->type == bfd_link_hash_defined)
     {
-      if (warn)
-       einfo ("%P: warning: cannot find entry symbol %s, defaulting to %V\n",
-             entry_symbol, ts->vma);
+      bfd_vma val;
 
-      bfd_set_start_address (output_bfd, ts->vma);
+      val = (h->u.def.value
+            + bfd_get_section_vma (output_bfd,
+                                   h->u.def.section->output_section)
+            + h->u.def.section->output_offset);
+      if (! bfd_set_start_address (output_bfd, val))
+       einfo ("%P%F:%s: can't set start address\n", entry_symbol);
     }
-    else 
+  else
     {
-      if (warn)
-       einfo ("%P: warning: cannot find entry symbol %s, not setting start address\n",
-             entry_symbol);
+      asection *ts;
+
+      /* Can't find the entry symbol.  Use the first address in the
+        text section.  */
+      ts = bfd_get_section_by_name (output_bfd, ".text");
+      if (ts != (asection *) NULL)
+       {
+         if (warn)
+           einfo ("%P: warning: cannot find entry symbol %s; defaulting to %V\n",
+                  entry_symbol, bfd_get_section_vma (output_bfd, ts));
+         if (! bfd_set_start_address (output_bfd,
+                                      bfd_get_section_vma (output_bfd, ts)))
+           einfo ("%P%F: can't set start address\n");
+       }
+      else
+       {
+         if (warn)
+           einfo ("%P: warning: cannot find entry symbol %s; not setting start address\n",
+                  entry_symbol);
+       }
     }
-  }
 }
 
 /* By now we know the target architecture, and we may have an */
@@ -2031,7 +2084,7 @@ lang_check ()
       else
        {
 
-         info_msg ("%P: warning: %s architecture of input file `%B' is incompatible with %s output\n",
+         einfo ("%P: warning: %s architecture of input file `%B' is incompatible with %s output\n",
                bfd_printable_name (input_bfd), input_bfd,
                bfd_printable_name (output_bfd));
 
@@ -2045,137 +2098,100 @@ lang_check ()
     }
 }
 
-/*
- * run through all the global common symbols and tie them
- * to the output section requested.
- *
- As an experiment we do this 4 times, once for all the byte sizes,
- then all the two  bytes, all the four bytes and then everything else
-  */
+/* Look through all the global common symbols and attach them to the
+   correct section.  The -sort-common command line switch may be used
+   to roughly sort the entries by size.  */
 
 static void
 lang_common ()
 {
-  ldsym_type *lgs;
-  size_t power;
+  if (link_info.relocateable
+      && ! command_line.force_common_definition)
+    return;
 
-  if (config.relocateable_output == false ||
-      command_line.force_common_definition == true)
+  if (! config.sort_common)
+    bfd_link_hash_traverse (link_info.hash, lang_one_common, (PTR) NULL);
+  else
     {
-      for (power = 1; (config.sort_common == true && power == 1) || (power <= 16); power <<= 1)
-       {
-         for (lgs = symbol_head;
-              lgs != (ldsym_type *) NULL;
-              lgs = lgs->next)
-           {
-             asymbol *com;
-             unsigned int power_of_two;
-             size_t size;
-             size_t align;
+      unsigned int power;
 
-             if (lgs->scoms_chain != (asymbol **) NULL)
-               {
-                 com = *(lgs->scoms_chain);
-                 size = com->value;
-                 switch (size)
-                   {
-                   case 0:
-                   case 1:
-                     align = 1;
-                     power_of_two = 0;
-                     break;
-                   case 2:
-                     power_of_two = 1;
-                     align = 2;
-                     break;
-                   case 3:
-                   case 4:
-                     power_of_two = 2;
-                     align = 4;
-                     break;
-                   case 5:
-                   case 6:
-                   case 7:
-                   case 8:
-                     power_of_two = 3;
-                     align = 8;
-                     break;
-                   default:
-                     power_of_two = 4;
-                     align = 16;
-                     break;
-                   }
-                 if (config.sort_common == false || align == power)
-                   {
-                     bfd *symbfd;
-
-                     /* Change from a common symbol into a definition of
-                        a symbol */
-                     lgs->sdefs_chain = lgs->scoms_chain;
-                     lgs->scoms_chain = (asymbol **) NULL;
-                     commons_pending--;
-
-                     /* Point to the correct common section */
-                     symbfd = bfd_asymbol_bfd (com);
-                     if (com->section == &bfd_com_section)
-                       com->section =
-                         ((lang_input_statement_type *) symbfd->usrdata)
-                           ->common_section;
-                     else
-                       {
-                         CONST char *name;
-                         asection *newsec;
-
-                         name = bfd_get_section_name (symbfd,
-                                                      com->section);
-                         newsec = bfd_get_section_by_name (symbfd,
-                                                           name);
-                         /* This section should have been created by
-                            enter_file_symbols if it did not already
-                            exist.  */
-                         if (newsec == (asection *) NULL)
-                           einfo ("%P%F: no output section %s\n", name);
-                         com->section = newsec;
-                       }
+      for (power = 1; power <= 16; power <<= 1)
+       bfd_link_hash_traverse (link_info.hash, lang_one_common,
+                               (PTR) &power);
+    }
+}
 
-                     /*  Fix the size of the common section */
+/* Place one common symbol in the correct section.  */
 
-                     com->section->_raw_size =
-                       ALIGN_N (com->section->_raw_size,
-                                /* The coercion here is important, see ld.h.  */
-                                (bfd_vma) align);
+static boolean
+lang_one_common (h, info)
+     struct bfd_link_hash_entry *h;
+     PTR info;
+{
+  unsigned int power_of_two;
+  bfd_vma size;
+  size_t align;
+  asection *section;
 
-                     /* Remember if this is the biggest alignment ever seen */
-                     if (power_of_two > com->section->alignment_power)
-                       {
-                         com->section->alignment_power = power_of_two;
-                       }
+  if (h->type != bfd_link_hash_common)
+    return true;
 
-                     /* Symbol stops being common and starts being global, but
-                        we remember that it was common once. */
+  size = h->u.c.size;
+  switch (size)
+    {
+    case 0:
+    case 1:
+      power_of_two = 0;
+      align = 1;
+      break;
+    case 2:
+      power_of_two = 1;
+      align = 2;
+      break;
+    case 3:
+    case 4:
+      power_of_two = 2;
+      align = 4;
+      break;
+    case 5:
+    case 6:
+    case 7:
+    case 8:
+      power_of_two = 3;
+      align = 8;
+      break;
+    default:
+      power_of_two = 4;
+      align = 16;
+      break;
+    }
+             
+  if (config.sort_common && align != *(unsigned int *) info)
+    return true;
 
-                     com->flags = BSF_EXPORT | BSF_GLOBAL | BSF_OLD_COMMON;
-                     com->value = com->section->_raw_size;
+  section = h->u.c.section;
 
-                     if (write_map && config.map_file)
-                       {
-                         fprintf (config.map_file, "Allocating common %s: %x at %x %s\n",
-                                  lgs->name,
-                                  (unsigned) size,
-                                  (unsigned) com->value,
-                                  bfd_asymbol_bfd(com)->filename);
-                       }
+  /* Increase the size of the section.  */
+  section->_raw_size = ALIGN_N (section->_raw_size, align);
 
-                     com->section->_raw_size += size;
+  /* Adjust the alignment if necessary.  */
+  if (power_of_two > section->alignment_power)
+    section->alignment_power = power_of_two;
 
-                   }
-               }
+  /* Change the symbol from common to defined.  */
+  h->type = bfd_link_hash_defined;
+  h->u.def.section = section;
+  h->u.def.value = section->_raw_size;
 
-           }
-       }
-    }
+  /* Increase the size of the section.  */
+  section->_raw_size += size;
 
+  if (config.map_file != NULL)
+    fprintf (config.map_file, "Allocating common %s: %lx at %lx %s\n",
+            h->root.string, (unsigned long) size,
+            (unsigned long) h->u.def.value, section->owner->filename);
 
+  return true;
 }
 
 /*
@@ -2196,6 +2212,9 @@ lang_place_orphans ()
     {
       asection *s;
 
+      if (file->just_syms_flag)
+       continue;
+
       for (s = file->the_bfd->sections;
           s != (asection *) NULL;
           s = s->next)
@@ -2210,8 +2229,8 @@ lang_place_orphans ()
                  /* This is a lonely common section which must
                     have come from an archive. We attatch to the
                     section with the wildcard  */
-                 if (config.relocateable_output != true
-                     && command_line.force_common_definition == false)
+                 if (! link_info.relocateable
+                     && ! command_line.force_common_definition)
                    {
                      if (default_common_section ==
                          (lang_output_section_statement_type *) NULL)
@@ -2279,7 +2298,24 @@ lang_set_flags (ptr, flags)
     }
 }
 
+/* Call a function on each input file.  This function will be called
+   on an archive, but not on the elements.  */
+
+void
+lang_for_each_input_file (func)
+     void (*func) PARAMS ((lang_input_statement_type *));
+{
+  lang_input_statement_type *f;
+
+  for (f = (lang_input_statement_type *) input_file_chain.head;
+       f != NULL;
+       f = (lang_input_statement_type *) f->next_real_file)
+    func (f);
+}
 
+/* Call a function on each file.  The function will be called on all
+   the elements of an archive which are included in the link, but will
+   not be called on the archive file itself.  */
 
 void
 lang_for_each_file (func)
@@ -2295,6 +2331,9 @@ lang_for_each_file (func)
     }
 }
 
+#if 0
+
+/* Not used.  */
 
 void
 lang_for_each_input_section (func)
@@ -2317,16 +2356,29 @@ lang_for_each_input_section (func)
     }
 }
 
-
+#endif
 
 void
 ldlang_add_file (entry)
      lang_input_statement_type * entry;
 {
+  bfd **pp;
 
   lang_statement_append (&file_chain,
                         (lang_statement_union_type *) entry,
                         &entry->next);
+
+  /* The BFD linker needs to have a list of all input BFDs involved in
+     a link.  */
+  ASSERT (entry->the_bfd->link_next == (bfd *) NULL);
+  ASSERT (entry->the_bfd != output_bfd);
+  for (pp = &link_info.input_bfds;
+       *pp != (bfd *) NULL;
+       pp = &(*pp)->link_next)
+    ;
+  *pp = entry->the_bfd;
+  entry->the_bfd->usrdata = (PTR) entry;
+  bfd_set_gp_size (entry->the_bfd, g_switch_value);
 }
 
 void
@@ -2346,7 +2398,7 @@ lang_add_output (name, from_script)
 static lang_output_section_statement_type *current_section;
 
 static int topower(x)
- int x;
    int x;
 {
   unsigned  int i = 1;
   int l;
@@ -2361,14 +2413,14 @@ static int topower(x)
 void
 lang_enter_output_section_statement (output_section_statement_name,
                                     address_exp, flags, block_value,
-                                    align, subalign, base)
-     char *output_section_statement_name;
+                                    align, subalign, ebase)
+     const char *output_section_statement_name;
      etree_type * address_exp;
      int flags;
      bfd_vma block_value;
      etree_type *align;
      etree_type *subalign;
-     etree_type *base;
+     etree_type *ebase;
 {
   lang_output_section_statement_type *os;
 
@@ -2405,7 +2457,7 @@ lang_enter_output_section_statement (output_section_statement_name,
    exp_get_value_int(align, -1,
                     "section alignment", 0));
 
-  os->load_base = base;
+  os->load_base = ebase;
 }
 
 
@@ -2433,28 +2485,6 @@ reset_memory_regions ()
     }
 }
 
-
-
-asymbol *
-DEFUN (create_symbol, (name, flags, section),
-     CONST char *name AND
-     flagword flags AND
-     asection * section)
-{
-  extern lang_input_statement_type *script_file;
-  asymbol **def_ptr = (asymbol **) stat_alloc ((bfd_size_type) (sizeof (asymbol **)));
-
-  /* Add this definition to script file */
-  asymbol *def = (asymbol *) bfd_make_empty_symbol (script_file->the_bfd);
-  def->name = buystring (name);
-  def->udata = 0;
-  def->flags = flags;
-  def->section = section;
-  *def_ptr = def;
-  enter_global_ref (def_ptr, name);
-  return def;
-}
-
 void
 lang_process ()
 {
@@ -2462,15 +2492,9 @@ lang_process ()
   current_target = default_target;
 
   lang_for_each_statement (ldlang_open_output);        /* Open the output file */
-  /* For each output section statement, create a section in the output
-     file */
-  lang_create_output_section_statements ();
 
   ldemul_create_output_section_statements ();
 
-  /* Create a dummy bfd for the script */
-  lang_init_script_file ();
-
   /* Add to the hash table all undefineds on the command line */
   lang_place_undefineds ();
 
@@ -2478,10 +2502,16 @@ lang_process ()
   current_target = default_target;
   lang_for_each_statement (open_input_bfds);
 
+  /* Build all sets based on the information gathered from the input
+     files.  */
+  ldctor_build_sets ();
+
+  /* Size up the common data */
+  lang_common ();
+
   /* Run through the contours of the script and attatch input sections
      to the correct output sections
      */
-  find_constructors ();
   map_input_to_output_sections (statement_list.head, (char *) NULL,
                                (lang_output_section_statement_type *) NULL);
 
@@ -2489,57 +2519,38 @@ lang_process ()
   /* Find any sections not attatched explicitly and handle them */
   lang_place_orphans ();
 
-  /* Size up the common data */
-  lang_common ();
-
   ldemul_before_allocation ();
 
-
-#if 0
-  had_relax = true;
-  while (had_relax)
-    {
-
-      had_relax = false;
-
-      lang_size_sections (statement_list.head,
-                         (lang_output_section_statement_type *) NULL,
-                         &(statement_list.head), 0, (bfd_vma) 0, true);
-      /* FIXME. Until the code in relax is fixed so that it only reads in
-         stuff once, we cant iterate since there is no way for the linker to
-         know what has been patched and what hasn't */
-      break;
-
-    }
-#endif
-
   /* Now run around and relax if we can */
   if (command_line.relax)
     {
       /* First time round is a trial run to get the 'worst case'
         addresses of the objects if there was no relaxing.  */
       lang_size_sections (statement_list.head,
-                         (lang_output_section_statement_type *) NULL,
+                         abs_output_section,
                          &(statement_list.head), 0, (bfd_vma) 0, false);
 
-      /* Move the global symbols around so the second pass of relaxing
-        can see them.  */
-      lang_relocate_globals ();
 
       reset_memory_regions ();
 
-      /* Do all the assignments, now that we know the final resting
-        places of all the symbols.  */
+      /* Keep relaxing until bfd_relax_section gives up.  */
+      do
+       {
+         relax_again = false;
 
-      lang_do_assignments (statement_list.head,
-                          abs_output_section,
-                          0, (bfd_vma) 0);
+         /* Do all the assignments with our current guesses as to
+            section sizes.  */
+         lang_do_assignments (statement_list.head,
+                              abs_output_section,
+                              (fill_type) 0, (bfd_vma) 0);
 
-      /* Perform another relax pass - this time we know where the
-        globals are, so can make better guess.  */
-      lang_size_sections (statement_list.head,
-                         (lang_output_section_statement_type *) NULL,
-                         &(statement_list.head), 0, (bfd_vma) 0, true);
+         /* Perform another relax pass - this time we know where the
+            globals are, so can make better guess.  */
+         lang_size_sections (statement_list.head,
+                             abs_output_section,
+                             &(statement_list.head), 0, (bfd_vma) 0, true);
+       }
+      while (relax_again);
     }
   else
     {
@@ -2558,11 +2569,7 @@ lang_process ()
 
   lang_do_assignments (statement_list.head,
                       abs_output_section,
-                      0, (bfd_vma) 0);
-
-
-  /* Move the global symbols around */
-  lang_relocate_globals ();
+                      (fill_type) 0, (bfd_vma) 0);
 
   /* Make sure that we're not mixing architectures */
 
@@ -2571,17 +2578,6 @@ lang_process ()
   /* Final stuffs */
 
   ldemul_finish ();
-
-#if 0
-  /* DO NOT REENABLE THIS CALL.  IF THIS CALL IS MADE, THE SUN4 LINKER
-     CAN NOT BOOTSTRAP!!  No, I don't know why, but don't change it
-     unless you fix it.  */
-  /* Size up the sections.  */
-  lang_size_sections (statement_list.head,
-                     abs_output_section,
-                     &(statement_list.head), 0, (bfd_vma) 0, false);
-#endif
-
   lang_finish ();
 }
 
@@ -2619,11 +2615,25 @@ lang_section_start (name, address)
   ad->address = address;
 }
 
+/* Set the start symbol to NAME.  CMDLINE is nonzero if this is called
+   because of a -e argument on the command line, or zero if this is
+   called by ENTRY in a linker script.  Command line arguments take
+   precedence.  */
+
 void
-lang_add_entry (name)
+lang_add_entry (name, cmdline)
      CONST char *name;
+     int cmdline;
 {
-  entry_symbol = name;
+  static int from_cmdline;
+
+  if (entry_symbol == NULL
+      || cmdline
+      || ! from_cmdline)
+    {
+      entry_symbol = name;
+      from_cmdline = cmdline;
+    }
 }
 
 void
@@ -2677,6 +2687,34 @@ lang_add_data (type, exp)
 
 }
 
+/* Create a new reloc statement.  RELOC is the BFD relocation type to
+   generate.  HOWTO is the corresponding howto structure (we could
+   look this up, but the caller has already done so).  SECTION is the
+   section to generate a reloc against, or NAME is the name of the
+   symbol to generate a reloc against.  Exactly one of SECTION and
+   NAME must be NULL.  ADDEND is an expression for the addend.  */
+
+void
+lang_add_reloc (reloc, howto, section, name, addend)
+     bfd_reloc_code_real_type reloc;
+     const reloc_howto_type *howto;
+     asection *section;
+     const char *name;
+     union etree_union *addend;
+{
+  lang_reloc_statement_type *p = new_stat (lang_reloc_statement, stat_ptr);
+  
+  p->reloc = reloc;
+  p->howto = howto;
+  p->section = section;
+  p->name = name;
+  p->addend_exp = addend;
+
+  p->addend_value = 0;
+  p->output_section = NULL;
+  p->output_vma = 0;
+}
+
 void
 lang_add_assignment (exp)
      etree_type * exp;
@@ -2704,6 +2742,7 @@ lang_startup (name)
     }
   first_file->filename = name;
   first_file->local_sym_name = name;
+  first_file->real = true;
 
   startup_file = name;
 }
@@ -2723,14 +2762,6 @@ lang_leave_output_section_statement (fill, memspec)
   current_section->fill = fill;
   current_section->region = lang_memory_region_lookup (memspec);
   stat_ptr = &statement_list;
-
-  /* We remember if we are closing a .data section, since we use it to
-     store constructors in */
-  if (strcmp (current_section->name, ".data") == 0)
-    {
-      end_of_data_section_statement_list = statement_list;
-
-    }
 }
 
 /*
@@ -2740,25 +2771,30 @@ lang_leave_output_section_statement (fill, memspec)
  If the symbol already exists, then do nothing.
 */
 void
-lang_abs_symbol_at_beginning_of (section, name)
-     CONST char *section;
-     CONST char *name;
+lang_abs_symbol_at_beginning_of (secname, name)
+     const char *secname;
+     const char *name;
 {
-  if (ldsym_undefined (name))
+  struct bfd_link_hash_entry *h;
+
+  h = bfd_link_hash_lookup (link_info.hash, name, true, true, true);
+  if (h == (struct bfd_link_hash_entry *) NULL)
+    einfo ("%P%F: bfd_link_hash_lookup failed: %E\n");
+
+  if (h->type == bfd_link_hash_new
+      || h->type == bfd_link_hash_undefined)
     {
-      asection *s = bfd_get_section_by_name (output_bfd, section);
-      asymbol *def = create_symbol (name,
-                                   BSF_GLOBAL | BSF_EXPORT,
-                                   &bfd_abs_section);
+      asection *sec;
 
-      if (s != (asection *) NULL)
-       {
-         def->value = s->vma;
-       }
+      h->type = bfd_link_hash_defined;
+
+      sec = bfd_get_section_by_name (output_bfd, secname);
+      if (sec == (asection *) NULL)
+       h->u.def.value = 0;
       else
-       {
-         def->value = 0;
-       }
+       h->u.def.value = bfd_get_section_vma (output_bfd, sec);
+
+      h->u.def.section = bfd_abs_section_ptr;
     }
 }
 
@@ -2769,27 +2805,31 @@ lang_abs_symbol_at_beginning_of (section, name)
  If the symbol already exists, then do nothing.
 */
 void
-lang_abs_symbol_at_end_of (section, name)
-     CONST char *section;
-     CONST char *name;
+lang_abs_symbol_at_end_of (secname, name)
+     const char *secname;
+     const char *name;
 {
-  if (ldsym_undefined (name))
+  struct bfd_link_hash_entry *h;
+
+  h = bfd_link_hash_lookup (link_info.hash, name, true, true, true);
+  if (h == (struct bfd_link_hash_entry *) NULL)
+    einfo ("%P%F: bfd_link_hash_lookup failed: %E\n");
+
+  if (h->type == bfd_link_hash_new
+      || h->type == bfd_link_hash_undefined)
     {
-      asection *s = bfd_get_section_by_name (output_bfd, section);
+      asection *sec;
 
-      /* Add a symbol called _end */
-      asymbol *def = create_symbol (name,
-                                   BSF_GLOBAL | BSF_EXPORT,
-                                   &bfd_abs_section);
+      h->type = bfd_link_hash_defined;
 
-      if (s != (asection *) NULL)
-       {
-         def->value = s->vma + s->_raw_size;
-       }
+      sec = bfd_get_section_by_name (output_bfd, secname);
+      if (sec == (asection *) NULL)
+       h->u.def.value = 0;
       else
-       {
-         def->value = 0;
-       }
+       h->u.def.value = (bfd_get_section_vma (output_bfd, sec)
+                         + bfd_section_size (output_bfd, sec));
+
+      h->u.def.section = bfd_abs_section_ptr;
     }
 }