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