* gas/config/tc-arm.c (do_vfp_reg2_from_sp2): Rename from
[binutils.git] / bfd / coff-arm.c
blob79bae59a726e916bb8cbc6ee61551ed88bba6a81
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
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. */
23 #include "bfd.h"
24 #include "sysdep.h"
25 #include "libbfd.h"
27 #include "coff/arm.h"
29 #include "coff/internal.h"
31 #ifdef COFF_WITH_PE
32 #include "coff/pe.h"
33 #endif
35 #include "libcoff.h"
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)
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) \
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)
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) \
66 do \
67 { \
68 coff_data (abfd)->flags &= ~F_INTERWORK; \
69 coff_data (abfd)->flags |= (flg) | F_INTERWORK_SET; \
70 } \
71 while (0)
73 #ifndef NUM_ELEM
74 #define NUM_ELEM(a) ((sizeof (a)) / sizeof ((a)[0]))
75 #endif
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 **));
90 #ifndef ARM_WINCE
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));
97 #endif
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 *,
108 bfd_vma *));
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
115 PARAMS ((bfd *));
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 *));
123 #ifndef ARM_WINCE
124 static void record_thumb_to_arm_glue
125 PARAMS ((struct bfd_link_info *, struct coff_link_hash_entry *));
126 #endif
127 #endif
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,
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;
169 symvalue diff;
170 if (output_bfd == (bfd *) NULL)
171 return bfd_reloc_continue;
173 diff = reloc_entry->addend;
175 #define DOIT(x) \
176 x = ((x & ~howto->dst_mask) \
177 | (((x & howto->src_mask) + diff) & howto->dst_mask))
179 if (diff != 0)
181 reloc_howto_type *howto = reloc_entry->howto;
182 unsigned char *addr = (unsigned char *) data + reloc_entry->address;
184 switch (howto->size)
186 case 0:
188 char x = bfd_get_8 (abfd, addr);
189 DOIT (x);
190 bfd_put_8 (abfd, x, addr);
192 break;
194 case 1:
196 short x = bfd_get_16 (abfd, addr);
197 DOIT (x);
198 bfd_put_16 (abfd, (bfd_vma) x, addr);
200 break;
202 case 2:
204 long x = bfd_get_32 (abfd, addr);
205 DOIT (x);
206 bfd_put_32 (abfd, (bfd_vma) x, addr);
208 break;
210 default:
211 abort ();
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
221 should not. */
222 #ifndef TARGET_UNDERSCORE
223 #define TARGET_UNDERSCORE '_'
224 #endif
226 #ifndef PCRELOFFSET
227 #define PCRELOFFSET TRUE
228 #endif
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
248 #ifdef ARM_WINCE
249 #undef ARM_32
250 #undef ARM_RVA32
251 #undef ARM_26
252 #undef ARM_THUMB12
253 #undef ARM_26D
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
264 static reloc_howto_type aoutarm_std_reloc_howto[] =
266 #ifdef ARM_WINCE
267 HOWTO (ARM_26D,
271 FALSE,
273 complain_overflow_dont,
274 aoutarm_fix_pcrel_26_done,
275 "ARM_26D",
276 FALSE,
277 0x00ffffff,
278 0x0,
279 FALSE),
280 HOWTO (ARM_32,
284 FALSE,
286 complain_overflow_bitfield,
287 coff_arm_reloc,
288 "ARM_32",
289 FALSE,
290 0xffffffff,
291 0xffffffff,
292 PCRELOFFSET),
293 HOWTO (ARM_RVA32,
297 FALSE,
299 complain_overflow_bitfield,
300 coff_arm_reloc,
301 "ARM_RVA32",
302 FALSE,
303 0xffffffff,
304 0xffffffff,
305 PCRELOFFSET),
306 HOWTO (ARM_26,
310 TRUE,
312 complain_overflow_signed,
313 aoutarm_fix_pcrel_26 ,
314 "ARM_26",
315 FALSE,
316 0x00ffffff,
317 0x00ffffff,
318 PCRELOFFSET),
319 HOWTO (ARM_THUMB12,
323 TRUE,
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,
345 FALSE,
347 complain_overflow_bitfield,
348 coff_arm_reloc,
349 "ARM_SECTION",
350 FALSE,
351 0x0000ffff,
352 0x0000ffff,
353 PCRELOFFSET),
354 HOWTO (ARM_SECREL,
358 FALSE,
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,
385 FALSE,
387 complain_overflow_bitfield,
388 coff_arm_reloc,
389 "ARM_16",
390 TRUE,
391 0x0000ffff,
392 0x0000ffff,
393 PCRELOFFSET),
394 HOWTO (ARM_32,
398 FALSE,
400 complain_overflow_bitfield,
401 coff_arm_reloc,
402 "ARM_32",
403 TRUE,
404 0xffffffff,
405 0xffffffff,
406 PCRELOFFSET),
407 HOWTO (ARM_26,
411 TRUE,
413 complain_overflow_signed,
414 aoutarm_fix_pcrel_26 ,
415 "ARM_26",
416 FALSE,
417 0x00ffffff,
418 0x00ffffff,
419 PCRELOFFSET),
420 HOWTO (ARM_DISP8,
424 TRUE,
426 complain_overflow_signed,
427 coff_arm_reloc,
428 "ARM_DISP8",
429 TRUE,
430 0x000000ff,
431 0x000000ff,
432 TRUE),
433 HOWTO (ARM_DISP16,
437 TRUE,
439 complain_overflow_signed,
440 coff_arm_reloc,
441 "ARM_DISP16",
442 TRUE,
443 0x0000ffff,
444 0x0000ffff,
445 TRUE),
446 HOWTO (ARM_DISP32,
450 TRUE,
452 complain_overflow_signed,
453 coff_arm_reloc,
454 "ARM_DISP32",
455 TRUE,
456 0xffffffff,
457 0xffffffff,
458 TRUE),
459 HOWTO (ARM_26D,
463 FALSE,
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,
478 FALSE,
480 complain_overflow_bitfield,
481 coff_arm_reloc,
482 "ARM_NEG16",
483 TRUE,
484 0x0000ffff,
485 0x0000ffff,
486 FALSE),
487 HOWTO (ARM_NEG32,
491 FALSE,
493 complain_overflow_bitfield,
494 coff_arm_reloc,
495 "ARM_NEG32",
496 TRUE,
497 0xffffffff,
498 0xffffffff,
499 FALSE),
500 HOWTO (ARM_RVA32,
504 FALSE,
506 complain_overflow_bitfield,
507 coff_arm_reloc,
508 "ARM_RVA32",
509 TRUE,
510 0xffffffff,
511 0xffffffff,
512 PCRELOFFSET),
513 HOWTO (ARM_THUMB9,
517 TRUE,
519 complain_overflow_signed,
520 coff_thumb_pcrel_9 ,
521 "ARM_THUMB9",
522 FALSE,
523 0x000000ff,
524 0x000000ff,
525 PCRELOFFSET),
526 HOWTO (ARM_THUMB12,
530 TRUE,
532 complain_overflow_signed,
533 coff_thumb_pcrel_12 ,
534 "ARM_THUMB12",
535 FALSE,
536 0x000007ff,
537 0x000007ff,
538 PCRELOFFSET),
539 HOWTO (ARM_THUMB23,
543 TRUE,
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 */
555 #define NUM_RELOCS NUM_ELEM (aoutarm_std_reloc_howto)
557 #ifdef COFF_WITH_PE
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. */
562 static bfd_boolean
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;
569 #endif
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
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;
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;
588 reloc_howto_type * howto;
590 if (rel->r_type >= NUM_RELOCS)
591 return NULL;
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;
598 return howto;
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. */
615 return bfd_reloc_ok;
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)
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;
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;
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;
655 relocation -= addr;
657 if (relocation & 3)
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];
677 return flag;
680 static bfd_reloc_status_type
681 coff_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;
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;
700 /* NOTE: This routine is currently used by GAS, but not by the link
701 phase. */
703 switch (btype)
705 case b9:
706 dstmsk = 0x000000ff;
707 offmsk = 0x000001fe;
708 signbit = 0x00000100;
709 break;
711 case b12:
712 dstmsk = 0x000007ff;
713 offmsk = 0x00000ffe;
714 signbit = 0x00000800;
715 break;
717 case b23:
718 dstmsk = 0x07ff07ff;
719 offmsk = 0x007fffff;
720 signbit = 0x00400000;
721 break;
723 default:
724 abort ();
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;
738 switch (btype)
740 case b9:
741 case b12:
742 relocation = ((target & dstmsk) << 1);
743 break;
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;
752 default:
753 abort ();
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;
765 if (relocation & 1)
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;
777 target &= ~dstmsk;
778 switch (btype)
780 case b9:
781 case b12:
782 target |= (relocation >> 1);
783 break;
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;
794 default:
795 abort ();
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. */
805 return flag;
808 #ifndef ARM_WINCE
809 static bfd_reloc_status_type
810 coff_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;
820 return coff_thumb_pcrel_common (abfd, reloc_entry, symbol, data,
821 input_section, output_bfd, error_message,
822 b23);
825 static bfd_reloc_status_type
826 coff_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;
836 return coff_thumb_pcrel_common (abfd, reloc_entry, symbol, data,
837 input_section, output_bfd, error_message,
838 b9);
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)
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;
853 return coff_thumb_pcrel_common (abfd, reloc_entry, symbol, data,
854 input_section, output_bfd, error_message,
855 b12);
858 static const struct reloc_howto_struct *
859 coff_arm_reloc_type_lookup (abfd, code)
860 bfd * abfd;
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)
868 case 32:
869 code = BFD_RELOC_32;
870 break;
871 default:
872 return (const struct reloc_howto_struct *) 0;
875 switch (code)
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;
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 */
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
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)
945 bfd * 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)
952 return NULL;
954 if (! _bfd_coff_link_hash_table_init
955 (& ret->root, abfd, _bfd_coff_link_hash_newfunc))
957 free (ret);
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;
968 static void
969 arm_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;
975 bfd_vma addr = reloc_offset
976 - input_section->vma
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);
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.
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).
998 Combine together and shifted left by 1 (it's a half word address) and
999 there you have it.
1001 Op: 1111 = F,
1002 H-0, upper address-0 = 000
1003 Op: 1111 = F,
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
1018 static insn32
1019 insert_thumb_branch (br_insn, rel_off)
1020 insn32 br_insn;
1021 int 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;
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. */
1041 return br_insn;
1045 static struct coff_link_hash_entry *
1046 find_thumb_glue (info, name, input_bfd)
1047 struct bfd_link_info *info;
1048 const char *name;
1049 bfd *input_bfd;
1051 char *tmp_name;
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);
1064 if (myh == NULL)
1065 /* xgettext:c-format */
1066 _bfd_error_handler (_("%s: unable to find THUMB glue '%s' for `%s'"),
1067 bfd_archive_filename (input_bfd), tmp_name, name);
1069 free (tmp_name);
1071 return myh;
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;
1078 const char *name;
1079 bfd *input_bfd;
1081 char *tmp_name;
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);
1094 if (myh == NULL)
1095 /* xgettext:c-format */
1096 _bfd_error_handler (_("%s: unable to find ARM glue '%s' for `%s'"),
1097 bfd_archive_filename (input_bfd), tmp_name, name);
1099 free (tmp_name);
1101 return myh;
1105 ARM->Thumb glue:
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
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
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
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;
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.
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.
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.
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). */
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. */
1191 static bfd_boolean
1192 coff_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;
1203 struct internal_reloc * rel;
1204 struct internal_reloc * relend;
1206 rel = relocs;
1207 relend = rel + input_section->reloc_count;
1209 for (; rel < relend; rel++)
1211 int done = 0;
1212 long symndx;
1213 struct coff_link_hash_entry * h;
1214 struct internal_syment * sym;
1215 bfd_vma addend;
1216 bfd_vma val;
1217 reloc_howto_type * howto;
1218 bfd_reloc_status_type rstat;
1219 bfd_vma h_val;
1221 symndx = rel->r_symndx;
1223 if (symndx == -1)
1225 h = NULL;
1226 sym = NULL;
1228 else
1230 h = obj_coff_sym_hashes (input_bfd)[symndx];
1231 sym = syms + symndx;
1234 /* COFF treats common symbols in one of two ways. Either the
1235 size of the symbol is included in the section contents, or it
1236 is not. We assume that the size is not included, and force
1237 the rtype_to_howto function to adjust the addend as needed. */
1239 if (sym != NULL && sym->n_scnum != 0)
1240 addend = - sym->n_value;
1241 else
1242 addend = 0;
1244 howto = coff_rtype_to_howto (input_bfd, input_section, rel, h,
1245 sym, &addend);
1246 if (howto == NULL)
1247 return FALSE;
1249 /* The relocation_section function will skip pcrel_offset relocs
1250 when doing a relocatable link. However, we want to convert
1251 ARM_26 to ARM_26D relocs if possible. We return a fake howto in
1252 this case without pcrel_offset set, and adjust the addend to
1253 compensate. */
1254 if (rel->r_type == ARM_26
1255 && h != NULL
1256 && info->relocatable
1257 && (h->root.type == bfd_link_hash_defined
1258 || h->root.type == bfd_link_hash_defweak)
1259 && (h->root.u.def.section->output_section
1260 == input_section->output_section))
1262 static reloc_howto_type fake_arm26_reloc =
1263 HOWTO (ARM_26,
1267 TRUE,
1269 complain_overflow_signed,
1270 aoutarm_fix_pcrel_26 ,
1271 "ARM_26",
1272 FALSE,
1273 0x00ffffff,
1274 0x00ffffff,
1275 FALSE);
1277 addend -= rel->r_vaddr - input_section->vma;
1278 howto = &fake_arm26_reloc;
1281 #ifdef ARM_WINCE
1282 /* MS ARM-CE makes the reloc relative to the opcode's pc, not
1283 the next opcode's pc, so is off by one. */
1284 #if 0 /* This appears to have been true for WINCE 2.0, but it is not
1285 true for WINCE 3.0. */
1286 if (howto->pc_relative && !info->relocatable)
1287 addend -= 8;
1288 #endif
1289 #endif
1291 /* If we are doing a relocatable link, then we can just ignore
1292 a PC relative reloc that is pcrel_offset. It will already
1293 have the correct value. If this is not a relocatable link,
1294 then we should ignore the symbol value. */
1295 if (howto->pc_relative && howto->pcrel_offset)
1297 if (info->relocatable)
1298 continue;
1299 /* FIXME - it is not clear which targets need this next test
1300 and which do not. It is known that it is needed for the
1301 VxWorks and EPOC-PE targets, but it is also known that it
1302 was suppressed for other ARM targets. This ought to be
1303 sorted out one day. */
1304 #ifdef ARM_COFF_BUGFIX
1305 /* We must not ignore the symbol value. If the symbol is
1306 within the same section, the relocation should have already
1307 been fixed, but if it is not, we'll be handed a reloc into
1308 the beginning of the symbol's section, so we must not cancel
1309 out the symbol's value, otherwise we'll be adding it in
1310 twice. */
1311 if (sym != NULL && sym->n_scnum != 0)
1312 addend += sym->n_value;
1313 #endif
1316 val = 0;
1318 if (h == NULL)
1320 asection *sec;
1322 if (symndx == -1)
1324 sec = bfd_abs_section_ptr;
1325 val = 0;
1327 else
1329 sec = sections[symndx];
1330 val = (sec->output_section->vma
1331 + sec->output_offset
1332 + sym->n_value
1333 - sec->vma);
1336 else
1338 #if 1 /* THUMBEXTENSION */
1339 /* We don't output the stubs if we are generating a
1340 relocatable output file, since we may as well leave the
1341 stub generation to the final linker pass. If we fail to
1342 verify that the name is defined, we'll try to build stubs
1343 for an undefined name... */
1344 if (! info->relocatable
1345 && ( h->root.type == bfd_link_hash_defined
1346 || h->root.type == bfd_link_hash_defweak))
1348 asection * h_sec = h->root.u.def.section;
1349 const char * name = h->root.root.string;
1351 /* h locates the symbol referenced in the reloc. */
1352 h_val = (h->root.u.def.value
1353 + h_sec->output_section->vma
1354 + h_sec->output_offset);
1356 if (howto->type == ARM_26)
1358 if ( h->class == C_THUMBSTATFUNC
1359 || h->class == C_THUMBEXTFUNC)
1361 /* Arm code calling a Thumb function. */
1362 unsigned long int tmp;
1363 bfd_vma my_offset;
1364 asection * s;
1365 long int ret_offset;
1366 struct coff_link_hash_entry * myh;
1367 struct coff_arm_link_hash_table * globals;
1369 myh = find_arm_glue (info, name, input_bfd);
1370 if (myh == NULL)
1371 return FALSE;
1373 globals = coff_arm_hash_table (info);
1375 BFD_ASSERT (globals != NULL);
1376 BFD_ASSERT (globals->bfd_of_glue_owner != NULL);
1378 my_offset = myh->root.u.def.value;
1380 s = bfd_get_section_by_name (globals->bfd_of_glue_owner,
1381 ARM2THUMB_GLUE_SECTION_NAME);
1382 BFD_ASSERT (s != NULL);
1383 BFD_ASSERT (s->contents != NULL);
1384 BFD_ASSERT (s->output_section != NULL);
1386 if ((my_offset & 0x01) == 0x01)
1388 if (h_sec->owner != NULL
1389 && INTERWORK_SET (h_sec->owner)
1390 && ! INTERWORK_FLAG (h_sec->owner))
1392 _bfd_error_handler
1393 /* xgettext:c-format */
1394 (_("%s(%s): warning: interworking not enabled."),
1395 bfd_archive_filename (h_sec->owner), name);
1396 _bfd_error_handler
1397 /* xgettext:c-format */
1398 (_(" first occurrence: %s: arm call to thumb"),
1399 bfd_archive_filename (input_bfd));
1402 --my_offset;
1403 myh->root.u.def.value = my_offset;
1405 bfd_put_32 (output_bfd, (bfd_vma) a2t1_ldr_insn,
1406 s->contents + my_offset);
1408 bfd_put_32 (output_bfd, (bfd_vma) a2t2_bx_r12_insn,
1409 s->contents + my_offset + 4);
1411 /* It's a thumb address. Add the low order bit. */
1412 bfd_put_32 (output_bfd, h_val | a2t3_func_addr_insn,
1413 s->contents + my_offset + 8);
1415 if (info->base_file)
1416 arm_emit_base_file_entry (info, output_bfd, s,
1417 my_offset + 8);
1421 BFD_ASSERT (my_offset <= globals->arm_glue_size);
1423 tmp = bfd_get_32 (input_bfd, contents + rel->r_vaddr
1424 - input_section->vma);
1426 tmp = tmp & 0xFF000000;
1428 /* Somehow these are both 4 too far, so subtract 8. */
1429 ret_offset =
1430 s->output_offset
1431 + my_offset
1432 + s->output_section->vma
1433 - (input_section->output_offset
1434 + input_section->output_section->vma
1435 + rel->r_vaddr)
1436 - 8;
1438 tmp = tmp | ((ret_offset >> 2) & 0x00FFFFFF);
1440 bfd_put_32 (output_bfd, (bfd_vma) tmp,
1441 contents + rel->r_vaddr - input_section->vma);
1442 done = 1;
1446 #ifndef ARM_WINCE
1447 /* Note: We used to check for ARM_THUMB9 and ARM_THUMB12. */
1448 else if (howto->type == ARM_THUMB23)
1450 if ( h->class == C_EXT
1451 || h->class == C_STAT
1452 || h->class == C_LABEL)
1454 /* Thumb code calling an ARM function */
1455 asection * s = 0;
1456 bfd_vma my_offset;
1457 unsigned long int tmp;
1458 long int ret_offset;
1459 struct coff_link_hash_entry * myh;
1460 struct coff_arm_link_hash_table * globals;
1462 myh = find_thumb_glue (info, name, input_bfd);
1463 if (myh == NULL)
1464 return FALSE;
1466 globals = coff_arm_hash_table (info);
1468 BFD_ASSERT (globals != NULL);
1469 BFD_ASSERT (globals->bfd_of_glue_owner != NULL);
1471 my_offset = myh->root.u.def.value;
1473 s = bfd_get_section_by_name (globals->bfd_of_glue_owner,
1474 THUMB2ARM_GLUE_SECTION_NAME);
1476 BFD_ASSERT (s != NULL);
1477 BFD_ASSERT (s->contents != NULL);
1478 BFD_ASSERT (s->output_section != NULL);
1480 if ((my_offset & 0x01) == 0x01)
1482 if (h_sec->owner != NULL
1483 && INTERWORK_SET (h_sec->owner)
1484 && ! INTERWORK_FLAG (h_sec->owner)
1485 && ! globals->support_old_code)
1487 _bfd_error_handler
1488 /* xgettext:c-format */
1489 (_("%s(%s): warning: interworking not enabled."),
1490 bfd_archive_filename (h_sec->owner), name);
1491 _bfd_error_handler
1492 /* xgettext:c-format */
1493 (_(" first occurrence: %s: thumb call to arm"),
1494 bfd_archive_filename (input_bfd));
1495 _bfd_error_handler
1496 (_(" consider relinking with --support-old-code enabled"));
1499 -- my_offset;
1500 myh->root.u.def.value = my_offset;
1502 if (globals->support_old_code)
1504 bfd_put_16 (output_bfd, (bfd_vma) t2a1_push_insn,
1505 s->contents + my_offset);
1507 bfd_put_16 (output_bfd, (bfd_vma) t2a2_ldr_insn,
1508 s->contents + my_offset + 2);
1510 bfd_put_16 (output_bfd, (bfd_vma) t2a3_mov_insn,
1511 s->contents + my_offset + 4);
1513 bfd_put_16 (output_bfd, (bfd_vma) t2a4_bx_insn,
1514 s->contents + my_offset + 6);
1516 bfd_put_32 (output_bfd, (bfd_vma) t2a5_pop_insn,
1517 s->contents + my_offset + 8);
1519 bfd_put_32 (output_bfd, (bfd_vma) t2a6_bx_insn,
1520 s->contents + my_offset + 12);
1522 /* Store the address of the function in the last word of the stub. */
1523 bfd_put_32 (output_bfd, h_val,
1524 s->contents + my_offset + 16);
1526 if (info->base_file)
1527 arm_emit_base_file_entry (info, output_bfd, s,
1528 my_offset + 16);
1530 else
1532 bfd_put_16 (output_bfd, (bfd_vma) t2a1_bx_pc_insn,
1533 s->contents + my_offset);
1535 bfd_put_16 (output_bfd, (bfd_vma) t2a2_noop_insn,
1536 s->contents + my_offset + 2);
1538 ret_offset =
1539 ((bfd_signed_vma) h_val) /* Address of destination of the stub. */
1540 - ((bfd_signed_vma)
1541 (s->output_offset /* Offset from the start of the current section to the start of the stubs. */
1542 + my_offset /* Offset of the start of this stub from the start of the stubs. */
1543 + s->output_section->vma) /* Address of the start of the current section. */
1544 + 4 /* The branch instruction is 4 bytes into the stub. */
1545 + 8); /* ARM branches work from the pc of the instruction + 8. */
1547 bfd_put_32 (output_bfd,
1548 (bfd_vma) t2a3_b_insn | ((ret_offset >> 2) & 0x00FFFFFF),
1549 s->contents + my_offset + 4);
1554 BFD_ASSERT (my_offset <= globals->thumb_glue_size);
1556 /* Now go back and fix up the original BL insn to point
1557 to here. */
1558 ret_offset =
1559 s->output_offset
1560 + my_offset
1561 - (input_section->output_offset
1562 + rel->r_vaddr)
1565 tmp = bfd_get_32 (input_bfd, contents + rel->r_vaddr
1566 - input_section->vma);
1568 bfd_put_32 (output_bfd,
1569 (bfd_vma) insert_thumb_branch (tmp,
1570 ret_offset),
1571 contents + rel->r_vaddr - input_section->vma);
1573 done = 1;
1576 #endif
1579 /* If the relocation type and destination symbol does not
1580 fall into one of the above categories, then we can just
1581 perform a direct link. */
1583 if (done)
1584 rstat = bfd_reloc_ok;
1585 else
1586 #endif /* THUMBEXTENSION */
1587 if ( h->root.type == bfd_link_hash_defined
1588 || h->root.type == bfd_link_hash_defweak)
1590 asection *sec;
1592 sec = h->root.u.def.section;
1593 val = (h->root.u.def.value
1594 + sec->output_section->vma
1595 + sec->output_offset);
1598 else if (! info->relocatable)
1600 if (! ((*info->callbacks->undefined_symbol)
1601 (info, h->root.root.string, input_bfd, input_section,
1602 rel->r_vaddr - input_section->vma, TRUE)))
1603 return FALSE;
1607 if (info->base_file)
1609 /* Emit a reloc if the backend thinks it needs it. */
1610 if (sym && pe_data(output_bfd)->in_reloc_p(output_bfd, howto))
1611 arm_emit_base_file_entry (info, output_bfd, input_section,
1612 rel->r_vaddr);
1615 #if 1 /* THUMBEXTENSION */
1616 if (done)
1617 rstat = bfd_reloc_ok;
1618 #ifndef ARM_WINCE
1619 /* Only perform this fix during the final link, not a relocatable link. nickc@cygnus.com */
1620 else if (! info->relocatable
1621 && howto->type == ARM_THUMB23)
1623 /* This is pretty much a copy of what the default
1624 _bfd_final_link_relocate and _bfd_relocate_contents
1625 routines do to perform a relocation, with special
1626 processing for the split addressing of the Thumb BL
1627 instruction. Again, it would probably be simpler adding a
1628 ThumbBRANCH23 specific macro expansion into the default
1629 code. */
1631 bfd_vma address = rel->r_vaddr - input_section->vma;
1633 if (address > input_section->_raw_size)
1634 rstat = bfd_reloc_outofrange;
1635 else
1637 bfd_vma relocation = val + addend;
1638 int size = bfd_get_reloc_size (howto);
1639 bfd_boolean overflow = FALSE;
1640 bfd_byte *location = contents + address;
1641 bfd_vma x = bfd_get_32 (input_bfd, location);
1642 bfd_vma src_mask = 0x007FFFFE;
1643 bfd_signed_vma reloc_signed_max = (1 << (howto->bitsize - 1)) - 1;
1644 bfd_signed_vma reloc_signed_min = ~reloc_signed_max;
1645 bfd_vma check;
1646 bfd_signed_vma signed_check;
1647 bfd_vma add;
1648 bfd_signed_vma signed_add;
1650 BFD_ASSERT (size == 4);
1652 /* howto->pc_relative should be TRUE for type 14 BRANCH23. */
1653 relocation -= (input_section->output_section->vma
1654 + input_section->output_offset);
1656 /* howto->pcrel_offset should be TRUE for type 14 BRANCH23. */
1657 relocation -= address;
1659 /* No need to negate the relocation with BRANCH23. */
1660 /* howto->complain_on_overflow == complain_overflow_signed for BRANCH23. */
1661 /* howto->rightshift == 1 */
1663 /* Drop unwanted bits from the value we are relocating to. */
1664 check = relocation >> howto->rightshift;
1666 /* If this is a signed value, the rightshift just dropped
1667 leading 1 bits (assuming twos complement). */
1668 if ((bfd_signed_vma) relocation >= 0)
1669 signed_check = check;
1670 else
1671 signed_check = (check
1672 | ((bfd_vma) - 1
1673 & ~((bfd_vma) - 1 >> howto->rightshift)));
1675 /* Get the value from the object file. */
1676 if (bfd_big_endian (input_bfd))
1677 add = (((x) & 0x07ff0000) >> 4) | (((x) & 0x7ff) << 1);
1678 else
1679 add = ((((x) & 0x7ff) << 12) | (((x) & 0x07ff0000) >> 15));
1681 /* Get the value from the object file with an appropriate sign.
1682 The expression involving howto->src_mask isolates the upper
1683 bit of src_mask. If that bit is set in the value we are
1684 adding, it is negative, and we subtract out that number times
1685 two. If src_mask includes the highest possible bit, then we
1686 can not get the upper bit, but that does not matter since
1687 signed_add needs no adjustment to become negative in that
1688 case. */
1689 signed_add = add;
1691 if ((add & (((~ src_mask) >> 1) & src_mask)) != 0)
1692 signed_add -= (((~ src_mask) >> 1) & src_mask) << 1;
1694 /* howto->bitpos == 0 */
1695 /* Add the value from the object file, shifted so that it is a
1696 straight number. */
1697 signed_check += signed_add;
1698 relocation += signed_add;
1700 BFD_ASSERT (howto->complain_on_overflow == complain_overflow_signed);
1702 /* Assumes two's complement. */
1703 if ( signed_check > reloc_signed_max
1704 || signed_check < reloc_signed_min)
1705 overflow = TRUE;
1707 /* Put the relocation into the correct bits.
1708 For a BLX instruction, make sure that the relocation is rounded up
1709 to a word boundary. This follows the semantics of the instruction
1710 which specifies that bit 1 of the target address will come from bit
1711 1 of the base address. */
1712 if (bfd_big_endian (input_bfd))
1714 if ((x & 0x1800) == 0x0800 && (relocation & 0x02))
1715 relocation += 2;
1716 relocation = (((relocation & 0xffe) >> 1) | ((relocation << 4) & 0x07ff0000));
1718 else
1720 if ((x & 0x18000000) == 0x08000000 && (relocation & 0x02))
1721 relocation += 2;
1722 relocation = (((relocation & 0xffe) << 15) | ((relocation >> 12) & 0x7ff));
1725 /* Add the relocation to the correct bits of X. */
1726 x = ((x & ~howto->dst_mask) | relocation);
1728 /* Put the relocated value back in the object file. */
1729 bfd_put_32 (input_bfd, x, location);
1731 rstat = overflow ? bfd_reloc_overflow : bfd_reloc_ok;
1734 #endif
1735 else
1736 #endif /* THUMBEXTENSION */
1737 if (info->relocatable && ! howto->partial_inplace)
1738 rstat = bfd_reloc_ok;
1739 else
1740 rstat = _bfd_final_link_relocate (howto, input_bfd, input_section,
1741 contents,
1742 rel->r_vaddr - input_section->vma,
1743 val, addend);
1744 #if 1 /* THUMBEXTENSION */
1745 /* FIXME:
1746 Is this the best way to fix up thumb addresses? krk@cygnus.com
1747 Probably not, but it works, and if it works it don't need fixing! nickc@cygnus.com */
1748 /* Only perform this fix during the final link, not a relocatable link. nickc@cygnus.com */
1749 if (! info->relocatable
1750 && (rel->r_type == ARM_32 || rel->r_type == ARM_RVA32))
1752 /* Determine if we need to set the bottom bit of a relocated address
1753 because the address is the address of a Thumb code symbol. */
1755 int patchit = FALSE;
1757 if (h != NULL
1758 && ( h->class == C_THUMBSTATFUNC
1759 || h->class == C_THUMBEXTFUNC))
1761 patchit = TRUE;
1763 else if (sym != NULL
1764 && sym->n_scnum > N_UNDEF)
1766 /* No hash entry - use the symbol instead. */
1768 if ( sym->n_sclass == C_THUMBSTATFUNC
1769 || sym->n_sclass == C_THUMBEXTFUNC)
1770 patchit = TRUE;
1773 if (patchit)
1775 bfd_byte * location = contents + rel->r_vaddr - input_section->vma;
1776 bfd_vma x = bfd_get_32 (input_bfd, location);
1778 bfd_put_32 (input_bfd, x | 1, location);
1781 #endif /* THUMBEXTENSION */
1783 switch (rstat)
1785 default:
1786 abort ();
1787 case bfd_reloc_ok:
1788 break;
1789 case bfd_reloc_outofrange:
1790 (*_bfd_error_handler)
1791 (_("%s: bad reloc address 0x%lx in section `%s'"),
1792 bfd_archive_filename (input_bfd),
1793 (unsigned long) rel->r_vaddr,
1794 bfd_get_section_name (input_bfd, input_section));
1795 return FALSE;
1796 case bfd_reloc_overflow:
1798 const char *name;
1799 char buf[SYMNMLEN + 1];
1801 if (symndx == -1)
1802 name = "*ABS*";
1803 else if (h != NULL)
1804 name = h->root.root.string;
1805 else
1807 name = _bfd_coff_internal_syment_name (input_bfd, sym, buf);
1808 if (name == NULL)
1809 return FALSE;
1812 if (! ((*info->callbacks->reloc_overflow)
1813 (info, name, howto->name, (bfd_vma) 0, input_bfd,
1814 input_section, rel->r_vaddr - input_section->vma)))
1815 return FALSE;
1820 return TRUE;
1823 #ifndef COFF_IMAGE_WITH_PE
1825 bfd_boolean
1826 bfd_arm_allocate_interworking_sections (info)
1827 struct bfd_link_info * info;
1829 asection * s;
1830 bfd_byte * foo;
1831 struct coff_arm_link_hash_table * globals;
1832 #if 0
1833 static char test_char = '1';
1834 #endif
1836 globals = coff_arm_hash_table (info);
1838 BFD_ASSERT (globals != NULL);
1840 if (globals->arm_glue_size != 0)
1842 BFD_ASSERT (globals->bfd_of_glue_owner != NULL);
1844 s = bfd_get_section_by_name
1845 (globals->bfd_of_glue_owner, ARM2THUMB_GLUE_SECTION_NAME);
1847 BFD_ASSERT (s != NULL);
1849 foo = (bfd_byte *) bfd_alloc (globals->bfd_of_glue_owner,
1850 globals->arm_glue_size);
1851 #if 0
1852 memset (foo, test_char, (size_t) globals->arm_glue_size);
1853 #endif
1855 s->_raw_size = s->_cooked_size = globals->arm_glue_size;
1856 s->contents = foo;
1859 if (globals->thumb_glue_size != 0)
1861 BFD_ASSERT (globals->bfd_of_glue_owner != NULL);
1863 s = bfd_get_section_by_name
1864 (globals->bfd_of_glue_owner, THUMB2ARM_GLUE_SECTION_NAME);
1866 BFD_ASSERT (s != NULL);
1868 foo = (bfd_byte *) bfd_alloc (globals->bfd_of_glue_owner,
1869 globals->thumb_glue_size);
1870 #if 0
1871 memset (foo, test_char, (size_t) globals->thumb_glue_size);
1872 #endif
1874 s->_raw_size = s->_cooked_size = globals->thumb_glue_size;
1875 s->contents = foo;
1878 return TRUE;
1881 static void
1882 record_arm_to_thumb_glue (info, h)
1883 struct bfd_link_info * info;
1884 struct coff_link_hash_entry * h;
1886 const char * name = h->root.root.string;
1887 register asection * s;
1888 char * tmp_name;
1889 struct coff_link_hash_entry * myh;
1890 struct bfd_link_hash_entry * bh;
1891 struct coff_arm_link_hash_table * globals;
1892 bfd_vma val;
1893 bfd_size_type amt;
1895 globals = coff_arm_hash_table (info);
1897 BFD_ASSERT (globals != NULL);
1898 BFD_ASSERT (globals->bfd_of_glue_owner != NULL);
1900 s = bfd_get_section_by_name
1901 (globals->bfd_of_glue_owner, ARM2THUMB_GLUE_SECTION_NAME);
1903 BFD_ASSERT (s != NULL);
1905 amt = strlen (name) + strlen (ARM2THUMB_GLUE_ENTRY_NAME) + 1;
1906 tmp_name = (char *) bfd_malloc (amt);
1908 BFD_ASSERT (tmp_name);
1910 sprintf (tmp_name, ARM2THUMB_GLUE_ENTRY_NAME, name);
1912 myh = coff_link_hash_lookup
1913 (coff_hash_table (info), tmp_name, FALSE, FALSE, TRUE);
1915 if (myh != NULL)
1917 free (tmp_name);
1918 return; /* we've already seen this guy */
1921 /* The only trick here is using globals->arm_glue_size as the value. Even
1922 though the section isn't allocated yet, this is where we will be putting
1923 it. */
1925 bh = NULL;
1926 val = globals->arm_glue_size + 1;
1927 bfd_coff_link_add_one_symbol (info, globals->bfd_of_glue_owner, tmp_name,
1928 BSF_GLOBAL, s, val, NULL, TRUE, FALSE, &bh);
1930 free (tmp_name);
1932 globals->arm_glue_size += ARM2THUMB_GLUE_SIZE;
1934 return;
1937 #ifndef ARM_WINCE
1938 static void
1939 record_thumb_to_arm_glue (info, h)
1940 struct bfd_link_info * info;
1941 struct coff_link_hash_entry * h;
1943 const char * name = h->root.root.string;
1944 register asection * s;
1945 char * tmp_name;
1946 struct coff_link_hash_entry * myh;
1947 struct bfd_link_hash_entry * bh;
1948 struct coff_arm_link_hash_table * globals;
1949 bfd_vma val;
1950 bfd_size_type amt;
1952 globals = coff_arm_hash_table (info);
1954 BFD_ASSERT (globals != NULL);
1955 BFD_ASSERT (globals->bfd_of_glue_owner != NULL);
1957 s = bfd_get_section_by_name
1958 (globals->bfd_of_glue_owner, THUMB2ARM_GLUE_SECTION_NAME);
1960 BFD_ASSERT (s != NULL);
1962 amt = strlen (name) + strlen (THUMB2ARM_GLUE_ENTRY_NAME) + 1;
1963 tmp_name = (char *) bfd_malloc (amt);
1965 BFD_ASSERT (tmp_name);
1967 sprintf (tmp_name, THUMB2ARM_GLUE_ENTRY_NAME, name);
1969 myh = coff_link_hash_lookup
1970 (coff_hash_table (info), tmp_name, FALSE, FALSE, TRUE);
1972 if (myh != NULL)
1974 free (tmp_name);
1975 return; /* we've already seen this guy */
1978 bh = NULL;
1979 val = globals->thumb_glue_size + 1;
1980 bfd_coff_link_add_one_symbol (info, globals->bfd_of_glue_owner, tmp_name,
1981 BSF_GLOBAL, s, val, NULL, TRUE, FALSE, &bh);
1983 /* If we mark it 'thumb', the disassembler will do a better job. */
1984 myh = (struct coff_link_hash_entry *) bh;
1985 myh->class = C_THUMBEXTFUNC;
1987 free (tmp_name);
1989 /* Allocate another symbol to mark where we switch to arm mode. */
1991 #define CHANGE_TO_ARM "__%s_change_to_arm"
1992 #define BACK_FROM_ARM "__%s_back_from_arm"
1994 amt = strlen (name) + strlen (CHANGE_TO_ARM) + 1;
1995 tmp_name = (char *) bfd_malloc (amt);
1997 BFD_ASSERT (tmp_name);
1999 sprintf (tmp_name, globals->support_old_code ? BACK_FROM_ARM : CHANGE_TO_ARM, name);
2001 bh = NULL;
2002 val = globals->thumb_glue_size + (globals->support_old_code ? 8 : 4);
2003 bfd_coff_link_add_one_symbol (info, globals->bfd_of_glue_owner, tmp_name,
2004 BSF_LOCAL, s, val, NULL, TRUE, FALSE, &bh);
2006 free (tmp_name);
2008 globals->thumb_glue_size += THUMB2ARM_GLUE_SIZE;
2010 return;
2012 #endif /* not ARM_WINCE */
2014 /* Select a BFD to be used to hold the sections used by the glue code.
2015 This function is called from the linker scripts in ld/emultempl/
2016 {armcoff/pe}.em */
2018 bfd_boolean
2019 bfd_arm_get_bfd_for_interworking (abfd, info)
2020 bfd * abfd;
2021 struct bfd_link_info * info;
2023 struct coff_arm_link_hash_table * globals;
2024 flagword flags;
2025 asection * sec;
2027 /* If we are only performing a partial link do not bother
2028 getting a bfd to hold the glue. */
2029 if (info->relocatable)
2030 return TRUE;
2032 globals = coff_arm_hash_table (info);
2034 BFD_ASSERT (globals != NULL);
2036 if (globals->bfd_of_glue_owner != NULL)
2037 return TRUE;
2039 sec = bfd_get_section_by_name (abfd, ARM2THUMB_GLUE_SECTION_NAME);
2041 if (sec == NULL)
2043 flags = SEC_ALLOC | SEC_LOAD | SEC_HAS_CONTENTS | SEC_IN_MEMORY | SEC_CODE | SEC_READONLY;
2045 sec = bfd_make_section (abfd, ARM2THUMB_GLUE_SECTION_NAME);
2047 if (sec == NULL
2048 || ! bfd_set_section_flags (abfd, sec, flags)
2049 || ! bfd_set_section_alignment (abfd, sec, 2))
2050 return FALSE;
2053 sec = bfd_get_section_by_name (abfd, THUMB2ARM_GLUE_SECTION_NAME);
2055 if (sec == NULL)
2057 flags = SEC_ALLOC | SEC_LOAD | SEC_HAS_CONTENTS | SEC_IN_MEMORY | SEC_CODE | SEC_READONLY;
2059 sec = bfd_make_section (abfd, THUMB2ARM_GLUE_SECTION_NAME);
2061 if (sec == NULL
2062 || ! bfd_set_section_flags (abfd, sec, flags)
2063 || ! bfd_set_section_alignment (abfd, sec, 2))
2064 return FALSE;
2067 /* Save the bfd for later use. */
2068 globals->bfd_of_glue_owner = abfd;
2070 return TRUE;
2073 bfd_boolean
2074 bfd_arm_process_before_allocation (abfd, info, support_old_code)
2075 bfd * abfd;
2076 struct bfd_link_info * info;
2077 int support_old_code;
2079 asection * sec;
2080 struct coff_arm_link_hash_table * globals;
2082 /* If we are only performing a partial link do not bother
2083 to construct any glue. */
2084 if (info->relocatable)
2085 return TRUE;
2087 /* Here we have a bfd that is to be included on the link. We have a hook
2088 to do reloc rummaging, before section sizes are nailed down. */
2090 _bfd_coff_get_external_symbols (abfd);
2092 globals = coff_arm_hash_table (info);
2094 BFD_ASSERT (globals != NULL);
2095 BFD_ASSERT (globals->bfd_of_glue_owner != NULL);
2097 globals->support_old_code = support_old_code;
2099 /* Rummage around all the relocs and map the glue vectors. */
2100 sec = abfd->sections;
2102 if (sec == NULL)
2103 return TRUE;
2105 for (; sec != NULL; sec = sec->next)
2107 struct internal_reloc * i;
2108 struct internal_reloc * rel;
2110 if (sec->reloc_count == 0)
2111 continue;
2113 /* Load the relocs. */
2114 /* FIXME: there may be a storage leak here. */
2116 i = _bfd_coff_read_internal_relocs (abfd, sec, 1, 0, 0, 0);
2118 BFD_ASSERT (i != 0);
2120 for (rel = i; rel < i + sec->reloc_count; ++rel)
2122 unsigned short r_type = rel->r_type;
2123 long symndx;
2124 struct coff_link_hash_entry * h;
2126 symndx = rel->r_symndx;
2128 /* If the relocation is not against a symbol it cannot concern us. */
2129 if (symndx == -1)
2130 continue;
2132 /* If the index is outside of the range of our table, something has gone wrong. */
2133 if (symndx >= obj_conv_table_size (abfd))
2135 _bfd_error_handler (_("%s: illegal symbol index in reloc: %d"),
2136 bfd_archive_filename (abfd), symndx);
2137 continue;
2140 h = obj_coff_sym_hashes (abfd)[symndx];
2142 /* If the relocation is against a static symbol it must be within
2143 the current section and so cannot be a cross ARM/Thumb relocation. */
2144 if (h == NULL)
2145 continue;
2147 switch (r_type)
2149 case ARM_26:
2150 /* This one is a call from arm code. We need to look up
2151 the target of the call. If it is a thumb target, we
2152 insert glue. */
2154 if (h->class == C_THUMBEXTFUNC)
2155 record_arm_to_thumb_glue (info, h);
2156 break;
2158 #ifndef ARM_WINCE
2159 case ARM_THUMB23:
2160 /* This one is a call from thumb code. We used to look
2161 for ARM_THUMB9 and ARM_THUMB12 as well. We need to look
2162 up the target of the call. If it is an arm target, we
2163 insert glue. If the symbol does not exist it will be
2164 given a class of C_EXT and so we will generate a stub
2165 for it. This is not really a problem, since the link
2166 is doomed anyway. */
2168 switch (h->class)
2170 case C_EXT:
2171 case C_STAT:
2172 case C_LABEL:
2173 record_thumb_to_arm_glue (info, h);
2174 break;
2175 default:
2178 break;
2179 #endif
2181 default:
2182 break;
2187 return TRUE;
2190 #endif /* ! defined (COFF_IMAGE_WITH_PE) */
2192 #define coff_bfd_reloc_type_lookup coff_arm_reloc_type_lookup
2193 #define coff_relocate_section coff_arm_relocate_section
2194 #define coff_bfd_is_local_label_name coff_arm_is_local_label_name
2195 #define coff_adjust_symndx coff_arm_adjust_symndx
2196 #define coff_link_output_has_begun coff_arm_link_output_has_begun
2197 #define coff_final_link_postscript coff_arm_final_link_postscript
2198 #define coff_bfd_merge_private_bfd_data coff_arm_merge_private_bfd_data
2199 #define coff_bfd_print_private_bfd_data coff_arm_print_private_bfd_data
2200 #define coff_bfd_set_private_flags _bfd_coff_arm_set_private_flags
2201 #define coff_bfd_copy_private_bfd_data coff_arm_copy_private_bfd_data
2202 #define coff_bfd_link_hash_table_create coff_arm_link_hash_table_create
2204 /* When doing a relocatable link, we want to convert ARM_26 relocs
2205 into ARM_26D relocs. */
2207 static bfd_boolean
2208 coff_arm_adjust_symndx (obfd, info, ibfd, sec, irel, adjustedp)
2209 bfd *obfd ATTRIBUTE_UNUSED;
2210 struct bfd_link_info *info ATTRIBUTE_UNUSED;
2211 bfd *ibfd;
2212 asection *sec;
2213 struct internal_reloc *irel;
2214 bfd_boolean *adjustedp;
2216 if (irel->r_type == ARM_26)
2218 struct coff_link_hash_entry *h;
2220 h = obj_coff_sym_hashes (ibfd)[irel->r_symndx];
2221 if (h != NULL
2222 && (h->root.type == bfd_link_hash_defined
2223 || h->root.type == bfd_link_hash_defweak)
2224 && h->root.u.def.section->output_section == sec->output_section)
2225 irel->r_type = ARM_26D;
2227 *adjustedp = FALSE;
2228 return TRUE;
2231 /* Called when merging the private data areas of two BFDs.
2232 This is important as it allows us to detect if we are
2233 attempting to merge binaries compiled for different ARM
2234 targets, eg different CPUs or different APCS's. */
2236 static bfd_boolean
2237 coff_arm_merge_private_bfd_data (ibfd, obfd)
2238 bfd * ibfd;
2239 bfd * obfd;
2241 BFD_ASSERT (ibfd != NULL && obfd != NULL);
2243 if (ibfd == obfd)
2244 return TRUE;
2246 /* If the two formats are different we cannot merge anything.
2247 This is not an error, since it is permissable to change the
2248 input and output formats. */
2249 if ( ibfd->xvec->flavour != bfd_target_coff_flavour
2250 || obfd->xvec->flavour != bfd_target_coff_flavour)
2251 return TRUE;
2253 /* Determine what should happen if the input ARM architecture
2254 does not match the output ARM architecture. */
2255 if (! bfd_arm_merge_machines (ibfd, obfd))
2256 return FALSE;
2258 /* Verify that the APCS is the same for the two BFDs. */
2259 if (APCS_SET (ibfd))
2261 if (APCS_SET (obfd))
2263 /* If the src and dest have different APCS flag bits set, fail. */
2264 if (APCS_26_FLAG (obfd) != APCS_26_FLAG (ibfd))
2266 _bfd_error_handler
2267 /* xgettext: c-format */
2268 (_("ERROR: %s is compiled for APCS-%d, whereas %s is compiled for APCS-%d"),
2269 bfd_archive_filename (ibfd), APCS_26_FLAG (ibfd) ? 26 : 32,
2270 bfd_get_filename (obfd), APCS_26_FLAG (obfd) ? 26 : 32
2273 bfd_set_error (bfd_error_wrong_format);
2274 return FALSE;
2277 if (APCS_FLOAT_FLAG (obfd) != APCS_FLOAT_FLAG (ibfd))
2279 const char *msg;
2281 if (APCS_FLOAT_FLAG (ibfd))
2282 /* xgettext: c-format */
2283 msg = _("ERROR: %s passes floats in float registers, whereas %s passes them in integer registers");
2284 else
2285 /* xgettext: c-format */
2286 msg = _("ERROR: %s passes floats in integer registers, whereas %s passes them in float registers");
2288 _bfd_error_handler (msg, bfd_archive_filename (ibfd),
2289 bfd_get_filename (obfd));
2291 bfd_set_error (bfd_error_wrong_format);
2292 return FALSE;
2295 if (PIC_FLAG (obfd) != PIC_FLAG (ibfd))
2297 const char * msg;
2299 if (PIC_FLAG (ibfd))
2300 /* xgettext: c-format */
2301 msg = _("ERROR: %s is compiled as position independent code, whereas target %s is absolute position");
2302 else
2303 /* xgettext: c-format */
2304 msg = _("ERROR: %s is compiled as absolute position code, whereas target %s is position independent");
2305 _bfd_error_handler (msg, bfd_archive_filename (ibfd),
2306 bfd_get_filename (obfd));
2308 bfd_set_error (bfd_error_wrong_format);
2309 return FALSE;
2312 else
2314 SET_APCS_FLAGS (obfd, APCS_26_FLAG (ibfd) | APCS_FLOAT_FLAG (ibfd) | PIC_FLAG (ibfd));
2316 /* Set up the arch and fields as well as these are probably wrong. */
2317 bfd_set_arch_mach (obfd, bfd_get_arch (ibfd), bfd_get_mach (ibfd));
2321 /* Check the interworking support. */
2322 if (INTERWORK_SET (ibfd))
2324 if (INTERWORK_SET (obfd))
2326 /* If the src and dest differ in their interworking issue a warning. */
2327 if (INTERWORK_FLAG (obfd) != INTERWORK_FLAG (ibfd))
2329 const char * msg;
2331 if (INTERWORK_FLAG (ibfd))
2332 /* xgettext: c-format */
2333 msg = _("Warning: %s supports interworking, whereas %s does not");
2334 else
2335 /* xgettext: c-format */
2336 msg = _("Warning: %s does not support interworking, whereas %s does");
2338 _bfd_error_handler (msg, bfd_archive_filename (ibfd),
2339 bfd_get_filename (obfd));
2342 else
2344 SET_INTERWORK_FLAG (obfd, INTERWORK_FLAG (ibfd));
2348 return TRUE;
2351 /* Display the flags field. */
2353 static bfd_boolean
2354 coff_arm_print_private_bfd_data (abfd, ptr)
2355 bfd * abfd;
2356 PTR ptr;
2358 FILE * file = (FILE *) ptr;
2360 BFD_ASSERT (abfd != NULL && ptr != NULL);
2362 /* xgettext:c-format */
2363 fprintf (file, _("private flags = %x:"), coff_data (abfd)->flags);
2365 if (APCS_SET (abfd))
2367 /* xgettext: APCS is ARM Procedure Call Standard, it should not be translated. */
2368 fprintf (file, " [APCS-%d]", APCS_26_FLAG (abfd) ? 26 : 32);
2370 if (APCS_FLOAT_FLAG (abfd))
2371 fprintf (file, _(" [floats passed in float registers]"));
2372 else
2373 fprintf (file, _(" [floats passed in integer registers]"));
2375 if (PIC_FLAG (abfd))
2376 fprintf (file, _(" [position independent]"));
2377 else
2378 fprintf (file, _(" [absolute position]"));
2381 if (! INTERWORK_SET (abfd))
2382 fprintf (file, _(" [interworking flag not initialised]"));
2383 else if (INTERWORK_FLAG (abfd))
2384 fprintf (file, _(" [interworking supported]"));
2385 else
2386 fprintf (file, _(" [interworking not supported]"));
2388 fputc ('\n', file);
2390 return TRUE;
2393 /* Copies the given flags into the coff_tdata.flags field.
2394 Typically these flags come from the f_flags[] field of
2395 the COFF filehdr structure, which contains important,
2396 target specific information.
2397 Note: Although this function is static, it is explicitly
2398 called from both coffcode.h and peicode.h. */
2400 static bfd_boolean
2401 _bfd_coff_arm_set_private_flags (abfd, flags)
2402 bfd * abfd;
2403 flagword flags;
2405 flagword flag;
2407 BFD_ASSERT (abfd != NULL);
2409 flag = (flags & F_APCS26) ? F_APCS_26 : 0;
2411 /* Make sure that the APCS field has not been initialised to the opposite
2412 value. */
2413 if (APCS_SET (abfd)
2414 && ( (APCS_26_FLAG (abfd) != flag)
2415 || (APCS_FLOAT_FLAG (abfd) != (flags & F_APCS_FLOAT))
2416 || (PIC_FLAG (abfd) != (flags & F_PIC))
2418 return FALSE;
2420 flag |= (flags & (F_APCS_FLOAT | F_PIC));
2422 SET_APCS_FLAGS (abfd, flag);
2424 flag = (flags & F_INTERWORK);
2426 /* If the BFD has already had its interworking flag set, but it
2427 is different from the value that we have been asked to set,
2428 then assume that that merged code will not support interworking
2429 and set the flag accordingly. */
2430 if (INTERWORK_SET (abfd) && (INTERWORK_FLAG (abfd) != flag))
2432 if (flag)
2433 /* xgettext: c-format */
2434 _bfd_error_handler (_("Warning: Not setting interworking flag of %s since it has already been specified as non-interworking"),
2435 bfd_archive_filename (abfd));
2436 else
2437 /* xgettext: c-format */
2438 _bfd_error_handler (_("Warning: Clearing the interworking flag of %s due to outside request"),
2439 bfd_archive_filename (abfd));
2440 flag = 0;
2443 SET_INTERWORK_FLAG (abfd, flag);
2445 return TRUE;
2448 /* Copy the important parts of the target specific data
2449 from one instance of a BFD to another. */
2451 static bfd_boolean
2452 coff_arm_copy_private_bfd_data (src, dest)
2453 bfd * src;
2454 bfd * dest;
2456 BFD_ASSERT (src != NULL && dest != NULL);
2458 if (src == dest)
2459 return TRUE;
2461 /* If the destination is not in the same format as the source, do not do
2462 the copy. */
2463 if (src->xvec != dest->xvec)
2464 return TRUE;
2466 /* copy the flags field */
2467 if (APCS_SET (src))
2469 if (APCS_SET (dest))
2471 /* If the src and dest have different APCS flag bits set, fail. */
2472 if (APCS_26_FLAG (dest) != APCS_26_FLAG (src))
2473 return FALSE;
2475 if (APCS_FLOAT_FLAG (dest) != APCS_FLOAT_FLAG (src))
2476 return FALSE;
2478 if (PIC_FLAG (dest) != PIC_FLAG (src))
2479 return FALSE;
2481 else
2482 SET_APCS_FLAGS (dest, APCS_26_FLAG (src) | APCS_FLOAT_FLAG (src)
2483 | PIC_FLAG (src));
2486 if (INTERWORK_SET (src))
2488 if (INTERWORK_SET (dest))
2490 /* If the src and dest have different interworking flags then turn
2491 off the interworking bit. */
2492 if (INTERWORK_FLAG (dest) != INTERWORK_FLAG (src))
2494 if (INTERWORK_FLAG (dest))
2496 /* xgettext:c-format */
2497 _bfd_error_handler (("\
2498 Warning: Clearing the interworking flag of %s because non-interworking code in %s has been linked with it"),
2499 bfd_get_filename (dest),
2500 bfd_archive_filename (src));
2503 SET_INTERWORK_FLAG (dest, 0);
2506 else
2508 SET_INTERWORK_FLAG (dest, INTERWORK_FLAG (src));
2512 return TRUE;
2515 /* Note: the definitions here of LOCAL_LABEL_PREFIX and USER_LABEL_PREIFX
2516 *must* match the definitions in gcc/config/arm/{coff|semi|aout}.h. */
2517 #define LOCAL_LABEL_PREFIX ""
2518 #ifndef USER_LABEL_PREFIX
2519 #define USER_LABEL_PREFIX "_"
2520 #endif
2522 /* Like _bfd_coff_is_local_label_name, but
2523 a) test against USER_LABEL_PREFIX, to avoid stripping labels known to be
2524 non-local.
2525 b) Allow other prefixes than ".", e.g. an empty prefix would cause all
2526 labels of the form Lxxx to be stripped. */
2527 static bfd_boolean
2528 coff_arm_is_local_label_name (abfd, name)
2529 bfd * abfd ATTRIBUTE_UNUSED;
2530 const char * name;
2532 #ifdef USER_LABEL_PREFIX
2533 if (USER_LABEL_PREFIX[0] != 0)
2535 if (strncmp (name, USER_LABEL_PREFIX, strlen (USER_LABEL_PREFIX)) == 0)
2536 return FALSE;
2538 #endif
2540 #ifdef LOCAL_LABEL_PREFIX
2541 /* If there is a prefix for local labels then look for this.
2542 If the prefix exists, but it is empty, then ignore the test. */
2544 if (LOCAL_LABEL_PREFIX[0] != 0)
2546 size_t len = strlen (LOCAL_LABEL_PREFIX);
2548 if (strncmp (name, LOCAL_LABEL_PREFIX, len) != 0)
2549 return FALSE;
2551 /* Perform the checks below for the rest of the name. */
2552 name += len;
2554 #endif
2556 return name[0] == 'L';
2559 /* This piece of machinery exists only to guarantee that the bfd that holds
2560 the glue section is written last.
2562 This does depend on bfd_make_section attaching a new section to the
2563 end of the section list for the bfd.
2565 krk@cygnus.com */
2567 static bfd_boolean
2568 coff_arm_link_output_has_begun (sub, info)
2569 bfd * sub;
2570 struct coff_final_link_info * info;
2572 return (sub->output_has_begun
2573 || sub == coff_arm_hash_table (info->info)->bfd_of_glue_owner);
2576 static bfd_boolean
2577 coff_arm_final_link_postscript (abfd, pfinfo)
2578 bfd * abfd ATTRIBUTE_UNUSED;
2579 struct coff_final_link_info * pfinfo;
2581 struct coff_arm_link_hash_table * globals;
2583 globals = coff_arm_hash_table (pfinfo->info);
2585 BFD_ASSERT (globals != NULL);
2587 if (globals->bfd_of_glue_owner != NULL)
2589 if (! _bfd_coff_link_input_bfd (pfinfo, globals->bfd_of_glue_owner))
2590 return FALSE;
2592 globals->bfd_of_glue_owner->output_has_begun = TRUE;
2595 return bfd_arm_update_notes (abfd, ARM_NOTE_SECTION);
2598 #include "coffcode.h"
2600 #ifndef TARGET_LITTLE_SYM
2601 #define TARGET_LITTLE_SYM armcoff_little_vec
2602 #endif
2603 #ifndef TARGET_LITTLE_NAME
2604 #define TARGET_LITTLE_NAME "coff-arm-little"
2605 #endif
2606 #ifndef TARGET_BIG_SYM
2607 #define TARGET_BIG_SYM armcoff_big_vec
2608 #endif
2609 #ifndef TARGET_BIG_NAME
2610 #define TARGET_BIG_NAME "coff-arm-big"
2611 #endif
2613 #ifndef TARGET_UNDERSCORE
2614 #define TARGET_UNDERSCORE 0
2615 #endif
2617 #ifndef EXTRA_S_FLAGS
2618 #ifdef COFF_WITH_PE
2619 #define EXTRA_S_FLAGS (SEC_CODE | SEC_LINK_ONCE | SEC_LINK_DUPLICATES)
2620 #else
2621 #define EXTRA_S_FLAGS SEC_CODE
2622 #endif
2623 #endif
2625 /* Forward declaration for use initialising alternative_target field. */
2626 extern const bfd_target TARGET_BIG_SYM ;
2628 /* Target vectors. */
2629 CREATE_LITTLE_COFF_TARGET_VEC (TARGET_LITTLE_SYM, TARGET_LITTLE_NAME, D_PAGED, EXTRA_S_FLAGS, TARGET_UNDERSCORE, & TARGET_BIG_SYM, COFF_SWAP_TABLE)
2630 CREATE_BIG_COFF_TARGET_VEC (TARGET_BIG_SYM, TARGET_BIG_NAME, D_PAGED, EXTRA_S_FLAGS, TARGET_UNDERSCORE, & TARGET_LITTLE_SYM, COFF_SWAP_TABLE)