bfd/coff-mcore.c

   1 /* BFD back-end for Motorola MCore COFF/PE
   2    Copyright (C) 1999-2020 Free Software Foundation, Inc.
   3
   4    This file is part of BFD, the Binary File Descriptor library.
   5
   6    This program is free software; you can redistribute it and/or modify
   7    it under the terms of the GNU General Public License as published by
   8    the Free Software Foundation; either version 3 of the License, or
   9    (at your option) any later version.
  10
  11    This program is distributed in the hope that it will be useful,
  12    but WITHOUT ANY WARRANTY; without even the implied warranty of
  13    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  14    GNU General Public License for more details.
  15
  16    You should have received a copy of the GNU General Public License
  17    along with this program; if not, write to the Free Software
  18    Foundation, 51 Franklin Street - Fifth Floor,
  19    Boston, MA 02110-1301, USA.  */
  20
  21 #include "sysdep.h"
  22 #include "bfd.h"
  23 #include "libbfd.h"
  24 #include "coff/mcore.h"
  25 #include "coff/internal.h"
  26 #include "coff/pe.h"
  27 #include "libcoff.h"
  28
  29 #ifdef BADMAG
  30 #undef BADMAG
  31 #endif
  32 #define BADMAG(x) MCOREBADMAG(x)
  33
  34 #ifndef NUM_ELEM
  35 #define NUM_ELEM(A) (sizeof (A) / sizeof (A)[0])
  36 #endif
  37
  38 /* This file is compiled more than once, but we only compile the
  39    final_link routine once.  */
  40 extern bfd_boolean mcore_bfd_coff_final_link
  41   (bfd *, struct bfd_link_info *);
  42 static bfd_reloc_status_type mcore_coff_unsupported_reloc
  43   (bfd *, arelent *, asymbol *, void *, asection *, bfd *, char **);
  44
  45 \f
  46 /* The NT loader points the toc register to &toc + 32768, in order to
  47    use the complete range of a 16-bit displacement. We have to adjust
  48    for this when we fix up loads displaced off the toc reg.  */
  49 #define TOC_LOAD_ADJUSTMENT (-32768)
  50 #define TOC_SECTION_NAME ".private.toc"
  51
  52 /* The main body of code is in coffcode.h.  */
  53 #define COFF_DEFAULT_SECTION_ALIGNMENT_POWER 2
  54
  55 /* In case we're on a 32-bit machine, construct a 64-bit "-1" value
  56    from smaller values.  Start with zero, widen, *then* decrement.  */
  57 #define MINUS_ONE       (((bfd_vma)0) - 1)
  58 \f
  59 static reloc_howto_type mcore_coff_howto_table[] =
  60 {
  61   /* Unused: */
  62   HOWTO (IMAGE_REL_MCORE_ABSOLUTE,/* type */
  63          0,                      /* rightshift */
  64          0,                      /* size (0 = byte, 1 = short, 2 = long) */
  65          0,                      /* bitsize */
  66          FALSE,                  /* pc_relative */
  67          0,                      /* bitpos */
  68          complain_overflow_dont, /* dont complain_on_overflow */
  69          NULL,                   /* special_function */
  70          "ABSOLUTE",             /* name */
  71          FALSE,                  /* partial_inplace */
  72          0x00,                   /* src_mask */
  73          0x00,                   /* dst_mask */
  74          FALSE),                 /* pcrel_offset */
  75
  76   HOWTO (IMAGE_REL_MCORE_ADDR32,/* type */
  77          0,                     /* rightshift */
  78          2,                     /* size (0 = byte, 1 = short, 2 = long) */
  79          32,                    /* bitsize */
  80          FALSE,                 /* pc_relative */
  81          0,                     /* bitpos */
  82          complain_overflow_bitfield, /* complain_on_overflow */
  83          NULL,                  /* special_function */
  84          "ADDR32",              /* name */
  85          TRUE,                  /* partial_inplace */
  86          0xffffffff,            /* src_mask */
  87          0xffffffff,            /* dst_mask */
  88          FALSE),                /* pcrel_offset */
  89
  90   /* 8 bits + 2 zero bits; jmpi/jsri/lrw instructions.
  91      Should not appear in object files.  */
  92   HOWTO (IMAGE_REL_MCORE_PCREL_IMM8BY4, /* type */
  93          2,                     /* rightshift */
  94          1,                     /* size (0 = byte, 1 = short, 2 = long) */
  95          8,                     /* bitsize */
  96          TRUE,                  /* pc_relative */
  97          0,                     /* bitpos */
  98          complain_overflow_bitfield, /* complain_on_overflow */
  99          mcore_coff_unsupported_reloc, /* special_function */
 100          "IMM8BY4",             /* name */
 101          FALSE,                 /* partial_inplace */
 102          0,                     /* src_mask */
 103          0,                     /* dst_mask */
 104          TRUE),                 /* pcrel_offset */
 105
 106   /* bsr/bt/bf/br instructions; 11 bits + 1 zero bit
 107      Span 2k instructions == 4k bytes.
 108      Only useful pieces at the relocated address are the opcode (5 bits) */
 109   HOWTO (IMAGE_REL_MCORE_PCREL_IMM11BY2,/* type */
 110          1,                     /* rightshift */
 111          1,                     /* size (0 = byte, 1 = short, 2 = long) */
 112          11,                    /* bitsize */
 113          TRUE,                  /* pc_relative */
 114          0,                     /* bitpos */
 115          complain_overflow_signed, /* complain_on_overflow */
 116          NULL,                  /* special_function */
 117          "IMM11BY2",            /* name */
 118          FALSE,                 /* partial_inplace */
 119          0x0,                   /* src_mask */
 120          0x7ff,                 /* dst_mask */
 121          TRUE),                 /* pcrel_offset */
 122
 123   /* 4 bits + 1 zero bit; 'loopt' instruction only; unsupported.  */
 124   HOWTO (IMAGE_REL_MCORE_PCREL_IMM4BY2, /* type */
 125          1,                     /* rightshift */
 126          1,                     /* size (0 = byte, 1 = short, 2 = long) */
 127          4,                     /* bitsize */
 128          TRUE,                  /* pc_relative */
 129          0,                     /* bitpos */
 130          complain_overflow_bitfield, /* complain_on_overflow */
 131          mcore_coff_unsupported_reloc, /* special_function */
 132          "IMM4BY2",              /* name */
 133          FALSE,                 /* partial_inplace */
 134          0,                     /* src_mask */
 135          0,                     /* dst_mask */
 136          TRUE),                 /* pcrel_offset */
 137
 138   /* 32-bit pc-relative. Eventually this will help support PIC code.  */
 139   HOWTO (IMAGE_REL_MCORE_PCREL_32,/* type */
 140          0,                     /* rightshift */
 141          2,                     /* size (0 = byte, 1 = short, 2 = long) */
 142          32,                    /* bitsize */
 143          TRUE,                  /* pc_relative */
 144          0,                     /* bitpos */
 145          complain_overflow_bitfield, /* complain_on_overflow */
 146          NULL,                  /* special_function */
 147          "PCREL_32",            /* name */
 148          FALSE,                 /* partial_inplace */
 149          0x0,                   /* src_mask */
 150          0xffffffff,            /* dst_mask */
 151          TRUE),                 /* pcrel_offset */
 152
 153   /* Like PCREL_IMM11BY2, this relocation indicates that there is a
 154      'jsri' at the specified address. There is a separate relocation
 155      entry for the literal pool entry that it references, but we
 156      might be able to change the jsri to a bsr if the target turns out
 157      to be close enough [even though we won't reclaim the literal pool
 158      entry, we'll get some runtime efficiency back]. Note that this
 159      is a relocation that we are allowed to safely ignore.  */
 160   HOWTO (IMAGE_REL_MCORE_PCREL_JSR_IMM11BY2,/* type */
 161          1,                     /* rightshift */
 162          1,                     /* size (0 = byte, 1 = short, 2 = long) */
 163          11,                    /* bitsize */
 164          TRUE,                  /* pc_relative */
 165          0,                     /* bitpos */
 166          complain_overflow_signed, /* complain_on_overflow */
 167          NULL,                  /* special_function */
 168          "JSR_IMM11BY2",        /* name */
 169          FALSE,                 /* partial_inplace */
 170          0x0,                   /* src_mask */
 171          0x7ff,                 /* dst_mask */
 172          TRUE),                 /* pcrel_offset */
 173
 174   HOWTO (IMAGE_REL_MCORE_RVA,   /* type */
 175          0,                     /* rightshift */
 176          2,                     /* size (0 = byte, 1 = short, 2 = long) */
 177          32,                    /* bitsize */
 178          FALSE,                 /* pc_relative */
 179          0,                     /* bitpos */
 180          complain_overflow_signed, /* complain_on_overflow */
 181          NULL,                  /* special_function */
 182          "MCORE_RVA",           /* name */
 183          TRUE,                  /* partial_inplace */
 184          0xffffffff,            /* src_mask */
 185          0xffffffff,            /* dst_mask */
 186          TRUE)                  /* pcrel_offset */
 187 };
 188 \f
 189 /* Extend the coff_link_hash_table structure with a few M*Core specific fields.
 190    This allows us to store global data here without actually creating any
 191    global variables, which is a no-no in the BFD world.  */
 192 typedef struct coff_mcore_link_hash_table
 193 {
 194   /* The original coff_link_hash_table structure.  MUST be first field.  */
 195   struct coff_link_hash_table   root;
 196
 197   bfd *                         bfd_of_toc_owner;
 198   long int                      global_toc_size;
 199   long int                      import_table_size;
 200   long int                      first_thunk_address;
 201   long int                      thunk_size;
 202 }
 203 mcore_hash_table;
 204
 205 /* Get the MCore coff linker hash table from a link_info structure.  */
 206 #define coff_mcore_hash_table(info) \
 207   ((mcore_hash_table *) ((info)->hash))
 208
 209 \f
 210 /* Add an entry to the base file.  */
 211
 212 static bfd_boolean
 213 mcore_emit_base_file_entry (struct bfd_link_info *info,
 214                             bfd *output_bfd,
 215                             asection *input_section,
 216                             bfd_vma reloc_offset)
 217 {
 218   bfd_vma addr = reloc_offset
 219                  - input_section->vma
 220                  + input_section->output_offset
 221                  + input_section->output_section->vma;
 222
 223   if (coff_data (output_bfd)->pe)
 224      addr -= pe_data (output_bfd)->pe_opthdr.ImageBase;
 225
 226   if (fwrite (&addr, sizeof (addr), 1, (FILE *) info->base_file) == 1)
 227     return TRUE;
 228
 229   bfd_set_error (bfd_error_system_call);
 230   return FALSE;
 231 }
 232 \f
 233 static bfd_reloc_status_type
 234 mcore_coff_unsupported_reloc (bfd * abfd,
 235                               arelent * reloc_entry,
 236                               asymbol * symbol ATTRIBUTE_UNUSED,
 237                               void * data ATTRIBUTE_UNUSED,
 238                               asection * input_section ATTRIBUTE_UNUSED,
 239                               bfd * output_bfd ATTRIBUTE_UNUSED,
 240                               char ** error_message ATTRIBUTE_UNUSED)
 241 {
 242   BFD_ASSERT (reloc_entry->howto != (reloc_howto_type *)0);
 243
 244   /* xgettext: c-format */
 245   _bfd_error_handler (_("%pB: Relocation %s (%d) is not currently supported.\n"),
 246                       abfd,
 247                       reloc_entry->howto->name,
 248                       reloc_entry->howto->type);
 249
 250   return bfd_reloc_notsupported;
 251 }
 252 \f
 253 /* A cheesy little macro to make the code a little more readable.  */
 254 #define HOW2MAP(bfd_rtype, mcore_rtype)  \
 255  case bfd_rtype: return & mcore_coff_howto_table [mcore_rtype]
 256
 257 static reloc_howto_type *
 258 mcore_coff_reloc_type_lookup (bfd * abfd ATTRIBUTE_UNUSED,
 259                               bfd_reloc_code_real_type code)
 260 {
 261   switch (code)
 262     {
 263       HOW2MAP (BFD_RELOC_32,                       IMAGE_REL_MCORE_ADDR32);
 264       HOW2MAP (BFD_RELOC_MCORE_PCREL_IMM8BY4,      IMAGE_REL_MCORE_PCREL_IMM8BY4);
 265       HOW2MAP (BFD_RELOC_MCORE_PCREL_IMM11BY2,     IMAGE_REL_MCORE_PCREL_IMM11BY2);
 266       HOW2MAP (BFD_RELOC_MCORE_PCREL_IMM4BY2,      IMAGE_REL_MCORE_PCREL_IMM4BY2);
 267       HOW2MAP (BFD_RELOC_32_PCREL,                 IMAGE_REL_MCORE_PCREL_32);
 268       HOW2MAP (BFD_RELOC_MCORE_PCREL_JSR_IMM11BY2, IMAGE_REL_MCORE_PCREL_JSR_IMM11BY2);
 269       HOW2MAP (BFD_RELOC_RVA,                      IMAGE_REL_MCORE_RVA);
 270    default:
 271       return NULL;
 272     }
 273   /*NOTREACHED*/
 274 }
 275 #undef HOW2MAP
 276
 277 #define NUM_HOWTOS NUM_ELEM (mcore_coff_howto_table)
 278
 279 static reloc_howto_type *
 280 mcore_coff_reloc_name_lookup (bfd *abfd ATTRIBUTE_UNUSED,
 281                               const char *r_name)
 282 {
 283   unsigned int i;
 284
 285   for (i = 0; i < NUM_HOWTOS; i++)
 286     if (mcore_coff_howto_table[i].name != NULL
 287         && strcasecmp (mcore_coff_howto_table[i].name, r_name) == 0)
 288       return &mcore_coff_howto_table[i];
 289
 290   return NULL;
 291 }
 292
 293 #define RTYPE2HOWTO(cache_ptr, dst)                             \
 294   ((cache_ptr)->howto =                                         \
 295    ((dst)->r_type < NUM_HOWTOS                                  \
 296     ? mcore_coff_howto_table + (dst)->r_type                    \
 297     : NULL))
 298
 299 static reloc_howto_type *
 300 coff_mcore_rtype_to_howto (bfd * abfd ATTRIBUTE_UNUSED,
 301                            asection * sec,
 302                            struct internal_reloc * rel,
 303                            struct coff_link_hash_entry * h ATTRIBUTE_UNUSED,
 304                            struct internal_syment * sym,
 305                            bfd_vma * addendp)
 306 {
 307   reloc_howto_type * howto;
 308
 309   if (rel->r_type >= NUM_HOWTOS)
 310     return NULL;
 311
 312   howto = mcore_coff_howto_table + rel->r_type;
 313
 314   if (rel->r_type == IMAGE_REL_MCORE_RVA)
 315     * addendp -= pe_data (sec->output_section->owner)->pe_opthdr.ImageBase;
 316
 317   else if (howto->pc_relative)
 318     {
 319       * addendp = sec->vma - 2; /* XXX guess - is this right ? */
 320
 321       /* If the symbol is defined, then the generic code is going to
 322          add back the symbol value in order to cancel out an
 323          adjustment it made to the addend.  However, we set the addend
 324          to 0 at the start of this function.  We need to adjust here,
 325          to avoid the adjustment the generic code will make.  FIXME:
 326          This is getting a bit hackish.  */
 327       if (sym != NULL && sym->n_scnum != 0)
 328         * addendp -= sym->n_value;
 329     }
 330   else
 331     * addendp = 0;
 332
 333   return howto;
 334 }
 335
 336 /* Return TRUE if this relocation should appear in the output .reloc section.
 337    This function is referenced in pe_mkobject in peicode.h.  */
 338
 339 static bfd_boolean
 340 in_reloc_p (bfd * abfd ATTRIBUTE_UNUSED, reloc_howto_type * howto)
 341 {
 342   return ! howto->pc_relative && howto->type != IMAGE_REL_MCORE_RVA;
 343 }
 344 \f
 345 /* The reloc processing routine for the optimized COFF linker.  */
 346 static bfd_boolean
 347 coff_mcore_relocate_section (bfd * output_bfd,
 348                              struct bfd_link_info * info,
 349                              bfd * input_bfd,
 350                              asection * input_section,
 351                              bfd_byte * contents,
 352                              struct internal_reloc * relocs,
 353                              struct internal_syment * syms,
 354                              asection ** sections)
 355 {
 356   struct internal_reloc * rel;
 357   struct internal_reloc * relend;
 358
 359   /* If we are performing a relocatable link, we don't need to do a
 360      thing.  The caller will take care of adjusting the reloc
 361      addresses and symbol indices.  */
 362   if (bfd_link_relocatable (info))
 363     return TRUE;
 364
 365   /* Check if we have the same endianness */
 366   if (   input_bfd->xvec->byteorder != output_bfd->xvec->byteorder
 367       && output_bfd->xvec->byteorder != BFD_ENDIAN_UNKNOWN)
 368     {
 369       _bfd_error_handler
 370         /* xgettext: c-format */
 371         (_("%pB: compiled for a %s system and target is %s.\n"),
 372          input_bfd,
 373          bfd_big_endian (input_bfd) ? _("big endian") : _("little endian"),
 374          bfd_big_endian (output_bfd) ? _("big endian") : _("little endian"));
 375
 376       bfd_set_error (bfd_error_wrong_format);
 377       return FALSE;
 378     }
 379
 380   rel = relocs;
 381   relend = rel + input_section->reloc_count;
 382
 383   for (; rel < relend; rel++)
 384     {
 385       long                           symndx;
 386       struct internal_syment *       sym;
 387       bfd_vma                        val;
 388       bfd_vma                        addend;
 389       bfd_reloc_status_type          rstat;
 390       bfd_byte *                     loc;
 391       unsigned short                 r_type = rel->r_type;
 392       reloc_howto_type *             howto = NULL;
 393       struct coff_link_hash_entry *  h;
 394       const char *                   my_name;
 395
 396       symndx = rel->r_symndx;
 397       loc = contents + rel->r_vaddr - input_section->vma;
 398
 399       if (symndx == -1)
 400         {
 401           h = NULL;
 402           sym = NULL;
 403         }
 404       else
 405         {
 406           h = obj_coff_sym_hashes (input_bfd)[symndx];
 407           sym = syms + symndx;
 408         }
 409
 410       addend = 0;
 411
 412       /* Get the howto and initialise the addend.  */
 413       howto = bfd_coff_rtype_to_howto (input_bfd, input_section, rel, h,
 414                                        sym, & addend);
 415       if (howto == NULL)
 416         return FALSE;
 417
 418       val = 0;
 419
 420       if (h == NULL)
 421         {
 422           if (symndx == -1)
 423             my_name = "*ABS*";
 424           else
 425             {
 426               asection * sec = sections[symndx];
 427
 428               val = (sym->n_value
 429                      + sec->output_section->vma
 430                      + sec->output_offset);
 431
 432               if (sym == NULL)
 433                 my_name = "*unknown*";
 434               else if (   sym->_n._n_n._n_zeroes == 0
 435                        && sym->_n._n_n._n_offset != 0)
 436                 my_name = obj_coff_strings (input_bfd) + sym->_n._n_n._n_offset;
 437               else
 438                 {
 439                   static char buf [SYMNMLEN + 1];
 440
 441                   strncpy (buf, sym->_n._n_name, SYMNMLEN);
 442                   buf[SYMNMLEN] = '\0';
 443                   my_name = buf;
 444                 }
 445             }
 446         }
 447       else
 448         {
 449           if (   h->root.type == bfd_link_hash_defined
 450               || h->root.type == bfd_link_hash_defweak)
 451             {
 452               asection * sec = h->root.u.def.section;
 453
 454               val = (h->root.u.def.value
 455                      + sec->output_section->vma
 456                      + sec->output_offset);
 457             }
 458           else
 459             (*info->callbacks->undefined_symbol)
 460               (info, h->root.root.string, input_bfd, input_section,
 461                rel->r_vaddr - input_section->vma, TRUE);
 462
 463           my_name = h->root.root.string;
 464         }
 465
 466       rstat = bfd_reloc_ok;
 467
 468       /* Each case must do its own relocation, setting rstat appropriately.  */
 469       switch (r_type)
 470         {
 471         default:
 472           /* xgettext: c-format */
 473           _bfd_error_handler (_("%pB: unsupported relocation type %#x"),
 474                               input_bfd, r_type);
 475           bfd_set_error (bfd_error_bad_value);
 476           return FALSE;
 477
 478         case IMAGE_REL_MCORE_ABSOLUTE:
 479           _bfd_error_handler
 480             /* xgettext: c-format */
 481             (_("warning: unsupported reloc %s <file %pB, section %pA>\n"
 482                "sym %ld (%s), r_vaddr %" PRId64 " (%#" PRIx64 ")"),
 483              howto->name, input_bfd, input_section,
 484              rel->r_symndx, my_name, (int64_t) rel->r_vaddr,
 485              (uint64_t) rel->r_vaddr);
 486           break;
 487
 488         case IMAGE_REL_MCORE_PCREL_IMM8BY4:
 489         case IMAGE_REL_MCORE_PCREL_IMM11BY2:
 490         case IMAGE_REL_MCORE_PCREL_IMM4BY2:
 491         case IMAGE_REL_MCORE_PCREL_32:
 492         case IMAGE_REL_MCORE_PCREL_JSR_IMM11BY2:
 493         case IMAGE_REL_MCORE_ADDR32:
 494           /* XXX fixme - shouldn't this be like the code for the RVA reloc ? */
 495           rstat = _bfd_relocate_contents (howto, input_bfd, val, loc);
 496           break;
 497
 498         case IMAGE_REL_MCORE_RVA:
 499           rstat = _bfd_final_link_relocate
 500             (howto, input_bfd,
 501              input_section, contents, rel->r_vaddr - input_section->vma,
 502              val, addend);
 503           break;
 504         }
 505
 506       /* Emit a reloc if the backend thinks it needs it.  */
 507       if (info->base_file
 508           && sym
 509           && pe_data (output_bfd)->in_reloc_p (output_bfd, howto)
 510           && !mcore_emit_base_file_entry (info, output_bfd, input_section,
 511                                           rel->r_vaddr))
 512         return FALSE;
 513
 514       switch (rstat)
 515         {
 516         default:
 517           abort ();
 518
 519         case bfd_reloc_ok:
 520           break;
 521
 522         case bfd_reloc_overflow:
 523           (*info->callbacks->reloc_overflow)
 524             (info, (h ? &h->root : NULL), my_name, howto->name,
 525              (bfd_vma) 0, input_bfd,
 526              input_section, rel->r_vaddr - input_section->vma);
 527         }
 528     }
 529
 530   return TRUE;
 531 }
 532 \f
 533 /* Tailor coffcode.h -- macro heaven.  */
 534
 535 /* We use the special COFF backend linker, with our own special touch.  */
 536
 537 #define coff_bfd_reloc_type_lookup   mcore_coff_reloc_type_lookup
 538 #define coff_bfd_reloc_name_lookup mcore_coff_reloc_name_lookup
 539 #define coff_relocate_section        coff_mcore_relocate_section
 540 #define coff_rtype_to_howto          coff_mcore_rtype_to_howto
 541
 542 #define SELECT_RELOC(internal, howto) {internal.r_type = howto->type;}
 543
 544 /* Make sure that the 'r_offset' field is copied properly
 545    so that identical binaries will compare the same.  */
 546 #define SWAP_IN_RELOC_OFFSET         H_GET_32
 547 #define SWAP_OUT_RELOC_OFFSET        H_PUT_32
 548
 549 #define COFF_PAGE_SIZE               0x1000
 550
 551 #include "coffcode.h"
 552 \f
 553 /* Forward declaration to initialise alternative_target field.  */
 554 extern const bfd_target TARGET_LITTLE_SYM;
 555
 556 /* The transfer vectors that lead the outside world to all of the above.  */
 557 CREATE_BIG_COFF_TARGET_VEC (TARGET_BIG_SYM, TARGET_BIG_NAME, D_PAGED,
 558                             (SEC_CODE | SEC_DATA | SEC_DEBUGGING | SEC_READONLY | SEC_LINK_ONCE | SEC_LINK_DUPLICATES),
 559                             0, & TARGET_LITTLE_SYM, COFF_SWAP_TABLE)
 560 CREATE_LITTLE_COFF_TARGET_VEC (TARGET_LITTLE_SYM, TARGET_LITTLE_NAME, D_PAGED,
 561                                (SEC_CODE | SEC_DATA | SEC_DEBUGGING | SEC_READONLY | SEC_LINK_ONCE | SEC_LINK_DUPLICATES),
 562                                0, & TARGET_BIG_SYM, COFF_SWAP_TABLE)