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