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.
7 This file is part of BFD, the Binary File Descriptor library.
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.
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.
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. */
29 #include "coff/internal.h"
37 /* Macros for manipulation the bits in the flags field of the coff data
39 #define APCS_26_FLAG(abfd) \
40 (coff_data (abfd)->flags & F_APCS_26)
42 #define APCS_FLOAT_FLAG(abfd) \
43 (coff_data (abfd)->flags & F_APCS_FLOAT)
45 #define PIC_FLAG(abfd) \
46 (coff_data (abfd)->flags & F_PIC)
48 #define APCS_SET(abfd) \
49 (coff_data (abfd)->flags & F_APCS_SET)
51 #define SET_APCS_FLAGS(abfd, flgs) \
54 coff_data (abfd)->flags &= ~(F_APCS_26 | F_APCS_FLOAT | F_PIC); \
55 coff_data (abfd)->flags |= (flgs) | F_APCS_SET; \
59 #define INTERWORK_FLAG(abfd) \
60 (coff_data (abfd)->flags & F_INTERWORK)
62 #define INTERWORK_SET(abfd) \
63 (coff_data (abfd)->flags & F_INTERWORK_SET)
65 #define SET_INTERWORK_FLAG(abfd, flg) \
68 coff_data (abfd)->flags &= ~F_INTERWORK; \
69 coff_data (abfd)->flags |= (flg) | F_INTERWORK_SET; \
74 #define NUM_ELEM(a) ((sizeof (a)) / sizeof ((a)[0]))
77 typedef enum {bunknown, b9, b12, b23} thumb_pcrel_branchtype;
78 /* some typedefs for holding instructions */
79 typedef unsigned long int insn32;
80 typedef unsigned short int insn16;
82 /* Forward declarations for stupid compilers. */
83 static 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 **));
86 static bfd_reloc_status_type aoutarm_fix_pcrel_26_done
87 PARAMS ((bfd *, arelent *, asymbol *, PTR, asection *, bfd *, char **));
88 static bfd_reloc_status_type aoutarm_fix_pcrel_26
89 PARAMS ((bfd *, arelent *, asymbol *, PTR, asection *, bfd *, char **));
91 static bfd_reloc_status_type coff_thumb_pcrel_23
92 PARAMS ((bfd *, arelent *, asymbol *, PTR, asection *, bfd *, char **));
93 static bfd_reloc_status_type coff_thumb_pcrel_9
94 PARAMS ((bfd *, arelent *, asymbol *, PTR, asection *, bfd *, char **));
95 static insn32 insert_thumb_branch
96 PARAMS ((insn32, int));
98 static bfd_reloc_status_type coff_thumb_pcrel_12
99 PARAMS ((bfd *, arelent *, asymbol *, PTR, asection *, bfd *, char **));
100 static bfd_reloc_status_type coff_arm_reloc
101 PARAMS ((bfd *, arelent *, asymbol *, PTR, asection *, bfd *, char **));
102 static bfd_boolean coff_arm_adjust_symndx
103 PARAMS ((bfd *, struct bfd_link_info *, bfd *,
104 asection *, struct internal_reloc *, bfd_boolean *));
105 static reloc_howto_type * coff_arm_rtype_to_howto
106 PARAMS ((bfd *, asection *, struct internal_reloc *,
107 struct coff_link_hash_entry *, struct internal_syment *,
109 static bfd_reloc_status_type coff_thumb_pcrel_common
110 PARAMS ((bfd *, arelent *, asymbol *, PTR, asection *, bfd *, char **,
111 thumb_pcrel_branchtype));
112 static const struct reloc_howto_struct * coff_arm_reloc_type_lookup
113 PARAMS ((bfd *, bfd_reloc_code_real_type));
114 static struct bfd_link_hash_table * coff_arm_link_hash_table_create
116 static struct coff_link_hash_entry * find_thumb_glue
117 PARAMS ((struct bfd_link_info *, const char *, bfd *));
118 static struct coff_link_hash_entry * find_arm_glue
119 PARAMS ((struct bfd_link_info *, const char *, bfd *));
120 #ifndef COFF_IMAGE_WITH_PE
121 static void record_arm_to_thumb_glue
122 PARAMS ((struct bfd_link_info *, struct coff_link_hash_entry *));
124 static void record_thumb_to_arm_glue
125 PARAMS ((struct bfd_link_info *, struct coff_link_hash_entry *));
128 static bfd_boolean coff_arm_merge_private_bfd_data
129 PARAMS ((bfd *, bfd *));
130 static bfd_boolean coff_arm_print_private_bfd_data
131 PARAMS ((bfd *, PTR));
132 static bfd_boolean _bfd_coff_arm_set_private_flags
133 PARAMS ((bfd *, flagword));
134 static bfd_boolean coff_arm_copy_private_bfd_data
135 PARAMS ((bfd *, bfd *));
136 static bfd_boolean coff_arm_is_local_label_name
137 PARAMS ((bfd *, const char *));
138 static bfd_boolean coff_arm_link_output_has_begun
139 PARAMS ((bfd *, struct coff_final_link_info *));
140 static bfd_boolean coff_arm_final_link_postscript
141 PARAMS ((bfd *, struct coff_final_link_info *));
142 static void arm_emit_base_file_entry
143 PARAMS ((struct bfd_link_info *, bfd *, asection *, bfd_vma));
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. */
150 #define THUMB2ARM_GLUE_SECTION_NAME ".glue_7t"
151 #define THUMB2ARM_GLUE_ENTRY_NAME "__%s_from_thumb"
153 #define ARM2THUMB_GLUE_SECTION_NAME ".glue_7"
154 #define ARM2THUMB_GLUE_ENTRY_NAME "__%s_from_arm"
156 /* Used by the assembler. */
158 static bfd_reloc_status_type
159 coff_arm_reloc (abfd, reloc_entry, symbol, data, input_section, output_bfd,
162 arelent *reloc_entry;
163 asymbol *symbol ATTRIBUTE_UNUSED;
165 asection *input_section ATTRIBUTE_UNUSED;
167 char **error_message ATTRIBUTE_UNUSED;
170 if (output_bfd == (bfd *) NULL)
171 return bfd_reloc_continue;
173 diff = reloc_entry->addend;
176 x = ((x & ~howto->dst_mask) \
177 | (((x & howto->src_mask) + diff) & howto->dst_mask))
181 reloc_howto_type *howto = reloc_entry->howto;
182 unsigned char *addr = (unsigned char *) data + reloc_entry->address;
188 char x = bfd_get_8 (abfd, addr);
190 bfd_put_8 (abfd, x, addr);
196 short x = bfd_get_16 (abfd, addr);
198 bfd_put_16 (abfd, (bfd_vma) x, addr);
204 long x = bfd_get_32 (abfd, addr);
206 bfd_put_32 (abfd, (bfd_vma) x, addr);
215 /* Now let bfd_perform_relocation finish everything up. */
216 return bfd_reloc_continue;
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
222 #ifndef TARGET_UNDERSCORE
223 #define TARGET_UNDERSCORE '_'
227 #define PCRELOFFSET TRUE
230 /* These most certainly belong somewhere else. Just had to get rid of
231 the manifest constants in the code. */
244 #define ARM_THUMB9 12
245 #define ARM_THUMB12 13
246 #define ARM_THUMB23 14
259 #define ARM_THUMB12 4
260 #define ARM_SECTION 14
261 #define ARM_SECREL 15
264 static reloc_howto_type aoutarm_std_reloc_howto[] =
273 complain_overflow_dont,
274 aoutarm_fix_pcrel_26_done,
286 complain_overflow_bitfield,
299 complain_overflow_bitfield,
312 complain_overflow_signed,
313 aoutarm_fix_pcrel_26 ,
325 complain_overflow_signed,
326 coff_thumb_pcrel_12 ,
347 complain_overflow_bitfield,
360 complain_overflow_bitfield,
367 #else /* not ARM_WINCE */
368 HOWTO (ARM_8, /* type */
372 FALSE, /* pc_relative */
374 complain_overflow_bitfield, /* complain_on_overflow */
375 coff_arm_reloc, /* special_function */
377 TRUE, /* partial_inplace */
378 0x000000ff, /* src_mask */
379 0x000000ff, /* dst_mask */
380 PCRELOFFSET /* pcrel_offset */),
387 complain_overflow_bitfield,
400 complain_overflow_bitfield,
413 complain_overflow_signed,
414 aoutarm_fix_pcrel_26 ,
426 complain_overflow_signed,
439 complain_overflow_signed,
452 complain_overflow_signed,
465 complain_overflow_dont,
466 aoutarm_fix_pcrel_26_done,
480 complain_overflow_bitfield,
493 complain_overflow_bitfield,
506 complain_overflow_bitfield,
519 complain_overflow_signed,
532 complain_overflow_signed,
533 coff_thumb_pcrel_12 ,
545 complain_overflow_signed,
546 coff_thumb_pcrel_23 ,
552 #endif /* not ARM_WINCE */
555 #define NUM_RELOCS NUM_ELEM (aoutarm_std_reloc_howto)
558 static bfd_boolean in_reloc_p PARAMS ((bfd *, reloc_howto_type *));
559 /* Return TRUE if this relocation should
560 appear in the output .reloc section. */
563 in_reloc_p (abfd, howto)
564 bfd * abfd ATTRIBUTE_UNUSED;
565 reloc_howto_type * howto;
567 return !howto->pc_relative && howto->type != ARM_RVA32;
571 #define RTYPE2HOWTO(cache_ptr, dst) \
572 (cache_ptr)->howto = \
573 (dst)->r_type < NUM_RELOCS \
574 ? aoutarm_std_reloc_howto + (dst)->r_type \
577 #define coff_rtype_to_howto coff_arm_rtype_to_howto
579 static reloc_howto_type *
580 coff_arm_rtype_to_howto (abfd, sec, rel, h, sym, addendp)
581 bfd *abfd ATTRIBUTE_UNUSED;
583 struct internal_reloc *rel;
584 struct coff_link_hash_entry *h ATTRIBUTE_UNUSED;
585 struct internal_syment *sym ATTRIBUTE_UNUSED;
588 reloc_howto_type * howto;
590 if (rel->r_type >= NUM_RELOCS)
593 howto = aoutarm_std_reloc_howto + rel->r_type;
595 if (rel->r_type == ARM_RVA32)
596 *addendp -= pe_data (sec->output_section->owner)->pe_opthdr.ImageBase;
601 /* Used by the assembler. */
603 static bfd_reloc_status_type
604 aoutarm_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;
614 /* This is dead simple at present. */
618 /* Used by the assembler. */
620 static bfd_reloc_status_type
621 aoutarm_fix_pcrel_26 (abfd, reloc_entry, symbol, data, input_section,
622 output_bfd, error_message)
624 arelent *reloc_entry;
627 asection *input_section;
629 char **error_message ATTRIBUTE_UNUSED;
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;
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;
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;
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;
658 return bfd_reloc_overflow;
660 /* Check for overflow. */
661 if (relocation & 0x02000000)
663 if ((relocation & ~ (bfd_vma) 0x03ffffff) != ~ (bfd_vma) 0x03ffffff)
664 flag = bfd_reloc_overflow;
666 else if (relocation & ~(bfd_vma) 0x03ffffff)
667 flag = bfd_reloc_overflow;
669 target &= ~0x00ffffff;
670 target |= (relocation >> 2) & 0x00ffffff;
671 bfd_put_32 (abfd, (bfd_vma) target, (bfd_byte *) data + addr);
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];
680 static bfd_reloc_status_type
681 coff_thumb_pcrel_common (abfd, reloc_entry, symbol, data, input_section,
682 output_bfd, error_message, btype)
684 arelent *reloc_entry;
687 asection *input_section;
689 char **error_message ATTRIBUTE_UNUSED;
690 thumb_pcrel_branchtype btype;
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;
700 /* NOTE: This routine is currently used by GAS, but not by the link
708 signbit = 0x00000100;
714 signbit = 0x00000800;
720 signbit = 0x00400000;
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;
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;
742 relocation = ((target & dstmsk) << 1);
746 if (bfd_big_endian (abfd))
747 relocation = ((target & 0x7ff) << 1) | ((target & 0x07ff0000) >> 4);
749 relocation = ((target & 0x7ff) << 12) | ((target & 0x07ff0000) >> 15);
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;
766 return bfd_reloc_overflow;
768 /* Check for overflow. */
769 if (relocation & signbit)
771 if ((relocation & ~offmsk) != ~offmsk)
772 flag = bfd_reloc_overflow;
774 else if (relocation & ~offmsk)
775 flag = bfd_reloc_overflow;
782 target |= (relocation >> 1);
786 if (bfd_big_endian (abfd))
787 target |= (((relocation & 0xfff) >> 1)
788 | ((relocation << 4) & 0x07ff0000));
790 target |= (((relocation & 0xffe) << 15)
791 | ((relocation >> 12) & 0x7ff));
798 bfd_put_32 (abfd, (bfd_vma) target, (bfd_byte *) data + addr);
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];
804 /* TODO: We should possibly have DONE entries for the THUMB PCREL relocations. */
809 static bfd_reloc_status_type
810 coff_thumb_pcrel_23 (abfd, reloc_entry, symbol, data, input_section,
811 output_bfd, error_message)
813 arelent *reloc_entry;
816 asection *input_section;
818 char **error_message;
820 return coff_thumb_pcrel_common (abfd, reloc_entry, symbol, data,
821 input_section, output_bfd, error_message,
825 static bfd_reloc_status_type
826 coff_thumb_pcrel_9 (abfd, reloc_entry, symbol, data, input_section,
827 output_bfd, error_message)
829 arelent *reloc_entry;
832 asection *input_section;
834 char **error_message;
836 return coff_thumb_pcrel_common (abfd, reloc_entry, symbol, data,
837 input_section, output_bfd, error_message,
840 #endif /* not ARM_WINCE */
842 static bfd_reloc_status_type
843 coff_thumb_pcrel_12 (abfd, reloc_entry, symbol, data, input_section,
844 output_bfd, error_message)
846 arelent *reloc_entry;
849 asection *input_section;
851 char **error_message;
853 return coff_thumb_pcrel_common (abfd, reloc_entry, symbol, data,
854 input_section, output_bfd, error_message,
858 static const struct reloc_howto_struct *
859 coff_arm_reloc_type_lookup (abfd, code)
861 bfd_reloc_code_real_type code;
863 #define ASTD(i,j) case i: return aoutarm_std_reloc_howto + j
865 if (code == BFD_RELOC_CTOR)
866 switch (bfd_get_arch_info (abfd)->bits_per_address)
872 return (const struct reloc_howto_struct *) 0;
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);
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);
897 default: return (const struct reloc_howto_struct *) 0;
901 #define COFF_DEFAULT_SECTION_ALIGNMENT_POWER (2)
902 #define COFF_PAGE_SIZE 0x1000
903 /* Turn a howto into a reloc nunmber */
905 #define SELECT_RELOC(x,howto) { x.r_type = howto->type; }
906 #define BADMAG(x) ARMBADMAG(x)
907 #define ARM 1 /* Customize coffcode.h */
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
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. */
919 struct coff_arm_link_hash_table
921 /* The original coff_link_hash_table structure. MUST be first field. */
922 struct coff_link_hash_table root;
924 /* The size in bytes of the section containing the Thumb-to-ARM glue. */
925 bfd_size_type thumb_glue_size;
927 /* The size in bytes of the section containing the ARM-to-Thumb glue. */
928 bfd_size_type arm_glue_size;
930 /* An arbitrary input BFD chosen to hold the glue sections. */
931 bfd * bfd_of_glue_owner;
933 /* Support interworking with old, non-interworking aware ARM code. */
934 int support_old_code;
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))
941 /* Create an ARM coff linker hash table. */
943 static struct bfd_link_hash_table *
944 coff_arm_link_hash_table_create (abfd)
947 struct coff_arm_link_hash_table * ret;
948 bfd_size_type amt = sizeof (struct coff_arm_link_hash_table);
950 ret = (struct coff_arm_link_hash_table *) bfd_malloc (amt);
951 if (ret == (struct coff_arm_link_hash_table *) NULL)
954 if (! _bfd_coff_link_hash_table_init
955 (& ret->root, abfd, _bfd_coff_link_hash_newfunc))
958 return (struct bfd_link_hash_table *) NULL;
961 ret->thumb_glue_size = 0;
962 ret->arm_glue_size = 0;
963 ret->bfd_of_glue_owner = NULL;
965 return & ret->root.root;
969 arm_emit_base_file_entry (info, output_bfd, input_section, reloc_offset)
970 struct bfd_link_info *info;
972 asection *input_section;
973 bfd_vma reloc_offset;
975 bfd_vma addr = reloc_offset
977 + input_section->output_offset
978 + input_section->output_section->vma;
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);
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
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
998 Combine together and shifted left by 1 (it's a half word address) and
1002 H-0, upper address-0 = 000
1004 H-1, lower address-0 = 800
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
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. */
1015 #define LOW_HI_ORDER 0xF800F000
1016 #define HI_LOW_ORDER 0xF000F800
1019 insert_thumb_branch (br_insn, rel_off)
1023 unsigned int low_bits;
1024 unsigned int high_bits;
1026 BFD_ASSERT((rel_off & 1) != 1);
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 */
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;
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. */
1045 static struct coff_link_hash_entry *
1046 find_thumb_glue (info, name, input_bfd)
1047 struct bfd_link_info *info;
1052 struct coff_link_hash_entry *myh;
1053 bfd_size_type amt = strlen (name) + strlen (THUMB2ARM_GLUE_ENTRY_NAME) + 1;
1055 tmp_name = (char *) bfd_malloc (amt);
1057 BFD_ASSERT (tmp_name);
1059 sprintf (tmp_name, THUMB2ARM_GLUE_ENTRY_NAME, name);
1061 myh = coff_link_hash_lookup
1062 (coff_hash_table (info), tmp_name, FALSE, FALSE, TRUE);
1065 /* xgettext:c-format */
1066 _bfd_error_handler (_("%B: unable to find THUMB glue '%s' for `%s'"),
1067 input_bfd, tmp_name, name);
1073 #endif /* not ARM_WINCE */
1075 static struct coff_link_hash_entry *
1076 find_arm_glue (info, name, input_bfd)
1077 struct bfd_link_info *info;
1082 struct coff_link_hash_entry * myh;
1083 bfd_size_type amt = strlen (name) + strlen (ARM2THUMB_GLUE_ENTRY_NAME) + 1;
1085 tmp_name = (char *) bfd_malloc (amt);
1087 BFD_ASSERT (tmp_name);
1089 sprintf (tmp_name, ARM2THUMB_GLUE_ENTRY_NAME, name);
1091 myh = coff_link_hash_lookup
1092 (coff_hash_table (info), tmp_name, FALSE, FALSE, TRUE);
1095 /* xgettext:c-format */
1096 _bfd_error_handler (_("%B: unable to find ARM glue '%s' for `%s'"),
1097 input_bfd, tmp_name, name);
1109 ldr r12, __func_addr
1112 .word func @ behave as if you saw a ARM_32 reloc
1115 #define ARM2THUMB_GLUE_SIZE 12
1116 static const insn32 a2t1_ldr_insn = 0xe59fc000;
1117 static const insn32 a2t2_bx_r12_insn = 0xe12fff1c;
1118 static const insn32 a2t3_func_addr_insn = 0x00000001;
1121 Thumb->ARM: Thumb->(non-interworking aware) ARM
1125 __func_from_thumb: __func_from_thumb:
1127 nop ldr r6, __func_addr
1129 __func_change_to_arm: bx r6
1131 __func_back_to_thumb:
1138 #define THUMB2ARM_GLUE_SIZE (globals->support_old_code ? 20 : 8)
1139 static const insn16 t2a1_bx_pc_insn = 0x4778;
1140 static const insn16 t2a2_noop_insn = 0x46c0;
1141 static const insn32 t2a3_b_insn = 0xea000000;
1143 static const insn16 t2a1_push_insn = 0xb540;
1144 static const insn16 t2a2_ldr_insn = 0x4e03;
1145 static const insn16 t2a3_mov_insn = 0x46fe;
1146 static const insn16 t2a4_bx_insn = 0x4730;
1147 static const insn32 t2a5_pop_insn = 0xe8bd4040;
1148 static const insn32 t2a6_bx_insn = 0xe12fff1e;
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.
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
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.
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). */
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. */
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. */
1192 coff_arm_relocate_section (output_bfd, info, input_bfd, input_section,
1193 contents, relocs, syms, sections)
1195 struct bfd_link_info *info;
1197 asection *input_section;
1199 struct internal_reloc *relocs;
1200 struct internal_syment *syms;
1201 asection **sections;
1203 struct internal_reloc * rel;
1204 struct internal_reloc * relend;
1205 bfd_vma high_address = bfd_get_section_limit (input_bfd, input_section);
1208 relend = rel + input_section->reloc_count;
1210 for (; rel < relend; rel++)
1214 struct coff_link_hash_entry * h;
1215 struct internal_syment * sym;
1218 reloc_howto_type * howto;
1219 bfd_reloc_status_type rstat;
1222 symndx = rel->r_symndx;
1231 h = obj_coff_sym_hashes (input_bfd)[symndx];
1232 sym = syms + symndx;
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. */
1240 if (sym != NULL && sym->n_scnum != 0)
1241 addend = - sym->n_value;
1245 howto = coff_rtype_to_howto (input_bfd, input_section, rel, h,
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
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))
1264 static reloc_howto_type fake_arm26_reloc =
1271 complain_overflow_signed,
1272 aoutarm_fix_pcrel_26 ,
1279 addend -= rel->r_vaddr - input_section->vma;
1281 /* FIXME: I don't know why, but the hack is necessary for correct
1282 generation of bl's instruction offset. */
1285 howto = &fake_arm26_reloc;
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. */
1293 /* If we are doing a relocatable link, then we can just ignore
1294 a PC relative reloc that is pcrel_offset. It will already
1295 have the correct value. If this is not a relocatable link,
1296 then we should ignore the symbol value. */
1297 if (howto->pc_relative && howto->pcrel_offset)
1299 if (info->relocatable)
1301 /* FIXME - it is not clear which targets need this next test
1302 and which do not. It is known that it is needed for the
1303 VxWorks and EPOC-PE targets, but it is also known that it
1304 was suppressed for other ARM targets. This ought to be
1305 sorted out one day. */
1306 #ifdef ARM_COFF_BUGFIX
1307 /* We must not ignore the symbol value. If the symbol is
1308 within the same section, the relocation should have already
1309 been fixed, but if it is not, we'll be handed a reloc into
1310 the beginning of the symbol's section, so we must not cancel
1311 out the symbol's value, otherwise we'll be adding it in
1313 if (sym != NULL && sym->n_scnum != 0)
1314 addend += sym->n_value;
1326 sec = bfd_abs_section_ptr;
1331 sec = sections[symndx];
1332 val = (sec->output_section->vma
1333 + sec->output_offset
1340 /* We don't output the stubs if we are generating a
1341 relocatable output file, since we may as well leave the
1342 stub generation to the final linker pass. If we fail to
1343 verify that the name is defined, we'll try to build stubs
1344 for an undefined name... */
1345 if (! info->relocatable
1346 && ( h->root.type == bfd_link_hash_defined
1347 || h->root.type == bfd_link_hash_defweak))
1349 asection * h_sec = h->root.u.def.section;
1350 const char * name = h->root.root.string;
1352 /* h locates the symbol referenced in the reloc. */
1353 h_val = (h->root.u.def.value
1354 + h_sec->output_section->vma
1355 + h_sec->output_offset);
1357 if (howto->type == ARM_26)
1359 if ( h->class == C_THUMBSTATFUNC
1360 || h->class == C_THUMBEXTFUNC)
1362 /* Arm code calling a Thumb function. */
1363 unsigned long int tmp;
1366 long int ret_offset;
1367 struct coff_link_hash_entry * myh;
1368 struct coff_arm_link_hash_table * globals;
1370 myh = find_arm_glue (info, name, input_bfd);
1374 globals = coff_arm_hash_table (info);
1376 BFD_ASSERT (globals != NULL);
1377 BFD_ASSERT (globals->bfd_of_glue_owner != NULL);
1379 my_offset = myh->root.u.def.value;
1381 s = bfd_get_section_by_name (globals->bfd_of_glue_owner,
1382 ARM2THUMB_GLUE_SECTION_NAME);
1383 BFD_ASSERT (s != NULL);
1384 BFD_ASSERT (s->contents != NULL);
1385 BFD_ASSERT (s->output_section != NULL);
1387 if ((my_offset & 0x01) == 0x01)
1389 if (h_sec->owner != NULL
1390 && INTERWORK_SET (h_sec->owner)
1391 && ! INTERWORK_FLAG (h_sec->owner))
1393 /* xgettext:c-format */
1394 (_("%B(%s): warning: interworking not enabled.\n"
1395 " first occurrence: %B: arm call to thumb"),
1396 h_sec->owner, input_bfd, name);
1399 myh->root.u.def.value = my_offset;
1401 bfd_put_32 (output_bfd, (bfd_vma) a2t1_ldr_insn,
1402 s->contents + my_offset);
1404 bfd_put_32 (output_bfd, (bfd_vma) a2t2_bx_r12_insn,
1405 s->contents + my_offset + 4);
1407 /* It's a thumb address. Add the low order bit. */
1408 bfd_put_32 (output_bfd, h_val | a2t3_func_addr_insn,
1409 s->contents + my_offset + 8);
1411 if (info->base_file)
1412 arm_emit_base_file_entry (info, output_bfd, s,
1417 BFD_ASSERT (my_offset <= globals->arm_glue_size);
1419 tmp = bfd_get_32 (input_bfd, contents + rel->r_vaddr
1420 - input_section->vma);
1422 tmp = tmp & 0xFF000000;
1424 /* Somehow these are both 4 too far, so subtract 8. */
1428 + s->output_section->vma
1429 - (input_section->output_offset
1430 + input_section->output_section->vma
1434 tmp = tmp | ((ret_offset >> 2) & 0x00FFFFFF);
1436 bfd_put_32 (output_bfd, (bfd_vma) tmp,
1437 contents + rel->r_vaddr - input_section->vma);
1443 /* Note: We used to check for ARM_THUMB9 and ARM_THUMB12. */
1444 else if (howto->type == ARM_THUMB23)
1446 if ( h->class == C_EXT
1447 || h->class == C_STAT
1448 || h->class == C_LABEL)
1450 /* Thumb code calling an ARM function */
1453 unsigned long int tmp;
1454 long int ret_offset;
1455 struct coff_link_hash_entry * myh;
1456 struct coff_arm_link_hash_table * globals;
1458 myh = find_thumb_glue (info, name, input_bfd);
1462 globals = coff_arm_hash_table (info);
1464 BFD_ASSERT (globals != NULL);
1465 BFD_ASSERT (globals->bfd_of_glue_owner != NULL);
1467 my_offset = myh->root.u.def.value;
1469 s = bfd_get_section_by_name (globals->bfd_of_glue_owner,
1470 THUMB2ARM_GLUE_SECTION_NAME);
1472 BFD_ASSERT (s != NULL);
1473 BFD_ASSERT (s->contents != NULL);
1474 BFD_ASSERT (s->output_section != NULL);
1476 if ((my_offset & 0x01) == 0x01)
1478 if (h_sec->owner != NULL
1479 && INTERWORK_SET (h_sec->owner)
1480 && ! INTERWORK_FLAG (h_sec->owner)
1481 && ! globals->support_old_code)
1483 /* xgettext:c-format */
1484 (_("%B(%s): warning: interworking not enabled.\n"
1485 " first occurrence: %B: thumb call to arm\n"
1486 " consider relinking with --support-old-code enabled"),
1487 h_sec->owner, input_bfd, name);
1490 myh->root.u.def.value = my_offset;
1492 if (globals->support_old_code)
1494 bfd_put_16 (output_bfd, (bfd_vma) t2a1_push_insn,
1495 s->contents + my_offset);
1497 bfd_put_16 (output_bfd, (bfd_vma) t2a2_ldr_insn,
1498 s->contents + my_offset + 2);
1500 bfd_put_16 (output_bfd, (bfd_vma) t2a3_mov_insn,
1501 s->contents + my_offset + 4);
1503 bfd_put_16 (output_bfd, (bfd_vma) t2a4_bx_insn,
1504 s->contents + my_offset + 6);
1506 bfd_put_32 (output_bfd, (bfd_vma) t2a5_pop_insn,
1507 s->contents + my_offset + 8);
1509 bfd_put_32 (output_bfd, (bfd_vma) t2a6_bx_insn,
1510 s->contents + my_offset + 12);
1512 /* Store the address of the function in the last word of the stub. */
1513 bfd_put_32 (output_bfd, h_val,
1514 s->contents + my_offset + 16);
1516 if (info->base_file)
1517 arm_emit_base_file_entry (info, output_bfd, s,
1522 bfd_put_16 (output_bfd, (bfd_vma) t2a1_bx_pc_insn,
1523 s->contents + my_offset);
1525 bfd_put_16 (output_bfd, (bfd_vma) t2a2_noop_insn,
1526 s->contents + my_offset + 2);
1529 ((bfd_signed_vma) h_val) /* Address of destination of the stub. */
1531 (s->output_offset /* Offset from the start of the current section to the start of the stubs. */
1532 + my_offset /* Offset of the start of this stub from the start of the stubs. */
1533 + s->output_section->vma) /* Address of the start of the current section. */
1534 + 4 /* The branch instruction is 4 bytes into the stub. */
1535 + 8); /* ARM branches work from the pc of the instruction + 8. */
1537 bfd_put_32 (output_bfd,
1538 (bfd_vma) t2a3_b_insn | ((ret_offset >> 2) & 0x00FFFFFF),
1539 s->contents + my_offset + 4);
1544 BFD_ASSERT (my_offset <= globals->thumb_glue_size);
1546 /* Now go back and fix up the original BL insn to point
1551 - (input_section->output_offset
1555 tmp = bfd_get_32 (input_bfd, contents + rel->r_vaddr
1556 - input_section->vma);
1558 bfd_put_32 (output_bfd,
1559 (bfd_vma) insert_thumb_branch (tmp,
1561 contents + rel->r_vaddr - input_section->vma);
1569 /* If the relocation type and destination symbol does not
1570 fall into one of the above categories, then we can just
1571 perform a direct link. */
1574 rstat = bfd_reloc_ok;
1576 if ( h->root.type == bfd_link_hash_defined
1577 || h->root.type == bfd_link_hash_defweak)
1581 sec = h->root.u.def.section;
1582 val = (h->root.u.def.value
1583 + sec->output_section->vma
1584 + sec->output_offset);
1587 else if (! info->relocatable)
1589 if (! ((*info->callbacks->undefined_symbol)
1590 (info, h->root.root.string, input_bfd, input_section,
1591 rel->r_vaddr - input_section->vma, TRUE)))
1596 if (info->base_file)
1598 /* Emit a reloc if the backend thinks it needs it. */
1599 if (sym && pe_data(output_bfd)->in_reloc_p(output_bfd, howto))
1600 arm_emit_base_file_entry (info, output_bfd, input_section,
1605 rstat = bfd_reloc_ok;
1607 /* Only perform this fix during the final link, not a relocatable link. nickc@cygnus.com */
1608 else if (! info->relocatable
1609 && howto->type == ARM_THUMB23)
1611 /* This is pretty much a copy of what the default
1612 _bfd_final_link_relocate and _bfd_relocate_contents
1613 routines do to perform a relocation, with special
1614 processing for the split addressing of the Thumb BL
1615 instruction. Again, it would probably be simpler adding a
1616 ThumbBRANCH23 specific macro expansion into the default
1619 bfd_vma address = rel->r_vaddr - input_section->vma;
1621 if (address > high_address)
1622 rstat = bfd_reloc_outofrange;
1625 bfd_vma relocation = val + addend;
1626 int size = bfd_get_reloc_size (howto);
1627 bfd_boolean overflow = FALSE;
1628 bfd_byte *location = contents + address;
1629 bfd_vma x = bfd_get_32 (input_bfd, location);
1630 bfd_vma src_mask = 0x007FFFFE;
1631 bfd_signed_vma reloc_signed_max = (1 << (howto->bitsize - 1)) - 1;
1632 bfd_signed_vma reloc_signed_min = ~reloc_signed_max;
1634 bfd_signed_vma signed_check;
1636 bfd_signed_vma signed_add;
1638 BFD_ASSERT (size == 4);
1640 /* howto->pc_relative should be TRUE for type 14 BRANCH23. */
1641 relocation -= (input_section->output_section->vma
1642 + input_section->output_offset);
1644 /* howto->pcrel_offset should be TRUE for type 14 BRANCH23. */
1645 relocation -= address;
1647 /* No need to negate the relocation with BRANCH23. */
1648 /* howto->complain_on_overflow == complain_overflow_signed for BRANCH23. */
1649 /* howto->rightshift == 1 */
1651 /* Drop unwanted bits from the value we are relocating to. */
1652 check = relocation >> howto->rightshift;
1654 /* If this is a signed value, the rightshift just dropped
1655 leading 1 bits (assuming twos complement). */
1656 if ((bfd_signed_vma) relocation >= 0)
1657 signed_check = check;
1659 signed_check = (check
1661 & ~((bfd_vma) - 1 >> howto->rightshift)));
1663 /* Get the value from the object file. */
1664 if (bfd_big_endian (input_bfd))
1665 add = (((x) & 0x07ff0000) >> 4) | (((x) & 0x7ff) << 1);
1667 add = ((((x) & 0x7ff) << 12) | (((x) & 0x07ff0000) >> 15));
1669 /* Get the value from the object file with an appropriate sign.
1670 The expression involving howto->src_mask isolates the upper
1671 bit of src_mask. If that bit is set in the value we are
1672 adding, it is negative, and we subtract out that number times
1673 two. If src_mask includes the highest possible bit, then we
1674 can not get the upper bit, but that does not matter since
1675 signed_add needs no adjustment to become negative in that
1679 if ((add & (((~ src_mask) >> 1) & src_mask)) != 0)
1680 signed_add -= (((~ src_mask) >> 1) & src_mask) << 1;
1682 /* howto->bitpos == 0 */
1683 /* Add the value from the object file, shifted so that it is a
1685 signed_check += signed_add;
1686 relocation += signed_add;
1688 BFD_ASSERT (howto->complain_on_overflow == complain_overflow_signed);
1690 /* Assumes two's complement. */
1691 if ( signed_check > reloc_signed_max
1692 || signed_check < reloc_signed_min)
1695 /* Put the relocation into the correct bits.
1696 For a BLX instruction, make sure that the relocation is rounded up
1697 to a word boundary. This follows the semantics of the instruction
1698 which specifies that bit 1 of the target address will come from bit
1699 1 of the base address. */
1700 if (bfd_big_endian (input_bfd))
1702 if ((x & 0x1800) == 0x0800 && (relocation & 0x02))
1704 relocation = (((relocation & 0xffe) >> 1) | ((relocation << 4) & 0x07ff0000));
1708 if ((x & 0x18000000) == 0x08000000 && (relocation & 0x02))
1710 relocation = (((relocation & 0xffe) << 15) | ((relocation >> 12) & 0x7ff));
1713 /* Add the relocation to the correct bits of X. */
1714 x = ((x & ~howto->dst_mask) | relocation);
1716 /* Put the relocated value back in the object file. */
1717 bfd_put_32 (input_bfd, x, location);
1719 rstat = overflow ? bfd_reloc_overflow : bfd_reloc_ok;
1724 if (info->relocatable && ! howto->partial_inplace)
1725 rstat = bfd_reloc_ok;
1727 rstat = _bfd_final_link_relocate (howto, input_bfd, input_section,
1729 rel->r_vaddr - input_section->vma,
1732 Is this the best way to fix up thumb addresses? krk@cygnus.com
1733 Probably not, but it works, and if it works it don't need fixing! nickc@cygnus.com */
1734 /* Only perform this fix during the final link, not a relocatable link. nickc@cygnus.com */
1735 if (! info->relocatable
1736 && (rel->r_type == ARM_32 || rel->r_type == ARM_RVA32))
1738 /* Determine if we need to set the bottom bit of a relocated address
1739 because the address is the address of a Thumb code symbol. */
1741 int patchit = FALSE;
1744 && ( h->class == C_THUMBSTATFUNC
1745 || h->class == C_THUMBEXTFUNC))
1749 else if (sym != NULL
1750 && sym->n_scnum > N_UNDEF)
1752 /* No hash entry - use the symbol instead. */
1754 if ( sym->n_sclass == C_THUMBSTATFUNC
1755 || sym->n_sclass == C_THUMBEXTFUNC)
1761 bfd_byte * location = contents + rel->r_vaddr - input_section->vma;
1762 bfd_vma x = bfd_get_32 (input_bfd, location);
1764 bfd_put_32 (input_bfd, x | 1, location);
1774 case bfd_reloc_outofrange:
1775 (*_bfd_error_handler)
1776 (_("%B: bad reloc address 0x%lx in section `%A'"),
1777 input_bfd, input_section, (unsigned long) rel->r_vaddr);
1779 case bfd_reloc_overflow:
1782 char buf[SYMNMLEN + 1];
1790 name = _bfd_coff_internal_syment_name (input_bfd, sym, buf);
1795 if (! ((*info->callbacks->reloc_overflow)
1796 (info, (h ? &h->root : NULL), name, howto->name,
1797 (bfd_vma) 0, input_bfd, input_section,
1798 rel->r_vaddr - input_section->vma)))
1807 #ifndef COFF_IMAGE_WITH_PE
1810 bfd_arm_allocate_interworking_sections (info)
1811 struct bfd_link_info * info;
1815 struct coff_arm_link_hash_table * globals;
1817 globals = coff_arm_hash_table (info);
1819 BFD_ASSERT (globals != NULL);
1821 if (globals->arm_glue_size != 0)
1823 BFD_ASSERT (globals->bfd_of_glue_owner != NULL);
1825 s = bfd_get_section_by_name
1826 (globals->bfd_of_glue_owner, ARM2THUMB_GLUE_SECTION_NAME);
1828 BFD_ASSERT (s != NULL);
1830 foo = (bfd_byte *) bfd_alloc (globals->bfd_of_glue_owner,
1831 globals->arm_glue_size);
1833 s->size = globals->arm_glue_size;
1837 if (globals->thumb_glue_size != 0)
1839 BFD_ASSERT (globals->bfd_of_glue_owner != NULL);
1841 s = bfd_get_section_by_name
1842 (globals->bfd_of_glue_owner, THUMB2ARM_GLUE_SECTION_NAME);
1844 BFD_ASSERT (s != NULL);
1846 foo = (bfd_byte *) bfd_alloc (globals->bfd_of_glue_owner,
1847 globals->thumb_glue_size);
1849 s->size = globals->thumb_glue_size;
1857 record_arm_to_thumb_glue (info, h)
1858 struct bfd_link_info * info;
1859 struct coff_link_hash_entry * h;
1861 const char * name = h->root.root.string;
1862 register asection * s;
1864 struct coff_link_hash_entry * myh;
1865 struct bfd_link_hash_entry * bh;
1866 struct coff_arm_link_hash_table * globals;
1870 globals = coff_arm_hash_table (info);
1872 BFD_ASSERT (globals != NULL);
1873 BFD_ASSERT (globals->bfd_of_glue_owner != NULL);
1875 s = bfd_get_section_by_name
1876 (globals->bfd_of_glue_owner, ARM2THUMB_GLUE_SECTION_NAME);
1878 BFD_ASSERT (s != NULL);
1880 amt = strlen (name) + strlen (ARM2THUMB_GLUE_ENTRY_NAME) + 1;
1881 tmp_name = (char *) bfd_malloc (amt);
1883 BFD_ASSERT (tmp_name);
1885 sprintf (tmp_name, ARM2THUMB_GLUE_ENTRY_NAME, name);
1887 myh = coff_link_hash_lookup
1888 (coff_hash_table (info), tmp_name, FALSE, FALSE, TRUE);
1893 return; /* we've already seen this guy */
1896 /* The only trick here is using globals->arm_glue_size as the value. Even
1897 though the section isn't allocated yet, this is where we will be putting
1901 val = globals->arm_glue_size + 1;
1902 bfd_coff_link_add_one_symbol (info, globals->bfd_of_glue_owner, tmp_name,
1903 BSF_GLOBAL, s, val, NULL, TRUE, FALSE, &bh);
1907 globals->arm_glue_size += ARM2THUMB_GLUE_SIZE;
1914 record_thumb_to_arm_glue (info, h)
1915 struct bfd_link_info * info;
1916 struct coff_link_hash_entry * h;
1918 const char * name = h->root.root.string;
1919 register asection * s;
1921 struct coff_link_hash_entry * myh;
1922 struct bfd_link_hash_entry * bh;
1923 struct coff_arm_link_hash_table * globals;
1927 globals = coff_arm_hash_table (info);
1929 BFD_ASSERT (globals != NULL);
1930 BFD_ASSERT (globals->bfd_of_glue_owner != NULL);
1932 s = bfd_get_section_by_name
1933 (globals->bfd_of_glue_owner, THUMB2ARM_GLUE_SECTION_NAME);
1935 BFD_ASSERT (s != NULL);
1937 amt = strlen (name) + strlen (THUMB2ARM_GLUE_ENTRY_NAME) + 1;
1938 tmp_name = (char *) bfd_malloc (amt);
1940 BFD_ASSERT (tmp_name);
1942 sprintf (tmp_name, THUMB2ARM_GLUE_ENTRY_NAME, name);
1944 myh = coff_link_hash_lookup
1945 (coff_hash_table (info), tmp_name, FALSE, FALSE, TRUE);
1950 return; /* we've already seen this guy */
1954 val = globals->thumb_glue_size + 1;
1955 bfd_coff_link_add_one_symbol (info, globals->bfd_of_glue_owner, tmp_name,
1956 BSF_GLOBAL, s, val, NULL, TRUE, FALSE, &bh);
1958 /* If we mark it 'thumb', the disassembler will do a better job. */
1959 myh = (struct coff_link_hash_entry *) bh;
1960 myh->class = C_THUMBEXTFUNC;
1964 /* Allocate another symbol to mark where we switch to arm mode. */
1966 #define CHANGE_TO_ARM "__%s_change_to_arm"
1967 #define BACK_FROM_ARM "__%s_back_from_arm"
1969 amt = strlen (name) + strlen (CHANGE_TO_ARM) + 1;
1970 tmp_name = (char *) bfd_malloc (amt);
1972 BFD_ASSERT (tmp_name);
1974 sprintf (tmp_name, globals->support_old_code ? BACK_FROM_ARM : CHANGE_TO_ARM, name);
1977 val = globals->thumb_glue_size + (globals->support_old_code ? 8 : 4);
1978 bfd_coff_link_add_one_symbol (info, globals->bfd_of_glue_owner, tmp_name,
1979 BSF_LOCAL, s, val, NULL, TRUE, FALSE, &bh);
1983 globals->thumb_glue_size += THUMB2ARM_GLUE_SIZE;
1987 #endif /* not ARM_WINCE */
1989 /* Select a BFD to be used to hold the sections used by the glue code.
1990 This function is called from the linker scripts in ld/emultempl/
1994 bfd_arm_get_bfd_for_interworking (abfd, info)
1996 struct bfd_link_info * info;
1998 struct coff_arm_link_hash_table * globals;
2002 /* If we are only performing a partial link do not bother
2003 getting a bfd to hold the glue. */
2004 if (info->relocatable)
2007 globals = coff_arm_hash_table (info);
2009 BFD_ASSERT (globals != NULL);
2011 if (globals->bfd_of_glue_owner != NULL)
2014 sec = bfd_get_section_by_name (abfd, ARM2THUMB_GLUE_SECTION_NAME);
2018 flags = SEC_ALLOC | SEC_LOAD | SEC_HAS_CONTENTS | SEC_IN_MEMORY | SEC_CODE | SEC_READONLY;
2020 sec = bfd_make_section (abfd, ARM2THUMB_GLUE_SECTION_NAME);
2023 || ! bfd_set_section_flags (abfd, sec, flags)
2024 || ! bfd_set_section_alignment (abfd, sec, 2))
2028 sec = bfd_get_section_by_name (abfd, THUMB2ARM_GLUE_SECTION_NAME);
2032 flags = SEC_ALLOC | SEC_LOAD | SEC_HAS_CONTENTS | SEC_IN_MEMORY | SEC_CODE | SEC_READONLY;
2034 sec = bfd_make_section (abfd, THUMB2ARM_GLUE_SECTION_NAME);
2037 || ! bfd_set_section_flags (abfd, sec, flags)
2038 || ! bfd_set_section_alignment (abfd, sec, 2))
2042 /* Save the bfd for later use. */
2043 globals->bfd_of_glue_owner = abfd;
2049 bfd_arm_process_before_allocation (abfd, info, support_old_code)
2051 struct bfd_link_info * info;
2052 int support_old_code;
2055 struct coff_arm_link_hash_table * globals;
2057 /* If we are only performing a partial link do not bother
2058 to construct any glue. */
2059 if (info->relocatable)
2062 /* Here we have a bfd that is to be included on the link. We have a hook
2063 to do reloc rummaging, before section sizes are nailed down. */
2065 _bfd_coff_get_external_symbols (abfd);
2067 globals = coff_arm_hash_table (info);
2069 BFD_ASSERT (globals != NULL);
2070 BFD_ASSERT (globals->bfd_of_glue_owner != NULL);
2072 globals->support_old_code = support_old_code;
2074 /* Rummage around all the relocs and map the glue vectors. */
2075 sec = abfd->sections;
2080 for (; sec != NULL; sec = sec->next)
2082 struct internal_reloc * i;
2083 struct internal_reloc * rel;
2085 if (sec->reloc_count == 0)
2088 /* Load the relocs. */
2089 /* FIXME: there may be a storage leak here. */
2091 i = _bfd_coff_read_internal_relocs (abfd, sec, 1, 0, 0, 0);
2093 BFD_ASSERT (i != 0);
2095 for (rel = i; rel < i + sec->reloc_count; ++rel)
2097 unsigned short r_type = rel->r_type;
2099 struct coff_link_hash_entry * h;
2101 symndx = rel->r_symndx;
2103 /* If the relocation is not against a symbol it cannot concern us. */
2107 /* If the index is outside of the range of our table, something has gone wrong. */
2108 if (symndx >= obj_conv_table_size (abfd))
2110 _bfd_error_handler (_("%B: illegal symbol index in reloc: %d"),
2115 h = obj_coff_sym_hashes (abfd)[symndx];
2117 /* If the relocation is against a static symbol it must be within
2118 the current section and so cannot be a cross ARM/Thumb relocation. */
2125 /* This one is a call from arm code. We need to look up
2126 the target of the call. If it is a thumb target, we
2129 if (h->class == C_THUMBEXTFUNC)
2130 record_arm_to_thumb_glue (info, h);
2135 /* This one is a call from thumb code. We used to look
2136 for ARM_THUMB9 and ARM_THUMB12 as well. We need to look
2137 up the target of the call. If it is an arm target, we
2138 insert glue. If the symbol does not exist it will be
2139 given a class of C_EXT and so we will generate a stub
2140 for it. This is not really a problem, since the link
2141 is doomed anyway. */
2148 record_thumb_to_arm_glue (info, h);
2165 #endif /* ! defined (COFF_IMAGE_WITH_PE) */
2167 #define coff_bfd_reloc_type_lookup coff_arm_reloc_type_lookup
2168 #define coff_relocate_section coff_arm_relocate_section
2169 #define coff_bfd_is_local_label_name coff_arm_is_local_label_name
2170 #define coff_adjust_symndx coff_arm_adjust_symndx
2171 #define coff_link_output_has_begun coff_arm_link_output_has_begun
2172 #define coff_final_link_postscript coff_arm_final_link_postscript
2173 #define coff_bfd_merge_private_bfd_data coff_arm_merge_private_bfd_data
2174 #define coff_bfd_print_private_bfd_data coff_arm_print_private_bfd_data
2175 #define coff_bfd_set_private_flags _bfd_coff_arm_set_private_flags
2176 #define coff_bfd_copy_private_bfd_data coff_arm_copy_private_bfd_data
2177 #define coff_bfd_link_hash_table_create coff_arm_link_hash_table_create
2179 /* When doing a relocatable link, we want to convert ARM_26 relocs
2180 into ARM_26D relocs. */
2183 coff_arm_adjust_symndx (obfd, info, ibfd, sec, irel, adjustedp)
2184 bfd *obfd ATTRIBUTE_UNUSED;
2185 struct bfd_link_info *info ATTRIBUTE_UNUSED;
2188 struct internal_reloc *irel;
2189 bfd_boolean *adjustedp;
2191 if (irel->r_type == ARM_26)
2193 struct coff_link_hash_entry *h;
2195 h = obj_coff_sym_hashes (ibfd)[irel->r_symndx];
2197 && (h->root.type == bfd_link_hash_defined
2198 || h->root.type == bfd_link_hash_defweak)
2199 && h->root.u.def.section->output_section == sec->output_section)
2200 irel->r_type = ARM_26D;
2206 /* Called when merging the private data areas of two BFDs.
2207 This is important as it allows us to detect if we are
2208 attempting to merge binaries compiled for different ARM
2209 targets, eg different CPUs or different APCS's. */
2212 coff_arm_merge_private_bfd_data (ibfd, obfd)
2216 BFD_ASSERT (ibfd != NULL && obfd != NULL);
2221 /* If the two formats are different we cannot merge anything.
2222 This is not an error, since it is permissable to change the
2223 input and output formats. */
2224 if ( ibfd->xvec->flavour != bfd_target_coff_flavour
2225 || obfd->xvec->flavour != bfd_target_coff_flavour)
2228 /* Determine what should happen if the input ARM architecture
2229 does not match the output ARM architecture. */
2230 if (! bfd_arm_merge_machines (ibfd, obfd))
2233 /* Verify that the APCS is the same for the two BFDs. */
2234 if (APCS_SET (ibfd))
2236 if (APCS_SET (obfd))
2238 /* If the src and dest have different APCS flag bits set, fail. */
2239 if (APCS_26_FLAG (obfd) != APCS_26_FLAG (ibfd))
2242 /* xgettext: c-format */
2243 (_("ERROR: %B is compiled for APCS-%d, whereas %B is compiled for APCS-%d"),
2245 APCS_26_FLAG (ibfd) ? 26 : 32,
2246 APCS_26_FLAG (obfd) ? 26 : 32
2249 bfd_set_error (bfd_error_wrong_format);
2253 if (APCS_FLOAT_FLAG (obfd) != APCS_FLOAT_FLAG (ibfd))
2257 if (APCS_FLOAT_FLAG (ibfd))
2258 /* xgettext: c-format */
2259 msg = _("ERROR: %B passes floats in float registers, whereas %B passes them in integer registers");
2261 /* xgettext: c-format */
2262 msg = _("ERROR: %B passes floats in integer registers, whereas %B passes them in float registers");
2264 _bfd_error_handler (msg, ibfd, obfd);
2266 bfd_set_error (bfd_error_wrong_format);
2270 if (PIC_FLAG (obfd) != PIC_FLAG (ibfd))
2274 if (PIC_FLAG (ibfd))
2275 /* xgettext: c-format */
2276 msg = _("ERROR: %B is compiled as position independent code, whereas target %B is absolute position");
2278 /* xgettext: c-format */
2279 msg = _("ERROR: %B is compiled as absolute position code, whereas target %B is position independent");
2280 _bfd_error_handler (msg, ibfd, obfd);
2282 bfd_set_error (bfd_error_wrong_format);
2288 SET_APCS_FLAGS (obfd, APCS_26_FLAG (ibfd) | APCS_FLOAT_FLAG (ibfd) | PIC_FLAG (ibfd));
2290 /* Set up the arch and fields as well as these are probably wrong. */
2291 bfd_set_arch_mach (obfd, bfd_get_arch (ibfd), bfd_get_mach (ibfd));
2295 /* Check the interworking support. */
2296 if (INTERWORK_SET (ibfd))
2298 if (INTERWORK_SET (obfd))
2300 /* If the src and dest differ in their interworking issue a warning. */
2301 if (INTERWORK_FLAG (obfd) != INTERWORK_FLAG (ibfd))
2305 if (INTERWORK_FLAG (ibfd))
2306 /* xgettext: c-format */
2307 msg = _("Warning: %B supports interworking, whereas %B does not");
2309 /* xgettext: c-format */
2310 msg = _("Warning: %B does not support interworking, whereas %B does");
2312 _bfd_error_handler (msg, ibfd, obfd);
2317 SET_INTERWORK_FLAG (obfd, INTERWORK_FLAG (ibfd));
2324 /* Display the flags field. */
2327 coff_arm_print_private_bfd_data (abfd, ptr)
2331 FILE * file = (FILE *) ptr;
2333 BFD_ASSERT (abfd != NULL && ptr != NULL);
2335 /* xgettext:c-format */
2336 fprintf (file, _("private flags = %x:"), coff_data (abfd)->flags);
2338 if (APCS_SET (abfd))
2340 /* xgettext: APCS is ARM Procedure Call Standard, it should not be translated. */
2341 fprintf (file, " [APCS-%d]", APCS_26_FLAG (abfd) ? 26 : 32);
2343 if (APCS_FLOAT_FLAG (abfd))
2344 fprintf (file, _(" [floats passed in float registers]"));
2346 fprintf (file, _(" [floats passed in integer registers]"));
2348 if (PIC_FLAG (abfd))
2349 fprintf (file, _(" [position independent]"));
2351 fprintf (file, _(" [absolute position]"));
2354 if (! INTERWORK_SET (abfd))
2355 fprintf (file, _(" [interworking flag not initialised]"));
2356 else if (INTERWORK_FLAG (abfd))
2357 fprintf (file, _(" [interworking supported]"));
2359 fprintf (file, _(" [interworking not supported]"));
2366 /* Copies the given flags into the coff_tdata.flags field.
2367 Typically these flags come from the f_flags[] field of
2368 the COFF filehdr structure, which contains important,
2369 target specific information.
2370 Note: Although this function is static, it is explicitly
2371 called from both coffcode.h and peicode.h. */
2374 _bfd_coff_arm_set_private_flags (abfd, flags)
2380 BFD_ASSERT (abfd != NULL);
2382 flag = (flags & F_APCS26) ? F_APCS_26 : 0;
2384 /* Make sure that the APCS field has not been initialised to the opposite
2387 && ( (APCS_26_FLAG (abfd) != flag)
2388 || (APCS_FLOAT_FLAG (abfd) != (flags & F_APCS_FLOAT))
2389 || (PIC_FLAG (abfd) != (flags & F_PIC))
2393 flag |= (flags & (F_APCS_FLOAT | F_PIC));
2395 SET_APCS_FLAGS (abfd, flag);
2397 flag = (flags & F_INTERWORK);
2399 /* If the BFD has already had its interworking flag set, but it
2400 is different from the value that we have been asked to set,
2401 then assume that that merged code will not support interworking
2402 and set the flag accordingly. */
2403 if (INTERWORK_SET (abfd) && (INTERWORK_FLAG (abfd) != flag))
2406 /* xgettext: c-format */
2407 _bfd_error_handler (_("Warning: Not setting interworking flag of %B since it has already been specified as non-interworking"),
2410 /* xgettext: c-format */
2411 _bfd_error_handler (_("Warning: Clearing the interworking flag of %B due to outside request"),
2416 SET_INTERWORK_FLAG (abfd, flag);
2421 /* Copy the important parts of the target specific data
2422 from one instance of a BFD to another. */
2425 coff_arm_copy_private_bfd_data (src, dest)
2429 BFD_ASSERT (src != NULL && dest != NULL);
2434 /* If the destination is not in the same format as the source, do not do
2436 if (src->xvec != dest->xvec)
2439 /* copy the flags field */
2442 if (APCS_SET (dest))
2444 /* If the src and dest have different APCS flag bits set, fail. */
2445 if (APCS_26_FLAG (dest) != APCS_26_FLAG (src))
2448 if (APCS_FLOAT_FLAG (dest) != APCS_FLOAT_FLAG (src))
2451 if (PIC_FLAG (dest) != PIC_FLAG (src))
2455 SET_APCS_FLAGS (dest, APCS_26_FLAG (src) | APCS_FLOAT_FLAG (src)
2459 if (INTERWORK_SET (src))
2461 if (INTERWORK_SET (dest))
2463 /* If the src and dest have different interworking flags then turn
2464 off the interworking bit. */
2465 if (INTERWORK_FLAG (dest) != INTERWORK_FLAG (src))
2467 if (INTERWORK_FLAG (dest))
2469 /* xgettext:c-format */
2470 _bfd_error_handler (("\
2471 Warning: Clearing the interworking flag of %B because non-interworking code in %B has been linked with it"),
2475 SET_INTERWORK_FLAG (dest, 0);
2480 SET_INTERWORK_FLAG (dest, INTERWORK_FLAG (src));
2487 /* Note: the definitions here of LOCAL_LABEL_PREFIX and USER_LABEL_PREIFX
2488 *must* match the definitions in gcc/config/arm/{coff|semi|aout}.h. */
2489 #define LOCAL_LABEL_PREFIX ""
2490 #ifndef USER_LABEL_PREFIX
2491 #define USER_LABEL_PREFIX "_"
2494 /* Like _bfd_coff_is_local_label_name, but
2495 a) test against USER_LABEL_PREFIX, to avoid stripping labels known to be
2497 b) Allow other prefixes than ".", e.g. an empty prefix would cause all
2498 labels of the form Lxxx to be stripped. */
2500 coff_arm_is_local_label_name (abfd, name)
2501 bfd * abfd ATTRIBUTE_UNUSED;
2504 #ifdef USER_LABEL_PREFIX
2505 if (USER_LABEL_PREFIX[0] != 0)
2507 if (strncmp (name, USER_LABEL_PREFIX, strlen (USER_LABEL_PREFIX)) == 0)
2512 #ifdef LOCAL_LABEL_PREFIX
2513 /* If there is a prefix for local labels then look for this.
2514 If the prefix exists, but it is empty, then ignore the test. */
2516 if (LOCAL_LABEL_PREFIX[0] != 0)
2518 size_t len = strlen (LOCAL_LABEL_PREFIX);
2520 if (strncmp (name, LOCAL_LABEL_PREFIX, len) != 0)
2523 /* Perform the checks below for the rest of the name. */
2528 return name[0] == 'L';
2531 /* This piece of machinery exists only to guarantee that the bfd that holds
2532 the glue section is written last.
2534 This does depend on bfd_make_section attaching a new section to the
2535 end of the section list for the bfd.
2540 coff_arm_link_output_has_begun (sub, info)
2542 struct coff_final_link_info * info;
2544 return (sub->output_has_begun
2545 || sub == coff_arm_hash_table (info->info)->bfd_of_glue_owner);
2549 coff_arm_final_link_postscript (abfd, pfinfo)
2550 bfd * abfd ATTRIBUTE_UNUSED;
2551 struct coff_final_link_info * pfinfo;
2553 struct coff_arm_link_hash_table * globals;
2555 globals = coff_arm_hash_table (pfinfo->info);
2557 BFD_ASSERT (globals != NULL);
2559 if (globals->bfd_of_glue_owner != NULL)
2561 if (! _bfd_coff_link_input_bfd (pfinfo, globals->bfd_of_glue_owner))
2564 globals->bfd_of_glue_owner->output_has_begun = TRUE;
2567 return bfd_arm_update_notes (abfd, ARM_NOTE_SECTION);
2570 #include "coffcode.h"
2572 #ifndef TARGET_LITTLE_SYM
2573 #define TARGET_LITTLE_SYM armcoff_little_vec
2575 #ifndef TARGET_LITTLE_NAME
2576 #define TARGET_LITTLE_NAME "coff-arm-little"
2578 #ifndef TARGET_BIG_SYM
2579 #define TARGET_BIG_SYM armcoff_big_vec
2581 #ifndef TARGET_BIG_NAME
2582 #define TARGET_BIG_NAME "coff-arm-big"
2585 #ifndef TARGET_UNDERSCORE
2586 #define TARGET_UNDERSCORE 0
2589 #ifndef EXTRA_S_FLAGS
2591 #define EXTRA_S_FLAGS (SEC_CODE | SEC_LINK_ONCE | SEC_LINK_DUPLICATES)
2593 #define EXTRA_S_FLAGS SEC_CODE
2597 /* Forward declaration for use initialising alternative_target field. */
2598 extern const bfd_target TARGET_BIG_SYM ;
2600 /* Target vectors. */
2601 CREATE_LITTLE_COFF_TARGET_VEC (TARGET_LITTLE_SYM, TARGET_LITTLE_NAME, D_PAGED, EXTRA_S_FLAGS, TARGET_UNDERSCORE, & TARGET_BIG_SYM, COFF_SWAP_TABLE)
2602 CREATE_BIG_COFF_TARGET_VEC (TARGET_BIG_SYM, TARGET_BIG_NAME, D_PAGED, EXTRA_S_FLAGS, TARGET_UNDERSCORE, & TARGET_LITTLE_SYM, COFF_SWAP_TABLE)