constify stack.c
[platform/upstream/binutils.git] / bfd / coff-i960.c
1 /* BFD back-end for Intel 960 COFF files.
2    Copyright (C) 1990-2014 Free Software Foundation, Inc.
3    Written by Cygnus Support.
4
5    This file is part of BFD, the Binary File Descriptor library.
6
7    This program is free software; you can redistribute it and/or modify
8    it under the terms of the GNU General Public License as published by
9    the Free Software Foundation; either version 3 of the License, or
10    (at your option) any later version.
11
12    This program is distributed in the hope that it will be useful,
13    but WITHOUT ANY WARRANTY; without even the implied warranty of
14    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
15    GNU General Public License for more details.
16
17    You should have received a copy of the GNU General Public License
18    along with this program; if not, write to the Free Software
19    Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
20    MA 02110-1301, USA.  */
21
22 #define I960 1
23 #define BADMAG(x) I960BADMAG(x)
24
25 #include "sysdep.h"
26 #include "bfd.h"
27 #include "libbfd.h"
28 #include "coff/i960.h"
29 #include "coff/internal.h"
30
31 #ifndef bfd_pe_print_pdata
32 #define bfd_pe_print_pdata      NULL
33 #endif
34
35 #include "libcoff.h"            /* To allow easier abstraction-breaking.  */
36
37
38 #define COFF_DEFAULT_SECTION_ALIGNMENT_POWER (3)
39 #define COFF_ALIGN_IN_SECTION_HEADER 1
40
41 #define GET_SCNHDR_ALIGN H_GET_32
42 #define PUT_SCNHDR_ALIGN H_PUT_32
43
44 /* The i960 does not support an MMU, so COFF_PAGE_SIZE can be
45    arbitrarily small.  */
46 #define COFF_PAGE_SIZE 1
47
48 #define COFF_LONG_FILENAMES
49
50 /* This set of local label names is taken from gas.  */
51
52 static bfd_boolean
53 coff_i960_is_local_label_name (bfd *abfd ATTRIBUTE_UNUSED, const char *name)
54 {
55   return (name[0] == 'L'
56           || (name[0] == '.'
57               && (name[1] == 'C'
58                   || name[1] == 'I'
59                   || name[1] == '.')));
60 }
61
62 /* This is just like the usual CALC_ADDEND, but it includes the
63    section VMA for PC relative relocs.  */
64 #ifndef CALC_ADDEND
65 #define CALC_ADDEND(abfd, ptr, reloc, cache_ptr)                \
66   {                                                             \
67     coff_symbol_type *coffsym = (coff_symbol_type *) NULL;      \
68     if (ptr && bfd_asymbol_bfd (ptr) != abfd)                   \
69       coffsym = (obj_symbols (abfd)                             \
70                  + (cache_ptr->sym_ptr_ptr - symbols));         \
71     else if (ptr)                                               \
72       coffsym = coff_symbol_from (abfd, ptr);                   \
73     if (coffsym != (coff_symbol_type *) NULL                    \
74         && coffsym->native->u.syment.n_scnum == 0)              \
75       cache_ptr->addend = 0;                                    \
76     else if (ptr && bfd_asymbol_bfd (ptr) == abfd               \
77              && ptr->section != (asection *) NULL)              \
78       cache_ptr->addend = - (ptr->section->vma + ptr->value);   \
79     else                                                        \
80       cache_ptr->addend = 0;                                    \
81     if (ptr && (reloc.r_type == 25 || reloc.r_type == 27))      \
82       cache_ptr->addend += asect->vma;                          \
83   }
84 #endif
85
86 #define CALLS    0x66003800     /* Template for 'calls' instruction     */
87 #define BAL      0x0b000000     /* Template for 'bal' instruction       */
88 #define BAL_MASK 0x00ffffff
89
90 static bfd_reloc_status_type
91 optcall_callback (bfd *abfd,
92                   arelent *reloc_entry,
93                   asymbol *symbol_in,
94                   void * data,
95                   asection *input_section,
96                   bfd *ignore_bfd ATTRIBUTE_UNUSED,
97                   char **error_message)
98 {
99   /* This item has already been relocated correctly, but we may be
100    * able to patch in yet better code - done by digging out the
101    * correct info on this symbol */
102   bfd_reloc_status_type result;
103   coff_symbol_type *cs = coffsymbol(symbol_in);
104
105   /* Don't do anything with symbols which aren't tied up yet,
106      except move the reloc.  */
107   if (bfd_is_und_section (cs->symbol.section)) {
108     reloc_entry->address += input_section->output_offset;
109     return bfd_reloc_ok;
110   }
111
112   /* So the target symbol has to be of coff type, and the symbol
113      has to have the correct native information within it */
114   if ((bfd_asymbol_flavour(&cs->symbol) != bfd_target_coff_flavour)
115       || (cs->native == (combined_entry_type *)NULL))
116     {
117       /* This is interesting, consider the case where we're outputting coff
118          from a mix n match input, linking from coff to a symbol defined in a
119          bout file will cause this match to be true. Should I complain?  This
120          will only work if the bout symbol is non leaf.  */
121       *error_message =
122         (char *) _("uncertain calling convention for non-COFF symbol");
123       result = bfd_reloc_dangerous;
124     }
125   else
126     {
127     switch (cs->native->u.syment.n_sclass)
128       {
129       case C_LEAFSTAT:
130       case C_LEAFEXT:
131         /* This is a call to a leaf procedure, replace instruction with a bal
132            to the correct location.  */
133         {
134           union internal_auxent *aux = &((cs->native+2)->u.auxent);
135           int word = bfd_get_32 (abfd, (bfd_byte *)data + reloc_entry->address);
136           int olf = (aux->x_bal.x_balntry - cs->native->u.syment.n_value);
137           BFD_ASSERT(cs->native->u.syment.n_numaux==2);
138
139           /* We replace the original call instruction with a bal to
140              the bal entry point - the offset of which is described in
141              the 2nd auxent of the original symbol. We keep the native
142              sym and auxents untouched, so the delta between the two
143              is the offset of the bal entry point.  */
144           word = ((word +  olf)  & BAL_MASK) | BAL;
145           bfd_put_32 (abfd, (bfd_vma) word,
146                       (bfd_byte *) data + reloc_entry->address);
147         }
148         result = bfd_reloc_ok;
149         break;
150       case C_SCALL:
151         /* This is a call to a system call, replace with a calls to # */
152         BFD_ASSERT(0);
153         result = bfd_reloc_ok;
154         break;
155       default:
156         result = bfd_reloc_ok;
157         break;
158       }
159   }
160   return result;
161 }
162
163 /* i960 COFF is used by VxWorks 5.1.  However, VxWorks 5.1 does not
164    appear to correctly handle a reloc against a symbol defined in the
165    same object file.  It appears to simply discard such relocs, rather
166    than adding their values into the object file.  We handle this here
167    by converting all relocs against defined symbols into relocs
168    against the section symbol, when generating a relocatable output
169    file.
170
171    Note that this function is only called if we are not using the COFF
172    specific backend linker.  It only does something when doing a
173    relocatable link, which will almost certainly fail when not
174    generating COFF i960 output, so this function is actually no longer
175    useful.  It was used before this target was converted to use the
176    COFF specific backend linker.  */
177
178 static bfd_reloc_status_type
179 coff_i960_relocate (bfd *abfd,
180                     arelent *reloc_entry,
181                     asymbol *symbol,
182                     void * data ATTRIBUTE_UNUSED,
183                     asection *input_section ATTRIBUTE_UNUSED,
184                     bfd *output_bfd,
185                     char **error_message ATTRIBUTE_UNUSED)
186 {
187   asection *osec;
188
189   if (output_bfd == NULL)
190     {
191       /* Not generating relocatable output file.  */
192       return bfd_reloc_continue;
193     }
194
195   if (bfd_is_und_section (bfd_get_section (symbol)))
196     {
197       /* Symbol is not defined, so no need to worry about it.  */
198       return bfd_reloc_continue;
199     }
200
201   if (bfd_is_com_section (bfd_get_section (symbol)))
202     {
203       /* I don't really know what the right action is for a common
204          symbol.  */
205       return bfd_reloc_continue;
206     }
207
208   /* Convert the reloc to use the section symbol.  FIXME: This method
209      is ridiculous.  */
210   osec = bfd_get_section (symbol)->output_section;
211   if (coff_section_data (output_bfd, osec) != NULL
212       && coff_section_data (output_bfd, osec)->tdata != NULL)
213     reloc_entry->sym_ptr_ptr =
214       (asymbol **) coff_section_data (output_bfd, osec)->tdata;
215   else
216     {
217       const char *sec_name;
218       asymbol **syms, **sym_end;
219
220       sec_name = bfd_get_section_name (output_bfd, osec);
221       syms = bfd_get_outsymbols (output_bfd);
222       sym_end = syms + bfd_get_symcount (output_bfd);
223       for (; syms < sym_end; syms++)
224         {
225           if (bfd_asymbol_name (*syms) != NULL
226               && (*syms)->value == 0
227               && strcmp ((*syms)->section->output_section->name,
228                          sec_name) == 0)
229             break;
230         }
231
232       if (syms >= sym_end)
233         abort ();
234
235       reloc_entry->sym_ptr_ptr = syms;
236
237       if (coff_section_data (output_bfd, osec) == NULL)
238         {
239           bfd_size_type amt = sizeof (struct coff_section_tdata);
240           osec->used_by_bfd = bfd_zalloc (abfd, amt);
241           if (osec->used_by_bfd == NULL)
242             return bfd_reloc_overflow;
243         }
244       coff_section_data (output_bfd, osec)->tdata = syms;
245     }
246
247   /* Let bfd_perform_relocation do its thing, which will include
248      stuffing the symbol addend into the object file.  */
249   return bfd_reloc_continue;
250 }
251
252 static reloc_howto_type howto_rellong =
253   HOWTO ((unsigned int) R_RELLONG, 0, 2, 32,FALSE, 0,
254          complain_overflow_bitfield, coff_i960_relocate,"rellong", TRUE,
255          0xffffffff, 0xffffffff, 0);
256 static reloc_howto_type howto_iprmed =
257   HOWTO (R_IPRMED, 0, 2, 24,TRUE,0, complain_overflow_signed,
258          coff_i960_relocate, "iprmed ", TRUE, 0x00ffffff, 0x00ffffff, 0);
259 static reloc_howto_type howto_optcall =
260   HOWTO (R_OPTCALL, 0,2,24,TRUE,0, complain_overflow_signed,
261          optcall_callback, "optcall", TRUE, 0x00ffffff, 0x00ffffff, 0);
262
263 static reloc_howto_type *
264 coff_i960_reloc_type_lookup (bfd *abfd ATTRIBUTE_UNUSED,
265                              bfd_reloc_code_real_type code)
266 {
267   switch (code)
268     {
269     default:
270       return 0;
271     case BFD_RELOC_I960_CALLJ:
272       return &howto_optcall;
273     case BFD_RELOC_32:
274     case BFD_RELOC_CTOR:
275       return &howto_rellong;
276     case BFD_RELOC_24_PCREL:
277       return &howto_iprmed;
278     }
279 }
280
281 static reloc_howto_type *
282 coff_i960_reloc_name_lookup (bfd *abfd ATTRIBUTE_UNUSED,
283                              const char *r_name)
284 {
285   if (strcasecmp (howto_optcall.name, r_name) == 0)
286     return &howto_optcall;
287   if (strcasecmp (howto_rellong.name, r_name) == 0)
288     return &howto_rellong;
289   if (strcasecmp (howto_iprmed.name, r_name) == 0)
290     return &howto_iprmed;
291
292   return NULL;
293 }
294
295 /* The real code is in coffcode.h */
296
297 #define RTYPE2HOWTO(cache_ptr, dst) \
298 {                                                       \
299    reloc_howto_type *howto_ptr;                         \
300    switch ((dst)->r_type) {                             \
301      case 17: howto_ptr = &howto_rellong; break;        \
302      case 25: howto_ptr = &howto_iprmed; break;         \
303      case 27: howto_ptr = &howto_optcall; break;        \
304      default: howto_ptr = 0; break;                     \
305      }                                                  \
306    (cache_ptr)->howto = howto_ptr;                      \
307  }
308
309 /* i960 COFF is used by VxWorks 5.1.  However, VxWorks 5.1 does not
310    appear to correctly handle a reloc against a symbol defined in the
311    same object file.  It appears to simply discard such relocs, rather
312    than adding their values into the object file.  We handle this by
313    converting all relocs against global symbols into relocs against
314    internal symbols at the start of the section.  This routine is
315    called at the start of the linking process, and it creates the
316    necessary symbols.  */
317
318 static bfd_boolean
319 coff_i960_start_final_link (bfd *abfd, struct bfd_link_info *info)
320 {
321   bfd_size_type symesz = bfd_coff_symesz (abfd);
322   asection *o;
323   bfd_byte *esym;
324
325   if (! info->relocatable)
326     return TRUE;
327
328   esym = (bfd_byte *) bfd_malloc (symesz);
329   if (esym == NULL)
330     return FALSE;
331
332   if (bfd_seek (abfd, obj_sym_filepos (abfd), SEEK_SET) != 0)
333     return FALSE;
334
335   for (o = abfd->sections; o != NULL; o = o->next)
336     {
337       struct internal_syment isym;
338
339       strncpy (isym._n._n_name, o->name, SYMNMLEN);
340       isym.n_value = 0;
341       isym.n_scnum = o->target_index;
342       isym.n_type = T_NULL;
343       isym.n_sclass = C_STAT;
344       isym.n_numaux = 0;
345
346       bfd_coff_swap_sym_out (abfd, &isym, esym);
347
348       if (bfd_bwrite (esym, symesz, abfd) != symesz)
349         {
350           free (esym);
351           return FALSE;
352         }
353
354       obj_raw_syment_count (abfd) += 1;
355     }
356
357   free (esym);
358
359   return TRUE;
360 }
361
362 /* The reloc processing routine for the optimized COFF linker.  */
363
364 static bfd_boolean
365 coff_i960_relocate_section (bfd *output_bfd ATTRIBUTE_UNUSED,
366                             struct bfd_link_info *info,
367                             bfd *input_bfd,
368                             asection *input_section,
369                             bfd_byte *contents,
370                             struct internal_reloc *relocs,
371                             struct internal_syment *syms,
372                             asection **sections)
373 {
374   struct internal_reloc *rel;
375   struct internal_reloc *relend;
376
377   rel = relocs;
378   relend = rel + input_section->reloc_count;
379   for (; rel < relend; rel++)
380     {
381       long symndx;
382       struct coff_link_hash_entry *h;
383       struct internal_syment *sym;
384       bfd_vma addend;
385       bfd_vma val;
386       reloc_howto_type *howto;
387       bfd_reloc_status_type rstat = bfd_reloc_ok;
388       bfd_boolean done;
389
390       symndx = rel->r_symndx;
391
392       if (symndx == -1)
393         {
394           h = NULL;
395           sym = NULL;
396         }
397       else
398         {
399           h = obj_coff_sym_hashes (input_bfd)[symndx];
400           sym = syms + symndx;
401         }
402
403       if (sym != NULL && sym->n_scnum != 0)
404         addend = - sym->n_value;
405       else
406         addend = 0;
407
408       switch (rel->r_type)
409         {
410         case 17: howto = &howto_rellong; break;
411         case 25: howto = &howto_iprmed; break;
412         case 27: howto = &howto_optcall; break;
413         default:
414           bfd_set_error (bfd_error_bad_value);
415           return FALSE;
416         }
417
418       val = 0;
419
420       if (h == NULL)
421         {
422           asection *sec;
423
424           if (symndx == -1)
425             {
426               sec = bfd_abs_section_ptr;
427               val = 0;
428             }
429           else
430             {
431               sec = sections[symndx];
432               val = (sec->output_section->vma
433                      + sec->output_offset
434                      + sym->n_value
435                      - sec->vma);
436             }
437         }
438       else
439         {
440           if (h->root.type == bfd_link_hash_defined
441               || h->root.type == bfd_link_hash_defweak)
442             {
443               asection *sec;
444
445               sec = h->root.u.def.section;
446               val = (h->root.u.def.value
447                      + sec->output_section->vma
448                      + sec->output_offset);
449             }
450           else if (! info->relocatable)
451             {
452               if (! ((*info->callbacks->undefined_symbol)
453                      (info, h->root.root.string, input_bfd, input_section,
454                       rel->r_vaddr - input_section->vma, TRUE)))
455                 return FALSE;
456             }
457         }
458
459       done = FALSE;
460
461       if (howto->type == R_OPTCALL && ! info->relocatable && symndx != -1)
462         {
463           int class_val;
464
465           if (h != NULL)
466             class_val = h->symbol_class;
467           else
468             class_val = sym->n_sclass;
469
470           switch (class_val)
471             {
472             case C_NULL:
473               /* This symbol is apparently not from a COFF input file.
474                  We warn, and then assume that it is not a leaf
475                  function.  */
476               if (! ((*info->callbacks->reloc_dangerous)
477                      (info,
478                       _("uncertain calling convention for non-COFF symbol"),
479                       input_bfd, input_section,
480                       rel->r_vaddr - input_section->vma)))
481                 return FALSE;
482               break;
483             case C_LEAFSTAT:
484             case C_LEAFEXT:
485               /* This is a call to a leaf procedure; use the bal
486                  instruction.  */
487               {
488                 long olf;
489                 unsigned long word;
490
491                 if (h != NULL)
492                   {
493                     BFD_ASSERT (h->numaux == 2);
494                     olf = h->aux[1].x_bal.x_balntry;
495                   }
496                 else
497                   {
498                     bfd_byte *esyms;
499                     union internal_auxent aux;
500
501                     BFD_ASSERT (sym->n_numaux == 2);
502                     esyms = (bfd_byte *) obj_coff_external_syms (input_bfd);
503                     esyms += (symndx + 2) * bfd_coff_symesz (input_bfd);
504                     bfd_coff_swap_aux_in (input_bfd, esyms, sym->n_type,
505                                           sym->n_sclass, 1, sym->n_numaux,
506                                           &aux);
507                     olf = aux.x_bal.x_balntry;
508                   }
509
510                 word = bfd_get_32 (input_bfd,
511                                    (contents
512                                     + (rel->r_vaddr - input_section->vma)));
513                 word = ((word + olf - val) & BAL_MASK) | BAL;
514                 bfd_put_32 (input_bfd,
515                             (bfd_vma) word,
516                             contents + (rel->r_vaddr - input_section->vma));
517                 done = TRUE;
518               }
519               break;
520             case C_SCALL:
521               BFD_ASSERT (0);
522               break;
523             }
524         }
525
526       if (! done)
527         {
528           if (howto->pc_relative)
529             addend += input_section->vma;
530           rstat = _bfd_final_link_relocate (howto, input_bfd, input_section,
531                                             contents,
532                                             rel->r_vaddr - input_section->vma,
533                                             val, addend);
534         }
535
536       switch (rstat)
537         {
538         default:
539           abort ();
540         case bfd_reloc_ok:
541           break;
542         case bfd_reloc_overflow:
543           {
544             const char *name;
545             char buf[SYMNMLEN + 1];
546
547             if (symndx == -1)
548               name = "*ABS*";
549             else if (h != NULL)
550               name = NULL;
551             else
552               {
553                 name = _bfd_coff_internal_syment_name (input_bfd, sym, buf);
554                 if (name == NULL)
555                   return FALSE;
556               }
557
558             if (! ((*info->callbacks->reloc_overflow)
559                    (info, (h ? &h->root : NULL), name, howto->name,
560                     (bfd_vma) 0, input_bfd, input_section,
561                     rel->r_vaddr - input_section->vma)))
562               return FALSE;
563           }
564         }
565     }
566
567   return TRUE;
568 }
569
570 /* Adjust the symbol index of any reloc against a global symbol to
571    instead be a reloc against the internal symbol we created specially
572    for the section.  */
573
574 static bfd_boolean
575 coff_i960_adjust_symndx (bfd *obfd ATTRIBUTE_UNUSED,
576                          struct bfd_link_info *info ATTRIBUTE_UNUSED,
577                          bfd *ibfd,
578                          asection *sec ATTRIBUTE_UNUSED,
579                          struct internal_reloc *irel,
580                          bfd_boolean *adjustedp)
581 {
582   struct coff_link_hash_entry *h;
583
584   *adjustedp = FALSE;
585
586   h = obj_coff_sym_hashes (ibfd)[irel->r_symndx];
587   if (h == NULL
588       || (h->root.type != bfd_link_hash_defined
589           && h->root.type != bfd_link_hash_defweak))
590     return TRUE;
591
592   irel->r_symndx = h->root.u.def.section->output_section->target_index - 1;
593   *adjustedp = TRUE;
594
595   return TRUE;
596 }
597
598 #define coff_bfd_is_local_label_name coff_i960_is_local_label_name
599
600 #define coff_start_final_link coff_i960_start_final_link
601
602 #define coff_relocate_section coff_i960_relocate_section
603
604 #define coff_adjust_symndx coff_i960_adjust_symndx
605
606 #define coff_bfd_reloc_type_lookup coff_i960_reloc_type_lookup
607 #define coff_bfd_reloc_name_lookup coff_i960_reloc_name_lookup
608
609 #include "coffcode.h"
610
611 extern const bfd_target icoff_be_vec;
612
613 CREATE_LITTLE_COFF_TARGET_VEC (icoff_le_vec, "coff-Intel-little", 0, 0, '_', & icoff_be_vec, COFF_SWAP_TABLE)
614
615 const bfd_target icoff_be_vec =
616 {
617   "coff-Intel-big",             /* name */
618   bfd_target_coff_flavour,
619   BFD_ENDIAN_LITTLE,            /* data byte order is little */
620   BFD_ENDIAN_BIG,               /* header byte order is big */
621
622   (HAS_RELOC | EXEC_P |         /* object flags */
623    HAS_LINENO | HAS_DEBUG |
624    HAS_SYMS | HAS_LOCALS | WP_TEXT),
625
626   (SEC_HAS_CONTENTS | SEC_ALLOC | SEC_LOAD | SEC_RELOC), /* section flags */
627   '_',                          /* leading underscore */
628   '/',                          /* ar_pad_char */
629   15,                           /* ar_max_namelen */
630   0,                            /* match priority.  */
631
632 bfd_getl64, bfd_getl_signed_64, bfd_putl64,
633      bfd_getl32, bfd_getl_signed_32, bfd_putl32,
634      bfd_getl16, bfd_getl_signed_16, bfd_putl16, /* data */
635 bfd_getb64, bfd_getb_signed_64, bfd_putb64,
636      bfd_getb32, bfd_getb_signed_32, bfd_putb32,
637      bfd_getb16, bfd_getb_signed_16, bfd_putb16, /* hdrs */
638
639   {_bfd_dummy_target, coff_object_p, /* bfd_check_format */
640      bfd_generic_archive_p, _bfd_dummy_target},
641   {bfd_false, coff_mkobject,    /* bfd_set_format */
642      _bfd_generic_mkarchive, bfd_false},
643   {bfd_false, coff_write_object_contents,       /* bfd_write_contents */
644      _bfd_write_archive_contents, bfd_false},
645
646      BFD_JUMP_TABLE_GENERIC (coff),
647      BFD_JUMP_TABLE_COPY (coff),
648      BFD_JUMP_TABLE_CORE (_bfd_nocore),
649      BFD_JUMP_TABLE_ARCHIVE (_bfd_archive_coff),
650      BFD_JUMP_TABLE_SYMBOLS (coff),
651      BFD_JUMP_TABLE_RELOCS (coff),
652      BFD_JUMP_TABLE_WRITE (coff),
653      BFD_JUMP_TABLE_LINK (coff),
654      BFD_JUMP_TABLE_DYNAMIC (_bfd_nodynamic),
655
656   & icoff_le_vec,
657
658   COFF_SWAP_TABLE
659 };