LD/ELF: Unify STB_GNU_UNIQUE handling
[deliverable/binutils-gdb.git] / bfd / coff-h8300.c
index 1de570fb84961f89772cb6a563604f9a21ba6dc2..66de2be7f23804581186b885feb4795b8ea3b072 100644 (file)
-/* BFD back-end for Hitachi H8/300 COFF binaries.
-   Copyright 1990, 91, 92, 93, 94, 95, 1996 Free Software Foundation, Inc.
+/* BFD back-end for Renesas H8/300 COFF binaries.
+   Copyright (C) 1990-2016 Free Software Foundation, Inc.
    Written by Steve Chamberlain, <sac@cygnus.com>.
 
    Written by Steve Chamberlain, <sac@cygnus.com>.
 
-This file is part of BFD, the Binary File Descriptor library.
+   This file is part of BFD, the Binary File Descriptor library.
 
 
-This program is free software; you can redistribute it and/or modify
-it under the terms of the GNU General Public License as published by
-the Free Software Foundation; either version 2 of the License, or
-(at your option) any later version.
+   This program is free software; you can redistribute it and/or modify
+   it under the terms of the GNU General Public License as published by
+   the Free Software Foundation; either version 3 of the License, or
+   (at your option) any later version.
 
 
-This program is distributed in the hope that it will be useful,
-but WITHOUT ANY WARRANTY; without even the implied warranty of
-MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
-GNU General Public License for more details.
+   This program is distributed in the hope that it will be useful,
+   but WITHOUT ANY WARRANTY; without even the implied warranty of
+   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+   GNU General Public License for more details.
 
 
-You should have received a copy of the GNU General Public License
-along with this program; if not, write to the Free Software
-Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.  */
+   You should have received a copy of the GNU General Public License
+   along with this program; if not, write to the Free Software
+   Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
+   MA 02110-1301, USA.  */
 
 
-#include "bfd.h"
 #include "sysdep.h"
 #include "sysdep.h"
-#include "obstack.h"
+#include "bfd.h"
 #include "libbfd.h"
 #include "bfdlink.h"
 #include "genlink.h"
 #include "coff/h8300.h"
 #include "coff/internal.h"
 #include "libcoff.h"
 #include "libbfd.h"
 #include "bfdlink.h"
 #include "genlink.h"
 #include "coff/h8300.h"
 #include "coff/internal.h"
 #include "libcoff.h"
+#include "libiberty.h"
 
 #define COFF_DEFAULT_SECTION_ALIGNMENT_POWER (1)
 
 
 #define COFF_DEFAULT_SECTION_ALIGNMENT_POWER (1)
 
+/* We derive a hash table from the basic BFD hash table to
+   hold entries in the function vector.  Aside from the
+   info stored by the basic hash table, we need the offset
+   of a particular entry within the hash table as well as
+   the offset where we'll add the next entry.  */
+
+struct funcvec_hash_entry
+  {
+    /* The basic hash table entry.  */
+    struct bfd_hash_entry root;
+
+    /* The offset within the vectors section where
+       this entry lives.  */
+    bfd_vma offset;
+  };
+
+struct funcvec_hash_table
+  {
+    /* The basic hash table.  */
+    struct bfd_hash_table root;
+
+    bfd *abfd;
+
+    /* Offset at which we'll add the next entry.  */
+    unsigned int offset;
+  };
+
+
+/* To lookup a value in the function vector hash table.  */
+#define funcvec_hash_lookup(table, string, create, copy) \
+  ((struct funcvec_hash_entry *) \
+   bfd_hash_lookup (&(table)->root, (string), (create), (copy)))
+
+/* The derived h8300 COFF linker table.  Note it's derived from
+   the generic linker hash table, not the COFF backend linker hash
+   table!  We use this to attach additional data structures we
+   need while linking on the h8300.  */
+struct h8300_coff_link_hash_table {
+  /* The main hash table.  */
+  struct generic_link_hash_table root;
+
+  /* Section for the vectors table.  This gets attached to a
+     random input bfd, we keep it here for easy access.  */
+  asection *vectors_sec;
+
+  /* Hash table of the functions we need to enter into the function
+     vector.  */
+  struct funcvec_hash_table *funcvec_hash_table;
+};
+
+static struct bfd_link_hash_table *h8300_coff_link_hash_table_create (bfd *);
+
+/* Get the H8/300 COFF linker hash table from a link_info structure.  */
+
+#define h8300_coff_hash_table(p) \
+  ((struct h8300_coff_link_hash_table *) ((coff_hash_table (p))))
+
+/* Initialize fields within a funcvec hash table entry.  Called whenever
+   a new entry is added to the funcvec hash table.  */
+
+static struct bfd_hash_entry *
+funcvec_hash_newfunc (struct bfd_hash_entry *entry,
+                     struct bfd_hash_table *gen_table,
+                     const char *string)
+{
+  struct funcvec_hash_entry *ret;
+  struct funcvec_hash_table *table;
+
+  ret = (struct funcvec_hash_entry *) entry;
+  table = (struct funcvec_hash_table *) gen_table;
+
+  /* Allocate the structure if it has not already been allocated by a
+     subclass.  */
+  if (ret == NULL)
+    ret = ((struct funcvec_hash_entry *)
+          bfd_hash_allocate (gen_table,
+                             sizeof (struct funcvec_hash_entry)));
+  if (ret == NULL)
+    return NULL;
+
+  /* Call the allocation method of the superclass.  */
+  ret = ((struct funcvec_hash_entry *)
+        bfd_hash_newfunc ((struct bfd_hash_entry *) ret, gen_table, string));
+
+  if (ret == NULL)
+    return NULL;
+
+  /* Note where this entry will reside in the function vector table.  */
+  ret->offset = table->offset;
+
+  /* Bump the offset at which we store entries in the function
+     vector.  We'd like to bump up the size of the vectors section,
+     but it's not easily available here.  */
+ switch (bfd_get_mach (table->abfd))
+   {
+   case bfd_mach_h8300:
+   case bfd_mach_h8300hn:
+   case bfd_mach_h8300sn:
+     table->offset += 2;
+     break;
+   case bfd_mach_h8300h:
+   case bfd_mach_h8300s:
+     table->offset += 4;
+     break;
+   default:
+     return NULL;
+   }
+
+  /* Everything went OK.  */
+  return (struct bfd_hash_entry *) ret;
+}
+
+/* Initialize the function vector hash table.  */
+
+static bfd_boolean
+funcvec_hash_table_init (struct funcvec_hash_table *table,
+                        bfd *abfd,
+                        struct bfd_hash_entry *(*newfunc)
+                          (struct bfd_hash_entry *,
+                           struct bfd_hash_table *,
+                           const char *),
+                        unsigned int entsize)
+{
+  /* Initialize our local fields, then call the generic initialization
+     routine.  */
+  table->offset = 0;
+  table->abfd = abfd;
+  return (bfd_hash_table_init (&table->root, newfunc, entsize));
+}
+
+/* Create the derived linker hash table.  We use a derived hash table
+   basically to hold "static" information during an H8/300 coff link
+   without using static variables.  */
+
+static struct bfd_link_hash_table *
+h8300_coff_link_hash_table_create (bfd *abfd)
+{
+  struct h8300_coff_link_hash_table *ret;
+  bfd_size_type amt = sizeof (struct h8300_coff_link_hash_table);
+
+  ret = (struct h8300_coff_link_hash_table *) bfd_zmalloc (amt);
+  if (ret == NULL)
+    return NULL;
+  if (!_bfd_link_hash_table_init (&ret->root.root, abfd,
+                                 _bfd_generic_link_hash_newfunc,
+                                 sizeof (struct generic_link_hash_entry)))
+    {
+      free (ret);
+      return NULL;
+    }
+
+  return &ret->root.root;
+}
 
 
-/* special handling for H8/300 relocs.
+/* Special handling for H8/300 relocs.
    We only come here for pcrel stuff and return normally if not an -r link.
    When doing -r, we can't do any arithmetic for the pcrel stuff, because
    the code in reloc.c assumes that we can manipulate the targets of
    We only come here for pcrel stuff and return normally if not an -r link.
    When doing -r, we can't do any arithmetic for the pcrel stuff, because
    the code in reloc.c assumes that we can manipulate the targets of
-   the pcrel branches.  This isn't so, since the H8/300 can do relaxing, 
+   the pcrel branches.  This isn't so, since the H8/300 can do relaxing,
    which means that the gap after the instruction may not be enough to
    which means that the gap after the instruction may not be enough to
-   contain the offset required for the branch, so we have to use the only
-   the addend until the final link */
+   contain the offset required for the branch, so we have to use only
+   the addend until the final link */
 
 static bfd_reloc_status_type
 
 static bfd_reloc_status_type
-special (abfd, reloc_entry, symbol, data, input_section, output_bfd,
-                error_message)
-     bfd *abfd;
-     arelent *reloc_entry;
-     asymbol *symbol;
-     PTR data;
-     asection *input_section;
-     bfd *output_bfd;
-     char **error_message;
+special (bfd *      abfd ATTRIBUTE_UNUSED,
+        arelent *  reloc_entry ATTRIBUTE_UNUSED,
+        asymbol *  symbol ATTRIBUTE_UNUSED,
+        void *     data ATTRIBUTE_UNUSED,
+        asection * input_section ATTRIBUTE_UNUSED,
+        bfd *      output_bfd,
+        char **    error_message ATTRIBUTE_UNUSED)
 {
   if (output_bfd == (bfd *) NULL)
     return bfd_reloc_continue;
 
 {
   if (output_bfd == (bfd *) NULL)
     return bfd_reloc_continue;
 
+  /* Adjust the reloc address to that in the output section.  */
+  reloc_entry->address += input_section->output_offset;
   return bfd_reloc_ok;
 }
 
 static reloc_howto_type howto_table[] =
 {
   return bfd_reloc_ok;
 }
 
 static reloc_howto_type howto_table[] =
 {
-  HOWTO (R_RELBYTE, 0, 0, 8, false, 0, complain_overflow_bitfield, special, "8", false, 0x000000ff, 0x000000ff, false),
-  HOWTO (R_RELWORD, 0, 1, 16, false, 0, complain_overflow_bitfield, special, "16", false, 0x0000ffff, 0x0000ffff, false),
-  HOWTO (R_RELLONG, 0, 2, 32, false, 0, complain_overflow_bitfield, special, "32", false, 0xffffffff, 0xffffffff, false),
-  HOWTO (R_PCRBYTE, 0, 0, 8, true, 0, complain_overflow_signed, special, "DISP8", false, 0x000000ff, 0x000000ff, true),
-  HOWTO (R_PCRWORD, 0, 1, 16, true, 0, complain_overflow_signed, special, "DISP16", false, 0x0000ffff, 0x0000ffff, true),
-  HOWTO (R_PCRLONG, 0, 2, 32, true, 0, complain_overflow_signed, special, "DISP32", false, 0xffffffff, 0xffffffff, true),
-  HOWTO (R_MOVB1, 0, 1, 16, false, 0, complain_overflow_bitfield, special, "16/8", false, 0x0000ffff, 0x0000ffff, false),
-  HOWTO (R_MOVB2, 0, 1, 16, false, 0, complain_overflow_bitfield, special, "8/16", false, 0x0000ffff, 0x0000ffff, false),
-  HOWTO (R_JMP1, 0, 1, 16, false, 0, complain_overflow_bitfield, special, "16/pcrel", false, 0x0000ffff, 0x0000ffff, false),
-  HOWTO (R_JMP2, 0, 0, 8, false, 0, complain_overflow_bitfield, special, "pcrecl/16", false, 0x000000ff, 0x000000ff, false),
-
-
-  HOWTO (R_JMPL1, 0, 2, 32, false, 0, complain_overflow_bitfield, special, "24/pcrell", false, 0x00ffffff, 0x00ffffff, false),
-  HOWTO (R_JMPL_B8, 0, 0, 8, false, 0, complain_overflow_bitfield, special, "pc8/24", false, 0x000000ff, 0x000000ff, false),
-
-  HOWTO (R_MOVLB1, 0, 1, 16, false, 0, complain_overflow_bitfield,special, "24/8", false, 0x0000ffff, 0x0000ffff, false),
-  HOWTO (R_MOVLB2, 0, 1, 16, false, 0, complain_overflow_bitfield, special, "8/24", false, 0x0000ffff, 0x0000ffff, false),
+  HOWTO (R_RELBYTE, 0, 0, 8, FALSE, 0, complain_overflow_bitfield, special, "8", FALSE, 0x000000ff, 0x000000ff, FALSE),
+  HOWTO (R_RELWORD, 0, 1, 16, FALSE, 0, complain_overflow_bitfield, special, "16", FALSE, 0x0000ffff, 0x0000ffff, FALSE),
+  HOWTO (R_RELLONG, 0, 2, 32, FALSE, 0, complain_overflow_bitfield, special, "32", FALSE, 0xffffffff, 0xffffffff, FALSE),
+  HOWTO (R_PCRBYTE, 0, 0, 8, TRUE, 0, complain_overflow_signed, special, "DISP8", FALSE, 0x000000ff, 0x000000ff, TRUE),
+  HOWTO (R_PCRWORD, 0, 1, 16, TRUE, 0, complain_overflow_signed, special, "DISP16", FALSE, 0x0000ffff, 0x0000ffff, TRUE),
+  HOWTO (R_PCRLONG, 0, 2, 32, TRUE, 0, complain_overflow_signed, special, "DISP32", FALSE, 0xffffffff, 0xffffffff, TRUE),
+  HOWTO (R_MOV16B1, 0, 1, 16, FALSE, 0, complain_overflow_bitfield, special, "relaxable mov.b:16", FALSE, 0x0000ffff, 0x0000ffff, FALSE),
+  HOWTO (R_MOV16B2, 0, 1, 8, FALSE, 0, complain_overflow_bitfield, special, "relaxed mov.b:16", FALSE, 0x000000ff, 0x000000ff, FALSE),
+  HOWTO (R_JMP1, 0, 1, 16, FALSE, 0, complain_overflow_bitfield, special, "16/pcrel", FALSE, 0x0000ffff, 0x0000ffff, FALSE),
+  HOWTO (R_JMP2, 0, 0, 8, FALSE, 0, complain_overflow_bitfield, special, "pcrecl/16", FALSE, 0x000000ff, 0x000000ff, FALSE),
+  HOWTO (R_JMPL1, 0, 2, 32, FALSE, 0, complain_overflow_bitfield, special, "24/pcrell", FALSE, 0x00ffffff, 0x00ffffff, FALSE),
+  HOWTO (R_JMPL2, 0, 0, 8, FALSE, 0, complain_overflow_bitfield, special, "pc8/24", FALSE, 0x000000ff, 0x000000ff, FALSE),
+  HOWTO (R_MOV24B1, 0, 1, 32, FALSE, 0, complain_overflow_bitfield, special, "relaxable mov.b:24", FALSE, 0xffffffff, 0xffffffff, FALSE),
+  HOWTO (R_MOV24B2, 0, 1, 8, FALSE, 0, complain_overflow_bitfield, special, "relaxed mov.b:24", FALSE, 0x0000ffff, 0x0000ffff, FALSE),
 
   /* An indirect reference to a function.  This causes the function's address
      to be added to the function vector in lo-mem and puts the address of
      the function vector's entry in the jsr instruction.  */
 
   /* An indirect reference to a function.  This causes the function's address
      to be added to the function vector in lo-mem and puts the address of
      the function vector's entry in the jsr instruction.  */
-  HOWTO (R_MEM_INDIRECT, 0, 0, 8, false, 0, complain_overflow_bitfield, special, "8/indirect", false, 0x000000ff, 0x000000ff, false),
+  HOWTO (R_MEM_INDIRECT, 0, 0, 8, FALSE, 0, complain_overflow_bitfield, special, "8/indirect", FALSE, 0x000000ff, 0x000000ff, FALSE),
 
 
-};
+  /* Internal reloc for relaxing.  This is created when a 16-bit pc-relative
+     branch is turned into an 8-bit pc-relative branch.  */
+  HOWTO (R_PCRWORD_B, 0, 0, 8, TRUE, 0, complain_overflow_bitfield, special, "relaxed bCC:16", FALSE, 0x000000ff, 0x000000ff, FALSE),
 
 
+  HOWTO (R_MOVL1, 0, 2, 32, FALSE, 0, complain_overflow_bitfield,special, "32/24 relaxable move", FALSE, 0xffffffff, 0xffffffff, FALSE),
 
 
-/* Turn a howto into a reloc number */
+  HOWTO (R_MOVL2, 0, 1, 16, FALSE, 0, complain_overflow_bitfield, special, "32/24 relaxed move", FALSE, 0x0000ffff, 0x0000ffff, FALSE),
 
 
-#define SELECT_RELOC(x,howto) \
-  { x.r_type = select_reloc(howto); }
+  HOWTO (R_BCC_INV, 0, 0, 8, TRUE, 0, complain_overflow_signed, special, "DISP8 inverted", FALSE, 0x000000ff, 0x000000ff, TRUE),
 
 
-#define BADMAG(x) (H8300BADMAG(x)&& H8300HBADMAG(x))
-#define H8300 1                        /* Customize coffcode.h */
-#define __A_MAGIC_SET__
+  HOWTO (R_JMP_DEL, 0, 0, 8, TRUE, 0, complain_overflow_signed, special, "Deleted jump", FALSE, 0x000000ff, 0x000000ff, TRUE),
+};
 
 
+/* Turn a howto into a reloc number.  */
 
 
+#define SELECT_RELOC(x,howto) \
+  { x.r_type = select_reloc (howto); }
+
+#define BADMAG(x) (H8300BADMAG (x) && H8300HBADMAG (x) && H8300SBADMAG (x) \
+                                  && H8300HNBADMAG(x) && H8300SNBADMAG(x))
+#define H8300 1                        /* Customize coffcode.h  */
+#define __A_MAGIC_SET__
 
 
-/* Code to swap in the reloc */
-#define SWAP_IN_RELOC_OFFSET   bfd_h_get_32
-#define SWAP_OUT_RELOC_OFFSET bfd_h_put_32
+/* Code to swap in the reloc */
+#define SWAP_IN_RELOC_OFFSET   H_GET_32
+#define SWAP_OUT_RELOC_OFFSET  H_PUT_32
 #define SWAP_OUT_RELOC_EXTRA(abfd, src, dst) \
   dst->r_stuff[0] = 'S'; \
   dst->r_stuff[1] = 'C';
 
 #define SWAP_OUT_RELOC_EXTRA(abfd, src, dst) \
   dst->r_stuff[0] = 'S'; \
   dst->r_stuff[1] = 'C';
 
-
 static int
 static int
-select_reloc (howto)
-     reloc_howto_type *howto;
+select_reloc (reloc_howto_type *howto)
 {
   return howto->type;
 }
 
 {
   return howto->type;
 }
 
-/* Code to turn a r_type into a howto ptr, uses the above howto table
-   */
+/* Code to turn a r_type into a howto ptr, uses the above howto table.  */
 
 static void
 
 static void
-rtype2howto (internal, dst)
-     arelent *internal;
-     struct internal_reloc *dst;
+rtype2howto (arelent *internal, struct internal_reloc *dst)
 {
   switch (dst->r_type)
     {
 {
   switch (dst->r_type)
     {
@@ -139,10 +294,10 @@ rtype2howto (internal, dst)
     case R_PCRLONG:
       internal->howto = howto_table + 5;
       break;
     case R_PCRLONG:
       internal->howto = howto_table + 5;
       break;
-    case R_MOVB1:
+    case R_MOV16B1:
       internal->howto = howto_table + 6;
       break;
       internal->howto = howto_table + 6;
       break;
-    case R_MOVB2:
+    case R_MOV16B2:
       internal->howto = howto_table + 7;
       break;
     case R_JMP1:
       internal->howto = howto_table + 7;
       break;
     case R_JMP1:
@@ -154,451 +309,1104 @@ rtype2howto (internal, dst)
     case R_JMPL1:
       internal->howto = howto_table + 10;
       break;
     case R_JMPL1:
       internal->howto = howto_table + 10;
       break;
-    case R_JMPL_B8:
+    case R_JMPL2:
       internal->howto = howto_table + 11;
       break;
       internal->howto = howto_table + 11;
       break;
-    case R_MOVLB1:
+    case R_MOV24B1:
       internal->howto = howto_table + 12;
       break;
       internal->howto = howto_table + 12;
       break;
-    case R_MOVLB2:
+    case R_MOV24B2:
       internal->howto = howto_table + 13;
       break;
     case R_MEM_INDIRECT:
       internal->howto = howto_table + 14;
       break;
       internal->howto = howto_table + 13;
       break;
     case R_MEM_INDIRECT:
       internal->howto = howto_table + 14;
       break;
+    case R_PCRWORD_B:
+      internal->howto = howto_table + 15;
+      break;
+    case R_MOVL1:
+      internal->howto = howto_table + 16;
+      break;
+    case R_MOVL2:
+      internal->howto = howto_table + 17;
+      break;
+    case R_BCC_INV:
+      internal->howto = howto_table + 18;
+      break;
+    case R_JMP_DEL:
+      internal->howto = howto_table + 19;
+      break;
     default:
     default:
-      abort ();
+      internal->howto = NULL;
       break;
     }
 }
 
       break;
     }
 }
 
-#define RTYPE2HOWTO(internal, relocentry) rtype2howto(internal,relocentry)
-
-
-/* Perform any necessaru magic to the addend in a reloc entry */
+#define RTYPE2HOWTO(internal, relocentry) rtype2howto (internal, relocentry)
 
 
+/* Perform any necessary magic to the addend in a reloc entry.  */
 
 #define CALC_ADDEND(abfd, symbol, ext_reloc, cache_ptr) \
 
 #define CALC_ADDEND(abfd, symbol, ext_reloc, cache_ptr) \
- cache_ptr->addend =  ext_reloc.r_offset;
-
+ cache_ptr->addend = ext_reloc.r_offset;
 
 #define RELOC_PROCESSING(relent,reloc,symbols,abfd,section) \
 
 #define RELOC_PROCESSING(relent,reloc,symbols,abfd,section) \
- reloc_processing(relent, reloc, symbols, abfd, section)
+ reloc_processing (relent, reloc, symbols, abfd, section)
 
 static void
 
 static void
-reloc_processing (relent, reloc, symbols, abfd, section)
-     arelent * relent;
-     struct internal_reloc *reloc;
-     asymbol ** symbols;
-     bfd * abfd;
-     asection * section;
+reloc_processing (arelent *relent, struct internal_reloc *reloc,
+                 asymbol **symbols, bfd *abfd, asection *section)
 {
   relent->address = reloc->r_vaddr;
   rtype2howto (relent, reloc);
 
   if (((int) reloc->r_symndx) > 0)
 {
   relent->address = reloc->r_vaddr;
   rtype2howto (relent, reloc);
 
   if (((int) reloc->r_symndx) > 0)
-    {
-      relent->sym_ptr_ptr = symbols + obj_convert (abfd)[reloc->r_symndx];
-    }
+    relent->sym_ptr_ptr = symbols + obj_convert (abfd)[reloc->r_symndx];
   else
   else
-    {
-      relent->sym_ptr_ptr = bfd_abs_section_ptr->symbol_ptr_ptr;
-    }
+    relent->sym_ptr_ptr = bfd_abs_section_ptr->symbol_ptr_ptr;
 
 
+  relent->addend = reloc->r_offset;
+  relent->address -= section->vma;
+}
 
 
+static bfd_boolean
+h8300_symbol_address_p (bfd *abfd, asection *input_section, bfd_vma address)
+{
+  asymbol **s;
 
 
-  relent->addend = reloc->r_offset;
+  s = _bfd_generic_link_get_symbols (abfd);
+  BFD_ASSERT (s != (asymbol **) NULL);
 
 
-  relent->address -= section->vma;
-  /*  relent->section = 0;*/
+  /* Search all the symbols for one in INPUT_SECTION with
+     address ADDRESS.  */
+  while (*s)
+    {
+      asymbol *p = *s;
+
+      if (p->section == input_section
+         && (input_section->output_section->vma
+             + input_section->output_offset
+             + p->value) == address)
+       return TRUE;
+      s++;
+    }
+  return FALSE;
 }
 
 }
 
+/* If RELOC represents a relaxable instruction/reloc, change it into
+   the relaxed reloc, notify the linker that symbol addresses
+   have changed (bfd_perform_slip) and return how much the current
+   section has shrunk by.
+
+   FIXME: Much of this code has knowledge of the ordering of entries
+   in the howto table.  This needs to be fixed.  */
 
 static int
 
 static int
-h8300_reloc16_estimate(abfd, input_section, reloc, shrink, link_info)
-     bfd *abfd;
-     asection *input_section;
-     arelent *reloc;
-     unsigned int shrink;
-     struct bfd_link_info *link_info;
+h8300_reloc16_estimate (bfd *abfd, asection *input_section, arelent *reloc,
+                       unsigned int shrink, struct bfd_link_info *link_info)
 {
 {
-  bfd_vma value;  
+  bfd_vma value;
   bfd_vma dot;
   bfd_vma gap;
   bfd_vma dot;
   bfd_vma gap;
+  static asection *last_input_section = NULL;
+  static arelent *last_reloc = NULL;
 
 
-  /* The address of the thing to be relocated will have moved back by 
-   the size of the shrink  - but we don't change reloc->address here,
-   since we need it to know where the relocation lives in the source
-   uncooked section */
-
-  /*  reloc->address -= shrink;   conceptual */
-
+  /* The address of the thing to be relocated will have moved back by
+     the size of the shrink - but we don't change reloc->address here,
+     since we need it to know where the relocation lives in the source
+     uncooked section.  */
   bfd_vma address = reloc->address - shrink;
   bfd_vma address = reloc->address - shrink;
-  
 
 
+  if (input_section != last_input_section)
+    last_reloc = NULL;
+
+  /* Only examine the relocs which might be relaxable.  */
   switch (reloc->howto->type)
   switch (reloc->howto->type)
-    {     
-    case R_MOVB2:
-    case R_JMP2:
-      shrink+=2;
-      break;
+    {
+      /* This is the 16-/24-bit absolute branch which could become an
+        8-bit pc-relative branch.  */
+    case R_JMP1:
+    case R_JMPL1:
+      /* Get the address of the target of this branch.  */
+      value = bfd_coff_reloc16_get_value (reloc, link_info, input_section);
 
 
-      /* Thing is a move one byte */
-    case R_MOVB1:
-      value = bfd_coff_reloc16_get_value(reloc, link_info, input_section);
+      /* Get the address of the next instruction (not the reloc).  */
+      dot = (input_section->output_section->vma
+            + input_section->output_offset + address);
 
 
-      if (value >= 0xff00)
-       { 
+      /* Adjust for R_JMP1 vs R_JMPL1.  */
+      dot += (reloc->howto->type == R_JMP1 ? 1 : 2);
 
 
-         /* Change the reloc type from 16bit, possible 8 to 8bit
-            possible 16 */
-         reloc->howto = reloc->howto + 1;        
-         /* The place to relc moves back by one */
-         /* This will be two bytes smaller in the long run */
-         shrink +=2 ;
-         bfd_perform_slip(abfd, 2, input_section, address);
-       }      
+      /* Compute the distance from this insn to the branch target.  */
+      gap = value - dot;
 
 
+      /* If the distance is within -128..+128 inclusive, then we can relax
+        this jump.  +128 is valid since the target will move two bytes
+        closer if we do relax this branch.  */
+      if ((int) gap >= -128 && (int) gap <= 128)
+       {
+         bfd_byte code;
+
+         if (!bfd_get_section_contents (abfd, input_section, & code,
+                                        reloc->address, 1))
+           break;
+         code = bfd_get_8 (abfd, & code);
+
+         /* It's possible we may be able to eliminate this branch entirely;
+            if the previous instruction is a branch around this instruction,
+            and there's no label at this instruction, then we can reverse
+            the condition on the previous branch and eliminate this jump.
+
+              original:                        new:
+                bCC lab1                       bCC' lab2
+                jmp lab2
+               lab1:                           lab1:
+
+            This saves 4 bytes instead of two, and should be relatively
+            common.
+
+            Only perform this optimisation for jumps (code 0x5a) not
+            subroutine calls, as otherwise it could transform:
+
+                            mov.w   r0,r0
+                            beq     .L1
+                            jsr     @_bar
+                     .L1:   rts
+                     _bar:  rts
+            into:
+                            mov.w   r0,r0
+                            bne     _bar
+                            rts
+                     _bar:  rts
+
+            which changes the call (jsr) into a branch (bne).  */
+         if (code == 0x5a
+             && gap <= 126
+             && last_reloc
+             && last_reloc->howto->type == R_PCRBYTE)
+           {
+             bfd_vma last_value;
+             last_value = bfd_coff_reloc16_get_value (last_reloc, link_info,
+                                                      input_section) + 1;
+
+             if (last_value == dot + 2
+                 && last_reloc->address + 1 == reloc->address
+                 && !h8300_symbol_address_p (abfd, input_section, dot - 2))
+               {
+                 reloc->howto = howto_table + 19;
+                 last_reloc->howto = howto_table + 18;
+                 last_reloc->sym_ptr_ptr = reloc->sym_ptr_ptr;
+                 last_reloc->addend = reloc->addend;
+                 shrink += 4;
+                 bfd_perform_slip (abfd, 4, input_section, address);
+                 break;
+               }
+           }
+
+         /* Change the reloc type.  */
+         reloc->howto = reloc->howto + 1;
+
+         /* This shrinks this section by two bytes.  */
+         shrink += 2;
+         bfd_perform_slip (abfd, 2, input_section, address);
+       }
       break;
       break;
-      /* This is the 24 bit branch which could become an 8 bitter, 
-       the relocation points to the first byte of the insn, not the
-       actual data */
 
 
-    case R_JMPL1:
-      value = bfd_coff_reloc16_get_value(reloc, link_info, input_section);
-       
+    /* This is the 16-bit pc-relative branch which could become an 8-bit
+       pc-relative branch.  */
+    case R_PCRWORD:
+      /* Get the address of the target of this branch, add one to the value
+        because the addend field in PCrel jumps is off by -1.  */
+      value = bfd_coff_reloc16_get_value (reloc, link_info, input_section) + 1;
+
+      /* Get the address of the next instruction if we were to relax.  */
       dot = input_section->output_section->vma +
        input_section->output_offset + address;
       dot = input_section->output_section->vma +
        input_section->output_offset + address;
-  
-      /* See if the address we're looking at within 127 bytes of where
-        we are, if so then we can use a small branch rather than the
-        jump we were going to */
-
-      gap = value - dot ;
-  
-      if (-120 < (long)gap && (long)gap < 120 )
-       { 
-
-         /* Change the reloc type from 24bit, possible 8 to 8bit
-            possible 32 */
-         reloc->howto = reloc->howto + 1;        
-         /* This will be two bytes smaller in the long run */
-         shrink +=2 ;
-         bfd_perform_slip(abfd, 2, input_section, address);
+
+      /* Compute the distance from this insn to the branch target.  */
+      gap = value - dot;
+
+      /* If the distance is within -128..+128 inclusive, then we can relax
+        this jump.  +128 is valid since the target will move two bytes
+        closer if we do relax this branch.  */
+      if ((int) gap >= -128 && (int) gap <= 128)
+       {
+         /* Change the reloc type.  */
+         reloc->howto = howto_table + 15;
+
+         /* This shrinks this section by two bytes.  */
+         shrink += 2;
+         bfd_perform_slip (abfd, 2, input_section, address);
        }
       break;
 
        }
       break;
 
-    case R_JMP1:
+    /* This is a 16-bit absolute address in a mov.b insn, which can
+       become an 8-bit absolute address if it's in the right range.  */
+    case R_MOV16B1:
+      /* Get the address of the data referenced by this mov.b insn.  */
+      value = bfd_coff_reloc16_get_value (reloc, link_info, input_section);
+      value = bfd_h8300_pad_address (abfd, value);
 
 
-      value = bfd_coff_reloc16_get_value(reloc, link_info, input_section);
-       
-      dot = input_section->output_section->vma +
-       input_section->output_offset + address;
-  
-      /* See if the address we're looking at within 127 bytes of where
-        we are, if so then we can use a small branch rather than the
-        jump we were going to */
+      /* If the address is in the top 256 bytes of the address space
+        then we can relax this instruction.  */
+      if (value >= 0xffffff00u)
+       {
+         /* Change the reloc type.  */
+         reloc->howto = reloc->howto + 1;
+
+         /* This shrinks this section by two bytes.  */
+         shrink += 2;
+         bfd_perform_slip (abfd, 2, input_section, address);
+       }
+      break;
+
+    /* Similarly for a 24-bit absolute address in a mov.b.  Note that
+       if we can't relax this into an 8-bit absolute, we'll fall through
+       and try to relax it into a 16-bit absolute.  */
+    case R_MOV24B1:
+      /* Get the address of the data referenced by this mov.b insn.  */
+      value = bfd_coff_reloc16_get_value (reloc, link_info, input_section);
+      value = bfd_h8300_pad_address (abfd, value);
+
+      if (value >= 0xffffff00u)
+       {
+         /* Change the reloc type.  */
+         reloc->howto = reloc->howto + 1;
+
+         /* This shrinks this section by four bytes.  */
+         shrink += 4;
+         bfd_perform_slip (abfd, 4, input_section, address);
+
+         /* Done with this reloc.  */
+         break;
+       }
 
 
-      gap = value - (dot - shrink);
-  
+      /* FALLTHROUGH and try to turn the 24-/32-bit reloc into a 16-bit
+        reloc.  */
 
 
-      if (-120 < (long)gap && (long)gap < 120 )
-       { 
+    /* This is a 24-/32-bit absolute address in a mov insn, which can
+       become an 16-bit absolute address if it's in the right range.  */
+    case R_MOVL1:
+      /* Get the address of the data referenced by this mov insn.  */
+      value = bfd_coff_reloc16_get_value (reloc, link_info, input_section);
+      value = bfd_h8300_pad_address (abfd, value);
 
 
-         /* Change the reloc type from 16bit, possible 8 to 8bit
-            possible 16 */
-         reloc->howto = reloc->howto + 1;        
-         /* The place to relc moves back by one */
+      /* If the address is a sign-extended 16-bit value then we can
+         relax this instruction.  */
+      if (value <= 0x7fff || value >= 0xffff8000u)
+       {
+         /* Change the reloc type.  */
+         reloc->howto = howto_table + 17;
 
 
-         /* This will be two bytes smaller in the long run */
-         shrink +=;
-         bfd_perform_slip(abfd, 2, input_section, address);
+         /* This shrinks this section by two bytes.  */
+         shrink += 2;
+         bfd_perform_slip (abfd, 2, input_section, address);
        }
       break;
        }
       break;
+
+      /* No other reloc types represent relaxing opportunities.  */
+    default:
+      break;
     }
 
     }
 
-  
+  last_reloc = reloc;
+  last_input_section = input_section;
   return shrink;
 }
 
   return shrink;
 }
 
+/* Handle relocations for the H8/300, including relocs for relaxed
+   instructions.
 
 
-/* First phase of a relaxing link */
-
-/* Reloc types
-   large               small
-   R_MOVB1             R_MOVB2         mov.b with 16bit or 8 bit address
-   R_JMP1              R_JMP2          jmp or pcrel branch
-   R_JMPL1             R_JMPL_B8       24jmp or pcrel branch
-   R_MOVLB1            R_MOVLB2        24 or 8 bit reloc for mov.b
-
-*/
+   FIXME: Not all relocations check for overflow!  */
 
 static void
 
 static void
-h8300_reloc16_extra_cases (abfd, link_info, link_order, reloc, data, src_ptr,
-                          dst_ptr)
-     bfd *abfd;
-     struct bfd_link_info *link_info;
-     struct bfd_link_order *link_order;
-     arelent *reloc;
-     bfd_byte *data;
-     unsigned int *src_ptr;
-     unsigned int *dst_ptr;
+h8300_reloc16_extra_cases (bfd *abfd, struct bfd_link_info *link_info,
+                          struct bfd_link_order *link_order, arelent *reloc,
+                          bfd_byte *data, unsigned int *src_ptr,
+                          unsigned int *dst_ptr)
 {
   unsigned int src_address = *src_ptr;
   unsigned int dst_address = *dst_ptr;
   asection *input_section = link_order->u.indirect.section;
 {
   unsigned int src_address = *src_ptr;
   unsigned int dst_address = *dst_ptr;
   asection *input_section = link_order->u.indirect.section;
+  bfd_vma value;
+  bfd_vma dot;
+  int gap, tmp;
+  unsigned char temp_code;
 
   switch (reloc->howto->type)
     {
 
   switch (reloc->howto->type)
     {
-      /* A 24 bit branch which could be a 8 bit pcrel, really pointing to
-        the byte before the 24bit hole, so we can treat it as a 32bit pointer */
+    /* Generic 8-bit pc-relative relocation.  */
     case R_PCRBYTE:
     case R_PCRBYTE:
-      {
-       bfd_vma dot = link_order->offset 
-         + dst_address 
-           + link_order->u.indirect.section->output_section->vma;
-       int gap = (bfd_coff_reloc16_get_value (reloc, link_info, input_section)
-                  - dot);
-       if (gap > 127 || gap < -128)
-         {
-           if (! ((*link_info->callbacks->reloc_overflow)
-                  (link_info, bfd_asymbol_name (*reloc->sym_ptr_ptr),
-                   reloc->howto->name, reloc->addend, input_section->owner,
-                   input_section, reloc->address)))
-             abort ();
-         }
-       gap &= ~1;
-       bfd_put_8 (abfd, gap, data + dst_address);
-       dst_address++;
-       src_address++;
+      /* Get the address of the target of this branch.  */
+      value = bfd_coff_reloc16_get_value (reloc, link_info, input_section);
 
 
-       break;
-      }
+      dot = (input_section->output_offset
+            + dst_address
+            + link_order->u.indirect.section->output_section->vma);
+
+      gap = value - dot;
+
+      /* Sanity check.  */
+      if (gap < -128 || gap > 126)
+       {
+         if (! ((*link_info->callbacks->reloc_overflow)
+                (link_info, NULL,
+                 bfd_asymbol_name (*reloc->sym_ptr_ptr),
+                 reloc->howto->name, reloc->addend, input_section->owner,
+                 input_section, reloc->address)))
+           abort ();
+       }
+
+      /* Everything looks OK.  Apply the relocation and update the
+        src/dst address appropriately.  */
+      bfd_put_8 (abfd, gap, data + dst_address);
+      dst_address++;
+      src_address++;
+
+      /* All done.  */
+      break;
+
+    /* Generic 16-bit pc-relative relocation.  */
     case R_PCRWORD:
     case R_PCRWORD:
-      {
-       bfd_vma dot = link_order->offset 
-         + dst_address 
-           + link_order->u.indirect.section->output_section->vma;
-       int gap = (bfd_coff_reloc16_get_value (reloc, link_info, input_section)
-                  - dot) - 1;
-       if (gap > 32767 || gap < -32768)
-         {
-           if (! ((*link_info->callbacks->reloc_overflow)
-                  (link_info, bfd_asymbol_name (*reloc->sym_ptr_ptr),
-                   reloc->howto->name, reloc->addend, input_section->owner,
-                   input_section, reloc->address)))
-             abort ();
-         }
+      /* Get the address of the target of this branch.  */
+      value = bfd_coff_reloc16_get_value (reloc, link_info, input_section);
 
 
-       bfd_put_16 (abfd, gap, data + dst_address);
-       dst_address+=2;
-       src_address+=2;
+      /* Get the address of the instruction (not the reloc).  */
+      dot = (input_section->output_offset
+            + dst_address
+            + link_order->u.indirect.section->output_section->vma + 1);
 
 
-       break;
-      }
+      gap = value - dot;
+
+      /* Sanity check.  */
+      if (gap > 32766 || gap < -32768)
+       {
+         if (! ((*link_info->callbacks->reloc_overflow)
+                (link_info, NULL,
+                 bfd_asymbol_name (*reloc->sym_ptr_ptr),
+                 reloc->howto->name, reloc->addend, input_section->owner,
+                 input_section, reloc->address)))
+           abort ();
+       }
+
+      /* Everything looks OK.  Apply the relocation and update the
+        src/dst address appropriately.  */
+      bfd_put_16 (abfd, (bfd_vma) gap, data + dst_address);
+      dst_address += 2;
+      src_address += 2;
+
+      /* All done.  */
+      break;
 
 
-    case R_MEM_INDIRECT:       /* Temporary  */
+    /* Generic 8-bit absolute relocation.  */
     case R_RELBYTE:
     case R_RELBYTE:
-      {
-       unsigned int gap = bfd_coff_reloc16_get_value (reloc, link_info,
-                                                      input_section);
-       if (gap < 0xff 
-           || (gap >= 0x0000ff00
-               && gap <= 0x0000ffff)
-           || (   gap >= 0x00ffff00 
-               && gap <= 0x00ffffff)
-           || (   gap >= 0xffffff00
-               && gap <= 0xffffffff))
-         {
-           bfd_put_8 (abfd, gap, data + dst_address);
-           dst_address += 1;
-           src_address += 1;
-         }
-       else
-         {
-           if (! ((*link_info->callbacks->reloc_overflow)
-                  (link_info, bfd_asymbol_name (*reloc->sym_ptr_ptr),
-                   reloc->howto->name, reloc->addend, input_section->owner,
-                   input_section, reloc->address)))
-             abort ();
-         }
-      }
+      /* Get the address of the object referenced by this insn.  */
+      value = bfd_coff_reloc16_get_value (reloc, link_info, input_section);
+
+      bfd_put_8 (abfd, value & 0xff, data + dst_address);
+      dst_address += 1;
+      src_address += 1;
+
+      /* All done.  */
       break;
       break;
+
+    /* Various simple 16-bit absolute relocations.  */
+    case R_MOV16B1:
     case R_JMP1:
     case R_JMP1:
-      /* A relword which would have like to have been a pcrel */
-    case R_MOVB1:
-      /* A relword which would like to have been modified but
-            didn't make it */
     case R_RELWORD:
     case R_RELWORD:
-      bfd_put_16 (abfd,
-                 bfd_coff_reloc16_get_value (reloc, link_info, input_section),
-                 data + dst_address);
+      value = bfd_coff_reloc16_get_value (reloc, link_info, input_section);
+      bfd_put_16 (abfd, value, data + dst_address);
       dst_address += 2;
       src_address += 2;
       break;
       dst_address += 2;
       src_address += 2;
       break;
+
+    /* Various simple 24-/32-bit absolute relocations.  */
+    case R_MOV24B1:
+    case R_MOVL1:
     case R_RELLONG:
     case R_RELLONG:
-      bfd_put_32 (abfd,
-                 bfd_coff_reloc16_get_value (reloc, link_info, input_section),
-                 data + dst_address);
+      /* Get the address of the target of this branch.  */
+      value = bfd_coff_reloc16_get_value (reloc, link_info, input_section);
+      bfd_put_32 (abfd, value, data + dst_address);
+      dst_address += 4;
+      src_address += 4;
+      break;
+
+    /* Another 24-/32-bit absolute relocation.  */
+    case R_JMPL1:
+      /* Get the address of the target of this branch.  */
+      value = bfd_coff_reloc16_get_value (reloc, link_info, input_section);
+
+      value = ((value & 0x00ffffff)
+              | (bfd_get_32 (abfd, data + src_address) & 0xff000000));
+      bfd_put_32 (abfd, value, data + dst_address);
       dst_address += 4;
       src_address += 4;
       break;
 
       dst_address += 4;
       src_address += 4;
       break;
 
-    case R_MOVB2:
-      /* Special relaxed type, there will be a gap between where we
-            get stuff from and where we put stuff to now
-       
-            for a mov.b @aa:16 -> mov.b @aa:8
-            opcode 0x6a 0x0y offset
-            ->     0x2y off
-            */
-      if (data[dst_address - 1] != 0x6a)
+      /* This is a 24-/32-bit absolute address in one of the following
+        instructions:
+
+          "band", "bclr", "biand", "bild", "bior", "bist", "bixor",
+          "bld", "bnot", "bor", "bset", "bst", "btst", "bxor", "ldc.w",
+          "stc.w" and "mov.[bwl]"
+
+        We may relax this into an 16-bit absolute address if it's in
+        the right range.  */
+    case R_MOVL2:
+      value = bfd_coff_reloc16_get_value (reloc, link_info, input_section);
+      value = bfd_h8300_pad_address (abfd, value);
+
+      /* Sanity check.  */
+      if (value <= 0x7fff || value >= 0xffff8000u)
+       {
+         /* Insert the 16-bit value into the proper location.  */
+         bfd_put_16 (abfd, value, data + dst_address);
+
+         /* Fix the opcode.  For all the instructions that belong to
+            this relaxation, we simply need to turn off bit 0x20 in
+            the previous byte.  */
+         data[dst_address - 1] &= ~0x20;
+         dst_address += 2;
+         src_address += 4;
+       }
+      else
+       {
+         if (! ((*link_info->callbacks->reloc_overflow)
+                (link_info, NULL,
+                 bfd_asymbol_name (*reloc->sym_ptr_ptr),
+                 reloc->howto->name, reloc->addend, input_section->owner,
+                 input_section, reloc->address)))
+           abort ();
+       }
+      break;
+
+    /* A 16-bit absolute branch that is now an 8-bit pc-relative branch.  */
+    case R_JMP2:
+      /* Get the address of the target of this branch.  */
+      value = bfd_coff_reloc16_get_value (reloc, link_info, input_section);
+
+      /* Get the address of the next instruction.  */
+      dot = (input_section->output_offset
+            + dst_address
+            + link_order->u.indirect.section->output_section->vma + 1);
+
+      gap = value - dot;
+
+      /* Sanity check.  */
+      if (gap < -128 || gap > 126)
+       {
+         if (! ((*link_info->callbacks->reloc_overflow)
+                (link_info, NULL,
+                 bfd_asymbol_name (*reloc->sym_ptr_ptr),
+                 reloc->howto->name, reloc->addend, input_section->owner,
+                 input_section, reloc->address)))
+           abort ();
+       }
+
+      /* Now fix the instruction itself.  */
+      switch (data[dst_address - 1])
+       {
+       case 0x5e:
+         /* jsr -> bsr */
+         bfd_put_8 (abfd, 0x55, data + dst_address - 1);
+         break;
+       case 0x5a:
+         /* jmp -> bra */
+         bfd_put_8 (abfd, 0x40, data + dst_address - 1);
+         break;
+
+       default:
+         abort ();
+       }
+
+      /* Write out the 8-bit value.  */
+      bfd_put_8 (abfd, gap, data + dst_address);
+
+      dst_address += 1;
+      src_address += 3;
+
+      break;
+
+    /* A 16-bit pc-relative branch that is now an 8-bit pc-relative branch.  */
+    case R_PCRWORD_B:
+      /* Get the address of the target of this branch.  */
+      value = bfd_coff_reloc16_get_value (reloc, link_info, input_section);
+
+      /* Get the address of the instruction (not the reloc).  */
+      dot = (input_section->output_offset
+            + dst_address
+            + link_order->u.indirect.section->output_section->vma - 1);
+
+      gap = value - dot;
+
+      /* Sanity check.  */
+      if (gap < -128 || gap > 126)
+       {
+         if (! ((*link_info->callbacks->reloc_overflow)
+                (link_info, NULL,
+                 bfd_asymbol_name (*reloc->sym_ptr_ptr),
+                 reloc->howto->name, reloc->addend, input_section->owner,
+                 input_section, reloc->address)))
+           abort ();
+       }
+
+      /* Now fix the instruction.  */
+      switch (data[dst_address - 2])
+       {
+       case 0x58:
+         /* bCC:16 -> bCC:8 */
+         /* Get the second byte of the original insn, which contains
+            the condition code.  */
+         tmp = data[dst_address - 1];
+
+         /* Compute the fisrt byte of the relaxed instruction.  The
+            original sequence 0x58 0xX0 is relaxed to 0x4X, where X
+            represents the condition code.  */
+         tmp &= 0xf0;
+         tmp >>= 4;
+         tmp |= 0x40;
+
+         /* Write it.  */
+         bfd_put_8 (abfd, tmp, data + dst_address - 2);
+         break;
+
+       case 0x5c:
+         /* bsr:16 -> bsr:8 */
+         bfd_put_8 (abfd, 0x55, data + dst_address - 2);
+         break;
+
+       default:
+         abort ();
+       }
+
+      /* Output the target.  */
+      bfd_put_8 (abfd, gap, data + dst_address - 1);
+
+      /* We don't advance dst_address -- the 8-bit reloc is applied at
+        dst_address - 1, so the next insn should begin at dst_address.  */
+      src_address += 2;
+
+      break;
+
+    /* Similarly for a 24-bit absolute that is now 8 bits.  */
+    case R_JMPL2:
+      /* Get the address of the target of this branch.  */
+      value = bfd_coff_reloc16_get_value (reloc, link_info, input_section);
+
+      /* Get the address of the instruction (not the reloc).  */
+      dot = (input_section->output_offset
+            + dst_address
+            + link_order->u.indirect.section->output_section->vma + 2);
+
+      gap = value - dot;
+
+      /* Fix the instruction.  */
+      switch (data[src_address])
+       {
+       case 0x5e:
+         /* jsr -> bsr */
+         bfd_put_8 (abfd, 0x55, data + dst_address);
+         break;
+       case 0x5a:
+         /* jmp ->bra */
+         bfd_put_8 (abfd, 0x40, data + dst_address);
+         break;
+       default:
+         abort ();
+       }
+
+      bfd_put_8 (abfd, gap, data + dst_address + 1);
+      dst_address += 2;
+      src_address += 4;
+
+      break;
+
+      /* This is a 16-bit absolute address in one of the following
+        instructions:
+
+          "band", "bclr", "biand", "bild", "bior", "bist", "bixor",
+          "bld", "bnot", "bor", "bset", "bst", "btst", "bxor", and
+          "mov.b"
+
+        We may relax this into an 8-bit absolute address if it's in
+        the right range.  */
+    case R_MOV16B2:
+      value = bfd_coff_reloc16_get_value (reloc, link_info, input_section);
+
+      /* All instructions with R_H8_DIR16B2 start with 0x6a.  */
+      if (data[dst_address - 2] != 0x6a)
        abort ();
        abort ();
-      switch (data[src_address] & 0xf0)
+
+      temp_code = data[src_address - 1];
+
+      /* If this is a mov.b instruction, clear the lower nibble, which
+        contains the source/destination register number.  */
+      if ((temp_code & 0x10) != 0x10)
+       temp_code &= 0xf0;
+
+      /* Fix up the opcode.  */
+      switch (temp_code)
        {
        case 0x00:
        {
        case 0x00:
-         /* Src is memory */
-         data[dst_address - 1] = (data[src_address] & 0xf) | 0x20;
+         /* This is mov.b @aa:16,Rd.  */
+         data[dst_address - 2] = (data[src_address - 1] & 0xf) | 0x20;
          break;
        case 0x80:
          break;
        case 0x80:
-         /* Src is reg */
-         data[dst_address - 1] = (data[src_address] & 0xf) | 0x30;
+         /* This is mov.b Rs,@aa:16.  */
+         data[dst_address - 2] = (data[src_address - 1] & 0xf) | 0x30;
+         break;
+       case 0x18:
+         /* This is a bit-maniputation instruction that stores one
+            bit into memory, one of "bclr", "bist", "bnot", "bset",
+            and "bst".  */
+         data[dst_address - 2] = 0x7f;
+         break;
+       case 0x10:
+         /* This is a bit-maniputation instruction that loads one bit
+            from memory, one of "band", "biand", "bild", "bior",
+            "bixor", "bld", "bor", "btst", and "bxor".  */
+         data[dst_address - 2] = 0x7e;
          break;
        default:
          abort ();
        }
 
          break;
        default:
          abort ();
        }
 
-      /* the offset must fit ! after all, what was all the relaxing
-            about ? */
+      bfd_put_8 (abfd, value & 0xff, data + dst_address - 1);
+      src_address += 2;
+      break;
 
 
-      bfd_put_8 (abfd,
-                bfd_coff_reloc16_get_value (reloc, link_info, input_section),
-                data + dst_address);
+      /* This is a 24-bit absolute address in one of the following
+        instructions:
 
 
-      /* Note the magic - src goes up by two bytes, but dst by only
-            one */
-      dst_address += 1;
-      src_address += 3;
+          "band", "bclr", "biand", "bild", "bior", "bist", "bixor",
+          "bld", "bnot", "bor", "bset", "bst", "btst", "bxor", and
+          "mov.b"
 
 
-      break;
+        We may relax this into an 8-bit absolute address if it's in
+        the right range.  */
+    case R_MOV24B2:
+      value = bfd_coff_reloc16_get_value (reloc, link_info, input_section);
 
 
-    case R_JMP2:
-      
-      /* Speciial relaxed type */
-      {
-       bfd_vma dot = link_order->offset
-       + dst_address
-       + link_order->u.indirect.section->output_section->vma;
+      /* All instructions with R_MOV24B2 start with 0x6a.  */
+      if (data[dst_address - 2] != 0x6a)
+       abort ();
+
+      temp_code = data[src_address - 1];
 
 
-       int gap = (bfd_coff_reloc16_get_value (reloc, link_info, input_section)
-                  - dot - 1);
+      /* If this is a mov.b instruction, clear the lower nibble, which
+        contains the source/destination register number.  */
+      if ((temp_code & 0x30) != 0x30)
+       temp_code &= 0xf0;
 
 
-       if ((gap & ~0xff) != 0 && ((gap & 0xff00) != 0xff00))
+      /* Fix up the opcode.  */
+      switch (temp_code)
+       {
+       case 0x20:
+         /* This is mov.b @aa:24/32,Rd.  */
+         data[dst_address - 2] = (data[src_address - 1] & 0xf) | 0x20;
+         break;
+       case 0xa0:
+         /* This is mov.b Rs,@aa:24/32.  */
+         data[dst_address - 2] = (data[src_address - 1] & 0xf) | 0x30;
+         break;
+       case 0x38:
+         /* This is a bit-maniputation instruction that stores one
+            bit into memory, one of "bclr", "bist", "bnot", "bset",
+            and "bst".  */
+         data[dst_address - 2] = 0x7f;
+         break;
+       case 0x30:
+         /* This is a bit-maniputation instruction that loads one bit
+            from memory, one of "band", "biand", "bild", "bior",
+            "bixor", "bld", "bor", "btst", and "bxor".  */
+         data[dst_address - 2] = 0x7e;
+         break;
+       default:
          abort ();
          abort ();
+       }
 
 
-       bfd_put_8 (abfd, gap, data + dst_address);
+      bfd_put_8 (abfd, value & 0xff, data + dst_address - 1);
+      src_address += 4;
+      break;
 
 
-       switch (data[dst_address - 1])
-         {
-         case 0x5e:
-           /* jsr -> bsr */
-           bfd_put_8 (abfd, 0x55, data + dst_address - 1);
-           break;
-         case 0x5a:
-           /* jmp ->bra */
-           bfd_put_8 (abfd, 0x40, data + dst_address - 1);
-           break;
+    case R_BCC_INV:
+      /* Get the address of the target of this branch.  */
+      value = bfd_coff_reloc16_get_value (reloc, link_info, input_section);
 
 
-         default:
+      dot = (input_section->output_offset
+            + dst_address
+            + link_order->u.indirect.section->output_section->vma) + 1;
+
+      gap = value - dot;
+
+      /* Sanity check.  */
+      if (gap < -128 || gap > 126)
+       {
+         if (! ((*link_info->callbacks->reloc_overflow)
+                (link_info, NULL,
+                 bfd_asymbol_name (*reloc->sym_ptr_ptr),
+                 reloc->howto->name, reloc->addend, input_section->owner,
+                 input_section, reloc->address)))
            abort ();
            abort ();
-         }
-       dst_address++;
-       src_address += 3;
+       }
 
 
-       break;
-      }
+      /* Everything looks OK.  Fix the condition in the instruction, apply
+        the relocation, and update the src/dst address appropriately.  */
+
+      bfd_put_8 (abfd, bfd_get_8 (abfd, data + dst_address - 1) ^ 1,
+                data + dst_address - 1);
+      bfd_put_8 (abfd, gap, data + dst_address);
+      dst_address++;
+      src_address++;
+
+      /* All done.  */
       break;
       break;
-      
-    case R_JMPL_B8: /* 24 bit branch which is now 8 bits */
-      
-      /* Speciial relaxed type */
-      {
-       bfd_vma dot = link_order->offset
-       + dst_address
-       + link_order->u.indirect.section->output_section->vma;
 
 
-       int gap = (bfd_coff_reloc16_get_value (reloc, link_info, input_section)
-                  - dot - 2);
+    case R_JMP_DEL:
+      src_address += 4;
+      break;
 
 
-       if ((gap & ~0xff) != 0 && ((gap & 0xff00) != 0xff00))
-         abort ();
+    /* An 8-bit memory indirect instruction (jmp/jsr).
+
+       There's several things that need to be done to handle
+       this relocation.
 
 
-       switch (data[src_address])
+       If this is a reloc against the absolute symbol, then
+       we should handle it just R_RELBYTE.  Likewise if it's
+       for a symbol with a value ge 0 and le 0xff.
+
+       Otherwise it's a jump/call through the function vector,
+       and the linker is expected to set up the function vector
+       and put the right value into the jump/call instruction.  */
+    case R_MEM_INDIRECT:
+      {
+       /* We need to find the symbol so we can determine it's
+          address in the function vector table.  */
+       asymbol *symbol;
+       const char *name;
+       struct funcvec_hash_table *ftab;
+       struct funcvec_hash_entry *h;
+       struct h8300_coff_link_hash_table *htab;
+       asection *vectors_sec;
+
+       if (link_info->output_bfd->xvec != abfd->xvec)
          {
          {
-         case 0x5e:
-           /* jsr -> bsr */
-           bfd_put_8 (abfd, 0x55, data + dst_address);
-           break;
-         case 0x5a:
-           /* jmp ->bra */
-           bfd_put_8 (abfd, 0x40, data + dst_address);
+           (*_bfd_error_handler)
+             (_("cannot handle R_MEM_INDIRECT reloc when using %s output"),
+              link_info->output_bfd->xvec->name);
+
+           /* What else can we do?  This function doesn't allow return
+              of an error, and we don't want to call abort as that
+              indicates an internal error.  */
+#ifndef EXIT_FAILURE
+#define EXIT_FAILURE 1
+#endif
+           xexit (EXIT_FAILURE);
+         }
+       htab = h8300_coff_hash_table (link_info);
+       vectors_sec = htab->vectors_sec;
+
+       /* First see if this is a reloc against the absolute symbol
+          or against a symbol with a nonnegative value <= 0xff.  */
+       symbol = *(reloc->sym_ptr_ptr);
+       value = bfd_coff_reloc16_get_value (reloc, link_info, input_section);
+       if (symbol == bfd_abs_section_ptr->symbol
+           || value <= 0xff)
+         {
+           /* This should be handled in a manner very similar to
+              R_RELBYTES.   If the value is in range, then just slam
+              the value into the right location.  Else trigger a
+              reloc overflow callback.  */
+           if (value <= 0xff)
+             {
+               bfd_put_8 (abfd, value, data + dst_address);
+               dst_address += 1;
+               src_address += 1;
+             }
+           else
+             {
+               if (! ((*link_info->callbacks->reloc_overflow)
+                      (link_info, NULL,
+                       bfd_asymbol_name (*reloc->sym_ptr_ptr),
+                       reloc->howto->name, reloc->addend, input_section->owner,
+                       input_section, reloc->address)))
+                 abort ();
+             }
            break;
            break;
+         }
 
 
-         default:
-           bfd_put_8 (abfd, 0xde, data + dst_address);
-           break;
+       /* This is a jump/call through a function vector, and we're
+          expected to create the function vector ourselves.
+
+          First look up this symbol in the linker hash table -- we need
+          the derived linker symbol which holds this symbol's index
+          in the function vector.  */
+       name = symbol->name;
+       if (symbol->flags & BSF_LOCAL)
+         {
+           char *new_name = bfd_malloc ((bfd_size_type) strlen (name) + 10);
+
+           if (new_name == NULL)
+             abort ();
+
+           sprintf (new_name, "%s_%08x", name, symbol->section->id);
+           name = new_name;
          }
 
          }
 
-       bfd_put_8 (abfd, gap, data + dst_address + 1);
-       dst_address += 2;
-       src_address += 4;
+       ftab = htab->funcvec_hash_table;
+       h = funcvec_hash_lookup (ftab, name, FALSE, FALSE);
 
 
-       break;
-      }
+       /* This shouldn't ever happen.  If it does that means we've got
+          data corruption of some kind.  Aborting seems like a reasonable
+          thing to do here.  */
+       if (h == NULL || vectors_sec == NULL)
+         abort ();
 
 
-    case R_JMPL1:
-      {
-       int v = bfd_coff_reloc16_get_value (reloc, link_info, input_section);
-       int o = bfd_get_32 (abfd, data + src_address);
-       v = (v & 0x00ffffff) | (o & 0xff000000);
-       bfd_put_32 (abfd, v, data + dst_address);
-       dst_address += 4;
-       src_address += 4;
-      }
+       /* Place the address of the function vector entry into the
+          reloc's address.  */
+       bfd_put_8 (abfd,
+                  vectors_sec->output_offset + h->offset,
+                  data + dst_address);
 
 
-      break;
+       dst_address++;
+       src_address++;
 
 
+       /* Now create an entry in the function vector itself.  */
+       switch (bfd_get_mach (input_section->owner))
+         {
+         case bfd_mach_h8300:
+         case bfd_mach_h8300hn:
+         case bfd_mach_h8300sn:
+           bfd_put_16 (abfd,
+                       bfd_coff_reloc16_get_value (reloc,
+                                                   link_info,
+                                                   input_section),
+                       vectors_sec->contents + h->offset);
+           break;
+         case bfd_mach_h8300h:
+         case bfd_mach_h8300s:
+           bfd_put_32 (abfd,
+                       bfd_coff_reloc16_get_value (reloc,
+                                                   link_info,
+                                                   input_section),
+                       vectors_sec->contents + h->offset);
+           break;
+         default:
+           abort ();
+         }
 
 
-      /* A 24 bit mov  which could be an 8 bit move, really pointing to
-        the byte before the 24bit hole, so we can treat it as a 32bit pointer */
-    case R_MOVLB1:
-      {
-       int v = bfd_coff_reloc16_get_value (reloc, link_info, input_section);
-       int o = bfd_get_32 (abfd, data + dst_address);
-       v = (v & 0x00ffffff) | (o & 0xff000000);
-       bfd_put_32 (abfd, v, data + dst_address);
-       dst_address += 4;
-       src_address += 4;
+       /* Gross.  We've already written the contents of the vector section
+          before we get here...  So we write it again with the new data.  */
+       bfd_set_section_contents (vectors_sec->output_section->owner,
+                                 vectors_sec->output_section,
+                                 vectors_sec->contents,
+                                 (file_ptr) vectors_sec->output_offset,
+                                 vectors_sec->size);
+       break;
       }
 
       }
 
-      break;
     default:
     default:
-
       abort ();
       break;
 
     }
       abort ();
       break;
 
     }
+
   *src_ptr = src_address;
   *dst_ptr = dst_address;
   *src_ptr = src_address;
   *dst_ptr = dst_address;
+}
+
+/* Routine for the h8300 linker.
+
+   This routine is necessary to handle the special R_MEM_INDIRECT
+   relocs on the h8300.  It's responsible for generating a vectors
+   section and attaching it to an input bfd as well as sizing
+   the vectors section.  It also creates our vectors hash table.
+
+   It uses the generic linker routines to actually add the symbols.
+   from this BFD to the bfd linker hash table.  It may add a few
+   selected static symbols to the bfd linker hash table.  */
+
+static bfd_boolean
+h8300_bfd_link_add_symbols (bfd *abfd, struct bfd_link_info *info)
+{
+  asection *sec;
+  struct funcvec_hash_table *funcvec_hash_table;
+  bfd_size_type amt;
+  struct h8300_coff_link_hash_table *htab;
+
+  /* Add the symbols using the generic code.  */
+  _bfd_generic_link_add_symbols (abfd, info);
+
+  if (info->output_bfd->xvec != abfd->xvec)
+    return TRUE;
+
+  htab = h8300_coff_hash_table (info);
+
+  /* If we haven't created a vectors section, do so now.  */
+  if (!htab->vectors_sec)
+    {
+      flagword flags;
+
+      /* Make sure the appropriate flags are set, including SEC_IN_MEMORY.  */
+      flags = (SEC_ALLOC | SEC_LOAD
+              | SEC_HAS_CONTENTS | SEC_IN_MEMORY | SEC_READONLY);
+      htab->vectors_sec = bfd_make_section_with_flags (abfd, ".vectors",
+                                                      flags);
+
+      /* If the section wasn't created, or we couldn't set the flags,
+        quit quickly now, rather than dying a painful death later.  */
+      if (!htab->vectors_sec)
+       return FALSE;
+
+      /* Also create the vector hash table.  */
+      amt = sizeof (struct funcvec_hash_table);
+      funcvec_hash_table = (struct funcvec_hash_table *) bfd_alloc (abfd, amt);
+
+      if (!funcvec_hash_table)
+       return FALSE;
+
+      /* And initialize the funcvec hash table.  */
+      if (!funcvec_hash_table_init (funcvec_hash_table, abfd,
+                                   funcvec_hash_newfunc,
+                                   sizeof (struct funcvec_hash_entry)))
+       {
+         bfd_release (abfd, funcvec_hash_table);
+         return FALSE;
+       }
+
+      /* Store away a pointer to the funcvec hash table.  */
+      htab->funcvec_hash_table = funcvec_hash_table;
+    }
+
+  /* Load up the function vector hash table.  */
+  funcvec_hash_table = htab->funcvec_hash_table;
 
 
+  /* Now scan the relocs for all the sections in this bfd; create
+     additional space in the .vectors section as needed.  */
+  for (sec = abfd->sections; sec; sec = sec->next)
+    {
+      long reloc_size, reloc_count, i;
+      asymbol **symbols;
+      arelent **relocs;
+
+      /* Suck in the relocs, symbols & canonicalize them.  */
+      reloc_size = bfd_get_reloc_upper_bound (abfd, sec);
+      if (reloc_size <= 0)
+       continue;
+
+      relocs = (arelent **) bfd_malloc ((bfd_size_type) reloc_size);
+      if (!relocs)
+       return FALSE;
+
+      /* The symbols should have been read in by _bfd_generic link_add_symbols
+        call abovec, so we can cheat and use the pointer to them that was
+        saved in the above call.  */
+      symbols = _bfd_generic_link_get_symbols(abfd);
+      reloc_count = bfd_canonicalize_reloc (abfd, sec, relocs, symbols);
+      if (reloc_count <= 0)
+       {
+         free (relocs);
+         continue;
+       }
+
+      /* Now walk through all the relocations in this section.  */
+      for (i = 0; i < reloc_count; i++)
+       {
+         arelent *reloc = relocs[i];
+         asymbol *symbol = *(reloc->sym_ptr_ptr);
+         const char *name;
+
+         /* We've got an indirect reloc.  See if we need to add it
+            to the function vector table.   At this point, we have
+            to add a new entry for each unique symbol referenced
+            by an R_MEM_INDIRECT relocation except for a reloc
+            against the absolute section symbol.  */
+         if (reloc->howto->type == R_MEM_INDIRECT
+             && symbol != bfd_abs_section_ptr->symbol)
+
+           {
+             struct funcvec_hash_table *ftab;
+             struct funcvec_hash_entry *h;
+
+             name = symbol->name;
+             if (symbol->flags & BSF_LOCAL)
+               {
+                 char *new_name;
+
+                 new_name = bfd_malloc ((bfd_size_type) strlen (name) + 10);
+                 if (new_name == NULL)
+                   abort ();
+
+                 sprintf (new_name, "%s_%08x", name, symbol->section->id);
+                 name = new_name;
+               }
+
+             /* Look this symbol up in the function vector hash table.  */
+             ftab = htab->funcvec_hash_table;
+             h = funcvec_hash_lookup (ftab, name, FALSE, FALSE);
+
+             /* If this symbol isn't already in the hash table, add
+                it and bump up the size of the hash table.  */
+             if (h == NULL)
+               {
+                 h = funcvec_hash_lookup (ftab, name, TRUE, TRUE);
+                 if (h == NULL)
+                   {
+                     free (relocs);
+                     return FALSE;
+                   }
+
+                 /* Bump the size of the vectors section.  Each vector
+                    takes 2 bytes on the h8300 and 4 bytes on the h8300h.  */
+                 switch (bfd_get_mach (abfd))
+                   {
+                   case bfd_mach_h8300:
+                   case bfd_mach_h8300hn:
+                   case bfd_mach_h8300sn:
+                     htab->vectors_sec->size += 2;
+                     break;
+                   case bfd_mach_h8300h:
+                   case bfd_mach_h8300s:
+                     htab->vectors_sec->size += 4;
+                     break;
+                   default:
+                     abort ();
+                   }
+               }
+           }
+       }
+
+      /* We're done with the relocations, release them.  */
+      free (relocs);
+    }
+
+  /* Now actually allocate some space for the function vector.  It's
+     wasteful to do this more than once, but this is easier.  */
+  sec = htab->vectors_sec;
+  if (sec->size != 0)
+    {
+      /* Free the old contents.  */
+      if (sec->contents)
+       free (sec->contents);
+
+      /* Allocate new contents.  */
+      sec->contents = bfd_malloc (sec->size);
+    }
+
+  return TRUE;
 }
 
 #define coff_reloc16_extra_cases h8300_reloc16_extra_cases
 #define coff_reloc16_estimate h8300_reloc16_estimate
 }
 
 #define coff_reloc16_extra_cases h8300_reloc16_extra_cases
 #define coff_reloc16_estimate h8300_reloc16_estimate
+#define coff_bfd_link_add_symbols h8300_bfd_link_add_symbols
+#define coff_bfd_link_hash_table_create h8300_coff_link_hash_table_create
 
 #define COFF_LONG_FILENAMES
 
 #define COFF_LONG_FILENAMES
-#include "coffcode.h"
 
 
+#ifndef bfd_pe_print_pdata
+#define bfd_pe_print_pdata     NULL
+#endif
+
+#include "coffcode.h"
 
 #undef coff_bfd_get_relocated_section_contents
 #undef coff_bfd_relax_section
 
 #undef coff_bfd_get_relocated_section_contents
 #undef coff_bfd_relax_section
@@ -606,45 +1414,4 @@ h8300_reloc16_extra_cases (abfd, link_info, link_order, reloc, data, src_ptr,
   bfd_coff_reloc16_get_relocated_section_contents
 #define coff_bfd_relax_section bfd_coff_reloc16_relax_section
 
   bfd_coff_reloc16_get_relocated_section_contents
 #define coff_bfd_relax_section bfd_coff_reloc16_relax_section
 
-
-
-const bfd_target h8300coff_vec =
-{
-  "coff-h8300",                        /* name */
-  bfd_target_coff_flavour,
-  BFD_ENDIAN_BIG,              /* data byte order is big */
-  BFD_ENDIAN_BIG,              /* header byte order is big */
-
-  (HAS_RELOC | EXEC_P |                /* object flags */
-   HAS_LINENO | HAS_DEBUG |
-   HAS_SYMS | HAS_LOCALS | WP_TEXT | BFD_IS_RELAXABLE ),
-  (SEC_HAS_CONTENTS | SEC_ALLOC | SEC_LOAD | SEC_RELOC),       /* section flags */
-  '_',                         /* leading char */
-  '/',                         /* ar_pad_char */
-  15,                          /* ar_max_namelen */
-  bfd_getb64, bfd_getb_signed_64, bfd_putb64,
-  bfd_getb32, bfd_getb_signed_32, bfd_putb32,
-  bfd_getb16, bfd_getb_signed_16, bfd_putb16,  /* data */
-  bfd_getb64, bfd_getb_signed_64, bfd_putb64,
-  bfd_getb32, bfd_getb_signed_32, bfd_putb32,
-  bfd_getb16, bfd_getb_signed_16, bfd_putb16,  /* hdrs */
-
-  {_bfd_dummy_target, coff_object_p,   /* bfd_check_format */
-   bfd_generic_archive_p, _bfd_dummy_target},
-  {bfd_false, coff_mkobject, _bfd_generic_mkarchive,   /* bfd_set_format */
-   bfd_false},
-  {bfd_false, coff_write_object_contents,      /* bfd_write_contents */
-   _bfd_write_archive_contents, bfd_false},
-
-     BFD_JUMP_TABLE_GENERIC (coff),
-     BFD_JUMP_TABLE_COPY (coff),
-     BFD_JUMP_TABLE_CORE (_bfd_nocore),
-     BFD_JUMP_TABLE_ARCHIVE (_bfd_archive_coff),
-     BFD_JUMP_TABLE_SYMBOLS (coff),
-     BFD_JUMP_TABLE_RELOCS (coff),
-     BFD_JUMP_TABLE_WRITE (coff),
-     BFD_JUMP_TABLE_LINK (coff),
-     BFD_JUMP_TABLE_DYNAMIC (_bfd_nodynamic),
-
-  COFF_SWAP_TABLE,
-};
+CREATE_BIG_COFF_TARGET_VEC (h8300_coff_vec, "coff-h8300", BFD_IS_RELAXABLE, 0, '_', NULL, COFF_SWAP_TABLE)
This page took 0.042266 seconds and 4 git commands to generate.