source: trunk/src/binutils/bfd/coff-arm.c@ 610

Last change on this file since 610 was 610, checked in by bird, 22 years ago

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