bfd/coff-arm.c

   1 /* BFD back-end for ARM COFF files.
   2    Copyright 1990, 91, 92, 93, 94, 95, 96, 97, 98, 99, 2000
   3    Free Software Foundation, Inc.
   4    Written by Cygnus Support.
   5
   6 This file is part of BFD, the Binary File Descriptor library.
   7
   8 This program is free software; you can redistribute it and/or modify
   9 it under the terms of the GNU General Public License as published by
  10 the Free Software Foundation; either version 2 of the License, or
  11 (at your option) any later version.
  12
  13 This program is distributed in the hope that it will be useful,
  14 but WITHOUT ANY WARRANTY; without even the implied warranty of
  15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  16 GNU General Public License for more details.
  17
  18 You should have received a copy of the GNU General Public License
  19 along with this program; if not, write to the Free Software
  20 Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.  */
  21
  22 #include "bfd.h"
  23 #include "sysdep.h"
  24 #include "libbfd.h"
  25
  26 #include "coff/arm.h"
  27
  28 #include "coff/internal.h"
  29
  30 #ifdef COFF_WITH_PE
  31 #include "coff/pe.h"
  32 #endif
  33
  34 #include "libcoff.h"
  35
  36 /* Macros for manipulation the bits in the flags field of the coff data
  37    structure.  */
  38 #define APCS_26_FLAG(       abfd )      (coff_data (abfd)->flags & F_APCS_26)
  39 #define APCS_FLOAT_FLAG(    abfd )      (coff_data (abfd)->flags & F_APCS_FLOAT)
  40 #define PIC_FLAG(           abfd )      (coff_data (abfd)->flags & F_PIC)
  41 #define APCS_SET(           abfd )      (coff_data (abfd)->flags & F_APCS_SET)
  42 #define SET_APCS_FLAGS(     abfd, flgs) (coff_data (abfd)->flags = \
  43                                         (coff_data (abfd)->flags & ~ (F_APCS_26 | F_APCS_FLOAT | F_PIC)) \
  44                                          | (flgs | F_APCS_SET))
  45 #define INTERWORK_FLAG(     abfd )      (coff_data (abfd)->flags & F_INTERWORK)
  46 #define INTERWORK_SET(      abfd )      (coff_data (abfd)->flags & F_INTERWORK_SET)
  47 #define SET_INTERWORK_FLAG( abfd, flg ) (coff_data (abfd)->flags = \
  48                                         (coff_data (abfd)->flags & ~ F_INTERWORK) \
  49                                          | (flg | F_INTERWORK_SET))
  50
  51 #ifndef NUM_ELEM
  52 #define NUM_ELEM(a) ((sizeof (a)) / sizeof ((a)[0]))
  53 #endif
  54
  55 typedef enum {bunknown, b9, b12, b23} thumb_pcrel_branchtype;
  56 /* some typedefs for holding instructions */
  57 typedef unsigned long int insn32;
  58 typedef unsigned short int insn16;
  59
  60      /* Forward declarations for stupid compilers.  */
  61 static boolean coff_arm_relocate_section
  62   PARAMS ((bfd *, struct bfd_link_info *, bfd *, asection *, bfd_byte *,
  63            struct internal_reloc *, struct internal_syment *, asection **));
  64 static bfd_reloc_status_type aoutarm_fix_pcrel_26_done
  65   PARAMS ((bfd *, arelent *, asymbol *, PTR, asection *, bfd *, char **));
  66 static bfd_reloc_status_type aoutarm_fix_pcrel_26
  67   PARAMS ((bfd *, arelent *, asymbol *, PTR, asection *, bfd *, char **));
  68 static bfd_reloc_status_type coff_thumb_pcrel_23
  69   PARAMS ((bfd *, arelent *, asymbol *, PTR, asection *, bfd *, char **));
  70 static bfd_reloc_status_type coff_thumb_pcrel_12
  71   PARAMS ((bfd *, arelent *, asymbol *, PTR, asection *, bfd *, char **));
  72 static bfd_reloc_status_type coff_thumb_pcrel_9
  73   PARAMS ((bfd *, arelent *, asymbol *, PTR, asection *, bfd *, char **));
  74 static bfd_reloc_status_type coff_arm_reloc
  75   PARAMS ((bfd *, arelent *, asymbol *, PTR, asection *, bfd *, char **));
  76 static boolean coff_arm_adjust_symndx
  77   PARAMS ((bfd *, struct bfd_link_info *, bfd *,
  78            asection *, struct internal_reloc *, boolean *));
  79 static reloc_howto_type * coff_arm_rtype_to_howto
  80   PARAMS ((bfd *, asection *, struct internal_reloc *,
  81            struct coff_link_hash_entry *, struct internal_syment *, bfd_vma *));
  82 static bfd_reloc_status_type coff_thumb_pcrel_common
  83   PARAMS ((bfd *, arelent *, asymbol *, PTR, asection *, bfd *, char **,
  84            thumb_pcrel_branchtype));
  85 static CONST struct reloc_howto_struct * coff_arm_reloc_type_lookup
  86   PARAMS ((bfd *, bfd_reloc_code_real_type));
  87 static struct bfd_link_hash_table * coff_arm_link_hash_table_create
  88   PARAMS ((bfd *));
  89 static insn32 insert_thumb_branch
  90   PARAMS ((insn32, int));
  91 static struct coff_link_hash_entry * find_thumb_glue
  92   PARAMS ((struct bfd_link_info *, CONST char *, bfd *));
  93 static struct coff_link_hash_entry * find_arm_glue
  94   PARAMS ((struct bfd_link_info *, CONST char *, bfd *));
  95 #ifndef COFF_IMAGE_WITH_PE
  96 static void record_arm_to_thumb_glue
  97   PARAMS ((struct bfd_link_info *, struct coff_link_hash_entry *));
  98 static void record_thumb_to_arm_glue
  99   PARAMS ((struct bfd_link_info *, struct coff_link_hash_entry *));
 100 #endif
 101 static boolean coff_arm_merge_private_bfd_data
 102   PARAMS ((bfd *, bfd *));
 103 static boolean coff_arm_print_private_bfd_data
 104   PARAMS ((bfd *, PTR));
 105 static boolean _bfd_coff_arm_set_private_flags
 106   PARAMS ((bfd *, flagword));
 107 static boolean coff_arm_copy_private_bfd_data
 108   PARAMS ((bfd *, bfd *));
 109 static boolean coff_arm_is_local_label_name
 110   PARAMS ((bfd *, const char *));
 111 static boolean coff_arm_link_output_has_begun
 112   PARAMS ((bfd *, struct coff_final_link_info *));
 113 static boolean coff_arm_final_link_postscript
 114   PARAMS ((bfd *, struct coff_final_link_info *));
 115
 116 /* The linker script knows the section names for placement.
 117    The entry_names are used to do simple name mangling on the stubs.
 118    Given a function name, and its type, the stub can be found. The
 119    name can be changed. The only requirement is the %s be present.
 120    */
 121
 122 #define THUMB2ARM_GLUE_SECTION_NAME ".glue_7t"
 123 #define THUMB2ARM_GLUE_ENTRY_NAME   "__%s_from_thumb"
 124
 125 #define ARM2THUMB_GLUE_SECTION_NAME ".glue_7"
 126 #define ARM2THUMB_GLUE_ENTRY_NAME   "__%s_from_arm"
 127
 128 /* Used by the assembler.  */
 129 static bfd_reloc_status_type
 130 coff_arm_reloc (abfd, reloc_entry, symbol, data, input_section, output_bfd,
 131                  error_message)
 132      bfd *abfd;
 133      arelent *reloc_entry;
 134      asymbol *symbol ATTRIBUTE_UNUSED;
 135      PTR data;
 136      asection *input_section ATTRIBUTE_UNUSED;
 137      bfd *output_bfd;
 138      char **error_message ATTRIBUTE_UNUSED;
 139 {
 140   symvalue diff;
 141   if (output_bfd == (bfd *) NULL)
 142     return bfd_reloc_continue;
 143
 144   diff = reloc_entry->addend;
 145
 146 #define DOIT(x) \
 147   x = ((x & ~howto->dst_mask) | (((x & howto->src_mask) + diff) & howto->dst_mask))
 148
 149     if (diff != 0)
 150       {
 151         reloc_howto_type *howto = reloc_entry->howto;
 152         unsigned char *addr = (unsigned char *) data + reloc_entry->address;
 153
 154         switch (howto->size)
 155           {
 156           case 0:
 157             {
 158               char x = bfd_get_8 (abfd, addr);
 159               DOIT (x);
 160               bfd_put_8 (abfd, x, addr);
 161             }
 162             break;
 163
 164           case 1:
 165             {
 166               short x = bfd_get_16 (abfd, addr);
 167               DOIT (x);
 168               bfd_put_16 (abfd, x, addr);
 169             }
 170             break;
 171
 172           case 2:
 173             {
 174               long x = bfd_get_32 (abfd, addr);
 175               DOIT (x);
 176               bfd_put_32 (abfd, x, addr);
 177             }
 178             break;
 179
 180           default:
 181             abort ();
 182           }
 183       }
 184
 185   /* Now let bfd_perform_relocation finish everything up.  */
 186   return bfd_reloc_continue;
 187 }
 188
 189 /* If USER_LABEL_PREFIX is defined as "_" (see coff_arm_is_local_label_name()
 190    in this file), then TARGET_UNDERSCORE should be defined, otherwise it
 191    should not.  */
 192 #ifndef TARGET_UNDERSCORE
 193 #define TARGET_UNDERSCORE '_'
 194 #endif
 195
 196 #ifndef PCRELOFFSET
 197 #define PCRELOFFSET true
 198 #endif
 199
 200 /* These most certainly belong somewhere else. Just had to get rid of
 201    the manifest constants in the code.  */
 202 #define ARM_8        0
 203 #define ARM_16       1
 204 #define ARM_32       2
 205 #define ARM_26       3
 206 #define ARM_DISP8    4
 207 #define ARM_DISP16   5
 208 #define ARM_DISP32   6
 209 #define ARM_26D      7
 210 /* 8 is unused */
 211 #define ARM_NEG16    9
 212 #define ARM_NEG32   10
 213 #define ARM_RVA32   11
 214 #define ARM_THUMB9  12
 215 #define ARM_THUMB12 13
 216 #define ARM_THUMB23 14
 217
 218 #ifdef ARM_WINCE
 219 #undef  ARM_32
 220 #undef  ARM_RVA32
 221 #undef  ARM_26
 222 #undef  ARM_THUMB12
 223 #undef  ARM_26D
 224
 225 #define ARM_32       1
 226 #define ARM_RVA32    2
 227 #define ARM_26       3
 228 #define ARM_THUMB12  4
 229 #define ARM_26D      5
 230 #define ARM_SECTION  14
 231 #define ARM_SECREL   15
 232 #endif
 233
 234 static reloc_howto_type aoutarm_std_reloc_howto[] =
 235 {
 236   /* type              rs size bsz  pcrel bitpos ovrf                     sf name     part_inpl readmask  setmask    pcdone */
 237 #ifdef ARM_WINCE
 238   EMPTY_HOWTO (-1),
 239   HOWTO (ARM_32,
 240         0,
 241         2,
 242         32,
 243         false,
 244         0,
 245         complain_overflow_bitfield,
 246         coff_arm_reloc,
 247         "ARM_32",
 248         true,
 249         0xffffffff,
 250         0xffffffff,
 251         PCRELOFFSET),
 252   HOWTO (ARM_RVA32,
 253         0,
 254         2,
 255         32,
 256         false,
 257         0,
 258         complain_overflow_bitfield,
 259         coff_arm_reloc,
 260         "ARM_RVA32",
 261         true,
 262         0xffffffff,
 263         0xffffffff,
 264         PCRELOFFSET),
 265   HOWTO (ARM_26,
 266         2,
 267         2,
 268         24,
 269         true,
 270         0,
 271         complain_overflow_signed,
 272         aoutarm_fix_pcrel_26 ,
 273         "ARM_26",
 274         false,
 275         0x00ffffff,
 276         0x00ffffff,
 277         PCRELOFFSET),
 278   HOWTO (ARM_THUMB12,
 279         1,
 280         1,
 281         11,
 282         true,
 283         0,
 284         complain_overflow_signed,
 285         coff_thumb_pcrel_12 ,
 286         "ARM_THUMB12",
 287         false,
 288         0x000007ff,
 289         0x000007ff,
 290         PCRELOFFSET),
 291   HOWTO (ARM_26D,
 292         2,
 293         2,
 294         24,
 295         false,
 296         0,
 297         complain_overflow_dont,
 298         aoutarm_fix_pcrel_26_done,
 299         "ARM_26D",
 300         true,
 301         0x00ffffff,
 302         0x0,
 303         false),
 304   EMPTY_HOWTO (-1),
 305   EMPTY_HOWTO (-1),
 306   EMPTY_HOWTO (-1),
 307   EMPTY_HOWTO (-1),
 308   EMPTY_HOWTO (-1),
 309   EMPTY_HOWTO (-1),
 310   EMPTY_HOWTO (-1),
 311   EMPTY_HOWTO (-1),
 312   HOWTO (ARM_SECTION,
 313         0,
 314         1,
 315         16,
 316         false,
 317         0,
 318         complain_overflow_bitfield,
 319         coff_arm_reloc,
 320         "ARM_16",
 321         true,
 322         0x0000ffff,
 323         0x0000ffff,
 324         PCRELOFFSET),
 325   HOWTO (ARM_SECREL,
 326         0,
 327         2,
 328         32,
 329         false,
 330         0,
 331         complain_overflow_bitfield,
 332         coff_arm_reloc,
 333         "ARM_32",
 334         true,
 335         0xffffffff,
 336         0xffffffff,
 337         PCRELOFFSET),
 338 #else /* not ARM_WINCE */
 339   HOWTO(ARM_8,                  /* type */
 340         0,                      /* rightshift */
 341         0,                      /* size */
 342         8,                      /* bitsize */
 343         false,                  /* pc_relative */
 344         0,                      /* bitpos */
 345         complain_overflow_bitfield, /* complain_on_overflow */
 346         coff_arm_reloc,         /* special_function */
 347         "ARM_8",                /* name */
 348         true,                   /* partial_inplace */
 349         0x000000ff,             /* src_mask */
 350         0x000000ff,             /* dst_mask */
 351         PCRELOFFSET             /* pcrel_offset */),
 352   HOWTO(ARM_16,
 353         0,
 354         1,
 355         16,
 356         false,
 357         0,
 358         complain_overflow_bitfield,
 359         coff_arm_reloc,
 360         "ARM_16",
 361         true,
 362         0x0000ffff,
 363         0x0000ffff,
 364         PCRELOFFSET),
 365   HOWTO(ARM_32,
 366         0,
 367         2,
 368         32,
 369         false,
 370         0,
 371         complain_overflow_bitfield,
 372         coff_arm_reloc,
 373         "ARM_32",
 374         true,
 375         0xffffffff,
 376         0xffffffff,
 377         PCRELOFFSET),
 378   HOWTO(ARM_26,
 379         2,
 380         2,
 381         24,
 382         true,
 383         0,
 384         complain_overflow_signed,
 385         aoutarm_fix_pcrel_26 ,
 386         "ARM_26",
 387         false,
 388         0x00ffffff,
 389         0x00ffffff,
 390         PCRELOFFSET),
 391   HOWTO(ARM_DISP8,
 392         0,
 393         0,
 394         8,
 395         true,
 396         0,
 397         complain_overflow_signed,
 398         coff_arm_reloc,
 399         "ARM_DISP8",
 400         true,
 401         0x000000ff,
 402         0x000000ff,
 403         true),
 404   HOWTO( ARM_DISP16,
 405         0,
 406         1,
 407         16,
 408         true,
 409         0,
 410         complain_overflow_signed,
 411         coff_arm_reloc,
 412         "ARM_DISP16",
 413         true,
 414         0x0000ffff,
 415         0x0000ffff,
 416         true),
 417   HOWTO( ARM_DISP32,
 418         0,
 419         2,
 420         32,
 421         true,
 422         0,
 423         complain_overflow_signed,
 424         coff_arm_reloc,
 425         "ARM_DISP32",
 426         true,
 427         0xffffffff,
 428         0xffffffff,
 429         true),
 430   HOWTO( ARM_26D,
 431         2,
 432         2,
 433         24,
 434         false,
 435         0,
 436         complain_overflow_dont,
 437         aoutarm_fix_pcrel_26_done,
 438         "ARM_26D",
 439         true,
 440         0x00ffffff,
 441         0x0,
 442         false),
 443   /* 8 is unused */
 444   EMPTY_HOWTO (-1),
 445   HOWTO( ARM_NEG16,
 446         0,
 447         -1,
 448         16,
 449         false,
 450         0,
 451         complain_overflow_bitfield,
 452         coff_arm_reloc,
 453         "ARM_NEG16",
 454         true,
 455         0x0000ffff,
 456         0x0000ffff,
 457         false),
 458   HOWTO( ARM_NEG32,
 459         0,
 460         -2,
 461         32,
 462         false,
 463         0,
 464         complain_overflow_bitfield,
 465         coff_arm_reloc,
 466         "ARM_NEG32",
 467         true,
 468         0xffffffff,
 469         0xffffffff,
 470         false),
 471   HOWTO( ARM_RVA32,
 472         0,
 473         2,
 474         32,
 475         false,
 476         0,
 477         complain_overflow_bitfield,
 478         coff_arm_reloc,
 479         "ARM_RVA32",
 480         true,
 481         0xffffffff,
 482         0xffffffff,
 483         PCRELOFFSET),
 484   HOWTO( ARM_THUMB9,
 485         1,
 486         1,
 487         8,
 488         true,
 489         0,
 490         complain_overflow_signed,
 491         coff_thumb_pcrel_9 ,
 492         "ARM_THUMB9",
 493         false,
 494         0x000000ff,
 495         0x000000ff,
 496         PCRELOFFSET),
 497   HOWTO( ARM_THUMB12,
 498         1,
 499         1,
 500         11,
 501         true,
 502         0,
 503         complain_overflow_signed,
 504         coff_thumb_pcrel_12 ,
 505         "ARM_THUMB12",
 506         false,
 507         0x000007ff,
 508         0x000007ff,
 509         PCRELOFFSET),
 510   HOWTO( ARM_THUMB23,
 511         1,
 512         2,
 513         22,
 514         true,
 515         0,
 516         complain_overflow_signed,
 517         coff_thumb_pcrel_23 ,
 518         "ARM_THUMB23",
 519         false,
 520         0x07ff07ff,
 521         0x07ff07ff,
 522         PCRELOFFSET)
 523 #endif /* not ARM_WINCE */
 524 };
 525
 526 #define NUM_RELOCS NUM_ELEM (aoutarm_std_reloc_howto)
 527
 528 #ifdef COFF_WITH_PE
 529 /* Return true if this relocation should
 530    appear in the output .reloc section.  */
 531
 532 static boolean
 533 in_reloc_p (abfd, howto)
 534      bfd * abfd ATTRIBUTE_UNUSED;
 535      reloc_howto_type * howto;
 536 {
 537   return !howto->pc_relative && howto->type != ARM_RVA32;
 538 }
 539 #endif
 540
 541 #define RTYPE2HOWTO(cache_ptr, dst)             \
 542   (cache_ptr)->howto =                          \
 543     (dst)->r_type < NUM_RELOCS                  \
 544     ? aoutarm_std_reloc_howto + (dst)->r_type   \
 545     : NULL
 546
 547 #define coff_rtype_to_howto coff_arm_rtype_to_howto
 548
 549 static reloc_howto_type *
 550 coff_arm_rtype_to_howto (abfd, sec, rel, h, sym, addendp)
 551      bfd *abfd ATTRIBUTE_UNUSED;
 552      asection *sec;
 553      struct internal_reloc *rel;
 554      struct coff_link_hash_entry *h ATTRIBUTE_UNUSED;
 555      struct internal_syment *sym ATTRIBUTE_UNUSED;
 556      bfd_vma *addendp;
 557 {
 558   reloc_howto_type * howto;
 559
 560   if (rel->r_type >= NUM_RELOCS)
 561     return NULL;
 562
 563   howto = aoutarm_std_reloc_howto + rel->r_type;
 564
 565   if (rel->r_type == ARM_RVA32)
 566     *addendp -= pe_data (sec->output_section->owner)->pe_opthdr.ImageBase;
 567
 568   return howto;
 569 }
 570 /* Used by the assembler.  */
 571
 572 static bfd_reloc_status_type
 573 aoutarm_fix_pcrel_26_done (abfd, reloc_entry, symbol, data, input_section,
 574                           output_bfd, error_message)
 575      bfd *abfd ATTRIBUTE_UNUSED;
 576      arelent *reloc_entry ATTRIBUTE_UNUSED;
 577      asymbol *symbol ATTRIBUTE_UNUSED;
 578      PTR data ATTRIBUTE_UNUSED;
 579      asection *input_section ATTRIBUTE_UNUSED;
 580      bfd *output_bfd ATTRIBUTE_UNUSED;
 581      char **error_message ATTRIBUTE_UNUSED;
 582 {
 583   /* This is dead simple at present.  */
 584   return bfd_reloc_ok;
 585 }
 586
 587 /* Used by the assembler.  */
 588
 589 static bfd_reloc_status_type
 590 aoutarm_fix_pcrel_26 (abfd, reloc_entry, symbol, data, input_section,
 591                      output_bfd, error_message)
 592      bfd *abfd;
 593      arelent *reloc_entry;
 594      asymbol *symbol;
 595      PTR data;
 596      asection *input_section;
 597      bfd *output_bfd;
 598      char **error_message ATTRIBUTE_UNUSED;
 599 {
 600   bfd_vma relocation;
 601   bfd_size_type addr = reloc_entry->address;
 602   long target = bfd_get_32 (abfd, (bfd_byte *) data + addr);
 603   bfd_reloc_status_type flag = bfd_reloc_ok;
 604
 605   /* If this is an undefined symbol, return error */
 606   if (symbol->section == &bfd_und_section
 607       && (symbol->flags & BSF_WEAK) == 0)
 608     return output_bfd ? bfd_reloc_continue : bfd_reloc_undefined;
 609
 610   /* If the sections are different, and we are doing a partial relocation,
 611      just ignore it for now.  */
 612   if (symbol->section->name != input_section->name
 613       && output_bfd != (bfd *)NULL)
 614     return bfd_reloc_continue;
 615
 616   relocation = (target & 0x00ffffff) << 2;
 617   relocation = (relocation ^ 0x02000000) - 0x02000000; /* Sign extend */
 618   relocation += symbol->value;
 619   relocation += symbol->section->output_section->vma;
 620   relocation += symbol->section->output_offset;
 621   relocation += reloc_entry->addend;
 622   relocation -= input_section->output_section->vma;
 623   relocation -= input_section->output_offset;
 624   relocation -= addr;
 625
 626   if (relocation & 3)
 627     return bfd_reloc_overflow;
 628
 629   /* Check for overflow */
 630   if (relocation & 0x02000000)
 631     {
 632       if ((relocation & ~ (bfd_vma) 0x03ffffff) != ~ (bfd_vma) 0x03ffffff)
 633         flag = bfd_reloc_overflow;
 634     }
 635   else if (relocation & ~0x03ffffff)
 636     flag = bfd_reloc_overflow;
 637
 638   target &= ~0x00ffffff;
 639   target |= (relocation >> 2) & 0x00ffffff;
 640   bfd_put_32 (abfd, target, (bfd_byte *) data + addr);
 641
 642   /* Now the ARM magic... Change the reloc type so that it is marked as done.
 643      Strictly this is only necessary if we are doing a partial relocation.  */
 644   reloc_entry->howto = &aoutarm_std_reloc_howto[ARM_26D];
 645
 646   return flag;
 647 }
 648
 649 static bfd_reloc_status_type
 650 coff_thumb_pcrel_common (abfd, reloc_entry, symbol, data, input_section,
 651                      output_bfd, error_message, btype)
 652      bfd *abfd;
 653      arelent *reloc_entry;
 654      asymbol *symbol;
 655      PTR data;
 656      asection *input_section;
 657      bfd *output_bfd;
 658      char **error_message ATTRIBUTE_UNUSED;
 659      thumb_pcrel_branchtype btype;
 660 {
 661   bfd_vma relocation = 0;
 662   bfd_size_type addr = reloc_entry->address;
 663   long target = bfd_get_32 (abfd, (bfd_byte *) data + addr);
 664   bfd_reloc_status_type flag = bfd_reloc_ok;
 665   bfd_vma dstmsk;
 666   bfd_vma offmsk;
 667   bfd_vma signbit;
 668
 669   /* NOTE: This routine is currently used by GAS, but not by the link
 670      phase.  */
 671
 672   switch (btype)
 673     {
 674     case b9:
 675       dstmsk  = 0x000000ff;
 676       offmsk  = 0x000001fe;
 677       signbit = 0x00000100;
 678       break;
 679
 680     case b12:
 681       dstmsk  = 0x000007ff;
 682       offmsk  = 0x00000ffe;
 683       signbit = 0x00000800;
 684       break;
 685
 686     case b23:
 687       dstmsk  = 0x07ff07ff;
 688       offmsk  = 0x007fffff;
 689       signbit = 0x00400000;
 690       break;
 691
 692     default:
 693       abort ();
 694     }
 695
 696   /* If this is an undefined symbol, return error */
 697   if (symbol->section == &bfd_und_section
 698       && (symbol->flags & BSF_WEAK) == 0)
 699     return output_bfd ? bfd_reloc_continue : bfd_reloc_undefined;
 700
 701   /* If the sections are different, and we are doing a partial relocation,
 702      just ignore it for now.  */
 703   if (symbol->section->name != input_section->name
 704       && output_bfd != (bfd *)NULL)
 705     return bfd_reloc_continue;
 706
 707   switch (btype)
 708     {
 709     case b9:
 710     case b12:
 711       relocation = ((target & dstmsk) << 1);
 712       break;
 713
 714     case b23:
 715       if (bfd_big_endian (abfd))
 716         relocation = ((target & 0x7ff) << 1)  | ((target & 0x07ff0000) >> 4);
 717       else
 718         relocation = ((target & 0x7ff) << 12) | ((target & 0x07ff0000) >> 15);
 719       break;
 720
 721     default:
 722       abort ();
 723     }
 724
 725   relocation = (relocation ^ signbit) - signbit; /* Sign extend */
 726   relocation += symbol->value;
 727   relocation += symbol->section->output_section->vma;
 728   relocation += symbol->section->output_offset;
 729   relocation += reloc_entry->addend;
 730   relocation -= input_section->output_section->vma;
 731   relocation -= input_section->output_offset;
 732   relocation -= addr;
 733
 734   if (relocation & 1)
 735     return bfd_reloc_overflow;
 736
 737   /* Check for overflow */
 738   if (relocation & signbit)
 739     {
 740       if ((relocation & ~offmsk) != ~offmsk)
 741         flag = bfd_reloc_overflow;
 742     }
 743   else if (relocation & ~offmsk)
 744     flag = bfd_reloc_overflow;
 745
 746   target &= ~dstmsk;
 747   switch (btype)
 748    {
 749    case b9:
 750    case b12:
 751      target |= (relocation >> 1);
 752      break;
 753
 754    case b23:
 755      if (bfd_big_endian (abfd))
 756        target |= ((relocation & 0xfff) >> 1)  | ((relocation << 4)  & 0x07ff0000);
 757      else
 758        target |= ((relocation & 0xffe) << 15) | ((relocation >> 12) & 0x7ff);
 759      break;
 760
 761    default:
 762      abort ();
 763    }
 764
 765   bfd_put_32 (abfd, target, (bfd_byte *) data + addr);
 766
 767   /* Now the ARM magic... Change the reloc type so that it is marked as done.
 768      Strictly this is only necessary if we are doing a partial relocation.  */
 769   reloc_entry->howto = & aoutarm_std_reloc_howto [ARM_26D];
 770
 771   /* TODO: We should possibly have DONE entries for the THUMB PCREL relocations */
 772   return flag;
 773 }
 774
 775 static bfd_reloc_status_type
 776 coff_thumb_pcrel_23 (abfd, reloc_entry, symbol, data, input_section,
 777                      output_bfd, error_message)
 778      bfd *abfd;
 779      arelent *reloc_entry;
 780      asymbol *symbol;
 781      PTR data;
 782      asection *input_section;
 783      bfd *output_bfd;
 784      char **error_message;
 785 {
 786   return coff_thumb_pcrel_common (abfd, reloc_entry, symbol, data,
 787                                   input_section, output_bfd, error_message, b23);
 788 }
 789
 790 static bfd_reloc_status_type
 791 coff_thumb_pcrel_12 (abfd, reloc_entry, symbol, data, input_section,
 792                      output_bfd, error_message)
 793      bfd *abfd;
 794      arelent *reloc_entry;
 795      asymbol *symbol;
 796      PTR data;
 797      asection *input_section;
 798      bfd *output_bfd;
 799      char **error_message;
 800 {
 801   return coff_thumb_pcrel_common (abfd, reloc_entry, symbol, data,
 802                                   input_section, output_bfd, error_message, b12);
 803 }
 804
 805 static bfd_reloc_status_type
 806 coff_thumb_pcrel_9 (abfd, reloc_entry, symbol, data, input_section,
 807                      output_bfd, error_message)
 808      bfd *abfd;
 809      arelent *reloc_entry;
 810      asymbol *symbol;
 811      PTR data;
 812      asection *input_section;
 813      bfd *output_bfd;
 814      char **error_message;
 815 {
 816   return coff_thumb_pcrel_common (abfd, reloc_entry, symbol, data,
 817                                   input_section, output_bfd, error_message, b9);
 818 }
 819
 820 static CONST struct reloc_howto_struct *
 821 coff_arm_reloc_type_lookup (abfd, code)
 822       bfd * abfd;
 823       bfd_reloc_code_real_type code;
 824 {
 825 #define ASTD(i,j)       case i: return aoutarm_std_reloc_howto + j
 826
 827   if (code == BFD_RELOC_CTOR)
 828     switch (bfd_get_arch_info (abfd)->bits_per_address)
 829       {
 830       case 32:
 831         code = BFD_RELOC_32;
 832         break;
 833       default: return (CONST struct reloc_howto_struct *) 0;
 834       }
 835
 836   switch (code)
 837     {
 838 #ifdef ARM_WINCE
 839       ASTD (BFD_RELOC_32,                   ARM_32);
 840       ASTD (BFD_RELOC_RVA,                  ARM_RVA32);
 841       ASTD (BFD_RELOC_ARM_PCREL_BRANCH,     ARM_26);
 842       ASTD (BFD_RELOC_THUMB_PCREL_BRANCH12, ARM_THUMB12);
 843 #else
 844       ASTD (BFD_RELOC_8,                    ARM_8);
 845       ASTD (BFD_RELOC_16,                   ARM_16);
 846       ASTD (BFD_RELOC_32,                   ARM_32);
 847       ASTD (BFD_RELOC_ARM_PCREL_BRANCH,     ARM_26);
 848       ASTD (BFD_RELOC_8_PCREL,              ARM_DISP8);
 849       ASTD (BFD_RELOC_16_PCREL,             ARM_DISP16);
 850       ASTD (BFD_RELOC_32_PCREL,             ARM_DISP32);
 851       ASTD (BFD_RELOC_RVA,                  ARM_RVA32);
 852       ASTD (BFD_RELOC_THUMB_PCREL_BRANCH9,  ARM_THUMB9);
 853       ASTD (BFD_RELOC_THUMB_PCREL_BRANCH12, ARM_THUMB12);
 854       ASTD (BFD_RELOC_THUMB_PCREL_BRANCH23, ARM_THUMB23);
 855 #endif
 856     default: return (CONST struct reloc_howto_struct *) 0;
 857     }
 858 }
 859
 860 #define COFF_DEFAULT_SECTION_ALIGNMENT_POWER (2)
 861 #define COFF_PAGE_SIZE 0x1000
 862 /* Turn a howto into a reloc  nunmber */
 863
 864 #define SELECT_RELOC(x,howto) { x.r_type = howto->type; }
 865 #define BADMAG(x) ARMBADMAG(x)
 866 #define ARM 1                   /* Customize coffcode.h */
 867
 868 /* Extend the coff_link_hash_table structure with a few ARM specific fields.
 869    This allows us to store global data here without actually creating any
 870    global variables, which is a no-no in the BFD world.  */
 871 struct coff_arm_link_hash_table
 872 {
 873   /* The original coff_link_hash_table structure.  MUST be first field.  */
 874   struct coff_link_hash_table   root;
 875
 876   /* The size in bytes of the section containg the Thumb-to-ARM glue.  */
 877   long int                      thumb_glue_size;
 878
 879   /* The size in bytes of the section containg the ARM-to-Thumb glue.  */
 880   long int                      arm_glue_size;
 881
 882   /* An arbitary input BFD chosen to hold the glue sections.  */
 883   bfd *                         bfd_of_glue_owner;
 884
 885   /* Support interworking with old, non-interworking aware ARM code.  */
 886   int                           support_old_code;
 887 };
 888
 889 /* Get the ARM coff linker hash table from a link_info structure.  */
 890 #define coff_arm_hash_table(info) \
 891   ((struct coff_arm_link_hash_table *) ((info)->hash))
 892
 893 /* Create an ARM coff linker hash table.  */
 894
 895 static struct bfd_link_hash_table *
 896 coff_arm_link_hash_table_create (abfd)
 897      bfd * abfd;
 898 {
 899   struct coff_arm_link_hash_table * ret;
 900
 901   ret = ((struct coff_arm_link_hash_table *)
 902          bfd_alloc (abfd, sizeof (struct coff_arm_link_hash_table)));
 903   if (ret == (struct coff_arm_link_hash_table *) NULL)
 904     return NULL;
 905
 906   if (! _bfd_coff_link_hash_table_init
 907       (& ret->root, abfd, _bfd_coff_link_hash_newfunc))
 908     {
 909       bfd_release (abfd, ret);
 910       return (struct bfd_link_hash_table *) NULL;
 911     }
 912
 913   ret->thumb_glue_size   = 0;
 914   ret->arm_glue_size     = 0;
 915   ret->bfd_of_glue_owner = NULL;
 916
 917   return & ret->root.root;
 918 }
 919
 920 static void
 921 arm_emit_base_file_entry (info, output_bfd, input_section, reloc_offset)
 922       struct bfd_link_info *info;
 923       bfd *output_bfd;
 924       asection *input_section;
 925       bfd_vma reloc_offset;
 926 {
 927   bfd_vma addr = reloc_offset
 928                 - input_section->vma
 929                 + input_section->output_offset
 930                   + input_section->output_section->vma;
 931
 932   if (coff_data(output_bfd)->pe)
 933      addr -= pe_data(output_bfd)->pe_opthdr.ImageBase;
 934   fwrite (&addr, 1, sizeof (addr), (FILE *) info->base_file);
 935
 936 }
 937 \f
 938 /* The thumb form of a long branch is a bit finicky, because the offset
 939    encoding is split over two fields, each in it's own instruction. They
 940    can occur in any order. So given a thumb form of long branch, and an
 941    offset, insert the offset into the thumb branch and return finished
 942    instruction.
 943
 944    It takes two thumb instructions to encode the target address. Each has
 945    11 bits to invest. The upper 11 bits are stored in one (identifed by
 946    H-0.. see below), the lower 11 bits are stored in the other (identified
 947    by H-1).
 948
 949    Combine together and shifted left by 1 (it's a half word address) and
 950    there you have it.
 951
 952      Op: 1111 = F,
 953      H-0, upper address-0 = 000
 954      Op: 1111 = F,
 955      H-1, lower address-0 = 800
 956
 957    They can be ordered either way, but the arm tools I've seen always put
 958    the lower one first. It probably doesn't matter. krk@cygnus.com
 959
 960    XXX:  Actually the order does matter.  The second instruction (H-1)
 961    moves the computed address into the PC, so it must be the second one
 962    in the sequence.  The problem, however is that whilst little endian code
 963    stores the instructions in HI then LOW order, big endian code does the
 964    reverse.  nickc@cygnus.com  */
 965
 966 #define LOW_HI_ORDER 0xF800F000
 967 #define HI_LOW_ORDER 0xF000F800
 968
 969 static insn32
 970 insert_thumb_branch (br_insn, rel_off)
 971      insn32 br_insn;
 972      int rel_off;
 973 {
 974   unsigned int low_bits;
 975   unsigned int high_bits;
 976
 977   BFD_ASSERT((rel_off & 1) != 1);
 978
 979   rel_off >>= 1;                              /* half word aligned address */
 980   low_bits = rel_off & 0x000007FF;            /* the bottom 11 bits */
 981   high_bits = (rel_off >> 11) & 0x000007FF;   /* the top 11 bits */
 982
 983   if ((br_insn & LOW_HI_ORDER) == LOW_HI_ORDER)
 984     br_insn = LOW_HI_ORDER | (low_bits << 16) | high_bits;
 985   else if ((br_insn & HI_LOW_ORDER) == HI_LOW_ORDER)
 986     br_insn = HI_LOW_ORDER | (high_bits << 16) | low_bits;
 987   else
 988     abort (); /* error - not a valid branch instruction form */
 989
 990   /* FIXME: abort is probably not the right call. krk@cygnus.com */
 991
 992   return br_insn;
 993 }
 994
 995 \f
 996 static struct coff_link_hash_entry *
 997 find_thumb_glue (info, name, input_bfd)
 998      struct bfd_link_info * info;
 999      CONST char *           name;
1000      bfd *                  input_bfd;
1001 {
1002   char *                        tmp_name;
1003   struct coff_link_hash_entry * myh;
1004
1005   tmp_name = ((char *)
1006          bfd_malloc (strlen (name) + strlen (THUMB2ARM_GLUE_ENTRY_NAME) + 1));
1007
1008   BFD_ASSERT (tmp_name);
1009
1010   sprintf (tmp_name, THUMB2ARM_GLUE_ENTRY_NAME, name);
1011
1012   myh = coff_link_hash_lookup
1013     (coff_hash_table (info), tmp_name, false, false, true);
1014
1015   if (myh == NULL)
1016     /* xgettext:c-format */
1017     _bfd_error_handler (_("%s: unable to find THUMB glue '%s' for `%s'"),
1018                         bfd_get_filename (input_bfd), tmp_name, name);
1019
1020   free (tmp_name);
1021
1022   return myh;
1023 }
1024
1025 static struct coff_link_hash_entry *
1026 find_arm_glue (info, name, input_bfd)
1027      struct bfd_link_info * info;
1028      CONST char *           name;
1029      bfd *                  input_bfd;
1030 {
1031   char *                        tmp_name;
1032   struct coff_link_hash_entry * myh;
1033
1034   tmp_name = ((char *)
1035               bfd_malloc (strlen (name) + strlen (ARM2THUMB_GLUE_ENTRY_NAME) + 1));
1036
1037   BFD_ASSERT (tmp_name);
1038
1039   sprintf (tmp_name, ARM2THUMB_GLUE_ENTRY_NAME, name);
1040
1041   myh = coff_link_hash_lookup
1042     (coff_hash_table (info), tmp_name, false, false, true);
1043
1044   if (myh == NULL)
1045     /* xgettext:c-format */
1046     _bfd_error_handler (_("%s: unable to find ARM glue '%s' for `%s'"),
1047                         bfd_get_filename (input_bfd), tmp_name, name);
1048
1049   free (tmp_name);
1050
1051   return myh;
1052 }
1053
1054 /*
1055   ARM->Thumb glue:
1056
1057        .arm
1058        __func_from_arm:
1059              ldr r12, __func_addr
1060              bx  r12
1061        __func_addr:
1062             .word func    @ behave as if you saw a ARM_32 reloc
1063 */
1064
1065 #define ARM2THUMB_GLUE_SIZE 12
1066 static const insn32 a2t1_ldr_insn       = 0xe59fc000;
1067 static const insn32 a2t2_bx_r12_insn    = 0xe12fff1c;
1068 static const insn32 a2t3_func_addr_insn = 0x00000001;
1069
1070 /*
1071    Thumb->ARM:                          Thumb->(non-interworking aware) ARM
1072
1073    .thumb                               .thumb
1074    .align 2                             .align 2
1075       __func_from_thumb:                   __func_from_thumb:
1076            bx pc                                push {r6, lr}
1077            nop                                  ldr  r6, __func_addr
1078    .arm                                         mov  lr, pc
1079       __func_change_to_arm:                     bx   r6
1080            b func                       .arm
1081                                            __func_back_to_thumb:
1082                                                 ldmia r13! {r6, lr}
1083                                                 bx    lr
1084                                            __func_addr:
1085                                                 .word   func
1086 */
1087
1088 #define THUMB2ARM_GLUE_SIZE (globals->support_old_code ? 20 : 8)
1089 static const insn16 t2a1_bx_pc_insn = 0x4778;
1090 static const insn16 t2a2_noop_insn  = 0x46c0;
1091 static const insn32 t2a3_b_insn     = 0xea000000;
1092
1093 static const insn16 t2a1_push_insn  = 0xb540;
1094 static const insn16 t2a2_ldr_insn   = 0x4e03;
1095 static const insn16 t2a3_mov_insn   = 0x46fe;
1096 static const insn16 t2a4_bx_insn    = 0x4730;
1097 static const insn32 t2a5_pop_insn   = 0xe8bd4040;
1098 static const insn32 t2a6_bx_insn    = 0xe12fff1e;
1099
1100 /* TODO:
1101      We should really create new local (static) symbols in destination
1102      object for each stub we create.  We should also create local
1103      (static) symbols within the stubs when switching between ARM and
1104      Thumb code.  This will ensure that the debugger and disassembler
1105      can present a better view of stubs.
1106
1107      We can treat stubs like literal sections, and for the THUMB9 ones
1108      (short addressing range) we should be able to insert the stubs
1109      between sections. i.e. the simplest approach (since relocations
1110      are done on a section basis) is to dump the stubs at the end of
1111      processing a section. That way we can always try and minimise the
1112      offset to and from a stub. However, this does not map well onto
1113      the way that the linker/BFD does its work: mapping all input
1114      sections to output sections via the linker script before doing
1115      all the processing.
1116
1117      Unfortunately it may be easier to just to disallow short range
1118      Thumb->ARM stubs (i.e. no conditional inter-working branches,
1119      only branch-and-link (BL) calls.  This will simplify the processing
1120      since we can then put all of the stubs into their own section.
1121
1122   TODO:
1123      On a different subject, rather than complaining when a
1124      branch cannot fit in the number of bits available for the
1125      instruction we should generate a trampoline stub (needed to
1126      address the complete 32bit address space).  */
1127
1128 /* The standard COFF backend linker does not cope with the special
1129    Thumb BRANCH23 relocation.  The alternative would be to split the
1130    BRANCH23 into seperate HI23 and LO23 relocations. However, it is a
1131    bit simpler simply providing our own relocation driver.  */
1132
1133 /* The reloc processing routine for the ARM/Thumb COFF linker.  NOTE:
1134    This code is a very slightly modified copy of
1135    _bfd_coff_generic_relocate_section.  It would be a much more
1136    maintainable solution to have a MACRO that could be expanded within
1137    _bfd_coff_generic_relocate_section that would only be provided for
1138    ARM/Thumb builds.  It is only the code marked THUMBEXTENSION that
1139    is different from the original.  */
1140
1141 static boolean
1142 coff_arm_relocate_section (output_bfd, info, input_bfd, input_section,
1143                            contents, relocs, syms, sections)
1144      bfd *output_bfd;
1145      struct bfd_link_info *info;
1146      bfd *input_bfd;
1147      asection *input_section;
1148      bfd_byte *contents;
1149      struct internal_reloc *relocs;
1150      struct internal_syment *syms;
1151      asection **sections;
1152 {
1153   struct internal_reloc * rel;
1154   struct internal_reloc * relend;
1155
1156   rel = relocs;
1157   relend = rel + input_section->reloc_count;
1158
1159   for (; rel < relend; rel++)
1160     {
1161       int                            done = 0;
1162       long                           symndx;
1163       struct coff_link_hash_entry *  h;
1164       struct internal_syment *       sym;
1165       bfd_vma                        addend;
1166       bfd_vma                        val;
1167       reloc_howto_type *             howto;
1168       bfd_reloc_status_type          rstat;
1169       bfd_vma                        h_val;
1170
1171       symndx = rel->r_symndx;
1172
1173       if (symndx == -1)
1174         {
1175           h = NULL;
1176           sym = NULL;
1177         }
1178       else
1179         {
1180           h = obj_coff_sym_hashes (input_bfd)[symndx];
1181           sym = syms + symndx;
1182         }
1183
1184       /* COFF treats common symbols in one of two ways.  Either the
1185          size of the symbol is included in the section contents, or it
1186          is not.  We assume that the size is not included, and force
1187          the rtype_to_howto function to adjust the addend as needed.  */
1188
1189       if (sym != NULL && sym->n_scnum != 0)
1190         addend = - sym->n_value;
1191       else
1192         addend = 0;
1193
1194       howto = coff_rtype_to_howto (input_bfd, input_section, rel, h,
1195                                        sym, &addend);
1196       if (howto == NULL)
1197         return false;
1198
1199       /* The relocation_section function will skip pcrel_offset relocs
1200          when doing a relocateable link.  However, we want to convert
1201          ARM26 to ARM26D relocs if possible.  We return a fake howto in
1202          this case without pcrel_offset set, and adjust the addend to
1203          compensate.  */
1204       if (rel->r_type == ARM_26
1205           && h != NULL
1206           && info->relocateable
1207           && (h->root.type == bfd_link_hash_defined
1208               || h->root.type == bfd_link_hash_defweak)
1209           && h->root.u.def.section->output_section == input_section->output_section)
1210         {
1211           static reloc_howto_type fake_arm26_reloc =
1212             HOWTO (ARM_26,
1213                2,
1214                2,
1215                24,
1216                true,
1217                0,
1218                complain_overflow_signed,
1219                aoutarm_fix_pcrel_26 ,
1220                "ARM_26",
1221                false,
1222                0x00ffffff,
1223                0x00ffffff,
1224                false);
1225
1226           addend -= rel->r_vaddr - input_section->vma;
1227           howto = &fake_arm26_reloc;
1228         }
1229
1230 #ifdef ARM_WINCE
1231       /* MS ARM-CE makes the reloc relative to the opcode's pc, not
1232          the next opcode's pc, so is off by one.  */
1233       if (howto->pc_relative && !info->relocateable)
1234         addend -= 8;
1235 #endif
1236
1237       /* If we are doing a relocateable link, then we can just ignore
1238          a PC relative reloc that is pcrel_offset.  It will already
1239          have the correct value.  If this is not a relocateable link,
1240          then we should ignore the symbol value.  */
1241       if (howto->pc_relative && howto->pcrel_offset)
1242         {
1243           if (info->relocateable)
1244             continue;
1245 #if 0  /* We must not ignore the symbol value.  If the symbol is
1246           within the same section, the relocation should have already
1247           been fixed, but if it is not, we'll be handed a reloc into
1248           the beginning of the symbol's section, so we must not cancel
1249           out the symbol's value, otherwise we'll be adding it in
1250           twice.  */
1251           if (sym != NULL && sym->n_scnum != 0)
1252             addend += sym->n_value;
1253 #endif
1254         }
1255
1256       val = 0;
1257
1258       if (h == NULL)
1259         {
1260           asection *sec;
1261
1262           if (symndx == -1)
1263             {
1264               sec = bfd_abs_section_ptr;
1265               val = 0;
1266             }
1267           else
1268             {
1269               sec = sections[symndx];
1270               val = (sec->output_section->vma
1271                      + sec->output_offset
1272                      + sym->n_value
1273                      - sec->vma);
1274             }
1275         }
1276       else
1277         {
1278 #if 1 /* THUMBEXTENSION */
1279           /* We don't output the stubs if we are generating a
1280              relocatable output file, since we may as well leave the
1281              stub generation to the final linker pass. If we fail to
1282              verify that the name is defined, we'll try to build stubs
1283              for an undefined name...  */
1284           if (! info->relocateable
1285               && (   h->root.type == bfd_link_hash_defined
1286                   || h->root.type == bfd_link_hash_defweak))
1287             {
1288               asection *   h_sec = h->root.u.def.section;
1289               const char * name  = h->root.root.string;
1290
1291               /* h locates the symbol referenced in the reloc.  */
1292               h_val = (h->root.u.def.value
1293                        + h_sec->output_section->vma
1294                        + h_sec->output_offset);
1295
1296               if (howto->type == ARM_26)
1297                 {
1298                   if (   h->class == C_THUMBSTATFUNC
1299                       || h->class == C_THUMBEXTFUNC)
1300                     {
1301                       /* Arm code calling a Thumb function */
1302                       unsigned long int                 tmp;
1303                       long int                          my_offset;
1304                       asection *                        s;
1305                       long int                          ret_offset;
1306                       struct coff_link_hash_entry *     myh;
1307                       struct coff_arm_link_hash_table * globals;
1308
1309                       myh = find_arm_glue (info, name, input_bfd);
1310                       if (myh == NULL)
1311                         return false;
1312
1313                       globals = coff_arm_hash_table (info);
1314
1315                       BFD_ASSERT (globals != NULL);
1316                       BFD_ASSERT (globals->bfd_of_glue_owner != NULL);
1317
1318                       my_offset = myh->root.u.def.value;
1319
1320                       s = bfd_get_section_by_name (globals->bfd_of_glue_owner,
1321                                                   ARM2THUMB_GLUE_SECTION_NAME);
1322                       BFD_ASSERT (s != NULL);
1323                       BFD_ASSERT (s->contents != NULL);
1324                       BFD_ASSERT (s->output_section != NULL);
1325
1326                       if ((my_offset & 0x01) == 0x01)
1327                         {
1328                           if (h_sec->owner != NULL
1329                               && INTERWORK_SET (h_sec->owner)
1330                               && ! INTERWORK_FLAG (h_sec->owner))
1331                             {
1332                               _bfd_error_handler
1333                                 /* xgettext:c-format */
1334                                 (_("%s(%s): warning: interworking not enabled."),
1335                                  bfd_get_filename (h_sec->owner), name);
1336                               _bfd_error_handler
1337                                 /* xgettext:c-format */
1338                                 (_("  first occurrence: %s: arm call to thumb"),
1339                                  bfd_get_filename (input_bfd));
1340                             }
1341
1342                           --my_offset;
1343                           myh->root.u.def.value = my_offset;
1344
1345                           bfd_put_32 (output_bfd, a2t1_ldr_insn,
1346                                       s->contents + my_offset);
1347
1348                           bfd_put_32 (output_bfd, a2t2_bx_r12_insn,
1349                                       s->contents + my_offset + 4);
1350
1351                           /* It's a thumb address.  Add the low order bit.  */
1352                           bfd_put_32 (output_bfd, h_val | a2t3_func_addr_insn,
1353                                       s->contents + my_offset + 8);
1354
1355                           if (info->base_file)
1356                             arm_emit_base_file_entry (info, output_bfd, s,
1357                                                             my_offset + 8);
1358
1359                         }
1360
1361                       BFD_ASSERT (my_offset <= globals->arm_glue_size);
1362
1363                       tmp = bfd_get_32 (input_bfd, contents + rel->r_vaddr
1364                                         - input_section->vma);
1365
1366                       tmp = tmp & 0xFF000000;
1367
1368                       /* Somehow these are both 4 too far, so subtract 8.  */
1369                       ret_offset =
1370                         s->output_offset
1371                         + my_offset
1372                         + s->output_section->vma
1373                         - (input_section->output_offset
1374                            + input_section->output_section->vma
1375                            + rel->r_vaddr)
1376                         - 8;
1377
1378                       tmp = tmp | ((ret_offset >> 2) & 0x00FFFFFF);
1379
1380                       bfd_put_32 (output_bfd, tmp, contents + rel->r_vaddr
1381                                   - input_section->vma);
1382                       done = 1;
1383                     }
1384                 }
1385
1386 #ifndef ARM_WINCE
1387               /* Note: We used to check for ARM_THUMB9 and ARM_THUMB12 */
1388               else if (howto->type == ARM_THUMB23)
1389                 {
1390                   if (   h->class == C_EXT
1391                       || h->class == C_STAT
1392                       || h->class == C_LABEL)
1393                     {
1394                       /* Thumb code calling an ARM function */
1395                       asection *                         s = 0;
1396                       long int                           my_offset;
1397                       unsigned long int                  tmp;
1398                       long int                           ret_offset;
1399                       struct coff_link_hash_entry *      myh;
1400                       struct coff_arm_link_hash_table *  globals;
1401
1402                       myh = find_thumb_glue (info, name, input_bfd);
1403                       if (myh == NULL)
1404                         return false;
1405
1406                       globals = coff_arm_hash_table (info);
1407
1408                       BFD_ASSERT (globals != NULL);
1409                       BFD_ASSERT (globals->bfd_of_glue_owner != NULL);
1410
1411                       my_offset = myh->root.u.def.value;
1412
1413                       s = bfd_get_section_by_name (globals->bfd_of_glue_owner,
1414                                                    THUMB2ARM_GLUE_SECTION_NAME);
1415
1416                       BFD_ASSERT (s != NULL);
1417                       BFD_ASSERT (s->contents != NULL);
1418                       BFD_ASSERT (s->output_section != NULL);
1419
1420                       if ((my_offset & 0x01) == 0x01)
1421                         {
1422                           if (h_sec->owner != NULL
1423                               && INTERWORK_SET (h_sec->owner)
1424                               && ! INTERWORK_FLAG (h_sec->owner)
1425                               && ! globals->support_old_code)
1426                             {
1427                               _bfd_error_handler
1428                                 /* xgettext:c-format */
1429                                 (_("%s(%s): warning: interworking not enabled."),
1430                                  bfd_get_filename (h_sec->owner), name);
1431                               _bfd_error_handler
1432                                 /* xgettext:c-format */
1433                                 (_("  first occurrence: %s: thumb call to arm"),
1434                                  bfd_get_filename (input_bfd));
1435                               _bfd_error_handler
1436                                 (_("  consider relinking with --support-old-code enabled"));
1437                             }
1438
1439                           -- my_offset;
1440                           myh->root.u.def.value = my_offset;
1441
1442                           if (globals->support_old_code)
1443                             {
1444                               bfd_put_16 (output_bfd, t2a1_push_insn,
1445                                           s->contents + my_offset);
1446
1447                               bfd_put_16 (output_bfd, t2a2_ldr_insn,
1448                                           s->contents + my_offset + 2);
1449
1450                               bfd_put_16 (output_bfd, t2a3_mov_insn,
1451                                           s->contents + my_offset + 4);
1452
1453                               bfd_put_16 (output_bfd, t2a4_bx_insn,
1454                                           s->contents + my_offset + 6);
1455
1456                               bfd_put_32 (output_bfd, t2a5_pop_insn,
1457                                           s->contents + my_offset + 8);
1458
1459                               bfd_put_32 (output_bfd, t2a6_bx_insn,
1460                                           s->contents + my_offset + 12);
1461
1462                               /* Store the address of the function in the last word of the stub.  */
1463                               bfd_put_32 (output_bfd, h_val,
1464                                           s->contents + my_offset + 16);
1465
1466                               if (info->base_file)
1467                                 arm_emit_base_file_entry (info, output_bfd, s, my_offset + 16);
1468                             }
1469                           else
1470                             {
1471                               bfd_put_16 (output_bfd, t2a1_bx_pc_insn,
1472                                           s->contents + my_offset);
1473
1474                               bfd_put_16 (output_bfd, t2a2_noop_insn,
1475                                           s->contents + my_offset + 2);
1476
1477                               ret_offset =
1478                                 ((bfd_signed_vma) h_val)        /* Address of destination of the stub */
1479                                 - ((bfd_signed_vma)
1480                                    (s->output_offset            /* Offset from the start of the current section to the start of the stubs.  */
1481                                     + my_offset                 /* Offset of the start of this stub from the start of the stubs.  */
1482                                     + s->output_section->vma)   /* Address of the start of the current section.  */
1483                                    + 4                          /* The branch instruction is 4 bytes into the stub.  */
1484                                    + 8);                        /* ARM branches work from the pc of the instruction + 8.  */
1485
1486                               bfd_put_32 (output_bfd,
1487                                           t2a3_b_insn | ((ret_offset >> 2) & 0x00FFFFFF),
1488                                           s->contents + my_offset + 4);
1489
1490                             }
1491                         }
1492
1493                       BFD_ASSERT (my_offset <= globals->thumb_glue_size);
1494
1495                       /* Now go back and fix up the original BL insn to point
1496                          to here.  */
1497                       ret_offset =
1498                         s->output_offset
1499                         + my_offset
1500                         - (input_section->output_offset
1501                            + rel->r_vaddr)
1502                         -4;
1503
1504                       tmp = bfd_get_32 (input_bfd, contents + rel->r_vaddr
1505                                         - input_section->vma);
1506
1507                       bfd_put_32 (output_bfd,
1508                                   insert_thumb_branch (tmp, ret_offset),
1509                                   contents + rel->r_vaddr
1510                                   - input_section->vma);
1511
1512                       done = 1;
1513                     }
1514                 }
1515 #endif
1516             }
1517
1518           /* If the relocation type and destination symbol does not
1519              fall into one of the above categories, then we can just
1520              perform a direct link.  */
1521
1522           if (done)
1523             rstat = bfd_reloc_ok;
1524           else
1525 #endif /* THUMBEXTENSION */
1526             if (   h->root.type == bfd_link_hash_defined
1527                 || h->root.type == bfd_link_hash_defweak)
1528             {
1529               asection *sec;
1530
1531               sec = h->root.u.def.section;
1532               val = (h->root.u.def.value
1533                      + sec->output_section->vma
1534                      + sec->output_offset);
1535               }
1536
1537           else if (! info->relocateable)
1538             {
1539               if (! ((*info->callbacks->undefined_symbol)
1540                      (info, h->root.root.string, input_bfd, input_section,
1541                       rel->r_vaddr - input_section->vma, true)))
1542                 return false;
1543             }
1544         }
1545
1546       if (info->base_file)
1547         {
1548           /* Emit a reloc if the backend thinks it needs it.  */
1549           if (sym && pe_data(output_bfd)->in_reloc_p(output_bfd, howto))
1550             arm_emit_base_file_entry (info, output_bfd, input_section, rel->r_vaddr);
1551         }
1552
1553 #if 1 /* THUMBEXTENSION */
1554       if (done)
1555         rstat = bfd_reloc_ok;
1556 #ifndef ARM_WINCE
1557       /* Only perform this fix during the final link, not a relocatable link.  nickc@cygnus.com  */
1558       else if (! info->relocateable
1559                && howto->type == ARM_THUMB23)
1560         {
1561           /* This is pretty much a copy of what the default
1562              _bfd_final_link_relocate and _bfd_relocate_contents
1563              routines do to perform a relocation, with special
1564              processing for the split addressing of the Thumb BL
1565              instruction.  Again, it would probably be simpler adding a
1566              ThumbBRANCH23 specific macro expansion into the default
1567              code.  */
1568
1569           bfd_vma address = rel->r_vaddr - input_section->vma;
1570
1571           if (address > input_section->_raw_size)
1572             rstat = bfd_reloc_outofrange;
1573           else
1574             {
1575               bfd_vma         relocation       = val + addend;
1576               int             size             = bfd_get_reloc_size (howto);
1577               boolean         overflow         = false;
1578               bfd_byte *      location         = contents + address;
1579               bfd_vma         x                = bfd_get_32 (input_bfd, location);
1580               bfd_vma         src_mask         = 0x007FFFFE;
1581               bfd_signed_vma  reloc_signed_max = (1 << (howto->bitsize - 1)) - 1;
1582               bfd_signed_vma  reloc_signed_min = ~reloc_signed_max;
1583               bfd_vma         check;
1584               bfd_signed_vma  signed_check;
1585               bfd_vma         add;
1586               bfd_signed_vma  signed_add;
1587
1588               BFD_ASSERT (size == 4);
1589
1590               /* howto->pc_relative should be TRUE for type 14 BRANCH23 */
1591               relocation -= (input_section->output_section->vma
1592                              + input_section->output_offset);
1593
1594               /* howto->pcrel_offset should be TRUE for type 14 BRANCH23 */
1595               relocation -= address;
1596
1597               /* No need to negate the relocation with BRANCH23.  */
1598               /* howto->complain_on_overflow == complain_overflow_signed for BRANCH23.  */
1599               /* howto->rightshift == 1 */
1600               /* Drop unwanted bits from the value we are relocating to.  */
1601
1602               check = relocation >> howto->rightshift;
1603
1604               /* If this is a signed value, the rightshift just dropped
1605                  leading 1 bits (assuming twos complement).  */
1606               if ((bfd_signed_vma) relocation >= 0)
1607                 signed_check = check;
1608               else
1609                 signed_check = (check
1610                                 | ((bfd_vma) - 1
1611                                    & ~((bfd_vma) - 1 >> howto->rightshift)));
1612
1613               /* Get the value from the object file.  */
1614               if (bfd_big_endian (input_bfd))
1615                 {
1616                   add = (((x) & 0x07ff0000) >> 4) | (((x) & 0x7ff) << 1);
1617                 }
1618               else
1619                 {
1620                   add = ((((x) & 0x7ff) << 12) | (((x) & 0x07ff0000) >> 15));
1621                 }
1622
1623               /* Get the value from the object file with an appropriate sign.
1624                  The expression involving howto->src_mask isolates the upper
1625                  bit of src_mask.  If that bit is set in the value we are
1626                  adding, it is negative, and we subtract out that number times
1627                  two.  If src_mask includes the highest possible bit, then we
1628                  can not get the upper bit, but that does not matter since
1629                  signed_add needs no adjustment to become negative in that
1630                  case.  */
1631
1632               signed_add = add;
1633
1634               if ((add & (((~ src_mask) >> 1) & src_mask)) != 0)
1635                 signed_add -= (((~ src_mask) >> 1) & src_mask) << 1;
1636
1637               /* Add the value from the object file, shifted so that it is a
1638                  straight number.  */
1639               /* howto->bitpos == 0 */
1640
1641               signed_check += signed_add;
1642               relocation += signed_add;
1643
1644               BFD_ASSERT (howto->complain_on_overflow == complain_overflow_signed);
1645
1646               /* Assumes two's complement.  */
1647               if (   signed_check > reloc_signed_max
1648                   || signed_check < reloc_signed_min)
1649                 overflow = true;
1650
1651               /* Put RELOCATION into the correct bits:  */
1652
1653               if (bfd_big_endian (input_bfd))
1654                 {
1655                   relocation = (((relocation & 0xffe) >> 1)  | ((relocation << 4) & 0x07ff0000));
1656                 }
1657               else
1658                 {
1659                   relocation = (((relocation & 0xffe) << 15) | ((relocation >> 12) & 0x7ff));
1660                 }
1661
1662               /* Add RELOCATION to the correct bits of X:  */
1663               x = ((x & ~howto->dst_mask) | relocation);
1664
1665               /* Put the relocated value back in the object file:  */
1666               bfd_put_32 (input_bfd, x, location);
1667
1668               rstat = overflow ? bfd_reloc_overflow : bfd_reloc_ok;
1669             }
1670         }
1671 #endif
1672       else
1673 #endif /* THUMBEXTENSION */
1674         rstat = _bfd_final_link_relocate (howto, input_bfd, input_section,
1675                                           contents,
1676                                           rel->r_vaddr - input_section->vma,
1677                                           val, addend);
1678 #if 1 /* THUMBEXTENSION */
1679       /* FIXME:
1680          Is this the best way to fix up thumb addresses? krk@cygnus.com
1681          Probably not, but it works, and if it works it don't need fixing!  nickc@cygnus.com */
1682       /* Only perform this fix during the final link, not a relocatable link.  nickc@cygnus.com  */
1683       if (! info->relocateable
1684           && (rel->r_type == ARM_32 || rel->r_type == ARM_RVA32))
1685         {
1686           /* Determine if we need to set the bottom bit of a relocated address
1687              because the address is the address of a Thumb code symbol.  */
1688
1689           int patchit = false;
1690
1691           if (h != NULL
1692               && (   h->class == C_THUMBSTATFUNC
1693                   || h->class == C_THUMBEXTFUNC))
1694             {
1695               patchit = true;
1696             }
1697           else if (sym != NULL
1698                    && sym->n_scnum > N_UNDEF)
1699             {
1700               /* No hash entry - use the symbol instead.  */
1701
1702               if (   sym->n_sclass == C_THUMBSTATFUNC
1703                   || sym->n_sclass == C_THUMBEXTFUNC)
1704                 patchit = true;
1705             }
1706
1707           if (patchit)
1708             {
1709               bfd_byte * location = contents + rel->r_vaddr - input_section->vma;
1710               bfd_vma    x        = bfd_get_32 (input_bfd, location);
1711
1712               bfd_put_32 (input_bfd, x | 1, location);
1713             }
1714         }
1715 #endif /* THUMBEXTENSION */
1716
1717       switch (rstat)
1718         {
1719         default:
1720           abort ();
1721         case bfd_reloc_ok:
1722           break;
1723         case bfd_reloc_outofrange:
1724           (*_bfd_error_handler)
1725             (_("%s: bad reloc address 0x%lx in section `%s'"),
1726              bfd_get_filename (input_bfd),
1727              (unsigned long) rel->r_vaddr,
1728              bfd_get_section_name (input_bfd, input_section));
1729           return false;
1730         case bfd_reloc_overflow:
1731           {
1732             const char *name;
1733             char buf[SYMNMLEN + 1];
1734
1735             if (symndx == -1)
1736               name = "*ABS*";
1737             else if (h != NULL)
1738               name = h->root.root.string;
1739             else
1740               {
1741                 name = _bfd_coff_internal_syment_name (input_bfd, sym, buf);
1742                 if (name == NULL)
1743                   return false;
1744               }
1745
1746             if (! ((*info->callbacks->reloc_overflow)
1747                    (info, name, howto->name, (bfd_vma) 0, input_bfd,
1748                     input_section, rel->r_vaddr - input_section->vma)))
1749               return false;
1750           }
1751         }
1752     }
1753
1754   return true;
1755 }
1756
1757 #ifndef COFF_IMAGE_WITH_PE
1758
1759 boolean
1760 bfd_arm_allocate_interworking_sections (info)
1761      struct bfd_link_info * info;
1762 {
1763   asection *                        s;
1764   bfd_byte *                        foo;
1765   struct coff_arm_link_hash_table * globals;
1766 #if 0
1767   static char                       test_char = '1';
1768 #endif
1769
1770   globals = coff_arm_hash_table (info);
1771
1772   BFD_ASSERT (globals != NULL);
1773
1774   if (globals->arm_glue_size != 0)
1775     {
1776       BFD_ASSERT (globals->bfd_of_glue_owner != NULL);
1777
1778       s = bfd_get_section_by_name
1779         (globals->bfd_of_glue_owner, ARM2THUMB_GLUE_SECTION_NAME);
1780
1781       BFD_ASSERT (s != NULL);
1782
1783       foo = (bfd_byte *) bfd_alloc
1784         (globals->bfd_of_glue_owner, globals->arm_glue_size);
1785 #if 0
1786       memset (foo, test_char, globals->arm_glue_size);
1787 #endif
1788
1789       s->_raw_size = s->_cooked_size = globals->arm_glue_size;
1790       s->contents = foo;
1791     }
1792
1793   if (globals->thumb_glue_size != 0)
1794     {
1795       BFD_ASSERT (globals->bfd_of_glue_owner != NULL);
1796
1797       s = bfd_get_section_by_name
1798         (globals->bfd_of_glue_owner, THUMB2ARM_GLUE_SECTION_NAME);
1799
1800       BFD_ASSERT (s != NULL);
1801
1802       foo = (bfd_byte *) bfd_alloc
1803         (globals->bfd_of_glue_owner, globals->thumb_glue_size);
1804 #if 0
1805       memset (foo, test_char, globals->thumb_glue_size);
1806 #endif
1807
1808       s->_raw_size = s->_cooked_size = globals->thumb_glue_size;
1809       s->contents = foo;
1810     }
1811
1812   return true;
1813 }
1814
1815 static void
1816 record_arm_to_thumb_glue (info, h)
1817      struct bfd_link_info *        info;
1818      struct coff_link_hash_entry * h;
1819 {
1820   const char *                      name = h->root.root.string;
1821   register asection *               s;
1822   char *                            tmp_name;
1823   struct coff_link_hash_entry *     myh;
1824   struct coff_arm_link_hash_table * globals;
1825
1826   globals = coff_arm_hash_table (info);
1827
1828   BFD_ASSERT (globals != NULL);
1829   BFD_ASSERT (globals->bfd_of_glue_owner != NULL);
1830
1831   s = bfd_get_section_by_name
1832     (globals->bfd_of_glue_owner, ARM2THUMB_GLUE_SECTION_NAME);
1833
1834   BFD_ASSERT (s != NULL);
1835
1836   tmp_name = ((char *)
1837               bfd_malloc (strlen (name) + strlen (ARM2THUMB_GLUE_ENTRY_NAME) + 1));
1838
1839   BFD_ASSERT (tmp_name);
1840
1841   sprintf (tmp_name, ARM2THUMB_GLUE_ENTRY_NAME, name);
1842
1843   myh = coff_link_hash_lookup
1844     (coff_hash_table (info), tmp_name, false, false, true);
1845
1846   if (myh != NULL)
1847     {
1848       free (tmp_name);
1849       return; /* we've already seen this guy */
1850     }
1851
1852   /* The only trick here is using globals->arm_glue_size as the value. Even
1853      though the section isn't allocated yet, this is where we will be putting
1854      it.  */
1855
1856   bfd_coff_link_add_one_symbol (info, globals->bfd_of_glue_owner, tmp_name,
1857                                 BSF_GLOBAL,
1858                                 s, globals->arm_glue_size + 1,
1859                                 NULL, true, false,
1860                                 (struct bfd_link_hash_entry **) & myh);
1861
1862   free (tmp_name);
1863
1864   globals->arm_glue_size += ARM2THUMB_GLUE_SIZE;
1865
1866   return;
1867 }
1868
1869 static void
1870 record_thumb_to_arm_glue (info, h)
1871      struct bfd_link_info *        info;
1872      struct coff_link_hash_entry * h;
1873 {
1874   const char *                       name = h->root.root.string;
1875   register asection *                s;
1876   char *                             tmp_name;
1877   struct coff_link_hash_entry *      myh;
1878   struct coff_arm_link_hash_table *  globals;
1879
1880   globals = coff_arm_hash_table (info);
1881
1882   BFD_ASSERT (globals != NULL);
1883   BFD_ASSERT (globals->bfd_of_glue_owner != NULL);
1884
1885   s = bfd_get_section_by_name
1886     (globals->bfd_of_glue_owner, THUMB2ARM_GLUE_SECTION_NAME);
1887
1888   BFD_ASSERT (s != NULL);
1889
1890   tmp_name = (char *) bfd_malloc (strlen (name) + strlen (THUMB2ARM_GLUE_ENTRY_NAME) + 1);
1891
1892   BFD_ASSERT (tmp_name);
1893
1894   sprintf (tmp_name, THUMB2ARM_GLUE_ENTRY_NAME, name);
1895
1896   myh = coff_link_hash_lookup
1897     (coff_hash_table (info), tmp_name, false, false, true);
1898
1899   if (myh != NULL)
1900     {
1901       free (tmp_name);
1902       return; /* we've already seen this guy */
1903     }
1904
1905   bfd_coff_link_add_one_symbol (info, globals->bfd_of_glue_owner, tmp_name,
1906                                 BSF_GLOBAL, s, globals->thumb_glue_size + 1,
1907                                 NULL, true, false,
1908                                 (struct bfd_link_hash_entry **) & myh);
1909
1910   /* If we mark it 'thumb', the disassembler will do a better job.  */
1911   myh->class = C_THUMBEXTFUNC;
1912
1913   free (tmp_name);
1914
1915   /* Allocate another symbol to mark where we switch to arm mode.  */
1916
1917 #define CHANGE_TO_ARM "__%s_change_to_arm"
1918 #define BACK_FROM_ARM "__%s_back_from_arm"
1919
1920   tmp_name = (char *) bfd_malloc (strlen (name) + strlen (CHANGE_TO_ARM) + 1);
1921
1922   BFD_ASSERT (tmp_name);
1923
1924   sprintf (tmp_name, globals->support_old_code ? BACK_FROM_ARM : CHANGE_TO_ARM, name);
1925
1926   myh = NULL;
1927
1928   bfd_coff_link_add_one_symbol (info, globals->bfd_of_glue_owner, tmp_name,
1929                                 BSF_LOCAL, s, globals->thumb_glue_size
1930                                 + (globals->support_old_code ? 8 : 4),
1931                                 NULL, true, false,
1932                                 (struct bfd_link_hash_entry **) & myh);
1933
1934   free (tmp_name);
1935
1936   globals->thumb_glue_size += THUMB2ARM_GLUE_SIZE;
1937
1938   return;
1939 }
1940
1941 /* Select a BFD to be used to hold the sections used by the glue code.
1942    This function is called from the linker scripts in ld/emultempl/
1943    {armcoff/pe}.em  */
1944
1945 boolean
1946 bfd_arm_get_bfd_for_interworking (abfd, info)
1947      bfd *                  abfd;
1948      struct bfd_link_info * info;
1949 {
1950   struct coff_arm_link_hash_table * globals;
1951   flagword                          flags;
1952   asection *                        sec;
1953
1954   /* If we are only performing a partial link do not bother
1955      getting a bfd to hold the glue.  */
1956   if (info->relocateable)
1957     return true;
1958
1959   globals = coff_arm_hash_table (info);
1960
1961   BFD_ASSERT (globals != NULL);
1962
1963   if (globals->bfd_of_glue_owner != NULL)
1964     return true;
1965
1966   sec = bfd_get_section_by_name (abfd, ARM2THUMB_GLUE_SECTION_NAME);
1967
1968   if (sec == NULL)
1969     {
1970       flags = SEC_ALLOC | SEC_LOAD | SEC_HAS_CONTENTS | SEC_IN_MEMORY | SEC_CODE | SEC_READONLY;
1971
1972       sec = bfd_make_section (abfd, ARM2THUMB_GLUE_SECTION_NAME);
1973
1974       if (sec == NULL
1975           || ! bfd_set_section_flags (abfd, sec, flags)
1976           || ! bfd_set_section_alignment (abfd, sec, 2))
1977         return false;
1978     }
1979
1980   sec = bfd_get_section_by_name (abfd, THUMB2ARM_GLUE_SECTION_NAME);
1981
1982   if (sec == NULL)
1983     {
1984       flags = SEC_ALLOC | SEC_LOAD | SEC_HAS_CONTENTS | SEC_IN_MEMORY | SEC_CODE | SEC_READONLY;
1985
1986       sec = bfd_make_section (abfd, THUMB2ARM_GLUE_SECTION_NAME);
1987
1988       if (sec == NULL
1989           || ! bfd_set_section_flags (abfd, sec, flags)
1990           || ! bfd_set_section_alignment (abfd, sec, 2))
1991         return false;
1992     }
1993
1994   /* Save the bfd for later use.  */
1995   globals->bfd_of_glue_owner = abfd;
1996
1997   return true;
1998 }
1999
2000 boolean
2001 bfd_arm_process_before_allocation (abfd, info, support_old_code)
2002      bfd *                   abfd;
2003      struct bfd_link_info *  info;
2004      int                     support_old_code;
2005 {
2006   asection * sec;
2007   struct coff_arm_link_hash_table * globals;
2008
2009   /* If we are only performing a partial link do not bother
2010      to construct any glue.  */
2011   if (info->relocateable)
2012     return true;
2013
2014   /* Here we have a bfd that is to be included on the link.  We have a hook
2015      to do reloc rummaging, before section sizes are nailed down.  */
2016
2017   _bfd_coff_get_external_symbols (abfd);
2018
2019   globals = coff_arm_hash_table (info);
2020
2021   BFD_ASSERT (globals != NULL);
2022   BFD_ASSERT (globals->bfd_of_glue_owner != NULL);
2023
2024   globals->support_old_code = support_old_code;
2025
2026   /* Rummage around all the relocs and map the glue vectors.  */
2027   sec = abfd->sections;
2028
2029   if (sec == NULL)
2030     return true;
2031
2032   for (; sec != NULL; sec = sec->next)
2033     {
2034       struct internal_reloc * i;
2035       struct internal_reloc * rel;
2036
2037       if (sec->reloc_count == 0)
2038         continue;
2039
2040       /* Load the relocs.  */
2041       /* FIXME: there may be a storage leak here.  */
2042
2043       i = _bfd_coff_read_internal_relocs (abfd, sec, 1, 0, 0, 0);
2044
2045       BFD_ASSERT (i != 0);
2046
2047       for (rel = i; rel < i + sec->reloc_count; ++rel)
2048         {
2049           unsigned short                 r_type  = rel->r_type;
2050           long                           symndx;
2051           struct coff_link_hash_entry *  h;
2052
2053           symndx = rel->r_symndx;
2054
2055           /* If the relocation is not against a symbol it cannot concern us.  */
2056           if (symndx == -1)
2057             continue;
2058
2059           /* If the index is outside of the range of our table, something has gone wrong.  */
2060           if (symndx >= obj_conv_table_size (abfd))
2061             {
2062               _bfd_error_handler (_("%s: illegal symbol index in reloc: %d"),
2063                                   bfd_get_filename (abfd), symndx);
2064               continue;
2065             }
2066
2067           h = obj_coff_sym_hashes (abfd)[symndx];
2068
2069           /* If the relocation is against a static symbol it must be within
2070              the current section and so cannot be a cross ARM/Thumb relocation.  */
2071           if (h == NULL)
2072             continue;
2073
2074           switch (r_type)
2075             {
2076             case ARM_26:
2077               /* This one is a call from arm code.  We need to look up
2078                  the target of the call. If it is a thumb target, we
2079                  insert glue.  */
2080
2081               if (h->class == C_THUMBEXTFUNC)
2082                 record_arm_to_thumb_glue (info, h);
2083               break;
2084
2085 #ifndef ARM_WINCE
2086             case ARM_THUMB23:
2087               /* This one is a call from thumb code.  We used to look
2088                  for ARM_THUMB9 and ARM_THUMB12 as well.  We need to look
2089                  up the target of the call. If it is an arm target, we
2090                  insert glue.  If the symbol does not exist it will be
2091                  given a class of C_EXT and so we will generate a stub
2092                  for it.  This is not really a problem, since the link
2093                  is doomed anyway.  */
2094
2095               switch (h->class)
2096                 {
2097                 case C_EXT:
2098                 case C_STAT:
2099                 case C_LABEL:
2100                   record_thumb_to_arm_glue (info, h);
2101                   break;
2102                 default:
2103                   ;
2104                 }
2105               break;
2106 #endif
2107
2108             default:
2109               break;
2110             }
2111         }
2112     }
2113
2114   return true;
2115 }
2116
2117 #endif /* ! defined (COFF_IMAGE_WITH_PE) */
2118
2119 #define coff_bfd_reloc_type_lookup              coff_arm_reloc_type_lookup
2120 #define coff_relocate_section                   coff_arm_relocate_section
2121 #define coff_bfd_is_local_label_name            coff_arm_is_local_label_name
2122 #define coff_adjust_symndx                      coff_arm_adjust_symndx
2123 #define coff_link_output_has_begun              coff_arm_link_output_has_begun
2124 #define coff_final_link_postscript              coff_arm_final_link_postscript
2125 #define coff_bfd_merge_private_bfd_data         coff_arm_merge_private_bfd_data
2126 #define coff_bfd_print_private_bfd_data         coff_arm_print_private_bfd_data
2127 #define coff_bfd_set_private_flags              _bfd_coff_arm_set_private_flags
2128 #define coff_bfd_copy_private_bfd_data          coff_arm_copy_private_bfd_data
2129 #define coff_bfd_link_hash_table_create         coff_arm_link_hash_table_create
2130
2131 /* When doing a relocateable link, we want to convert ARM26 relocs
2132    into ARM26D relocs.  */
2133
2134 static boolean
2135 coff_arm_adjust_symndx (obfd, info, ibfd, sec, irel, adjustedp)
2136      bfd *obfd ATTRIBUTE_UNUSED;
2137      struct bfd_link_info *info ATTRIBUTE_UNUSED;
2138      bfd *ibfd;
2139      asection *sec;
2140      struct internal_reloc *irel;
2141      boolean *adjustedp;
2142 {
2143   if (irel->r_type == 3)
2144     {
2145       struct coff_link_hash_entry *h;
2146
2147       h = obj_coff_sym_hashes (ibfd)[irel->r_symndx];
2148       if (h != NULL
2149           && (h->root.type == bfd_link_hash_defined
2150               || h->root.type == bfd_link_hash_defweak)
2151           && h->root.u.def.section->output_section == sec->output_section)
2152         irel->r_type = 7;
2153     }
2154   *adjustedp = false;
2155   return true;
2156 }
2157
2158 /* Called when merging the private data areas of two BFDs.
2159    This is important as it allows us to detect if we are
2160    attempting to merge binaries compiled for different ARM
2161    targets, eg different CPUs or differents APCS's.     */
2162
2163 static boolean
2164 coff_arm_merge_private_bfd_data (ibfd, obfd)
2165      bfd *   ibfd;
2166      bfd *   obfd;
2167 {
2168   BFD_ASSERT (ibfd != NULL && obfd != NULL);
2169
2170   if (ibfd == obfd)
2171     return true;
2172
2173   /* If the two formats are different we cannot merge anything.
2174      This is not an error, since it is permissable to change the
2175      input and output formats.  */
2176   if (   ibfd->xvec->flavour != bfd_target_coff_flavour
2177       || obfd->xvec->flavour != bfd_target_coff_flavour)
2178     return true;
2179
2180   /* Verify that the APCS is the same for the two BFDs */
2181   if (APCS_SET (ibfd))
2182     {
2183       if (APCS_SET (obfd))
2184         {
2185           /* If the src and dest have different APCS flag bits set, fail.  */
2186           if (APCS_26_FLAG (obfd) != APCS_26_FLAG (ibfd))
2187             {
2188               _bfd_error_handler
2189                 /* xgettext: c-format */
2190                 (_("%s: ERROR: compiled for APCS-%d whereas target %s uses APCS-%d"),
2191                  bfd_get_filename (ibfd), APCS_26_FLAG (ibfd) ? 26 : 32,
2192                  bfd_get_filename (obfd), APCS_26_FLAG (obfd) ? 26 : 32
2193                  );
2194
2195               bfd_set_error (bfd_error_wrong_format);
2196               return false;
2197             }
2198
2199           if (APCS_FLOAT_FLAG (obfd) != APCS_FLOAT_FLAG (ibfd))
2200             {
2201               const char *msg;
2202
2203               if (APCS_FLOAT_FLAG (ibfd))
2204                 /* xgettext: c-format */
2205                 msg = _("%s: ERROR: passes floats in float registers whereas target %s uses integer registers");
2206               else
2207                 /* xgettext: c-format */
2208                 msg = _("%s: ERROR: passes floats in integer registers whereas target %s uses float registers");
2209
2210               _bfd_error_handler (msg, bfd_get_filename (ibfd),
2211                                   bfd_get_filename (obfd));
2212
2213               bfd_set_error (bfd_error_wrong_format);
2214               return false;
2215             }
2216
2217           if (PIC_FLAG (obfd) != PIC_FLAG (ibfd))
2218             {
2219               const char * msg;
2220
2221               if (PIC_FLAG (ibfd))
2222                 /* xgettext: c-format */
2223                 msg = _("%s: ERROR: compiled as position independent code, whereas target %s is absolute position");
2224               else
2225                 /* xgettext: c-format */
2226                 msg = _("%s: ERROR: compiled as absolute position code, whereas target %s is position independent");
2227               _bfd_error_handler (msg, bfd_get_filename (ibfd),
2228                                   bfd_get_filename (obfd));
2229
2230               bfd_set_error (bfd_error_wrong_format);
2231               return false;
2232             }
2233         }
2234       else
2235         {
2236           SET_APCS_FLAGS (obfd, APCS_26_FLAG (ibfd) | APCS_FLOAT_FLAG (ibfd) | PIC_FLAG (ibfd));
2237
2238           /* Set up the arch and fields as well as these are probably wrong.  */
2239           bfd_set_arch_mach (obfd, bfd_get_arch (ibfd), bfd_get_mach (ibfd));
2240         }
2241     }
2242
2243   /* Check the interworking support.  */
2244   if (INTERWORK_SET (ibfd))
2245     {
2246       if (INTERWORK_SET (obfd))
2247         {
2248           /* If the src and dest differ in their interworking issue a warning.  */
2249           if (INTERWORK_FLAG (obfd) != INTERWORK_FLAG (ibfd))
2250             {
2251               const char * msg;
2252
2253               if (INTERWORK_FLAG (ibfd))
2254                 /* xgettext: c-format */
2255                 msg = _("Warning: input file %s supports interworking, whereas %s does not.");
2256               else
2257                 /* xgettext: c-format */
2258                 msg = _("Warning: input file %s does not support interworking, whereas %s does.");
2259
2260               _bfd_error_handler (msg, bfd_get_filename (ibfd),
2261                                   bfd_get_filename (obfd));
2262             }
2263         }
2264       else
2265         {
2266           SET_INTERWORK_FLAG (obfd, INTERWORK_FLAG (ibfd));
2267         }
2268     }
2269
2270   return true;
2271 }
2272
2273 /* Display the flags field.  */
2274
2275 static boolean
2276 coff_arm_print_private_bfd_data (abfd, ptr)
2277      bfd *   abfd;
2278      PTR     ptr;
2279 {
2280   FILE * file = (FILE *) ptr;
2281
2282   BFD_ASSERT (abfd != NULL && ptr != NULL);
2283
2284   /* xgettext:c-format */
2285   fprintf (file, _("private flags = %x:"), coff_data (abfd)->flags);
2286
2287   if (APCS_SET (abfd))
2288     {
2289       /* xgettext: APCS is ARM Prodecure Call Standard, it should not be translated.  */
2290       fprintf (file, " [APCS-%d]", APCS_26_FLAG (abfd) ? 26 : 32);
2291
2292       if (APCS_FLOAT_FLAG (abfd))
2293         fprintf (file, _(" [floats passed in float registers]"));
2294       else
2295         fprintf (file, _(" [floats passed in integer registers]"));
2296
2297       if (PIC_FLAG (abfd))
2298         fprintf (file, _(" [position independent]"));
2299       else
2300         fprintf (file, _(" [absolute position]"));
2301     }
2302
2303   if (! INTERWORK_SET (abfd))
2304     fprintf (file, _(" [interworking flag not initialised]"));
2305   else if (INTERWORK_FLAG (abfd))
2306     fprintf (file, _(" [interworking supported]"));
2307   else
2308     fprintf (file, _(" [interworking not supported]"));
2309
2310   fputc ('\n', file);
2311
2312   return true;
2313 }
2314
2315 /* Copies the given flags into the coff_tdata.flags field.
2316    Typically these flags come from the f_flags[] field of
2317    the COFF filehdr structure, which contains important,
2318    target specific information.
2319    Note: Although this function is static, it is explicitly
2320    called from both coffcode.h and peicode.h.  */
2321
2322 static boolean
2323 _bfd_coff_arm_set_private_flags (abfd, flags)
2324         bfd *      abfd;
2325         flagword   flags;
2326 {
2327   flagword flag;
2328
2329   BFD_ASSERT (abfd != NULL);
2330
2331   flag = (flags & F_APCS26) ? F_APCS_26 : 0;
2332
2333   /* Make sure that the APCS field has not been initialised to the opposite
2334      value.  */
2335   if (APCS_SET (abfd)
2336       && (   (APCS_26_FLAG    (abfd) != flag)
2337           || (APCS_FLOAT_FLAG (abfd) != (flags & F_APCS_FLOAT))
2338           || (PIC_FLAG        (abfd) != (flags & F_PIC))
2339           ))
2340     return false;
2341
2342   flag |= (flags & (F_APCS_FLOAT | F_PIC));
2343
2344   SET_APCS_FLAGS (abfd, flag);
2345
2346   flag = (flags & F_INTERWORK);
2347
2348   /* If the BFD has already had its interworking flag set, but it
2349      is different from the value that we have been asked to set,
2350      then assume that that merged code will not support interworking
2351      and set the flag accordingly.  */
2352   if (INTERWORK_SET (abfd) && (INTERWORK_FLAG (abfd) != flag))
2353     {
2354       if (flag)
2355         /* xgettext: c-format */
2356         _bfd_error_handler (_("Warning: Not setting interworking flag of %s, since it has already been specified as non-interworking"),
2357                             bfd_get_filename (abfd));
2358       else
2359         /* xgettext: c-format */
2360         _bfd_error_handler (_("Warning: Clearing the interworking flag of %s due to outside request"),
2361                             bfd_get_filename (abfd));
2362       flag = 0;
2363     }
2364
2365   SET_INTERWORK_FLAG (abfd, flag);
2366
2367   return true;
2368 }
2369
2370 /* Copy the important parts of the target specific data
2371    from one instance of a BFD to another.  */
2372
2373 static boolean
2374 coff_arm_copy_private_bfd_data (src, dest)
2375      bfd *  src;
2376      bfd *  dest;
2377 {
2378   BFD_ASSERT (src != NULL && dest != NULL);
2379
2380   if (src == dest)
2381     return true;
2382
2383   /* If the destination is not in the same format as the source, do not do
2384      the copy.  */
2385   if (src->xvec != dest->xvec)
2386     return true;
2387
2388   /* copy the flags field */
2389   if (APCS_SET (src))
2390     {
2391       if (APCS_SET (dest))
2392         {
2393           /* If the src and dest have different APCS flag bits set, fail.  */
2394           if (APCS_26_FLAG (dest) != APCS_26_FLAG (src))
2395             return false;
2396
2397           if (APCS_FLOAT_FLAG (dest) != APCS_FLOAT_FLAG (src))
2398             return false;
2399
2400           if (PIC_FLAG (dest) != PIC_FLAG (src))
2401             return false;
2402         }
2403       else
2404         SET_APCS_FLAGS (dest, APCS_26_FLAG (src) | APCS_FLOAT_FLAG (src)
2405                         | PIC_FLAG (src));
2406     }
2407
2408   if (INTERWORK_SET (src))
2409     {
2410       if (INTERWORK_SET (dest))
2411         {
2412           /* If the src and dest have different interworking flags then turn
2413              off the interworking bit.  */
2414           if (INTERWORK_FLAG (dest) != INTERWORK_FLAG (src))
2415             {
2416               if (INTERWORK_FLAG (dest))
2417                 {
2418                   /* xgettext:c-format */
2419                   _bfd_error_handler (("Warning: Clearing the interworking bit of %s, because the non-interworking code in %s has been copied into it"),
2420                                       bfd_get_filename (dest),
2421                                       bfd_get_filename (src));
2422                 }
2423
2424               SET_INTERWORK_FLAG (dest, 0);
2425             }
2426         }
2427       else
2428         {
2429           SET_INTERWORK_FLAG (dest, INTERWORK_FLAG (src));
2430         }
2431     }
2432
2433   return true;
2434 }
2435
2436 /* Note:  the definitions here of LOCAL_LABEL_PREFIX and USER_LABEL_PREIFX
2437  *must* match the definitions in gcc/config/arm/coff.h and semi.h */
2438 #define LOCAL_LABEL_PREFIX "."
2439 #ifndef USER_LABEL_PREFIX
2440 #define USER_LABEL_PREFIX "_"
2441 #endif
2442
2443 /* Like _bfd_coff_is_local_label_name, but
2444    a) test against USER_LABEL_PREFIX, to avoid stripping labels known to be
2445       non-local.
2446    b) Allow other prefixes than ".", e.g. an empty prefix would cause all
2447       labels of the form Lxxx to be stripped.  */
2448 static boolean
2449 coff_arm_is_local_label_name (abfd, name)
2450      bfd *        abfd ATTRIBUTE_UNUSED;
2451      const char * name;
2452 {
2453 #ifdef USER_LABEL_PREFIX
2454   if (USER_LABEL_PREFIX[0] != 0)
2455     {
2456       if (strncmp (name, USER_LABEL_PREFIX, strlen (USER_LABEL_PREFIX)) == 0)
2457         return false;
2458     }
2459 #endif
2460
2461 #ifdef LOCAL_LABEL_PREFIX
2462   /* If there is a prefix for local labels then look for this.
2463      If the prefix exists, but it is empty, then ignore the test.  */
2464
2465   if (LOCAL_LABEL_PREFIX[0] != 0)
2466     {
2467       int len = strlen (LOCAL_LABEL_PREFIX);
2468
2469       if (strncmp (name, LOCAL_LABEL_PREFIX, len) != 0)
2470         return false;
2471
2472       /* Perform the checks below for the rest of the name.  */
2473       name += len;
2474     }
2475 #endif
2476
2477   return name[0] == 'L';
2478 }
2479
2480 /* This piece of machinery exists only to guarantee that the bfd that holds
2481    the glue section is written last.
2482
2483    This does depend on bfd_make_section attaching a new section to the
2484    end of the section list for the bfd.
2485
2486    krk@cygnus.com  */
2487
2488 static boolean
2489 coff_arm_link_output_has_begun (sub, info)
2490      bfd * sub;
2491      struct coff_final_link_info * info;
2492 {
2493   return (sub->output_has_begun
2494           || sub == coff_arm_hash_table (info->info)->bfd_of_glue_owner);
2495 }
2496
2497 static boolean
2498 coff_arm_final_link_postscript (abfd, pfinfo)
2499      bfd * abfd ATTRIBUTE_UNUSED;
2500      struct coff_final_link_info * pfinfo;
2501 {
2502   struct coff_arm_link_hash_table * globals;
2503
2504   globals = coff_arm_hash_table (pfinfo->info);
2505
2506   BFD_ASSERT (globals != NULL);
2507
2508   if (globals->bfd_of_glue_owner != NULL)
2509     {
2510       if (! _bfd_coff_link_input_bfd (pfinfo, globals->bfd_of_glue_owner))
2511         return false;
2512
2513       globals->bfd_of_glue_owner->output_has_begun = true;
2514     }
2515
2516   return true;
2517 }
2518
2519 #include "coffcode.h"
2520
2521 #ifndef TARGET_LITTLE_SYM
2522 #define TARGET_LITTLE_SYM armcoff_little_vec
2523 #endif
2524 #ifndef TARGET_LITTLE_NAME
2525 #define TARGET_LITTLE_NAME "coff-arm-little"
2526 #endif
2527 #ifndef TARGET_BIG_SYM
2528 #define TARGET_BIG_SYM armcoff_big_vec
2529 #endif
2530 #ifndef TARGET_BIG_NAME
2531 #define TARGET_BIG_NAME "coff-arm-big"
2532 #endif
2533
2534 #ifndef TARGET_UNDERSCORE
2535 #define TARGET_UNDERSCORE 0
2536 #endif
2537
2538 #ifdef COFF_WITH_PE
2539 #define EXTRA_S_FLAGS (SEC_LINK_ONCE | SEC_LINK_DUPLICATES)
2540 #else
2541 #define EXTRA_S_FLAGS 0
2542 #endif
2543
2544 /* Forward declaration for use initialising alternative_target field.  */
2545 extern const bfd_target TARGET_BIG_SYM ;
2546
2547 /* Target vectors.  */
2548 CREATE_LITTLE_COFF_TARGET_VEC (TARGET_LITTLE_SYM, TARGET_LITTLE_NAME, D_PAGED, EXTRA_S_FLAGS, TARGET_UNDERSCORE, & TARGET_BIG_SYM)
2549 CREATE_BIG_COFF_TARGET_VEC (TARGET_BIG_SYM, TARGET_BIG_NAME, D_PAGED, EXTRA_S_FLAGS, TARGET_UNDERSCORE, & TARGET_LITTLE_SYM)
2550