import gdb-2000-01-17 snapshot
[external/binutils.git] / bfd / coff-a29k.c
index 13897a9..9eb6844 100644 (file)
@@ -1,5 +1,6 @@
 /* BFD back-end for AMD 29000 COFF binaries.
-   Copyright 1990, 1991, 1992, 1993, 1994 Free Software Foundation, Inc.
+   Copyright 1990, 91, 92, 93, 94, 95, 97, 98, 1999
+   Free Software Foundation, Inc.
    Contributed by David Wood at New York University 7/8/91.
 
 This file is part of BFD, the Binary File Descriptor library.
@@ -16,14 +17,13 @@ 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., 675 Mass Ave, Cambridge, MA 02139, USA.  */
+Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.  */
 
 #define A29K 1
 
 #include "bfd.h"
 #include "sysdep.h"
 #include "libbfd.h"
-#include "obstack.h"
 #include "coff/a29k.h"
 #include "coff/internal.h"
 #include "libcoff.h"
@@ -31,13 +31,21 @@ Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.  */
 static long get_symbol_value PARAMS ((asymbol *));
 static bfd_reloc_status_type a29k_reloc
   PARAMS ((bfd *, arelent *, asymbol *, PTR, asection *, bfd *, char **));
+static boolean coff_a29k_relocate_section
+  PARAMS ((bfd *, struct bfd_link_info *, bfd *, asection *, bfd_byte *,
+          struct internal_reloc *, struct internal_syment *, asection **));
+static boolean coff_a29k_adjust_symndx
+  PARAMS ((bfd *, struct bfd_link_info *, bfd *, asection *,
+          struct internal_reloc *, boolean *));
+
+#define COFF_DEFAULT_SECTION_ALIGNMENT_POWER (2)
 
 #define INSERT_HWORD(WORD,HWORD)       \
     (((WORD) & 0xff00ff00) | (((HWORD) & 0xff00) << 8) | ((HWORD)& 0xff))
 #define EXTRACT_HWORD(WORD) \
-    (((WORD) & 0x00ff0000) >> 8) | ((WORD)& 0xff)
+    ((((WORD) & 0x00ff0000) >> 8) | ((WORD)& 0xff))
 #define SIGN_EXTEND_HWORD(HWORD) \
-    ((HWORD) & 0x8000 ? (HWORD)|0xffff0000 : (HWORD))
+    ((HWORD) & 0x8000 ? (HWORD)|(~0xffffL) : (HWORD))
 
 /* Provided the symbol, returns the value reffed */
 static long
@@ -96,7 +104,8 @@ a29k_reloc (abfd, reloc_entry, symbol_in, data, input_section, output_bfd,
 
   }
 
-  if (symbol_in && (symbol_in->section == &bfd_und_section))
+  if (symbol_in != NULL
+      && bfd_is_und_section (symbol_in->section))
   {
     /* Keep the state machine happy in case we're called again */
     if (r_type == R_IHIHALF) 
@@ -110,7 +119,7 @@ a29k_reloc (abfd, reloc_entry, symbol_in, data, input_section, output_bfd,
   if ((part1_consth_active) && (r_type != R_IHCONST)) 
   {
     part1_consth_active = false;
-    *error_message = (char *) "Missing IHCONST";
+    *error_message = (char *) _("Missing IHCONST");
     return(bfd_reloc_dangerous);
   }
 
@@ -125,18 +134,23 @@ a29k_reloc (abfd, reloc_entry, symbol_in, data, input_section, output_bfd,
     signed_value = EXTRACT_HWORD(insn);
     signed_value = SIGN_EXTEND_HWORD(signed_value);
     signed_value <<= 2;
-    signed_value +=  sym_value + reloc_entry->addend;
-    if (((signed_value + reloc_entry->address) & ~0x3ffff) == 0)
+
+    /* See the note on the R_IREL reloc in coff_a29k_relocate_section.  */
+    if (signed_value == - (long) reloc_entry->address)
+      signed_value = 0;
+
+    signed_value += sym_value + reloc_entry->addend;
+    if ((signed_value & ~0x3ffff) == 0)
     {                          /* Absolute jmp/call */
       insn |= (1<<24);         /* Make it absolute */
-      signed_value += reloc_entry->address;
       /* FIXME: Should we change r_type to R_IABS */
     } 
     else 
     {
       /* Relative jmp/call, so subtract from the value the
         address of the place we're coming from */
-      signed_value -= (input_section->output_section->vma
+      signed_value -= (reloc_entry->address
+                      + input_section->output_section->vma
                       + input_section->output_offset);
       if (signed_value>0x1ffff || signed_value<-0x20000) 
        return(bfd_reloc_overflow);
@@ -165,7 +179,7 @@ a29k_reloc (abfd, reloc_entry, symbol_in, data, input_section, output_bfd,
     /* consth, part 2 
        Now relocate the reference */
     if (part1_consth_active == false) {
-      *error_message = (char *) "Missing IHIHALF";
+      *error_message = (char *) _("Missing IHIHALF");
       return(bfd_reloc_dangerous);
     }
     /* sym_ptr_ptr = r_symndx, in coff_slurp_reloc_table() */
@@ -180,24 +194,15 @@ a29k_reloc (abfd, reloc_entry, symbol_in, data, input_section, output_bfd,
    case R_BYTE:
     insn = bfd_get_8(abfd, hit_data); 
     unsigned_value = insn + sym_value + reloc_entry->addend;   
-    if (unsigned_value & 0xffffff00) {
-      fprintf(stderr,"Relocation problem : ");
-      fprintf(stderr,"byte value too large in module %s\n",
-             abfd->filename); 
+    if (unsigned_value & 0xffffff00)
       return(bfd_reloc_overflow);
-    }
     bfd_put_8(abfd, unsigned_value, hit_data); 
     break;
    case R_HWORD:
     insn = bfd_get_16(abfd, hit_data); 
     unsigned_value = insn + sym_value + reloc_entry->addend;   
-    if (unsigned_value & 0xffff0000) {
-      fprintf(stderr,"Relocation problem : ");
-      fprintf(stderr,"hword value too large in module %s\n",
-             abfd->filename); 
+    if (unsigned_value & 0xffff0000)
       return(bfd_reloc_overflow);
-    }
-
     bfd_put_16(abfd, insn, hit_data); 
     break;
    case R_WORD:
@@ -206,7 +211,7 @@ a29k_reloc (abfd, reloc_entry, symbol_in, data, input_section, output_bfd,
     bfd_put_32(abfd, insn, hit_data);
     break;
    default:
-    *error_message = "Unrecognized reloc";
+    *error_message = _("Unrecognized reloc");
     return (bfd_reloc_dangerous);
   }
 
@@ -231,9 +236,29 @@ a29k_reloc (abfd, reloc_entry, symbol_in, data, input_section, output_bfd,
 static reloc_howto_type howto_table[] = 
 {
   {R_ABS,     0, 3, 32, false, 0, complain_overflow_bitfield,a29k_reloc,"ABS",     true, 0xffffffff,0xffffffff, false},
-  {1},  {2},  {3},   {4},  {5},  {6},  {7},  {8},  {9}, {10},
-  {11}, {12}, {13}, {14}, {15}, {16}, {17}, {18}, {19}, {20},
-  {21}, {22}, {23},
+  EMPTY_HOWTO (1),
+  EMPTY_HOWTO (2),
+  EMPTY_HOWTO (3),
+  EMPTY_HOWTO (4),
+  EMPTY_HOWTO (5),
+  EMPTY_HOWTO (6),
+  EMPTY_HOWTO (7),
+  EMPTY_HOWTO (8),
+  EMPTY_HOWTO (9),
+  EMPTY_HOWTO (10),
+  EMPTY_HOWTO (11),
+  EMPTY_HOWTO (12),
+  EMPTY_HOWTO (13),
+  EMPTY_HOWTO (14),
+  EMPTY_HOWTO (15),
+  EMPTY_HOWTO (16),
+  EMPTY_HOWTO (17),
+  EMPTY_HOWTO (18),
+  EMPTY_HOWTO (19),
+  EMPTY_HOWTO (20),
+  EMPTY_HOWTO (21),
+  EMPTY_HOWTO (22),
+  EMPTY_HOWTO (23),
   {R_IREL,    0, 3, 32, true,  0, complain_overflow_signed,a29k_reloc,"IREL",    true, 0xffffffff,0xffffffff, false},
   {R_IABS,    0, 3, 32, false, 0, complain_overflow_bitfield, a29k_reloc,"IABS",    true, 0xffffffff,0xffffffff, false},
   {R_ILOHALF, 0, 3, 16, true,  0, complain_overflow_signed, a29k_reloc,"ILOHALF", true, 0x0000ffff,0x0000ffff, false},
@@ -274,7 +299,7 @@ reloc_processing (relent,reloc, symbols, abfd, section)
        relent->address = ihihalf_vaddr;
        ihihalf_vaddr = (bfd_vma) -1;
        relent->addend = reloc->r_symndx;               
-       relent->sym_ptr_ptr= bfd_abs_section.symbol_ptr_ptr;
+       relent->sym_ptr_ptr= bfd_abs_section_ptr->symbol_ptr_ptr;
     }
     else 
     {
@@ -302,64 +327,278 @@ reloc_processing (relent,reloc, symbols, abfd, section)
   }
 }
 
-#include "coffcode.h"
+/* The reloc processing routine for the optimized COFF linker.  */
+
+static boolean
+coff_a29k_relocate_section (output_bfd, info, input_bfd, input_section,
+                           contents, relocs, syms, sections)
+     bfd *output_bfd ATTRIBUTE_UNUSED;
+     struct bfd_link_info *info;
+     bfd *input_bfd;
+     asection *input_section;
+     bfd_byte *contents;
+     struct internal_reloc *relocs;
+     struct internal_syment *syms;
+     asection **sections;
+{
+  struct internal_reloc *rel;
+  struct internal_reloc *relend;
+  boolean hihalf;
+  bfd_vma hihalf_val;
+
+  /* If we are performing a relocateable link, we don't need to do a
+     thing.  The caller will take care of adjusting the reloc
+     addresses and symbol indices.  */
+  if (info->relocateable)
+    return true;
+
+  hihalf = false;
+  hihalf_val = 0;
+
+  rel = relocs;
+  relend = rel + input_section->reloc_count;
+  for (; rel < relend; rel++)
+    {
+      long symndx;
+      bfd_byte *loc;
+      struct coff_link_hash_entry *h;
+      struct internal_syment *sym;
+      asection *sec;
+      bfd_vma val;
+      boolean overflow;
+      unsigned long insn;
+      long signed_value;
+      unsigned long unsigned_value;
+      bfd_reloc_status_type rstat;
+
+      symndx = rel->r_symndx;
+      loc = contents + rel->r_vaddr - input_section->vma;
+
+      if (symndx == -1 || rel->r_type == R_IHCONST)
+       h = NULL;
+      else
+       h = obj_coff_sym_hashes (input_bfd)[symndx];
+
+      sym = NULL;
+      sec = NULL;
+      val = 0;
+
+      /* An R_IHCONST reloc does not have a symbol.  Instead, the
+         symbol index is an addend.  R_IHCONST is always used in
+         conjunction with R_IHHALF.  */
+      if (rel->r_type != R_IHCONST)
+       {
+         if (h == NULL)
+           {
+             if (symndx == -1)
+               sec = bfd_abs_section_ptr;
+             else
+               {
+                 sym = syms + symndx;
+                 sec = sections[symndx];
+                 val = (sec->output_section->vma
+                        + sec->output_offset
+                        + sym->n_value
+                        - sec->vma);
+               }
+           }
+         else
+           {
+             if (h->root.type == bfd_link_hash_defined
+                 || h->root.type == bfd_link_hash_defweak)
+               {
+                 sec = h->root.u.def.section;
+                 val = (h->root.u.def.value
+                        + sec->output_section->vma
+                        + sec->output_offset);
+               }
+             else
+               {
+                 if (! ((*info->callbacks->undefined_symbol)
+                        (info, h->root.root.string, input_bfd, input_section,
+                         rel->r_vaddr - input_section->vma)))
+                   return false;
+               }
+           }
+
+         if (hihalf)
+           {
+             if (! ((*info->callbacks->reloc_dangerous)
+                    (info, _("missing IHCONST reloc"), input_bfd,
+                     input_section, rel->r_vaddr - input_section->vma)))
+               return false;
+             hihalf = false;
+           }
+       }
+
+      overflow = false;
+
+      switch (rel->r_type)
+       {
+       default:
+         bfd_set_error (bfd_error_bad_value);
+         return false;
+
+       case R_IREL:
+         insn = bfd_get_32 (input_bfd, loc);
+
+         /* Extract the addend.  */
+         signed_value = EXTRACT_HWORD (insn);
+         signed_value = SIGN_EXTEND_HWORD (signed_value);
+         signed_value <<= 2;
+
+         /* Unfortunately, there are two different versions of COFF
+            a29k.  In the original AMD version, the value stored in
+            the field for the R_IREL reloc is a simple addend.  In
+            the GNU version, the value is the negative of the address
+            of the reloc within section.  We try to cope here by
+            assuming the AMD version, unless the addend is exactly
+            the negative of the address; in the latter case we assume
+            the GNU version.  This means that something like
+                .text
+                nop
+                jmp i-4
+            will fail, because the addend of -4 will happen to equal
+            the negative of the address within the section.  The
+            compiler will never generate code like this.
+
+            At some point in the future we may want to take out this
+            check.  */
+
+         if (signed_value == - (long) (rel->r_vaddr - input_section->vma))
+           signed_value = 0;
+
+         /* Determine the destination of the jump.  */
+         signed_value += val;
+
+         if ((signed_value & ~0x3ffff) == 0)
+           {
+             /* We can use an absolute jump.  */
+             insn |= (1 << 24);
+           }
+         else
+           {
+             /* Make the destination PC relative.  */
+             signed_value -= (input_section->output_section->vma
+                              + input_section->output_offset
+                              + (rel->r_vaddr - input_section->vma));
+             if (signed_value > 0x1ffff || signed_value < - 0x20000)
+               {
+                 overflow = true;
+                 signed_value = 0;
+               }
+           }
+
+         /* Put the adjusted value back into the instruction.  */
+         signed_value >>= 2;
+         insn = INSERT_HWORD (insn, signed_value);
+
+         bfd_put_32 (input_bfd, (bfd_vma) insn, loc);
+
+         break;
+
+       case R_ILOHALF:
+         insn = bfd_get_32 (input_bfd, loc);
+         unsigned_value = EXTRACT_HWORD (insn);
+         unsigned_value += val;
+         insn = INSERT_HWORD (insn, unsigned_value);
+         bfd_put_32 (input_bfd, insn, loc);
+         break;
+
+       case R_IHIHALF:
+         /* Save the value for the R_IHCONST reloc.  */
+         hihalf = true;
+         hihalf_val = val;
+         break;
+
+       case R_IHCONST:
+         if (! hihalf)
+           {
+             if (! ((*info->callbacks->reloc_dangerous)
+                    (info, _("missing IHIHALF reloc"), input_bfd,
+                     input_section, rel->r_vaddr - input_section->vma)))
+               return false;
+             hihalf_val = 0;
+           }
+
+         insn = bfd_get_32 (input_bfd, loc);
+         unsigned_value = rel->r_symndx + hihalf_val;
+         unsigned_value >>= 16;
+         insn = INSERT_HWORD (insn, unsigned_value);
+         bfd_put_32 (input_bfd, (bfd_vma) insn, loc);
+
+         hihalf = false;
+
+         break;
+
+       case R_BYTE:
+       case R_HWORD:
+       case R_WORD:
+         rstat = _bfd_relocate_contents (howto_table + rel->r_type,
+                                         input_bfd, val, loc);
+         if (rstat == bfd_reloc_overflow)
+           overflow = true;
+         else if (rstat != bfd_reloc_ok)
+           abort ();
+         break;
+       }
+
+      if (overflow)
+       {
+         const char *name;
+         char buf[SYMNMLEN + 1];
+
+         if (symndx == -1)
+           name = "*ABS*";
+         else if (h != NULL)
+           name = h->root.root.string;
+         else if (sym == NULL)
+           name = "*unknown*";
+         else if (sym->_n._n_n._n_zeroes == 0
+                  && sym->_n._n_n._n_offset != 0)
+           name = obj_coff_strings (input_bfd) + sym->_n._n_n._n_offset;
+         else
+           {
+             strncpy (buf, sym->_n._n_name, SYMNMLEN);
+             buf[SYMNMLEN] = '\0';
+             name = buf;
+           }
+
+         if (! ((*info->callbacks->reloc_overflow)
+                (info, name, howto_table[rel->r_type].name, (bfd_vma) 0,
+                 input_bfd, input_section,
+                 rel->r_vaddr - input_section->vma)))
+           return false;
+       }
+    }     
+
+  return true;
+}
+
+#define coff_relocate_section coff_a29k_relocate_section
+
+/* We don't want to change the symndx of a R_IHCONST reloc, since it
+   is actually an addend, not a symbol index at all.  */
 
-const bfd_target a29kcoff_big_vec =
+/*ARGSUSED*/
+static boolean
+coff_a29k_adjust_symndx (obfd, info, ibfd, sec, irel, adjustedp)
+     bfd *obfd ATTRIBUTE_UNUSED;
+     struct bfd_link_info *info ATTRIBUTE_UNUSED;
+     bfd *ibfd ATTRIBUTE_UNUSED;
+     asection *sec ATTRIBUTE_UNUSED;
+     struct internal_reloc *irel;
+     boolean *adjustedp;
 {
-  "coff-a29k-big",             /* name */
-  bfd_target_coff_flavour,
-  true,                                /* data byte order is big */
-  true,                                /* header byte order is big */
-
-  (HAS_RELOC | EXEC_P |                /* object flags */
-   HAS_LINENO | HAS_DEBUG |
-   HAS_SYMS | HAS_LOCALS | WP_TEXT),
-
-  (SEC_HAS_CONTENTS | SEC_ALLOC /* section flags */
-   | SEC_LOAD | SEC_RELOC  
-   | SEC_READONLY ),
-  '_',                         /* leading underscore */
-  '/',                         /* ar_pad_char */
-  15,                          /* ar_max_namelen */
-  2,                           /* minimum section alignment */
-  /* 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_getb64, bfd_getb_signed_64, bfd_putb64,
-     bfd_getb32, bfd_getb_signed_32,   bfd_putb32,
-     bfd_getb16, bfd_getb_signed_16, bfd_putb16,
-
- {
-           
-   _bfd_dummy_target,
-   coff_object_p,
-   bfd_generic_archive_p,
-   _bfd_dummy_target
-  },
- {
-   bfd_false,
-   coff_mkobject,
-   _bfd_generic_mkarchive,
-   bfd_false
-  },
- {
-   bfd_false,
-   coff_write_object_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
- };
+  if (irel->r_type == R_IHCONST)
+    *adjustedp = true;
+  else
+    *adjustedp = false;
+  return true;
+}
+
+#define coff_adjust_symndx coff_a29k_adjust_symndx
+
+#include "coffcode.h"
+
+CREATE_BIG_COFF_TARGET_VEC (a29kcoff_big_vec, "coff-a29k-big", 0, SEC_READONLY, '_', NULL)