1/* BFD back-end for OpenRISC 1000 COFF binaries.
2   Copyright 2002, 2003, 2004, 2005, 2007 Free Software Foundation, Inc.
3   Contributed by Ivan Guzvinec  <ivang@opencores.org>
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 OR32 1
23
24#include "sysdep.h"
25#include "bfd.h"
26#include "libbfd.h"
27#include "coff/or32.h"
28#include "coff/internal.h"
29#include "libcoff.h"
30
31static long get_symbol_value
32  PARAMS ((asymbol *));
33static bfd_reloc_status_type or32_reloc
34  PARAMS ((bfd *, arelent *, asymbol *, PTR, asection *, bfd *, char **));
35static bfd_boolean coff_or32_relocate_section
36  PARAMS ((bfd *, struct bfd_link_info *, bfd *, asection *, bfd_byte *,
37	   struct internal_reloc *, struct internal_syment *, asection **));
38static bfd_boolean coff_or32_adjust_symndx
39  PARAMS ((bfd *, struct bfd_link_info *, bfd *, asection *,
40	   struct internal_reloc *, bfd_boolean *));
41static void reloc_processing
42  PARAMS ((arelent *, struct internal_reloc *, asymbol **, bfd *, asection *));
43
44#define COFF_DEFAULT_SECTION_ALIGNMENT_POWER (2)
45
46#define INSERT_HWORD(WORD,HWORD)              \
47    (((WORD) & 0xffff0000) | ((HWORD)& 0x0000ffff))
48#define EXTRACT_HWORD(WORD)                   \
49    ((WORD) & 0x0000ffff)
50#define SIGN_EXTEND_HWORD(HWORD)              \
51    ((HWORD) & 0x8000 ? (HWORD)|(~0xffffL) : (HWORD))
52
53#define INSERT_JUMPTARG(WORD,JT)              \
54    (((WORD) & 0xfc000000) | ((JT)& 0x03ffffff))
55#define EXTRACT_JUMPTARG(WORD)                   \
56    ((WORD) & 0x03ffffff)
57#define SIGN_EXTEND_JUMPTARG(JT)              \
58    ((JT) & 0x04000000 ? (JT)|(~0x03ffffffL) : (JT))
59
60/* Provided the symbol, returns the value reffed.  */
61
62static long
63get_symbol_value (symbol)
64     asymbol *symbol;
65{
66  long relocation = 0;
67
68  if (bfd_is_com_section (symbol->section))
69    relocation = 0;
70  else
71    relocation = symbol->value +
72      symbol->section->output_section->vma +
73      symbol->section->output_offset;
74
75  return relocation;
76}
77
78/* This function is in charge of performing all the or32 relocations.  */
79
80static bfd_reloc_status_type
81or32_reloc (abfd, reloc_entry, symbol_in, data, input_section, output_bfd,
82            error_message)
83     bfd *abfd;
84     arelent *reloc_entry;
85     asymbol *symbol_in;
86     PTR data;
87     asection *input_section;
88     bfd *output_bfd;
89     char **error_message;
90{
91  /* The consth relocation comes in two parts, we have to remember
92     the state between calls, in these variables.  */
93  static bfd_boolean part1_consth_active = FALSE;
94  static unsigned long part1_consth_value;
95
96  unsigned long insn;
97  unsigned long sym_value;
98  unsigned long unsigned_value;
99  unsigned short r_type;
100  long signed_value;
101
102  unsigned long addr = reloc_entry->address ;   /*+ input_section->vma*/
103  bfd_byte *hit_data =addr + (bfd_byte *)(data);
104
105  r_type = reloc_entry->howto->type;
106
107  if (output_bfd)
108    {
109      /* Partial linking - do nothing.  */
110      reloc_entry->address += input_section->output_offset;
111      return bfd_reloc_ok;
112    }
113
114  if (symbol_in != NULL
115      && bfd_is_und_section (symbol_in->section))
116    {
117      /* Keep the state machine happy in case we're called again.  */
118      if (r_type == R_IHIHALF)
119        {
120          part1_consth_active = TRUE;
121          part1_consth_value  = 0;
122        }
123
124      return bfd_reloc_undefined;
125    }
126
127  if ((part1_consth_active) && (r_type != R_IHCONST))
128    {
129      part1_consth_active = FALSE;
130      *error_message = (char *) "Missing IHCONST";
131
132      return bfd_reloc_dangerous;
133    }
134
135  sym_value = get_symbol_value (symbol_in);
136
137  switch (r_type)
138    {
139    case R_IREL:
140      insn = bfd_get_32(abfd, hit_data);
141
142      /* Take the value in the field and sign extend it.  */
143      signed_value = EXTRACT_JUMPTARG (insn);
144      signed_value = SIGN_EXTEND_JUMPTARG (signed_value);
145      signed_value <<= 2;
146
147      /* See the note on the R_IREL reloc in coff_or32_relocate_section.  */
148      if (signed_value == - (long) reloc_entry->address)
149        signed_value = 0;
150
151      signed_value += sym_value + reloc_entry->addend;
152      /* Relative jmp/call, so subtract from the value the
153	 address of the place we're coming from.  */
154      signed_value -= (reloc_entry->address
155		       + input_section->output_section->vma
156		       + input_section->output_offset);
157      if (signed_value > 0x7ffffff || signed_value < -0x8000000)
158	return bfd_reloc_overflow;
159
160      signed_value >>= 2;
161      insn = INSERT_JUMPTARG (insn, signed_value);
162      bfd_put_32 (abfd, insn, hit_data);
163      break;
164
165    case R_ILOHALF:
166      insn = bfd_get_32 (abfd, hit_data);
167      unsigned_value = EXTRACT_HWORD (insn);
168      unsigned_value +=  sym_value + reloc_entry->addend;
169      insn = INSERT_HWORD (insn, unsigned_value);
170      bfd_put_32 (abfd, insn, hit_data);
171      break;
172
173    case R_IHIHALF:
174      insn = bfd_get_32 (abfd, hit_data);
175
176      /* consth, part 1
177         Just get the symbol value that is referenced.  */
178      part1_consth_active = TRUE;
179      part1_consth_value = sym_value + reloc_entry->addend;
180
181      /* Don't modify insn until R_IHCONST.  */
182      break;
183
184    case R_IHCONST:
185      insn = bfd_get_32 (abfd, hit_data);
186
187      /* consth, part 2
188         Now relocate the reference.  */
189      if (! part1_consth_active)
190        {
191          *error_message = (char *) "Missing IHIHALF";
192          return bfd_reloc_dangerous;
193        }
194
195      /* sym_ptr_ptr = r_symndx, in coff_slurp_reloc_table() */
196      unsigned_value = 0;   /*EXTRACT_HWORD(insn) << 16;*/
197      unsigned_value += reloc_entry->addend; /* r_symndx */
198      unsigned_value += part1_consth_value;
199      unsigned_value = unsigned_value >> 16;
200      insn = INSERT_HWORD (insn, unsigned_value);
201      part1_consth_active = FALSE;
202      bfd_put_32 (abfd, insn, hit_data);
203      break;
204
205    case R_BYTE:
206      insn = bfd_get_8 (abfd, hit_data);
207      unsigned_value = insn + sym_value + reloc_entry->addend;
208      if (unsigned_value & 0xffffff00)
209        return bfd_reloc_overflow;
210      bfd_put_8 (abfd, unsigned_value, hit_data);
211      break;
212
213    case R_HWORD:
214      insn = bfd_get_16 (abfd, hit_data);
215      unsigned_value = insn + sym_value + reloc_entry->addend;
216      if (unsigned_value & 0xffff0000)
217        return bfd_reloc_overflow;
218      bfd_put_16 (abfd, insn, hit_data);
219      break;
220
221    case R_WORD:
222      insn = bfd_get_32 (abfd, hit_data);
223      insn += sym_value + reloc_entry->addend;
224      bfd_put_32 (abfd, insn, hit_data);
225      break;
226
227    default:
228      *error_message = _("Unrecognized reloc");
229      return bfd_reloc_dangerous;
230    }
231
232  return bfd_reloc_ok;
233}
234
235/*      type     rightshift
236           size
237        bitsize
238             pc-relative
239             bitpos
240           absolute
241               complain_on_overflow
242              special_function
243                relocation name
244                     partial_inplace
245                      src_mask
246*/
247
248/* FIXME: I'm not real sure about this table.  */
249static reloc_howto_type howto_table[] =
250{
251  { R_ABS,      0, 3, 32, FALSE,  0, complain_overflow_bitfield,  or32_reloc, "ABS",     TRUE, 0xffffffff,0xffffffff, FALSE },
252    EMPTY_HOWTO (1),
253    EMPTY_HOWTO (2),
254    EMPTY_HOWTO (3),
255    EMPTY_HOWTO (4),
256    EMPTY_HOWTO (5),
257    EMPTY_HOWTO (6),
258    EMPTY_HOWTO (7),
259    EMPTY_HOWTO (8),
260    EMPTY_HOWTO (9),
261    EMPTY_HOWTO (10),
262    EMPTY_HOWTO (11),
263    EMPTY_HOWTO (12),
264    EMPTY_HOWTO (13),
265    EMPTY_HOWTO (14),
266    EMPTY_HOWTO (15),
267    EMPTY_HOWTO (16),
268    EMPTY_HOWTO (17),
269    EMPTY_HOWTO (18),
270    EMPTY_HOWTO (19),
271    EMPTY_HOWTO (20),
272    EMPTY_HOWTO (21),
273    EMPTY_HOWTO (22),
274    EMPTY_HOWTO (23),
275  { R_IREL,     0, 3, 32, TRUE,   0, complain_overflow_signed,    or32_reloc, "IREL",    TRUE, 0xffffffff,0xffffffff, FALSE },
276  { R_IABS,     0, 3, 32, FALSE,  0, complain_overflow_bitfield,  or32_reloc, "IABS",    TRUE, 0xffffffff,0xffffffff, FALSE },
277  { R_ILOHALF,  0, 3, 16, TRUE,   0, complain_overflow_signed,    or32_reloc, "ILOHALF", TRUE, 0x0000ffff,0x0000ffff, FALSE },
278  { R_IHIHALF,  0, 3, 16, TRUE,   16,complain_overflow_signed,    or32_reloc, "IHIHALF", TRUE, 0xffff0000,0xffff0000, FALSE },
279  { R_IHCONST,  0, 3, 16, TRUE,   0, complain_overflow_signed,    or32_reloc, "IHCONST", TRUE, 0xffff0000,0xffff0000, FALSE },
280  { R_BYTE,     0, 0, 8,  FALSE,  0, complain_overflow_bitfield,  or32_reloc, "BYTE",    TRUE, 0x000000ff,0x000000ff, FALSE },
281  { R_HWORD,    0, 1, 16, FALSE,  0, complain_overflow_bitfield,  or32_reloc, "HWORD",   TRUE, 0x0000ffff,0x0000ffff, FALSE },
282  { R_WORD,     0, 2, 32, FALSE,  0, complain_overflow_bitfield,  or32_reloc, "WORD",    TRUE, 0xffffffff,0xffffffff, FALSE },
283};
284
285#define BADMAG(x) OR32BADMAG (x)
286
287#define RELOC_PROCESSING(relent, reloc, symbols, abfd, section) \
288  reloc_processing (relent, reloc, symbols, abfd, section)
289
290static void
291reloc_processing (relent,reloc, symbols, abfd, section)
292     arelent *relent;
293     struct internal_reloc *reloc;
294     asymbol **symbols;
295     bfd *abfd;
296     asection *section;
297{
298  static bfd_vma ihihalf_vaddr = (bfd_vma) -1;
299
300  relent->address = reloc->r_vaddr;
301  relent->howto = howto_table + reloc->r_type;
302
303  if (reloc->r_type == R_IHCONST)
304    {
305      /* The address of an R_IHCONST should always be the address of
306	 the immediately preceding R_IHIHALF.  relocs generated by gas
307	 are correct, but relocs generated by High C are different (I
308	 can't figure out what the address means for High C).  We can
309	 handle both gas and High C by ignoring the address here, and
310	 simply reusing the address saved for R_IHIHALF.  */
311      if (ihihalf_vaddr == (bfd_vma) -1)
312	abort ();
313
314      relent->address = ihihalf_vaddr;
315      ihihalf_vaddr = (bfd_vma) -1;
316      relent->addend = reloc->r_symndx;
317      relent->sym_ptr_ptr= bfd_abs_section_ptr->symbol_ptr_ptr;
318    }
319  else
320    {
321      relent->sym_ptr_ptr = symbols + obj_convert (abfd)[reloc->r_symndx];
322      relent->addend = 0;
323      relent->address-= section->vma;
324
325      if (reloc->r_type == R_IHIHALF)
326	ihihalf_vaddr = relent->address;
327      else if (ihihalf_vaddr != (bfd_vma) -1)
328	abort ();
329    }
330}
331
332/* The reloc processing routine for the optimized COFF linker.  */
333
334static bfd_boolean
335coff_or32_relocate_section (output_bfd, info, input_bfd, input_section,
336                            contents, relocs, syms, sections)
337     bfd *output_bfd ATTRIBUTE_UNUSED;
338     struct bfd_link_info *info;
339     bfd *input_bfd;
340     asection *input_section;
341     bfd_byte *contents;
342     struct internal_reloc *relocs;
343     struct internal_syment *syms;
344     asection **sections;
345{
346  struct internal_reloc *rel;
347  struct internal_reloc *relend;
348  bfd_boolean hihalf;
349  bfd_vma hihalf_val;
350
351  /* If we are performing a relocatable link, we don't need to do a
352     thing.  The caller will take care of adjusting the reloc
353     addresses and symbol indices.  */
354  if (info->relocatable)
355    return TRUE;
356
357  hihalf = FALSE;
358  hihalf_val = 0;
359
360  rel = relocs;
361  relend = rel + input_section->reloc_count;
362
363  for (; rel < relend; rel++)
364    {
365      long symndx;
366      bfd_byte *loc;
367      struct coff_link_hash_entry *h;
368      struct internal_syment *sym;
369      asection *sec;
370      bfd_vma val;
371      bfd_boolean overflow;
372      unsigned long insn;
373      long signed_value;
374      unsigned long unsigned_value;
375      bfd_reloc_status_type rstat;
376
377      symndx = rel->r_symndx;
378      loc = contents + rel->r_vaddr - input_section->vma;
379
380      if (symndx == -1 || rel->r_type == R_IHCONST)
381        h = NULL;
382      else
383        h = obj_coff_sym_hashes (input_bfd)[symndx];
384
385      sym = NULL;
386      sec = NULL;
387      val = 0;
388
389      /* An R_IHCONST reloc does not have a symbol.  Instead, the
390         symbol index is an addend.  R_IHCONST is always used in
391         conjunction with R_IHHALF.  */
392      if (rel->r_type != R_IHCONST)
393        {
394          if (h == NULL)
395            {
396              if (symndx == -1)
397                sec = bfd_abs_section_ptr;
398              else
399                {
400                  sym = syms + symndx;
401                  sec = sections[symndx];
402                  val = (sec->output_section->vma
403                         + sec->output_offset
404                         + sym->n_value
405                         - sec->vma);
406                }
407            }
408          else
409            {
410              if (h->root.type == bfd_link_hash_defined
411                  || h->root.type == bfd_link_hash_defweak)
412                {
413                  sec = h->root.u.def.section;
414                  val = (h->root.u.def.value
415                         + sec->output_section->vma
416                         + sec->output_offset);
417                }
418              else
419                {
420                  if (! ((*info->callbacks->undefined_symbol)
421                         (info, h->root.root.string, input_bfd, input_section,
422                          rel->r_vaddr - input_section->vma, TRUE)))
423                    return FALSE;
424                }
425            }
426
427          if (hihalf)
428            {
429              if (! ((*info->callbacks->reloc_dangerous)
430                     (info, "missing IHCONST reloc", input_bfd,
431                      input_section, rel->r_vaddr - input_section->vma)))
432                return FALSE;
433              hihalf = FALSE;
434            }
435        }
436
437      overflow = FALSE;
438
439      switch (rel->r_type)
440        {
441        default:
442          bfd_set_error (bfd_error_bad_value);
443          return FALSE;
444
445        case R_IREL:
446          insn = bfd_get_32 (input_bfd, loc);
447
448          /* Extract the addend.  */
449          signed_value = EXTRACT_JUMPTARG (insn);
450          signed_value = SIGN_EXTEND_JUMPTARG (signed_value);
451          signed_value <<= 2;
452
453          /* Determine the destination of the jump.  */
454          signed_value += val;
455
456	  /* Make the destination PC relative.  */
457	  signed_value -= (input_section->output_section->vma
458			   + input_section->output_offset
459			   + (rel->r_vaddr - input_section->vma));
460	  if (signed_value > 0x7ffffff || signed_value < - 0x8000000)
461	    {
462	      overflow = TRUE;
463	      signed_value = 0;
464	    }
465
466          /* Put the adjusted value back into the instruction.  */
467          signed_value >>= 2;
468          insn = INSERT_JUMPTARG(insn, signed_value);
469
470          bfd_put_32 (input_bfd, (bfd_vma) insn, loc);
471          break;
472
473        case R_ILOHALF:
474          insn = bfd_get_32 (input_bfd, loc);
475          unsigned_value = EXTRACT_HWORD (insn);
476          unsigned_value += val;
477          insn = INSERT_HWORD (insn, unsigned_value);
478          bfd_put_32 (input_bfd, insn, loc);
479          break;
480
481        case R_IHIHALF:
482          /* Save the value for the R_IHCONST reloc.  */
483          hihalf = TRUE;
484          hihalf_val = val;
485          break;
486
487        case R_IHCONST:
488          if (! hihalf)
489            {
490              if (! ((*info->callbacks->reloc_dangerous)
491                     (info, "missing IHIHALF reloc", input_bfd,
492                      input_section, rel->r_vaddr - input_section->vma)))
493                return FALSE;
494              hihalf_val = 0;
495            }
496
497          insn = bfd_get_32 (input_bfd, loc);
498          unsigned_value = rel->r_symndx + hihalf_val;
499          unsigned_value >>= 16;
500          insn = INSERT_HWORD (insn, unsigned_value);
501          bfd_put_32 (input_bfd, (bfd_vma) insn, loc);
502
503          hihalf = FALSE;
504          break;
505
506        case R_BYTE:
507        case R_HWORD:
508        case R_WORD:
509          rstat = _bfd_relocate_contents (howto_table + rel->r_type,
510                                          input_bfd, val, loc);
511          if (rstat == bfd_reloc_overflow)
512            overflow = TRUE;
513          else if (rstat != bfd_reloc_ok)
514            abort ();
515          break;
516        }
517
518      if (overflow)
519        {
520          const char *name;
521          char buf[SYMNMLEN + 1];
522
523          if (symndx == -1)
524            name = "*ABS*";
525          else if (h != NULL)
526            name = NULL;
527          else if (sym == NULL)
528            name = "*unknown*";
529          else if (sym->_n._n_n._n_zeroes == 0
530                   && sym->_n._n_n._n_offset != 0)
531            name = obj_coff_strings (input_bfd) + sym->_n._n_n._n_offset;
532          else
533            {
534              strncpy (buf, sym->_n._n_name, SYMNMLEN);
535              buf[SYMNMLEN] = '\0';
536              name = buf;
537            }
538
539          if (! ((*info->callbacks->reloc_overflow)
540                 (info, (h ? &h->root : NULL), name,
541		  howto_table[rel->r_type].name, (bfd_vma) 0, input_bfd,
542		  input_section, rel->r_vaddr - input_section->vma)))
543            return FALSE;
544        }
545    }
546
547  return TRUE;
548}
549
550#define coff_relocate_section coff_or32_relocate_section
551
552/* We don't want to change the symndx of a R_IHCONST reloc, since it
553   is actually an addend, not a symbol index at all.  */
554
555static bfd_boolean
556coff_or32_adjust_symndx (obfd, info, ibfd, sec, irel, adjustedp)
557     bfd *obfd ATTRIBUTE_UNUSED;
558     struct bfd_link_info *info ATTRIBUTE_UNUSED;
559     bfd *ibfd ATTRIBUTE_UNUSED;
560     asection *sec ATTRIBUTE_UNUSED;
561     struct internal_reloc *irel;
562     bfd_boolean *adjustedp;
563{
564  if (irel->r_type == R_IHCONST)
565    *adjustedp = TRUE;
566  else
567    *adjustedp = FALSE;
568  return TRUE;
569}
570
571#define coff_adjust_symndx coff_or32_adjust_symndx
572
573#include "coffcode.h"
574
575const bfd_target or32coff_big_vec =
576{
577  "coff-or32-big",  /* Name.  */
578  bfd_target_coff_flavour,
579  BFD_ENDIAN_BIG,   /* Data byte order is big.  */
580  BFD_ENDIAN_BIG,   /* Header byte order is big.  */
581
582  (HAS_RELOC  | EXEC_P |    /* Object flags.  */
583   HAS_LINENO | HAS_DEBUG |
584   HAS_SYMS   | HAS_LOCALS | WP_TEXT),
585
586  (SEC_HAS_CONTENTS | SEC_ALLOC | /* Section flags.  */
587   SEC_LOAD | SEC_RELOC |
588   SEC_READONLY ),
589  '_',        /* Leading underscore.  */
590  '/',        /* ar_pad_char.  */
591  15,         /* ar_max_namelen.  */
592
593  /* Data.  */
594  bfd_getb64, bfd_getb_signed_64, bfd_putb64,
595  bfd_getb32, bfd_getb_signed_32, bfd_putb32,
596  bfd_getb16, bfd_getb_signed_16, bfd_putb16,
597
598  /* Headers.  */
599  bfd_getb64, bfd_getb_signed_64, bfd_putb64,
600  bfd_getb32, bfd_getb_signed_32, bfd_putb32,
601  bfd_getb16, bfd_getb_signed_16, bfd_putb16,
602
603  {
604    _bfd_dummy_target,
605    coff_object_p,
606    bfd_generic_archive_p,
607    _bfd_dummy_target
608  },
609  {
610    bfd_false,
611    coff_mkobject,
612    _bfd_generic_mkarchive,
613    bfd_false
614  },
615  {
616    bfd_false,
617    coff_write_object_contents,
618    _bfd_write_archive_contents,
619    bfd_false
620  },
621
622  BFD_JUMP_TABLE_GENERIC (coff),
623  BFD_JUMP_TABLE_COPY (coff),
624  BFD_JUMP_TABLE_CORE (_bfd_nocore),
625  BFD_JUMP_TABLE_ARCHIVE (_bfd_archive_coff),
626  BFD_JUMP_TABLE_SYMBOLS (coff),
627  BFD_JUMP_TABLE_RELOCS (coff),
628  BFD_JUMP_TABLE_WRITE (coff),
629  BFD_JUMP_TABLE_LINK (coff),
630  BFD_JUMP_TABLE_DYNAMIC (_bfd_nodynamic),
631
632 /* Alternative_target.  */
633#ifdef TARGET_LITTLE_SYM
634  & TARGET_LITTLE_SYM,
635#else
636  NULL,
637#endif
638
639  COFF_SWAP_TABLE
640};
641