Add BFD_RELOC_THUMB_PCREL_BLX.
[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 /* Drop unwanted bits from the value we are relocating to. */
1602
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 {
1617 add = (((x) & 0x07ff0000) >> 4) | (((x) & 0x7ff) << 1);
1618 }
1619 else
1620 {
1621 add = ((((x) & 0x7ff) << 12) | (((x) & 0x07ff0000) >> 15));
1622 }
1623
1624 /* Get the value from the object file with an appropriate sign.
1625 The expression involving howto->src_mask isolates the upper
1626 bit of src_mask. If that bit is set in the value we are
1627 adding, it is negative, and we subtract out that number times
1628 two. If src_mask includes the highest possible bit, then we
1629 can not get the upper bit, but that does not matter since
1630 signed_add needs no adjustment to become negative in that
1631 case. */
1632
1633 signed_add = add;
1634
1635 if ((add & (((~ src_mask) >> 1) & src_mask)) != 0)
1636 signed_add -= (((~ src_mask) >> 1) & src_mask) << 1;
1637
1638 /* Add the value from the object file, shifted so that it is a
1639 straight number. */
1640 /* howto->bitpos == 0 */
1641
1642 signed_check += signed_add;
1643 relocation += signed_add;
1644
1645 BFD_ASSERT (howto->complain_on_overflow == complain_overflow_signed);
1646
1647 /* Assumes two's complement. */
1648 if ( signed_check > reloc_signed_max
1649 || signed_check < reloc_signed_min)
1650 overflow = true;
1651
1652 /* Put RELOCATION into the correct bits: */
1653
1654 if (bfd_big_endian (input_bfd))
1655 {
1656 relocation = (((relocation & 0xffe) >> 1) | ((relocation << 4) & 0x07ff0000));
1657 }
1658 else
1659 {
1660 relocation = (((relocation & 0xffe) << 15) | ((relocation >> 12) & 0x7ff));
1661 }
1662
1663 /* Add RELOCATION to the correct bits of X: */
1664 x = ((x & ~howto->dst_mask) | relocation);
1665
1666 /* Put the relocated value back in the object file: */
1667 bfd_put_32 (input_bfd, x, location);
1668
1669 rstat = overflow ? bfd_reloc_overflow : bfd_reloc_ok;
1670 }
1671 }
1672 #endif
1673 else
1674 #endif /* THUMBEXTENSION */
1675 rstat = _bfd_final_link_relocate (howto, input_bfd, input_section,
1676 contents,
1677 rel->r_vaddr - input_section->vma,
1678 val, addend);
1679 #if 1 /* THUMBEXTENSION */
1680 /* FIXME:
1681 Is this the best way to fix up thumb addresses? krk@cygnus.com
1682 Probably not, but it works, and if it works it don't need fixing! nickc@cygnus.com */
1683 /* Only perform this fix during the final link, not a relocatable link. nickc@cygnus.com */
1684 if (! info->relocateable
1685 && (rel->r_type == ARM_32 || rel->r_type == ARM_RVA32))
1686 {
1687 /* Determine if we need to set the bottom bit of a relocated address
1688 because the address is the address of a Thumb code symbol. */
1689
1690 int patchit = false;
1691
1692 if (h != NULL
1693 && ( h->class == C_THUMBSTATFUNC
1694 || h->class == C_THUMBEXTFUNC))
1695 {
1696 patchit = true;
1697 }
1698 else if (sym != NULL
1699 && sym->n_scnum > N_UNDEF)
1700 {
1701 /* No hash entry - use the symbol instead. */
1702
1703 if ( sym->n_sclass == C_THUMBSTATFUNC
1704 || sym->n_sclass == C_THUMBEXTFUNC)
1705 patchit = true;
1706 }
1707
1708 if (patchit)
1709 {
1710 bfd_byte * location = contents + rel->r_vaddr - input_section->vma;
1711 bfd_vma x = bfd_get_32 (input_bfd, location);
1712
1713 bfd_put_32 (input_bfd, x | 1, location);
1714 }
1715 }
1716 #endif /* THUMBEXTENSION */
1717
1718 switch (rstat)
1719 {
1720 default:
1721 abort ();
1722 case bfd_reloc_ok:
1723 break;
1724 case bfd_reloc_outofrange:
1725 (*_bfd_error_handler)
1726 (_("%s: bad reloc address 0x%lx in section `%s'"),
1727 bfd_get_filename (input_bfd),
1728 (unsigned long) rel->r_vaddr,
1729 bfd_get_section_name (input_bfd, input_section));
1730 return false;
1731 case bfd_reloc_overflow:
1732 {
1733 const char *name;
1734 char buf[SYMNMLEN + 1];
1735
1736 if (symndx == -1)
1737 name = "*ABS*";
1738 else if (h != NULL)
1739 name = h->root.root.string;
1740 else
1741 {
1742 name = _bfd_coff_internal_syment_name (input_bfd, sym, buf);
1743 if (name == NULL)
1744 return false;
1745 }
1746
1747 if (! ((*info->callbacks->reloc_overflow)
1748 (info, name, howto->name, (bfd_vma) 0, input_bfd,
1749 input_section, rel->r_vaddr - input_section->vma)))
1750 return false;
1751 }
1752 }
1753 }
1754
1755 return true;
1756 }
1757
1758 #ifndef COFF_IMAGE_WITH_PE
1759
1760 boolean
1761 bfd_arm_allocate_interworking_sections (info)
1762 struct bfd_link_info * info;
1763 {
1764 asection * s;
1765 bfd_byte * foo;
1766 struct coff_arm_link_hash_table * globals;
1767 #if 0
1768 static char test_char = '1';
1769 #endif
1770
1771 globals = coff_arm_hash_table (info);
1772
1773 BFD_ASSERT (globals != NULL);
1774
1775 if (globals->arm_glue_size != 0)
1776 {
1777 BFD_ASSERT (globals->bfd_of_glue_owner != NULL);
1778
1779 s = bfd_get_section_by_name
1780 (globals->bfd_of_glue_owner, ARM2THUMB_GLUE_SECTION_NAME);
1781
1782 BFD_ASSERT (s != NULL);
1783
1784 foo = (bfd_byte *) bfd_alloc
1785 (globals->bfd_of_glue_owner, globals->arm_glue_size);
1786 #if 0
1787 memset (foo, test_char, globals->arm_glue_size);
1788 #endif
1789
1790 s->_raw_size = s->_cooked_size = globals->arm_glue_size;
1791 s->contents = foo;
1792 }
1793
1794 if (globals->thumb_glue_size != 0)
1795 {
1796 BFD_ASSERT (globals->bfd_of_glue_owner != NULL);
1797
1798 s = bfd_get_section_by_name
1799 (globals->bfd_of_glue_owner, THUMB2ARM_GLUE_SECTION_NAME);
1800
1801 BFD_ASSERT (s != NULL);
1802
1803 foo = (bfd_byte *) bfd_alloc
1804 (globals->bfd_of_glue_owner, globals->thumb_glue_size);
1805 #if 0
1806 memset (foo, test_char, globals->thumb_glue_size);
1807 #endif
1808
1809 s->_raw_size = s->_cooked_size = globals->thumb_glue_size;
1810 s->contents = foo;
1811 }
1812
1813 return true;
1814 }
1815
1816 static void
1817 record_arm_to_thumb_glue (info, h)
1818 struct bfd_link_info * info;
1819 struct coff_link_hash_entry * h;
1820 {
1821 const char * name = h->root.root.string;
1822 register asection * s;
1823 char * tmp_name;
1824 struct coff_link_hash_entry * myh;
1825 struct coff_arm_link_hash_table * globals;
1826
1827 globals = coff_arm_hash_table (info);
1828
1829 BFD_ASSERT (globals != NULL);
1830 BFD_ASSERT (globals->bfd_of_glue_owner != NULL);
1831
1832 s = bfd_get_section_by_name
1833 (globals->bfd_of_glue_owner, ARM2THUMB_GLUE_SECTION_NAME);
1834
1835 BFD_ASSERT (s != NULL);
1836
1837 tmp_name = ((char *)
1838 bfd_malloc (strlen (name) + strlen (ARM2THUMB_GLUE_ENTRY_NAME) + 1));
1839
1840 BFD_ASSERT (tmp_name);
1841
1842 sprintf (tmp_name, ARM2THUMB_GLUE_ENTRY_NAME, name);
1843
1844 myh = coff_link_hash_lookup
1845 (coff_hash_table (info), tmp_name, false, false, true);
1846
1847 if (myh != NULL)
1848 {
1849 free (tmp_name);
1850 return; /* we've already seen this guy */
1851 }
1852
1853 /* The only trick here is using globals->arm_glue_size as the value. Even
1854 though the section isn't allocated yet, this is where we will be putting
1855 it. */
1856
1857 bfd_coff_link_add_one_symbol (info, globals->bfd_of_glue_owner, tmp_name,
1858 BSF_GLOBAL,
1859 s, globals->arm_glue_size + 1,
1860 NULL, true, false,
1861 (struct bfd_link_hash_entry **) & myh);
1862
1863 free (tmp_name);
1864
1865 globals->arm_glue_size += ARM2THUMB_GLUE_SIZE;
1866
1867 return;
1868 }
1869
1870 static void
1871 record_thumb_to_arm_glue (info, h)
1872 struct bfd_link_info * info;
1873 struct coff_link_hash_entry * h;
1874 {
1875 const char * name = h->root.root.string;
1876 register asection * s;
1877 char * tmp_name;
1878 struct coff_link_hash_entry * myh;
1879 struct coff_arm_link_hash_table * globals;
1880
1881 globals = coff_arm_hash_table (info);
1882
1883 BFD_ASSERT (globals != NULL);
1884 BFD_ASSERT (globals->bfd_of_glue_owner != NULL);
1885
1886 s = bfd_get_section_by_name
1887 (globals->bfd_of_glue_owner, THUMB2ARM_GLUE_SECTION_NAME);
1888
1889 BFD_ASSERT (s != NULL);
1890
1891 tmp_name = (char *) bfd_malloc (strlen (name) + strlen (THUMB2ARM_GLUE_ENTRY_NAME) + 1);
1892
1893 BFD_ASSERT (tmp_name);
1894
1895 sprintf (tmp_name, THUMB2ARM_GLUE_ENTRY_NAME, name);
1896
1897 myh = coff_link_hash_lookup
1898 (coff_hash_table (info), tmp_name, false, false, true);
1899
1900 if (myh != NULL)
1901 {
1902 free (tmp_name);
1903 return; /* we've already seen this guy */
1904 }
1905
1906 bfd_coff_link_add_one_symbol (info, globals->bfd_of_glue_owner, tmp_name,
1907 BSF_GLOBAL, s, globals->thumb_glue_size + 1,
1908 NULL, true, false,
1909 (struct bfd_link_hash_entry **) & myh);
1910
1911 /* If we mark it 'thumb', the disassembler will do a better job. */
1912 myh->class = C_THUMBEXTFUNC;
1913
1914 free (tmp_name);
1915
1916 /* Allocate another symbol to mark where we switch to arm mode. */
1917
1918 #define CHANGE_TO_ARM "__%s_change_to_arm"
1919 #define BACK_FROM_ARM "__%s_back_from_arm"
1920
1921 tmp_name = (char *) bfd_malloc (strlen (name) + strlen (CHANGE_TO_ARM) + 1);
1922
1923 BFD_ASSERT (tmp_name);
1924
1925 sprintf (tmp_name, globals->support_old_code ? BACK_FROM_ARM : CHANGE_TO_ARM, name);
1926
1927 myh = NULL;
1928
1929 bfd_coff_link_add_one_symbol (info, globals->bfd_of_glue_owner, tmp_name,
1930 BSF_LOCAL, s, globals->thumb_glue_size
1931 + (globals->support_old_code ? 8 : 4),
1932 NULL, true, false,
1933 (struct bfd_link_hash_entry **) & myh);
1934
1935 free (tmp_name);
1936
1937 globals->thumb_glue_size += THUMB2ARM_GLUE_SIZE;
1938
1939 return;
1940 }
1941
1942 /* Select a BFD to be used to hold the sections used by the glue code.
1943 This function is called from the linker scripts in ld/emultempl/
1944 {armcoff/pe}.em */
1945
1946 boolean
1947 bfd_arm_get_bfd_for_interworking (abfd, info)
1948 bfd * abfd;
1949 struct bfd_link_info * info;
1950 {
1951 struct coff_arm_link_hash_table * globals;
1952 flagword flags;
1953 asection * sec;
1954
1955 /* If we are only performing a partial link do not bother
1956 getting a bfd to hold the glue. */
1957 if (info->relocateable)
1958 return true;
1959
1960 globals = coff_arm_hash_table (info);
1961
1962 BFD_ASSERT (globals != NULL);
1963
1964 if (globals->bfd_of_glue_owner != NULL)
1965 return true;
1966
1967 sec = bfd_get_section_by_name (abfd, ARM2THUMB_GLUE_SECTION_NAME);
1968
1969 if (sec == NULL)
1970 {
1971 flags = SEC_ALLOC | SEC_LOAD | SEC_HAS_CONTENTS | SEC_IN_MEMORY | SEC_CODE | SEC_READONLY;
1972
1973 sec = bfd_make_section (abfd, ARM2THUMB_GLUE_SECTION_NAME);
1974
1975 if (sec == NULL
1976 || ! bfd_set_section_flags (abfd, sec, flags)
1977 || ! bfd_set_section_alignment (abfd, sec, 2))
1978 return false;
1979 }
1980
1981 sec = bfd_get_section_by_name (abfd, THUMB2ARM_GLUE_SECTION_NAME);
1982
1983 if (sec == NULL)
1984 {
1985 flags = SEC_ALLOC | SEC_LOAD | SEC_HAS_CONTENTS | SEC_IN_MEMORY | SEC_CODE | SEC_READONLY;
1986
1987 sec = bfd_make_section (abfd, THUMB2ARM_GLUE_SECTION_NAME);
1988
1989 if (sec == NULL
1990 || ! bfd_set_section_flags (abfd, sec, flags)
1991 || ! bfd_set_section_alignment (abfd, sec, 2))
1992 return false;
1993 }
1994
1995 /* Save the bfd for later use. */
1996 globals->bfd_of_glue_owner = abfd;
1997
1998 return true;
1999 }
2000
2001 boolean
2002 bfd_arm_process_before_allocation (abfd, info, support_old_code)
2003 bfd * abfd;
2004 struct bfd_link_info * info;
2005 int support_old_code;
2006 {
2007 asection * sec;
2008 struct coff_arm_link_hash_table * globals;
2009
2010 /* If we are only performing a partial link do not bother
2011 to construct any glue. */
2012 if (info->relocateable)
2013 return true;
2014
2015 /* Here we have a bfd that is to be included on the link. We have a hook
2016 to do reloc rummaging, before section sizes are nailed down. */
2017
2018 _bfd_coff_get_external_symbols (abfd);
2019
2020 globals = coff_arm_hash_table (info);
2021
2022 BFD_ASSERT (globals != NULL);
2023 BFD_ASSERT (globals->bfd_of_glue_owner != NULL);
2024
2025 globals->support_old_code = support_old_code;
2026
2027 /* Rummage around all the relocs and map the glue vectors. */
2028 sec = abfd->sections;
2029
2030 if (sec == NULL)
2031 return true;
2032
2033 for (; sec != NULL; sec = sec->next)
2034 {
2035 struct internal_reloc * i;
2036 struct internal_reloc * rel;
2037
2038 if (sec->reloc_count == 0)
2039 continue;
2040
2041 /* Load the relocs. */
2042 /* FIXME: there may be a storage leak here. */
2043
2044 i = _bfd_coff_read_internal_relocs (abfd, sec, 1, 0, 0, 0);
2045
2046 BFD_ASSERT (i != 0);
2047
2048 for (rel = i; rel < i + sec->reloc_count; ++rel)
2049 {
2050 unsigned short r_type = rel->r_type;
2051 long symndx;
2052 struct coff_link_hash_entry * h;
2053
2054 symndx = rel->r_symndx;
2055
2056 /* If the relocation is not against a symbol it cannot concern us. */
2057 if (symndx == -1)
2058 continue;
2059
2060 /* If the index is outside of the range of our table, something has gone wrong. */
2061 if (symndx >= obj_conv_table_size (abfd))
2062 {
2063 _bfd_error_handler (_("%s: illegal symbol index in reloc: %d"),
2064 bfd_get_filename (abfd), symndx);
2065 continue;
2066 }
2067
2068 h = obj_coff_sym_hashes (abfd)[symndx];
2069
2070 /* If the relocation is against a static symbol it must be within
2071 the current section and so cannot be a cross ARM/Thumb relocation. */
2072 if (h == NULL)
2073 continue;
2074
2075 switch (r_type)
2076 {
2077 case ARM_26:
2078 /* This one is a call from arm code. We need to look up
2079 the target of the call. If it is a thumb target, we
2080 insert glue. */
2081
2082 if (h->class == C_THUMBEXTFUNC)
2083 record_arm_to_thumb_glue (info, h);
2084 break;
2085
2086 #ifndef ARM_WINCE
2087 case ARM_THUMB23:
2088 /* This one is a call from thumb code. We used to look
2089 for ARM_THUMB9 and ARM_THUMB12 as well. We need to look
2090 up the target of the call. If it is an arm target, we
2091 insert glue. If the symbol does not exist it will be
2092 given a class of C_EXT and so we will generate a stub
2093 for it. This is not really a problem, since the link
2094 is doomed anyway. */
2095
2096 switch (h->class)
2097 {
2098 case C_EXT:
2099 case C_STAT:
2100 case C_LABEL:
2101 record_thumb_to_arm_glue (info, h);
2102 break;
2103 default:
2104 ;
2105 }
2106 break;
2107 #endif
2108
2109 default:
2110 break;
2111 }
2112 }
2113 }
2114
2115 return true;
2116 }
2117
2118 #endif /* ! defined (COFF_IMAGE_WITH_PE) */
2119
2120 #define coff_bfd_reloc_type_lookup coff_arm_reloc_type_lookup
2121 #define coff_relocate_section coff_arm_relocate_section
2122 #define coff_bfd_is_local_label_name coff_arm_is_local_label_name
2123 #define coff_adjust_symndx coff_arm_adjust_symndx
2124 #define coff_link_output_has_begun coff_arm_link_output_has_begun
2125 #define coff_final_link_postscript coff_arm_final_link_postscript
2126 #define coff_bfd_merge_private_bfd_data coff_arm_merge_private_bfd_data
2127 #define coff_bfd_print_private_bfd_data coff_arm_print_private_bfd_data
2128 #define coff_bfd_set_private_flags _bfd_coff_arm_set_private_flags
2129 #define coff_bfd_copy_private_bfd_data coff_arm_copy_private_bfd_data
2130 #define coff_bfd_link_hash_table_create coff_arm_link_hash_table_create
2131
2132 /* When doing a relocateable link, we want to convert ARM26 relocs
2133 into ARM26D relocs. */
2134
2135 static boolean
2136 coff_arm_adjust_symndx (obfd, info, ibfd, sec, irel, adjustedp)
2137 bfd *obfd ATTRIBUTE_UNUSED;
2138 struct bfd_link_info *info ATTRIBUTE_UNUSED;
2139 bfd *ibfd;
2140 asection *sec;
2141 struct internal_reloc *irel;
2142 boolean *adjustedp;
2143 {
2144 if (irel->r_type == 3)
2145 {
2146 struct coff_link_hash_entry *h;
2147
2148 h = obj_coff_sym_hashes (ibfd)[irel->r_symndx];
2149 if (h != NULL
2150 && (h->root.type == bfd_link_hash_defined
2151 || h->root.type == bfd_link_hash_defweak)
2152 && h->root.u.def.section->output_section == sec->output_section)
2153 irel->r_type = 7;
2154 }
2155 *adjustedp = false;
2156 return true;
2157 }
2158
2159 /* Called when merging the private data areas of two BFDs.
2160 This is important as it allows us to detect if we are
2161 attempting to merge binaries compiled for different ARM
2162 targets, eg different CPUs or differents APCS's. */
2163
2164 static boolean
2165 coff_arm_merge_private_bfd_data (ibfd, obfd)
2166 bfd * ibfd;
2167 bfd * obfd;
2168 {
2169 BFD_ASSERT (ibfd != NULL && obfd != NULL);
2170
2171 if (ibfd == obfd)
2172 return true;
2173
2174 /* If the two formats are different we cannot merge anything.
2175 This is not an error, since it is permissable to change the
2176 input and output formats. */
2177 if ( ibfd->xvec->flavour != bfd_target_coff_flavour
2178 || obfd->xvec->flavour != bfd_target_coff_flavour)
2179 return true;
2180
2181 /* Verify that the APCS is the same for the two BFDs */
2182 if (APCS_SET (ibfd))
2183 {
2184 if (APCS_SET (obfd))
2185 {
2186 /* If the src and dest have different APCS flag bits set, fail. */
2187 if (APCS_26_FLAG (obfd) != APCS_26_FLAG (ibfd))
2188 {
2189 _bfd_error_handler
2190 /* xgettext: c-format */
2191 (_("%s: ERROR: compiled for APCS-%d whereas target %s uses APCS-%d"),
2192 bfd_get_filename (ibfd), APCS_26_FLAG (ibfd) ? 26 : 32,
2193 bfd_get_filename (obfd), APCS_26_FLAG (obfd) ? 26 : 32
2194 );
2195
2196 bfd_set_error (bfd_error_wrong_format);
2197 return false;
2198 }
2199
2200 if (APCS_FLOAT_FLAG (obfd) != APCS_FLOAT_FLAG (ibfd))
2201 {
2202 const char *msg;
2203
2204 if (APCS_FLOAT_FLAG (ibfd))
2205 /* xgettext: c-format */
2206 msg = _("%s: ERROR: passes floats in float registers whereas target %s uses integer registers");
2207 else
2208 /* xgettext: c-format */
2209 msg = _("%s: ERROR: passes floats in integer registers whereas target %s uses float registers");
2210
2211 _bfd_error_handler (msg, bfd_get_filename (ibfd),
2212 bfd_get_filename (obfd));
2213
2214 bfd_set_error (bfd_error_wrong_format);
2215 return false;
2216 }
2217
2218 if (PIC_FLAG (obfd) != PIC_FLAG (ibfd))
2219 {
2220 const char * msg;
2221
2222 if (PIC_FLAG (ibfd))
2223 /* xgettext: c-format */
2224 msg = _("%s: ERROR: compiled as position independent code, whereas target %s is absolute position");
2225 else
2226 /* xgettext: c-format */
2227 msg = _("%s: ERROR: compiled as absolute position code, whereas target %s is position independent");
2228 _bfd_error_handler (msg, bfd_get_filename (ibfd),
2229 bfd_get_filename (obfd));
2230
2231 bfd_set_error (bfd_error_wrong_format);
2232 return false;
2233 }
2234 }
2235 else
2236 {
2237 SET_APCS_FLAGS (obfd, APCS_26_FLAG (ibfd) | APCS_FLOAT_FLAG (ibfd) | PIC_FLAG (ibfd));
2238
2239 /* Set up the arch and fields as well as these are probably wrong. */
2240 bfd_set_arch_mach (obfd, bfd_get_arch (ibfd), bfd_get_mach (ibfd));
2241 }
2242 }
2243
2244 /* Check the interworking support. */
2245 if (INTERWORK_SET (ibfd))
2246 {
2247 if (INTERWORK_SET (obfd))
2248 {
2249 /* If the src and dest differ in their interworking issue a warning. */
2250 if (INTERWORK_FLAG (obfd) != INTERWORK_FLAG (ibfd))
2251 {
2252 const char * msg;
2253
2254 if (INTERWORK_FLAG (ibfd))
2255 /* xgettext: c-format */
2256 msg = _("Warning: input file %s supports interworking, whereas %s does not.");
2257 else
2258 /* xgettext: c-format */
2259 msg = _("Warning: input file %s does not support interworking, whereas %s does.");
2260
2261 _bfd_error_handler (msg, bfd_get_filename (ibfd),
2262 bfd_get_filename (obfd));
2263 }
2264 }
2265 else
2266 {
2267 SET_INTERWORK_FLAG (obfd, INTERWORK_FLAG (ibfd));
2268 }
2269 }
2270
2271 return true;
2272 }
2273
2274 /* Display the flags field. */
2275
2276 static boolean
2277 coff_arm_print_private_bfd_data (abfd, ptr)
2278 bfd * abfd;
2279 PTR ptr;
2280 {
2281 FILE * file = (FILE *) ptr;
2282
2283 BFD_ASSERT (abfd != NULL && ptr != NULL);
2284
2285 /* xgettext:c-format */
2286 fprintf (file, _("private flags = %x:"), coff_data (abfd)->flags);
2287
2288 if (APCS_SET (abfd))
2289 {
2290 /* xgettext: APCS is ARM Prodecure Call Standard, it should not be translated. */
2291 fprintf (file, " [APCS-%d]", APCS_26_FLAG (abfd) ? 26 : 32);
2292
2293 if (APCS_FLOAT_FLAG (abfd))
2294 fprintf (file, _(" [floats passed in float registers]"));
2295 else
2296 fprintf (file, _(" [floats passed in integer registers]"));
2297
2298 if (PIC_FLAG (abfd))
2299 fprintf (file, _(" [position independent]"));
2300 else
2301 fprintf (file, _(" [absolute position]"));
2302 }
2303
2304 if (! INTERWORK_SET (abfd))
2305 fprintf (file, _(" [interworking flag not initialised]"));
2306 else if (INTERWORK_FLAG (abfd))
2307 fprintf (file, _(" [interworking supported]"));
2308 else
2309 fprintf (file, _(" [interworking not supported]"));
2310
2311 fputc ('\n', file);
2312
2313 return true;
2314 }
2315
2316 /* Copies the given flags into the coff_tdata.flags field.
2317 Typically these flags come from the f_flags[] field of
2318 the COFF filehdr structure, which contains important,
2319 target specific information.
2320 Note: Although this function is static, it is explicitly
2321 called from both coffcode.h and peicode.h. */
2322
2323 static boolean
2324 _bfd_coff_arm_set_private_flags (abfd, flags)
2325 bfd * abfd;
2326 flagword flags;
2327 {
2328 flagword flag;
2329
2330 BFD_ASSERT (abfd != NULL);
2331
2332 flag = (flags & F_APCS26) ? F_APCS_26 : 0;
2333
2334 /* Make sure that the APCS field has not been initialised to the opposite
2335 value. */
2336 if (APCS_SET (abfd)
2337 && ( (APCS_26_FLAG (abfd) != flag)
2338 || (APCS_FLOAT_FLAG (abfd) != (flags & F_APCS_FLOAT))
2339 || (PIC_FLAG (abfd) != (flags & F_PIC))
2340 ))
2341 return false;
2342
2343 flag |= (flags & (F_APCS_FLOAT | F_PIC));
2344
2345 SET_APCS_FLAGS (abfd, flag);
2346
2347 flag = (flags & F_INTERWORK);
2348
2349 /* If the BFD has already had its interworking flag set, but it
2350 is different from the value that we have been asked to set,
2351 then assume that that merged code will not support interworking
2352 and set the flag accordingly. */
2353 if (INTERWORK_SET (abfd) && (INTERWORK_FLAG (abfd) != flag))
2354 {
2355 if (flag)
2356 /* xgettext: c-format */
2357 _bfd_error_handler (_("Warning: Not setting interworking flag of %s, since it has already been specified as non-interworking"),
2358 bfd_get_filename (abfd));
2359 else
2360 /* xgettext: c-format */
2361 _bfd_error_handler (_("Warning: Clearing the interworking flag of %s due to outside request"),
2362 bfd_get_filename (abfd));
2363 flag = 0;
2364 }
2365
2366 SET_INTERWORK_FLAG (abfd, flag);
2367
2368 return true;
2369 }
2370
2371 /* Copy the important parts of the target specific data
2372 from one instance of a BFD to another. */
2373
2374 static boolean
2375 coff_arm_copy_private_bfd_data (src, dest)
2376 bfd * src;
2377 bfd * dest;
2378 {
2379 BFD_ASSERT (src != NULL && dest != NULL);
2380
2381 if (src == dest)
2382 return true;
2383
2384 /* If the destination is not in the same format as the source, do not do
2385 the copy. */
2386 if (src->xvec != dest->xvec)
2387 return true;
2388
2389 /* copy the flags field */
2390 if (APCS_SET (src))
2391 {
2392 if (APCS_SET (dest))
2393 {
2394 /* If the src and dest have different APCS flag bits set, fail. */
2395 if (APCS_26_FLAG (dest) != APCS_26_FLAG (src))
2396 return false;
2397
2398 if (APCS_FLOAT_FLAG (dest) != APCS_FLOAT_FLAG (src))
2399 return false;
2400
2401 if (PIC_FLAG (dest) != PIC_FLAG (src))
2402 return false;
2403 }
2404 else
2405 SET_APCS_FLAGS (dest, APCS_26_FLAG (src) | APCS_FLOAT_FLAG (src)
2406 | PIC_FLAG (src));
2407 }
2408
2409 if (INTERWORK_SET (src))
2410 {
2411 if (INTERWORK_SET (dest))
2412 {
2413 /* If the src and dest have different interworking flags then turn
2414 off the interworking bit. */
2415 if (INTERWORK_FLAG (dest) != INTERWORK_FLAG (src))
2416 {
2417 if (INTERWORK_FLAG (dest))
2418 {
2419 /* xgettext:c-format */
2420 _bfd_error_handler (("Warning: Clearing the interworking bit of %s, because the non-interworking code in %s has been copied into it"),
2421 bfd_get_filename (dest),
2422 bfd_get_filename (src));
2423 }
2424
2425 SET_INTERWORK_FLAG (dest, 0);
2426 }
2427 }
2428 else
2429 {
2430 SET_INTERWORK_FLAG (dest, INTERWORK_FLAG (src));
2431 }
2432 }
2433
2434 return true;
2435 }
2436
2437 /* Note: the definitions here of LOCAL_LABEL_PREFIX and USER_LABEL_PREIFX
2438 *must* match the definitions in gcc/config/arm/{coff|semi|aout}.h. */
2439 #define LOCAL_LABEL_PREFIX ""
2440 #ifndef USER_LABEL_PREFIX
2441 #define USER_LABEL_PREFIX "_"
2442 #endif
2443
2444 /* Like _bfd_coff_is_local_label_name, but
2445 a) test against USER_LABEL_PREFIX, to avoid stripping labels known to be
2446 non-local.
2447 b) Allow other prefixes than ".", e.g. an empty prefix would cause all
2448 labels of the form Lxxx to be stripped. */
2449 static boolean
2450 coff_arm_is_local_label_name (abfd, name)
2451 bfd * abfd ATTRIBUTE_UNUSED;
2452 const char * name;
2453 {
2454 #ifdef USER_LABEL_PREFIX
2455 if (USER_LABEL_PREFIX[0] != 0)
2456 {
2457 if (strncmp (name, USER_LABEL_PREFIX, strlen (USER_LABEL_PREFIX)) == 0)
2458 return false;
2459 }
2460 #endif
2461
2462 #ifdef LOCAL_LABEL_PREFIX
2463 /* If there is a prefix for local labels then look for this.
2464 If the prefix exists, but it is empty, then ignore the test. */
2465
2466 if (LOCAL_LABEL_PREFIX[0] != 0)
2467 {
2468 int len = strlen (LOCAL_LABEL_PREFIX);
2469
2470 if (strncmp (name, LOCAL_LABEL_PREFIX, len) != 0)
2471 return false;
2472
2473 /* Perform the checks below for the rest of the name. */
2474 name += len;
2475 }
2476 #endif
2477
2478 return name[0] == 'L';
2479 }
2480
2481 /* This piece of machinery exists only to guarantee that the bfd that holds
2482 the glue section is written last.
2483
2484 This does depend on bfd_make_section attaching a new section to the
2485 end of the section list for the bfd.
2486
2487 krk@cygnus.com */
2488
2489 static boolean
2490 coff_arm_link_output_has_begun (sub, info)
2491 bfd * sub;
2492 struct coff_final_link_info * info;
2493 {
2494 return (sub->output_has_begun
2495 || sub == coff_arm_hash_table (info->info)->bfd_of_glue_owner);
2496 }
2497
2498 static boolean
2499 coff_arm_final_link_postscript (abfd, pfinfo)
2500 bfd * abfd ATTRIBUTE_UNUSED;
2501 struct coff_final_link_info * pfinfo;
2502 {
2503 struct coff_arm_link_hash_table * globals;
2504
2505 globals = coff_arm_hash_table (pfinfo->info);
2506
2507 BFD_ASSERT (globals != NULL);
2508
2509 if (globals->bfd_of_glue_owner != NULL)
2510 {
2511 if (! _bfd_coff_link_input_bfd (pfinfo, globals->bfd_of_glue_owner))
2512 return false;
2513
2514 globals->bfd_of_glue_owner->output_has_begun = true;
2515 }
2516
2517 return true;
2518 }
2519
2520 #include "coffcode.h"
2521
2522 #ifndef TARGET_LITTLE_SYM
2523 #define TARGET_LITTLE_SYM armcoff_little_vec
2524 #endif
2525 #ifndef TARGET_LITTLE_NAME
2526 #define TARGET_LITTLE_NAME "coff-arm-little"
2527 #endif
2528 #ifndef TARGET_BIG_SYM
2529 #define TARGET_BIG_SYM armcoff_big_vec
2530 #endif
2531 #ifndef TARGET_BIG_NAME
2532 #define TARGET_BIG_NAME "coff-arm-big"
2533 #endif
2534
2535 #ifndef TARGET_UNDERSCORE
2536 #define TARGET_UNDERSCORE 0
2537 #endif
2538
2539 #ifndef EXTRA_S_FLAGS
2540 #ifdef COFF_WITH_PE
2541 #define EXTRA_S_FLAGS (SEC_LINK_ONCE | SEC_LINK_DUPLICATES)
2542 #else
2543 #define EXTRA_S_FLAGS 0
2544 #endif
2545 #endif
2546
2547 /* Forward declaration for use initialising alternative_target field. */
2548 extern const bfd_target TARGET_BIG_SYM ;
2549
2550 /* Target vectors. */
2551 CREATE_LITTLE_COFF_TARGET_VEC (TARGET_LITTLE_SYM, TARGET_LITTLE_NAME, D_PAGED, EXTRA_S_FLAGS, TARGET_UNDERSCORE, & TARGET_BIG_SYM)
2552 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.08021 seconds and 5 git commands to generate.