2001-01-02 Kazu Hirata <kazu@hxi.com>
[binutils-gdb.git] / bfd / elf-m10300.c
index a2f60baaa491892ea1c1993d0f4605bf38365829..ac320d67ca63b9468a8480908fcc714bbbba9711 100644 (file)
@@ -1,5 +1,5 @@
 /* Matsushita 10300 specific support for 32-bit ELF
-   Copyright (C) 1996, 1997, 1998 Free Software Foundation, Inc.
+   Copyright (C) 1996, 1997, 1998, 1999, 2000 Free Software Foundation, Inc.
 
 This file is part of BFD, the Binary File Descriptor library.
 
@@ -34,7 +34,9 @@ struct elf32_mn10300_link_hash_entry
 
   /* For function symbols, the size of this function's stack
      (if <= 255 bytes).  We stuff this into "call" instructions
-     to this target when it's valid and profitable to do so.  */
+     to this target when it's valid and profitable to do so.
+
+     This does not include stack allocated by movm!  */
   unsigned char stack_size;
 
   /* For function symbols, arguments (if any) for movm instruction
@@ -42,6 +44,11 @@ struct elf32_mn10300_link_hash_entry
      to the target when it's valid and profitable to do so.  */
   unsigned char movm_args;
 
+  /* For funtion symbols, the amount of stack space that would be allocated
+     by the movm instruction.  This is redundant with movm_args, but we
+     add it to the hash table to avoid computing it over and over.  */
+  unsigned char movm_stack_size;
+
 /* When set, convert all "call" instructions to this target into "calls"
    instructions.  */
 #define MN10300_CONVERT_CALL_TO_CALLS 0x1
@@ -92,6 +99,12 @@ static reloc_howto_type *bfd_elf32_bfd_reloc_type_lookup
   PARAMS ((bfd *abfd, bfd_reloc_code_real_type code));
 static void mn10300_info_to_howto
   PARAMS ((bfd *, arelent *, Elf32_Internal_Rela *));
+static boolean mn10300_elf_check_relocs
+  PARAMS ((bfd *, struct bfd_link_info *, asection *,
+          const Elf_Internal_Rela *));
+static asection *mn10300_elf_gc_mark_hook
+  PARAMS ((bfd *, struct bfd_link_info *info, Elf_Internal_Rela *,
+          struct elf_link_hash_entry *, Elf_Internal_Sym *));
 static boolean mn10300_elf_relax_delete_bytes
   PARAMS ((bfd *, asection *, bfd_vma, int));
 static boolean mn10300_elf_symbol_address_p
@@ -106,18 +119,6 @@ static void compute_function_info
    does absolutely nothing.  */
 #define USE_RELA
 
-enum reloc_type
-{
-  R_MN10300_NONE = 0,
-  R_MN10300_32,
-  R_MN10300_16,
-  R_MN10300_8,
-  R_MN10300_PCREL32,
-  R_MN10300_PCREL16,
-  R_MN10300_PCREL8,
-  R_MN10300_MAX
-};
-
 static reloc_howto_type elf_mn10300_howto_table[] =
 {
   /* Dummy relocation.  Does nothing.  */
@@ -218,11 +219,57 @@ static reloc_howto_type elf_mn10300_howto_table[] =
         0xff,
         0xff,
         true),
+
+  /* GNU extension to record C++ vtable hierarchy */
+  HOWTO (R_MN10300_GNU_VTINHERIT, /* type */
+        0,                     /* rightshift */
+        0,                     /* size (0 = byte, 1 = short, 2 = long) */
+        0,                     /* bitsize */
+        false,                 /* pc_relative */
+        0,                     /* bitpos */
+        complain_overflow_dont, /* complain_on_overflow */
+        NULL,                  /* special_function */
+        "R_MN10300_GNU_VTINHERIT", /* name */
+        false,                 /* partial_inplace */
+        0,                     /* src_mask */
+        0,                     /* dst_mask */
+        false),                /* pcrel_offset */
+
+  /* GNU extension to record C++ vtable member usage */
+  HOWTO (R_MN10300_GNU_VTENTRY,        /* type */
+        0,                     /* rightshift */
+        0,                     /* size (0 = byte, 1 = short, 2 = long) */
+        0,                     /* bitsize */
+        false,                 /* pc_relative */
+        0,                     /* bitpos */
+        complain_overflow_dont, /* complain_on_overflow */
+        NULL,                  /* special_function */
+        "R_MN10300_GNU_VTENTRY", /* name */
+        false,                 /* partial_inplace */
+        0,                     /* src_mask */
+        0,                     /* dst_mask */
+        false),                /* pcrel_offset */
+
+  /* Standard 24 bit reloc.  */
+  HOWTO (R_MN10300_24,
+        0,
+        2,
+        24,
+        false,
+        0,
+        complain_overflow_bitfield,
+        bfd_elf_generic_reloc,
+        "R_MN10300_24",
+        false,
+        0xffffff,
+        0xffffff,
+        false),
+
 };
 
 struct mn10300_reloc_map
 {
-  unsigned char bfd_reloc_val;
+  bfd_reloc_code_real_type bfd_reloc_val;
   unsigned char elf_reloc_val;
 };
 
@@ -235,11 +282,14 @@ static const struct mn10300_reloc_map mn10300_reloc_map[] =
   { BFD_RELOC_32_PCREL, R_MN10300_PCREL32, },
   { BFD_RELOC_16_PCREL, R_MN10300_PCREL16, },
   { BFD_RELOC_8_PCREL, R_MN10300_PCREL8, },
+  { BFD_RELOC_24, R_MN10300_24, },
+  { BFD_RELOC_VTABLE_INHERIT, R_MN10300_GNU_VTINHERIT },
+  { BFD_RELOC_VTABLE_ENTRY, R_MN10300_GNU_VTENTRY },
 };
 
 static reloc_howto_type *
 bfd_elf32_bfd_reloc_type_lookup (abfd, code)
-     bfd *abfd;
+     bfd *abfd ATTRIBUTE_UNUSED;
      bfd_reloc_code_real_type code;
 {
   unsigned int i;
@@ -259,7 +309,7 @@ bfd_elf32_bfd_reloc_type_lookup (abfd, code)
 
 static void
 mn10300_info_to_howto (abfd, cache_ptr, dst)
-     bfd *abfd;
+     bfd *abfd ATTRIBUTE_UNUSED;
      arelent *cache_ptr;
      Elf32_Internal_Rela *dst;
 {
@@ -270,6 +320,112 @@ mn10300_info_to_howto (abfd, cache_ptr, dst)
   cache_ptr->howto = &elf_mn10300_howto_table[r_type];
 }
 
+/* Look through the relocs for a section during the first phase.
+   Since we don't do .gots or .plts, we just need to consider the
+   virtual table relocs for gc.  */
+
+static boolean
+mn10300_elf_check_relocs (abfd, info, sec, relocs)
+     bfd *abfd;
+     struct bfd_link_info *info;
+     asection *sec;
+     const Elf_Internal_Rela *relocs;
+{
+  Elf_Internal_Shdr *symtab_hdr;
+  struct elf_link_hash_entry **sym_hashes, **sym_hashes_end;
+  const Elf_Internal_Rela *rel;
+  const Elf_Internal_Rela *rel_end;
+
+  if (info->relocateable)
+    return true;
+
+  symtab_hdr = &elf_tdata (abfd)->symtab_hdr;
+  sym_hashes = elf_sym_hashes (abfd);
+  sym_hashes_end = sym_hashes + symtab_hdr->sh_size/sizeof (Elf32_External_Sym);
+  if (!elf_bad_symtab (abfd))
+    sym_hashes_end -= symtab_hdr->sh_info;
+
+  rel_end = relocs + sec->reloc_count;
+  for (rel = relocs; rel < rel_end; rel++)
+    {
+      struct elf_link_hash_entry *h;
+      unsigned long r_symndx;
+
+      r_symndx = ELF32_R_SYM (rel->r_info);
+      if (r_symndx < symtab_hdr->sh_info)
+       h = NULL;
+      else
+       h = sym_hashes[r_symndx - symtab_hdr->sh_info];
+
+      switch (ELF32_R_TYPE (rel->r_info))
+       {
+       /* This relocation describes the C++ object vtable hierarchy.
+          Reconstruct it for later use during GC.  */
+       case R_MN10300_GNU_VTINHERIT:
+         if (!_bfd_elf32_gc_record_vtinherit (abfd, sec, h, rel->r_offset))
+           return false;
+         break;
+
+       /* This relocation describes which C++ vtable entries are actually
+          used.  Record for later use during GC.  */
+       case R_MN10300_GNU_VTENTRY:
+         if (!_bfd_elf32_gc_record_vtentry (abfd, sec, h, rel->r_addend))
+           return false;
+         break;
+       }
+    }
+
+  return true;
+}
+
+/* Return the section that should be marked against GC for a given
+   relocation.  */
+
+static asection *
+mn10300_elf_gc_mark_hook (abfd, info, rel, h, sym)
+     bfd *abfd;
+     struct bfd_link_info *info ATTRIBUTE_UNUSED;
+     Elf_Internal_Rela *rel;
+     struct elf_link_hash_entry *h;
+     Elf_Internal_Sym *sym;
+{
+  if (h != NULL)
+    {
+      switch (ELF32_R_TYPE (rel->r_info))
+       {
+       case R_MN10300_GNU_VTINHERIT:
+       case R_MN10300_GNU_VTENTRY:
+         break;
+
+       default:
+         switch (h->root.type)
+           {
+           case bfd_link_hash_defined:
+           case bfd_link_hash_defweak:
+             return h->root.u.def.section;
+
+           case bfd_link_hash_common:
+             return h->root.u.c.p->section;
+
+           default:
+             break;
+           }
+       }
+    }
+  else
+    {
+      if (!(elf_bad_symtab (abfd)
+           && ELF_ST_BIND (sym->st_info) != STB_LOCAL)
+         && ! ((sym->st_shndx <= 0 || sym->st_shndx >= SHN_LORESERVE)
+               && sym->st_shndx != SHN_COMMON))
+       {
+         return bfd_section_from_elf_index (abfd, sym->st_shndx);
+       }
+    }
+
+  return NULL;
+}
+
 /* Perform a relocation as part of a final link.  */
 static bfd_reloc_status_type
 mn10300_elf_final_link_relocate (howto, input_bfd, output_bfd,
@@ -277,22 +433,21 @@ mn10300_elf_final_link_relocate (howto, input_bfd, output_bfd,
                                 addend, info, sym_sec, is_local)
      reloc_howto_type *howto;
      bfd *input_bfd;
-     bfd *output_bfd;
+     bfd *output_bfd ATTRIBUTE_UNUSED;
      asection *input_section;
      bfd_byte *contents;
      bfd_vma offset;
      bfd_vma value;
      bfd_vma addend;
-     struct bfd_link_info *info;
-     asection *sym_sec;
-     int is_local;
+     struct bfd_link_info *info ATTRIBUTE_UNUSED;
+     asection *sym_sec ATTRIBUTE_UNUSED;
+     int is_local ATTRIBUTE_UNUSED;
 {
   unsigned long r_type = howto->type;
   bfd_byte *hit_data = contents + offset;
 
   switch (r_type)
     {
-
     case R_MN10300_NONE:
       return bfd_reloc_ok;
 
@@ -301,6 +456,17 @@ mn10300_elf_final_link_relocate (howto, input_bfd, output_bfd,
       bfd_put_32 (input_bfd, value, hit_data);
       return bfd_reloc_ok;
 
+    case R_MN10300_24:
+      value += addend;
+
+      if ((long)value > 0x7fffff || (long)value < -0x800000)
+       return bfd_reloc_overflow;
+
+      bfd_put_8 (input_bfd, value & 0xff, hit_data);
+      bfd_put_8 (input_bfd, (value >> 8) & 0xff, hit_data + 1);
+      bfd_put_8 (input_bfd, (value >> 16) & 0xff, hit_data + 2);
+      return bfd_reloc_ok;
+
     case R_MN10300_16:
       value += addend;
 
@@ -313,7 +479,7 @@ mn10300_elf_final_link_relocate (howto, input_bfd, output_bfd,
     case R_MN10300_8:
       value += addend;
 
-      if ((long)value > 0x7fff || (long)value < -0x8000)
+      if ((long)value > 0x7f || (long)value < -0x80)
        return bfd_reloc_overflow;
 
       bfd_put_8 (input_bfd, value, hit_data);
@@ -352,6 +518,10 @@ mn10300_elf_final_link_relocate (howto, input_bfd, output_bfd,
       bfd_put_32 (input_bfd, value, hit_data);
       return bfd_reloc_ok;
 
+    case R_MN10300_GNU_VTINHERIT:
+    case R_MN10300_GNU_VTENTRY:
+      return bfd_reloc_ok;
+
     default:
       return bfd_reloc_notsupported;
     }
@@ -396,6 +566,11 @@ mn10300_elf_relocate_section (output_bfd, info, input_bfd, input_section,
       r_type = ELF32_R_TYPE (rel->r_info);
       howto = elf_mn10300_howto_table + r_type;
 
+      /* Just skip the vtable gc relocs.  */
+      if (r_type == R_MN10300_GNU_VTINHERIT
+         || r_type == R_MN10300_GNU_VTENTRY)
+       continue;
+
       if (info->relocateable)
        {
          /* This is a relocateable link.  We don't have to change
@@ -447,7 +622,7 @@ mn10300_elf_relocate_section (output_bfd, info, input_bfd, input_section,
            {
              if (! ((*info->callbacks->undefined_symbol)
                     (info, h->root.root.root.string, input_bfd,
-                     input_section, rel->r_offset)))
+                     input_section, rel->r_offset, true)))
                return false;
              relocation = 0;
            }
@@ -486,7 +661,7 @@ mn10300_elf_relocate_section (output_bfd, info, input_bfd, input_section,
            case bfd_reloc_undefined:
              if (! ((*info->callbacks->undefined_symbol)
                     (info, name, input_bfd, input_section,
-                     rel->r_offset)))
+                     rel->r_offset, true)))
                return false;
              break;
 
@@ -523,7 +698,7 @@ mn10300_elf_relocate_section (output_bfd, info, input_bfd, input_section,
 static boolean
 elf32_mn10300_finish_hash_table_entry (gen_entry, in_args)
      struct bfd_hash_entry *gen_entry;
-     PTR in_args;
+     PTR in_args ATTRIBUTE_UNUSED;
 {
   struct elf32_mn10300_link_hash_entry *entry;
   unsigned int byte_count = 0;
@@ -591,7 +766,6 @@ elf32_mn10300_finish_hash_table_entry (gen_entry, in_args)
                This is only done if the resulting code is no larger
                than the original code.
 
-
        * jmp:32 -> jmp:16                                         2 bytes
        * jmp:16 -> bra:8                                          1 byte
 
@@ -611,7 +785,7 @@ elf32_mn10300_finish_hash_table_entry (gen_entry, in_args)
        We don't handle imm16->imm8 or d16->d8 as they're very rare
        and somewhat more difficult to support.  */
 
-static boolean 
+static boolean
 mn10300_elf_relax_section (abfd, sec, link_info, again)
      bfd *abfd;
      asection *sec;
@@ -673,10 +847,9 @@ mn10300_elf_relax_section (abfd, sec, link_info, again)
            {
              struct elf32_mn10300_link_hash_entry *hash;
              Elf_Internal_Sym *sym;
-             asection *sym_sec;
+             asection *sym_sec = NULL;
              const char *sym_name;
              char *new_name;
-             Elf_Internal_Shdr *hdr;
 
              /* Get cached copy of section contents if it exists.  */
              if (elf_section_data (section)->this_hdr.contents != NULL)
@@ -768,14 +941,18 @@ mn10300_elf_relax_section (abfd, sec, link_info, again)
 
                          /* Tack on an ID so we can uniquely identify this
                             local symbol in the global hash table.  */
-                         new_name = alloca (strlen (sym_name) + 10);
+                         new_name = bfd_malloc (strlen (sym_name) + 10);
+                         if (new_name == 0)
+                           goto error_return;
+
                          sprintf (new_name, "%s_%08x", sym_name, (int)sym_sec);
                          sym_name = new_name;
-               
+
                          hash = (struct elf32_mn10300_link_hash_entry *)
                                   elf_link_hash_lookup (&hash_table->static_hash_table->root,
                                                         sym_name, true,
                                                         true, false);
+                         free (new_name);
                        }
                      else
                        {
@@ -791,7 +968,7 @@ mn10300_elf_relax_section (abfd, sec, link_info, again)
                                        contents + irel->r_offset - 1);
                      if (code != 0xdd && code != 0xcd)
                        hash->flags |= MN10300_CONVERT_CALL_TO_CALLS;
-               
+
                      /* If this is a jump/call, then bump the direct_calls
                         counter.  Else force "call" to "calls" conversions.  */
                      if (r_type == R_MN10300_PCREL32
@@ -810,11 +987,10 @@ mn10300_elf_relax_section (abfd, sec, link_info, again)
 
                  Elf32_External_Sym *esym, *esymend;
                  int idx, shndx;
-                
+
                  shndx = _bfd_elf_section_from_bfd_section (input_bfd,
                                                             section);
 
-
                  /* Look at each function defined in this section and
                     update info for that function.  */
                  esym = extsyms;
@@ -845,7 +1021,10 @@ mn10300_elf_relax_section (abfd, sec, link_info, again)
 
                          /* Tack on an ID so we can uniquely identify this
                             local symbol in the global hash table.  */
-                         new_name = alloca (strlen (sym_name) + 10);
+                         new_name = bfd_malloc (strlen (sym_name) + 10);
+                         if (new_name == 0)
+                           goto error_return;
+
                          sprintf (new_name, "%s_%08x", sym_name, (int)sym_sec);
                          sym_name = new_name;
 
@@ -853,6 +1032,7 @@ mn10300_elf_relax_section (abfd, sec, link_info, again)
                                    elf_link_hash_lookup (&hash_table->static_hash_table->root,
                                                          sym_name, true,
                                                          true, false);
+                         free (new_name);
                          compute_function_info (input_bfd, hash,
                                                 isym.st_value, contents);
                        }
@@ -964,7 +1144,7 @@ mn10300_elf_relax_section (abfd, sec, link_info, again)
              int shndx;
              Elf32_External_Sym *esym, *esymend;
              int idx;
-             
+
              /* Skip non-code sections and empty sections.  */
              if ((section->flags & SEC_CODE) == 0 || section->_raw_size == 0)
                continue;
@@ -999,7 +1179,6 @@ mn10300_elf_relax_section (abfd, sec, link_info, again)
                    goto error_return;
                }
 
-
              shndx = _bfd_elf_section_from_bfd_section (input_bfd, section);
 
              /* Now look for any function in this section which needs
@@ -1010,9 +1189,8 @@ mn10300_elf_relax_section (abfd, sec, link_info, again)
                {
                  Elf_Internal_Sym isym;
                  struct elf32_mn10300_link_hash_entry *sym_hash;
-                 asection *sym_sec;
+                 asection *sym_sec = NULL;
                  const char *sym_name;
-                 Elf_Internal_Shdr *hdr;
                  char *new_name;
 
                  bfd_elf32_swap_symbol_in (input_bfd, esym, &isym);
@@ -1029,6 +1207,8 @@ mn10300_elf_relax_section (abfd, sec, link_info, again)
                    sym_sec = bfd_abs_section_ptr;
                  else if (isym.st_shndx == SHN_COMMON)
                    sym_sec = bfd_com_section_ptr;
+                 else
+                   abort ();
 
                  sym_name = bfd_elf_string_from_elf_section (input_bfd,
                                                        symtab_hdr->sh_link,
@@ -1036,7 +1216,9 @@ mn10300_elf_relax_section (abfd, sec, link_info, again)
 
                  /* Tack on an ID so we can uniquely identify this
                     local symbol in the global hash table.  */
-                 new_name = alloca (strlen (sym_name) + 10);
+                 new_name = bfd_malloc (strlen (sym_name) + 10);
+                 if (new_name == 0)
+                   goto error_return;
                  sprintf (new_name, "%s_%08x", sym_name, (int)sym_sec);
                  sym_name = new_name;
 
@@ -1045,9 +1227,10 @@ mn10300_elf_relax_section (abfd, sec, link_info, again)
                                                  sym_name, false,
                                                  false, false);
 
+                 free (new_name);
                  if (sym_hash == NULL)
                    continue;
-                     
+
                  if (! ((sym_hash)->flags & MN10300_CONVERT_CALL_TO_CALLS)
                      && ! ((sym_hash)->flags & MN10300_DELETED_PROLOGUE_BYTES))
                    {
@@ -1183,7 +1366,6 @@ mn10300_elf_relax_section (abfd, sec, link_info, again)
        }
     }
 
-
   /* (Re)initialize for the basic instruction shortening/relaxing pass.  */
   contents = NULL;
   extsyms = NULL;
@@ -1276,8 +1458,7 @@ mn10300_elf_relax_section (abfd, sec, link_info, again)
       if (ELF32_R_SYM (irel->r_info) < symtab_hdr->sh_info)
        {
          Elf_Internal_Sym isym;
-         asection *sym_sec;
-         Elf_Internal_Shdr *hdr;
+         asection *sym_sec = NULL;
          const char *sym_name;
          char *new_name;
 
@@ -1294,6 +1475,8 @@ mn10300_elf_relax_section (abfd, sec, link_info, again)
            sym_sec = bfd_abs_section_ptr;
          else if (isym.st_shndx == SHN_COMMON)
            sym_sec = bfd_com_section_ptr;
+         else
+           abort ();
 
          symval = (isym.st_value
                    + sym_sec->output_section->vma
@@ -1304,13 +1487,16 @@ mn10300_elf_relax_section (abfd, sec, link_info, again)
 
          /* Tack on an ID so we can uniquely identify this
             local symbol in the global hash table.  */
-         new_name = alloca (strlen (sym_name) + 10);
+         new_name = bfd_malloc (strlen (sym_name) + 10);
+         if (new_name == 0)
+           goto error_return;
          sprintf (new_name, "%s_%08x", sym_name, (int)sym_sec);
          sym_name = new_name;
 
          h = (struct elf32_mn10300_link_hash_entry *)
                elf_link_hash_lookup (&hash_table->static_hash_table->root,
                                      sym_name, false, false, false);
+         free (new_name);
        }
       else
        {
@@ -1405,7 +1591,7 @@ mn10300_elf_relax_section (abfd, sec, link_info, again)
              if (code == 0xdd)
                {
                  bfd_put_8 (abfd, h->movm_args, contents + irel->r_offset + 4);
-                 bfd_put_8 (abfd, h->stack_size,
+                 bfd_put_8 (abfd, h->stack_size + h->movm_stack_size,
                             contents + irel->r_offset + 5);
                }
            }
@@ -1520,7 +1706,7 @@ mn10300_elf_relax_section (abfd, sec, link_info, again)
              if (code == 0xcd)
                {
                  bfd_put_8 (abfd, h->movm_args, contents + irel->r_offset + 2);
-                 bfd_put_8 (abfd, h->stack_size,
+                 bfd_put_8 (abfd, h->stack_size + h->movm_stack_size,
                             contents + irel->r_offset + 3);
                }
            }
@@ -1580,7 +1766,6 @@ mn10300_elf_relax_section (abfd, sec, link_info, again)
            bra lab2
           lab1:               lab1:
 
-
         This happens when the bCC can't reach lab2 at assembly time,
         but due to other relaxations it can reach at link time.  */
       if (ELF32_R_TYPE (irel->r_info) == (int) R_MN10300_PCREL8)
@@ -1620,7 +1805,7 @@ mn10300_elf_relax_section (abfd, sec, link_info, again)
            continue;
 
          /* Now make sure we are a conditional branch.  This may not
-            be necessary, but why take the chance. 
+            be necessary, but why take the chance.
 
             Note these checks assume that R_MN10300_PCREL8 relocs
             only occur on bCC and bCCx insns.  If they occured
@@ -1697,7 +1882,7 @@ mn10300_elf_relax_section (abfd, sec, link_info, again)
                break;
            }
          bfd_put_8 (abfd, code, contents + irel->r_offset - 1);
-         
+
          /* Set the reloc type and symbol for the first branch
             from the second branch.  */
          irel->r_info = nrel->r_info;
@@ -1716,6 +1901,80 @@ mn10300_elf_relax_section (abfd, sec, link_info, again)
          *again = true;
        }
 
+      /* Try to turn a 24 immediate, displacement or absolute address
+        into a 8 immediate, displacement or absolute address.  */
+      if (ELF32_R_TYPE (irel->r_info) == (int) R_MN10300_24)
+       {
+         bfd_vma value = symval;
+         value += irel->r_addend;
+
+         /* See if the value will fit in 8 bits.  */
+         if ((long)value < 0x7f && (long)value > -0x80)
+           {
+             unsigned char code;
+
+             /* AM33 insns which have 24 operands are 6 bytes long and
+                will have 0xfd as the first byte.  */
+
+             /* Get the first opcode.  */
+             code = bfd_get_8 (abfd, contents + irel->r_offset - 3);
+
+             if (code == 0xfd)
+               {
+                 /* Get the second opcode.  */
+                 code = bfd_get_8 (abfd, contents + irel->r_offset - 2);
+
+                 /* We can not relax 0x6b, 0x7b, 0x8b, 0x9b as no 24bit
+                    equivalent instructions exists.  */
+                 if (code != 0x6b && code != 0x7b
+                     && code != 0x8b && code != 0x9b
+                     && ((code & 0x0f) == 0x09 || (code & 0x0f) == 0x08
+                         || (code & 0x0f) == 0x0a || (code & 0x0f) == 0x0b
+                         || (code & 0x0f) == 0x0e))
+                   {
+                     /* Not safe if the high bit is on as relaxing may
+                        move the value out of high mem and thus not fit
+                        in a signed 8bit value.  This is currently over
+                        conservative.  */
+                     if ((value & 0x80) == 0)
+                       {
+                         /* Note that we've changed the relocation contents,
+                            etc.  */
+                         elf_section_data (sec)->relocs = internal_relocs;
+                         free_relocs = NULL;
+
+                         elf_section_data (sec)->this_hdr.contents = contents;
+                         free_contents = NULL;
+
+                         symtab_hdr->contents = (bfd_byte *) extsyms;
+                         free_extsyms = NULL;
+
+                         /* Fix the opcode.  */
+                         bfd_put_8 (abfd, 0xfb, contents + irel->r_offset - 3);
+                         bfd_put_8 (abfd, code, contents + irel->r_offset - 2);
+
+                         /* Fix the relocation's type.  */
+                         irel->r_info
+                           = ELF32_R_INFO (ELF32_R_SYM (irel->r_info),
+                                                        R_MN10300_8);
+
+                         /* Delete two bytes of data.  */
+                         if (!mn10300_elf_relax_delete_bytes (abfd, sec,
+                                                              irel->r_offset + 1, 2))
+                           goto error_return;
+
+                         /* That will change things, so, we should relax
+                            again.  Note that this is not required, and it
+                             may be slow.  */
+                         *again = true;
+                         break;
+                       }
+                   }
+
+               }
+           }
+       }
+
       /* Try to turn a 32bit immediate, displacement or absolute address
         into a 16bit immediate, displacement or absolute address.  */
       if (ELF32_R_TYPE (irel->r_info) == (int) R_MN10300_32)
@@ -1723,7 +1982,76 @@ mn10300_elf_relax_section (abfd, sec, link_info, again)
          bfd_vma value = symval;
          value += irel->r_addend;
 
-         /* See if the value will fit in 16 bits. 
+         /* See if the value will fit in 24 bits.
+            We allow any 16bit match here.  We prune those we can't
+            handle below.  */
+         if ((long)value < 0x7fffff && (long)value > -0x800000)
+           {
+             unsigned char code;
+
+             /* AM33 insns which have 32bit operands are 7 bytes long and
+                will have 0xfe as the first byte.  */
+
+             /* Get the first opcode.  */
+             code = bfd_get_8 (abfd, contents + irel->r_offset - 3);
+
+             if (code == 0xfe)
+               {
+                 /* Get the second opcode.  */
+                 code = bfd_get_8 (abfd, contents + irel->r_offset - 2);
+
+                 /* All the am33 32 -> 24 relaxing possibilities.  */
+                 /* We can not relax 0x6b, 0x7b, 0x8b, 0x9b as no 24bit
+                    equivalent instructions exists.  */
+                 if (code != 0x6b && code != 0x7b
+                     && code != 0x8b && code != 0x9b
+                     && ((code & 0x0f) == 0x09 || (code & 0x0f) == 0x08
+                         || (code & 0x0f) == 0x0a || (code & 0x0f) == 0x0b
+                         || (code & 0x0f) == 0x0e))
+                   {
+                     /* Not safe if the high bit is on as relaxing may
+                        move the value out of high mem and thus not fit
+                        in a signed 16bit value.  This is currently over
+                        conservative.  */
+                     if ((value & 0x8000) == 0)
+                       {
+                         /* Note that we've changed the relocation contents,
+                            etc.  */
+                         elf_section_data (sec)->relocs = internal_relocs;
+                         free_relocs = NULL;
+
+                         elf_section_data (sec)->this_hdr.contents = contents;
+                         free_contents = NULL;
+
+                         symtab_hdr->contents = (bfd_byte *) extsyms;
+                         free_extsyms = NULL;
+
+                         /* Fix the opcode.  */
+                         bfd_put_8 (abfd, 0xfd, contents + irel->r_offset - 3);
+                         bfd_put_8 (abfd, code, contents + irel->r_offset - 2);
+
+                         /* Fix the relocation's type.  */
+                         irel->r_info
+                           = ELF32_R_INFO (ELF32_R_SYM (irel->r_info),
+                                                        R_MN10300_24);
+
+                         /* Delete one byte of data.  */
+                         if (!mn10300_elf_relax_delete_bytes (abfd, sec,
+                                                              irel->r_offset + 3, 1))
+                           goto error_return;
+
+                         /* That will change things, so, we should relax
+                            again.  Note that this is not required, and it
+                             may be slow.  */
+                         *again = true;
+                         break;
+                       }
+                   }
+
+               }
+           }
+
+         /* See if the value will fit in 16 bits.
             We allow any 16bit match here.  We prune those we can't
             handle below.  */
          if ((long)value < 0x7fff && (long)value > -0x8000)
@@ -1732,7 +2060,7 @@ mn10300_elf_relax_section (abfd, sec, link_info, again)
 
              /* Most insns which have 32bit operands are 6 bytes long;
                 exceptions are pcrel insns and bit insns.
-                
+
                 We handle pcrel insns above.  We don't bother trying
                 to handle the bit insns here.
 
@@ -2119,6 +2447,47 @@ compute_function_info (abfd, hash, addr, contents)
       byte2 = bfd_get_8 (abfd, contents + addr + 1);
     }
 
+  /* Now figure out how much stack space will be allocated by the movm
+     instruction.  We need this kept separate from the funtion's normal
+     stack space.  */
+  if (hash->movm_args)
+    {
+      /* Space for d2.  */
+      if (hash->movm_args & 0x80)
+       hash->movm_stack_size += 4;
+
+      /* Space for d3.  */
+      if (hash->movm_args & 0x40)
+       hash->movm_stack_size += 4;
+
+      /* Space for a2.  */
+      if (hash->movm_args & 0x20)
+       hash->movm_stack_size += 4;
+
+      /* Space for a3.  */
+      if (hash->movm_args & 0x10)
+       hash->movm_stack_size += 4;
+
+      /* "other" space.  d0, d1, a0, a1, mdr, lir, lar, 4 byte pad.  */
+      if (hash->movm_args & 0x08)
+       hash->movm_stack_size += 8 * 4;
+
+      if (bfd_get_mach (abfd) == bfd_mach_am33)
+       {
+         /* "exother" space.  e0, e1, mdrq, mcrh, mcrl, mcvf */
+         if (hash->movm_args & 0x1)
+           hash->movm_stack_size += 6 * 4;
+
+         /* exreg1 space.  e4, e5, e6, e7 */
+         if (hash->movm_args & 0x2)
+           hash->movm_stack_size += 4 * 4;
+
+         /* exreg0 space.  e2, e3  */
+         if (hash->movm_args & 0x4)
+           hash->movm_stack_size += 2 * 4;
+       }
+    }
+
   /* Now look for the two stack adjustment variants.  */
   if (byte1 == 0xf8 && byte2 == 0xfe)
     {
@@ -2133,9 +2502,16 @@ compute_function_info (abfd, hash, addr, contents)
       temp = ((temp & 0xffff) ^ (~0x7fff)) + 0x8000;
       temp = -temp;
 
-      if (temp <= 255)
+      if (temp < 255)
        hash->stack_size = temp;
     }
+
+  /* If the total stack to be allocated by the call instruction is more
+     than 255 bytes, then we can't remove the stack adjustment by using
+     "call" (we might still be able to remove the "movm" instruction.  */
+  if (hash->stack_size + hash->movm_stack_size > 255)
+    hash->stack_size = 0;
+
   return;
 }
 
@@ -2260,7 +2636,7 @@ mn10300_elf_symbol_address_p (abfd, sec, extsyms, addr)
        return true;
     }
 
-  sym_hash = (struct elf32_mn10300_link_hash_entry **)(elf_sym_hashes (abfd));
+  sym_hash = (struct elf32_mn10300_link_hash_entry **) (elf_sym_hashes (abfd));
   sym_hash_end = (sym_hash
                  + (symtab_hdr->sh_size / sizeof (Elf32_External_Sym)
                     - symtab_hdr->sh_info));
@@ -2443,6 +2819,7 @@ elf32_mn10300_link_hash_newfunc (entry, table, string)
     {
       ret->direct_calls = 0;
       ret->stack_size = 0;
+      ret->movm_stack_size = 0;
       ret->flags = 0;
       ret->movm_args = 0;
     }
@@ -2500,10 +2877,8 @@ elf_mn10300_mach (flags)
       default:
         return bfd_mach_mn10300;
 
-      /* start-sanitize-am33 */
       case E_MN10300_MACH_AM33:
         return bfd_mach_am33;
-      /* end-sanitize-am33 */
     }
 }
 
@@ -2511,17 +2886,12 @@ elf_mn10300_mach (flags)
    file.  This gets the MN10300 architecture right based on the machine
    number.  */
 
-/*ARGSUSED*/
 void
 _bfd_mn10300_elf_final_write_processing (abfd, linker)
      bfd *abfd;
-     boolean linker;
+     boolean linker ATTRIBUTE_UNUSED;
 {
   unsigned long val;
-  unsigned int i;
-  Elf_Internal_Shdr **hdrpp;
-  const char *name;
-  asection *sec;
 
   switch (bfd_get_mach (abfd))
     {
@@ -2530,11 +2900,9 @@ _bfd_mn10300_elf_final_write_processing (abfd, linker)
        val = E_MN10300_MACH_MN10300;
        break;
 
-      /* start-sanitize-am33 */
       case bfd_mach_am33:
        val = E_MN10300_MACH_AM33;
        break;
-      /* end-sanitize-am33 */
     }
 
   elf_elfheader (abfd)->e_flags &= ~ (EF_MN10300_MACH);
@@ -2550,15 +2918,41 @@ _bfd_mn10300_elf_object_p (abfd)
   return true;
 }
 
+/* Merge backend specific data from an object file to the output
+   object file when linking.  */
+
+boolean
+_bfd_mn10300_elf_merge_private_bfd_data (ibfd, obfd)
+     bfd *ibfd;
+     bfd *obfd;
+{
+  if (bfd_get_flavour (ibfd) != bfd_target_elf_flavour
+      || bfd_get_flavour (obfd) != bfd_target_elf_flavour)
+    return true;
+
+  if (bfd_get_arch (obfd) == bfd_get_arch (ibfd)
+      && bfd_get_mach (obfd) < bfd_get_mach (ibfd))
+    {
+      if (! bfd_set_arch_mach (obfd, bfd_get_arch (ibfd),
+                               bfd_get_mach (ibfd)))
+        return false;
+    }
+
+  return true;
+}
+
 #define TARGET_LITTLE_SYM      bfd_elf32_mn10300_vec
 #define TARGET_LITTLE_NAME     "elf32-mn10300"
 #define ELF_ARCH               bfd_arch_mn10300
 #define ELF_MACHINE_CODE       EM_CYGNUS_MN10300
 #define ELF_MAXPAGESIZE                0x1000
 
-#define elf_info_to_howto      mn10300_info_to_howto
-#define elf_info_to_howto_rel  0
-#define elf_backend_relocate_section mn10300_elf_relocate_section
+#define elf_info_to_howto              mn10300_info_to_howto
+#define elf_info_to_howto_rel          0
+#define elf_backend_can_gc_sections    1
+#define elf_backend_check_relocs       mn10300_elf_check_relocs
+#define elf_backend_gc_mark_hook       mn10300_elf_gc_mark_hook
+#define elf_backend_relocate_section   mn10300_elf_relocate_section
 #define bfd_elf32_bfd_relax_section    mn10300_elf_relax_section
 #define bfd_elf32_bfd_get_relocated_section_contents \
                                mn10300_elf_get_relocated_section_contents
@@ -2572,5 +2966,7 @@ _bfd_mn10300_elf_object_p (abfd)
                                         _bfd_mn10300_elf_final_write_processing
 #define elf_backend_object_p            _bfd_mn10300_elf_object_p
 
+#define bfd_elf32_bfd_merge_private_bfd_data \
+                                        _bfd_mn10300_elf_merge_private_bfd_data
 
 #include "elf32-target.h"