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

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

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