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