* elf64-alpha.c: Update all function definitions to ISO C. Remove
authorRichard Henderson <rth@redhat.com>
Thu, 26 May 2005 07:14:03 +0000 (07:14 +0000)
committerRichard Henderson <rth@redhat.com>
Thu, 26 May 2005 07:14:03 +0000 (07:14 +0000)
        all function prototypes; rearrange functions into def-use order.

bfd/ChangeLog
bfd/elf64-alpha.c

index 5c3466fb3917223f24bd8cd1f38e88a0ea04563f..40a5e440cf0258621b3ac32f2cdf7c2996568537 100644 (file)
@@ -1,3 +1,8 @@
+2005-05-25  Richard Henderson  <rth@redhat.com>
+
+       * elf64-alpha.c: Update all function definitions to ISO C.  Remove
+       all function prototypes; rearrange functions into def-use order.
+
 2005-05-25  Richard Henderson  <rth@redhat.com>
 
        * elf64-alpha.c (elf64_alpha_merge_gots): Fix gotent iteration
index e13f2604e736e8cd3852ec64700e6485ecce220c..fd0d0524842a75dacfa762c369b4c31eb7f35ba3 100644 (file)
 #define ECOFF_64
 #include "ecoffswap.h"
 
-static bfd_boolean alpha_elf_dynamic_symbol_p
-  PARAMS ((struct elf_link_hash_entry *, struct bfd_link_info *));
-static struct bfd_hash_entry * elf64_alpha_link_hash_newfunc
-  PARAMS ((struct bfd_hash_entry *, struct bfd_hash_table *, const char *));
-static struct bfd_link_hash_table * elf64_alpha_bfd_link_hash_table_create
-  PARAMS ((bfd *));
-
-static bfd_reloc_status_type elf64_alpha_reloc_nil
-  PARAMS ((bfd *, arelent *, asymbol *, PTR, asection *, bfd *, char **));
-static bfd_reloc_status_type elf64_alpha_reloc_bad
-  PARAMS ((bfd *, arelent *, asymbol *, PTR, asection *, bfd *, char **));
-static bfd_reloc_status_type elf64_alpha_do_reloc_gpdisp
-  PARAMS ((bfd *, bfd_vma, bfd_byte *, bfd_byte *));
-static bfd_reloc_status_type elf64_alpha_reloc_gpdisp
-  PARAMS ((bfd *, arelent *, asymbol *, PTR, asection *, bfd *, char **));
-
-static reloc_howto_type * elf64_alpha_bfd_reloc_type_lookup
-  PARAMS ((bfd *, bfd_reloc_code_real_type));
-static void elf64_alpha_info_to_howto
-  PARAMS ((bfd *, arelent *, Elf_Internal_Rela *));
-
-static bfd_boolean elf64_alpha_mkobject
-  PARAMS ((bfd *));
-static bfd_boolean elf64_alpha_object_p
-  PARAMS ((bfd *));
-static bfd_boolean elf64_alpha_section_flags
-  PARAMS ((flagword *, const Elf_Internal_Shdr *));
-static bfd_boolean elf64_alpha_fake_sections
-  PARAMS ((bfd *, Elf_Internal_Shdr *, asection *));
-static bfd_boolean elf64_alpha_create_got_section
-  PARAMS ((bfd *, struct bfd_link_info *));
-static bfd_boolean elf64_alpha_create_dynamic_sections
-  PARAMS ((bfd *, struct bfd_link_info *));
-
-static bfd_boolean elf64_alpha_read_ecoff_info
-  PARAMS ((bfd *, asection *, struct ecoff_debug_info *));
-static bfd_boolean elf64_alpha_is_local_label_name
-  PARAMS ((bfd *, const char *));
-static bfd_boolean elf64_alpha_find_nearest_line
-  PARAMS ((bfd *, asection *, asymbol **, bfd_vma, const char **,
-          const char **, unsigned int *));
-
-#if defined(__STDC__) || defined(ALMOST_STDC)
-struct alpha_elf_link_hash_entry;
-#endif
-
-static bfd_boolean elf64_alpha_output_extsym
-  PARAMS ((struct alpha_elf_link_hash_entry *, PTR));
-
-static bfd_boolean elf64_alpha_can_merge_gots
-  PARAMS ((bfd *, bfd *));
-static void elf64_alpha_merge_gots
-  PARAMS ((bfd *, bfd *));
-static bfd_boolean elf64_alpha_calc_got_offsets_for_symbol
-  PARAMS ((struct alpha_elf_link_hash_entry *, PTR));
-static void elf64_alpha_calc_got_offsets
-  PARAMS ((struct bfd_link_info *));
-static bfd_boolean elf64_alpha_size_got_sections
-  PARAMS ((struct bfd_link_info *));
-static bfd_boolean elf64_alpha_size_plt_section
-  PARAMS ((struct bfd_link_info *));
-static bfd_boolean elf64_alpha_size_plt_section_1
-  PARAMS ((struct alpha_elf_link_hash_entry *, PTR));
-static bfd_boolean elf64_alpha_always_size_sections
-  PARAMS ((bfd *, struct bfd_link_info *));
-static int alpha_dynamic_entries_for_reloc
-  PARAMS ((int, int, int));
-static bfd_boolean elf64_alpha_calc_dynrel_sizes
-  PARAMS ((struct alpha_elf_link_hash_entry *, struct bfd_link_info *));
-static bfd_boolean elf64_alpha_size_rela_got_section
-  PARAMS ((struct bfd_link_info *));
-static bfd_boolean elf64_alpha_size_rela_got_1
-  PARAMS ((struct alpha_elf_link_hash_entry *, struct bfd_link_info *));
-static bfd_boolean elf64_alpha_add_symbol_hook
-  PARAMS ((bfd *, struct bfd_link_info *, Elf_Internal_Sym *,
-          const char **, flagword *, asection **, bfd_vma *));
-static struct alpha_elf_got_entry *get_got_entry
-  PARAMS ((bfd *, struct alpha_elf_link_hash_entry *, unsigned long,
-          unsigned long, bfd_vma));
-static bfd_boolean elf64_alpha_check_relocs
-  PARAMS ((bfd *, struct bfd_link_info *, asection *sec,
-         const Elf_Internal_Rela *));
-static bfd_boolean elf64_alpha_adjust_dynamic_symbol
-  PARAMS ((struct bfd_link_info *, struct elf_link_hash_entry *));
-static bfd_boolean elf64_alpha_size_dynamic_sections
-  PARAMS ((bfd *, struct bfd_link_info *));
-static void elf64_alpha_emit_dynrel
-  PARAMS ((bfd *, struct bfd_link_info *, asection *, asection *,
-          bfd_vma, long, long, bfd_vma));
-static bfd_boolean elf64_alpha_relocate_section_r
-  PARAMS ((bfd *, struct bfd_link_info *, bfd *, asection *, bfd_byte *,
-          Elf_Internal_Rela *, Elf_Internal_Sym *, asection **));
-static bfd_boolean elf64_alpha_relocate_section
-  PARAMS ((bfd *, struct bfd_link_info *, bfd *, asection *, bfd_byte *,
-         Elf_Internal_Rela *, Elf_Internal_Sym *, asection **));
-static bfd_boolean elf64_alpha_finish_dynamic_symbol
-  PARAMS ((bfd *, struct bfd_link_info *, struct elf_link_hash_entry *,
-          Elf_Internal_Sym *));
-static bfd_boolean elf64_alpha_finish_dynamic_sections
-  PARAMS ((bfd *, struct bfd_link_info *));
-static bfd_boolean elf64_alpha_final_link
-  PARAMS ((bfd *, struct bfd_link_info *));
-static bfd_boolean elf64_alpha_merge_ind_symbols
-  PARAMS ((struct alpha_elf_link_hash_entry *, PTR));
-static Elf_Internal_Rela * elf64_alpha_find_reloc_at_ofs
-  PARAMS ((Elf_Internal_Rela *, Elf_Internal_Rela *, bfd_vma, int));
-static enum elf_reloc_type_class elf64_alpha_reloc_type_class
-  PARAMS ((const Elf_Internal_Rela *));
 \f
 struct alpha_elf_link_hash_entry
 {
@@ -254,7 +146,7 @@ struct alpha_elf_link_hash_table
 #define alpha_elf_link_hash_traverse(table, func, info)                        \
   (elf_link_hash_traverse                                              \
    (&(table)->root,                                                    \
-    (bfd_boolean (*) PARAMS ((struct elf_link_hash_entry *, PTR))) (func), \
+    (bfd_boolean (*) (struct elf_link_hash_entry *, PTR)) (func),      \
     (info)))
 
 /* Get the Alpha ELF linker hash table from a link_info structure.  */
@@ -273,9 +165,8 @@ struct alpha_elf_link_hash_table
    address is ever taken.  */
 
 static inline bfd_boolean
-alpha_elf_dynamic_symbol_p (h, info)
-     struct elf_link_hash_entry *h;
-     struct bfd_link_info *info;
+alpha_elf_dynamic_symbol_p (struct elf_link_hash_entry *h,
+                           struct bfd_link_info *info)
 {
   return _bfd_elf_dynamic_symbol_p (h, info, 0);
 }
@@ -283,10 +174,9 @@ alpha_elf_dynamic_symbol_p (h, info)
 /* Create an entry in a Alpha ELF linker hash table.  */
 
 static struct bfd_hash_entry *
-elf64_alpha_link_hash_newfunc (entry, table, string)
-     struct bfd_hash_entry *entry;
-     struct bfd_hash_table *table;
-     const char *string;
+elf64_alpha_link_hash_newfunc (struct bfd_hash_entry *entry,
+                              struct bfd_hash_table *table,
+                              const char *string)
 {
   struct alpha_elf_link_hash_entry *ret =
     (struct alpha_elf_link_hash_entry *) entry;
@@ -322,8 +212,7 @@ elf64_alpha_link_hash_newfunc (entry, table, string)
 /* Create a Alpha ELF linker hash table.  */
 
 static struct bfd_link_hash_table *
-elf64_alpha_bfd_link_hash_table_create (abfd)
-     bfd *abfd;
+elf64_alpha_bfd_link_hash_table_create (bfd *abfd)
 {
   struct alpha_elf_link_hash_table *ret;
   bfd_size_type amt = sizeof (struct alpha_elf_link_hash_table);
@@ -377,8 +266,7 @@ struct alpha_elf_obj_tdata
   ((struct alpha_elf_obj_tdata *) (abfd)->tdata.any)
 
 static bfd_boolean
-elf64_alpha_mkobject (abfd)
-     bfd *abfd;
+elf64_alpha_mkobject (bfd *abfd)
 {
   bfd_size_type amt = sizeof (struct alpha_elf_obj_tdata);
   abfd->tdata.any = bfd_zalloc (abfd, amt);
@@ -388,13 +276,123 @@ elf64_alpha_mkobject (abfd)
 }
 
 static bfd_boolean
-elf64_alpha_object_p (abfd)
-     bfd *abfd;
+elf64_alpha_object_p (bfd *abfd)
 {
   /* Set the right machine number for an Alpha ELF file.  */
   return bfd_default_set_arch_mach (abfd, bfd_arch_alpha, 0);
 }
 \f
+/* A relocation function which doesn't do anything.  */
+
+static bfd_reloc_status_type
+elf64_alpha_reloc_nil (bfd *abfd ATTRIBUTE_UNUSED, arelent *reloc,
+                      asymbol *sym ATTRIBUTE_UNUSED,
+                      PTR data ATTRIBUTE_UNUSED, asection *sec,
+                      bfd *output_bfd, char **error_message ATTRIBUTE_UNUSED)
+{
+  if (output_bfd)
+    reloc->address += sec->output_offset;
+  return bfd_reloc_ok;
+}
+
+/* A relocation function used for an unsupported reloc.  */
+
+static bfd_reloc_status_type
+elf64_alpha_reloc_bad (bfd *abfd ATTRIBUTE_UNUSED, arelent *reloc,
+                      asymbol *sym ATTRIBUTE_UNUSED,
+                      PTR data ATTRIBUTE_UNUSED, asection *sec,
+                      bfd *output_bfd, char **error_message ATTRIBUTE_UNUSED)
+{
+  if (output_bfd)
+    reloc->address += sec->output_offset;
+  return bfd_reloc_notsupported;
+}
+
+/* Do the work of the GPDISP relocation.  */
+
+static bfd_reloc_status_type
+elf64_alpha_do_reloc_gpdisp (bfd *abfd, bfd_vma gpdisp, bfd_byte *p_ldah,
+                            bfd_byte *p_lda)
+{
+  bfd_reloc_status_type ret = bfd_reloc_ok;
+  bfd_vma addend;
+  unsigned long i_ldah, i_lda;
+
+  i_ldah = bfd_get_32 (abfd, p_ldah);
+  i_lda = bfd_get_32 (abfd, p_lda);
+
+  /* Complain if the instructions are not correct.  */
+  if (((i_ldah >> 26) & 0x3f) != 0x09
+      || ((i_lda >> 26) & 0x3f) != 0x08)
+    ret = bfd_reloc_dangerous;
+
+  /* Extract the user-supplied offset, mirroring the sign extensions
+     that the instructions perform.  */
+  addend = ((i_ldah & 0xffff) << 16) | (i_lda & 0xffff);
+  addend = (addend ^ 0x80008000) - 0x80008000;
+
+  gpdisp += addend;
+
+  if ((bfd_signed_vma) gpdisp < -(bfd_signed_vma) 0x80000000
+      || (bfd_signed_vma) gpdisp >= (bfd_signed_vma) 0x7fff8000)
+    ret = bfd_reloc_overflow;
+
+  /* compensate for the sign extension again.  */
+  i_ldah = ((i_ldah & 0xffff0000)
+           | (((gpdisp >> 16) + ((gpdisp >> 15) & 1)) & 0xffff));
+  i_lda = (i_lda & 0xffff0000) | (gpdisp & 0xffff);
+
+  bfd_put_32 (abfd, (bfd_vma) i_ldah, p_ldah);
+  bfd_put_32 (abfd, (bfd_vma) i_lda, p_lda);
+
+  return ret;
+}
+
+/* The special function for the GPDISP reloc.  */
+
+static bfd_reloc_status_type
+elf64_alpha_reloc_gpdisp (bfd *abfd, arelent *reloc_entry,
+                         asymbol *sym ATTRIBUTE_UNUSED, PTR data,
+                         asection *input_section, bfd *output_bfd,
+                         char **err_msg)
+{
+  bfd_reloc_status_type ret;
+  bfd_vma gp, relocation;
+  bfd_vma high_address;
+  bfd_byte *p_ldah, *p_lda;
+
+  /* Don't do anything if we're not doing a final link.  */
+  if (output_bfd)
+    {
+      reloc_entry->address += input_section->output_offset;
+      return bfd_reloc_ok;
+    }
+
+  high_address = bfd_get_section_limit (abfd, input_section);
+  if (reloc_entry->address > high_address
+      || reloc_entry->address + reloc_entry->addend > high_address)
+    return bfd_reloc_outofrange;
+
+  /* The gp used in the portion of the output object to which this
+     input object belongs is cached on the input bfd.  */
+  gp = _bfd_get_gp_value (abfd);
+
+  relocation = (input_section->output_section->vma
+               + input_section->output_offset
+               + reloc_entry->address);
+
+  p_ldah = (bfd_byte *) data + reloc_entry->address;
+  p_lda = p_ldah + reloc_entry->addend;
+
+  ret = elf64_alpha_do_reloc_gpdisp (abfd, gp - relocation, p_ldah, p_lda);
+
+  /* Complain if the instructions are not correct.  */
+  if (ret == bfd_reloc_dangerous)
+    *err_msg = _("GPDISP relocation did not find ldah and lda instructions");
+
+  return ret;
+}
+
 /* In case we're on a 32-bit machine, construct a 64-bit "-1" value
    from smaller values.  Start with zero, widen, *then* decrement.  */
 #define MINUS_ONE      (((bfd_vma)0) - 1)
@@ -942,133 +940,6 @@ static reloc_howto_type elf64_alpha_howto_table[] =
         FALSE),                /* pcrel_offset */
 };
 
-/* A relocation function which doesn't do anything.  */
-
-static bfd_reloc_status_type
-elf64_alpha_reloc_nil (abfd, reloc, sym, data, sec, output_bfd, error_message)
-     bfd *abfd ATTRIBUTE_UNUSED;
-     arelent *reloc;
-     asymbol *sym ATTRIBUTE_UNUSED;
-     PTR data ATTRIBUTE_UNUSED;
-     asection *sec;
-     bfd *output_bfd;
-     char **error_message ATTRIBUTE_UNUSED;
-{
-  if (output_bfd)
-    reloc->address += sec->output_offset;
-  return bfd_reloc_ok;
-}
-
-/* A relocation function used for an unsupported reloc.  */
-
-static bfd_reloc_status_type
-elf64_alpha_reloc_bad (abfd, reloc, sym, data, sec, output_bfd, error_message)
-     bfd *abfd ATTRIBUTE_UNUSED;
-     arelent *reloc;
-     asymbol *sym ATTRIBUTE_UNUSED;
-     PTR data ATTRIBUTE_UNUSED;
-     asection *sec;
-     bfd *output_bfd;
-     char **error_message ATTRIBUTE_UNUSED;
-{
-  if (output_bfd)
-    reloc->address += sec->output_offset;
-  return bfd_reloc_notsupported;
-}
-
-/* Do the work of the GPDISP relocation.  */
-
-static bfd_reloc_status_type
-elf64_alpha_do_reloc_gpdisp (abfd, gpdisp, p_ldah, p_lda)
-     bfd *abfd;
-     bfd_vma gpdisp;
-     bfd_byte *p_ldah;
-     bfd_byte *p_lda;
-{
-  bfd_reloc_status_type ret = bfd_reloc_ok;
-  bfd_vma addend;
-  unsigned long i_ldah, i_lda;
-
-  i_ldah = bfd_get_32 (abfd, p_ldah);
-  i_lda = bfd_get_32 (abfd, p_lda);
-
-  /* Complain if the instructions are not correct.  */
-  if (((i_ldah >> 26) & 0x3f) != 0x09
-      || ((i_lda >> 26) & 0x3f) != 0x08)
-    ret = bfd_reloc_dangerous;
-
-  /* Extract the user-supplied offset, mirroring the sign extensions
-     that the instructions perform.  */
-  addend = ((i_ldah & 0xffff) << 16) | (i_lda & 0xffff);
-  addend = (addend ^ 0x80008000) - 0x80008000;
-
-  gpdisp += addend;
-
-  if ((bfd_signed_vma) gpdisp < -(bfd_signed_vma) 0x80000000
-      || (bfd_signed_vma) gpdisp >= (bfd_signed_vma) 0x7fff8000)
-    ret = bfd_reloc_overflow;
-
-  /* compensate for the sign extension again.  */
-  i_ldah = ((i_ldah & 0xffff0000)
-           | (((gpdisp >> 16) + ((gpdisp >> 15) & 1)) & 0xffff));
-  i_lda = (i_lda & 0xffff0000) | (gpdisp & 0xffff);
-
-  bfd_put_32 (abfd, (bfd_vma) i_ldah, p_ldah);
-  bfd_put_32 (abfd, (bfd_vma) i_lda, p_lda);
-
-  return ret;
-}
-
-/* The special function for the GPDISP reloc.  */
-
-static bfd_reloc_status_type
-elf64_alpha_reloc_gpdisp (abfd, reloc_entry, sym, data, input_section,
-                         output_bfd, err_msg)
-     bfd *abfd;
-     arelent *reloc_entry;
-     asymbol *sym ATTRIBUTE_UNUSED;
-     PTR data;
-     asection *input_section;
-     bfd *output_bfd;
-     char **err_msg;
-{
-  bfd_reloc_status_type ret;
-  bfd_vma gp, relocation;
-  bfd_vma high_address;
-  bfd_byte *p_ldah, *p_lda;
-
-  /* Don't do anything if we're not doing a final link.  */
-  if (output_bfd)
-    {
-      reloc_entry->address += input_section->output_offset;
-      return bfd_reloc_ok;
-    }
-
-  high_address = bfd_get_section_limit (abfd, input_section);
-  if (reloc_entry->address > high_address
-      || reloc_entry->address + reloc_entry->addend > high_address)
-    return bfd_reloc_outofrange;
-
-  /* The gp used in the portion of the output object to which this
-     input object belongs is cached on the input bfd.  */
-  gp = _bfd_get_gp_value (abfd);
-
-  relocation = (input_section->output_section->vma
-               + input_section->output_offset
-               + reloc_entry->address);
-
-  p_ldah = (bfd_byte *) data + reloc_entry->address;
-  p_lda = p_ldah + reloc_entry->addend;
-
-  ret = elf64_alpha_do_reloc_gpdisp (abfd, gp - relocation, p_ldah, p_lda);
-
-  /* Complain if the instructions are not correct.  */
-  if (ret == bfd_reloc_dangerous)
-    *err_msg = _("GPDISP relocation did not find ldah and lda instructions");
-
-  return ret;
-}
-
 /* A mapping from BFD reloc types to Alpha ELF reloc types.  */
 
 struct elf_reloc_map
@@ -1114,9 +985,8 @@ static const struct elf_reloc_map elf64_alpha_reloc_map[] =
 /* Given a BFD reloc type, return a HOWTO structure.  */
 
 static reloc_howto_type *
-elf64_alpha_bfd_reloc_type_lookup (abfd, code)
-     bfd *abfd ATTRIBUTE_UNUSED;
-     bfd_reloc_code_real_type code;
+elf64_alpha_bfd_reloc_type_lookup (bfd *abfd ATTRIBUTE_UNUSED,
+                                  bfd_reloc_code_real_type code)
 {
   const struct elf_reloc_map *i, *e;
   i = e = elf64_alpha_reloc_map;
@@ -1132,14 +1002,10 @@ elf64_alpha_bfd_reloc_type_lookup (abfd, code)
 /* Given an Alpha ELF reloc type, fill in an arelent structure.  */
 
 static void
-elf64_alpha_info_to_howto (abfd, cache_ptr, dst)
-     bfd *abfd ATTRIBUTE_UNUSED;
-     arelent *cache_ptr;
-     Elf_Internal_Rela *dst;
+elf64_alpha_info_to_howto (bfd *abfd ATTRIBUTE_UNUSED, arelent *cache_ptr,
+                          Elf_Internal_Rela *dst)
 {
-  unsigned r_type;
-
-  r_type = ELF64_R_TYPE(dst->r_info);
+  unsigned r_type = ELF64_R_TYPE(dst->r_info);
   BFD_ASSERT (r_type < (unsigned int) R_ALPHA_max);
   cache_ptr->howto = &elf64_alpha_howto_table[r_type];
 }
@@ -1159,3019 +1025,2880 @@ elf64_alpha_info_to_howto (abfd, cache_ptr, dst)
    - align_power ((bfd_vma) 16,                                                \
                  elf_hash_table (info)->tls_sec->alignment_power))
 \f
-/* These functions do relaxation for Alpha ELF.
+/* PLT/GOT Stuff */
+#define PLT_HEADER_SIZE 32
+#define PLT_HEADER_WORD1       (bfd_vma) 0xc3600000    /* br   $27,.+4     */
+#define PLT_HEADER_WORD2       (bfd_vma) 0xa77b000c    /* ldq  $27,12($27) */
+#define PLT_HEADER_WORD3       (bfd_vma) 0x47ff041f    /* nop              */
+#define PLT_HEADER_WORD4       (bfd_vma) 0x6b7b0000    /* jmp  $27,($27)   */
 
-   Currently I'm only handling what I can do with existing compiler
-   and assembler support, which means no instructions are removed,
-   though some may be nopped.  At this time GCC does not emit enough
-   information to do all of the relaxing that is possible.  It will
-   take some not small amount of work for that to happen.
+#define PLT_ENTRY_SIZE 12
+#define PLT_ENTRY_WORD1                0xc3800000      /* br   $28, plt0   */
+#define PLT_ENTRY_WORD2                0
+#define PLT_ENTRY_WORD3                0
 
-   There are a couple of interesting papers that I once read on this
-   subject, that I cannot find references to at the moment, that
-   related to Alpha in particular.  They are by David Wall, then of
-   DEC WRL.  */
+#define MAX_GOT_SIZE           (64*1024)
 
-#define OP_LDA         0x08
-#define OP_LDAH                0x09
-#define INSN_JSR       0x68004000
-#define INSN_JSR_MASK  0xfc00c000
-#define OP_LDQ         0x29
-#define OP_BR          0x30
-#define OP_BSR         0x34
-#define INSN_UNOP      0x2ffe0000
-#define INSN_ADDQ      0x40000400
-#define INSN_RDUNIQ    0x0000009e
+#define ELF_DYNAMIC_INTERPRETER "/usr/lib/ld.so"
+\f
+/* Handle an Alpha specific section when reading an object file.  This
+   is called when bfd_section_from_shdr finds a section with an unknown
+   type.
+   FIXME: We need to handle the SHF_ALPHA_GPREL flag, but I'm not sure
+   how to.  */
 
-struct alpha_relax_info
+static bfd_boolean
+elf64_alpha_section_from_shdr (bfd *abfd,
+                              Elf_Internal_Shdr *hdr,
+                              const char *name,
+                              int shindex)
 {
-  bfd *abfd;
-  asection *sec;
-  bfd_byte *contents;
-  Elf_Internal_Shdr *symtab_hdr;
-  Elf_Internal_Rela *relocs, *relend;
-  struct bfd_link_info *link_info;
-  bfd_vma gp;
-  bfd *gotobj;
-  asection *tsec;
-  struct alpha_elf_link_hash_entry *h;
-  struct alpha_elf_got_entry **first_gotent;
-  struct alpha_elf_got_entry *gotent;
-  bfd_boolean changed_contents;
-  bfd_boolean changed_relocs;
-  unsigned char other;
-};
+  asection *newsect;
+
+  /* There ought to be a place to keep ELF backend specific flags, but
+     at the moment there isn't one.  We just keep track of the
+     sections by their name, instead.  Fortunately, the ABI gives
+     suggested names for all the MIPS specific sections, so we will
+     probably get away with this.  */
+  switch (hdr->sh_type)
+    {
+    case SHT_ALPHA_DEBUG:
+      if (strcmp (name, ".mdebug") != 0)
+       return FALSE;
+      break;
+    default:
+      return FALSE;
+    }
 
-static bfd_boolean elf64_alpha_relax_with_lituse
-  PARAMS((struct alpha_relax_info *info, bfd_vma symval,
-          Elf_Internal_Rela *irel));
-static bfd_vma elf64_alpha_relax_opt_call
-  PARAMS((struct alpha_relax_info *info, bfd_vma symval));
-static bfd_boolean elf64_alpha_relax_got_load
-  PARAMS((struct alpha_relax_info *info, bfd_vma symval,
-          Elf_Internal_Rela *irel, unsigned long));
-static bfd_boolean elf64_alpha_relax_gprelhilo
-  PARAMS((struct alpha_relax_info *info, bfd_vma symval,
-          Elf_Internal_Rela *irel, bfd_boolean));
-static bfd_boolean elf64_alpha_relax_tls_get_addr
-  PARAMS((struct alpha_relax_info *info, bfd_vma symval,
-          Elf_Internal_Rela *irel, bfd_boolean));
-static bfd_boolean elf64_alpha_relax_section
-  PARAMS((bfd *abfd, asection *sec, struct bfd_link_info *link_info,
-         bfd_boolean *again));
+  if (! _bfd_elf_make_section_from_shdr (abfd, hdr, name, shindex))
+    return FALSE;
+  newsect = hdr->bfd_section;
 
-static Elf_Internal_Rela *
-elf64_alpha_find_reloc_at_ofs (rel, relend, offset, type)
-     Elf_Internal_Rela *rel, *relend;
-     bfd_vma offset;
-     int type;
-{
-  while (rel < relend)
+  if (hdr->sh_type == SHT_ALPHA_DEBUG)
     {
-      if (rel->r_offset == offset
-         && ELF64_R_TYPE (rel->r_info) == (unsigned int) type)
-       return rel;
-      ++rel;
+      if (! bfd_set_section_flags (abfd, newsect,
+                                  (bfd_get_section_flags (abfd, newsect)
+                                   | SEC_DEBUGGING)))
+       return FALSE;
     }
-  return NULL;
+
+  return TRUE;
 }
 
+/* Convert Alpha specific section flags to bfd internal section flags.  */
+
 static bfd_boolean
-elf64_alpha_relax_with_lituse (info, symval, irel)
-     struct alpha_relax_info *info;
-     bfd_vma symval;
-     Elf_Internal_Rela *irel;
+elf64_alpha_section_flags (flagword *flags, const Elf_Internal_Shdr *hdr)
 {
-  Elf_Internal_Rela *urel, *irelend = info->relend;
-  int flags, count, i;
-  bfd_signed_vma disp;
-  bfd_boolean fits16;
-  bfd_boolean fits32;
-  bfd_boolean lit_reused = FALSE;
-  bfd_boolean all_optimized = TRUE;
-  unsigned int lit_insn;
+  if (hdr->sh_flags & SHF_ALPHA_GPREL)
+    *flags |= SEC_SMALL_DATA;
 
-  lit_insn = bfd_get_32 (info->abfd, info->contents + irel->r_offset);
-  if (lit_insn >> 26 != OP_LDQ)
-    {
-      ((*_bfd_error_handler)
-       ("%B: %A+0x%lx: warning: LITERAL relocation against unexpected insn",
-       info->abfd, info->sec,
-       (unsigned long) irel->r_offset));
-      return TRUE;
-    }
+  return TRUE;
+}
 
-  /* Can't relax dynamic symbols.  */
-  if (alpha_elf_dynamic_symbol_p (&info->h->root, info->link_info))
-    return TRUE;
+/* Set the correct type for an Alpha ELF section.  We do this by the
+   section name, which is a hack, but ought to work.  */
 
-  /* Summarize how this particular LITERAL is used.  */
-  for (urel = irel+1, flags = count = 0; urel < irelend; ++urel, ++count)
+static bfd_boolean
+elf64_alpha_fake_sections (bfd *abfd, Elf_Internal_Shdr *hdr, asection *sec)
+{
+  register const char *name;
+
+  name = bfd_get_section_name (abfd, sec);
+
+  if (strcmp (name, ".mdebug") == 0)
     {
-      if (ELF64_R_TYPE (urel->r_info) != R_ALPHA_LITUSE)
-       break;
-      if (urel->r_addend <= 3)
-       flags |= 1 << urel->r_addend;
+      hdr->sh_type = SHT_ALPHA_DEBUG;
+      /* In a shared object on Irix 5.3, the .mdebug section has an
+         entsize of 0.  FIXME: Does this matter?  */
+      if ((abfd->flags & DYNAMIC) != 0 )
+       hdr->sh_entsize = 0;
+      else
+       hdr->sh_entsize = 1;
     }
+  else if ((sec->flags & SEC_SMALL_DATA)
+          || strcmp (name, ".sdata") == 0
+          || strcmp (name, ".sbss") == 0
+          || strcmp (name, ".lit4") == 0
+          || strcmp (name, ".lit8") == 0)
+    hdr->sh_flags |= SHF_ALPHA_GPREL;
 
-  /* A little preparation for the loop...  */
-  disp = symval - info->gp;
+  return TRUE;
+}
 
-  for (urel = irel+1, i = 0; i < count; ++i, ++urel)
+/* Hook called by the linker routine which adds symbols from an object
+   file.  We use it to put .comm items in .sbss, and not .bss.  */
+
+static bfd_boolean
+elf64_alpha_add_symbol_hook (bfd *abfd, struct bfd_link_info *info,
+                            Elf_Internal_Sym *sym,
+                            const char **namep ATTRIBUTE_UNUSED,
+                            flagword *flagsp ATTRIBUTE_UNUSED,
+                            asection **secp, bfd_vma *valp)
+{
+  if (sym->st_shndx == SHN_COMMON
+      && !info->relocatable
+      && sym->st_size <= elf_gp_size (abfd))
     {
-      unsigned int insn;
-      int insn_disp;
-      bfd_signed_vma xdisp;
+      /* Common symbols less than or equal to -G nn bytes are
+        automatically put into .sbss.  */
 
-      insn = bfd_get_32 (info->abfd, info->contents + urel->r_offset);
+      asection *scomm = bfd_get_section_by_name (abfd, ".scommon");
 
-      switch (urel->r_addend)
+      if (scomm == NULL)
        {
-       case LITUSE_ALPHA_ADDR:
-       default:
-         /* This type is really just a placeholder to note that all
-            uses cannot be optimized, but to still allow some.  */
-         all_optimized = FALSE;
-         break;
-
-       case LITUSE_ALPHA_BASE:
-         /* We can always optimize 16-bit displacements.  */
-
-         /* Extract the displacement from the instruction, sign-extending
-            it if necessary, then test whether it is within 16 or 32 bits
-            displacement from GP.  */
-         insn_disp = ((insn & 0xffff) ^ 0x8000) - 0x8000;
+         scomm = bfd_make_section_with_flags (abfd, ".scommon",
+                                              (SEC_ALLOC
+                                               | SEC_IS_COMMON
+                                               | SEC_LINKER_CREATED));
+         if (scomm == NULL)
+           return FALSE;
+       }
 
-         xdisp = disp + insn_disp;
-         fits16 = (xdisp >= - (bfd_signed_vma) 0x8000 && xdisp < 0x8000);
-         fits32 = (xdisp >= - (bfd_signed_vma) 0x80000000
-                   && xdisp < 0x7fff8000);
+      *secp = scomm;
+      *valp = sym->st_size;
+    }
 
-         if (fits16)
-           {
-             /* Take the op code and dest from this insn, take the base
-                register from the literal insn.  Leave the offset alone.  */
-             insn = (insn & 0xffe0ffff) | (lit_insn & 0x001f0000);
-             urel->r_info = ELF64_R_INFO (ELF64_R_SYM (irel->r_info),
-                                          R_ALPHA_GPREL16);
-             urel->r_addend = irel->r_addend;
-             info->changed_relocs = TRUE;
+  return TRUE;
+}
 
-             bfd_put_32 (info->abfd, (bfd_vma) insn,
-                         info->contents + urel->r_offset);
-             info->changed_contents = TRUE;
-           }
+/* Create the .got section.  */
 
-         /* If all mem+byte, we can optimize 32-bit mem displacements.  */
-         else if (fits32 && !(flags & ~6))
-           {
-             /* FIXME: sanity check that lit insn Ra is mem insn Rb.  */
+static bfd_boolean
+elf64_alpha_create_got_section (bfd *abfd,
+                               struct bfd_link_info *info ATTRIBUTE_UNUSED)
+{
+  asection *s;
 
-             irel->r_info = ELF64_R_INFO (ELF64_R_SYM (irel->r_info),
-                                          R_ALPHA_GPRELHIGH);
-             lit_insn = (OP_LDAH << 26) | (lit_insn & 0x03ff0000);
-             bfd_put_32 (info->abfd, (bfd_vma) lit_insn,
-                         info->contents + irel->r_offset);
-             lit_reused = TRUE;
-             info->changed_contents = TRUE;
+  if ((s = bfd_get_section_by_name (abfd, ".got")))
+    {
+      /* Check for a non-linker created .got?  */
+      if (alpha_elf_tdata (abfd)->got == NULL)
+       alpha_elf_tdata (abfd)->got = s;
+      return TRUE;
+    }
 
-             urel->r_info = ELF64_R_INFO (ELF64_R_SYM (irel->r_info),
-                                          R_ALPHA_GPRELLOW);
-             urel->r_addend = irel->r_addend;
-             info->changed_relocs = TRUE;
-           }
-         else
-           all_optimized = FALSE;
-         break;
+  s = bfd_make_section_with_flags (abfd, ".got", (SEC_ALLOC | SEC_LOAD
+                                                 | SEC_HAS_CONTENTS
+                                                 | SEC_IN_MEMORY
+                                                 | SEC_LINKER_CREATED));
+  if (s == NULL
+      || !bfd_set_section_alignment (abfd, s, 3))
+    return FALSE;
 
-       case LITUSE_ALPHA_BYTOFF:
-         /* We can always optimize byte instructions.  */
+  alpha_elf_tdata (abfd)->got = s;
 
-         /* FIXME: sanity check the insn for byte op.  Check that the
-            literal dest reg is indeed Rb in the byte insn.  */
+  return TRUE;
+}
 
-         insn &= ~ (unsigned) 0x001ff000;
-         insn |= ((symval & 7) << 13) | 0x1000;
+/* Create all the dynamic sections.  */
 
-         urel->r_info = ELF64_R_INFO (0, R_ALPHA_NONE);
-         urel->r_addend = 0;
-         info->changed_relocs = TRUE;
+static bfd_boolean
+elf64_alpha_create_dynamic_sections (bfd *abfd, struct bfd_link_info *info)
+{
+  asection *s;
+  struct elf_link_hash_entry *h;
+  struct bfd_link_hash_entry *bh;
 
-         bfd_put_32 (info->abfd, (bfd_vma) insn,
-                     info->contents + urel->r_offset);
-         info->changed_contents = TRUE;
-         break;
+  /* We need to create .plt, .rela.plt, .got, and .rela.got sections.  */
 
-       case LITUSE_ALPHA_JSR:
-       case LITUSE_ALPHA_TLSGD:
-       case LITUSE_ALPHA_TLSLDM:
-         {
-           bfd_vma optdest, org;
-           bfd_signed_vma odisp;
+  s = bfd_make_section_with_flags (abfd, ".plt",
+                                  (SEC_ALLOC | SEC_LOAD
+                                   | SEC_HAS_CONTENTS
+                                   | SEC_IN_MEMORY
+                                   | SEC_LINKER_CREATED
+                                   | SEC_CODE));
+  if (s == NULL
+      || ! bfd_set_section_alignment (abfd, s, 3))
+    return FALSE;
 
-           /* For undefined weak symbols, we're mostly interested in getting
-              rid of the got entry whenever possible, so optimize this to a
-              use of the zero register.  */
-           if (info->h && info->h->root.root.type == bfd_link_hash_undefweak)
-             {
-               insn |= 31 << 16;
-               bfd_put_32 (info->abfd, (bfd_vma) insn,
-                           info->contents + urel->r_offset);
+  /* Define the symbol _PROCEDURE_LINKAGE_TABLE_ at the start of the
+     .plt section.  */
+  bh = NULL;
+  if (! (_bfd_generic_link_add_one_symbol
+        (info, abfd, "_PROCEDURE_LINKAGE_TABLE_", BSF_GLOBAL, s,
+         (bfd_vma) 0, (const char *) NULL, FALSE,
+         get_elf_backend_data (abfd)->collect, &bh)))
+    return FALSE;
+  h = (struct elf_link_hash_entry *) bh;
+  h->def_regular = 1;
+  h->type = STT_OBJECT;
 
-               info->changed_contents = TRUE;
-               break;
-             }
+  if (info->shared
+      && ! bfd_elf_link_record_dynamic_symbol (info, h))
+    return FALSE;
 
-           /* If not zero, place to jump without needing pv.  */
-           optdest = elf64_alpha_relax_opt_call (info, symval);
-           org = (info->sec->output_section->vma
-                  + info->sec->output_offset
-                  + urel->r_offset + 4);
-           odisp = (optdest ? optdest : symval) - org;
-
-           if (odisp >= -0x400000 && odisp < 0x400000)
-             {
-               Elf_Internal_Rela *xrel;
-
-               /* Preserve branch prediction call stack when possible.  */
-               if ((insn & INSN_JSR_MASK) == INSN_JSR)
-                 insn = (OP_BSR << 26) | (insn & 0x03e00000);
-               else
-                 insn = (OP_BR << 26) | (insn & 0x03e00000);
-
-               urel->r_info = ELF64_R_INFO (ELF64_R_SYM (irel->r_info),
-                                            R_ALPHA_BRADDR);
-               urel->r_addend = irel->r_addend;
-
-               if (optdest)
-                 urel->r_addend += optdest - symval;
-               else
-                 all_optimized = FALSE;
-
-               bfd_put_32 (info->abfd, (bfd_vma) insn,
-                           info->contents + urel->r_offset);
-
-               /* Kill any HINT reloc that might exist for this insn.  */
-               xrel = (elf64_alpha_find_reloc_at_ofs
-                       (info->relocs, info->relend, urel->r_offset,
-                        R_ALPHA_HINT));
-               if (xrel)
-                 xrel->r_info = ELF64_R_INFO (0, R_ALPHA_NONE);
-
-               info->changed_contents = TRUE;
-               info->changed_relocs = TRUE;
-             }
-           else
-             all_optimized = FALSE;
+  s = bfd_make_section_with_flags (abfd, ".rela.plt",
+                                  (SEC_ALLOC | SEC_LOAD
+                                   | SEC_HAS_CONTENTS
+                                   | SEC_IN_MEMORY
+                                   | SEC_LINKER_CREATED
+                                   | SEC_READONLY));
+  if (s == NULL
+      || ! bfd_set_section_alignment (abfd, s, 3))
+    return FALSE;
 
-           /* Even if the target is not in range for a direct branch,
-              if we share a GP, we can eliminate the gp reload.  */
-           if (optdest)
-             {
-               Elf_Internal_Rela *gpdisp
-                 = (elf64_alpha_find_reloc_at_ofs
-                    (info->relocs, irelend, urel->r_offset + 4,
-                     R_ALPHA_GPDISP));
-               if (gpdisp)
-                 {
-                   bfd_byte *p_ldah = info->contents + gpdisp->r_offset;
-                   bfd_byte *p_lda = p_ldah + gpdisp->r_addend;
-                   unsigned int ldah = bfd_get_32 (info->abfd, p_ldah);
-                   unsigned int lda = bfd_get_32 (info->abfd, p_lda);
+  /* We may or may not have created a .got section for this object, but
+     we definitely havn't done the rest of the work.  */
 
-                   /* Verify that the instruction is "ldah $29,0($26)".
-                      Consider a function that ends in a noreturn call,
-                      and that the next function begins with an ldgp,
-                      and that by accident there is no padding between.
-                      In that case the insn would use $27 as the base.  */
-                   if (ldah == 0x27ba0000 && lda == 0x23bd0000)
-                     {
-                       bfd_put_32 (info->abfd, (bfd_vma) INSN_UNOP, p_ldah);
-                       bfd_put_32 (info->abfd, (bfd_vma) INSN_UNOP, p_lda);
+  if (!elf64_alpha_create_got_section (abfd, info))
+    return FALSE;
 
-                       gpdisp->r_info = ELF64_R_INFO (0, R_ALPHA_NONE);
-                       info->changed_contents = TRUE;
-                       info->changed_relocs = TRUE;
-                     }
-                 }
-             }
-         }
-         break;
-       }
-    }
+  s = bfd_make_section_with_flags (abfd, ".rela.got",
+                                  (SEC_ALLOC | SEC_LOAD
+                                   | SEC_HAS_CONTENTS
+                                   | SEC_IN_MEMORY
+                                   | SEC_LINKER_CREATED
+                                   | SEC_READONLY));
+  if (s == NULL
+      || !bfd_set_section_alignment (abfd, s, 3))
+    return FALSE;
 
-  /* If all cases were optimized, we can reduce the use count on this
-     got entry by one, possibly eliminating it.  */
-  if (all_optimized)
-    {
-      if (--info->gotent->use_count == 0)
-       {
-         int sz = alpha_got_entry_size (R_ALPHA_LITERAL);
-         alpha_elf_tdata (info->gotobj)->total_got_size -= sz;
-         if (!info->h)
-           alpha_elf_tdata (info->gotobj)->local_got_size -= sz;
-       }
+  /* Define the symbol _GLOBAL_OFFSET_TABLE_ at the start of the
+     dynobj's .got section.  We don't do this in the linker script
+     because we don't want to define the symbol if we are not creating
+     a global offset table.  */
+  bh = NULL;
+  if (!(_bfd_generic_link_add_one_symbol
+       (info, abfd, "_GLOBAL_OFFSET_TABLE_", BSF_GLOBAL,
+        alpha_elf_tdata(abfd)->got, (bfd_vma) 0, (const char *) NULL,
+        FALSE, get_elf_backend_data (abfd)->collect, &bh)))
+    return FALSE;
+  h = (struct elf_link_hash_entry *) bh;
+  h->def_regular = 1;
+  h->type = STT_OBJECT;
 
-      /* If the literal instruction is no longer needed (it may have been
-        reused.  We can eliminate it.  */
-      /* ??? For now, I don't want to deal with compacting the section,
-        so just nop it out.  */
-      if (!lit_reused)
-       {
-         irel->r_info = ELF64_R_INFO (0, R_ALPHA_NONE);
-         info->changed_relocs = TRUE;
+  if (info->shared
+      && ! bfd_elf_link_record_dynamic_symbol (info, h))
+    return FALSE;
 
-         bfd_put_32 (info->abfd, (bfd_vma) INSN_UNOP,
-                     info->contents + irel->r_offset);
-         info->changed_contents = TRUE;
-       }
+  elf_hash_table (info)->hgot = h;
 
-      return TRUE;
-    }
-  else
-    return elf64_alpha_relax_got_load (info, symval, irel, R_ALPHA_LITERAL);
+  return TRUE;
 }
+\f
+/* Read ECOFF debugging information from a .mdebug section into a
+   ecoff_debug_info structure.  */
 
-static bfd_vma
-elf64_alpha_relax_opt_call (info, symval)
-     struct alpha_relax_info *info;
-     bfd_vma symval;
+static bfd_boolean
+elf64_alpha_read_ecoff_info (bfd *abfd, asection *section,
+                            struct ecoff_debug_info *debug)
 {
-  /* If the function has the same gp, and we can identify that the
-     function does not use its function pointer, we can eliminate the
-     address load.  */
+  HDRR *symhdr;
+  const struct ecoff_debug_swap *swap;
+  char *ext_hdr = NULL;
 
-  /* If the symbol is marked NOPV, we are being told the function never
-     needs its procedure value.  */
-  if ((info->other & STO_ALPHA_STD_GPLOAD) == STO_ALPHA_NOPV)
-    return symval;
+  swap = get_elf_backend_data (abfd)->elf_backend_ecoff_debug_swap;
+  memset (debug, 0, sizeof (*debug));
 
-  /* If the symbol is marked STD_GP, we are being told the function does
-     a normal ldgp in the first two words.  */
-  else if ((info->other & STO_ALPHA_STD_GPLOAD) == STO_ALPHA_STD_GPLOAD)
-    ;
+  ext_hdr = (char *) bfd_malloc (swap->external_hdr_size);
+  if (ext_hdr == NULL && swap->external_hdr_size != 0)
+    goto error_return;
 
-  /* Otherwise, we may be able to identify a GP load in the first two
-     words, which we can then skip.  */
-  else
-    {
-      Elf_Internal_Rela *tsec_relocs, *tsec_relend, *tsec_free, *gpdisp;
-      bfd_vma ofs;
+  if (! bfd_get_section_contents (abfd, section, ext_hdr, (file_ptr) 0,
+                                 swap->external_hdr_size))
+    goto error_return;
 
-      /* Load the relocations from the section that the target symbol is in.  */
-      if (info->sec == info->tsec)
-       {
-         tsec_relocs = info->relocs;
-         tsec_relend = info->relend;
-         tsec_free = NULL;
-       }
-      else
-       {
-         tsec_relocs = (_bfd_elf_link_read_relocs
-                        (info->abfd, info->tsec, (PTR) NULL,
-                        (Elf_Internal_Rela *) NULL,
-                        info->link_info->keep_memory));
-         if (tsec_relocs == NULL)
-           return 0;
-         tsec_relend = tsec_relocs + info->tsec->reloc_count;
-         tsec_free = (info->link_info->keep_memory ? NULL : tsec_relocs);
-       }
+  symhdr = &debug->symbolic_header;
+  (*swap->swap_hdr_in) (abfd, ext_hdr, symhdr);
 
-      /* Recover the symbol's offset within the section.  */
-      ofs = (symval - info->tsec->output_section->vma
-            - info->tsec->output_offset);
+  /* The symbolic header contains absolute file offsets and sizes to
+     read.  */
+#define READ(ptr, offset, count, size, type)                           \
+  if (symhdr->count == 0)                                              \
+    debug->ptr = NULL;                                                 \
+  else                                                                 \
+    {                                                                  \
+      bfd_size_type amt = (bfd_size_type) size * symhdr->count;                \
+      debug->ptr = (type) bfd_malloc (amt);                            \
+      if (debug->ptr == NULL)                                          \
+       goto error_return;                                              \
+      if (bfd_seek (abfd, (file_ptr) symhdr->offset, SEEK_SET) != 0    \
+         || bfd_bread (debug->ptr, amt, abfd) != amt)                  \
+       goto error_return;                                              \
+    }
 
-      /* Look for a GPDISP reloc.  */
-      gpdisp = (elf64_alpha_find_reloc_at_ofs
-               (tsec_relocs, tsec_relend, ofs, R_ALPHA_GPDISP));
+  READ (line, cbLineOffset, cbLine, sizeof (unsigned char), unsigned char *);
+  READ (external_dnr, cbDnOffset, idnMax, swap->external_dnr_size, PTR);
+  READ (external_pdr, cbPdOffset, ipdMax, swap->external_pdr_size, PTR);
+  READ (external_sym, cbSymOffset, isymMax, swap->external_sym_size, PTR);
+  READ (external_opt, cbOptOffset, ioptMax, swap->external_opt_size, PTR);
+  READ (external_aux, cbAuxOffset, iauxMax, sizeof (union aux_ext),
+       union aux_ext *);
+  READ (ss, cbSsOffset, issMax, sizeof (char), char *);
+  READ (ssext, cbSsExtOffset, issExtMax, sizeof (char), char *);
+  READ (external_fdr, cbFdOffset, ifdMax, swap->external_fdr_size, PTR);
+  READ (external_rfd, cbRfdOffset, crfd, swap->external_rfd_size, PTR);
+  READ (external_ext, cbExtOffset, iextMax, swap->external_ext_size, PTR);
+#undef READ
 
-      if (!gpdisp || gpdisp->r_addend != 4)
-       {
-         if (tsec_free)
-           free (tsec_free);
-         return 0;
-       }
-      if (tsec_free)
-        free (tsec_free);
-    }
+  debug->fdr = NULL;
 
-  /* We've now determined that we can skip an initial gp load.  Verify
-     that the call and the target use the same gp.   */
-  if (info->link_info->hash->creator != info->tsec->owner->xvec
-      || info->gotobj != alpha_elf_tdata (info->tsec->owner)->gotobj)
-    return 0;
+  return TRUE;
 
-  return symval + 8;
+ error_return:
+  if (ext_hdr != NULL)
+    free (ext_hdr);
+  if (debug->line != NULL)
+    free (debug->line);
+  if (debug->external_dnr != NULL)
+    free (debug->external_dnr);
+  if (debug->external_pdr != NULL)
+    free (debug->external_pdr);
+  if (debug->external_sym != NULL)
+    free (debug->external_sym);
+  if (debug->external_opt != NULL)
+    free (debug->external_opt);
+  if (debug->external_aux != NULL)
+    free (debug->external_aux);
+  if (debug->ss != NULL)
+    free (debug->ss);
+  if (debug->ssext != NULL)
+    free (debug->ssext);
+  if (debug->external_fdr != NULL)
+    free (debug->external_fdr);
+  if (debug->external_rfd != NULL)
+    free (debug->external_rfd);
+  if (debug->external_ext != NULL)
+    free (debug->external_ext);
+  return FALSE;
 }
 
+/* Alpha ELF local labels start with '$'.  */
+
 static bfd_boolean
-elf64_alpha_relax_got_load (info, symval, irel, r_type)
-     struct alpha_relax_info *info;
-     bfd_vma symval;
-     Elf_Internal_Rela *irel;
-     unsigned long r_type;
+elf64_alpha_is_local_label_name (bfd *abfd ATTRIBUTE_UNUSED, const char *name)
 {
-  unsigned int insn;
-  bfd_signed_vma disp;
-
-  /* Get the instruction.  */
-  insn = bfd_get_32 (info->abfd, info->contents + irel->r_offset);
-
-  if (insn >> 26 != OP_LDQ)
-    {
-      reloc_howto_type *howto = elf64_alpha_howto_table + r_type;
-      ((*_bfd_error_handler)
-       ("%B: %A+0x%lx: warning: %s relocation against unexpected insn",
-       info->abfd, info->sec,
-       (unsigned long) irel->r_offset, howto->name));
-      return TRUE;
-    }
-
-  /* Can't relax dynamic symbols.  */
-  if (alpha_elf_dynamic_symbol_p (&info->h->root, info->link_info))
-    return TRUE;
-
-  /* Can't use local-exec relocations in shared libraries.  */
-  if (r_type == R_ALPHA_GOTTPREL && info->link_info->shared)
-    return TRUE;
-
-  if (r_type == R_ALPHA_LITERAL)
-    {
-      /* Look for nice constant addresses.  This includes the not-uncommon
-        special case of 0 for undefweak symbols.  */
-      if ((info->h && info->h->root.root.type == bfd_link_hash_undefweak)
-         || (!info->link_info->shared
-             && (symval >= (bfd_vma)-0x8000 || symval < 0x8000)))
-       {
-         disp = 0;
-         insn = (OP_LDA << 26) | (insn & (31 << 21)) | (31 << 16);
-         insn |= (symval & 0xffff);
-         r_type = R_ALPHA_NONE;
-       }
-      else
-       {
-         disp = symval - info->gp;
-         insn = (OP_LDA << 26) | (insn & 0x03ff0000);
-         r_type = R_ALPHA_GPREL16;
-       }
-    }
-  else
-    {
-      bfd_vma dtp_base, tp_base;
+  return name[0] == '$';
+}
 
-      BFD_ASSERT (elf_hash_table (info->link_info)->tls_sec != NULL);
-      dtp_base = alpha_get_dtprel_base (info->link_info);
-      tp_base = alpha_get_tprel_base (info->link_info);
-      disp = symval - (r_type == R_ALPHA_GOTDTPREL ? dtp_base : tp_base);
+/* Alpha ELF follows MIPS ELF in using a special find_nearest_line
+   routine in order to handle the ECOFF debugging information.  We
+   still call this mips_elf_find_line because of the slot
+   find_line_info in elf_obj_tdata is declared that way.  */
 
-      insn = (OP_LDA << 26) | (insn & (31 << 21)) | (31 << 16);
+struct mips_elf_find_line
+{
+  struct ecoff_debug_info d;
+  struct ecoff_find_line i;
+};
 
-      switch (r_type)
-       {
-       case R_ALPHA_GOTDTPREL:
-         r_type = R_ALPHA_DTPREL16;
-         break;
-       case R_ALPHA_GOTTPREL:
-         r_type = R_ALPHA_TPREL16;
-         break;
-       default:
-         BFD_ASSERT (0);
-         return FALSE;
-       }
-    }
+static bfd_boolean
+elf64_alpha_find_nearest_line (bfd *abfd, asection *section, asymbol **symbols,
+                              bfd_vma offset, const char **filename_ptr,
+                              const char **functionname_ptr,
+                              unsigned int *line_ptr)
+{
+  asection *msec;
 
-  if (disp < -0x8000 || disp >= 0x8000)
+  if (_bfd_dwarf2_find_nearest_line (abfd, section, symbols, offset,
+                                    filename_ptr, functionname_ptr,
+                                    line_ptr, 0,
+                                    &elf_tdata (abfd)->dwarf2_find_line_info))
     return TRUE;
 
-  bfd_put_32 (info->abfd, (bfd_vma) insn, info->contents + irel->r_offset);
-  info->changed_contents = TRUE;
-
-  /* Reduce the use count on this got entry by one, possibly
-     eliminating it.  */
-  if (--info->gotent->use_count == 0)
+  msec = bfd_get_section_by_name (abfd, ".mdebug");
+  if (msec != NULL)
     {
-      int sz = alpha_got_entry_size (r_type);
-      alpha_elf_tdata (info->gotobj)->total_got_size -= sz;
-      if (!info->h)
-       alpha_elf_tdata (info->gotobj)->local_got_size -= sz;
-    }
-
-  /* Smash the existing GOT relocation for its 16-bit immediate pair.  */
-  irel->r_info = ELF64_R_INFO (ELF64_R_SYM (irel->r_info), r_type);
-  info->changed_relocs = TRUE;
-
-  /* ??? Search forward through this basic block looking for insns
-     that use the target register.  Stop after an insn modifying the
-     register is seen, or after a branch or call.
-
-     Any such memory load insn may be substituted by a load directly
-     off the GP.  This allows the memory load insn to be issued before
-     the calculated GP register would otherwise be ready.
-
-     Any such jsr insn can be replaced by a bsr if it is in range.
-
-     This would mean that we'd have to _add_ relocations, the pain of
-     which gives one pause.  */
-
-  return TRUE;
-}
+      flagword origflags;
+      struct mips_elf_find_line *fi;
+      const struct ecoff_debug_swap * const swap =
+       get_elf_backend_data (abfd)->elf_backend_ecoff_debug_swap;
 
-static bfd_boolean
-elf64_alpha_relax_gprelhilo (info, symval, irel, hi)
-     struct alpha_relax_info *info;
-     bfd_vma symval;
-     Elf_Internal_Rela *irel;
-     bfd_boolean hi;
-{
-  unsigned int insn;
-  bfd_signed_vma disp;
-  bfd_byte *pos = info->contents + irel->r_offset;
+      /* If we are called during a link, alpha_elf_final_link may have
+        cleared the SEC_HAS_CONTENTS field.  We force it back on here
+        if appropriate (which it normally will be).  */
+      origflags = msec->flags;
+      if (elf_section_data (msec)->this_hdr.sh_type != SHT_NOBITS)
+       msec->flags |= SEC_HAS_CONTENTS;
 
-  /* ??? This assumes that the compiler doesn't render
+      fi = elf_tdata (abfd)->find_line_info;
+      if (fi == NULL)
+       {
+         bfd_size_type external_fdr_size;
+         char *fraw_src;
+         char *fraw_end;
+         struct fdr *fdr_ptr;
+         bfd_size_type amt = sizeof (struct mips_elf_find_line);
 
-       array[i]
-     as
-       ldah    t, array(gp)    !gprelhigh
-       s8addl  i, t, t
-       ldq     r, array(t)     !gprellow
+         fi = (struct mips_elf_find_line *) bfd_zalloc (abfd, amt);
+         if (fi == NULL)
+           {
+             msec->flags = origflags;
+             return FALSE;
+           }
 
-     which would indeed be the most efficient way to implement this.  */
+         if (!elf64_alpha_read_ecoff_info (abfd, msec, &fi->d))
+           {
+             msec->flags = origflags;
+             return FALSE;
+           }
 
-  return TRUE;
+         /* Swap in the FDR information.  */
+         amt = fi->d.symbolic_header.ifdMax * sizeof (struct fdr);
+         fi->d.fdr = (struct fdr *) bfd_alloc (abfd, amt);
+         if (fi->d.fdr == NULL)
+           {
+             msec->flags = origflags;
+             return FALSE;
+           }
+         external_fdr_size = swap->external_fdr_size;
+         fdr_ptr = fi->d.fdr;
+         fraw_src = (char *) fi->d.external_fdr;
+         fraw_end = (fraw_src
+                     + fi->d.symbolic_header.ifdMax * external_fdr_size);
+         for (; fraw_src < fraw_end; fraw_src += external_fdr_size, fdr_ptr++)
+           (*swap->swap_fdr_in) (abfd, (PTR) fraw_src, fdr_ptr);
 
-  disp = symval - info->gp;
-  if (disp < -0x8000 || disp >= 0x8000)
-    return TRUE;
+         elf_tdata (abfd)->find_line_info = fi;
 
-  if (hi)
-    {
-      /* Nop out the high instruction.  */
+         /* Note that we don't bother to ever free this information.
+             find_nearest_line is either called all the time, as in
+             objdump -l, so the information should be saved, or it is
+             rarely called, as in ld error messages, so the memory
+             wasted is unimportant.  Still, it would probably be a
+             good idea for free_cached_info to throw it away.  */
+       }
 
-      bfd_put_32 (info->abfd, (bfd_vma) INSN_UNOP, pos);
-      info->changed_contents = TRUE;
+      if (_bfd_ecoff_locate_line (abfd, section, offset, &fi->d, swap,
+                                 &fi->i, filename_ptr, functionname_ptr,
+                                 line_ptr))
+       {
+         msec->flags = origflags;
+         return TRUE;
+       }
 
-      irel->r_info = ELF64_R_INFO (0, R_ALPHA_NONE);
-      irel->r_addend = 0;
-      info->changed_relocs = TRUE;
+      msec->flags = origflags;
     }
-  else
-    {
-      /* Adjust the low instruction to reference GP directly.  */
 
-      insn = bfd_get_32 (info->abfd, pos);
-      insn = (insn & 0xffe00000) | (29 << 16);
-      bfd_put_32 (info->abfd, (bfd_vma) insn, pos);
-      info->changed_contents = TRUE;
-
-      irel->r_info = ELF64_R_INFO (ELF64_R_SYM (irel->r_info),
-                                  R_ALPHA_GPREL16);
-      info->changed_relocs = TRUE;
-    }
+  /* Fall back on the generic ELF find_nearest_line routine.  */
 
-  return TRUE;
+  return _bfd_elf_find_nearest_line (abfd, section, symbols, offset,
+                                    filename_ptr, functionname_ptr,
+                                    line_ptr);
 }
+\f
+/* Structure used to pass information to alpha_elf_output_extsym.  */
 
-static bfd_boolean
-elf64_alpha_relax_tls_get_addr (info, symval, irel, is_gd)
-     struct alpha_relax_info *info;
-     bfd_vma symval;
-     Elf_Internal_Rela *irel;
-     bfd_boolean is_gd;
+struct extsym_info
 {
-  bfd_byte *pos[5];
-  unsigned int insn;
-  Elf_Internal_Rela *gpdisp, *hint;
-  bfd_boolean dynamic, use_gottprel, pos1_unusable;
-  unsigned long new_symndx;
-
-  dynamic = alpha_elf_dynamic_symbol_p (&info->h->root, info->link_info);
-
-  /* If a TLS symbol is accessed using IE at least once, there is no point
-     to use dynamic model for it.  */
-  if (is_gd && info->h && (info->h->flags & ALPHA_ELF_LINK_HASH_TLS_IE))
-    ;
+  bfd *abfd;
+  struct bfd_link_info *info;
+  struct ecoff_debug_info *debug;
+  const struct ecoff_debug_swap *swap;
+  bfd_boolean failed;
+};
 
-  /* If the symbol is local, and we've already committed to DF_STATIC_TLS,
-     then we might as well relax to IE.  */
-  else if (info->link_info->shared && !dynamic
-          && (info->link_info->flags & DF_STATIC_TLS))
-    ;
+static bfd_boolean
+elf64_alpha_output_extsym (struct alpha_elf_link_hash_entry *h, PTR data)
+{
+  struct extsym_info *einfo = (struct extsym_info *) data;
+  bfd_boolean strip;
+  asection *sec, *output_section;
 
-  /* Otherwise we must be building an executable to do anything.  */
-  else if (info->link_info->shared)
-    return TRUE;
+  if (h->root.root.type == bfd_link_hash_warning)
+    h = (struct alpha_elf_link_hash_entry *) h->root.root.u.i.link;
 
-  /* The TLSGD/TLSLDM relocation must be followed by a LITERAL and
-     the matching LITUSE_TLS relocations.  */
-  if (irel + 2 >= info->relend)
-    return TRUE;
-  if (ELF64_R_TYPE (irel[1].r_info) != R_ALPHA_LITERAL
-      || ELF64_R_TYPE (irel[2].r_info) != R_ALPHA_LITUSE
-      || irel[2].r_addend != (is_gd ? LITUSE_ALPHA_TLSGD : LITUSE_ALPHA_TLSLDM))
-    return TRUE;
+  if (h->root.indx == -2)
+    strip = FALSE;
+  else if ((h->root.def_dynamic
+           || h->root.ref_dynamic
+           || h->root.root.type == bfd_link_hash_new)
+          && !h->root.def_regular
+          && !h->root.ref_regular)
+    strip = TRUE;
+  else if (einfo->info->strip == strip_all
+          || (einfo->info->strip == strip_some
+              && bfd_hash_lookup (einfo->info->keep_hash,
+                                  h->root.root.root.string,
+                                  FALSE, FALSE) == NULL))
+    strip = TRUE;
+  else
+    strip = FALSE;
 
-  /* There must be a GPDISP relocation positioned immediately after the
-     LITUSE relocation.  */
-  gpdisp = elf64_alpha_find_reloc_at_ofs (info->relocs, info->relend,
-                                         irel[2].r_offset + 4, R_ALPHA_GPDISP);
-  if (!gpdisp)
+  if (strip)
     return TRUE;
 
-  pos[0] = info->contents + irel[0].r_offset;
-  pos[1] = info->contents + irel[1].r_offset;
-  pos[2] = info->contents + irel[2].r_offset;
-  pos[3] = info->contents + gpdisp->r_offset;
-  pos[4] = pos[3] + gpdisp->r_addend;
-  pos1_unusable = FALSE;
-
-  /* Generally, the positions are not allowed to be out of order, lest the
-     modified insn sequence have different register lifetimes.  We can make
-     an exception when pos 1 is adjacent to pos 0.  */
-  if (pos[1] + 4 == pos[0])
+  if (h->esym.ifd == -2)
     {
-      bfd_byte *tmp = pos[0];
-      pos[0] = pos[1];
-      pos[1] = tmp;
-    }
-  else if (pos[1] < pos[0])
-    pos1_unusable = TRUE;
-  if (pos[1] >= pos[2] || pos[2] >= pos[3])
-    return TRUE;
-
-  /* Reduce the use count on the LITERAL relocation.  Do this before we
-     smash the symndx when we adjust the relocations below.  */
-  {
-    struct alpha_elf_got_entry *lit_gotent;
-    struct alpha_elf_link_hash_entry *lit_h;
-    unsigned long indx;
-
-    BFD_ASSERT (ELF64_R_SYM (irel[1].r_info) >= info->symtab_hdr->sh_info);
-    indx = ELF64_R_SYM (irel[1].r_info) - info->symtab_hdr->sh_info;
-    lit_h = alpha_elf_sym_hashes (info->abfd)[indx];
-
-    while (lit_h->root.root.type == bfd_link_hash_indirect
-          || lit_h->root.root.type == bfd_link_hash_warning)
-      lit_h = (struct alpha_elf_link_hash_entry *) lit_h->root.root.u.i.link;
-
-    for (lit_gotent = lit_h->got_entries; lit_gotent ;
-        lit_gotent = lit_gotent->next)
-      if (lit_gotent->gotobj == info->gotobj
-         && lit_gotent->reloc_type == R_ALPHA_LITERAL
-         && lit_gotent->addend == irel[1].r_addend)
-       break;
-    BFD_ASSERT (lit_gotent);
-
-    if (--lit_gotent->use_count == 0)
-      {
-       int sz = alpha_got_entry_size (R_ALPHA_LITERAL);
-       alpha_elf_tdata (info->gotobj)->total_got_size -= sz;
-      }
-  }
-
-  /* Change
-
-       lda     $16,x($gp)              !tlsgd!1
-       ldq     $27,__tls_get_addr($gp) !literal!1
-       jsr     $26,($27)__tls_get_addr !lituse_tlsgd!1
-       ldah    $29,0($26)              !gpdisp!2
-       lda     $29,0($29)              !gpdisp!2
-     to
-       ldq     $16,x($gp)              !gottprel
-       unop
-       call_pal rduniq
-       addq    $16,$0,$0
-       unop
-     or the first pair to
-       lda     $16,x($gp)              !tprel
-       unop
-     or
-       ldah    $16,x($gp)              !tprelhi
-       lda     $16,x($16)              !tprello
-
-     as appropriate.  */
+      h->esym.jmptbl = 0;
+      h->esym.cobol_main = 0;
+      h->esym.weakext = 0;
+      h->esym.reserved = 0;
+      h->esym.ifd = ifdNil;
+      h->esym.asym.value = 0;
+      h->esym.asym.st = stGlobal;
 
-  use_gottprel = FALSE;
-  new_symndx = is_gd ? ELF64_R_SYM (irel->r_info) : 0;
-  switch (!dynamic && !info->link_info->shared)
-    {
-    case 1:
-      {
-       bfd_vma tp_base;
-       bfd_signed_vma disp;
+      if (h->root.root.type != bfd_link_hash_defined
+         && h->root.root.type != bfd_link_hash_defweak)
+       h->esym.asym.sc = scAbs;
+      else
+       {
+         const char *name;
 
-       BFD_ASSERT (elf_hash_table (info->link_info)->tls_sec != NULL);
-       tp_base = alpha_get_tprel_base (info->link_info);
-       disp = symval - tp_base;
+         sec = h->root.root.u.def.section;
+         output_section = sec->output_section;
 
-       if (disp >= -0x8000 && disp < 0x8000)
-         {
-           insn = (OP_LDA << 26) | (16 << 21) | (31 << 16);
-           bfd_put_32 (info->abfd, (bfd_vma) insn, pos[0]);
-           bfd_put_32 (info->abfd, (bfd_vma) INSN_UNOP, pos[1]);
+         /* When making a shared library and symbol h is the one from
+            the another shared library, OUTPUT_SECTION may be null.  */
+         if (output_section == NULL)
+           h->esym.asym.sc = scUndefined;
+         else
+           {
+             name = bfd_section_name (output_section->owner, output_section);
 
-           irel[0].r_offset = pos[0] - info->contents;
-           irel[0].r_info = ELF64_R_INFO (new_symndx, R_ALPHA_TPREL16);
-           irel[1].r_info = ELF64_R_INFO (0, R_ALPHA_NONE);
-           break;
-         }
-       else if (disp >= -(bfd_signed_vma) 0x80000000
-                && disp < (bfd_signed_vma) 0x7fff8000
-                && !pos1_unusable)
-         {
-           insn = (OP_LDAH << 26) | (16 << 21) | (31 << 16);
-           bfd_put_32 (info->abfd, (bfd_vma) insn, pos[0]);
-           insn = (OP_LDA << 26) | (16 << 21) | (16 << 16);
-           bfd_put_32 (info->abfd, (bfd_vma) insn, pos[1]);
+             if (strcmp (name, ".text") == 0)
+               h->esym.asym.sc = scText;
+             else if (strcmp (name, ".data") == 0)
+               h->esym.asym.sc = scData;
+             else if (strcmp (name, ".sdata") == 0)
+               h->esym.asym.sc = scSData;
+             else if (strcmp (name, ".rodata") == 0
+                      || strcmp (name, ".rdata") == 0)
+               h->esym.asym.sc = scRData;
+             else if (strcmp (name, ".bss") == 0)
+               h->esym.asym.sc = scBss;
+             else if (strcmp (name, ".sbss") == 0)
+               h->esym.asym.sc = scSBss;
+             else if (strcmp (name, ".init") == 0)
+               h->esym.asym.sc = scInit;
+             else if (strcmp (name, ".fini") == 0)
+               h->esym.asym.sc = scFini;
+             else
+               h->esym.asym.sc = scAbs;
+           }
+       }
 
-           irel[0].r_offset = pos[0] - info->contents;
-           irel[0].r_info = ELF64_R_INFO (new_symndx, R_ALPHA_TPRELHI);
-           irel[1].r_offset = pos[1] - info->contents;
-           irel[1].r_info = ELF64_R_INFO (new_symndx, R_ALPHA_TPRELLO);
-           break;
-         }
-      }
-      /* FALLTHRU */
+      h->esym.asym.reserved = 0;
+      h->esym.asym.index = indexNil;
+    }
 
-    default:
-      use_gottprel = TRUE;
+  if (h->root.root.type == bfd_link_hash_common)
+    h->esym.asym.value = h->root.root.u.c.size;
+  else if (h->root.root.type == bfd_link_hash_defined
+          || h->root.root.type == bfd_link_hash_defweak)
+    {
+      if (h->esym.asym.sc == scCommon)
+       h->esym.asym.sc = scBss;
+      else if (h->esym.asym.sc == scSCommon)
+       h->esym.asym.sc = scSBss;
 
-      insn = (OP_LDQ << 26) | (16 << 21) | (29 << 16);
-      bfd_put_32 (info->abfd, (bfd_vma) insn, pos[0]);
-      bfd_put_32 (info->abfd, (bfd_vma) INSN_UNOP, pos[1]);
+      sec = h->root.root.u.def.section;
+      output_section = sec->output_section;
+      if (output_section != NULL)
+       h->esym.asym.value = (h->root.root.u.def.value
+                             + sec->output_offset
+                             + output_section->vma);
+      else
+       h->esym.asym.value = 0;
+    }
+  else if (h->root.needs_plt)
+    {
+      /* Set type and value for a symbol with a function stub.  */
+      h->esym.asym.st = stProc;
+      sec = bfd_get_section_by_name (einfo->abfd, ".plt");
+      if (sec == NULL)
+       h->esym.asym.value = 0;
+      else
+       {
+         output_section = sec->output_section;
+         if (output_section != NULL)
+           h->esym.asym.value = (h->root.plt.offset
+                                 + sec->output_offset
+                                 + output_section->vma);
+         else
+           h->esym.asym.value = 0;
+       }
+    }
 
-      irel[0].r_offset = pos[0] - info->contents;
-      irel[0].r_info = ELF64_R_INFO (new_symndx, R_ALPHA_GOTTPREL);
-      irel[1].r_info = ELF64_R_INFO (0, R_ALPHA_NONE);
-      break;
+  if (! bfd_ecoff_debug_one_external (einfo->abfd, einfo->debug, einfo->swap,
+                                     h->root.root.root.string,
+                                     &h->esym))
+    {
+      einfo->failed = TRUE;
+      return FALSE;
     }
 
-  bfd_put_32 (info->abfd, (bfd_vma) INSN_RDUNIQ, pos[2]);
+  return TRUE;
+}
+\f
+/* Search for and possibly create a got entry.  */
 
-  insn = INSN_ADDQ | (16 << 21) | (0 << 16) | (0 << 0);
-  bfd_put_32 (info->abfd, (bfd_vma) insn, pos[3]);
+static struct alpha_elf_got_entry *
+get_got_entry (bfd *abfd, struct alpha_elf_link_hash_entry *h,
+              unsigned long r_type, unsigned long r_symndx,
+              bfd_vma r_addend)
+{
+  struct alpha_elf_got_entry *gotent;
+  struct alpha_elf_got_entry **slot;
 
-  bfd_put_32 (info->abfd, (bfd_vma) INSN_UNOP, pos[4]);
+  if (h)
+    slot = &h->got_entries;
+  else
+    {
+      /* This is a local .got entry -- record for merge.  */
 
-  irel[2].r_info = ELF64_R_INFO (0, R_ALPHA_NONE);
-  gpdisp->r_info = ELF64_R_INFO (0, R_ALPHA_NONE);
+      struct alpha_elf_got_entry **local_got_entries;
 
-  hint = elf64_alpha_find_reloc_at_ofs (info->relocs, info->relend,
-                                       irel[2].r_offset, R_ALPHA_HINT);
-  if (hint)
-    hint->r_info = ELF64_R_INFO (0, R_ALPHA_NONE);
+      local_got_entries = alpha_elf_tdata(abfd)->local_got_entries;
+      if (!local_got_entries)
+       {
+         bfd_size_type size;
+         Elf_Internal_Shdr *symtab_hdr;
 
-  info->changed_contents = TRUE;
-  info->changed_relocs = TRUE;
+         symtab_hdr = &elf_tdata(abfd)->symtab_hdr;
+         size = symtab_hdr->sh_info;
+         size *= sizeof (struct alpha_elf_got_entry *);
 
-  /* Reduce the use count on the TLSGD/TLSLDM relocation.  */
-  if (--info->gotent->use_count == 0)
-    {
-      int sz = alpha_got_entry_size (info->gotent->reloc_type);
-      alpha_elf_tdata (info->gotobj)->total_got_size -= sz;
-      if (!info->h)
-       alpha_elf_tdata (info->gotobj)->local_got_size -= sz;
+         local_got_entries
+           = (struct alpha_elf_got_entry **) bfd_zalloc (abfd, size);
+         if (!local_got_entries)
+           return NULL;
+
+         alpha_elf_tdata (abfd)->local_got_entries = local_got_entries;
+       }
+
+      slot = &local_got_entries[r_symndx];
     }
 
-  /* If we've switched to a GOTTPREL relocation, increment the reference
-     count on that got entry.  */
-  if (use_gottprel)
+  for (gotent = *slot; gotent ; gotent = gotent->next)
+    if (gotent->gotobj == abfd
+       && gotent->reloc_type == r_type
+       && gotent->addend == r_addend)
+      break;
+
+  if (!gotent)
     {
-      struct alpha_elf_got_entry *tprel_gotent;
+      int entry_size;
+      bfd_size_type amt;
 
-      for (tprel_gotent = *info->first_gotent; tprel_gotent ;
-          tprel_gotent = tprel_gotent->next)
-       if (tprel_gotent->gotobj == info->gotobj
-           && tprel_gotent->reloc_type == R_ALPHA_GOTTPREL
-           && tprel_gotent->addend == irel->r_addend)
-         break;
-      if (tprel_gotent)
-       tprel_gotent->use_count++;
-      else
-       {
-         if (info->gotent->use_count == 0)
-           tprel_gotent = info->gotent;
-         else
-           {
-             tprel_gotent = (struct alpha_elf_got_entry *)
-               bfd_alloc (info->abfd, sizeof (struct alpha_elf_got_entry));
-             if (!tprel_gotent)
-               return FALSE;
+      amt = sizeof (struct alpha_elf_got_entry);
+      gotent = (struct alpha_elf_got_entry *) bfd_alloc (abfd, amt);
+      if (!gotent)
+       return NULL;
 
-             tprel_gotent->next = *info->first_gotent;
-             *info->first_gotent = tprel_gotent;
+      gotent->gotobj = abfd;
+      gotent->addend = r_addend;
+      gotent->got_offset = -1;
+      gotent->use_count = 1;
+      gotent->reloc_type = r_type;
+      gotent->reloc_done = 0;
+      gotent->reloc_xlated = 0;
 
-             tprel_gotent->gotobj = info->gotobj;
-             tprel_gotent->addend = irel->r_addend;
-             tprel_gotent->got_offset = -1;
-             tprel_gotent->reloc_done = 0;
-             tprel_gotent->reloc_xlated = 0;
-           }
+      gotent->next = *slot;
+      *slot = gotent;
 
-         tprel_gotent->use_count = 1;
-         tprel_gotent->reloc_type = R_ALPHA_GOTTPREL;
-       }
+      entry_size = alpha_got_entry_size (r_type);
+      alpha_elf_tdata (abfd)->total_got_size += entry_size;
+      if (!h)
+       alpha_elf_tdata(abfd)->local_got_size += entry_size;
     }
+  else
+    gotent->use_count += 1;
 
-  return TRUE;
+  return gotent;
 }
 
+/* Handle dynamic relocations when doing an Alpha ELF link.  */
+
 static bfd_boolean
-elf64_alpha_relax_section (abfd, sec, link_info, again)
-     bfd *abfd;
-     asection *sec;
-     struct bfd_link_info *link_info;
-     bfd_boolean *again;
+elf64_alpha_check_relocs (bfd *abfd, struct bfd_link_info *info,
+                         asection *sec, const Elf_Internal_Rela *relocs)
 {
+  bfd *dynobj;
+  asection *sreloc;
+  const char *rel_sec_name;
   Elf_Internal_Shdr *symtab_hdr;
-  Elf_Internal_Rela *internal_relocs;
-  Elf_Internal_Rela *irel, *irelend;
-  Elf_Internal_Sym *isymbuf = NULL;
-  struct alpha_elf_got_entry **local_got_entries;
-  struct alpha_relax_info info;
+  struct alpha_elf_link_hash_entry **sym_hashes;
+  const Elf_Internal_Rela *rel, *relend;
+  bfd_boolean got_created;
+  bfd_size_type amt;
 
-  /* We are not currently changing any sizes, so only one pass.  */
-  *again = FALSE;
+  if (info->relocatable)
+    return TRUE;
 
-  if (link_info->relocatable
-      || ((sec->flags & (SEC_CODE | SEC_RELOC | SEC_ALLOC))
-         != (SEC_CODE | SEC_RELOC | SEC_ALLOC))
-      || sec->reloc_count == 0)
+  /* Don't do anything special with non-loaded, non-alloced sections.
+     In particular, any relocs in such sections should not affect GOT
+     and PLT reference counting (ie. we don't allow them to create GOT
+     or PLT entries), there's no possibility or desire to optimize TLS
+     relocs, and there's not much point in propagating relocs to shared
+     libs that the dynamic linker won't relocate.  */
+  if ((sec->flags & SEC_ALLOC) == 0)
     return TRUE;
 
-  symtab_hdr = &elf_tdata (abfd)->symtab_hdr;
-  local_got_entries = alpha_elf_tdata(abfd)->local_got_entries;
+  dynobj = elf_hash_table(info)->dynobj;
+  if (dynobj == NULL)
+    elf_hash_table(info)->dynobj = dynobj = abfd;
 
-  /* Load the relocations for this section.  */
-  internal_relocs = (_bfd_elf_link_read_relocs
-                    (abfd, sec, (PTR) NULL, (Elf_Internal_Rela *) NULL,
-                     link_info->keep_memory));
-  if (internal_relocs == NULL)
-    return FALSE;
+  sreloc = NULL;
+  rel_sec_name = NULL;
+  symtab_hdr = &elf_tdata(abfd)->symtab_hdr;
+  sym_hashes = alpha_elf_sym_hashes(abfd);
+  got_created = FALSE;
+
+  relend = relocs + sec->reloc_count;
+  for (rel = relocs; rel < relend; ++rel)
+    {
+      enum {
+       NEED_GOT = 1,
+       NEED_GOT_ENTRY = 2,
+       NEED_DYNREL = 4
+      };
+
+      unsigned long r_symndx, r_type;
+      struct alpha_elf_link_hash_entry *h;
+      unsigned int gotent_flags;
+      bfd_boolean maybe_dynamic;
+      unsigned int need;
+      bfd_vma addend;
+
+      r_symndx = ELF64_R_SYM (rel->r_info);
+      if (r_symndx < symtab_hdr->sh_info)
+       h = NULL;
+      else
+       {
+         h = sym_hashes[r_symndx - symtab_hdr->sh_info];
 
-  memset(&info, 0, sizeof (info));
-  info.abfd = abfd;
-  info.sec = sec;
-  info.link_info = link_info;
-  info.symtab_hdr = symtab_hdr;
-  info.relocs = internal_relocs;
-  info.relend = irelend = internal_relocs + sec->reloc_count;
+         while (h->root.root.type == bfd_link_hash_indirect
+                || h->root.root.type == bfd_link_hash_warning)
+           h = (struct alpha_elf_link_hash_entry *)h->root.root.u.i.link;
 
-  /* Find the GP for this object.  Do not store the result back via
-     _bfd_set_gp_value, since this could change again before final.  */
-  info.gotobj = alpha_elf_tdata (abfd)->gotobj;
-  if (info.gotobj)
-    {
-      asection *sgot = alpha_elf_tdata (info.gotobj)->got;
-      info.gp = (sgot->output_section->vma
-                + sgot->output_offset
-                + 0x8000);
-    }
+         h->root.ref_regular = 1;
+       }
 
-  /* Get the section contents.  */
-  if (elf_section_data (sec)->this_hdr.contents != NULL)
-    info.contents = elf_section_data (sec)->this_hdr.contents;
-  else
-    {
-      if (!bfd_malloc_and_get_section (abfd, sec, &info.contents))
-       goto error_return;
-    }
+      /* We can only get preliminary data on whether a symbol is
+         locally or externally defined, as not all of the input files
+         have yet been processed.  Do something with what we know, as
+         this may help reduce memory usage and processing time later.  */
+      maybe_dynamic = FALSE;
+      if (h && ((info->shared
+                && (!info->symbolic
+                    || info->unresolved_syms_in_shared_libs == RM_IGNORE))
+               || !h->root.def_regular
+               || h->root.root.type == bfd_link_hash_defweak))
+        maybe_dynamic = TRUE;
 
-  for (irel = internal_relocs; irel < irelend; irel++)
-    {
-      bfd_vma symval;
-      struct alpha_elf_got_entry *gotent;
-      unsigned long r_type = ELF64_R_TYPE (irel->r_info);
-      unsigned long r_symndx = ELF64_R_SYM (irel->r_info);
+      need = 0;
+      gotent_flags = 0;
+      r_type = ELF64_R_TYPE (rel->r_info);
+      addend = rel->r_addend;
 
-      /* Early exit for unhandled or unrelaxable relocations.  */
       switch (r_type)
        {
        case R_ALPHA_LITERAL:
+         need = NEED_GOT | NEED_GOT_ENTRY;
+
+         /* Remember how this literal is used from its LITUSEs.
+            This will be important when it comes to decide if we can
+            create a .plt entry for a function symbol.  */
+         while (++rel < relend && ELF64_R_TYPE (rel->r_info) == R_ALPHA_LITUSE)
+           if (rel->r_addend >= 1 && rel->r_addend <= 5)
+             gotent_flags |= 1 << rel->r_addend;
+         --rel;
+
+         /* No LITUSEs -- presumably the address is used somehow.  */
+         if (gotent_flags == 0)
+           gotent_flags = ALPHA_ELF_LINK_HASH_LU_ADDR;
+         break;
+
+       case R_ALPHA_GPDISP:
+       case R_ALPHA_GPREL16:
+       case R_ALPHA_GPREL32:
        case R_ALPHA_GPRELHIGH:
        case R_ALPHA_GPRELLOW:
-       case R_ALPHA_GOTDTPREL:
-       case R_ALPHA_GOTTPREL:
-       case R_ALPHA_TLSGD:
+       case R_ALPHA_BRSGP:
+         need = NEED_GOT;
+         break;
+
+       case R_ALPHA_REFLONG:
+       case R_ALPHA_REFQUAD:
+         if (info->shared || maybe_dynamic)
+           need = NEED_DYNREL;
          break;
 
        case R_ALPHA_TLSLDM:
          /* The symbol for a TLSLDM reloc is ignored.  Collapse the
-             reloc to the 0 symbol so that they all match.  */
+            reloc to the 0 symbol so that they all match.  */
          r_symndx = 0;
+         h = 0;
+         maybe_dynamic = FALSE;
+         /* FALLTHRU */
+
+       case R_ALPHA_TLSGD:
+       case R_ALPHA_GOTDTPREL:
+         need = NEED_GOT | NEED_GOT_ENTRY;
          break;
 
-       default:
-         continue;
+       case R_ALPHA_GOTTPREL:
+         need = NEED_GOT | NEED_GOT_ENTRY;
+         gotent_flags = ALPHA_ELF_LINK_HASH_TLS_IE;
+         if (info->shared)
+           info->flags |= DF_STATIC_TLS;
+         break;
+
+       case R_ALPHA_TPREL64:
+         if (info->shared || maybe_dynamic)
+           need = NEED_DYNREL;
+         if (info->shared)
+           info->flags |= DF_STATIC_TLS;
+         break;
        }
 
-      /* Get the value of the symbol referred to by the reloc.  */
-      if (r_symndx < symtab_hdr->sh_info)
+      if (need & NEED_GOT)
        {
-         /* A local symbol.  */
-         Elf_Internal_Sym *isym;
-
-         /* Read this BFD's local symbols.  */
-         if (isymbuf == NULL)
+         if (!got_created)
            {
-             isymbuf = (Elf_Internal_Sym *) symtab_hdr->contents;
-             if (isymbuf == NULL)
-               isymbuf = bfd_elf_get_elf_syms (abfd, symtab_hdr,
-                                               symtab_hdr->sh_info, 0,
-                                               NULL, NULL, NULL);
-             if (isymbuf == NULL)
-               goto error_return;
-           }
-
-         isym = isymbuf + r_symndx;
+             if (!elf64_alpha_create_got_section (abfd, info))
+               return FALSE;
 
-         /* Given the symbol for a TLSLDM reloc is ignored, this also
-            means forcing the symbol value to the tp base.  */
-         if (r_type == R_ALPHA_TLSLDM)
-           {
-             info.tsec = bfd_abs_section_ptr;
-             symval = alpha_get_tprel_base (info.link_info);
-           }
-         else
-           {
-             symval = isym->st_value;
-             if (isym->st_shndx == SHN_UNDEF)
-               continue;
-             else if (isym->st_shndx == SHN_ABS)
-               info.tsec = bfd_abs_section_ptr;
-             else if (isym->st_shndx == SHN_COMMON)
-               info.tsec = bfd_com_section_ptr;
-             else
-               info.tsec = bfd_section_from_elf_index (abfd, isym->st_shndx);
-           }
+             /* Make sure the object's gotobj is set to itself so
+                that we default to every object with its own .got.
+                We'll merge .gots later once we've collected each
+                object's info.  */
+             alpha_elf_tdata(abfd)->gotobj = abfd;
 
-         info.h = NULL;
-         info.other = isym->st_other;
-         if (local_got_entries)
-           info.first_gotent = &local_got_entries[r_symndx];
-         else
-           {
-             info.first_gotent = &info.gotent;
-             info.gotent = NULL;
+             got_created = 1;
            }
        }
-      else
-       {
-         unsigned long indx;
-         struct alpha_elf_link_hash_entry *h;
-
-         indx = r_symndx - symtab_hdr->sh_info;
-         h = alpha_elf_sym_hashes (abfd)[indx];
-         BFD_ASSERT (h != NULL);
 
-         while (h->root.root.type == bfd_link_hash_indirect
-                || h->root.root.type == bfd_link_hash_warning)
-           h = (struct alpha_elf_link_hash_entry *)h->root.root.u.i.link;
+      if (need & NEED_GOT_ENTRY)
+       {
+         struct alpha_elf_got_entry *gotent;
 
-         /* If the symbol is undefined, we can't do anything with it.  */
-         if (h->root.root.type == bfd_link_hash_undefined)
-           continue;
+         gotent = get_got_entry (abfd, h, r_type, r_symndx, addend);
+         if (!gotent)
+           return FALSE;
 
-         /* If the symbol isn't defined in the current module,
-            again we can't do anything.  */
-         if (h->root.root.type == bfd_link_hash_undefweak)
-           {
-             info.tsec = bfd_abs_section_ptr;
-             symval = 0;
-           }
-         else if (!h->root.def_regular)
-           {
-             /* Except for TLSGD relocs, which can sometimes be
-                relaxed to GOTTPREL relocs.  */
-             if (r_type != R_ALPHA_TLSGD)
-               continue;
-             info.tsec = bfd_abs_section_ptr;
-             symval = 0;
-           }
-         else
+         if (gotent_flags)
            {
-             info.tsec = h->root.root.u.def.section;
-             symval = h->root.root.u.def.value;
-           }
+             gotent->flags |= gotent_flags;
+             if (h)
+               {
+                 gotent_flags |= h->flags;
+                 h->flags = gotent_flags;
 
-         info.h = h;
-         info.other = h->root.other;
-         info.first_gotent = &h->got_entries;
+                 /* Make a guess as to whether a .plt entry is needed.  */
+                 if ((gotent_flags & ALPHA_ELF_LINK_HASH_LU_FUNC)
+                     && !(gotent_flags & ~ALPHA_ELF_LINK_HASH_LU_FUNC))
+                   h->root.needs_plt = 1;
+                 else
+                   h->root.needs_plt = 0;
+               }
+           }
        }
 
-      /* Search for the got entry to be used by this relocation.  */
-      for (gotent = *info.first_gotent; gotent ; gotent = gotent->next)
-       if (gotent->gotobj == info.gotobj
-           && gotent->reloc_type == r_type
-           && gotent->addend == irel->r_addend)
-         break;
-      info.gotent = gotent;
-
-      symval += info.tsec->output_section->vma + info.tsec->output_offset;
-      symval += irel->r_addend;
-
-      switch (r_type)
+      if (need & NEED_DYNREL)
        {
-       case R_ALPHA_LITERAL:
-         BFD_ASSERT(info.gotent != NULL);
-
-         /* If there exist LITUSE relocations immediately following, this
-            opens up all sorts of interesting optimizations, because we
-            now know every location that this address load is used.  */
-         if (irel+1 < irelend
-             && ELF64_R_TYPE (irel[1].r_info) == R_ALPHA_LITUSE)
+         if (rel_sec_name == NULL)
            {
-             if (!elf64_alpha_relax_with_lituse (&info, symval, irel))
-               goto error_return;
+             rel_sec_name = (bfd_elf_string_from_elf_section
+                             (abfd, elf_elfheader(abfd)->e_shstrndx,
+                              elf_section_data(sec)->rel_hdr.sh_name));
+             if (rel_sec_name == NULL)
+               return FALSE;
+
+             BFD_ASSERT (strncmp (rel_sec_name, ".rela", 5) == 0
+                         && strcmp (bfd_get_section_name (abfd, sec),
+                                    rel_sec_name+5) == 0);
            }
-         else
+
+         /* We need to create the section here now whether we eventually
+            use it or not so that it gets mapped to an output section by
+            the linker.  If not used, we'll kill it in
+            size_dynamic_sections.  */
+         if (sreloc == NULL)
            {
-             if (!elf64_alpha_relax_got_load (&info, symval, irel, r_type))
-               goto error_return;
+             sreloc = bfd_get_section_by_name (dynobj, rel_sec_name);
+             if (sreloc == NULL)
+               {
+                 flagword flags;
+
+                 flags = (SEC_HAS_CONTENTS | SEC_IN_MEMORY
+                          | SEC_LINKER_CREATED | SEC_READONLY);
+                 if (sec->flags & SEC_ALLOC)
+                   flags |= SEC_ALLOC | SEC_LOAD;
+                 sreloc = bfd_make_section_with_flags (dynobj,
+                                                       rel_sec_name,
+                                                       flags);
+                 if (sreloc == NULL
+                     || !bfd_set_section_alignment (dynobj, sreloc, 3))
+                   return FALSE;
+               }
            }
-         break;
 
-       case R_ALPHA_GPRELHIGH:
-       case R_ALPHA_GPRELLOW:
-         if (!elf64_alpha_relax_gprelhilo (&info, symval, irel,
-                                           r_type == R_ALPHA_GPRELHIGH))
-           goto error_return;
-         break;
+         if (h)
+           {
+             /* Since we havn't seen all of the input symbols yet, we
+                don't know whether we'll actually need a dynamic relocation
+                entry for this reloc.  So make a record of it.  Once we
+                find out if this thing needs dynamic relocation we'll
+                expand the relocation sections by the appropriate amount.  */
 
-       case R_ALPHA_GOTDTPREL:
-       case R_ALPHA_GOTTPREL:
-         BFD_ASSERT(info.gotent != NULL);
-         if (!elf64_alpha_relax_got_load (&info, symval, irel, r_type))
-           goto error_return;
-         break;
+             struct alpha_elf_reloc_entry *rent;
 
-       case R_ALPHA_TLSGD:
-       case R_ALPHA_TLSLDM:
-         BFD_ASSERT(info.gotent != NULL);
-         if (!elf64_alpha_relax_tls_get_addr (&info, symval, irel,
-                                              r_type == R_ALPHA_TLSGD))
-           goto error_return;
-         break;
-       }
-    }
+             for (rent = h->reloc_entries; rent; rent = rent->next)
+               if (rent->rtype == r_type && rent->srel == sreloc)
+                 break;
 
-  if (!elf64_alpha_size_plt_section (link_info))
-    return FALSE;
-  if (!elf64_alpha_size_got_sections (link_info))
-    return FALSE;
-  if (!elf64_alpha_size_rela_got_section (link_info))
-    return FALSE;
+             if (!rent)
+               {
+                 amt = sizeof (struct alpha_elf_reloc_entry);
+                 rent = (struct alpha_elf_reloc_entry *) bfd_alloc (abfd, amt);
+                 if (!rent)
+                   return FALSE;
 
-  if (isymbuf != NULL
-      && symtab_hdr->contents != (unsigned char *) isymbuf)
-    {
-      if (!link_info->keep_memory)
-       free (isymbuf);
-      else
-       {
-         /* Cache the symbols for elf_link_input_bfd.  */
-         symtab_hdr->contents = (unsigned char *) isymbuf;
-       }
-    }
+                 rent->srel = sreloc;
+                 rent->rtype = r_type;
+                 rent->count = 1;
+                 rent->reltext = (sec->flags & SEC_READONLY) != 0;
 
-  if (info.contents != NULL
-      && elf_section_data (sec)->this_hdr.contents != info.contents)
-    {
-      if (!info.changed_contents && !link_info->keep_memory)
-       free (info.contents);
-      else
-       {
-         /* Cache the section contents for elf_link_input_bfd.  */
-         elf_section_data (sec)->this_hdr.contents = info.contents;
+                 rent->next = h->reloc_entries;
+                 h->reloc_entries = rent;
+               }
+             else
+               rent->count++;
+           }
+         else if (info->shared)
+           {
+             /* If this is a shared library, and the section is to be
+                loaded into memory, we need a RELATIVE reloc.  */
+             sreloc->size += sizeof (Elf64_External_Rela);
+             if (sec->flags & SEC_READONLY)
+               info->flags |= DF_TEXTREL;
+           }
        }
     }
 
-  if (elf_section_data (sec)->relocs != internal_relocs)
-    {
-      if (!info.changed_relocs)
-       free (internal_relocs);
-      else
-       elf_section_data (sec)->relocs = internal_relocs;
-    }
-
-  *again = info.changed_contents || info.changed_relocs;
-
   return TRUE;
-
- error_return:
-  if (isymbuf != NULL
-      && symtab_hdr->contents != (unsigned char *) isymbuf)
-    free (isymbuf);
-  if (info.contents != NULL
-      && elf_section_data (sec)->this_hdr.contents != info.contents)
-    free (info.contents);
-  if (internal_relocs != NULL
-      && elf_section_data (sec)->relocs != internal_relocs)
-    free (internal_relocs);
-  return FALSE;
 }
-\f
-/* PLT/GOT Stuff */
-#define PLT_HEADER_SIZE 32
-#define PLT_HEADER_WORD1       (bfd_vma) 0xc3600000    /* br   $27,.+4     */
-#define PLT_HEADER_WORD2       (bfd_vma) 0xa77b000c    /* ldq  $27,12($27) */
-#define PLT_HEADER_WORD3       (bfd_vma) 0x47ff041f    /* nop              */
-#define PLT_HEADER_WORD4       (bfd_vma) 0x6b7b0000    /* jmp  $27,($27)   */
 
-#define PLT_ENTRY_SIZE 12
-#define PLT_ENTRY_WORD1                0xc3800000      /* br   $28, plt0   */
-#define PLT_ENTRY_WORD2                0
-#define PLT_ENTRY_WORD3                0
-
-#define MAX_GOT_SIZE           (64*1024)
-
-#define ELF_DYNAMIC_INTERPRETER "/usr/lib/ld.so"
-\f
-/* Handle an Alpha specific section when reading an object file.  This
-   is called when bfd_section_from_shdr finds a section with an unknown
-   type.
-   FIXME: We need to handle the SHF_ALPHA_GPREL flag, but I'm not sure
-   how to.  */
+/* Adjust a symbol defined by a dynamic object and referenced by a
+   regular object.  The current definition is in some section of the
+   dynamic object, but we're not including those sections.  We have to
+   change the definition to something the rest of the link can
+   understand.  */
 
 static bfd_boolean
-elf64_alpha_section_from_shdr (bfd *abfd,
-                              Elf_Internal_Shdr *hdr,
-                              const char *name,
-                              int shindex)
+elf64_alpha_adjust_dynamic_symbol (struct bfd_link_info *info,
+                                  struct elf_link_hash_entry *h)
 {
-  asection *newsect;
+  bfd *dynobj;
+  asection *s;
+  struct alpha_elf_link_hash_entry *ah;
 
-  /* There ought to be a place to keep ELF backend specific flags, but
-     at the moment there isn't one.  We just keep track of the
-     sections by their name, instead.  Fortunately, the ABI gives
-     suggested names for all the MIPS specific sections, so we will
-     probably get away with this.  */
-  switch (hdr->sh_type)
-    {
-    case SHT_ALPHA_DEBUG:
-      if (strcmp (name, ".mdebug") != 0)
-       return FALSE;
-      break;
-    default:
-      return FALSE;
-    }
+  dynobj = elf_hash_table(info)->dynobj;
+  ah = (struct alpha_elf_link_hash_entry *)h;
 
-  if (! _bfd_elf_make_section_from_shdr (abfd, hdr, name, shindex))
-    return FALSE;
-  newsect = hdr->bfd_section;
+  /* Now that we've seen all of the input symbols, finalize our decision
+     about whether this symbol should get a .plt entry.  */
 
-  if (hdr->sh_type == SHT_ALPHA_DEBUG)
+  if (alpha_elf_dynamic_symbol_p (h, info)
+      && ((h->type == STT_FUNC
+          && !(ah->flags & ALPHA_ELF_LINK_HASH_LU_ADDR))
+         || (h->type == STT_NOTYPE
+             && (ah->flags & ALPHA_ELF_LINK_HASH_LU_FUNC)
+             && !(ah->flags & ~ALPHA_ELF_LINK_HASH_LU_FUNC)))
+      /* Don't prevent otherwise valid programs from linking by attempting
+        to create a new .got entry somewhere.  A Correct Solution would be
+        to add a new .got section to a new object file and let it be merged
+        somewhere later.  But for now don't bother.  */
+      && ah->got_entries)
     {
-      if (! bfd_set_section_flags (abfd, newsect,
-                                  (bfd_get_section_flags (abfd, newsect)
-                                   | SEC_DEBUGGING)))
-       return FALSE;
-    }
-
-  return TRUE;
-}
+      h->needs_plt = 1;
 
-/* Convert Alpha specific section flags to bfd internal section flags.  */
+      s = bfd_get_section_by_name(dynobj, ".plt");
+      if (!s && !elf64_alpha_create_dynamic_sections (dynobj, info))
+       return FALSE;
 
-static bfd_boolean
-elf64_alpha_section_flags (flags, hdr)
-     flagword *flags;
-     const Elf_Internal_Shdr *hdr;
-{
-  if (hdr->sh_flags & SHF_ALPHA_GPREL)
-    *flags |= SEC_SMALL_DATA;
+      /* The first bit of the .plt is reserved.  */
+      if (s->size == 0)
+       s->size = PLT_HEADER_SIZE;
 
-  return TRUE;
-}
+      h->plt.offset = s->size;
+      s->size += PLT_ENTRY_SIZE;
 
-/* Set the correct type for an Alpha ELF section.  We do this by the
-   section name, which is a hack, but ought to work.  */
+      /* If this symbol is not defined in a regular file, and we are not
+        generating a shared library, then set the symbol to the location
+        in the .plt.  This is required to make function pointers compare
+        equal between the normal executable and the shared library.  */
+      if (! info->shared
+         && h->root.type != bfd_link_hash_defweak)
+       {
+         ah->plt_old_section = h->root.u.def.section;
+         ah->plt_old_value = h->root.u.def.value;
+         ah->flags |= ALPHA_ELF_LINK_HASH_PLT_LOC;
+         h->root.u.def.section = s;
+         h->root.u.def.value = h->plt.offset;
+       }
 
-static bfd_boolean
-elf64_alpha_fake_sections (abfd, hdr, sec)
-     bfd *abfd;
-     Elf_Internal_Shdr *hdr;
-     asection *sec;
-{
-  register const char *name;
+      /* We also need a JMP_SLOT entry in the .rela.plt section.  */
+      s = bfd_get_section_by_name (dynobj, ".rela.plt");
+      BFD_ASSERT (s != NULL);
+      s->size += sizeof (Elf64_External_Rela);
 
-  name = bfd_get_section_name (abfd, sec);
+      return TRUE;
+    }
+  else
+    h->needs_plt = 0;
 
-  if (strcmp (name, ".mdebug") == 0)
+  /* If this is a weak symbol, and there is a real definition, the
+     processor independent code will have arranged for us to see the
+     real definition first, and we can just use the same value.  */
+  if (h->u.weakdef != NULL)
     {
-      hdr->sh_type = SHT_ALPHA_DEBUG;
-      /* In a shared object on Irix 5.3, the .mdebug section has an
-         entsize of 0.  FIXME: Does this matter?  */
-      if ((abfd->flags & DYNAMIC) != 0 )
-       hdr->sh_entsize = 0;
-      else
-       hdr->sh_entsize = 1;
+      BFD_ASSERT (h->u.weakdef->root.type == bfd_link_hash_defined
+                 || h->u.weakdef->root.type == bfd_link_hash_defweak);
+      h->root.u.def.section = h->u.weakdef->root.u.def.section;
+      h->root.u.def.value = h->u.weakdef->root.u.def.value;
+      return TRUE;
     }
-  else if ((sec->flags & SEC_SMALL_DATA)
-          || strcmp (name, ".sdata") == 0
-          || strcmp (name, ".sbss") == 0
-          || strcmp (name, ".lit4") == 0
-          || strcmp (name, ".lit8") == 0)
-    hdr->sh_flags |= SHF_ALPHA_GPREL;
+
+  /* This is a reference to a symbol defined by a dynamic object which
+     is not a function.  The Alpha, since it uses .got entries for all
+     symbols even in regular objects, does not need the hackery of a
+     .dynbss section and COPY dynamic relocations.  */
 
   return TRUE;
 }
 
-/* Hook called by the linker routine which adds symbols from an object
-   file.  We use it to put .comm items in .sbss, and not .bss.  */
+/* Symbol versioning can create new symbols, and make our old symbols
+   indirect to the new ones.  Consolidate the got and reloc information
+   in these situations.  */
 
 static bfd_boolean
-elf64_alpha_add_symbol_hook (abfd, info, sym, namep, flagsp, secp, valp)
-     bfd *abfd;
-     struct bfd_link_info *info;
-     Elf_Internal_Sym *sym;
-     const char **namep ATTRIBUTE_UNUSED;
-     flagword *flagsp ATTRIBUTE_UNUSED;
-     asection **secp;
-     bfd_vma *valp;
+elf64_alpha_merge_ind_symbols (struct alpha_elf_link_hash_entry *hi,
+                              PTR dummy ATTRIBUTE_UNUSED)
 {
-  if (sym->st_shndx == SHN_COMMON
-      && !info->relocatable
-      && sym->st_size <= elf_gp_size (abfd))
-    {
-      /* Common symbols less than or equal to -G nn bytes are
-        automatically put into .sbss.  */
+  struct alpha_elf_link_hash_entry *hs;
 
-      asection *scomm = bfd_get_section_by_name (abfd, ".scommon");
+  if (hi->root.root.type != bfd_link_hash_indirect)
+    return TRUE;
+  hs = hi;
+  do {
+    hs = (struct alpha_elf_link_hash_entry *)hs->root.root.u.i.link;
+  } while (hs->root.root.type == bfd_link_hash_indirect);
 
-      if (scomm == NULL)
+  /* Merge the flags.  Whee.  */
+
+  hs->flags |= hi->flags;
+
+  /* Merge the .got entries.  Cannibalize the old symbol's list in
+     doing so, since we don't need it anymore.  */
+
+  if (hs->got_entries == NULL)
+    hs->got_entries = hi->got_entries;
+  else
+    {
+      struct alpha_elf_got_entry *gi, *gs, *gin, *gsh;
+
+      gsh = hs->got_entries;
+      for (gi = hi->got_entries; gi ; gi = gin)
        {
-         scomm = bfd_make_section_with_flags (abfd, ".scommon",
-                                              (SEC_ALLOC
-                                               | SEC_IS_COMMON
-                                               | SEC_LINKER_CREATED));
-         if (scomm == NULL)
-           return FALSE;
+         gin = gi->next;
+         for (gs = gsh; gs ; gs = gs->next)
+           if (gi->gotobj == gs->gotobj
+               && gi->reloc_type == gs->reloc_type
+               && gi->addend == gs->addend)
+             {
+               gi->use_count += gs->use_count;
+               goto got_found;
+             }
+         gi->next = hs->got_entries;
+         hs->got_entries = gi;
+       got_found:;
        }
+    }
+  hi->got_entries = NULL;
 
-      *secp = scomm;
-      *valp = sym->st_size;
+  /* And similar for the reloc entries.  */
+
+  if (hs->reloc_entries == NULL)
+    hs->reloc_entries = hi->reloc_entries;
+  else
+    {
+      struct alpha_elf_reloc_entry *ri, *rs, *rin, *rsh;
+
+      rsh = hs->reloc_entries;
+      for (ri = hi->reloc_entries; ri ; ri = rin)
+       {
+         rin = ri->next;
+         for (rs = rsh; rs ; rs = rs->next)
+           if (ri->rtype == rs->rtype && ri->srel == rs->srel)
+             {
+               rs->count += ri->count;
+               goto found_reloc;
+             }
+         ri->next = hs->reloc_entries;
+         hs->reloc_entries = ri;
+       found_reloc:;
+       }
     }
+  hi->reloc_entries = NULL;
 
   return TRUE;
 }
 
-/* Create the .got section.  */
+/* Is it possible to merge two object file's .got tables?  */
 
 static bfd_boolean
-elf64_alpha_create_got_section(abfd, info)
-     bfd *abfd;
-     struct bfd_link_info *info ATTRIBUTE_UNUSED;
+elf64_alpha_can_merge_gots (bfd *a, bfd *b)
 {
-  asection *s;
+  int total = alpha_elf_tdata (a)->total_got_size;
+  bfd *bsub;
 
-  if ((s = bfd_get_section_by_name (abfd, ".got")))
-    {
-      /* Check for a non-linker created .got?  */
-      if (alpha_elf_tdata (abfd)->got == NULL)
-       alpha_elf_tdata (abfd)->got = s;
-      return TRUE;
-    }
+  /* Trivial quick fallout test.  */
+  if (total + alpha_elf_tdata (b)->total_got_size <= MAX_GOT_SIZE)
+    return TRUE;
 
-  s = bfd_make_section_with_flags (abfd, ".got", (SEC_ALLOC | SEC_LOAD
-                                                 | SEC_HAS_CONTENTS
-                                                 | SEC_IN_MEMORY
-                                                 | SEC_LINKER_CREATED));
-  if (s == NULL
-      || !bfd_set_section_alignment (abfd, s, 3))
+  /* By their nature, local .got entries cannot be merged.  */
+  if ((total += alpha_elf_tdata (b)->local_got_size) > MAX_GOT_SIZE)
     return FALSE;
 
-  alpha_elf_tdata (abfd)->got = s;
+  /* Failing the common trivial comparison, we must effectively
+     perform the merge.  Not actually performing the merge means that
+     we don't have to store undo information in case we fail.  */
+  for (bsub = b; bsub ; bsub = alpha_elf_tdata (bsub)->in_got_link_next)
+    {
+      struct alpha_elf_link_hash_entry **hashes = alpha_elf_sym_hashes (bsub);
+      Elf_Internal_Shdr *symtab_hdr = &elf_tdata (bsub)->symtab_hdr;
+      int i, n;
+
+      n = NUM_SHDR_ENTRIES (symtab_hdr) - symtab_hdr->sh_info;
+      for (i = 0; i < n; ++i)
+       {
+         struct alpha_elf_got_entry *ae, *be;
+         struct alpha_elf_link_hash_entry *h;
+
+         h = hashes[i];
+         while (h->root.root.type == bfd_link_hash_indirect
+                || h->root.root.type == bfd_link_hash_warning)
+           h = (struct alpha_elf_link_hash_entry *)h->root.root.u.i.link;
+
+         for (be = h->got_entries; be ; be = be->next)
+           {
+             if (be->use_count == 0)
+               continue;
+             if (be->gotobj != b)
+               continue;
+
+             for (ae = h->got_entries; ae ; ae = ae->next)
+               if (ae->gotobj == a
+                   && ae->reloc_type == be->reloc_type
+                   && ae->addend == be->addend)
+                 goto global_found;
+
+             total += alpha_got_entry_size (be->reloc_type);
+             if (total > MAX_GOT_SIZE)
+               return FALSE;
+           global_found:;
+           }
+       }
+    }
 
   return TRUE;
 }
 
-/* Create all the dynamic sections.  */
+/* Actually merge two .got tables.  */
 
-static bfd_boolean
-elf64_alpha_create_dynamic_sections (abfd, info)
-     bfd *abfd;
-     struct bfd_link_info *info;
+static void
+elf64_alpha_merge_gots (bfd *a, bfd *b)
 {
-  asection *s;
-  struct elf_link_hash_entry *h;
-  struct bfd_link_hash_entry *bh;
+  int total = alpha_elf_tdata (a)->total_got_size;
+  bfd *bsub;
 
-  /* We need to create .plt, .rela.plt, .got, and .rela.got sections.  */
+  /* Remember local expansion.  */
+  {
+    int e = alpha_elf_tdata (b)->local_got_size;
+    total += e;
+    alpha_elf_tdata (a)->local_got_size += e;
+  }
 
-  s = bfd_make_section_with_flags (abfd, ".plt",
-                                  (SEC_ALLOC | SEC_LOAD
-                                   | SEC_HAS_CONTENTS
-                                   | SEC_IN_MEMORY
-                                   | SEC_LINKER_CREATED
-                                   | SEC_CODE));
-  if (s == NULL
-      || ! bfd_set_section_alignment (abfd, s, 3))
-    return FALSE;
+  for (bsub = b; bsub ; bsub = alpha_elf_tdata (bsub)->in_got_link_next)
+    {
+      struct alpha_elf_got_entry **local_got_entries;
+      struct alpha_elf_link_hash_entry **hashes;
+      Elf_Internal_Shdr *symtab_hdr;
+      int i, n;
 
-  /* Define the symbol _PROCEDURE_LINKAGE_TABLE_ at the start of the
-     .plt section.  */
-  bh = NULL;
-  if (! (_bfd_generic_link_add_one_symbol
-        (info, abfd, "_PROCEDURE_LINKAGE_TABLE_", BSF_GLOBAL, s,
-         (bfd_vma) 0, (const char *) NULL, FALSE,
-         get_elf_backend_data (abfd)->collect, &bh)))
-    return FALSE;
-  h = (struct elf_link_hash_entry *) bh;
-  h->def_regular = 1;
-  h->type = STT_OBJECT;
+      /* Let the local .got entries know they are part of a new subsegment.  */
+      local_got_entries = alpha_elf_tdata (bsub)->local_got_entries;
+      if (local_got_entries)
+        {
+         n = elf_tdata (bsub)->symtab_hdr.sh_info;
+         for (i = 0; i < n; ++i)
+           {
+             struct alpha_elf_got_entry *ent;
+             for (ent = local_got_entries[i]; ent; ent = ent->next)
+               ent->gotobj = a;
+           }
+        }
 
-  if (info->shared
-      && ! bfd_elf_link_record_dynamic_symbol (info, h))
-    return FALSE;
+      /* Merge the global .got entries.  */
+      hashes = alpha_elf_sym_hashes (bsub);
+      symtab_hdr = &elf_tdata (bsub)->symtab_hdr;
 
-  s = bfd_make_section_with_flags (abfd, ".rela.plt",
-                                  (SEC_ALLOC | SEC_LOAD
-                                   | SEC_HAS_CONTENTS
-                                   | SEC_IN_MEMORY
-                                   | SEC_LINKER_CREATED
-                                   | SEC_READONLY));
-  if (s == NULL
-      || ! bfd_set_section_alignment (abfd, s, 3))
-    return FALSE;
+      n = NUM_SHDR_ENTRIES (symtab_hdr) - symtab_hdr->sh_info;
+      for (i = 0; i < n; ++i)
+        {
+         struct alpha_elf_got_entry *ae, *be, **pbe, **start;
+         struct alpha_elf_link_hash_entry *h;
 
-  /* We may or may not have created a .got section for this object, but
-     we definitely havn't done the rest of the work.  */
+         h = hashes[i];
+         while (h->root.root.type == bfd_link_hash_indirect
+                || h->root.root.type == bfd_link_hash_warning)
+           h = (struct alpha_elf_link_hash_entry *)h->root.root.u.i.link;
 
-  if (!elf64_alpha_create_got_section (abfd, info))
-    return FALSE;
+         pbe = start = &h->got_entries;
+         while ((be = *pbe) != NULL)
+           {
+             if (be->use_count == 0)
+               {
+                 *pbe = be->next;
+                 memset (be, 0xa5, sizeof (*be));
+                 goto kill;
+               }
+             if (be->gotobj != b)
+               goto next;
+
+             for (ae = *start; ae ; ae = ae->next)
+               if (ae->gotobj == a
+                   && ae->reloc_type == be->reloc_type
+                   && ae->addend == be->addend)
+                 {
+                   ae->flags |= be->flags;
+                   ae->use_count += be->use_count;
+                   *pbe = be->next;
+                   memset (be, 0xa5, sizeof (*be));
+                   goto kill;
+                 }
+             be->gotobj = a;
+             total += alpha_got_entry_size (be->reloc_type);
 
-  s = bfd_make_section_with_flags (abfd, ".rela.got",
-                                  (SEC_ALLOC | SEC_LOAD
-                                   | SEC_HAS_CONTENTS
-                                   | SEC_IN_MEMORY
-                                   | SEC_LINKER_CREATED
-                                   | SEC_READONLY));
-  if (s == NULL
-      || !bfd_set_section_alignment (abfd, s, 3))
-    return FALSE;
+           next:;
+             pbe = &be->next;
+           kill:;
+           }
+        }
 
-  /* Define the symbol _GLOBAL_OFFSET_TABLE_ at the start of the
-     dynobj's .got section.  We don't do this in the linker script
-     because we don't want to define the symbol if we are not creating
-     a global offset table.  */
-  bh = NULL;
-  if (!(_bfd_generic_link_add_one_symbol
-       (info, abfd, "_GLOBAL_OFFSET_TABLE_", BSF_GLOBAL,
-        alpha_elf_tdata(abfd)->got, (bfd_vma) 0, (const char *) NULL,
-        FALSE, get_elf_backend_data (abfd)->collect, &bh)))
-    return FALSE;
-  h = (struct elf_link_hash_entry *) bh;
-  h->def_regular = 1;
-  h->type = STT_OBJECT;
+      alpha_elf_tdata (bsub)->gotobj = a;
+    }
+  alpha_elf_tdata (a)->total_got_size = total;
 
-  if (info->shared
-      && ! bfd_elf_link_record_dynamic_symbol (info, h))
-    return FALSE;
+  /* Merge the two in_got chains.  */
+  {
+    bfd *next;
 
-  elf_hash_table (info)->hgot = h;
+    bsub = a;
+    while ((next = alpha_elf_tdata (bsub)->in_got_link_next) != NULL)
+      bsub = next;
 
-  return TRUE;
+    alpha_elf_tdata (bsub)->in_got_link_next = b;
+  }
 }
-\f
-/* Read ECOFF debugging information from a .mdebug section into a
-   ecoff_debug_info structure.  */
+
+/* Calculate the offsets for the got entries.  */
 
 static bfd_boolean
-elf64_alpha_read_ecoff_info (abfd, section, debug)
-     bfd *abfd;
-     asection *section;
-     struct ecoff_debug_info *debug;
+elf64_alpha_calc_got_offsets_for_symbol (struct alpha_elf_link_hash_entry *h,
+                                        PTR arg ATTRIBUTE_UNUSED)
 {
-  HDRR *symhdr;
-  const struct ecoff_debug_swap *swap;
-  char *ext_hdr = NULL;
+  bfd_boolean result = TRUE;
+  struct alpha_elf_got_entry *gotent;
 
-  swap = get_elf_backend_data (abfd)->elf_backend_ecoff_debug_swap;
-  memset (debug, 0, sizeof (*debug));
+  if (h->root.root.type == bfd_link_hash_warning)
+    h = (struct alpha_elf_link_hash_entry *) h->root.root.u.i.link;
 
-  ext_hdr = (char *) bfd_malloc (swap->external_hdr_size);
-  if (ext_hdr == NULL && swap->external_hdr_size != 0)
-    goto error_return;
+  for (gotent = h->got_entries; gotent; gotent = gotent->next)
+    if (gotent->use_count > 0)
+      {
+       struct alpha_elf_obj_tdata *td;
+       bfd_size_type *plge;
 
-  if (! bfd_get_section_contents (abfd, section, ext_hdr, (file_ptr) 0,
-                                 swap->external_hdr_size))
-    goto error_return;
+       td = alpha_elf_tdata (gotent->gotobj);
+       if (td == NULL)
+         {
+           _bfd_error_handler (_("Symbol %s has no GOT subsection for offset 0x%x"),
+                               h->root.root.root.string, gotent->got_offset);
+           result = FALSE;
+           continue;
+         }
+       plge = &td->got->size;
+       gotent->got_offset = *plge;
+       *plge += alpha_got_entry_size (gotent->reloc_type);
+      }
 
-  symhdr = &debug->symbolic_header;
-  (*swap->swap_hdr_in) (abfd, ext_hdr, symhdr);
+  return result;
+}
 
-  /* The symbolic header contains absolute file offsets and sizes to
-     read.  */
-#define READ(ptr, offset, count, size, type)                           \
-  if (symhdr->count == 0)                                              \
-    debug->ptr = NULL;                                                 \
-  else                                                                 \
-    {                                                                  \
-      bfd_size_type amt = (bfd_size_type) size * symhdr->count;                \
-      debug->ptr = (type) bfd_malloc (amt);                            \
-      if (debug->ptr == NULL)                                          \
-       goto error_return;                                              \
-      if (bfd_seek (abfd, (file_ptr) symhdr->offset, SEEK_SET) != 0    \
-         || bfd_bread (debug->ptr, amt, abfd) != amt)                  \
-       goto error_return;                                              \
-    }
+static void
+elf64_alpha_calc_got_offsets (struct bfd_link_info *info)
+{
+  bfd *i, *got_list = alpha_elf_hash_table(info)->got_list;
 
-  READ (line, cbLineOffset, cbLine, sizeof (unsigned char), unsigned char *);
-  READ (external_dnr, cbDnOffset, idnMax, swap->external_dnr_size, PTR);
-  READ (external_pdr, cbPdOffset, ipdMax, swap->external_pdr_size, PTR);
-  READ (external_sym, cbSymOffset, isymMax, swap->external_sym_size, PTR);
-  READ (external_opt, cbOptOffset, ioptMax, swap->external_opt_size, PTR);
-  READ (external_aux, cbAuxOffset, iauxMax, sizeof (union aux_ext),
-       union aux_ext *);
-  READ (ss, cbSsOffset, issMax, sizeof (char), char *);
-  READ (ssext, cbSsExtOffset, issExtMax, sizeof (char), char *);
-  READ (external_fdr, cbFdOffset, ifdMax, swap->external_fdr_size, PTR);
-  READ (external_rfd, cbRfdOffset, crfd, swap->external_rfd_size, PTR);
-  READ (external_ext, cbExtOffset, iextMax, swap->external_ext_size, PTR);
-#undef READ
+  /* First, zero out the .got sizes, as we may be recalculating the
+     .got after optimizing it.  */
+  for (i = got_list; i ; i = alpha_elf_tdata(i)->got_link_next)
+    alpha_elf_tdata(i)->got->size = 0;
 
-  debug->fdr = NULL;
+  /* Next, fill in the offsets for all the global entries.  */
+  alpha_elf_link_hash_traverse (alpha_elf_hash_table (info),
+                               elf64_alpha_calc_got_offsets_for_symbol,
+                               NULL);
 
-  return TRUE;
+  /* Finally, fill in the offsets for the local entries.  */
+  for (i = got_list; i ; i = alpha_elf_tdata(i)->got_link_next)
+    {
+      bfd_size_type got_offset = alpha_elf_tdata(i)->got->size;
+      bfd *j;
 
- error_return:
-  if (ext_hdr != NULL)
-    free (ext_hdr);
-  if (debug->line != NULL)
-    free (debug->line);
-  if (debug->external_dnr != NULL)
-    free (debug->external_dnr);
-  if (debug->external_pdr != NULL)
-    free (debug->external_pdr);
-  if (debug->external_sym != NULL)
-    free (debug->external_sym);
-  if (debug->external_opt != NULL)
-    free (debug->external_opt);
-  if (debug->external_aux != NULL)
-    free (debug->external_aux);
-  if (debug->ss != NULL)
-    free (debug->ss);
-  if (debug->ssext != NULL)
-    free (debug->ssext);
-  if (debug->external_fdr != NULL)
-    free (debug->external_fdr);
-  if (debug->external_rfd != NULL)
-    free (debug->external_rfd);
-  if (debug->external_ext != NULL)
-    free (debug->external_ext);
-  return FALSE;
-}
+      for (j = i; j ; j = alpha_elf_tdata(j)->in_got_link_next)
+       {
+         struct alpha_elf_got_entry **local_got_entries, *gotent;
+         int k, n;
 
-/* Alpha ELF local labels start with '$'.  */
+         local_got_entries = alpha_elf_tdata(j)->local_got_entries;
+         if (!local_got_entries)
+           continue;
 
-static bfd_boolean
-elf64_alpha_is_local_label_name (abfd, name)
-     bfd *abfd ATTRIBUTE_UNUSED;
-     const char *name;
-{
-  return name[0] == '$';
-}
+         for (k = 0, n = elf_tdata(j)->symtab_hdr.sh_info; k < n; ++k)
+           for (gotent = local_got_entries[k]; gotent; gotent = gotent->next)
+             if (gotent->use_count > 0)
+               {
+                 gotent->got_offset = got_offset;
+                 got_offset += alpha_got_entry_size (gotent->reloc_type);
+               }
+       }
 
-/* Alpha ELF follows MIPS ELF in using a special find_nearest_line
-   routine in order to handle the ECOFF debugging information.  We
-   still call this mips_elf_find_line because of the slot
-   find_line_info in elf_obj_tdata is declared that way.  */
+      alpha_elf_tdata(i)->got->size = got_offset;
+    }
+}
 
-struct mips_elf_find_line
-{
-  struct ecoff_debug_info d;
-  struct ecoff_find_line i;
-};
+/* Constructs the gots.  */
 
 static bfd_boolean
-elf64_alpha_find_nearest_line (abfd, section, symbols, offset, filename_ptr,
-                              functionname_ptr, line_ptr)
-     bfd *abfd;
-     asection *section;
-     asymbol **symbols;
-     bfd_vma offset;
-     const char **filename_ptr;
-     const char **functionname_ptr;
-     unsigned int *line_ptr;
+elf64_alpha_size_got_sections (struct bfd_link_info *info)
 {
-  asection *msec;
+  bfd *i, *got_list, *cur_got_obj = NULL;
+  int something_changed = 0;
 
-  if (_bfd_dwarf2_find_nearest_line (abfd, section, symbols, offset,
-                                    filename_ptr, functionname_ptr,
-                                    line_ptr, 0,
-                                    &elf_tdata (abfd)->dwarf2_find_line_info))
-    return TRUE;
+  got_list = alpha_elf_hash_table (info)->got_list;
 
-  msec = bfd_get_section_by_name (abfd, ".mdebug");
-  if (msec != NULL)
+  /* On the first time through, pretend we have an existing got list
+     consisting of all of the input files.  */
+  if (got_list == NULL)
     {
-      flagword origflags;
-      struct mips_elf_find_line *fi;
-      const struct ecoff_debug_swap * const swap =
-       get_elf_backend_data (abfd)->elf_backend_ecoff_debug_swap;
-
-      /* If we are called during a link, alpha_elf_final_link may have
-        cleared the SEC_HAS_CONTENTS field.  We force it back on here
-        if appropriate (which it normally will be).  */
-      origflags = msec->flags;
-      if (elf_section_data (msec)->this_hdr.sh_type != SHT_NOBITS)
-       msec->flags |= SEC_HAS_CONTENTS;
-
-      fi = elf_tdata (abfd)->find_line_info;
-      if (fi == NULL)
+      for (i = info->input_bfds; i ; i = i->link_next)
        {
-         bfd_size_type external_fdr_size;
-         char *fraw_src;
-         char *fraw_end;
-         struct fdr *fdr_ptr;
-         bfd_size_type amt = sizeof (struct mips_elf_find_line);
-
-         fi = (struct mips_elf_find_line *) bfd_zalloc (abfd, amt);
-         if (fi == NULL)
-           {
-             msec->flags = origflags;
-             return FALSE;
-           }
+         bfd *this_got = alpha_elf_tdata (i)->gotobj;
+         if (this_got == NULL)
+           continue;
 
-         if (!elf64_alpha_read_ecoff_info (abfd, msec, &fi->d))
-           {
-             msec->flags = origflags;
-             return FALSE;
-           }
+         /* We are assuming no merging has yet occurred.  */
+         BFD_ASSERT (this_got == i);
 
-         /* Swap in the FDR information.  */
-         amt = fi->d.symbolic_header.ifdMax * sizeof (struct fdr);
-         fi->d.fdr = (struct fdr *) bfd_alloc (abfd, amt);
-         if (fi->d.fdr == NULL)
+          if (alpha_elf_tdata (this_got)->total_got_size > MAX_GOT_SIZE)
            {
-             msec->flags = origflags;
+             /* Yikes! A single object file has too many entries.  */
+             (*_bfd_error_handler)
+               (_("%B: .got subsegment exceeds 64K (size %d)"),
+                i, alpha_elf_tdata (this_got)->total_got_size);
              return FALSE;
            }
-         external_fdr_size = swap->external_fdr_size;
-         fdr_ptr = fi->d.fdr;
-         fraw_src = (char *) fi->d.external_fdr;
-         fraw_end = (fraw_src
-                     + fi->d.symbolic_header.ifdMax * external_fdr_size);
-         for (; fraw_src < fraw_end; fraw_src += external_fdr_size, fdr_ptr++)
-           (*swap->swap_fdr_in) (abfd, (PTR) fraw_src, fdr_ptr);
 
-         elf_tdata (abfd)->find_line_info = fi;
-
-         /* Note that we don't bother to ever free this information.
-             find_nearest_line is either called all the time, as in
-             objdump -l, so the information should be saved, or it is
-             rarely called, as in ld error messages, so the memory
-             wasted is unimportant.  Still, it would probably be a
-             good idea for free_cached_info to throw it away.  */
+         if (got_list == NULL)
+           got_list = this_got;
+         else
+           alpha_elf_tdata(cur_got_obj)->got_link_next = this_got;
+         cur_got_obj = this_got;
        }
 
-      if (_bfd_ecoff_locate_line (abfd, section, offset, &fi->d, swap,
-                                 &fi->i, filename_ptr, functionname_ptr,
-                                 line_ptr))
+      /* Strange degenerate case of no got references.  */
+      if (got_list == NULL)
+       return TRUE;
+
+      alpha_elf_hash_table (info)->got_list = got_list;
+
+      /* Force got offsets to be recalculated.  */
+      something_changed = 1;
+    }
+
+  cur_got_obj = got_list;
+  i = alpha_elf_tdata(cur_got_obj)->got_link_next;
+  while (i != NULL)
+    {
+      if (elf64_alpha_can_merge_gots (cur_got_obj, i))
        {
-         msec->flags = origflags;
-         return TRUE;
-       }
+         elf64_alpha_merge_gots (cur_got_obj, i);
 
-      msec->flags = origflags;
+         alpha_elf_tdata(i)->got->size = 0;
+         i = alpha_elf_tdata(i)->got_link_next;
+         alpha_elf_tdata(cur_got_obj)->got_link_next = i;
+         
+         something_changed = 1;
+       }
+      else
+       {
+         cur_got_obj = i;
+         i = alpha_elf_tdata(i)->got_link_next;
+       }
     }
 
-  /* Fall back on the generic ELF find_nearest_line routine.  */
+  /* Once the gots have been merged, fill in the got offsets for
+     everything therein.  */
+  if (1 || something_changed)
+    elf64_alpha_calc_got_offsets (info);
 
-  return _bfd_elf_find_nearest_line (abfd, section, symbols, offset,
-                                    filename_ptr, functionname_ptr,
-                                    line_ptr);
+  return TRUE;
 }
-\f
-/* Structure used to pass information to alpha_elf_output_extsym.  */
-
-struct extsym_info
-{
-  bfd *abfd;
-  struct bfd_link_info *info;
-  struct ecoff_debug_info *debug;
-  const struct ecoff_debug_swap *swap;
-  bfd_boolean failed;
-};
 
 static bfd_boolean
-elf64_alpha_output_extsym (h, data)
-     struct alpha_elf_link_hash_entry *h;
-     PTR data;
+elf64_alpha_size_plt_section_1 (struct alpha_elf_link_hash_entry *h, PTR data)
 {
-  struct extsym_info *einfo = (struct extsym_info *) data;
-  bfd_boolean strip;
-  asection *sec, *output_section;
+  asection *splt = (asection *) data;
+  struct alpha_elf_got_entry *gotent;
 
-  if (h->root.root.type == bfd_link_hash_warning)
-    h = (struct alpha_elf_link_hash_entry *) h->root.root.u.i.link;
+  /* If we didn't need an entry before, we still don't.  */
+  if (!h->root.needs_plt)
+    return TRUE;
 
-  if (h->root.indx == -2)
-    strip = FALSE;
-  else if ((h->root.def_dynamic
-           || h->root.ref_dynamic
-           || h->root.root.type == bfd_link_hash_new)
-          && !h->root.def_regular
-          && !h->root.ref_regular)
-    strip = TRUE;
-  else if (einfo->info->strip == strip_all
-          || (einfo->info->strip == strip_some
-              && bfd_hash_lookup (einfo->info->keep_hash,
-                                  h->root.root.root.string,
-                                  FALSE, FALSE) == NULL))
-    strip = TRUE;
+  /* There must still be a LITERAL got entry for the function.  */
+  for (gotent = h->got_entries; gotent ; gotent = gotent->next)
+    if (gotent->reloc_type == R_ALPHA_LITERAL
+       && gotent->use_count > 0)
+      break;
+
+  /* If there is, reset the PLT offset.  If not, there's no longer
+     a need for the PLT entry.  */
+  if (gotent)
+    {
+      if (splt->size == 0)
+       splt->size = PLT_HEADER_SIZE;
+      h->root.plt.offset = splt->size;
+      splt->size += PLT_ENTRY_SIZE;
+    }
   else
-    strip = FALSE;
+    {
+      h->root.needs_plt = 0;
+      h->root.plt.offset = -1;
 
-  if (strip)
+      /* Undo the definition frobbing begun in adjust_dynamic_symbol.  */
+      if (h->flags & ALPHA_ELF_LINK_HASH_PLT_LOC)
+       {
+         h->root.root.u.def.section = h->plt_old_section;
+         h->root.root.u.def.value = h->plt_old_value;
+         h->flags &= ~ALPHA_ELF_LINK_HASH_PLT_LOC;
+       }
+    }
+
+  return TRUE;
+}
+
+/* Called from relax_section to rebuild the PLT in light of
+   potential changes in the function's status.  */
+
+static bfd_boolean
+elf64_alpha_size_plt_section (struct bfd_link_info *info)
+{
+  asection *splt, *spltrel;
+  unsigned long entries;
+  bfd *dynobj;
+
+  dynobj = elf_hash_table(info)->dynobj;
+  splt = bfd_get_section_by_name(dynobj, ".plt");
+  if (splt == NULL)
     return TRUE;
 
-  if (h->esym.ifd == -2)
-    {
-      h->esym.jmptbl = 0;
-      h->esym.cobol_main = 0;
-      h->esym.weakext = 0;
-      h->esym.reserved = 0;
-      h->esym.ifd = ifdNil;
-      h->esym.asym.value = 0;
-      h->esym.asym.st = stGlobal;
+  splt->size = 0;
 
-      if (h->root.root.type != bfd_link_hash_defined
-         && h->root.root.type != bfd_link_hash_defweak)
-       h->esym.asym.sc = scAbs;
-      else
-       {
-         const char *name;
+  alpha_elf_link_hash_traverse (alpha_elf_hash_table (info),
+                               elf64_alpha_size_plt_section_1, splt);
 
-         sec = h->root.root.u.def.section;
-         output_section = sec->output_section;
+  /* Every plt entry requires a JMP_SLOT relocation.  */
+  spltrel = bfd_get_section_by_name (dynobj, ".rela.plt");
+  if (splt->size)
+    entries = (splt->size - PLT_HEADER_SIZE) / PLT_ENTRY_SIZE;
+  else
+    entries = 0;
+  spltrel->size = entries * sizeof (Elf64_External_Rela);
 
-         /* When making a shared library and symbol h is the one from
-            the another shared library, OUTPUT_SECTION may be null.  */
-         if (output_section == NULL)
-           h->esym.asym.sc = scUndefined;
-         else
-           {
-             name = bfd_section_name (output_section->owner, output_section);
+  return TRUE;
+}
 
-             if (strcmp (name, ".text") == 0)
-               h->esym.asym.sc = scText;
-             else if (strcmp (name, ".data") == 0)
-               h->esym.asym.sc = scData;
-             else if (strcmp (name, ".sdata") == 0)
-               h->esym.asym.sc = scSData;
-             else if (strcmp (name, ".rodata") == 0
-                      || strcmp (name, ".rdata") == 0)
-               h->esym.asym.sc = scRData;
-             else if (strcmp (name, ".bss") == 0)
-               h->esym.asym.sc = scBss;
-             else if (strcmp (name, ".sbss") == 0)
-               h->esym.asym.sc = scSBss;
-             else if (strcmp (name, ".init") == 0)
-               h->esym.asym.sc = scInit;
-             else if (strcmp (name, ".fini") == 0)
-               h->esym.asym.sc = scFini;
-             else
-               h->esym.asym.sc = scAbs;
-           }
-       }
+static bfd_boolean
+elf64_alpha_always_size_sections (bfd *output_bfd ATTRIBUTE_UNUSED,
+                                 struct bfd_link_info *info)
+{
+  bfd *i;
 
-      h->esym.asym.reserved = 0;
-      h->esym.asym.index = indexNil;
-    }
+  if (info->relocatable)
+    return TRUE;
 
-  if (h->root.root.type == bfd_link_hash_common)
-    h->esym.asym.value = h->root.root.u.c.size;
-  else if (h->root.root.type == bfd_link_hash_defined
-          || h->root.root.type == bfd_link_hash_defweak)
-    {
-      if (h->esym.asym.sc == scCommon)
-       h->esym.asym.sc = scBss;
-      else if (h->esym.asym.sc == scSCommon)
-       h->esym.asym.sc = scSBss;
+  /* First, take care of the indirect symbols created by versioning.  */
+  alpha_elf_link_hash_traverse (alpha_elf_hash_table (info),
+                               elf64_alpha_merge_ind_symbols,
+                               NULL);
 
-      sec = h->root.root.u.def.section;
-      output_section = sec->output_section;
-      if (output_section != NULL)
-       h->esym.asym.value = (h->root.root.u.def.value
-                             + sec->output_offset
-                             + output_section->vma);
-      else
-       h->esym.asym.value = 0;
-    }
-  else if (h->root.needs_plt)
-    {
-      /* Set type and value for a symbol with a function stub.  */
-      h->esym.asym.st = stProc;
-      sec = bfd_get_section_by_name (einfo->abfd, ".plt");
-      if (sec == NULL)
-       h->esym.asym.value = 0;
-      else
-       {
-         output_section = sec->output_section;
-         if (output_section != NULL)
-           h->esym.asym.value = (h->root.plt.offset
-                                 + sec->output_offset
-                                 + output_section->vma);
-         else
-           h->esym.asym.value = 0;
-       }
-    }
+  if (!elf64_alpha_size_got_sections (info))
+    return FALSE;
 
-  if (! bfd_ecoff_debug_one_external (einfo->abfd, einfo->debug, einfo->swap,
-                                     h->root.root.root.string,
-                                     &h->esym))
+  /* Allocate space for all of the .got subsections.  */
+  i = alpha_elf_hash_table (info)->got_list;
+  for ( ; i ; i = alpha_elf_tdata(i)->got_link_next)
     {
-      einfo->failed = TRUE;
-      return FALSE;
+      asection *s = alpha_elf_tdata(i)->got;
+      if (s->size > 0)
+       {
+         s->contents = (bfd_byte *) bfd_zalloc (i, s->size);
+         if (s->contents == NULL)
+           return FALSE;
+       }
     }
 
   return TRUE;
 }
-\f
-/* Search for and possibly create a got entry.  */
 
-static struct alpha_elf_got_entry *
-get_got_entry (abfd, h, r_type, r_symndx, r_addend)
-     bfd *abfd;
-     struct alpha_elf_link_hash_entry *h;
-     unsigned long r_type, r_symndx;
-     bfd_vma r_addend;
-{
-  struct alpha_elf_got_entry *gotent;
-  struct alpha_elf_got_entry **slot;
+/* The number of dynamic relocations required by a static relocation.  */
 
-  if (h)
-    slot = &h->got_entries;
-  else
+static int
+alpha_dynamic_entries_for_reloc (int r_type, int dynamic, int shared)
+{
+  switch (r_type)
     {
-      /* This is a local .got entry -- record for merge.  */
+    /* May appear in GOT entries.  */
+    case R_ALPHA_TLSGD:
+      return (dynamic ? 2 : shared ? 1 : 0);
+    case R_ALPHA_TLSLDM:
+      return shared;
+    case R_ALPHA_LITERAL:
+    case R_ALPHA_GOTTPREL:
+      return dynamic || shared;
+    case R_ALPHA_GOTDTPREL:
+      return dynamic;
 
-      struct alpha_elf_got_entry **local_got_entries;
+    /* May appear in data sections.  */
+    case R_ALPHA_REFLONG:
+    case R_ALPHA_REFQUAD:
+    case R_ALPHA_TPREL64:
+      return dynamic || shared;
 
-      local_got_entries = alpha_elf_tdata(abfd)->local_got_entries;
-      if (!local_got_entries)
-       {
-         bfd_size_type size;
-         Elf_Internal_Shdr *symtab_hdr;
+    /* Everything else is illegal.  We'll issue an error during
+       relocate_section.  */
+    default:
+      return 0;
+    }
+}
 
-         symtab_hdr = &elf_tdata(abfd)->symtab_hdr;
-         size = symtab_hdr->sh_info;
-         size *= sizeof (struct alpha_elf_got_entry *);
+/* Work out the sizes of the dynamic relocation entries.  */
 
-         local_got_entries
-           = (struct alpha_elf_got_entry **) bfd_zalloc (abfd, size);
-         if (!local_got_entries)
-           return NULL;
+static bfd_boolean
+elf64_alpha_calc_dynrel_sizes (struct alpha_elf_link_hash_entry *h,
+                              struct bfd_link_info *info)
+{
+  bfd_boolean dynamic;
+  struct alpha_elf_reloc_entry *relent;
+  unsigned long entries;
 
-         alpha_elf_tdata (abfd)->local_got_entries = local_got_entries;
-       }
+  if (h->root.root.type == bfd_link_hash_warning)
+    h = (struct alpha_elf_link_hash_entry *) h->root.root.u.i.link;
 
-      slot = &local_got_entries[r_symndx];
-    }
+  /* If the symbol was defined as a common symbol in a regular object
+     file, and there was no definition in any dynamic object, then the
+     linker will have allocated space for the symbol in a common
+     section but the ELF_LINK_HASH_DEF_REGULAR flag will not have been
+     set.  This is done for dynamic symbols in
+     elf_adjust_dynamic_symbol but this is not done for non-dynamic
+     symbols, somehow.  */
+  if (!h->root.def_regular
+      && h->root.ref_regular
+      && !h->root.def_dynamic
+      && (h->root.root.type == bfd_link_hash_defined
+         || h->root.root.type == bfd_link_hash_defweak)
+      && !(h->root.root.u.def.section->owner->flags & DYNAMIC))
+    h->root.def_regular = 1;
 
-  for (gotent = *slot; gotent ; gotent = gotent->next)
-    if (gotent->gotobj == abfd
-       && gotent->reloc_type == r_type
-       && gotent->addend == r_addend)
-      break;
+  /* If the symbol is dynamic, we'll need all the relocations in their
+     natural form.  If this is a shared object, and it has been forced
+     local, we'll need the same number of RELATIVE relocations.  */
+  dynamic = alpha_elf_dynamic_symbol_p (&h->root, info);
 
-  if (!gotent)
+  /* If the symbol is a hidden undefined weak, then we never have any
+     relocations.  Avoid the loop which may want to add RELATIVE relocs
+     based on info->shared.  */
+  if (h->root.root.type == bfd_link_hash_undefweak && !dynamic)
+    return TRUE;
+
+  for (relent = h->reloc_entries; relent; relent = relent->next)
     {
-      int entry_size;
-      bfd_size_type amt;
+      entries = alpha_dynamic_entries_for_reloc (relent->rtype, dynamic,
+                                                info->shared);
+      if (entries)
+       {
+         relent->srel->size +=
+           entries * sizeof (Elf64_External_Rela) * relent->count;
+         if (relent->reltext)
+           info->flags |= DT_TEXTREL;
+       }
+    }
 
-      amt = sizeof (struct alpha_elf_got_entry);
-      gotent = (struct alpha_elf_got_entry *) bfd_alloc (abfd, amt);
-      if (!gotent)
-       return NULL;
+  return TRUE;
+}
 
-      gotent->gotobj = abfd;
-      gotent->addend = r_addend;
-      gotent->got_offset = -1;
-      gotent->use_count = 1;
-      gotent->reloc_type = r_type;
-      gotent->reloc_done = 0;
-      gotent->reloc_xlated = 0;
+/* Subroutine of elf64_alpha_size_rela_got_section for doing the
+   global symbols.  */
 
-      gotent->next = *slot;
-      *slot = gotent;
+static bfd_boolean
+elf64_alpha_size_rela_got_1 (struct alpha_elf_link_hash_entry *h,
+                            struct bfd_link_info *info)
+{
+  bfd_boolean dynamic;
+  struct alpha_elf_got_entry *gotent;
+  unsigned long entries;
 
-      entry_size = alpha_got_entry_size (r_type);
-      alpha_elf_tdata (abfd)->total_got_size += entry_size;
-      if (!h)
-       alpha_elf_tdata(abfd)->local_got_size += entry_size;
+  if (h->root.root.type == bfd_link_hash_warning)
+    h = (struct alpha_elf_link_hash_entry *) h->root.root.u.i.link;
+
+  /* If the symbol is dynamic, we'll need all the relocations in their
+     natural form.  If this is a shared object, and it has been forced
+     local, we'll need the same number of RELATIVE relocations.  */
+  dynamic = alpha_elf_dynamic_symbol_p (&h->root, info);
+
+  /* If the symbol is a hidden undefined weak, then we never have any
+     relocations.  Avoid the loop which may want to add RELATIVE relocs
+     based on info->shared.  */
+  if (h->root.root.type == bfd_link_hash_undefweak && !dynamic)
+    return TRUE;
+
+  entries = 0;
+  for (gotent = h->got_entries; gotent ; gotent = gotent->next)
+    if (gotent->use_count > 0)
+      entries += alpha_dynamic_entries_for_reloc (gotent->reloc_type,
+                                                 dynamic, info->shared);
+
+  /* If we are using a .plt entry, subtract one, as the first
+     reference uses a .rela.plt entry instead.  */
+  if (h->root.plt.offset != MINUS_ONE)
+    entries--;
+
+  if (entries > 0)
+    {
+      bfd *dynobj = elf_hash_table(info)->dynobj;
+      asection *srel = bfd_get_section_by_name (dynobj, ".rela.got");
+      BFD_ASSERT (srel != NULL);
+      srel->size += sizeof (Elf64_External_Rela) * entries;
     }
-  else
-    gotent->use_count += 1;
 
-  return gotent;
+  return TRUE;
 }
 
-/* Handle dynamic relocations when doing an Alpha ELF link.  */
+/* Set the sizes of the dynamic relocation sections.  */
 
 static bfd_boolean
-elf64_alpha_check_relocs (abfd, info, sec, relocs)
-     bfd *abfd;
-     struct bfd_link_info *info;
-     asection *sec;
-     const Elf_Internal_Rela *relocs;
+elf64_alpha_size_rela_got_section (struct bfd_link_info *info)
 {
-  bfd *dynobj;
-  asection *sreloc;
-  const char *rel_sec_name;
-  Elf_Internal_Shdr *symtab_hdr;
-  struct alpha_elf_link_hash_entry **sym_hashes;
-  const Elf_Internal_Rela *rel, *relend;
-  bfd_boolean got_created;
-  bfd_size_type amt;
+  unsigned long entries;
+  bfd *i, *dynobj;
+  asection *srel;
 
-  if (info->relocatable)
-    return TRUE;
+  /* Shared libraries often require RELATIVE relocs, and some relocs
+     require attention for the main application as well.  */
 
-  /* Don't do anything special with non-loaded, non-alloced sections.
-     In particular, any relocs in such sections should not affect GOT
-     and PLT reference counting (ie. we don't allow them to create GOT
-     or PLT entries), there's no possibility or desire to optimize TLS
-     relocs, and there's not much point in propagating relocs to shared
-     libs that the dynamic linker won't relocate.  */
-  if ((sec->flags & SEC_ALLOC) == 0)
-    return TRUE;
+  entries = 0;
+  for (i = alpha_elf_hash_table(info)->got_list;
+       i ; i = alpha_elf_tdata(i)->got_link_next)
+    {
+      bfd *j;
 
-  dynobj = elf_hash_table(info)->dynobj;
-  if (dynobj == NULL)
-    elf_hash_table(info)->dynobj = dynobj = abfd;
+      for (j = i; j ; j = alpha_elf_tdata(j)->in_got_link_next)
+       {
+         struct alpha_elf_got_entry **local_got_entries, *gotent;
+         int k, n;
 
-  sreloc = NULL;
-  rel_sec_name = NULL;
-  symtab_hdr = &elf_tdata(abfd)->symtab_hdr;
-  sym_hashes = alpha_elf_sym_hashes(abfd);
-  got_created = FALSE;
+         local_got_entries = alpha_elf_tdata(j)->local_got_entries;
+         if (!local_got_entries)
+           continue;
 
-  relend = relocs + sec->reloc_count;
-  for (rel = relocs; rel < relend; ++rel)
-    {
-      enum {
-       NEED_GOT = 1,
-       NEED_GOT_ENTRY = 2,
-       NEED_DYNREL = 4
-      };
+         for (k = 0, n = elf_tdata(j)->symtab_hdr.sh_info; k < n; ++k)
+           for (gotent = local_got_entries[k];
+                gotent ; gotent = gotent->next)
+             if (gotent->use_count > 0)
+               entries += (alpha_dynamic_entries_for_reloc
+                           (gotent->reloc_type, 0, info->shared));
+       }
+    }
 
-      unsigned long r_symndx, r_type;
-      struct alpha_elf_link_hash_entry *h;
-      unsigned int gotent_flags;
-      bfd_boolean maybe_dynamic;
-      unsigned int need;
-      bfd_vma addend;
+  dynobj = elf_hash_table(info)->dynobj;
+  srel = bfd_get_section_by_name (dynobj, ".rela.got");
+  if (!srel)
+    {
+      BFD_ASSERT (entries == 0);
+      return TRUE;
+    }
+  srel->size = sizeof (Elf64_External_Rela) * entries;
 
-      r_symndx = ELF64_R_SYM (rel->r_info);
-      if (r_symndx < symtab_hdr->sh_info)
-       h = NULL;
-      else
-       {
-         h = sym_hashes[r_symndx - symtab_hdr->sh_info];
+  /* Now do the non-local symbols.  */
+  alpha_elf_link_hash_traverse (alpha_elf_hash_table (info),
+                               elf64_alpha_size_rela_got_1, info);
 
-         while (h->root.root.type == bfd_link_hash_indirect
-                || h->root.root.type == bfd_link_hash_warning)
-           h = (struct alpha_elf_link_hash_entry *)h->root.root.u.i.link;
+  return TRUE;
+}
 
-         h->root.ref_regular = 1;
-       }
+/* Set the sizes of the dynamic sections.  */
 
-      /* We can only get preliminary data on whether a symbol is
-         locally or externally defined, as not all of the input files
-         have yet been processed.  Do something with what we know, as
-         this may help reduce memory usage and processing time later.  */
-      maybe_dynamic = FALSE;
-      if (h && ((info->shared
-                && (!info->symbolic || info->unresolved_syms_in_shared_libs == RM_IGNORE))
-               || !h->root.def_regular
-               || h->root.root.type == bfd_link_hash_defweak))
-        maybe_dynamic = TRUE;
+static bfd_boolean
+elf64_alpha_size_dynamic_sections (bfd *output_bfd ATTRIBUTE_UNUSED,
+                                  struct bfd_link_info *info)
+{
+  bfd *dynobj;
+  asection *s;
+  bfd_boolean relplt;
 
-      need = 0;
-      gotent_flags = 0;
-      r_type = ELF64_R_TYPE (rel->r_info);
-      addend = rel->r_addend;
+  dynobj = elf_hash_table(info)->dynobj;
+  BFD_ASSERT(dynobj != NULL);
 
-      switch (r_type)
+  if (elf_hash_table (info)->dynamic_sections_created)
+    {
+      /* Set the contents of the .interp section to the interpreter.  */
+      if (info->executable)
        {
-       case R_ALPHA_LITERAL:
-         need = NEED_GOT | NEED_GOT_ENTRY;
-
-         /* Remember how this literal is used from its LITUSEs.
-            This will be important when it comes to decide if we can
-            create a .plt entry for a function symbol.  */
-         while (++rel < relend && ELF64_R_TYPE (rel->r_info) == R_ALPHA_LITUSE)
-           if (rel->r_addend >= 1 && rel->r_addend <= 5)
-             gotent_flags |= 1 << rel->r_addend;
-         --rel;
+         s = bfd_get_section_by_name (dynobj, ".interp");
+         BFD_ASSERT (s != NULL);
+         s->size = sizeof ELF_DYNAMIC_INTERPRETER;
+         s->contents = (unsigned char *) ELF_DYNAMIC_INTERPRETER;
+       }
 
-         /* No LITUSEs -- presumably the address is used somehow.  */
-         if (gotent_flags == 0)
-           gotent_flags = ALPHA_ELF_LINK_HASH_LU_ADDR;
-         break;
+      /* Now that we've seen all of the input files, we can decide which
+        symbols need dynamic relocation entries and which don't.  We've
+        collected information in check_relocs that we can now apply to
+        size the dynamic relocation sections.  */
+      alpha_elf_link_hash_traverse (alpha_elf_hash_table (info),
+                                   elf64_alpha_calc_dynrel_sizes, info);
 
-       case R_ALPHA_GPDISP:
-       case R_ALPHA_GPREL16:
-       case R_ALPHA_GPREL32:
-       case R_ALPHA_GPRELHIGH:
-       case R_ALPHA_GPRELLOW:
-       case R_ALPHA_BRSGP:
-         need = NEED_GOT;
-         break;
+      elf64_alpha_size_rela_got_section (info);
+    }
+  /* else we're not dynamic and by definition we don't need such things.  */
 
-       case R_ALPHA_REFLONG:
-       case R_ALPHA_REFQUAD:
-         if (info->shared || maybe_dynamic)
-           need = NEED_DYNREL;
-         break;
+  /* The check_relocs and adjust_dynamic_symbol entry points have
+     determined the sizes of the various dynamic sections.  Allocate
+     memory for them.  */
+  relplt = FALSE;
+  for (s = dynobj->sections; s != NULL; s = s->next)
+    {
+      const char *name;
+      bfd_boolean strip;
 
-       case R_ALPHA_TLSLDM:
-         /* The symbol for a TLSLDM reloc is ignored.  Collapse the
-            reloc to the 0 symbol so that they all match.  */
-         r_symndx = 0;
-         h = 0;
-         maybe_dynamic = FALSE;
-         /* FALLTHRU */
+      if (!(s->flags & SEC_LINKER_CREATED))
+       continue;
 
-       case R_ALPHA_TLSGD:
-       case R_ALPHA_GOTDTPREL:
-         need = NEED_GOT | NEED_GOT_ENTRY;
-         break;
+      /* It's OK to base decisions on the section name, because none
+        of the dynobj section names depend upon the input files.  */
+      name = bfd_get_section_name (dynobj, s);
 
-       case R_ALPHA_GOTTPREL:
-         need = NEED_GOT | NEED_GOT_ENTRY;
-         gotent_flags = ALPHA_ELF_LINK_HASH_TLS_IE;
-         if (info->shared)
-           info->flags |= DF_STATIC_TLS;
-         break;
+      /* If we don't need this section, strip it from the output file.
+        This is to handle .rela.bss and .rela.plt.  We must create it
+        in create_dynamic_sections, because it must be created before
+        the linker maps input sections to output sections.  The
+        linker does that before adjust_dynamic_symbol is called, and
+        it is that function which decides whether anything needs to
+        go into these sections.  */
 
-       case R_ALPHA_TPREL64:
-         if (info->shared || maybe_dynamic)
-           need = NEED_DYNREL;
-         if (info->shared)
-           info->flags |= DF_STATIC_TLS;
-         break;
-       }
+      strip = FALSE;
 
-      if (need & NEED_GOT)
+      if (strncmp (name, ".rela", 5) == 0)
        {
-         if (!got_created)
-           {
-             if (!elf64_alpha_create_got_section (abfd, info))
-               return FALSE;
+         strip = (s->size == 0);
 
-             /* Make sure the object's gotobj is set to itself so
-                that we default to every object with its own .got.
-                We'll merge .gots later once we've collected each
-                object's info.  */
-             alpha_elf_tdata(abfd)->gotobj = abfd;
+         if (!strip)
+           {
+             if (strcmp(name, ".rela.plt") == 0)
+               relplt = TRUE;
 
-             got_created = 1;
+             /* We use the reloc_count field as a counter if we need
+                to copy relocs into the output file.  */
+             s->reloc_count = 0;
            }
        }
-
-      if (need & NEED_GOT_ENTRY)
+      else if (strcmp (name, ".plt") != 0)
        {
-         struct alpha_elf_got_entry *gotent;
+         /* It's not one of our dynamic sections, so don't allocate space.  */
+         continue;
+       }
 
-         gotent = get_got_entry (abfd, h, r_type, r_symndx, addend);
-         if (!gotent)
+      if (strip)
+       s->flags |= SEC_EXCLUDE;
+      else
+       {
+         /* Allocate memory for the section contents.  */
+         s->contents = (bfd_byte *) bfd_zalloc (dynobj, s->size);
+         if (s->contents == NULL && s->size != 0)
            return FALSE;
+       }
+    }
 
-         if (gotent_flags)
-           {
-             gotent->flags |= gotent_flags;
-             if (h)
-               {
-                 gotent_flags |= h->flags;
-                 h->flags = gotent_flags;
+  if (elf_hash_table (info)->dynamic_sections_created)
+    {
+      /* Add some entries to the .dynamic section.  We fill in the
+        values later, in elf64_alpha_finish_dynamic_sections, but we
+        must add the entries now so that we get the correct size for
+        the .dynamic section.  The DT_DEBUG entry is filled in by the
+        dynamic linker and used by the debugger.  */
+#define add_dynamic_entry(TAG, VAL) \
+  _bfd_elf_add_dynamic_entry (info, TAG, VAL)
 
-                 /* Make a guess as to whether a .plt entry is needed.  */
-                 if ((gotent_flags & ALPHA_ELF_LINK_HASH_LU_FUNC)
-                     && !(gotent_flags & ~ALPHA_ELF_LINK_HASH_LU_FUNC))
-                   h->root.needs_plt = 1;
-                 else
-                   h->root.needs_plt = 0;
-               }
-           }
+      if (info->executable)
+       {
+         if (!add_dynamic_entry (DT_DEBUG, 0))
+           return FALSE;
        }
 
-      if (need & NEED_DYNREL)
+      if (relplt)
        {
-         if (rel_sec_name == NULL)
-           {
-             rel_sec_name = (bfd_elf_string_from_elf_section
-                             (abfd, elf_elfheader(abfd)->e_shstrndx,
-                              elf_section_data(sec)->rel_hdr.sh_name));
-             if (rel_sec_name == NULL)
-               return FALSE;
-
-             BFD_ASSERT (strncmp (rel_sec_name, ".rela", 5) == 0
-                         && strcmp (bfd_get_section_name (abfd, sec),
-                                    rel_sec_name+5) == 0);
-           }
-
-         /* We need to create the section here now whether we eventually
-            use it or not so that it gets mapped to an output section by
-            the linker.  If not used, we'll kill it in
-            size_dynamic_sections.  */
-         if (sreloc == NULL)
-           {
-             sreloc = bfd_get_section_by_name (dynobj, rel_sec_name);
-             if (sreloc == NULL)
-               {
-                 flagword flags;
-
-                 flags = (SEC_HAS_CONTENTS | SEC_IN_MEMORY
-                          | SEC_LINKER_CREATED | SEC_READONLY);
-                 if (sec->flags & SEC_ALLOC)
-                   flags |= SEC_ALLOC | SEC_LOAD;
-                 sreloc = bfd_make_section_with_flags (dynobj,
-                                                       rel_sec_name,
-                                                       flags);
-                 if (sreloc == NULL
-                     || !bfd_set_section_alignment (dynobj, sreloc, 3))
-                   return FALSE;
-               }
-           }
-
-         if (h)
-           {
-             /* Since we havn't seen all of the input symbols yet, we
-                don't know whether we'll actually need a dynamic relocation
-                entry for this reloc.  So make a record of it.  Once we
-                find out if this thing needs dynamic relocation we'll
-                expand the relocation sections by the appropriate amount.  */
-
-             struct alpha_elf_reloc_entry *rent;
-
-             for (rent = h->reloc_entries; rent; rent = rent->next)
-               if (rent->rtype == r_type && rent->srel == sreloc)
-                 break;
-
-             if (!rent)
-               {
-                 amt = sizeof (struct alpha_elf_reloc_entry);
-                 rent = (struct alpha_elf_reloc_entry *) bfd_alloc (abfd, amt);
-                 if (!rent)
-                   return FALSE;
-
-                 rent->srel = sreloc;
-                 rent->rtype = r_type;
-                 rent->count = 1;
-                 rent->reltext = (sec->flags & SEC_READONLY) != 0;
+         if (!add_dynamic_entry (DT_PLTGOT, 0)
+             || !add_dynamic_entry (DT_PLTRELSZ, 0)
+             || !add_dynamic_entry (DT_PLTREL, DT_RELA)
+             || !add_dynamic_entry (DT_JMPREL, 0))
+           return FALSE;
+       }
 
-                 rent->next = h->reloc_entries;
-                 h->reloc_entries = rent;
-               }
-             else
-               rent->count++;
-           }
-         else if (info->shared)
-           {
-             /* If this is a shared library, and the section is to be
-                loaded into memory, we need a RELATIVE reloc.  */
-             sreloc->size += sizeof (Elf64_External_Rela);
-             if (sec->flags & SEC_READONLY)
-               info->flags |= DF_TEXTREL;
-           }
+      if (!add_dynamic_entry (DT_RELA, 0)
+         || !add_dynamic_entry (DT_RELASZ, 0)
+         || !add_dynamic_entry (DT_RELAENT, sizeof (Elf64_External_Rela)))
+       return FALSE;
+
+      if (info->flags & DF_TEXTREL)
+       {
+         if (!add_dynamic_entry (DT_TEXTREL, 0))
+           return FALSE;
        }
     }
+#undef add_dynamic_entry
 
   return TRUE;
 }
+\f
+/* These functions do relaxation for Alpha ELF.
 
-/* Adjust a symbol defined by a dynamic object and referenced by a
-   regular object.  The current definition is in some section of the
-   dynamic object, but we're not including those sections.  We have to
-   change the definition to something the rest of the link can
-   understand.  */
+   Currently I'm only handling what I can do with existing compiler
+   and assembler support, which means no instructions are removed,
+   though some may be nopped.  At this time GCC does not emit enough
+   information to do all of the relaxing that is possible.  It will
+   take some not small amount of work for that to happen.
 
-static bfd_boolean
-elf64_alpha_adjust_dynamic_symbol (info, h)
-     struct bfd_link_info *info;
-     struct elf_link_hash_entry *h;
-{
-  bfd *dynobj;
-  asection *s;
-  struct alpha_elf_link_hash_entry *ah;
+   There are a couple of interesting papers that I once read on this
+   subject, that I cannot find references to at the moment, that
+   related to Alpha in particular.  They are by David Wall, then of
+   DEC WRL.  */
 
-  dynobj = elf_hash_table(info)->dynobj;
-  ah = (struct alpha_elf_link_hash_entry *)h;
+#define OP_LDA         0x08
+#define OP_LDAH                0x09
+#define INSN_JSR       0x68004000
+#define INSN_JSR_MASK  0xfc00c000
+#define OP_LDQ         0x29
+#define OP_BR          0x30
+#define OP_BSR         0x34
+#define INSN_UNOP      0x2ffe0000
+#define INSN_ADDQ      0x40000400
+#define INSN_RDUNIQ    0x0000009e
 
-  /* Now that we've seen all of the input symbols, finalize our decision
-     about whether this symbol should get a .plt entry.  */
+struct alpha_relax_info
+{
+  bfd *abfd;
+  asection *sec;
+  bfd_byte *contents;
+  Elf_Internal_Shdr *symtab_hdr;
+  Elf_Internal_Rela *relocs, *relend;
+  struct bfd_link_info *link_info;
+  bfd_vma gp;
+  bfd *gotobj;
+  asection *tsec;
+  struct alpha_elf_link_hash_entry *h;
+  struct alpha_elf_got_entry **first_gotent;
+  struct alpha_elf_got_entry *gotent;
+  bfd_boolean changed_contents;
+  bfd_boolean changed_relocs;
+  unsigned char other;
+};
 
-  if (alpha_elf_dynamic_symbol_p (h, info)
-      && ((h->type == STT_FUNC
-          && !(ah->flags & ALPHA_ELF_LINK_HASH_LU_ADDR))
-         || (h->type == STT_NOTYPE
-             && (ah->flags & ALPHA_ELF_LINK_HASH_LU_FUNC)
-             && !(ah->flags & ~ALPHA_ELF_LINK_HASH_LU_FUNC)))
-      /* Don't prevent otherwise valid programs from linking by attempting
-        to create a new .got entry somewhere.  A Correct Solution would be
-        to add a new .got section to a new object file and let it be merged
-        somewhere later.  But for now don't bother.  */
-      && ah->got_entries)
+static Elf_Internal_Rela *
+elf64_alpha_find_reloc_at_ofs (Elf_Internal_Rela *rel,
+                              Elf_Internal_Rela *relend,
+                              bfd_vma offset, int type)
+{
+  while (rel < relend)
     {
-      h->needs_plt = 1;
+      if (rel->r_offset == offset
+         && ELF64_R_TYPE (rel->r_info) == (unsigned int) type)
+       return rel;
+      ++rel;
+    }
+  return NULL;
+}
 
-      s = bfd_get_section_by_name(dynobj, ".plt");
-      if (!s && !elf64_alpha_create_dynamic_sections (dynobj, info))
-       return FALSE;
+static bfd_boolean
+elf64_alpha_relax_got_load (struct alpha_relax_info *info, bfd_vma symval,
+                           Elf_Internal_Rela *irel, unsigned long r_type)
+{
+  unsigned int insn;
+  bfd_signed_vma disp;
 
-      /* The first bit of the .plt is reserved.  */
-      if (s->size == 0)
-       s->size = PLT_HEADER_SIZE;
+  /* Get the instruction.  */
+  insn = bfd_get_32 (info->abfd, info->contents + irel->r_offset);
 
-      h->plt.offset = s->size;
-      s->size += PLT_ENTRY_SIZE;
+  if (insn >> 26 != OP_LDQ)
+    {
+      reloc_howto_type *howto = elf64_alpha_howto_table + r_type;
+      ((*_bfd_error_handler)
+       ("%B: %A+0x%lx: warning: %s relocation against unexpected insn",
+       info->abfd, info->sec,
+       (unsigned long) irel->r_offset, howto->name));
+      return TRUE;
+    }
 
-      /* If this symbol is not defined in a regular file, and we are not
-        generating a shared library, then set the symbol to the location
-        in the .plt.  This is required to make function pointers compare
-        equal between the normal executable and the shared library.  */
-      if (! info->shared
-         && h->root.type != bfd_link_hash_defweak)
-       {
-         ah->plt_old_section = h->root.u.def.section;
-         ah->plt_old_value = h->root.u.def.value;
-         ah->flags |= ALPHA_ELF_LINK_HASH_PLT_LOC;
-         h->root.u.def.section = s;
-         h->root.u.def.value = h->plt.offset;
-       }
+  /* Can't relax dynamic symbols.  */
+  if (alpha_elf_dynamic_symbol_p (&info->h->root, info->link_info))
+    return TRUE;
 
-      /* We also need a JMP_SLOT entry in the .rela.plt section.  */
-      s = bfd_get_section_by_name (dynobj, ".rela.plt");
-      BFD_ASSERT (s != NULL);
-      s->size += sizeof (Elf64_External_Rela);
+  /* Can't use local-exec relocations in shared libraries.  */
+  if (r_type == R_ALPHA_GOTTPREL && info->link_info->shared)
+    return TRUE;
 
-      return TRUE;
+  if (r_type == R_ALPHA_LITERAL)
+    {
+      /* Look for nice constant addresses.  This includes the not-uncommon
+        special case of 0 for undefweak symbols.  */
+      if ((info->h && info->h->root.root.type == bfd_link_hash_undefweak)
+         || (!info->link_info->shared
+             && (symval >= (bfd_vma)-0x8000 || symval < 0x8000)))
+       {
+         disp = 0;
+         insn = (OP_LDA << 26) | (insn & (31 << 21)) | (31 << 16);
+         insn |= (symval & 0xffff);
+         r_type = R_ALPHA_NONE;
+       }
+      else
+       {
+         disp = symval - info->gp;
+         insn = (OP_LDA << 26) | (insn & 0x03ff0000);
+         r_type = R_ALPHA_GPREL16;
+       }
     }
   else
-    h->needs_plt = 0;
-
-  /* If this is a weak symbol, and there is a real definition, the
-     processor independent code will have arranged for us to see the
-     real definition first, and we can just use the same value.  */
-  if (h->u.weakdef != NULL)
     {
-      BFD_ASSERT (h->u.weakdef->root.type == bfd_link_hash_defined
-                 || h->u.weakdef->root.type == bfd_link_hash_defweak);
-      h->root.u.def.section = h->u.weakdef->root.u.def.section;
-      h->root.u.def.value = h->u.weakdef->root.u.def.value;
-      return TRUE;
-    }
-
-  /* This is a reference to a symbol defined by a dynamic object which
-     is not a function.  The Alpha, since it uses .got entries for all
-     symbols even in regular objects, does not need the hackery of a
-     .dynbss section and COPY dynamic relocations.  */
+      bfd_vma dtp_base, tp_base;
 
-  return TRUE;
-}
+      BFD_ASSERT (elf_hash_table (info->link_info)->tls_sec != NULL);
+      dtp_base = alpha_get_dtprel_base (info->link_info);
+      tp_base = alpha_get_tprel_base (info->link_info);
+      disp = symval - (r_type == R_ALPHA_GOTDTPREL ? dtp_base : tp_base);
 
-/* Symbol versioning can create new symbols, and make our old symbols
-   indirect to the new ones.  Consolidate the got and reloc information
-   in these situations.  */
+      insn = (OP_LDA << 26) | (insn & (31 << 21)) | (31 << 16);
 
-static bfd_boolean
-elf64_alpha_merge_ind_symbols (hi, dummy)
-     struct alpha_elf_link_hash_entry *hi;
-     PTR dummy ATTRIBUTE_UNUSED;
-{
-  struct alpha_elf_link_hash_entry *hs;
+      switch (r_type)
+       {
+       case R_ALPHA_GOTDTPREL:
+         r_type = R_ALPHA_DTPREL16;
+         break;
+       case R_ALPHA_GOTTPREL:
+         r_type = R_ALPHA_TPREL16;
+         break;
+       default:
+         BFD_ASSERT (0);
+         return FALSE;
+       }
+    }
 
-  if (hi->root.root.type != bfd_link_hash_indirect)
+  if (disp < -0x8000 || disp >= 0x8000)
     return TRUE;
-  hs = hi;
-  do {
-    hs = (struct alpha_elf_link_hash_entry *)hs->root.root.u.i.link;
-  } while (hs->root.root.type == bfd_link_hash_indirect);
-
-  /* Merge the flags.  Whee.  */
-
-  hs->flags |= hi->flags;
 
-  /* Merge the .got entries.  Cannibalize the old symbol's list in
-     doing so, since we don't need it anymore.  */
+  bfd_put_32 (info->abfd, (bfd_vma) insn, info->contents + irel->r_offset);
+  info->changed_contents = TRUE;
 
-  if (hs->got_entries == NULL)
-    hs->got_entries = hi->got_entries;
-  else
+  /* Reduce the use count on this got entry by one, possibly
+     eliminating it.  */
+  if (--info->gotent->use_count == 0)
     {
-      struct alpha_elf_got_entry *gi, *gs, *gin, *gsh;
-
-      gsh = hs->got_entries;
-      for (gi = hi->got_entries; gi ; gi = gin)
-       {
-         gin = gi->next;
-         for (gs = gsh; gs ; gs = gs->next)
-           if (gi->gotobj == gs->gotobj
-               && gi->reloc_type == gs->reloc_type
-               && gi->addend == gs->addend)
-             {
-               gi->use_count += gs->use_count;
-               goto got_found;
-             }
-         gi->next = hs->got_entries;
-         hs->got_entries = gi;
-       got_found:;
-       }
+      int sz = alpha_got_entry_size (r_type);
+      alpha_elf_tdata (info->gotobj)->total_got_size -= sz;
+      if (!info->h)
+       alpha_elf_tdata (info->gotobj)->local_got_size -= sz;
     }
-  hi->got_entries = NULL;
 
-  /* And similar for the reloc entries.  */
+  /* Smash the existing GOT relocation for its 16-bit immediate pair.  */
+  irel->r_info = ELF64_R_INFO (ELF64_R_SYM (irel->r_info), r_type);
+  info->changed_relocs = TRUE;
+
+  /* ??? Search forward through this basic block looking for insns
+     that use the target register.  Stop after an insn modifying the
+     register is seen, or after a branch or call.
 
-  if (hs->reloc_entries == NULL)
-    hs->reloc_entries = hi->reloc_entries;
-  else
-    {
-      struct alpha_elf_reloc_entry *ri, *rs, *rin, *rsh;
+     Any such memory load insn may be substituted by a load directly
+     off the GP.  This allows the memory load insn to be issued before
+     the calculated GP register would otherwise be ready.
 
-      rsh = hs->reloc_entries;
-      for (ri = hi->reloc_entries; ri ; ri = rin)
-       {
-         rin = ri->next;
-         for (rs = rsh; rs ; rs = rs->next)
-           if (ri->rtype == rs->rtype && ri->srel == rs->srel)
-             {
-               rs->count += ri->count;
-               goto found_reloc;
-             }
-         ri->next = hs->reloc_entries;
-         hs->reloc_entries = ri;
-       found_reloc:;
-       }
-    }
-  hi->reloc_entries = NULL;
+     Any such jsr insn can be replaced by a bsr if it is in range.
+
+     This would mean that we'd have to _add_ relocations, the pain of
+     which gives one pause.  */
 
   return TRUE;
 }
 
-/* Is it possible to merge two object file's .got tables?  */
-
-static bfd_boolean
-elf64_alpha_can_merge_gots (a, b)
-     bfd *a, *b;
+static bfd_vma
+elf64_alpha_relax_opt_call (struct alpha_relax_info *info, bfd_vma symval)
 {
-  int total = alpha_elf_tdata (a)->total_got_size;
-  bfd *bsub;
+  /* If the function has the same gp, and we can identify that the
+     function does not use its function pointer, we can eliminate the
+     address load.  */
 
-  /* Trivial quick fallout test.  */
-  if (total + alpha_elf_tdata (b)->total_got_size <= MAX_GOT_SIZE)
-    return TRUE;
+  /* If the symbol is marked NOPV, we are being told the function never
+     needs its procedure value.  */
+  if ((info->other & STO_ALPHA_STD_GPLOAD) == STO_ALPHA_NOPV)
+    return symval;
 
-  /* By their nature, local .got entries cannot be merged.  */
-  if ((total += alpha_elf_tdata (b)->local_got_size) > MAX_GOT_SIZE)
-    return FALSE;
+  /* If the symbol is marked STD_GP, we are being told the function does
+     a normal ldgp in the first two words.  */
+  else if ((info->other & STO_ALPHA_STD_GPLOAD) == STO_ALPHA_STD_GPLOAD)
+    ;
 
-  /* Failing the common trivial comparison, we must effectively
-     perform the merge.  Not actually performing the merge means that
-     we don't have to store undo information in case we fail.  */
-  for (bsub = b; bsub ; bsub = alpha_elf_tdata (bsub)->in_got_link_next)
+  /* Otherwise, we may be able to identify a GP load in the first two
+     words, which we can then skip.  */
+  else
     {
-      struct alpha_elf_link_hash_entry **hashes = alpha_elf_sym_hashes (bsub);
-      Elf_Internal_Shdr *symtab_hdr = &elf_tdata (bsub)->symtab_hdr;
-      int i, n;
+      Elf_Internal_Rela *tsec_relocs, *tsec_relend, *tsec_free, *gpdisp;
+      bfd_vma ofs;
 
-      n = NUM_SHDR_ENTRIES (symtab_hdr) - symtab_hdr->sh_info;
-      for (i = 0; i < n; ++i)
+      /* Load the relocations from the section that the target symbol is in.  */
+      if (info->sec == info->tsec)
        {
-         struct alpha_elf_got_entry *ae, *be;
-         struct alpha_elf_link_hash_entry *h;
-
-         h = hashes[i];
-         while (h->root.root.type == bfd_link_hash_indirect
-                || h->root.root.type == bfd_link_hash_warning)
-           h = (struct alpha_elf_link_hash_entry *)h->root.root.u.i.link;
+         tsec_relocs = info->relocs;
+         tsec_relend = info->relend;
+         tsec_free = NULL;
+       }
+      else
+       {
+         tsec_relocs = (_bfd_elf_link_read_relocs
+                        (info->abfd, info->tsec, (PTR) NULL,
+                        (Elf_Internal_Rela *) NULL,
+                        info->link_info->keep_memory));
+         if (tsec_relocs == NULL)
+           return 0;
+         tsec_relend = tsec_relocs + info->tsec->reloc_count;
+         tsec_free = (info->link_info->keep_memory ? NULL : tsec_relocs);
+       }
 
-         for (be = h->got_entries; be ; be = be->next)
-           {
-             if (be->use_count == 0)
-               continue;
-             if (be->gotobj != b)
-               continue;
+      /* Recover the symbol's offset within the section.  */
+      ofs = (symval - info->tsec->output_section->vma
+            - info->tsec->output_offset);
 
-             for (ae = h->got_entries; ae ; ae = ae->next)
-               if (ae->gotobj == a
-                   && ae->reloc_type == be->reloc_type
-                   && ae->addend == be->addend)
-                 goto global_found;
+      /* Look for a GPDISP reloc.  */
+      gpdisp = (elf64_alpha_find_reloc_at_ofs
+               (tsec_relocs, tsec_relend, ofs, R_ALPHA_GPDISP));
 
-             total += alpha_got_entry_size (be->reloc_type);
-             if (total > MAX_GOT_SIZE)
-               return FALSE;
-           global_found:;
-           }
+      if (!gpdisp || gpdisp->r_addend != 4)
+       {
+         if (tsec_free)
+           free (tsec_free);
+         return 0;
        }
+      if (tsec_free)
+        free (tsec_free);
     }
 
-  return TRUE;
-}
+  /* We've now determined that we can skip an initial gp load.  Verify
+     that the call and the target use the same gp.   */
+  if (info->link_info->hash->creator != info->tsec->owner->xvec
+      || info->gotobj != alpha_elf_tdata (info->tsec->owner)->gotobj)
+    return 0;
 
-/* Actually merge two .got tables.  */
+  return symval + 8;
+}
 
-static void
-elf64_alpha_merge_gots (a, b)
-     bfd *a, *b;
+static bfd_boolean
+elf64_alpha_relax_with_lituse (struct alpha_relax_info *info,
+                              bfd_vma symval, Elf_Internal_Rela *irel)
 {
-  int total = alpha_elf_tdata (a)->total_got_size;
-  bfd *bsub;
+  Elf_Internal_Rela *urel, *irelend = info->relend;
+  int flags, count, i;
+  bfd_signed_vma disp;
+  bfd_boolean fits16;
+  bfd_boolean fits32;
+  bfd_boolean lit_reused = FALSE;
+  bfd_boolean all_optimized = TRUE;
+  unsigned int lit_insn;
 
-  /* Remember local expansion.  */
-  {
-    int e = alpha_elf_tdata (b)->local_got_size;
-    total += e;
-    alpha_elf_tdata (a)->local_got_size += e;
-  }
+  lit_insn = bfd_get_32 (info->abfd, info->contents + irel->r_offset);
+  if (lit_insn >> 26 != OP_LDQ)
+    {
+      ((*_bfd_error_handler)
+       ("%B: %A+0x%lx: warning: LITERAL relocation against unexpected insn",
+       info->abfd, info->sec,
+       (unsigned long) irel->r_offset));
+      return TRUE;
+    }
 
-  for (bsub = b; bsub ; bsub = alpha_elf_tdata (bsub)->in_got_link_next)
+  /* Can't relax dynamic symbols.  */
+  if (alpha_elf_dynamic_symbol_p (&info->h->root, info->link_info))
+    return TRUE;
+
+  /* Summarize how this particular LITERAL is used.  */
+  for (urel = irel+1, flags = count = 0; urel < irelend; ++urel, ++count)
     {
-      struct alpha_elf_got_entry **local_got_entries;
-      struct alpha_elf_link_hash_entry **hashes;
-      Elf_Internal_Shdr *symtab_hdr;
-      int i, n;
+      if (ELF64_R_TYPE (urel->r_info) != R_ALPHA_LITUSE)
+       break;
+      if (urel->r_addend <= 3)
+       flags |= 1 << urel->r_addend;
+    }
 
-      /* Let the local .got entries know they are part of a new subsegment.  */
-      local_got_entries = alpha_elf_tdata (bsub)->local_got_entries;
-      if (local_got_entries)
-        {
-         n = elf_tdata (bsub)->symtab_hdr.sh_info;
-         for (i = 0; i < n; ++i)
-           {
-             struct alpha_elf_got_entry *ent;
-             for (ent = local_got_entries[i]; ent; ent = ent->next)
-               ent->gotobj = a;
-           }
-        }
+  /* A little preparation for the loop...  */
+  disp = symval - info->gp;
 
-      /* Merge the global .got entries.  */
-      hashes = alpha_elf_sym_hashes (bsub);
-      symtab_hdr = &elf_tdata (bsub)->symtab_hdr;
+  for (urel = irel+1, i = 0; i < count; ++i, ++urel)
+    {
+      unsigned int insn;
+      int insn_disp;
+      bfd_signed_vma xdisp;
 
-      n = NUM_SHDR_ENTRIES (symtab_hdr) - symtab_hdr->sh_info;
-      for (i = 0; i < n; ++i)
-        {
-         struct alpha_elf_got_entry *ae, *be, **pbe, **start;
-         struct alpha_elf_link_hash_entry *h;
+      insn = bfd_get_32 (info->abfd, info->contents + urel->r_offset);
 
-         h = hashes[i];
-         while (h->root.root.type == bfd_link_hash_indirect
-                || h->root.root.type == bfd_link_hash_warning)
-           h = (struct alpha_elf_link_hash_entry *)h->root.root.u.i.link;
+      switch (urel->r_addend)
+       {
+       case LITUSE_ALPHA_ADDR:
+       default:
+         /* This type is really just a placeholder to note that all
+            uses cannot be optimized, but to still allow some.  */
+         all_optimized = FALSE;
+         break;
 
-         pbe = start = &h->got_entries;
-         while ((be = *pbe) != NULL)
-           {
-             if (be->use_count == 0)
-               {
-                 *pbe = be->next;
-                 memset (be, 0xa5, sizeof (*be));
-                 goto kill;
-               }
-             if (be->gotobj != b)
-               goto next;
+       case LITUSE_ALPHA_BASE:
+         /* We can always optimize 16-bit displacements.  */
 
-             for (ae = *start; ae ; ae = ae->next)
-               if (ae->gotobj == a
-                   && ae->reloc_type == be->reloc_type
-                   && ae->addend == be->addend)
-                 {
-                   ae->flags |= be->flags;
-                   ae->use_count += be->use_count;
-                   *pbe = be->next;
-                   memset (be, 0xa5, sizeof (*be));
-                   goto kill;
-                 }
-             be->gotobj = a;
-             total += alpha_got_entry_size (be->reloc_type);
+         /* Extract the displacement from the instruction, sign-extending
+            it if necessary, then test whether it is within 16 or 32 bits
+            displacement from GP.  */
+         insn_disp = ((insn & 0xffff) ^ 0x8000) - 0x8000;
+
+         xdisp = disp + insn_disp;
+         fits16 = (xdisp >= - (bfd_signed_vma) 0x8000 && xdisp < 0x8000);
+         fits32 = (xdisp >= - (bfd_signed_vma) 0x80000000
+                   && xdisp < 0x7fff8000);
+
+         if (fits16)
+           {
+             /* Take the op code and dest from this insn, take the base
+                register from the literal insn.  Leave the offset alone.  */
+             insn = (insn & 0xffe0ffff) | (lit_insn & 0x001f0000);
+             urel->r_info = ELF64_R_INFO (ELF64_R_SYM (irel->r_info),
+                                          R_ALPHA_GPREL16);
+             urel->r_addend = irel->r_addend;
+             info->changed_relocs = TRUE;
 
-           next:;
-             pbe = &be->next;
-           kill:;
+             bfd_put_32 (info->abfd, (bfd_vma) insn,
+                         info->contents + urel->r_offset);
+             info->changed_contents = TRUE;
            }
-        }
 
-      alpha_elf_tdata (bsub)->gotobj = a;
-    }
-  alpha_elf_tdata (a)->total_got_size = total;
+         /* If all mem+byte, we can optimize 32-bit mem displacements.  */
+         else if (fits32 && !(flags & ~6))
+           {
+             /* FIXME: sanity check that lit insn Ra is mem insn Rb.  */
 
-  /* Merge the two in_got chains.  */
-  {
-    bfd *next;
+             irel->r_info = ELF64_R_INFO (ELF64_R_SYM (irel->r_info),
+                                          R_ALPHA_GPRELHIGH);
+             lit_insn = (OP_LDAH << 26) | (lit_insn & 0x03ff0000);
+             bfd_put_32 (info->abfd, (bfd_vma) lit_insn,
+                         info->contents + irel->r_offset);
+             lit_reused = TRUE;
+             info->changed_contents = TRUE;
 
-    bsub = a;
-    while ((next = alpha_elf_tdata (bsub)->in_got_link_next) != NULL)
-      bsub = next;
+             urel->r_info = ELF64_R_INFO (ELF64_R_SYM (irel->r_info),
+                                          R_ALPHA_GPRELLOW);
+             urel->r_addend = irel->r_addend;
+             info->changed_relocs = TRUE;
+           }
+         else
+           all_optimized = FALSE;
+         break;
 
-    alpha_elf_tdata (bsub)->in_got_link_next = b;
-  }
-}
+       case LITUSE_ALPHA_BYTOFF:
+         /* We can always optimize byte instructions.  */
 
-/* Calculate the offsets for the got entries.  */
+         /* FIXME: sanity check the insn for byte op.  Check that the
+            literal dest reg is indeed Rb in the byte insn.  */
 
-static bfd_boolean
-elf64_alpha_calc_got_offsets_for_symbol (h, arg)
-     struct alpha_elf_link_hash_entry *h;
-     PTR arg ATTRIBUTE_UNUSED;
-{
-  bfd_boolean result = TRUE;
-  struct alpha_elf_got_entry *gotent;
+         insn &= ~ (unsigned) 0x001ff000;
+         insn |= ((symval & 7) << 13) | 0x1000;
 
-  if (h->root.root.type == bfd_link_hash_warning)
-    h = (struct alpha_elf_link_hash_entry *) h->root.root.u.i.link;
+         urel->r_info = ELF64_R_INFO (0, R_ALPHA_NONE);
+         urel->r_addend = 0;
+         info->changed_relocs = TRUE;
 
-  for (gotent = h->got_entries; gotent; gotent = gotent->next)
-    if (gotent->use_count > 0)
-      {
-       struct alpha_elf_obj_tdata *td;
-       bfd_size_type *plge;
+         bfd_put_32 (info->abfd, (bfd_vma) insn,
+                     info->contents + urel->r_offset);
+         info->changed_contents = TRUE;
+         break;
 
-       td = alpha_elf_tdata (gotent->gotobj);
-       if (td == NULL)
+       case LITUSE_ALPHA_JSR:
+       case LITUSE_ALPHA_TLSGD:
+       case LITUSE_ALPHA_TLSLDM:
          {
-           _bfd_error_handler (_("Symbol %s has no GOT subsection for offset 0x%x"),
-                               h->root.root.root.string, gotent->got_offset);
-           result = FALSE;
-           continue;
-         }
-       plge = &td->got->size;
-       gotent->got_offset = *plge;
-       *plge += alpha_got_entry_size (gotent->reloc_type);
-      }
-
-  return result;
-}
-
-static void
-elf64_alpha_calc_got_offsets (info)
-     struct bfd_link_info *info;
-{
-  bfd *i, *got_list = alpha_elf_hash_table(info)->got_list;
-
-  /* First, zero out the .got sizes, as we may be recalculating the
-     .got after optimizing it.  */
-  for (i = got_list; i ; i = alpha_elf_tdata(i)->got_link_next)
-    alpha_elf_tdata(i)->got->size = 0;
+           bfd_vma optdest, org;
+           bfd_signed_vma odisp;
 
-  /* Next, fill in the offsets for all the global entries.  */
-  alpha_elf_link_hash_traverse (alpha_elf_hash_table (info),
-                               elf64_alpha_calc_got_offsets_for_symbol,
-                               NULL);
+           /* For undefined weak symbols, we're mostly interested in getting
+              rid of the got entry whenever possible, so optimize this to a
+              use of the zero register.  */
+           if (info->h && info->h->root.root.type == bfd_link_hash_undefweak)
+             {
+               insn |= 31 << 16;
+               bfd_put_32 (info->abfd, (bfd_vma) insn,
+                           info->contents + urel->r_offset);
 
-  /* Finally, fill in the offsets for the local entries.  */
-  for (i = got_list; i ; i = alpha_elf_tdata(i)->got_link_next)
-    {
-      bfd_size_type got_offset = alpha_elf_tdata(i)->got->size;
-      bfd *j;
+               info->changed_contents = TRUE;
+               break;
+             }
 
-      for (j = i; j ; j = alpha_elf_tdata(j)->in_got_link_next)
-       {
-         struct alpha_elf_got_entry **local_got_entries, *gotent;
-         int k, n;
+           /* If not zero, place to jump without needing pv.  */
+           optdest = elf64_alpha_relax_opt_call (info, symval);
+           org = (info->sec->output_section->vma
+                  + info->sec->output_offset
+                  + urel->r_offset + 4);
+           odisp = (optdest ? optdest : symval) - org;
 
-         local_got_entries = alpha_elf_tdata(j)->local_got_entries;
-         if (!local_got_entries)
-           continue;
+           if (odisp >= -0x400000 && odisp < 0x400000)
+             {
+               Elf_Internal_Rela *xrel;
 
-         for (k = 0, n = elf_tdata(j)->symtab_hdr.sh_info; k < n; ++k)
-           for (gotent = local_got_entries[k]; gotent; gotent = gotent->next)
-             if (gotent->use_count > 0)
-               {
-                 gotent->got_offset = got_offset;
-                 got_offset += alpha_got_entry_size (gotent->reloc_type);
-               }
-       }
+               /* Preserve branch prediction call stack when possible.  */
+               if ((insn & INSN_JSR_MASK) == INSN_JSR)
+                 insn = (OP_BSR << 26) | (insn & 0x03e00000);
+               else
+                 insn = (OP_BR << 26) | (insn & 0x03e00000);
 
-      alpha_elf_tdata(i)->got->size = got_offset;
-    }
-}
+               urel->r_info = ELF64_R_INFO (ELF64_R_SYM (irel->r_info),
+                                            R_ALPHA_BRADDR);
+               urel->r_addend = irel->r_addend;
 
-/* Constructs the gots.  */
+               if (optdest)
+                 urel->r_addend += optdest - symval;
+               else
+                 all_optimized = FALSE;
 
-static bfd_boolean
-elf64_alpha_size_got_sections (info)
-     struct bfd_link_info *info;
-{
-  bfd *i, *got_list, *cur_got_obj = NULL;
-  int something_changed = 0;
+               bfd_put_32 (info->abfd, (bfd_vma) insn,
+                           info->contents + urel->r_offset);
 
-  got_list = alpha_elf_hash_table (info)->got_list;
+               /* Kill any HINT reloc that might exist for this insn.  */
+               xrel = (elf64_alpha_find_reloc_at_ofs
+                       (info->relocs, info->relend, urel->r_offset,
+                        R_ALPHA_HINT));
+               if (xrel)
+                 xrel->r_info = ELF64_R_INFO (0, R_ALPHA_NONE);
 
-  /* On the first time through, pretend we have an existing got list
-     consisting of all of the input files.  */
-  if (got_list == NULL)
-    {
-      for (i = info->input_bfds; i ; i = i->link_next)
-       {
-         bfd *this_got = alpha_elf_tdata (i)->gotobj;
-         if (this_got == NULL)
-           continue;
+               info->changed_contents = TRUE;
+               info->changed_relocs = TRUE;
+             }
+           else
+             all_optimized = FALSE;
 
-         /* We are assuming no merging has yet occurred.  */
-         BFD_ASSERT (this_got == i);
+           /* Even if the target is not in range for a direct branch,
+              if we share a GP, we can eliminate the gp reload.  */
+           if (optdest)
+             {
+               Elf_Internal_Rela *gpdisp
+                 = (elf64_alpha_find_reloc_at_ofs
+                    (info->relocs, irelend, urel->r_offset + 4,
+                     R_ALPHA_GPDISP));
+               if (gpdisp)
+                 {
+                   bfd_byte *p_ldah = info->contents + gpdisp->r_offset;
+                   bfd_byte *p_lda = p_ldah + gpdisp->r_addend;
+                   unsigned int ldah = bfd_get_32 (info->abfd, p_ldah);
+                   unsigned int lda = bfd_get_32 (info->abfd, p_lda);
 
-          if (alpha_elf_tdata (this_got)->total_got_size > MAX_GOT_SIZE)
-           {
-             /* Yikes! A single object file has too many entries.  */
-             (*_bfd_error_handler)
-               (_("%B: .got subsegment exceeds 64K (size %d)"),
-                i, alpha_elf_tdata (this_got)->total_got_size);
-             return FALSE;
-           }
+                   /* Verify that the instruction is "ldah $29,0($26)".
+                      Consider a function that ends in a noreturn call,
+                      and that the next function begins with an ldgp,
+                      and that by accident there is no padding between.
+                      In that case the insn would use $27 as the base.  */
+                   if (ldah == 0x27ba0000 && lda == 0x23bd0000)
+                     {
+                       bfd_put_32 (info->abfd, (bfd_vma) INSN_UNOP, p_ldah);
+                       bfd_put_32 (info->abfd, (bfd_vma) INSN_UNOP, p_lda);
 
-         if (got_list == NULL)
-           got_list = this_got;
-         else
-           alpha_elf_tdata(cur_got_obj)->got_link_next = this_got;
-         cur_got_obj = this_got;
+                       gpdisp->r_info = ELF64_R_INFO (0, R_ALPHA_NONE);
+                       info->changed_contents = TRUE;
+                       info->changed_relocs = TRUE;
+                     }
+                 }
+             }
+         }
+         break;
        }
-
-      /* Strange degenerate case of no got references.  */
-      if (got_list == NULL)
-       return TRUE;
-
-      alpha_elf_hash_table (info)->got_list = got_list;
-
-      /* Force got offsets to be recalculated.  */
-      something_changed = 1;
     }
 
-  cur_got_obj = got_list;
-  i = alpha_elf_tdata(cur_got_obj)->got_link_next;
-  while (i != NULL)
+  /* If all cases were optimized, we can reduce the use count on this
+     got entry by one, possibly eliminating it.  */
+  if (all_optimized)
     {
-      if (elf64_alpha_can_merge_gots (cur_got_obj, i))
+      if (--info->gotent->use_count == 0)
        {
-         elf64_alpha_merge_gots (cur_got_obj, i);
-
-         alpha_elf_tdata(i)->got->size = 0;
-         i = alpha_elf_tdata(i)->got_link_next;
-         alpha_elf_tdata(cur_got_obj)->got_link_next = i;
-         
-         something_changed = 1;
+         int sz = alpha_got_entry_size (R_ALPHA_LITERAL);
+         alpha_elf_tdata (info->gotobj)->total_got_size -= sz;
+         if (!info->h)
+           alpha_elf_tdata (info->gotobj)->local_got_size -= sz;
        }
-      else
+
+      /* If the literal instruction is no longer needed (it may have been
+        reused.  We can eliminate it.  */
+      /* ??? For now, I don't want to deal with compacting the section,
+        so just nop it out.  */
+      if (!lit_reused)
        {
-         cur_got_obj = i;
-         i = alpha_elf_tdata(i)->got_link_next;
-       }
-    }
+         irel->r_info = ELF64_R_INFO (0, R_ALPHA_NONE);
+         info->changed_relocs = TRUE;
 
-  /* Once the gots have been merged, fill in the got offsets for
-     everything therein.  */
-  if (1 || something_changed)
-    elf64_alpha_calc_got_offsets (info);
+         bfd_put_32 (info->abfd, (bfd_vma) INSN_UNOP,
+                     info->contents + irel->r_offset);
+         info->changed_contents = TRUE;
+       }
 
-  return TRUE;
+      return TRUE;
+    }
+  else
+    return elf64_alpha_relax_got_load (info, symval, irel, R_ALPHA_LITERAL);
 }
 
-/* Called from relax_section to rebuild the PLT in light of
-   potential changes in the function's status.  */
-
 static bfd_boolean
-elf64_alpha_size_plt_section (info)
-     struct bfd_link_info *info;
+elf64_alpha_relax_tls_get_addr (struct alpha_relax_info *info, bfd_vma symval,
+                               Elf_Internal_Rela *irel, bfd_boolean is_gd)
 {
-  asection *splt, *spltrel;
-  unsigned long entries;
-  bfd *dynobj;
-
-  dynobj = elf_hash_table(info)->dynobj;
-  splt = bfd_get_section_by_name(dynobj, ".plt");
-  if (splt == NULL)
-    return TRUE;
+  bfd_byte *pos[5];
+  unsigned int insn;
+  Elf_Internal_Rela *gpdisp, *hint;
+  bfd_boolean dynamic, use_gottprel, pos1_unusable;
+  unsigned long new_symndx;
 
-  splt->size = 0;
+  dynamic = alpha_elf_dynamic_symbol_p (&info->h->root, info->link_info);
 
-  alpha_elf_link_hash_traverse (alpha_elf_hash_table (info),
-                               elf64_alpha_size_plt_section_1, splt);
+  /* If a TLS symbol is accessed using IE at least once, there is no point
+     to use dynamic model for it.  */
+  if (is_gd && info->h && (info->h->flags & ALPHA_ELF_LINK_HASH_TLS_IE))
+    ;
 
-  /* Every plt entry requires a JMP_SLOT relocation.  */
-  spltrel = bfd_get_section_by_name (dynobj, ".rela.plt");
-  if (splt->size)
-    entries = (splt->size - PLT_HEADER_SIZE) / PLT_ENTRY_SIZE;
-  else
-    entries = 0;
-  spltrel->size = entries * sizeof (Elf64_External_Rela);
+  /* If the symbol is local, and we've already committed to DF_STATIC_TLS,
+     then we might as well relax to IE.  */
+  else if (info->link_info->shared && !dynamic
+          && (info->link_info->flags & DF_STATIC_TLS))
+    ;
 
-  return TRUE;
-}
+  /* Otherwise we must be building an executable to do anything.  */
+  else if (info->link_info->shared)
+    return TRUE;
 
-static bfd_boolean
-elf64_alpha_size_plt_section_1 (h, data)
-     struct alpha_elf_link_hash_entry *h;
-     PTR data;
-{
-  asection *splt = (asection *) data;
-  struct alpha_elf_got_entry *gotent;
+  /* The TLSGD/TLSLDM relocation must be followed by a LITERAL and
+     the matching LITUSE_TLS relocations.  */
+  if (irel + 2 >= info->relend)
+    return TRUE;
+  if (ELF64_R_TYPE (irel[1].r_info) != R_ALPHA_LITERAL
+      || ELF64_R_TYPE (irel[2].r_info) != R_ALPHA_LITUSE
+      || irel[2].r_addend != (is_gd ? LITUSE_ALPHA_TLSGD : LITUSE_ALPHA_TLSLDM))
+    return TRUE;
 
-  /* If we didn't need an entry before, we still don't.  */
-  if (!h->root.needs_plt)
+  /* There must be a GPDISP relocation positioned immediately after the
+     LITUSE relocation.  */
+  gpdisp = elf64_alpha_find_reloc_at_ofs (info->relocs, info->relend,
+                                         irel[2].r_offset + 4, R_ALPHA_GPDISP);
+  if (!gpdisp)
     return TRUE;
 
-  /* There must still be a LITERAL got entry for the function.  */
-  for (gotent = h->got_entries; gotent ; gotent = gotent->next)
-    if (gotent->reloc_type == R_ALPHA_LITERAL
-       && gotent->use_count > 0)
-      break;
+  pos[0] = info->contents + irel[0].r_offset;
+  pos[1] = info->contents + irel[1].r_offset;
+  pos[2] = info->contents + irel[2].r_offset;
+  pos[3] = info->contents + gpdisp->r_offset;
+  pos[4] = pos[3] + gpdisp->r_addend;
+  pos1_unusable = FALSE;
 
-  /* If there is, reset the PLT offset.  If not, there's no longer
-     a need for the PLT entry.  */
-  if (gotent)
+  /* Generally, the positions are not allowed to be out of order, lest the
+     modified insn sequence have different register lifetimes.  We can make
+     an exception when pos 1 is adjacent to pos 0.  */
+  if (pos[1] + 4 == pos[0])
     {
-      if (splt->size == 0)
-       splt->size = PLT_HEADER_SIZE;
-      h->root.plt.offset = splt->size;
-      splt->size += PLT_ENTRY_SIZE;
+      bfd_byte *tmp = pos[0];
+      pos[0] = pos[1];
+      pos[1] = tmp;
     }
-  else
-    {
-      h->root.needs_plt = 0;
-      h->root.plt.offset = -1;
+  else if (pos[1] < pos[0])
+    pos1_unusable = TRUE;
+  if (pos[1] >= pos[2] || pos[2] >= pos[3])
+    return TRUE;
 
-      /* Undo the definition frobbing begun in adjust_dynamic_symbol.  */
-      if (h->flags & ALPHA_ELF_LINK_HASH_PLT_LOC)
-       {
-         h->root.root.u.def.section = h->plt_old_section;
-         h->root.root.u.def.value = h->plt_old_value;
-         h->flags &= ~ALPHA_ELF_LINK_HASH_PLT_LOC;
-       }
-    }
+  /* Reduce the use count on the LITERAL relocation.  Do this before we
+     smash the symndx when we adjust the relocations below.  */
+  {
+    struct alpha_elf_got_entry *lit_gotent;
+    struct alpha_elf_link_hash_entry *lit_h;
+    unsigned long indx;
 
-  return TRUE;
-}
+    BFD_ASSERT (ELF64_R_SYM (irel[1].r_info) >= info->symtab_hdr->sh_info);
+    indx = ELF64_R_SYM (irel[1].r_info) - info->symtab_hdr->sh_info;
+    lit_h = alpha_elf_sym_hashes (info->abfd)[indx];
 
-static bfd_boolean
-elf64_alpha_always_size_sections (output_bfd, info)
-     bfd *output_bfd ATTRIBUTE_UNUSED;
-     struct bfd_link_info *info;
-{
-  bfd *i;
+    while (lit_h->root.root.type == bfd_link_hash_indirect
+          || lit_h->root.root.type == bfd_link_hash_warning)
+      lit_h = (struct alpha_elf_link_hash_entry *) lit_h->root.root.u.i.link;
 
-  if (info->relocatable)
-    return TRUE;
+    for (lit_gotent = lit_h->got_entries; lit_gotent ;
+        lit_gotent = lit_gotent->next)
+      if (lit_gotent->gotobj == info->gotobj
+         && lit_gotent->reloc_type == R_ALPHA_LITERAL
+         && lit_gotent->addend == irel[1].r_addend)
+       break;
+    BFD_ASSERT (lit_gotent);
 
-  /* First, take care of the indirect symbols created by versioning.  */
-  alpha_elf_link_hash_traverse (alpha_elf_hash_table (info),
-                               elf64_alpha_merge_ind_symbols,
-                               NULL);
+    if (--lit_gotent->use_count == 0)
+      {
+       int sz = alpha_got_entry_size (R_ALPHA_LITERAL);
+       alpha_elf_tdata (info->gotobj)->total_got_size -= sz;
+      }
+  }
 
-  if (!elf64_alpha_size_got_sections (info))
-    return FALSE;
+  /* Change
 
-  /* Allocate space for all of the .got subsections.  */
-  i = alpha_elf_hash_table (info)->got_list;
-  for ( ; i ; i = alpha_elf_tdata(i)->got_link_next)
+       lda     $16,x($gp)                      !tlsgd!1
+       ldq     $27,__tls_get_addr($gp)         !literal!1
+       jsr     $26,($27),__tls_get_addr        !lituse_tlsgd!1
+       ldah    $29,0($26)                      !gpdisp!2
+       lda     $29,0($29)                      !gpdisp!2
+     to
+       ldq     $16,x($gp)                      !gottprel
+       unop
+       call_pal rduniq
+       addq    $16,$0,$0
+       unop
+     or the first pair to
+       lda     $16,x($gp)                      !tprel
+       unop
+     or
+       ldah    $16,x($gp)                      !tprelhi
+       lda     $16,x($16)                      !tprello
+
+     as appropriate.  */
+
+  use_gottprel = FALSE;
+  new_symndx = is_gd ? ELF64_R_SYM (irel->r_info) : 0;
+  switch (!dynamic && !info->link_info->shared)
     {
-      asection *s = alpha_elf_tdata(i)->got;
-      if (s->size > 0)
-       {
-         s->contents = (bfd_byte *) bfd_zalloc (i, s->size);
-         if (s->contents == NULL)
-           return FALSE;
-       }
-    }
+    case 1:
+      {
+       bfd_vma tp_base;
+       bfd_signed_vma disp;
 
-  return TRUE;
-}
+       BFD_ASSERT (elf_hash_table (info->link_info)->tls_sec != NULL);
+       tp_base = alpha_get_tprel_base (info->link_info);
+       disp = symval - tp_base;
 
-/* The number of dynamic relocations required by a static relocation.  */
+       if (disp >= -0x8000 && disp < 0x8000)
+         {
+           insn = (OP_LDA << 26) | (16 << 21) | (31 << 16);
+           bfd_put_32 (info->abfd, (bfd_vma) insn, pos[0]);
+           bfd_put_32 (info->abfd, (bfd_vma) INSN_UNOP, pos[1]);
 
-static int
-alpha_dynamic_entries_for_reloc (r_type, dynamic, shared)
-     int r_type, dynamic, shared;
-{
-  switch (r_type)
-    {
-    /* May appear in GOT entries.  */
-    case R_ALPHA_TLSGD:
-      return (dynamic ? 2 : shared ? 1 : 0);
-    case R_ALPHA_TLSLDM:
-      return shared;
-    case R_ALPHA_LITERAL:
-    case R_ALPHA_GOTTPREL:
-      return dynamic || shared;
-    case R_ALPHA_GOTDTPREL:
-      return dynamic;
+           irel[0].r_offset = pos[0] - info->contents;
+           irel[0].r_info = ELF64_R_INFO (new_symndx, R_ALPHA_TPREL16);
+           irel[1].r_info = ELF64_R_INFO (0, R_ALPHA_NONE);
+           break;
+         }
+       else if (disp >= -(bfd_signed_vma) 0x80000000
+                && disp < (bfd_signed_vma) 0x7fff8000
+                && !pos1_unusable)
+         {
+           insn = (OP_LDAH << 26) | (16 << 21) | (31 << 16);
+           bfd_put_32 (info->abfd, (bfd_vma) insn, pos[0]);
+           insn = (OP_LDA << 26) | (16 << 21) | (16 << 16);
+           bfd_put_32 (info->abfd, (bfd_vma) insn, pos[1]);
 
-    /* May appear in data sections.  */
-    case R_ALPHA_REFLONG:
-    case R_ALPHA_REFQUAD:
-    case R_ALPHA_TPREL64:
-      return dynamic || shared;
+           irel[0].r_offset = pos[0] - info->contents;
+           irel[0].r_info = ELF64_R_INFO (new_symndx, R_ALPHA_TPRELHI);
+           irel[1].r_offset = pos[1] - info->contents;
+           irel[1].r_info = ELF64_R_INFO (new_symndx, R_ALPHA_TPRELLO);
+           break;
+         }
+      }
+      /* FALLTHRU */
 
-    /* Everything else is illegal.  We'll issue an error during
-       relocate_section.  */
     default:
-      return 0;
+      use_gottprel = TRUE;
+
+      insn = (OP_LDQ << 26) | (16 << 21) | (29 << 16);
+      bfd_put_32 (info->abfd, (bfd_vma) insn, pos[0]);
+      bfd_put_32 (info->abfd, (bfd_vma) INSN_UNOP, pos[1]);
+
+      irel[0].r_offset = pos[0] - info->contents;
+      irel[0].r_info = ELF64_R_INFO (new_symndx, R_ALPHA_GOTTPREL);
+      irel[1].r_info = ELF64_R_INFO (0, R_ALPHA_NONE);
+      break;
     }
-}
 
-/* Work out the sizes of the dynamic relocation entries.  */
+  bfd_put_32 (info->abfd, (bfd_vma) INSN_RDUNIQ, pos[2]);
 
-static bfd_boolean
-elf64_alpha_calc_dynrel_sizes (h, info)
-     struct alpha_elf_link_hash_entry *h;
-     struct bfd_link_info *info;
-{
-  bfd_boolean dynamic;
-  struct alpha_elf_reloc_entry *relent;
-  unsigned long entries;
+  insn = INSN_ADDQ | (16 << 21) | (0 << 16) | (0 << 0);
+  bfd_put_32 (info->abfd, (bfd_vma) insn, pos[3]);
 
-  if (h->root.root.type == bfd_link_hash_warning)
-    h = (struct alpha_elf_link_hash_entry *) h->root.root.u.i.link;
+  bfd_put_32 (info->abfd, (bfd_vma) INSN_UNOP, pos[4]);
 
-  /* If the symbol was defined as a common symbol in a regular object
-     file, and there was no definition in any dynamic object, then the
-     linker will have allocated space for the symbol in a common
-     section but the ELF_LINK_HASH_DEF_REGULAR flag will not have been
-     set.  This is done for dynamic symbols in
-     elf_adjust_dynamic_symbol but this is not done for non-dynamic
-     symbols, somehow.  */
-  if (!h->root.def_regular
-      && h->root.ref_regular
-      && !h->root.def_dynamic
-      && (h->root.root.type == bfd_link_hash_defined
-         || h->root.root.type == bfd_link_hash_defweak)
-      && !(h->root.root.u.def.section->owner->flags & DYNAMIC))
-    h->root.def_regular = 1;
+  irel[2].r_info = ELF64_R_INFO (0, R_ALPHA_NONE);
+  gpdisp->r_info = ELF64_R_INFO (0, R_ALPHA_NONE);
 
-  /* If the symbol is dynamic, we'll need all the relocations in their
-     natural form.  If this is a shared object, and it has been forced
-     local, we'll need the same number of RELATIVE relocations.  */
-  dynamic = alpha_elf_dynamic_symbol_p (&h->root, info);
+  hint = elf64_alpha_find_reloc_at_ofs (info->relocs, info->relend,
+                                       irel[2].r_offset, R_ALPHA_HINT);
+  if (hint)
+    hint->r_info = ELF64_R_INFO (0, R_ALPHA_NONE);
 
-  /* If the symbol is a hidden undefined weak, then we never have any
-     relocations.  Avoid the loop which may want to add RELATIVE relocs
-     based on info->shared.  */
-  if (h->root.root.type == bfd_link_hash_undefweak && !dynamic)
-    return TRUE;
+  info->changed_contents = TRUE;
+  info->changed_relocs = TRUE;
 
-  for (relent = h->reloc_entries; relent; relent = relent->next)
+  /* Reduce the use count on the TLSGD/TLSLDM relocation.  */
+  if (--info->gotent->use_count == 0)
     {
-      entries = alpha_dynamic_entries_for_reloc (relent->rtype, dynamic,
-                                                info->shared);
-      if (entries)
-       {
-         relent->srel->size +=
-           entries * sizeof (Elf64_External_Rela) * relent->count;
-         if (relent->reltext)
-           info->flags |= DT_TEXTREL;
-       }
+      int sz = alpha_got_entry_size (info->gotent->reloc_type);
+      alpha_elf_tdata (info->gotobj)->total_got_size -= sz;
+      if (!info->h)
+       alpha_elf_tdata (info->gotobj)->local_got_size -= sz;
     }
 
-  return TRUE;
-}
-
-/* Set the sizes of the dynamic relocation sections.  */
-
-static bfd_boolean
-elf64_alpha_size_rela_got_section (info)
-     struct bfd_link_info *info;
-{
-  unsigned long entries;
-  bfd *i, *dynobj;
-  asection *srel;
-
-  /* Shared libraries often require RELATIVE relocs, and some relocs
-     require attention for the main application as well.  */
-
-  entries = 0;
-  for (i = alpha_elf_hash_table(info)->got_list;
-       i ; i = alpha_elf_tdata(i)->got_link_next)
+  /* If we've switched to a GOTTPREL relocation, increment the reference
+     count on that got entry.  */
+  if (use_gottprel)
     {
-      bfd *j;
+      struct alpha_elf_got_entry *tprel_gotent;
 
-      for (j = i; j ; j = alpha_elf_tdata(j)->in_got_link_next)
+      for (tprel_gotent = *info->first_gotent; tprel_gotent ;
+          tprel_gotent = tprel_gotent->next)
+       if (tprel_gotent->gotobj == info->gotobj
+           && tprel_gotent->reloc_type == R_ALPHA_GOTTPREL
+           && tprel_gotent->addend == irel->r_addend)
+         break;
+      if (tprel_gotent)
+       tprel_gotent->use_count++;
+      else
        {
-         struct alpha_elf_got_entry **local_got_entries, *gotent;
-         int k, n;
+         if (info->gotent->use_count == 0)
+           tprel_gotent = info->gotent;
+         else
+           {
+             tprel_gotent = (struct alpha_elf_got_entry *)
+               bfd_alloc (info->abfd, sizeof (struct alpha_elf_got_entry));
+             if (!tprel_gotent)
+               return FALSE;
 
-         local_got_entries = alpha_elf_tdata(j)->local_got_entries;
-         if (!local_got_entries)
-           continue;
+             tprel_gotent->next = *info->first_gotent;
+             *info->first_gotent = tprel_gotent;
 
-         for (k = 0, n = elf_tdata(j)->symtab_hdr.sh_info; k < n; ++k)
-           for (gotent = local_got_entries[k];
-                gotent ; gotent = gotent->next)
-             if (gotent->use_count > 0)
-               entries += (alpha_dynamic_entries_for_reloc
-                           (gotent->reloc_type, 0, info->shared));
-       }
-    }
+             tprel_gotent->gotobj = info->gotobj;
+             tprel_gotent->addend = irel->r_addend;
+             tprel_gotent->got_offset = -1;
+             tprel_gotent->reloc_done = 0;
+             tprel_gotent->reloc_xlated = 0;
+           }
 
-  dynobj = elf_hash_table(info)->dynobj;
-  srel = bfd_get_section_by_name (dynobj, ".rela.got");
-  if (!srel)
-    {
-      BFD_ASSERT (entries == 0);
-      return TRUE;
+         tprel_gotent->use_count = 1;
+         tprel_gotent->reloc_type = R_ALPHA_GOTTPREL;
+       }
     }
-  srel->size = sizeof (Elf64_External_Rela) * entries;
-
-  /* Now do the non-local symbols.  */
-  alpha_elf_link_hash_traverse (alpha_elf_hash_table (info),
-                               elf64_alpha_size_rela_got_1, info);
 
   return TRUE;
 }
 
-/* Subroutine of elf64_alpha_size_rela_got_section for doing the
-   global symbols.  */
-
 static bfd_boolean
-elf64_alpha_size_rela_got_1 (h, info)
-     struct alpha_elf_link_hash_entry *h;
-     struct bfd_link_info *info;
+elf64_alpha_relax_section (bfd *abfd, asection *sec,
+                          struct bfd_link_info *link_info, bfd_boolean *again)
 {
-  bfd_boolean dynamic;
-  struct alpha_elf_got_entry *gotent;
-  unsigned long entries;
-
-  if (h->root.root.type == bfd_link_hash_warning)
-    h = (struct alpha_elf_link_hash_entry *) h->root.root.u.i.link;
+  Elf_Internal_Shdr *symtab_hdr;
+  Elf_Internal_Rela *internal_relocs;
+  Elf_Internal_Rela *irel, *irelend;
+  Elf_Internal_Sym *isymbuf = NULL;
+  struct alpha_elf_got_entry **local_got_entries;
+  struct alpha_relax_info info;
 
-  /* If the symbol is dynamic, we'll need all the relocations in their
-     natural form.  If this is a shared object, and it has been forced
-     local, we'll need the same number of RELATIVE relocations.  */
-  dynamic = alpha_elf_dynamic_symbol_p (&h->root, info);
+  /* We are not currently changing any sizes, so only one pass.  */
+  *again = FALSE;
 
-  /* If the symbol is a hidden undefined weak, then we never have any
-     relocations.  Avoid the loop which may want to add RELATIVE relocs
-     based on info->shared.  */
-  if (h->root.root.type == bfd_link_hash_undefweak && !dynamic)
+  if (link_info->relocatable
+      || ((sec->flags & (SEC_CODE | SEC_RELOC | SEC_ALLOC))
+         != (SEC_CODE | SEC_RELOC | SEC_ALLOC))
+      || sec->reloc_count == 0)
     return TRUE;
 
-  entries = 0;
-  for (gotent = h->got_entries; gotent ; gotent = gotent->next)
-    if (gotent->use_count > 0)
-      entries += alpha_dynamic_entries_for_reloc (gotent->reloc_type,
-                                                 dynamic, info->shared);
+  symtab_hdr = &elf_tdata (abfd)->symtab_hdr;
+  local_got_entries = alpha_elf_tdata(abfd)->local_got_entries;
 
-  /* If we are using a .plt entry, subtract one, as the first
-     reference uses a .rela.plt entry instead.  */
-  if (h->root.plt.offset != MINUS_ONE)
-    entries--;
+  /* Load the relocations for this section.  */
+  internal_relocs = (_bfd_elf_link_read_relocs
+                    (abfd, sec, (PTR) NULL, (Elf_Internal_Rela *) NULL,
+                     link_info->keep_memory));
+  if (internal_relocs == NULL)
+    return FALSE;
 
-  if (entries > 0)
+  memset(&info, 0, sizeof (info));
+  info.abfd = abfd;
+  info.sec = sec;
+  info.link_info = link_info;
+  info.symtab_hdr = symtab_hdr;
+  info.relocs = internal_relocs;
+  info.relend = irelend = internal_relocs + sec->reloc_count;
+
+  /* Find the GP for this object.  Do not store the result back via
+     _bfd_set_gp_value, since this could change again before final.  */
+  info.gotobj = alpha_elf_tdata (abfd)->gotobj;
+  if (info.gotobj)
     {
-      bfd *dynobj = elf_hash_table(info)->dynobj;
-      asection *srel = bfd_get_section_by_name (dynobj, ".rela.got");
-      BFD_ASSERT (srel != NULL);
-      srel->size += sizeof (Elf64_External_Rela) * entries;
+      asection *sgot = alpha_elf_tdata (info.gotobj)->got;
+      info.gp = (sgot->output_section->vma
+                + sgot->output_offset
+                + 0x8000);
     }
 
-  return TRUE;
-}
+  /* Get the section contents.  */
+  if (elf_section_data (sec)->this_hdr.contents != NULL)
+    info.contents = elf_section_data (sec)->this_hdr.contents;
+  else
+    {
+      if (!bfd_malloc_and_get_section (abfd, sec, &info.contents))
+       goto error_return;
+    }
 
-/* Set the sizes of the dynamic sections.  */
+  for (irel = internal_relocs; irel < irelend; irel++)
+    {
+      bfd_vma symval;
+      struct alpha_elf_got_entry *gotent;
+      unsigned long r_type = ELF64_R_TYPE (irel->r_info);
+      unsigned long r_symndx = ELF64_R_SYM (irel->r_info);
+
+      /* Early exit for unhandled or unrelaxable relocations.  */
+      switch (r_type)
+       {
+       case R_ALPHA_LITERAL:
+       case R_ALPHA_GPRELHIGH:
+       case R_ALPHA_GPRELLOW:
+       case R_ALPHA_GOTDTPREL:
+       case R_ALPHA_GOTTPREL:
+       case R_ALPHA_TLSGD:
+         break;
+
+       case R_ALPHA_TLSLDM:
+         /* The symbol for a TLSLDM reloc is ignored.  Collapse the
+             reloc to the 0 symbol so that they all match.  */
+         r_symndx = 0;
+         break;
+
+       default:
+         continue;
+       }
+
+      /* Get the value of the symbol referred to by the reloc.  */
+      if (r_symndx < symtab_hdr->sh_info)
+       {
+         /* A local symbol.  */
+         Elf_Internal_Sym *isym;
+
+         /* Read this BFD's local symbols.  */
+         if (isymbuf == NULL)
+           {
+             isymbuf = (Elf_Internal_Sym *) symtab_hdr->contents;
+             if (isymbuf == NULL)
+               isymbuf = bfd_elf_get_elf_syms (abfd, symtab_hdr,
+                                               symtab_hdr->sh_info, 0,
+                                               NULL, NULL, NULL);
+             if (isymbuf == NULL)
+               goto error_return;
+           }
 
-static bfd_boolean
-elf64_alpha_size_dynamic_sections (output_bfd, info)
-     bfd *output_bfd ATTRIBUTE_UNUSED;
-     struct bfd_link_info *info;
-{
-  bfd *dynobj;
-  asection *s;
-  bfd_boolean relplt;
+         isym = isymbuf + r_symndx;
 
-  dynobj = elf_hash_table(info)->dynobj;
-  BFD_ASSERT(dynobj != NULL);
+         /* Given the symbol for a TLSLDM reloc is ignored, this also
+            means forcing the symbol value to the tp base.  */
+         if (r_type == R_ALPHA_TLSLDM)
+           {
+             info.tsec = bfd_abs_section_ptr;
+             symval = alpha_get_tprel_base (info.link_info);
+           }
+         else
+           {
+             symval = isym->st_value;
+             if (isym->st_shndx == SHN_UNDEF)
+               continue;
+             else if (isym->st_shndx == SHN_ABS)
+               info.tsec = bfd_abs_section_ptr;
+             else if (isym->st_shndx == SHN_COMMON)
+               info.tsec = bfd_com_section_ptr;
+             else
+               info.tsec = bfd_section_from_elf_index (abfd, isym->st_shndx);
+           }
 
-  if (elf_hash_table (info)->dynamic_sections_created)
-    {
-      /* Set the contents of the .interp section to the interpreter.  */
-      if (info->executable)
-       {
-         s = bfd_get_section_by_name (dynobj, ".interp");
-         BFD_ASSERT (s != NULL);
-         s->size = sizeof ELF_DYNAMIC_INTERPRETER;
-         s->contents = (unsigned char *) ELF_DYNAMIC_INTERPRETER;
+         info.h = NULL;
+         info.other = isym->st_other;
+         if (local_got_entries)
+           info.first_gotent = &local_got_entries[r_symndx];
+         else
+           {
+             info.first_gotent = &info.gotent;
+             info.gotent = NULL;
+           }
        }
+      else
+       {
+         unsigned long indx;
+         struct alpha_elf_link_hash_entry *h;
 
-      /* Now that we've seen all of the input files, we can decide which
-        symbols need dynamic relocation entries and which don't.  We've
-        collected information in check_relocs that we can now apply to
-        size the dynamic relocation sections.  */
-      alpha_elf_link_hash_traverse (alpha_elf_hash_table (info),
-                                   elf64_alpha_calc_dynrel_sizes, info);
+         indx = r_symndx - symtab_hdr->sh_info;
+         h = alpha_elf_sym_hashes (abfd)[indx];
+         BFD_ASSERT (h != NULL);
 
-      elf64_alpha_size_rela_got_section (info);
-    }
-  /* else we're not dynamic and by definition we don't need such things.  */
+         while (h->root.root.type == bfd_link_hash_indirect
+                || h->root.root.type == bfd_link_hash_warning)
+           h = (struct alpha_elf_link_hash_entry *)h->root.root.u.i.link;
 
-  /* The check_relocs and adjust_dynamic_symbol entry points have
-     determined the sizes of the various dynamic sections.  Allocate
-     memory for them.  */
-  relplt = FALSE;
-  for (s = dynobj->sections; s != NULL; s = s->next)
-    {
-      const char *name;
-      bfd_boolean strip;
+         /* If the symbol is undefined, we can't do anything with it.  */
+         if (h->root.root.type == bfd_link_hash_undefined)
+           continue;
 
-      if (!(s->flags & SEC_LINKER_CREATED))
-       continue;
+         /* If the symbol isn't defined in the current module,
+            again we can't do anything.  */
+         if (h->root.root.type == bfd_link_hash_undefweak)
+           {
+             info.tsec = bfd_abs_section_ptr;
+             symval = 0;
+           }
+         else if (!h->root.def_regular)
+           {
+             /* Except for TLSGD relocs, which can sometimes be
+                relaxed to GOTTPREL relocs.  */
+             if (r_type != R_ALPHA_TLSGD)
+               continue;
+             info.tsec = bfd_abs_section_ptr;
+             symval = 0;
+           }
+         else
+           {
+             info.tsec = h->root.root.u.def.section;
+             symval = h->root.root.u.def.value;
+           }
 
-      /* It's OK to base decisions on the section name, because none
-        of the dynobj section names depend upon the input files.  */
-      name = bfd_get_section_name (dynobj, s);
+         info.h = h;
+         info.other = h->root.other;
+         info.first_gotent = &h->got_entries;
+       }
 
-      /* If we don't need this section, strip it from the output file.
-        This is to handle .rela.bss and .rela.plt.  We must create it
-        in create_dynamic_sections, because it must be created before
-        the linker maps input sections to output sections.  The
-        linker does that before adjust_dynamic_symbol is called, and
-        it is that function which decides whether anything needs to
-        go into these sections.  */
+      /* Search for the got entry to be used by this relocation.  */
+      for (gotent = *info.first_gotent; gotent ; gotent = gotent->next)
+       if (gotent->gotobj == info.gotobj
+           && gotent->reloc_type == r_type
+           && gotent->addend == irel->r_addend)
+         break;
+      info.gotent = gotent;
 
-      strip = FALSE;
+      symval += info.tsec->output_section->vma + info.tsec->output_offset;
+      symval += irel->r_addend;
 
-      if (strncmp (name, ".rela", 5) == 0)
+      switch (r_type)
        {
-         strip = (s->size == 0);
+       case R_ALPHA_LITERAL:
+         BFD_ASSERT(info.gotent != NULL);
 
-         if (!strip)
+         /* If there exist LITUSE relocations immediately following, this
+            opens up all sorts of interesting optimizations, because we
+            now know every location that this address load is used.  */
+         if (irel+1 < irelend
+             && ELF64_R_TYPE (irel[1].r_info) == R_ALPHA_LITUSE)
            {
-             if (strcmp(name, ".rela.plt") == 0)
-               relplt = TRUE;
-
-             /* We use the reloc_count field as a counter if we need
-                to copy relocs into the output file.  */
-             s->reloc_count = 0;
+             if (!elf64_alpha_relax_with_lituse (&info, symval, irel))
+               goto error_return;
            }
-       }
-      else if (strcmp (name, ".plt") != 0)
-       {
-         /* It's not one of our dynamic sections, so don't allocate space.  */
-         continue;
-       }
+         else
+           {
+             if (!elf64_alpha_relax_got_load (&info, symval, irel, r_type))
+               goto error_return;
+           }
+         break;
 
-      if (strip)
-       s->flags |= SEC_EXCLUDE;
-      else
-       {
-         /* Allocate memory for the section contents.  */
-         s->contents = (bfd_byte *) bfd_zalloc (dynobj, s->size);
-         if (s->contents == NULL && s->size != 0)
-           return FALSE;
+       case R_ALPHA_GOTDTPREL:
+       case R_ALPHA_GOTTPREL:
+         BFD_ASSERT(info.gotent != NULL);
+         if (!elf64_alpha_relax_got_load (&info, symval, irel, r_type))
+           goto error_return;
+         break;
+
+       case R_ALPHA_TLSGD:
+       case R_ALPHA_TLSLDM:
+         BFD_ASSERT(info.gotent != NULL);
+         if (!elf64_alpha_relax_tls_get_addr (&info, symval, irel,
+                                              r_type == R_ALPHA_TLSGD))
+           goto error_return;
+         break;
        }
     }
 
-  if (elf_hash_table (info)->dynamic_sections_created)
-    {
-      /* Add some entries to the .dynamic section.  We fill in the
-        values later, in elf64_alpha_finish_dynamic_sections, but we
-        must add the entries now so that we get the correct size for
-        the .dynamic section.  The DT_DEBUG entry is filled in by the
-        dynamic linker and used by the debugger.  */
-#define add_dynamic_entry(TAG, VAL) \
-  _bfd_elf_add_dynamic_entry (info, TAG, VAL)
+  if (!elf64_alpha_size_plt_section (link_info))
+    return FALSE;
+  if (!elf64_alpha_size_got_sections (link_info))
+    return FALSE;
+  if (!elf64_alpha_size_rela_got_section (link_info))
+    return FALSE;
 
-      if (info->executable)
+  if (isymbuf != NULL
+      && symtab_hdr->contents != (unsigned char *) isymbuf)
+    {
+      if (!link_info->keep_memory)
+       free (isymbuf);
+      else
        {
-         if (!add_dynamic_entry (DT_DEBUG, 0))
-           return FALSE;
+         /* Cache the symbols for elf_link_input_bfd.  */
+         symtab_hdr->contents = (unsigned char *) isymbuf;
        }
+    }
 
-      if (relplt)
+  if (info.contents != NULL
+      && elf_section_data (sec)->this_hdr.contents != info.contents)
+    {
+      if (!info.changed_contents && !link_info->keep_memory)
+       free (info.contents);
+      else
        {
-         if (!add_dynamic_entry (DT_PLTGOT, 0)
-             || !add_dynamic_entry (DT_PLTRELSZ, 0)
-             || !add_dynamic_entry (DT_PLTREL, DT_RELA)
-             || !add_dynamic_entry (DT_JMPREL, 0))
-           return FALSE;
+         /* Cache the section contents for elf_link_input_bfd.  */
+         elf_section_data (sec)->this_hdr.contents = info.contents;
        }
+    }
 
-      if (!add_dynamic_entry (DT_RELA, 0)
-         || !add_dynamic_entry (DT_RELASZ, 0)
-         || !add_dynamic_entry (DT_RELAENT, sizeof (Elf64_External_Rela)))
-       return FALSE;
-
-      if (info->flags & DF_TEXTREL)
-       {
-         if (!add_dynamic_entry (DT_TEXTREL, 0))
-           return FALSE;
-       }
+  if (elf_section_data (sec)->relocs != internal_relocs)
+    {
+      if (!info.changed_relocs)
+       free (internal_relocs);
+      else
+       elf_section_data (sec)->relocs = internal_relocs;
     }
-#undef add_dynamic_entry
+
+  *again = info.changed_contents || info.changed_relocs;
 
   return TRUE;
-}
 
+ error_return:
+  if (isymbuf != NULL
+      && symtab_hdr->contents != (unsigned char *) isymbuf)
+    free (isymbuf);
+  if (info.contents != NULL
+      && elf_section_data (sec)->this_hdr.contents != info.contents)
+    free (info.contents);
+  if (internal_relocs != NULL
+      && elf_section_data (sec)->relocs != internal_relocs)
+    free (internal_relocs);
+  return FALSE;
+}
+\f
 /* Emit a dynamic relocation for (DYNINDX, RTYPE, ADDEND) at (SEC, OFFSET)
    into the next available slot in SREL.  */
 
 static void
-elf64_alpha_emit_dynrel (abfd, info, sec, srel, offset, dynindx, rtype, addend)
-     bfd *abfd;
-     struct bfd_link_info *info;
-     asection *sec, *srel;
-     bfd_vma offset, addend;
-     long dynindx, rtype;
+elf64_alpha_emit_dynrel (bfd *abfd, struct bfd_link_info *info,
+                        asection *sec, asection *srel, bfd_vma offset,
+                        long dynindx, long rtype, bfd_vma addend)
 {
   Elf_Internal_Rela outrel;
   bfd_byte *loc;
@@ -4200,16 +3927,13 @@ elf64_alpha_emit_dynrel (abfd, info, sec, srel, offset, dynindx, rtype, addend)
    symbol winds up in the output section.  */
 
 static bfd_boolean
-elf64_alpha_relocate_section_r (output_bfd, info, input_bfd, input_section,
-                               contents, relocs, local_syms, local_sections)
-     bfd *output_bfd ATTRIBUTE_UNUSED;
-     struct bfd_link_info *info ATTRIBUTE_UNUSED;
-     bfd *input_bfd;
-     asection *input_section;
-     bfd_byte *contents ATTRIBUTE_UNUSED;
-     Elf_Internal_Rela *relocs;
-     Elf_Internal_Sym *local_syms;
-     asection **local_sections;
+elf64_alpha_relocate_section_r (bfd *output_bfd ATTRIBUTE_UNUSED,
+                               struct bfd_link_info *info ATTRIBUTE_UNUSED,
+                               bfd *input_bfd, asection *input_section,
+                               bfd_byte *contents ATTRIBUTE_UNUSED,
+                               Elf_Internal_Rela *relocs,
+                               Elf_Internal_Sym *local_syms,
+                               asection **local_sections)
 {
   unsigned long symtab_hdr_sh_info;
   Elf_Internal_Rela *rel;
@@ -4261,16 +3985,11 @@ elf64_alpha_relocate_section_r (output_bfd, info, input_bfd, input_section,
 /* Relocate an Alpha ELF section.  */
 
 static bfd_boolean
-elf64_alpha_relocate_section (output_bfd, info, input_bfd, input_section,
-                             contents, relocs, local_syms, local_sections)
-     bfd *output_bfd;
-     struct bfd_link_info *info;
-     bfd *input_bfd;
-     asection *input_section;
-     bfd_byte *contents;
-     Elf_Internal_Rela *relocs;
-     Elf_Internal_Sym *local_syms;
-     asection **local_sections;
+elf64_alpha_relocate_section (bfd *output_bfd, struct bfd_link_info *info,
+                             bfd *input_bfd, asection *input_section,
+                             bfd_byte *contents, Elf_Internal_Rela *relocs,
+                             Elf_Internal_Sym *local_syms,
+                             asection **local_sections)
 {
   Elf_Internal_Shdr *symtab_hdr;
   Elf_Internal_Rela *rel;
@@ -4902,11 +4621,9 @@ elf64_alpha_relocate_section (output_bfd, info, input_bfd, input_section,
    dynamic sections here.  */
 
 static bfd_boolean
-elf64_alpha_finish_dynamic_symbol (output_bfd, info, h, sym)
-     bfd *output_bfd;
-     struct bfd_link_info *info;
-     struct elf_link_hash_entry *h;
-     Elf_Internal_Sym *sym;
+elf64_alpha_finish_dynamic_symbol (bfd *output_bfd, struct bfd_link_info *info,
+                                  struct elf_link_hash_entry *h,
+                                  Elf_Internal_Sym *sym)
 {
   bfd *dynobj = elf_hash_table(info)->dynobj;
 
@@ -5064,9 +4781,8 @@ elf64_alpha_finish_dynamic_symbol (output_bfd, info, h, sym)
 /* Finish up the dynamic sections.  */
 
 static bfd_boolean
-elf64_alpha_finish_dynamic_sections (output_bfd, info)
-     bfd *output_bfd;
-     struct bfd_link_info *info;
+elf64_alpha_finish_dynamic_sections (bfd *output_bfd,
+                                    struct bfd_link_info *info)
 {
   bfd *dynobj;
   asection *sdyn;
@@ -5153,9 +4869,7 @@ elf64_alpha_finish_dynamic_sections (output_bfd, info)
    them all out sequentially.  */
 
 static bfd_boolean
-elf64_alpha_final_link (abfd, info)
-     bfd *abfd;
-     struct bfd_link_info *info;
+elf64_alpha_final_link (bfd *abfd, struct bfd_link_info *info)
 {
   asection *o;
   struct bfd_link_order *p;
@@ -5422,8 +5136,7 @@ elf64_alpha_final_link (abfd, info)
 }
 
 static enum elf_reloc_type_class
-elf64_alpha_reloc_type_class (rela)
-     const Elf_Internal_Rela *rela;
+elf64_alpha_reloc_type_class (const Elf_Internal_Rela *rela)
 {
   switch ((int) ELF64_R_TYPE (rela->r_info))
     {
@@ -5638,13 +5351,9 @@ static const struct elf_size_info alpha_elf_size_info =
    "FreeBSD" label in the ELF header.  So we put this label on all
    executables and (for simplicity) also all other object files.  */
 
-static void elf64_alpha_fbsd_post_process_headers
-  PARAMS ((bfd *, struct bfd_link_info *));
-
 static void
-elf64_alpha_fbsd_post_process_headers (abfd, link_info)
-     bfd * abfd;
-     struct bfd_link_info * link_info ATTRIBUTE_UNUSED;
+elf64_alpha_fbsd_post_process_headers (bfd * abfd,
+       struct bfd_link_info * link_info ATTRIBUTE_UNUSED)
 {
   Elf_Internal_Ehdr * i_ehdrp; /* ELF file header, internal form.  */