source: trunk/binutils/bfd/coff-or32.c@ 3193

Last change on this file since 3193 was 607, checked in by bird, 22 years ago

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