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