Subversion Repositories openrisc

/* BFD back-end for Intel 960 b.out binaries.

   Copyright 1990, 1991, 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999,

   2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007

   Free Software Foundation, Inc.

   Written by Cygnus Support.

   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 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.

   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 "sysdep.h"

#include "bfd.h"

#include "libbfd.h"

#include "bfdlink.h"

#include "genlink.h"

#include "bout.h"

#include "libiberty.h"

#include "aout/stab_gnu.h"

#include "libaout.h"            /* BFD a.out internal data structures.  */

#define ABS32CODE 0

#define ABS32CODE_SHRUNK 1

#define PCREL24 2

#define CALLJ 3

#define ABS32 4

#define PCREL13 5

#define ABS32_MAYBE_RELAXABLE 1

#define ABS32_WAS_RELAXABLE 2

#define ALIGNER 10

#define ALIGNDONE 11

static reloc_howto_type howto_reloc_callj =

  HOWTO (CALLJ, 0, 2, 24, TRUE, 0, complain_overflow_signed, 0,"callj", TRUE, 0x00ffffff, 0x00ffffff,FALSE);

static  reloc_howto_type howto_reloc_abs32 =

  HOWTO (ABS32, 0, 2, 32, FALSE, 0, complain_overflow_bitfield,0,"abs32", TRUE, 0xffffffff,0xffffffff,FALSE);

static reloc_howto_type howto_reloc_pcrel24 =

  HOWTO (PCREL24, 0, 2, 24, TRUE, 0, complain_overflow_signed,0,"pcrel24", TRUE, 0x00ffffff,0x00ffffff,FALSE);

static reloc_howto_type howto_reloc_pcrel13 =

  HOWTO (PCREL13, 0, 2, 13, TRUE, 0, complain_overflow_signed,0,"pcrel13", TRUE, 0x00001fff,0x00001fff,FALSE);

static reloc_howto_type howto_reloc_abs32codeshrunk =

  HOWTO (ABS32CODE_SHRUNK, 0, 2, 24, TRUE, 0, complain_overflow_signed, 0,"callx->callj", TRUE, 0x00ffffff, 0x00ffffff,FALSE);

static  reloc_howto_type howto_reloc_abs32code =

  HOWTO (ABS32CODE, 0, 2, 32, FALSE, 0, complain_overflow_bitfield,0,"callx", TRUE, 0xffffffff,0xffffffff,FALSE);

static reloc_howto_type howto_align_table[] =

{

  HOWTO (ALIGNER, 0, 0x1, 0, FALSE, 0, complain_overflow_dont, 0, "align16", FALSE, 0, 0, FALSE),

  HOWTO (ALIGNER, 0, 0x3, 0, FALSE, 0, complain_overflow_dont, 0, "align32", FALSE, 0, 0, FALSE),

  HOWTO (ALIGNER, 0, 0x7, 0, FALSE, 0, complain_overflow_dont, 0, "align64", FALSE, 0, 0, FALSE),

  HOWTO (ALIGNER, 0, 0xf, 0, FALSE, 0, complain_overflow_dont, 0, "align128", FALSE, 0, 0, FALSE),

};

static reloc_howto_type howto_done_align_table[] =

{

  HOWTO (ALIGNDONE, 0x1, 0x1, 0, FALSE, 0, complain_overflow_dont, 0, "donealign16", FALSE, 0, 0, FALSE),

  HOWTO (ALIGNDONE, 0x3, 0x3, 0, FALSE, 0, complain_overflow_dont, 0, "donealign32", FALSE, 0, 0, FALSE),

  HOWTO (ALIGNDONE, 0x7, 0x7, 0, FALSE, 0, complain_overflow_dont, 0, "donealign64", FALSE, 0, 0, FALSE),

  HOWTO (ALIGNDONE, 0xf, 0xf, 0, FALSE, 0, complain_overflow_dont, 0, "donealign128", FALSE, 0, 0, FALSE),

};

/* Swaps the information in an executable header taken from a raw byte

   stream memory image, into the internal exec_header structure.  */

static void

bout_swap_exec_header_in (bfd *abfd,

                          struct external_exec *bytes,

                          struct internal_exec *execp)

{

  /* Now fill in fields in the execp, from the bytes in the raw data.  */

  execp->a_info      = H_GET_32 (abfd, bytes->e_info);

  execp->a_text      = GET_WORD (abfd, bytes->e_text);

  execp->a_data      = GET_WORD (abfd, bytes->e_data);

  execp->a_bss       = GET_WORD (abfd, bytes->e_bss);

  execp->a_syms      = GET_WORD (abfd, bytes->e_syms);

  execp->a_entry     = GET_WORD (abfd, bytes->e_entry);

  execp->a_trsize    = GET_WORD (abfd, bytes->e_trsize);

  execp->a_drsize    = GET_WORD (abfd, bytes->e_drsize);

  execp->a_tload     = GET_WORD (abfd, bytes->e_tload);

  execp->a_dload     = GET_WORD (abfd, bytes->e_dload);

  execp->a_talign    = bytes->e_talign[0];

  execp->a_dalign    = bytes->e_dalign[0];

  execp->a_balign    = bytes->e_balign[0];

  execp->a_relaxable = bytes->e_relaxable[0];

}

/* Swaps the information in an internal exec header structure into the

   supplied buffer ready for writing to disk.  */

static void

bout_swap_exec_header_out (bfd *abfd,

                           struct internal_exec *execp,

                           struct external_exec *bytes)

{

  /* Now fill in fields in the raw data, from the fields in the exec struct.  */

  H_PUT_32 (abfd, execp->a_info  , bytes->e_info);

  PUT_WORD (abfd, execp->a_text  , bytes->e_text);

  PUT_WORD (abfd, execp->a_data  , bytes->e_data);

  PUT_WORD (abfd, execp->a_bss   , bytes->e_bss);

  PUT_WORD (abfd, execp->a_syms  , bytes->e_syms);

  PUT_WORD (abfd, execp->a_entry , bytes->e_entry);

  PUT_WORD (abfd, execp->a_trsize, bytes->e_trsize);

  PUT_WORD (abfd, execp->a_drsize, bytes->e_drsize);

  PUT_WORD (abfd, execp->a_tload , bytes->e_tload);

  PUT_WORD (abfd, execp->a_dload , bytes->e_dload);

  bytes->e_talign[0]    = execp->a_talign;

  bytes->e_dalign[0]    = execp->a_dalign;

  bytes->e_balign[0]    = execp->a_balign;

  bytes->e_relaxable[0] = execp->a_relaxable;

}

/* Finish up the opening of a b.out file for reading.  Fill in all the

   fields that are not handled by common code.  */

static const bfd_target *

b_out_callback (bfd *abfd)

{

  struct internal_exec *execp = exec_hdr (abfd);

  unsigned long bss_start;

  /* Architecture and machine type.  */

  bfd_set_arch_mach (abfd,

                     bfd_arch_i960,     /* B.out only used on i960.  */

                     bfd_mach_i960_core /* Default.  */

                     );

  /* The positions of the string table and symbol table.  */

  obj_str_filepos (abfd) = N_STROFF (*execp);

  obj_sym_filepos (abfd) = N_SYMOFF (*execp);

  /* The alignments of the sections.  */

  obj_textsec (abfd)->alignment_power = execp->a_talign;

  obj_datasec (abfd)->alignment_power = execp->a_dalign;

  obj_bsssec  (abfd)->alignment_power = execp->a_balign;

  /* The starting addresses of the sections.  */

  obj_textsec (abfd)->vma = execp->a_tload;

  obj_datasec (abfd)->vma = execp->a_dload;

  obj_textsec (abfd)->lma = obj_textsec (abfd)->vma;

  obj_datasec (abfd)->lma = obj_datasec (abfd)->vma;

  /* And reload the sizes, since the aout module zaps them.  */

  obj_textsec (abfd)->size = execp->a_text;

  bss_start = execp->a_dload + execp->a_data; /* BSS = end of data section.  */

  obj_bsssec (abfd)->vma = align_power (bss_start, execp->a_balign);

  obj_bsssec (abfd)->lma = obj_bsssec (abfd)->vma;

  /* The file positions of the sections.  */

  obj_textsec (abfd)->filepos = N_TXTOFF (*execp);

  obj_datasec (abfd)->filepos = N_DATOFF (*execp);

  /* The file positions of the relocation info.  */

  obj_textsec (abfd)->rel_filepos = N_TROFF (*execp);

  obj_datasec (abfd)->rel_filepos =  N_DROFF (*execp);

  adata (abfd).page_size = 1;   /* Not applicable.  */

  adata (abfd).segment_size = 1; /* Not applicable.  */

  adata (abfd).exec_bytes_size = EXEC_BYTES_SIZE;

  if (execp->a_relaxable)

   abfd->flags |= BFD_IS_RELAXABLE;

  return abfd->xvec;

}

static const bfd_target *

b_out_object_p (bfd *abfd)

{

  struct internal_exec anexec;

  struct external_exec exec_bytes;

  bfd_size_type amt = EXEC_BYTES_SIZE;

  if (bfd_bread ((void *) &exec_bytes, amt, abfd) != amt)

    {

      if (bfd_get_error () != bfd_error_system_call)

        bfd_set_error (bfd_error_wrong_format);

      return 0;

    }

  anexec.a_info = H_GET_32 (abfd, exec_bytes.e_info);

  if (N_BADMAG (anexec))

    {

      bfd_set_error (bfd_error_wrong_format);

      return 0;

    }

  bout_swap_exec_header_in (abfd, &exec_bytes, &anexec);

  return aout_32_some_aout_object_p (abfd, &anexec, b_out_callback);

}

struct bout_data_struct

  {

    struct aoutdata a;

    struct internal_exec e;

  };

static bfd_boolean

b_out_mkobject (bfd *abfd)

{

  struct bout_data_struct *rawptr;

  bfd_size_type amt = sizeof (struct bout_data_struct);

  rawptr = bfd_zalloc (abfd, amt);

  if (rawptr == NULL)

    return FALSE;

  abfd->tdata.bout_data = rawptr;

  exec_hdr (abfd) = &rawptr->e;

  obj_textsec (abfd) = NULL;

  obj_datasec (abfd) = NULL;

  obj_bsssec (abfd)  = NULL;

  return TRUE;

}

static int

b_out_symbol_cmp (const void * a_ptr, const void * b_ptr)

{

  struct aout_symbol ** a = (struct aout_symbol **) a_ptr;

  struct aout_symbol ** b = (struct aout_symbol **) b_ptr;

  asection *sec;

  bfd_vma av, bv;

  /* Primary key is address.  */

  sec = bfd_get_section (&(*a)->symbol);

  av = sec->output_section->vma + sec->output_offset + (*a)->symbol.value;

  sec = bfd_get_section (&(*b)->symbol);

  bv = sec->output_section->vma + sec->output_offset + (*b)->symbol.value;

  if (av < bv)

    return -1;

  if (av > bv)

    return 1;

  /* Secondary key puts CALLNAME syms last and BALNAME syms first,

     so that they have the best chance of being contiguous.  */

  if (IS_BALNAME ((*a)->other) || IS_CALLNAME ((*b)->other))

    return -1;

  if (IS_CALLNAME ((*a)->other) || IS_BALNAME ((*b)->other))

    return 1;

  return 0;

}

static bfd_boolean

b_out_squirt_out_relocs (bfd *abfd, asection *section)

{

  arelent **generic;

  int r_extern = 0;

  int r_idx;

  int incode_mask;

  int len_1;

  unsigned int count = section->reloc_count;

  struct relocation_info *native, *natptr;

  bfd_size_type natsize;

  int extern_mask, pcrel_mask, len_2, callj_mask;

  if (count == 0)

    return TRUE;

  generic = section->orelocation;

  natsize = (bfd_size_type) count * sizeof (struct relocation_info);

  native = bfd_malloc (natsize);

  if (!native && natsize != 0)

    return FALSE;

  if (bfd_header_big_endian (abfd))

    {

      /* Big-endian bit field allocation order.  */

      pcrel_mask  = 0x80;

      extern_mask = 0x10;

      len_2       = 0x40;

      len_1       = 0x20;

      callj_mask  = 0x02;

      incode_mask = 0x08;

    }

  else

    {

      /* Little-endian bit field allocation order.  */

      pcrel_mask  = 0x01;

      extern_mask = 0x08;

      len_2       = 0x04;

      len_1       = 0x02;

      callj_mask  = 0x40;

      incode_mask = 0x10;

    }

  for (natptr = native; count > 0; --count, ++natptr, ++generic)

    {

      arelent *g = *generic;

      unsigned char *raw = (unsigned char *) natptr;

      asymbol *sym = *(g->sym_ptr_ptr);

      asection *output_section = sym->section->output_section;

      H_PUT_32 (abfd, g->address, raw);

      /* Find a type in the output format which matches the input howto -

         at the moment we assume input format == output format FIXME!!  */

      r_idx = 0;

      /* FIXME:  Need callj stuff here, and to check the howto entries to

         be sure they are real for this architecture.  */

      if (g->howto== &howto_reloc_callj)

        raw[7] = callj_mask + pcrel_mask + len_2;

      else if (g->howto == &howto_reloc_pcrel24)

        raw[7] = pcrel_mask + len_2;

      else if (g->howto == &howto_reloc_pcrel13)

        raw[7] = pcrel_mask + len_1;

      else if (g->howto == &howto_reloc_abs32code)

        raw[7] = len_2 + incode_mask;

      else if (g->howto >= howto_align_table

               && g->howto <= (howto_align_table + ARRAY_SIZE (howto_align_table) - 1))

        {

          /* symnum == -2; extern_mask not set, pcrel_mask set.  */

          r_idx = -2;

          r_extern = 0;

          raw[7] = (pcrel_mask

                    | ((g->howto - howto_align_table) << 1));

        }

      else

        raw[7] = len_2;

      if (r_idx != 0)

        /* Already mucked with r_extern, r_idx.  */;

      else if (bfd_is_com_section (output_section)

               || bfd_is_abs_section (output_section)

               || bfd_is_und_section (output_section))

        {

          if (bfd_abs_section_ptr->symbol == sym)

            {

              /* Whoops, looked like an abs symbol, but is really an offset

                 from the abs section.  */

              r_idx = 0;

              r_extern = 0;

            }

          else

            {

              /* Fill in symbol.  */

              r_extern = 1;

              r_idx = (*g->sym_ptr_ptr)->udata.i;

            }

        }

      else

        {

          /* Just an ordinary section.  */

          r_extern = 0;

          r_idx  = output_section->target_index;

        }

      if (bfd_header_big_endian (abfd))

        {

          raw[4] = (unsigned char) (r_idx >> 16);

          raw[5] = (unsigned char) (r_idx >>  8);

          raw[6] = (unsigned char) (r_idx      );

        }

      else

        {

          raw[6] = (unsigned char) (r_idx >> 16);

          raw[5] = (unsigned char) (r_idx>>   8);

          raw[4] = (unsigned char) (r_idx      );

        }

      if (r_extern)

        raw[7] |= extern_mask;

    }

  if (bfd_bwrite ((void *) native, natsize, abfd) != natsize)

    {

      free (native);

      return FALSE;

    }

  free (native);

  return TRUE;

}

static bfd_boolean

b_out_write_object_contents (bfd *abfd)

{

  struct external_exec swapped_hdr;

  bfd_size_type amt;

  if (! aout_32_make_sections (abfd))

    return FALSE;

  exec_hdr (abfd)->a_info = BMAGIC;

  exec_hdr (abfd)->a_text = obj_textsec (abfd)->size;

  exec_hdr (abfd)->a_data = obj_datasec (abfd)->size;

  exec_hdr (abfd)->a_bss = obj_bsssec (abfd)->size;

  exec_hdr (abfd)->a_syms = bfd_get_symcount (abfd) * 12;

  exec_hdr (abfd)->a_entry = bfd_get_start_address (abfd);

  exec_hdr (abfd)->a_trsize = (obj_textsec (abfd)->reloc_count) * 8;

  exec_hdr (abfd)->a_drsize = (obj_datasec (abfd)->reloc_count) * 8;

  exec_hdr (abfd)->a_talign = obj_textsec (abfd)->alignment_power;

  exec_hdr (abfd)->a_dalign = obj_datasec (abfd)->alignment_power;

  exec_hdr (abfd)->a_balign = obj_bsssec (abfd)->alignment_power;

  exec_hdr (abfd)->a_tload = obj_textsec (abfd)->vma;

  exec_hdr (abfd)->a_dload = obj_datasec (abfd)->vma;

  bout_swap_exec_header_out (abfd, exec_hdr (abfd), &swapped_hdr);

  amt = EXEC_BYTES_SIZE;

  if (bfd_seek (abfd, (file_ptr) 0, SEEK_SET) != 0

      || bfd_bwrite ((void *) &swapped_hdr, amt, abfd) != amt)

    return FALSE;

  /* Now write out reloc info, followed by syms and strings */

  if (bfd_get_symcount (abfd) != 0)

    {

      /* Make sure {CALL,BAL}NAME symbols remain adjacent on output

         by sorting.  This is complicated by the fact that stabs are

         also ordered.  Solve this by shifting all stabs to the end

         in order, then sorting the rest.  */

      asymbol **outsyms, **p, **q;

      outsyms = bfd_get_outsymbols (abfd);

      p = outsyms + bfd_get_symcount (abfd);

      for (q = p--; p >= outsyms; p--)

        {

          if ((*p)->flags & BSF_DEBUGGING)

            {

              asymbol *t = *--q;

              *q = *p;

              *p = t;

            }

        }

      if (q > outsyms)

        qsort (outsyms, (size_t) (q - outsyms), sizeof (asymbol*),

               b_out_symbol_cmp);

      /* Back to your regularly scheduled program.  */

      if (bfd_seek (abfd, (file_ptr) (N_SYMOFF (*exec_hdr (abfd))), SEEK_SET)

          != 0)

        return FALSE;

      if (! aout_32_write_syms (abfd))

        return FALSE;

      if (bfd_seek (abfd, (file_ptr) (N_TROFF (*exec_hdr (abfd))), SEEK_SET)

          != 0)

        return FALSE;

      if (!b_out_squirt_out_relocs (abfd, obj_textsec (abfd)))

        return FALSE;

      if (bfd_seek (abfd, (file_ptr) (N_DROFF (*exec_hdr (abfd))), SEEK_SET)

          != 0)

        return FALSE;

      if (!b_out_squirt_out_relocs (abfd, obj_datasec (abfd)))

        return FALSE;

    }

  return TRUE;

}

/* Some reloc hackery.  */

#define CALLS     0x66003800    /* Template for 'calls' instruction     */

#define BAL       0x0b000000    /* Template for 'bal' instruction       */

#define BAL_MASK  0x00ffffff

#define BALX      0x85f00000    /* Template for 'balx' instruction      */

#define BALX_MASK 0x0007ffff

#define CALL      0x09000000

#define PCREL13_MASK 0x1fff

#define output_addr(sec) ((sec)->output_offset+(sec)->output_section->vma)

static bfd_vma

get_value (arelent *reloc,

           struct bfd_link_info *link_info,

           asection *input_section)

{

  bfd_vma value;

  asymbol *symbol = *(reloc->sym_ptr_ptr);

  /* A symbol holds a pointer to a section, and an offset from the

     base of the section.  To relocate, we find where the section will

     live in the output and add that in.  */

  if (bfd_is_und_section (symbol->section))

    {

      struct bfd_link_hash_entry *h;

      /* The symbol is undefined in this BFD.  Look it up in the

         global linker hash table.  FIXME: This should be changed when

         we convert b.out to use a specific final_link function and

         change the interface to bfd_relax_section to not require the

         generic symbols.  */

      h = bfd_wrapped_link_hash_lookup (input_section->owner, link_info,

                                        bfd_asymbol_name (symbol),

                                        FALSE, FALSE, TRUE);

      if (h != (struct bfd_link_hash_entry *) NULL

          && (h->type == bfd_link_hash_defined

              || h->type == bfd_link_hash_defweak))

        value = h->u.def.value + output_addr (h->u.def.section);

      else if (h != (struct bfd_link_hash_entry *) NULL

               && h->type == bfd_link_hash_common)

        value = h->u.c.size;

      else

        {

          if (! ((*link_info->callbacks->undefined_symbol)

                 (link_info, bfd_asymbol_name (symbol),

                  input_section->owner, input_section, reloc->address,

                  TRUE)))

            abort ();

          value = 0;

        }

    }

  else

    value = symbol->value + output_addr (symbol->section);

  /* Add the value contained in the relocation.  */

  value += reloc->addend;

  return value;

}

/* Magic to turn callx into calljx.  */

static bfd_reloc_status_type

calljx_callback (bfd *abfd,

                 struct bfd_link_info *link_info,

                 arelent *reloc_entry,

                 void * src,

                 void * dst,

                 asection *input_section)

{

  int word = bfd_get_32 (abfd, src);

  asymbol *symbol_in = *(reloc_entry->sym_ptr_ptr);

  aout_symbol_type *symbol = aout_symbol (symbol_in);

  bfd_vma value;

  value = get_value (reloc_entry, link_info, input_section);

  if (IS_CALLNAME (symbol->other))

    {

      aout_symbol_type *balsym = symbol+1;

      int inst = bfd_get_32 (abfd, (bfd_byte *) src-4);

      /* The next symbol should be an N_BALNAME.  */

      BFD_ASSERT (IS_BALNAME (balsym->other));

      inst &= BALX_MASK;

      inst |= BALX;

      bfd_put_32 (abfd, (bfd_vma) inst, (bfd_byte *) dst-4);

      symbol = balsym;

      value = (symbol->symbol.value

               + output_addr (symbol->symbol.section));

    }

  word += value + reloc_entry->addend;

  bfd_put_32 (abfd, (bfd_vma) word, dst);

  return bfd_reloc_ok;

}

/* Magic to turn call into callj.  */

static bfd_reloc_status_type

callj_callback (bfd *abfd,

                struct bfd_link_info *link_info,

                arelent *reloc_entry,

                void * data,

                unsigned int srcidx,

                unsigned int dstidx,

                asection *input_section,

                bfd_boolean shrinking)

{

  int word = bfd_get_32 (abfd, (bfd_byte *) data + srcidx);

  asymbol *symbol_in = *(reloc_entry->sym_ptr_ptr);

  aout_symbol_type *symbol = aout_symbol (symbol_in);

  bfd_vma value;

  value = get_value (reloc_entry, link_info, input_section);

  if (IS_OTHER (symbol->other))

    /* Call to a system procedure - replace code with system

       procedure number.  */

    word = CALLS | (symbol->other - 1);

  else if (IS_CALLNAME (symbol->other))

    {

      aout_symbol_type *balsym = symbol+1;

      /* The next symbol should be an N_BALNAME.  */

      BFD_ASSERT (IS_BALNAME (balsym->other));

      /* We are calling a leaf, so replace the call instruction with a

         bal.  */

      word = BAL | ((word

                     + output_addr (balsym->symbol.section)

                     + balsym->symbol.value + reloc_entry->addend

                     - dstidx

                     - output_addr (input_section))

                    & BAL_MASK);

    }

  else if ((symbol->symbol.flags & BSF_SECTION_SYM) != 0)