1 /* BFD back-end for VERSAdos-E objects.
2 Copyright (C) 1995-2014 Free Software Foundation, Inc.
3 Written by Steve Chamberlain of Cygnus Support <sac@cygnus.com>.
5 Versados is a Motorola trademark.
7 This file is part of BFD, the Binary File Descriptor library.
9 This program is free software; you can redistribute it and/or modify
10 it under the terms of the GNU General Public License as published by
11 the Free Software Foundation; either version 3 of the License, or
12 (at your option) any later version.
14 This program is distributed in the hope that it will be useful,
15 but WITHOUT ANY WARRANTY; without even the implied warranty of
16 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
17 GNU General Public License for more details.
19 You should have received a copy of the GNU General Public License
20 along with this program; if not, write to the Free Software
21 Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
22 MA 02110-1301, 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 Identification Record
36 o External Symbol Definition Record
43 #include "libiberty.h"
51 #define ES_BASE 17 /* First symbol has esdid 17. */
53 /* Per file target dependent information. */
55 /* One for each section. */
58 asection *section; /* Ptr to bfd version. */
59 unsigned char *contents; /* Used to build image. */
61 int relocs; /* Reloc count, valid end of pass 1. */
62 int donerel; /* Have relocs been translated. */
65 typedef struct versados_data_struct
67 int es_done; /* Count of symbol index, starts at ES_BASE. */
68 asymbol *symbols; /* Pointer to local symbols. */
69 char *strings; /* Strings of all the above. */
70 int stringlen; /* Len of string table (valid end of pass1). */
71 int nsecsyms; /* Number of sections. */
73 int ndefs; /* Number of exported symbols (they dont get esdids). */
74 int nrefs; /* Number of imported symbols (valid end of pass1). */
76 int ref_idx; /* Current processed value of the above. */
81 struct esdid e[16]; /* Per section info. */
82 int alert; /* To see if we're trampling. */
83 asymbol *rest[256 - 16]; /* Per symbol info. */
87 #define VDATA(abfd) (abfd->tdata.versados_data)
88 #define EDATA(abfd, n) (abfd->tdata.versados_data->e[(n) < 16 ? (n) : 0])
89 #define RDATA(abfd, n) (abfd->tdata.versados_data->rest[(n) < 240 ? (n) : 0])
97 unsigned char data[200];
103 char type; /* Record type. */
104 char name[10]; /* Module name. */
105 char rev; /* Module rev number. */
121 unsigned char esd_entries[1];
126 #define ESD_STD_REL_SEC 2
127 #define ESD_SHRT_REL_SEC 3
128 #define ESD_XDEF_IN_SEC 4
129 #define ESD_XDEF_IN_ABS 5
130 #define ESD_XREF_SEC 6
131 #define ESD_XREF_SYM 7
136 struct ext_vheader header;
141 /* Initialize by filling in the hex conversion array. */
143 /* Set up the tdata information. */
146 versados_mkobject (bfd *abfd)
148 if (abfd->tdata.versados_data == NULL)
150 bfd_size_type amt = sizeof (tdata_type);
151 tdata_type *tdata = bfd_alloc (abfd, amt);
155 abfd->tdata.versados_data = tdata;
156 tdata->symbols = NULL;
157 VDATA (abfd)->alert = 0x12345678;
160 bfd_default_set_arch_mach (abfd, bfd_arch_m68k, 0);
164 /* Report a problem in an S record file. FIXME: This probably should
165 not call fprintf, but we really do need some mechanism for printing
169 versados_new_symbol (bfd *abfd,
175 asymbol *n = VDATA (abfd)->symbols + snum;
185 get_record (bfd *abfd, union ext_any *ptr)
187 if (bfd_bread (&ptr->size, (bfd_size_type) 1, abfd) != 1
188 || (bfd_bread ((char *) ptr + 1, (bfd_size_type) ptr->size, abfd)
193 bfd_size_type amt = ptr->size + 1;
195 if (amt < sizeof (* ptr))
196 memset ((char *) ptr + amt, 0, sizeof (* ptr) - amt);
203 get_4 (unsigned char **pp)
205 unsigned char *p = *pp;
208 return (p[0] << 24) | (p[1] << 16) | (p[2] << 8) | (p[3] << 0);
212 get_10 (unsigned char **pp, char *name)
214 char *p = (char *) *pp;
218 while (*p != ' ' && len)
227 new_symbol_string (bfd *abfd, const char *name)
229 char *n = VDATA (abfd)->strings;
231 strcpy (VDATA (abfd)->strings, name);
232 VDATA (abfd)->strings += strlen (VDATA (abfd)->strings) + 1;
237 process_esd (bfd *abfd, struct ext_esd *esd, int pass)
239 /* Read through the ext def for the est entries. */
240 int togo = esd->size - 2;
245 unsigned char *ptr = esd->esd_entries;
246 unsigned char *end = ptr + togo;
250 int scn = *ptr & 0xf;
251 int typ = (*ptr >> 4) & 0xf;
253 /* Declare this section. */
254 sprintf (name, "%d", scn);
255 sec = bfd_make_section_old_way (abfd, strdup (name));
256 sec->target_index = scn;
257 EDATA (abfd, scn).section = sec;
267 int snum = VDATA (abfd)->ref_idx++;
270 VDATA (abfd)->stringlen += strlen (name) + 1;
275 char *n = new_symbol_string (abfd, name);
277 s = versados_new_symbol (abfd, snum, n, (bfd_vma) 0,
278 bfd_und_section_ptr);
279 esidx = VDATA (abfd)->es_done++;
280 RDATA (abfd, esidx - ES_BASE) = s;
288 start = get_4 (&ptr);
291 case ESD_STD_REL_SEC:
292 case ESD_SHRT_REL_SEC:
293 sec->size = get_4 (&ptr);
294 sec->flags |= SEC_ALLOC;
296 case ESD_XDEF_IN_ABS:
297 sec = bfd_abs_section_ptr;
298 case ESD_XDEF_IN_SEC:
300 int snum = VDATA (abfd)->def_idx++;
306 /* Just remember the symbol. */
307 VDATA (abfd)->stringlen += strlen (name) + 1;
311 char *n = new_symbol_string (abfd, name);
313 s = versados_new_symbol (abfd, snum + VDATA (abfd)->nrefs, n,
315 s->flags |= BSF_GLOBAL;
325 #define R_RELWORD_NEG 3
326 #define R_RELLONG_NEG 4
328 reloc_howto_type versados_howto_table[] =
330 HOWTO (R_RELWORD, 0, 1, 16, FALSE,
331 0, complain_overflow_dont, 0,
332 "+v16", TRUE, 0x0000ffff, 0x0000ffff, FALSE),
333 HOWTO (R_RELLONG, 0, 2, 32, FALSE,
334 0, complain_overflow_dont, 0,
335 "+v32", TRUE, 0xffffffff, 0xffffffff, FALSE),
337 HOWTO (R_RELWORD_NEG, 0, -1, 16, FALSE,
338 0, complain_overflow_dont, 0,
339 "-v16", TRUE, 0x0000ffff, 0x0000ffff, FALSE),
340 HOWTO (R_RELLONG_NEG, 0, -2, 32, FALSE,
341 0, complain_overflow_dont, 0,
342 "-v32", TRUE, 0xffffffff, 0xffffffff, FALSE),
346 get_offset (int len, unsigned char *ptr)
357 for (i = 1; i < len; i++)
358 val = (val << 8) | *ptr++;
365 process_otr (bfd *abfd, struct ext_otr *otr, int pass)
368 unsigned char *srcp = otr->data;
369 unsigned char *endp = (unsigned char *) otr + otr->size;
370 unsigned int bits = (otr->map[0] << 24)
371 | (otr->map[1] << 16)
373 | (otr->map[3] << 0);
375 struct esdid *esdid = &EDATA (abfd, otr->esdid - 1);
376 unsigned char *contents = esdid->contents;
377 bfd_boolean need_contents = FALSE;
378 unsigned int dst_idx = esdid->pc;
380 for (shift = ((unsigned long) 1 << 31); shift && srcp < endp; shift >>= 1)
385 int esdids = (flag >> 5) & 0x7;
386 int sizeinwords = ((flag >> 3) & 1) ? 2 : 1;
387 int offsetlen = flag & 0x7;
392 /* A zero esdid means the new pc is the offset given. */
393 dst_idx += get_offset (offsetlen, srcp);
398 int val = get_offset (offsetlen, srcp + esdids);
401 need_contents = TRUE;
403 for (j = 0; j < sizeinwords * 2; j++)
405 contents[dst_idx + (sizeinwords * 2) - j - 1] = val;
409 for (j = 0; j < esdids; j++)
415 int rn = EDATA (abfd, otr->esdid - 1).relocs++;
419 /* This is the first pass over the data,
420 just remember that we need a reloc. */
425 EDATA (abfd, otr->esdid - 1).section->relocation + rn;
426 n->address = dst_idx;
428 n->sym_ptr_ptr = (asymbol **) (size_t) id;
430 n->howto = versados_howto_table + ((j & 1) * 2) + (sizeinwords - 1);
435 dst_idx += sizeinwords * 2;
440 need_contents = TRUE;
442 if (esdid->section && contents && dst_idx < esdid->section->size)
445 /* Absolute code, comes in 16 bit lumps. */
446 contents[dst_idx] = srcp[0];
447 contents[dst_idx + 1] = srcp[1];
455 EDATA (abfd, otr->esdid - 1).pc = dst_idx;
457 if (!contents && need_contents)
463 size = esdid->section->size;
464 esdid->contents = bfd_alloc (abfd, size);
467 esdid->contents = NULL;
472 versados_scan (bfd *abfd)
474 bfd_boolean loop = TRUE;
480 VDATA (abfd)->stringlen = 0;
481 VDATA (abfd)->nrefs = 0;
482 VDATA (abfd)->ndefs = 0;
483 VDATA (abfd)->ref_idx = 0;
484 VDATA (abfd)->def_idx = 0;
485 VDATA (abfd)->pass_2_done = 0;
491 if (!get_record (abfd, &any))
493 switch (any.header.type)
501 process_esd (abfd, &any.esd, 1);
504 process_otr (abfd, &any.otr, 1);
509 /* Now allocate space for the relocs and sections. */
510 VDATA (abfd)->nrefs = VDATA (abfd)->ref_idx;
511 VDATA (abfd)->ndefs = VDATA (abfd)->def_idx;
512 VDATA (abfd)->ref_idx = 0;
513 VDATA (abfd)->def_idx = 0;
515 abfd->symcount = VDATA (abfd)->nrefs + VDATA (abfd)->ndefs;
517 for (i = 0; i < 16; i++)
519 struct esdid *esdid = &EDATA (abfd, i);
523 amt = (bfd_size_type) esdid->relocs * sizeof (arelent);
524 esdid->section->relocation = bfd_alloc (abfd, amt);
528 esdid->section->flags |= SEC_HAS_CONTENTS | SEC_LOAD;
530 esdid->section->reloc_count = esdid->relocs;
532 esdid->section->flags |= SEC_RELOC;
536 /* Add an entry into the symbol table for it. */
538 VDATA (abfd)->stringlen += strlen (esdid->section->name) + 1;
542 abfd->symcount += nsecs;
544 amt = abfd->symcount;
545 amt *= sizeof (asymbol);
546 VDATA (abfd)->symbols = bfd_alloc (abfd, amt);
548 amt = VDATA (abfd)->stringlen;
549 VDATA (abfd)->strings = bfd_alloc (abfd, amt);
551 if ((VDATA (abfd)->symbols == NULL && abfd->symcount > 0)
552 || (VDATA (abfd)->strings == NULL && VDATA (abfd)->stringlen > 0))
555 /* Actually fill in the section symbols,
556 we stick them at the end of the table. */
557 for (j = VDATA (abfd)->nrefs + VDATA (abfd)->ndefs, i = 0; i < 16; i++)
559 struct esdid *esdid = &EDATA (abfd, i);
560 asection *sec = esdid->section;
564 asymbol *s = VDATA (abfd)->symbols + j;
565 s->name = new_symbol_string (abfd, sec->name);
567 s->flags = BSF_LOCAL;
575 abfd->flags |= HAS_SYMS;
577 /* Set this to nsecs - since we've already planted the section
579 VDATA (abfd)->nsecsyms = nsecs;
581 VDATA (abfd)->ref_idx = 0;
586 /* Check whether an existing file is a versados file. */
588 static const bfd_target *
589 versados_object_p (bfd *abfd)
591 struct ext_vheader ext;
593 tdata_type *tdata_save;
595 if (bfd_seek (abfd, (file_ptr) 0, SEEK_SET) != 0)
598 if (bfd_bread (&len, (bfd_size_type) 1, abfd) != 1)
600 if (bfd_get_error () != bfd_error_system_call)
601 bfd_set_error (bfd_error_wrong_format);
605 /* PR 17512: file: 726-2128-0.004. */
608 bfd_set_error (bfd_error_wrong_format);
612 if (bfd_bread (&ext.type, (bfd_size_type) len, abfd) != len)
614 if (bfd_get_error () != bfd_error_system_call)
615 bfd_set_error (bfd_error_wrong_format);
619 /* We guess that the language field will never be larger than 10.
620 In sample files, it is always either 0 or 1. Checking for this
621 prevents confusion with Intel Hex files. */
622 if (ext.type != VHEADER
625 bfd_set_error (bfd_error_wrong_format);
629 /* OK, looks like a record, build the tdata and read in. */
630 tdata_save = abfd->tdata.versados_data;
631 if (!versados_mkobject (abfd) || !versados_scan (abfd))
633 abfd->tdata.versados_data = tdata_save;
641 versados_pass_2 (bfd *abfd)
645 if (VDATA (abfd)->pass_2_done)
648 if (bfd_seek (abfd, (file_ptr) 0, SEEK_SET) != 0)
651 VDATA (abfd)->es_done = ES_BASE;
653 /* Read records till we get to where we want to be. */
656 get_record (abfd, &any);
657 switch (any.header.type)
660 VDATA (abfd)->pass_2_done = 1;
663 process_esd (abfd, &any.esd, 2);
666 process_otr (abfd, &any.otr, 2);
673 versados_get_section_contents (bfd *abfd,
679 if (!versados_pass_2 (abfd))
683 EDATA (abfd, section->target_index).contents + offset,
689 #define versados_get_section_contents_in_window \
690 _bfd_generic_get_section_contents_in_window
693 versados_set_section_contents (bfd *abfd ATTRIBUTE_UNUSED,
694 sec_ptr section ATTRIBUTE_UNUSED,
695 const void * location ATTRIBUTE_UNUSED,
696 file_ptr offset ATTRIBUTE_UNUSED,
697 bfd_size_type bytes_to_do ATTRIBUTE_UNUSED)
703 versados_sizeof_headers (bfd *abfd ATTRIBUTE_UNUSED,
704 struct bfd_link_info *info ATTRIBUTE_UNUSED)
709 /* Return the amount of memory needed to read the symbol table. */
712 versados_get_symtab_upper_bound (bfd *abfd)
714 return (bfd_get_symcount (abfd) + 1) * sizeof (asymbol *);
717 /* Return the symbol table. */
720 versados_canonicalize_symtab (bfd *abfd, asymbol **alocation)
722 unsigned int symcount = bfd_get_symcount (abfd);
726 versados_pass_2 (abfd);
728 for (i = 0, s = VDATA (abfd)->symbols;
739 versados_get_symbol_info (bfd *abfd ATTRIBUTE_UNUSED,
743 bfd_symbol_info (symbol, ret);
747 versados_print_symbol (bfd *abfd,
750 bfd_print_symbol_type how)
752 FILE *file = (FILE *) afile;
756 case bfd_print_symbol_name:
757 fprintf (file, "%s", symbol->name);
760 bfd_print_symbol_vandf (abfd, (void *) file, symbol);
761 fprintf (file, " %-5s %s",
762 symbol->section->name,
768 versados_get_reloc_upper_bound (bfd *abfd ATTRIBUTE_UNUSED,
771 return (asect->reloc_count + 1) * sizeof (arelent *);
775 versados_canonicalize_reloc (bfd *abfd,
783 versados_pass_2 (abfd);
784 src = section->relocation;
786 if (!EDATA (abfd, section->target_index).donerel)
788 EDATA (abfd, section->target_index).donerel = 1;
789 /* Translate from indexes to symptr ptrs. */
790 for (count = 0; count < section->reloc_count; count++)
792 int esdid = (int) (size_t) src[count].sym_ptr_ptr;
795 src[count].sym_ptr_ptr = bfd_abs_section_ptr->symbol_ptr_ptr;
796 else if (esdid < ES_BASE)
798 /* Section relative thing. */
799 struct esdid *e = &EDATA (abfd, esdid - 1);
801 src[count].sym_ptr_ptr = e->section->symbol_ptr_ptr;
803 /* PR 17512: file:3757-2936-0.004. */
804 else if ((unsigned) (esdid - ES_BASE) >= bfd_get_symcount (abfd))
805 src[count].sym_ptr_ptr = bfd_und_section_ptr->symbol_ptr_ptr;
807 src[count].sym_ptr_ptr = symbols + esdid - ES_BASE;
811 for (count = 0; count < section->reloc_count; count++)
815 return section->reloc_count;
818 #define versados_close_and_cleanup _bfd_generic_close_and_cleanup
819 #define versados_bfd_free_cached_info _bfd_generic_bfd_free_cached_info
820 #define versados_new_section_hook _bfd_generic_new_section_hook
821 #define versados_bfd_is_target_special_symbol ((bfd_boolean (*) (bfd *, asymbol *)) bfd_false)
822 #define versados_bfd_is_local_label_name bfd_generic_is_local_label_name
823 #define versados_get_lineno _bfd_nosymbols_get_lineno
824 #define versados_find_nearest_line _bfd_nosymbols_find_nearest_line
825 #define versados_find_line _bfd_nosymbols_find_line
826 #define versados_find_inliner_info _bfd_nosymbols_find_inliner_info
827 #define versados_get_symbol_version_string _bfd_nosymbols_get_symbol_version_string
828 #define versados_make_empty_symbol _bfd_generic_make_empty_symbol
829 #define versados_bfd_make_debug_symbol _bfd_nosymbols_bfd_make_debug_symbol
830 #define versados_read_minisymbols _bfd_generic_read_minisymbols
831 #define versados_minisymbol_to_symbol _bfd_generic_minisymbol_to_symbol
832 #define versados_bfd_reloc_type_lookup _bfd_norelocs_bfd_reloc_type_lookup
833 #define versados_bfd_reloc_name_lookup _bfd_norelocs_bfd_reloc_name_lookup
834 #define versados_set_arch_mach bfd_default_set_arch_mach
835 #define versados_bfd_get_relocated_section_contents bfd_generic_get_relocated_section_contents
836 #define versados_bfd_relax_section bfd_generic_relax_section
837 #define versados_bfd_gc_sections bfd_generic_gc_sections
838 #define versados_bfd_lookup_section_flags bfd_generic_lookup_section_flags
839 #define versados_bfd_merge_sections bfd_generic_merge_sections
840 #define versados_bfd_is_group_section bfd_generic_is_group_section
841 #define versados_bfd_discard_group bfd_generic_discard_group
842 #define versados_section_already_linked _bfd_generic_section_already_linked
843 #define versados_bfd_define_common_symbol bfd_generic_define_common_symbol
844 #define versados_bfd_link_hash_table_create _bfd_generic_link_hash_table_create
845 #define versados_bfd_link_add_symbols _bfd_generic_link_add_symbols
846 #define versados_bfd_link_just_syms _bfd_generic_link_just_syms
847 #define versados_bfd_copy_link_hash_symbol_type \
848 _bfd_generic_copy_link_hash_symbol_type
849 #define versados_bfd_final_link _bfd_generic_final_link
850 #define versados_bfd_link_split_section _bfd_generic_link_split_section
852 const bfd_target m68k_versados_vec =
854 "versados", /* Name. */
855 bfd_target_versados_flavour,
856 BFD_ENDIAN_BIG, /* Target byte order. */
857 BFD_ENDIAN_BIG, /* Target headers byte order. */
858 (HAS_RELOC | EXEC_P | /* Object flags. */
859 HAS_LINENO | HAS_DEBUG |
860 HAS_SYMS | HAS_LOCALS | WP_TEXT | D_PAGED),
861 (SEC_CODE | SEC_DATA | SEC_ROM | SEC_HAS_CONTENTS
862 | SEC_ALLOC | SEC_LOAD | SEC_RELOC), /* Section flags. */
863 0, /* Leading underscore. */
864 ' ', /* AR_pad_char. */
865 16, /* AR_max_namelen. */
866 0, /* match priority. */
867 bfd_getb64, bfd_getb_signed_64, bfd_putb64,
868 bfd_getb32, bfd_getb_signed_32, bfd_putb32,
869 bfd_getb16, bfd_getb_signed_16, bfd_putb16, /* Data. */
870 bfd_getb64, bfd_getb_signed_64, bfd_putb64,
871 bfd_getb32, bfd_getb_signed_32, bfd_putb32,
872 bfd_getb16, bfd_getb_signed_16, bfd_putb16, /* Headers. */
876 versados_object_p, /* bfd_check_format. */
883 _bfd_generic_mkarchive,
886 { /* bfd_write_contents. */
889 _bfd_write_archive_contents,
893 BFD_JUMP_TABLE_GENERIC (versados),
894 BFD_JUMP_TABLE_COPY (_bfd_generic),
895 BFD_JUMP_TABLE_CORE (_bfd_nocore),
896 BFD_JUMP_TABLE_ARCHIVE (_bfd_noarchive),
897 BFD_JUMP_TABLE_SYMBOLS (versados),
898 BFD_JUMP_TABLE_RELOCS (versados),
899 BFD_JUMP_TABLE_WRITE (versados),
900 BFD_JUMP_TABLE_LINK (versados),
901 BFD_JUMP_TABLE_DYNAMIC (_bfd_nodynamic),