1 /* BFD back-end for VERSAdos-E objects.
2 Copyright 1995, 1996, 1998, 1999, 2000, 2001, 2002, 2003
3 Free Software Foundation, Inc.
4 Written by Steve Chamberlain of Cygnus Support <sac@cygnus.com>.
6 Versados is a Motorola trademark.
8 This file is part of BFD, the Binary File Descriptor library.
10 This program is free software; you can redistribute it and/or modify
11 it under the terms of the GNU General Public License as published by
12 the Free Software Foundation; either version 2 of the License, or
13 (at your option) any later version.
15 This program is distributed in the hope that it will be useful,
16 but WITHOUT ANY WARRANTY; without even the implied warranty of
17 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
18 GNU General Public License for more details.
20 You should have received a copy of the GNU General Public License
21 along with this program; if not, write to the Free Software
22 Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */
26 VERSAdos-E relocatable object file format
30 This module supports reading of VERSAdos relocatable
33 A VERSAdos file looks like contains
35 o Indentification Record
36 o External Symbol Definition Record
45 #include "libiberty.h"
47 static bfd_boolean versados_mkobject
PARAMS ((bfd
*));
48 static bfd_boolean versados_scan
PARAMS ((bfd
*));
49 static const bfd_target
*versados_object_p
PARAMS ((bfd
*));
50 static asymbol
*versados_new_symbol
51 PARAMS ((bfd
*, int, const char *, bfd_vma
, asection
*));
52 static char *new_symbol_string
PARAMS ((bfd
*, const char *));
53 static const bfd_target
*versados_object_p
PARAMS ((bfd
*));
54 static bfd_boolean versados_pass_2
PARAMS ((bfd
*));
55 static bfd_boolean versados_get_section_contents
56 PARAMS ((bfd
*, asection
*, void *, file_ptr
, bfd_size_type
));
57 static bfd_boolean versados_set_section_contents
58 PARAMS ((bfd
*, sec_ptr
, void *, file_ptr
, bfd_size_type
));
59 static int versados_sizeof_headers
PARAMS ((bfd
*, bfd_boolean
));
60 static long int versados_get_symtab_upper_bound
PARAMS ((bfd
*));
61 static long int versados_get_symtab
PARAMS ((bfd
*, asymbol
**));
62 static void versados_get_symbol_info
63 PARAMS ((bfd
*, asymbol
*, symbol_info
*));
64 static void versados_print_symbol
65 PARAMS ((bfd
*, PTR
, asymbol
*, bfd_print_symbol_type
));
66 static long versados_get_reloc_upper_bound
67 PARAMS ((bfd
*, sec_ptr
));
68 static long versados_canonicalize_reloc
69 PARAMS ((bfd
*, sec_ptr
, arelent
**, asymbol
**));
76 #define ES_BASE 17 /* first symbol has esdid 17 */
78 /* Per file target dependent information */
80 /* one for each section */
83 asection
*section
; /* ptr to bfd version */
84 unsigned char *contents
; /* used to build image */
86 int relocs
; /* reloc count, valid end of pass 1 */
87 int donerel
; /* have relocs been translated */
90 typedef struct versados_data_struct
92 int es_done
; /* count of symbol index, starts at ES_BASE */
93 asymbol
*symbols
; /* pointer to local symbols */
94 char *strings
; /* strings of all the above */
95 int stringlen
; /* len of string table (valid end of pass1) */
96 int nsecsyms
; /* number of sections */
98 int ndefs
; /* number of exported symbols (they dont get esdids) */
99 int nrefs
; /* number of imported symbols (valid end of pass1) */
101 int ref_idx
; /* current processed value of the above */
106 struct esdid e
[16]; /* per section info */
107 int alert
; /* to see if we're trampling */
108 asymbol
*rest
[256 - 16]; /* per symbol info */
113 #define VDATA(abfd) (abfd->tdata.versados_data)
114 #define EDATA(abfd, n) (abfd->tdata.versados_data->e[n])
115 #define RDATA(abfd, n) (abfd->tdata.versados_data->rest[n])
121 unsigned char map
[4];
123 unsigned char data
[200];
129 char type
; /* record type */
130 char name
[10]; /* module name */
131 char rev
; /* module rev number */
147 unsigned char esd_entries
[1];
151 #define ESD_STD_REL_SEC 2
152 #define ESD_SHRT_REL_SEC 3
153 #define ESD_XDEF_IN_SEC 4
154 #define ESD_XREF_SYM 7
155 #define ESD_XREF_SEC 6
156 #define ESD_XDEF_IN_ABS 5
160 struct ext_vheader header
;
165 static int get_record
PARAMS ((bfd
*, union ext_any
*));
166 static int get_4
PARAMS ((unsigned char **));
167 static void get_10
PARAMS ((unsigned char **, char *));
168 static void process_esd
PARAMS ((bfd
*, struct ext_esd
*, int));
169 static int get_offset
PARAMS ((int, unsigned char *));
170 static void process_otr
PARAMS ((bfd
*, struct ext_otr
*, int));
172 /* Initialize by filling in the hex conversion array. */
174 /* Set up the tdata information. */
177 versados_mkobject (abfd
)
180 if (abfd
->tdata
.versados_data
== NULL
)
182 bfd_size_type amt
= sizeof (tdata_type
);
183 tdata_type
*tdata
= (tdata_type
*) bfd_alloc (abfd
, amt
);
186 abfd
->tdata
.versados_data
= tdata
;
187 tdata
->symbols
= NULL
;
188 VDATA (abfd
)->alert
= 0x12345678;
191 bfd_default_set_arch_mach (abfd
, bfd_arch_m68k
, 0);
195 /* Report a problem in an S record file. FIXME: This probably should
196 not call fprintf, but we really do need some mechanism for printing
200 versados_new_symbol (abfd
, snum
, name
, val
, sec
)
207 asymbol
*n
= VDATA (abfd
)->symbols
+ snum
;
217 get_record (abfd
, ptr
)
221 if (bfd_bread (&ptr
->size
, (bfd_size_type
) 1, abfd
) != 1
222 || (bfd_bread ((char *) ptr
+ 1, (bfd_size_type
) ptr
->size
, abfd
)
232 unsigned char *p
= *pp
;
234 return (p
[0] << 24) | (p
[1] << 16) | (p
[2] << 8) | (p
[3] << 0);
242 char *p
= (char *) *pp
;
255 new_symbol_string (abfd
, name
)
259 char *n
= VDATA (abfd
)->strings
;
260 strcpy (VDATA (abfd
)->strings
, name
);
261 VDATA (abfd
)->strings
+= strlen (VDATA (abfd
)->strings
) + 1;
266 process_esd (abfd
, esd
, pass
)
271 /* Read through the ext def for the est entries */
272 int togo
= esd
->size
- 2;
277 unsigned char *ptr
= esd
->esd_entries
;
278 unsigned char *end
= ptr
+ togo
;
281 int scn
= *ptr
& 0xf;
282 int typ
= (*ptr
>> 4) & 0xf;
284 /* Declare this section */
285 sprintf (name
, "%d", scn
);
286 sec
= bfd_make_section_old_way (abfd
, strdup (name
));
287 sec
->target_index
= scn
;
288 EDATA (abfd
, scn
).section
= sec
;
297 int snum
= VDATA (abfd
)->ref_idx
++;
301 VDATA (abfd
)->stringlen
+= strlen (name
) + 1;
307 char *n
= new_symbol_string (abfd
, name
);
308 s
= versados_new_symbol (abfd
, snum
, n
, (bfd_vma
) 0,
309 bfd_und_section_ptr
);
310 esidx
= VDATA (abfd
)->es_done
++;
311 RDATA (abfd
, esidx
- ES_BASE
) = s
;
318 start
= get_4 (&ptr
);
320 case ESD_STD_REL_SEC
:
321 case ESD_SHRT_REL_SEC
:
323 sec
->_raw_size
= get_4 (&ptr
);
324 sec
->flags
|= SEC_ALLOC
;
327 case ESD_XDEF_IN_ABS
:
328 sec
= (asection
*) & bfd_abs_section
;
329 case ESD_XDEF_IN_SEC
:
331 int snum
= VDATA (abfd
)->def_idx
++;
337 /* Just remember the symbol */
338 VDATA (abfd
)->stringlen
+= strlen (name
) + 1;
343 char *n
= new_symbol_string (abfd
, name
);
344 s
= versados_new_symbol (abfd
, snum
+ VDATA (abfd
)->nrefs
, n
,
346 s
->flags
|= BSF_GLOBAL
;
356 #define R_RELWORD_NEG 3
357 #define R_RELLONG_NEG 4
359 reloc_howto_type versados_howto_table
[] =
361 HOWTO (R_RELWORD
, 0, 1, 16, FALSE
,
362 0, complain_overflow_dont
, 0,
363 "+v16", TRUE
, 0x0000ffff, 0x0000ffff, FALSE
),
364 HOWTO (R_RELLONG
, 0, 2, 32, FALSE
,
365 0, complain_overflow_dont
, 0,
366 "+v32", TRUE
, 0xffffffff, 0xffffffff, FALSE
),
368 HOWTO (R_RELWORD_NEG
, 0, -1, 16, FALSE
,
369 0, complain_overflow_dont
, 0,
370 "-v16", TRUE
, 0x0000ffff, 0x0000ffff, FALSE
),
371 HOWTO (R_RELLONG_NEG
, 0, -2, 32, FALSE
,
372 0, complain_overflow_dont
, 0,
373 "-v32", TRUE
, 0xffffffff, 0xffffffff, FALSE
),
377 get_offset (len
, ptr
)
388 for (i
= 1; i
< len
; i
++)
389 val
= (val
<< 8) | *ptr
++;
396 process_otr (abfd
, otr
, pass
)
402 unsigned char *srcp
= otr
->data
;
403 unsigned char *endp
= (unsigned char *) otr
+ otr
->size
;
404 unsigned int bits
= (otr
->map
[0] << 24)
405 | (otr
->map
[1] << 16)
407 | (otr
->map
[3] << 0);
409 struct esdid
*esdid
= &EDATA (abfd
, otr
->esdid
- 1);
410 unsigned char *contents
= esdid
->contents
;
411 int need_contents
= 0;
412 unsigned int dst_idx
= esdid
->pc
;
414 for (shift
= ((unsigned long) 1 << 31); shift
&& srcp
< endp
; shift
>>= 1)
419 int esdids
= (flag
>> 5) & 0x7;
420 int sizeinwords
= ((flag
>> 3) & 1) ? 2 : 1;
421 int offsetlen
= flag
& 0x7;
426 /* A zero esdid means the new pc is the offset given */
427 dst_idx
+= get_offset (offsetlen
, srcp
);
432 int val
= get_offset (offsetlen
, srcp
+ esdids
);
436 for (j
= 0; j
< sizeinwords
* 2; j
++)
438 contents
[dst_idx
+ (sizeinwords
* 2) - j
- 1] = val
;
442 for (j
= 0; j
< esdids
; j
++)
448 int rn
= EDATA (abfd
, otr
->esdid
- 1).relocs
++;
451 /* this is the first pass over the data,
452 just remember that we need a reloc */
457 EDATA (abfd
, otr
->esdid
- 1).section
->relocation
+ rn
;
458 n
->address
= dst_idx
;
460 n
->sym_ptr_ptr
= (asymbol
**) esdid
;
462 n
->howto
= versados_howto_table
+ ((j
& 1) * 2) + (sizeinwords
- 1);
467 dst_idx
+= sizeinwords
* 2;
473 if (dst_idx
< esdid
->section
->_raw_size
)
476 /* absolute code, comes in 16 bit lumps */
477 contents
[dst_idx
] = srcp
[0];
478 contents
[dst_idx
+ 1] = srcp
[1];
484 EDATA (abfd
, otr
->esdid
- 1).pc
= dst_idx
;
486 if (!contents
&& need_contents
)
488 bfd_size_type size
= esdid
->section
->_raw_size
;
489 esdid
->contents
= (unsigned char *) bfd_alloc (abfd
, size
);
503 VDATA (abfd
)->stringlen
= 0;
504 VDATA (abfd
)->nrefs
= 0;
505 VDATA (abfd
)->ndefs
= 0;
506 VDATA (abfd
)->ref_idx
= 0;
507 VDATA (abfd
)->def_idx
= 0;
508 VDATA (abfd
)->pass_2_done
= 0;
513 if (!get_record (abfd
, &any
))
515 switch (any
.header
.type
)
523 process_esd (abfd
, &any
.esd
, 1);
526 process_otr (abfd
, &any
.otr
, 1);
531 /* Now allocate space for the relocs and sections */
533 VDATA (abfd
)->nrefs
= VDATA (abfd
)->ref_idx
;
534 VDATA (abfd
)->ndefs
= VDATA (abfd
)->def_idx
;
535 VDATA (abfd
)->ref_idx
= 0;
536 VDATA (abfd
)->def_idx
= 0;
538 abfd
->symcount
= VDATA (abfd
)->nrefs
+ VDATA (abfd
)->ndefs
;
540 for (i
= 0; i
< 16; i
++)
542 struct esdid
*esdid
= &EDATA (abfd
, i
);
545 amt
= (bfd_size_type
) esdid
->relocs
* sizeof (arelent
);
546 esdid
->section
->relocation
= (arelent
*) bfd_alloc (abfd
, amt
);
551 esdid
->section
->flags
|= SEC_HAS_CONTENTS
| SEC_LOAD
;
553 esdid
->section
->reloc_count
= esdid
->relocs
;
555 esdid
->section
->flags
|= SEC_RELOC
;
559 /* Add an entry into the symbol table for it */
561 VDATA (abfd
)->stringlen
+= strlen (esdid
->section
->name
) + 1;
565 abfd
->symcount
+= nsecs
;
567 amt
= abfd
->symcount
;
568 amt
*= sizeof (asymbol
);
569 VDATA (abfd
)->symbols
= (asymbol
*) bfd_alloc (abfd
, amt
);
571 amt
= VDATA (abfd
)->stringlen
;
572 VDATA (abfd
)->strings
= bfd_alloc (abfd
, amt
);
574 if ((VDATA (abfd
)->symbols
== NULL
&& abfd
->symcount
> 0)
575 || (VDATA (abfd
)->strings
== NULL
&& VDATA (abfd
)->stringlen
> 0))
578 /* Actually fill in the section symbols,
579 we stick them at the end of the table */
581 for (j
= VDATA (abfd
)->nrefs
+ VDATA (abfd
)->ndefs
, i
= 0; i
< 16; i
++)
583 struct esdid
*esdid
= &EDATA (abfd
, i
);
584 asection
*sec
= esdid
->section
;
587 asymbol
*s
= VDATA (abfd
)->symbols
+ j
;
588 s
->name
= new_symbol_string (abfd
, sec
->name
);
590 s
->flags
= BSF_LOCAL
;
597 abfd
->flags
|= HAS_SYMS
;
599 /* Set this to nsecs - since we've already planted the section
601 VDATA (abfd
)->nsecsyms
= nsecs
;
603 VDATA (abfd
)->ref_idx
= 0;
608 /* Check whether an existing file is a versados file. */
610 static const bfd_target
*
611 versados_object_p (abfd
)
614 struct ext_vheader ext
;
616 tdata_type
*tdata_save
;
618 if (bfd_seek (abfd
, (file_ptr
) 0, SEEK_SET
) != 0)
621 if (bfd_bread (&len
, (bfd_size_type
) 1, abfd
) != 1)
623 if (bfd_get_error () != bfd_error_system_call
)
624 bfd_set_error (bfd_error_wrong_format
);
628 if (bfd_bread (&ext
.type
, (bfd_size_type
) len
, abfd
) != len
)
630 if (bfd_get_error () != bfd_error_system_call
)
631 bfd_set_error (bfd_error_wrong_format
);
635 /* We guess that the language field will never be larger than 10.
636 In sample files, it is always either 0 or 1. Checking for this
637 prevents confusion with Intel Hex files. */
638 if (ext
.type
!= VHEADER
641 bfd_set_error (bfd_error_wrong_format
);
645 /* OK, looks like a record, build the tdata and read in. */
647 tdata_save
= abfd
->tdata
.versados_data
;
648 if (!versados_mkobject (abfd
) || !versados_scan (abfd
))
650 abfd
->tdata
.versados_data
= tdata_save
;
658 versados_pass_2 (abfd
)
663 if (VDATA (abfd
)->pass_2_done
)
666 if (bfd_seek (abfd
, (file_ptr
) 0, SEEK_SET
) != 0)
669 VDATA (abfd
)->es_done
= ES_BASE
;
671 /* read records till we get to where we want to be */
675 get_record (abfd
, &any
);
676 switch (any
.header
.type
)
679 VDATA (abfd
)->pass_2_done
= 1;
682 process_esd (abfd
, &any
.esd
, 2);
685 process_otr (abfd
, &any
.otr
, 2);
692 versados_get_section_contents (abfd
, section
, location
, offset
, count
)
699 if (!versados_pass_2 (abfd
))
703 EDATA (abfd
, section
->target_index
).contents
+ offset
,
709 #define versados_get_section_contents_in_window \
710 _bfd_generic_get_section_contents_in_window
713 versados_set_section_contents (abfd
, section
, location
, offset
, bytes_to_do
)
714 bfd
*abfd ATTRIBUTE_UNUSED
;
715 sec_ptr section ATTRIBUTE_UNUSED
;
716 PTR location ATTRIBUTE_UNUSED
;
717 file_ptr offset ATTRIBUTE_UNUSED
;
718 bfd_size_type bytes_to_do ATTRIBUTE_UNUSED
;
724 versados_sizeof_headers (abfd
, exec
)
725 bfd
*abfd ATTRIBUTE_UNUSED
;
726 bfd_boolean exec ATTRIBUTE_UNUSED
;
731 /* Return the amount of memory needed to read the symbol table. */
734 versados_get_symtab_upper_bound (abfd
)
737 return (bfd_get_symcount (abfd
) + 1) * sizeof (asymbol
*);
740 /* Return the symbol table. */
743 versados_get_symtab (abfd
, alocation
)
747 unsigned int symcount
= bfd_get_symcount (abfd
);
751 versados_pass_2 (abfd
);
753 for (i
= 0, s
= VDATA (abfd
)->symbols
;
766 versados_get_symbol_info (ignore_abfd
, symbol
, ret
)
767 bfd
*ignore_abfd ATTRIBUTE_UNUSED
;
771 bfd_symbol_info (symbol
, ret
);
775 versados_print_symbol (abfd
, afile
, symbol
, how
)
779 bfd_print_symbol_type how
;
781 FILE *file
= (FILE *) afile
;
784 case bfd_print_symbol_name
:
785 fprintf (file
, "%s", symbol
->name
);
788 bfd_print_symbol_vandf (abfd
, (PTR
) file
, symbol
);
789 fprintf (file
, " %-5s %s",
790 symbol
->section
->name
,
797 versados_get_reloc_upper_bound (abfd
, asect
)
798 bfd
*abfd ATTRIBUTE_UNUSED
;
801 return (asect
->reloc_count
+ 1) * sizeof (arelent
*);
805 versados_canonicalize_reloc (abfd
, section
, relptr
, symbols
)
814 versados_pass_2 (abfd
);
815 src
= section
->relocation
;
816 if (!EDATA (abfd
, section
->target_index
).donerel
)
818 EDATA (abfd
, section
->target_index
).donerel
= 1;
819 /* translate from indexes to symptr ptrs */
820 for (count
= 0; count
< section
->reloc_count
; count
++)
822 int esdid
= (int) src
[count
].sym_ptr_ptr
;
826 src
[count
].sym_ptr_ptr
= bfd_abs_section
.symbol_ptr_ptr
;
828 else if (esdid
< ES_BASE
) /* Section relative thing */
830 struct esdid
*e
= &EDATA (abfd
, esdid
- 1);
833 /** relocation relative to section which was
836 src
[count
].sym_ptr_ptr
= e
->section
->symbol_ptr_ptr
;
840 src
[count
].sym_ptr_ptr
= symbols
+ esdid
- ES_BASE
;
846 for (count
= 0; count
< section
->reloc_count
; count
++)
851 return section
->reloc_count
;
854 #define versados_close_and_cleanup _bfd_generic_close_and_cleanup
855 #define versados_bfd_free_cached_info _bfd_generic_bfd_free_cached_info
856 #define versados_new_section_hook _bfd_generic_new_section_hook
858 #define versados_bfd_is_local_label_name bfd_generic_is_local_label_name
859 #define versados_get_lineno _bfd_nosymbols_get_lineno
860 #define versados_find_nearest_line _bfd_nosymbols_find_nearest_line
861 #define versados_make_empty_symbol _bfd_generic_make_empty_symbol
862 #define versados_bfd_make_debug_symbol _bfd_nosymbols_bfd_make_debug_symbol
863 #define versados_read_minisymbols _bfd_generic_read_minisymbols
864 #define versados_minisymbol_to_symbol _bfd_generic_minisymbol_to_symbol
866 #define versados_bfd_reloc_type_lookup _bfd_norelocs_bfd_reloc_type_lookup
868 #define versados_set_arch_mach bfd_default_set_arch_mach
870 #define versados_bfd_get_relocated_section_contents \
871 bfd_generic_get_relocated_section_contents
872 #define versados_bfd_relax_section bfd_generic_relax_section
873 #define versados_bfd_gc_sections bfd_generic_gc_sections
874 #define versados_bfd_merge_sections bfd_generic_merge_sections
875 #define versados_bfd_discard_group bfd_generic_discard_group
876 #define versados_bfd_link_hash_table_create _bfd_generic_link_hash_table_create
877 #define versados_bfd_link_hash_table_free _bfd_generic_link_hash_table_free
878 #define versados_bfd_link_add_symbols _bfd_generic_link_add_symbols
879 #define versados_bfd_link_just_syms _bfd_generic_link_just_syms
880 #define versados_bfd_final_link _bfd_generic_final_link
881 #define versados_bfd_link_split_section _bfd_generic_link_split_section
883 const bfd_target versados_vec
=
885 "versados", /* name */
886 bfd_target_versados_flavour
,
887 BFD_ENDIAN_BIG
, /* target byte order */
888 BFD_ENDIAN_BIG
, /* target headers byte order */
889 (HAS_RELOC
| EXEC_P
| /* object flags */
890 HAS_LINENO
| HAS_DEBUG
|
891 HAS_SYMS
| HAS_LOCALS
| WP_TEXT
| D_PAGED
),
892 (SEC_CODE
| SEC_DATA
| SEC_ROM
| SEC_HAS_CONTENTS
893 | SEC_ALLOC
| SEC_LOAD
| SEC_RELOC
), /* section flags */
894 0, /* leading underscore */
895 ' ', /* ar_pad_char */
896 16, /* ar_max_namelen */
897 bfd_getb64
, bfd_getb_signed_64
, bfd_putb64
,
898 bfd_getb32
, bfd_getb_signed_32
, bfd_putb32
,
899 bfd_getb16
, bfd_getb_signed_16
, bfd_putb16
, /* data */
900 bfd_getb64
, bfd_getb_signed_64
, bfd_putb64
,
901 bfd_getb32
, bfd_getb_signed_32
, bfd_putb32
,
902 bfd_getb16
, bfd_getb_signed_16
, bfd_putb16
, /* hdrs */
906 versados_object_p
, /* bfd_check_format */
913 _bfd_generic_mkarchive
,
916 { /* bfd_write_contents */
919 _bfd_write_archive_contents
,
923 BFD_JUMP_TABLE_GENERIC (versados
),
924 BFD_JUMP_TABLE_COPY (_bfd_generic
),
925 BFD_JUMP_TABLE_CORE (_bfd_nocore
),
926 BFD_JUMP_TABLE_ARCHIVE (_bfd_noarchive
),
927 BFD_JUMP_TABLE_SYMBOLS (versados
),
928 BFD_JUMP_TABLE_RELOCS (versados
),
929 BFD_JUMP_TABLE_WRITE (versados
),
930 BFD_JUMP_TABLE_LINK (versados
),
931 BFD_JUMP_TABLE_DYNAMIC (_bfd_nodynamic
),