1 /* BFD back-end for VERSAdos-E objects.
2 Copyright (C) 1995-2015 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. */
60 bfd_size_type content_size; /* The size of the contents buffer. */
62 int relocs; /* Reloc count, valid end of pass 1. */
63 int donerel; /* Have relocs been translated. */
66 typedef struct versados_data_struct
68 int es_done; /* Count of symbol index, starts at ES_BASE. */
69 asymbol *symbols; /* Pointer to local symbols. */
70 char *strings; /* Strings of all the above. */
71 int stringlen; /* Len of string table (valid end of pass1). */
72 int nsecsyms; /* Number of sections. */
74 int ndefs; /* Number of exported symbols (they dont get esdids). */
75 int nrefs; /* Number of imported symbols (valid end of pass1). */
77 int ref_idx; /* Current processed value of the above. */
82 struct esdid e[16]; /* Per section info. */
83 int alert; /* To see if we're trampling. */
84 asymbol *rest[256 - 16]; /* Per symbol info. */
88 #define VDATA(abfd) (abfd->tdata.versados_data)
89 #define EDATA(abfd, n) (abfd->tdata.versados_data->e[(n) < 16 ? (n) : 0])
90 #define RDATA(abfd, n) (abfd->tdata.versados_data->rest[(n) < 240 ? (n) : 0])
98 unsigned char data[200];
104 char type; /* Record type. */
105 char name[10]; /* Module name. */
106 char rev; /* Module rev number. */
122 unsigned char esd_entries[1];
127 #define ESD_STD_REL_SEC 2
128 #define ESD_SHRT_REL_SEC 3
129 #define ESD_XDEF_IN_SEC 4
130 #define ESD_XDEF_IN_ABS 5
131 #define ESD_XREF_SEC 6
132 #define ESD_XREF_SYM 7
137 struct ext_vheader header;
142 /* Initialize by filling in the hex conversion array. */
144 /* Set up the tdata information. */
147 versados_mkobject (bfd *abfd)
149 if (abfd->tdata.versados_data == NULL)
151 bfd_size_type amt = sizeof (tdata_type);
152 tdata_type *tdata = bfd_alloc (abfd, amt);
156 abfd->tdata.versados_data = tdata;
157 tdata->symbols = NULL;
158 VDATA (abfd)->alert = 0x12345678;
161 bfd_default_set_arch_mach (abfd, bfd_arch_m68k, 0);
165 /* Report a problem in an S record file. FIXME: This probably should
166 not call fprintf, but we really do need some mechanism for printing
170 versados_new_symbol (bfd *abfd,
176 asymbol *n = VDATA (abfd)->symbols + snum;
186 get_record (bfd *abfd, union ext_any *ptr)
188 if (bfd_bread (&ptr->size, (bfd_size_type) 1, abfd) != 1
189 || (bfd_bread ((char *) ptr + 1, (bfd_size_type) ptr->size, abfd)
194 bfd_size_type amt = ptr->size + 1;
196 if (amt < sizeof (* ptr))
197 memset ((char *) ptr + amt, 0, sizeof (* ptr) - amt);
204 get_4 (unsigned char **pp)
206 unsigned char *p = *pp;
209 return (p[0] << 24) | (p[1] << 16) | (p[2] << 8) | (p[3] << 0);
213 get_10 (unsigned char **pp, char *name)
215 char *p = (char *) *pp;
219 while (*p != ' ' && len)
228 new_symbol_string (bfd *abfd, const char *name)
230 char *n = VDATA (abfd)->strings;
232 strcpy (VDATA (abfd)->strings, name);
233 VDATA (abfd)->strings += strlen (VDATA (abfd)->strings) + 1;
238 process_esd (bfd *abfd, struct ext_esd *esd, int pass)
240 /* Read through the ext def for the est entries. */
241 int togo = esd->size - 2;
246 unsigned char *ptr = esd->esd_entries;
247 unsigned char *end = ptr + togo;
251 int scn = *ptr & 0xf;
252 int typ = (*ptr >> 4) & 0xf;
254 /* Declare this section. */
255 sprintf (name, "%d", scn);
256 sec = bfd_make_section_old_way (abfd, strdup (name));
257 sec->target_index = scn;
258 EDATA (abfd, scn).section = sec;
268 int snum = VDATA (abfd)->ref_idx++;
271 VDATA (abfd)->stringlen += strlen (name) + 1;
276 char *n = new_symbol_string (abfd, name);
278 s = versados_new_symbol (abfd, snum, n, (bfd_vma) 0,
279 bfd_und_section_ptr);
280 esidx = VDATA (abfd)->es_done++;
281 RDATA (abfd, esidx - ES_BASE) = s;
289 start = get_4 (&ptr);
292 case ESD_STD_REL_SEC:
293 case ESD_SHRT_REL_SEC:
294 sec->size = get_4 (&ptr);
295 sec->flags |= SEC_ALLOC;
297 case ESD_XDEF_IN_ABS:
298 sec = bfd_abs_section_ptr;
299 case ESD_XDEF_IN_SEC:
301 int snum = VDATA (abfd)->def_idx++;
307 /* Just remember the symbol. */
308 VDATA (abfd)->stringlen += strlen (name) + 1;
312 char *n = new_symbol_string (abfd, name);
314 s = versados_new_symbol (abfd, snum + VDATA (abfd)->nrefs, n,
316 s->flags |= BSF_GLOBAL;
326 #define R_RELWORD_NEG 3
327 #define R_RELLONG_NEG 4
329 reloc_howto_type versados_howto_table[] =
331 HOWTO (R_RELWORD, 0, 1, 16, FALSE,
332 0, complain_overflow_dont, 0,
333 "+v16", TRUE, 0x0000ffff, 0x0000ffff, FALSE),
334 HOWTO (R_RELLONG, 0, 2, 32, FALSE,
335 0, complain_overflow_dont, 0,
336 "+v32", TRUE, 0xffffffff, 0xffffffff, FALSE),
338 HOWTO (R_RELWORD_NEG, 0, -1, 16, FALSE,
339 0, complain_overflow_dont, 0,
340 "-v16", TRUE, 0x0000ffff, 0x0000ffff, FALSE),
341 HOWTO (R_RELLONG_NEG, 0, -2, 32, FALSE,
342 0, complain_overflow_dont, 0,
343 "-v32", TRUE, 0xffffffff, 0xffffffff, FALSE),
347 get_offset (int len, unsigned char *ptr)
358 for (i = 1; i < len; i++)
359 val = (val << 8) | *ptr++;
366 process_otr (bfd *abfd, struct ext_otr *otr, int pass)
369 unsigned char *srcp = otr->data;
370 unsigned char *endp = (unsigned char *) otr + otr->size;
371 unsigned int bits = (otr->map[0] << 24)
372 | (otr->map[1] << 16)
374 | (otr->map[3] << 0);
376 struct esdid *esdid = &EDATA (abfd, otr->esdid - 1);
377 unsigned char *contents;
378 bfd_boolean need_contents = FALSE;
379 unsigned int dst_idx;
381 /* PR 17512: file: ac7da425. */
385 contents = esdid->contents;
388 for (shift = ((unsigned long) 1 << 31); shift && srcp < endp; shift >>= 1)
393 int esdids = (flag >> 5) & 0x7;
394 int sizeinwords = ((flag >> 3) & 1) ? 2 : 1;
395 int offsetlen = flag & 0x7;
400 /* A zero esdid means the new pc is the offset given. */
401 dst_idx += get_offset (offsetlen, srcp);
406 int val = get_offset (offsetlen, srcp + esdids);
409 need_contents = TRUE;
410 else if (contents && dst_idx < esdid->content_size - sizeinwords * 2)
411 for (j = 0; j < sizeinwords * 2; j++)
413 contents[dst_idx + (sizeinwords * 2) - j - 1] = val;
417 for (j = 0; j < esdids; j++)
423 int rn = EDATA (abfd, otr->esdid - 1).relocs++;
427 /* This is the first pass over the data,
428 just remember that we need a reloc. */
434 /* PR 17512: file: 54f733e0. */
435 if (EDATA (abfd, otr->esdid - 1).section == NULL)
437 n = EDATA (abfd, otr->esdid - 1).section->relocation + rn;
438 n->address = dst_idx;
439 n->sym_ptr_ptr = (asymbol **) (size_t) id;
441 n->howto = versados_howto_table + ((j & 1) * 2) + (sizeinwords - 1);
446 dst_idx += sizeinwords * 2;
451 need_contents = TRUE;
453 if (esdid->section && contents && dst_idx < esdid->content_size - 1)
456 /* Absolute code, comes in 16 bit lumps. */
457 contents[dst_idx] = srcp[0];
458 contents[dst_idx + 1] = srcp[1];
466 EDATA (abfd, otr->esdid - 1).pc = dst_idx;
468 if (!contents && need_contents)
474 size = esdid->section->size;
475 esdid->contents = bfd_alloc (abfd, size);
476 esdid->content_size = size;
479 esdid->contents = NULL;
484 versados_scan (bfd *abfd)
486 bfd_boolean loop = TRUE;
492 VDATA (abfd)->stringlen = 0;
493 VDATA (abfd)->nrefs = 0;
494 VDATA (abfd)->ndefs = 0;
495 VDATA (abfd)->ref_idx = 0;
496 VDATA (abfd)->def_idx = 0;
497 VDATA (abfd)->pass_2_done = 0;
503 if (!get_record (abfd, &any))
505 switch (any.header.type)
513 process_esd (abfd, &any.esd, 1);
516 process_otr (abfd, &any.otr, 1);
521 /* Now allocate space for the relocs and sections. */
522 VDATA (abfd)->nrefs = VDATA (abfd)->ref_idx;
523 VDATA (abfd)->ndefs = VDATA (abfd)->def_idx;
524 VDATA (abfd)->ref_idx = 0;
525 VDATA (abfd)->def_idx = 0;
527 abfd->symcount = VDATA (abfd)->nrefs + VDATA (abfd)->ndefs;
529 for (i = 0; i < 16; i++)
531 struct esdid *esdid = &EDATA (abfd, i);
535 amt = (bfd_size_type) esdid->relocs * sizeof (arelent);
536 esdid->section->relocation = bfd_alloc (abfd, amt);
540 esdid->section->flags |= SEC_HAS_CONTENTS | SEC_LOAD;
542 esdid->section->reloc_count = esdid->relocs;
544 esdid->section->flags |= SEC_RELOC;
548 /* Add an entry into the symbol table for it. */
550 VDATA (abfd)->stringlen += strlen (esdid->section->name) + 1;
554 abfd->symcount += nsecs;
556 amt = abfd->symcount;
557 amt *= sizeof (asymbol);
558 VDATA (abfd)->symbols = bfd_alloc (abfd, amt);
560 amt = VDATA (abfd)->stringlen;
561 VDATA (abfd)->strings = bfd_alloc (abfd, amt);
563 if ((VDATA (abfd)->symbols == NULL && abfd->symcount > 0)
564 || (VDATA (abfd)->strings == NULL && VDATA (abfd)->stringlen > 0))
567 /* Actually fill in the section symbols,
568 we stick them at the end of the table. */
569 for (j = VDATA (abfd)->nrefs + VDATA (abfd)->ndefs, i = 0; i < 16; i++)
571 struct esdid *esdid = &EDATA (abfd, i);
572 asection *sec = esdid->section;
576 asymbol *s = VDATA (abfd)->symbols + j;
577 s->name = new_symbol_string (abfd, sec->name);
579 s->flags = BSF_LOCAL;
587 abfd->flags |= HAS_SYMS;
589 /* Set this to nsecs - since we've already planted the section
591 VDATA (abfd)->nsecsyms = nsecs;
593 VDATA (abfd)->ref_idx = 0;
598 /* Check whether an existing file is a versados file. */
600 static const bfd_target *
601 versados_object_p (bfd *abfd)
603 struct ext_vheader ext;
605 tdata_type *tdata_save;
607 if (bfd_seek (abfd, (file_ptr) 0, SEEK_SET) != 0)
610 if (bfd_bread (&len, (bfd_size_type) 1, abfd) != 1)
612 if (bfd_get_error () != bfd_error_system_call)
613 bfd_set_error (bfd_error_wrong_format);
617 /* PR 17512: file: 726-2128-0.004. */
620 bfd_set_error (bfd_error_wrong_format);
624 if (bfd_bread (&ext.type, (bfd_size_type) len, abfd) != len)
626 if (bfd_get_error () != bfd_error_system_call)
627 bfd_set_error (bfd_error_wrong_format);
631 /* We guess that the language field will never be larger than 10.
632 In sample files, it is always either 0 or 1. Checking for this
633 prevents confusion with Intel Hex files. */
634 if (ext.type != VHEADER
637 bfd_set_error (bfd_error_wrong_format);
641 /* OK, looks like a record, build the tdata and read in. */
642 tdata_save = abfd->tdata.versados_data;
643 if (!versados_mkobject (abfd) || !versados_scan (abfd))
645 abfd->tdata.versados_data = tdata_save;
653 versados_pass_2 (bfd *abfd)
657 if (VDATA (abfd)->pass_2_done)
660 if (bfd_seek (abfd, (file_ptr) 0, SEEK_SET) != 0)
663 VDATA (abfd)->es_done = ES_BASE;
665 /* Read records till we get to where we want to be. */
668 get_record (abfd, &any);
669 switch (any.header.type)
672 VDATA (abfd)->pass_2_done = 1;
675 process_esd (abfd, &any.esd, 2);
678 process_otr (abfd, &any.otr, 2);
685 versados_get_section_contents (bfd *abfd,
693 if (!versados_pass_2 (abfd))
696 esdid = &EDATA (abfd, section->target_index);
698 if (esdid->contents == NULL
700 || (bfd_size_type) offset > esdid->content_size
701 || offset + count > esdid->content_size)
704 memcpy (location, esdid->contents + offset, (size_t) count);
709 #define versados_get_section_contents_in_window \
710 _bfd_generic_get_section_contents_in_window
713 versados_set_section_contents (bfd *abfd ATTRIBUTE_UNUSED,
714 sec_ptr section ATTRIBUTE_UNUSED,
715 const void * location ATTRIBUTE_UNUSED,
716 file_ptr offset ATTRIBUTE_UNUSED,
717 bfd_size_type bytes_to_do ATTRIBUTE_UNUSED)
723 versados_sizeof_headers (bfd *abfd ATTRIBUTE_UNUSED,
724 struct bfd_link_info *info ATTRIBUTE_UNUSED)
729 /* Return the amount of memory needed to read the symbol table. */
732 versados_get_symtab_upper_bound (bfd *abfd)
734 return (bfd_get_symcount (abfd) + 1) * sizeof (asymbol *);
737 /* Return the symbol table. */
740 versados_canonicalize_symtab (bfd *abfd, asymbol **alocation)
742 unsigned int symcount = bfd_get_symcount (abfd);
746 versados_pass_2 (abfd);
748 for (i = 0, s = VDATA (abfd)->symbols;
759 versados_get_symbol_info (bfd *abfd ATTRIBUTE_UNUSED,
763 bfd_symbol_info (symbol, ret);
767 versados_print_symbol (bfd *abfd,
770 bfd_print_symbol_type how)
772 FILE *file = (FILE *) afile;
776 case bfd_print_symbol_name:
777 fprintf (file, "%s", symbol->name);
780 bfd_print_symbol_vandf (abfd, (void *) file, symbol);
781 fprintf (file, " %-5s %s",
782 symbol->section->name,
788 versados_get_reloc_upper_bound (bfd *abfd ATTRIBUTE_UNUSED,
791 return (asect->reloc_count + 1) * sizeof (arelent *);
795 versados_canonicalize_reloc (bfd *abfd,
803 versados_pass_2 (abfd);
804 src = section->relocation;
806 if (!EDATA (abfd, section->target_index).donerel)
808 EDATA (abfd, section->target_index).donerel = 1;
809 /* Translate from indexes to symptr ptrs. */
810 for (count = 0; count < section->reloc_count; count++)
812 int esdid = (int) (size_t) src[count].sym_ptr_ptr;
815 src[count].sym_ptr_ptr = bfd_abs_section_ptr->symbol_ptr_ptr;
816 else if (esdid < ES_BASE)
818 /* Section relative thing. */
819 struct esdid *e = &EDATA (abfd, esdid - 1);
821 /* PR 17512: file:cd92277c. */
823 src[count].sym_ptr_ptr = e->section->symbol_ptr_ptr;
825 src[count].sym_ptr_ptr = bfd_und_section_ptr->symbol_ptr_ptr;
827 /* PR 17512: file:3757-2936-0.004. */
828 else if ((unsigned) (esdid - ES_BASE) >= bfd_get_symcount (abfd))
829 src[count].sym_ptr_ptr = bfd_und_section_ptr->symbol_ptr_ptr;
831 src[count].sym_ptr_ptr = symbols + esdid - ES_BASE;
835 for (count = 0; count < section->reloc_count; count++)
839 return section->reloc_count;
842 #define versados_close_and_cleanup _bfd_generic_close_and_cleanup
843 #define versados_bfd_free_cached_info _bfd_generic_bfd_free_cached_info
844 #define versados_new_section_hook _bfd_generic_new_section_hook
845 #define versados_bfd_is_target_special_symbol ((bfd_boolean (*) (bfd *, asymbol *)) bfd_false)
846 #define versados_bfd_is_local_label_name bfd_generic_is_local_label_name
847 #define versados_get_lineno _bfd_nosymbols_get_lineno
848 #define versados_find_nearest_line _bfd_nosymbols_find_nearest_line
849 #define versados_find_line _bfd_nosymbols_find_line
850 #define versados_find_inliner_info _bfd_nosymbols_find_inliner_info
851 #define versados_get_symbol_version_string _bfd_nosymbols_get_symbol_version_string
852 #define versados_make_empty_symbol _bfd_generic_make_empty_symbol
853 #define versados_bfd_make_debug_symbol _bfd_nosymbols_bfd_make_debug_symbol
854 #define versados_read_minisymbols _bfd_generic_read_minisymbols
855 #define versados_minisymbol_to_symbol _bfd_generic_minisymbol_to_symbol
856 #define versados_bfd_reloc_type_lookup _bfd_norelocs_bfd_reloc_type_lookup
857 #define versados_bfd_reloc_name_lookup _bfd_norelocs_bfd_reloc_name_lookup
858 #define versados_set_arch_mach bfd_default_set_arch_mach
859 #define versados_bfd_get_relocated_section_contents bfd_generic_get_relocated_section_contents
860 #define versados_bfd_relax_section bfd_generic_relax_section
861 #define versados_bfd_gc_sections bfd_generic_gc_sections
862 #define versados_bfd_lookup_section_flags bfd_generic_lookup_section_flags
863 #define versados_bfd_merge_sections bfd_generic_merge_sections
864 #define versados_bfd_is_group_section bfd_generic_is_group_section
865 #define versados_bfd_discard_group bfd_generic_discard_group
866 #define versados_section_already_linked _bfd_generic_section_already_linked
867 #define versados_bfd_define_common_symbol bfd_generic_define_common_symbol
868 #define versados_bfd_link_hash_table_create _bfd_generic_link_hash_table_create
869 #define versados_bfd_link_add_symbols _bfd_generic_link_add_symbols
870 #define versados_bfd_link_just_syms _bfd_generic_link_just_syms
871 #define versados_bfd_copy_link_hash_symbol_type \
872 _bfd_generic_copy_link_hash_symbol_type
873 #define versados_bfd_final_link _bfd_generic_final_link
874 #define versados_bfd_link_split_section _bfd_generic_link_split_section
876 const bfd_target m68k_versados_vec =
878 "versados", /* Name. */
879 bfd_target_versados_flavour,
880 BFD_ENDIAN_BIG, /* Target byte order. */
881 BFD_ENDIAN_BIG, /* Target headers byte order. */
882 (HAS_RELOC | EXEC_P | /* Object flags. */
883 HAS_LINENO | HAS_DEBUG |
884 HAS_SYMS | HAS_LOCALS | WP_TEXT | D_PAGED),
885 (SEC_CODE | SEC_DATA | SEC_ROM | SEC_HAS_CONTENTS
886 | SEC_ALLOC | SEC_LOAD | SEC_RELOC), /* Section flags. */
887 0, /* Leading underscore. */
888 ' ', /* AR_pad_char. */
889 16, /* AR_max_namelen. */
890 0, /* match priority. */
891 bfd_getb64, bfd_getb_signed_64, bfd_putb64,
892 bfd_getb32, bfd_getb_signed_32, bfd_putb32,
893 bfd_getb16, bfd_getb_signed_16, bfd_putb16, /* Data. */
894 bfd_getb64, bfd_getb_signed_64, bfd_putb64,
895 bfd_getb32, bfd_getb_signed_32, bfd_putb32,
896 bfd_getb16, bfd_getb_signed_16, bfd_putb16, /* Headers. */
900 versados_object_p, /* bfd_check_format. */
907 _bfd_generic_mkarchive,
910 { /* bfd_write_contents. */
913 _bfd_write_archive_contents,
917 BFD_JUMP_TABLE_GENERIC (versados),
918 BFD_JUMP_TABLE_COPY (_bfd_generic),
919 BFD_JUMP_TABLE_CORE (_bfd_nocore),
920 BFD_JUMP_TABLE_ARCHIVE (_bfd_noarchive),
921 BFD_JUMP_TABLE_SYMBOLS (versados),
922 BFD_JUMP_TABLE_RELOCS (versados),
923 BFD_JUMP_TABLE_WRITE (versados),
924 BFD_JUMP_TABLE_LINK (versados),
925 BFD_JUMP_TABLE_DYNAMIC (_bfd_nodynamic),