daily update
[binutils.git] / bfd / mmo.c
blob8c727880ef4a613842a9323ca5f4a9463365689b
1 /* BFD back-end for mmo objects (MMIX-specific object-format).
2 Copyright 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2009, 2010
3 Free Software Foundation, Inc.
4 Written by Hans-Peter Nilsson (hp@bitrange.com).
5 Infrastructure and other bits originally copied from srec.c and
6 binary.c.
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 3 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., 51 Franklin Street - Fifth Floor, Boston,
23 MA 02110-1301, USA. */
27 SECTION
28 mmo backend
30 The mmo object format is used exclusively together with Professor
31 Donald E.@: Knuth's educational 64-bit processor MMIX. The simulator
32 @command{mmix} which is available at
33 @url{http://www-cs-faculty.stanford.edu/~knuth/programs/mmix.tar.gz}
34 understands this format. That package also includes a combined
35 assembler and linker called @command{mmixal}. The mmo format has
36 no advantages feature-wise compared to e.g. ELF. It is a simple
37 non-relocatable object format with no support for archives or
38 debugging information, except for symbol value information and
39 line numbers (which is not yet implemented in BFD). See
40 @url{http://www-cs-faculty.stanford.edu/~knuth/mmix.html} for more
41 information about MMIX. The ELF format is used for intermediate
42 object files in the BFD implementation.
44 @c We want to xref the symbol table node. A feature in "chew"
45 @c requires that "commands" do not contain spaces in the
46 @c arguments. Hence the hyphen in "Symbol-table".
47 @menu
48 @* File layout::
49 @* Symbol-table::
50 @* mmo section mapping::
51 @end menu
53 INODE
54 File layout, Symbol-table, mmo, mmo
55 SUBSECTION
56 File layout
58 The mmo file contents is not partitioned into named sections as
59 with e.g.@: ELF. Memory areas is formed by specifying the
60 location of the data that follows. Only the memory area
61 @samp{0x0000@dots{}00} to @samp{0x01ff@dots{}ff} is executable, so
62 it is used for code (and constants) and the area
63 @samp{0x2000@dots{}00} to @samp{0x20ff@dots{}ff} is used for
64 writable data. @xref{mmo section mapping}.
66 There is provision for specifying ``special data'' of 65536
67 different types. We use type 80 (decimal), arbitrarily chosen the
68 same as the ELF <<e_machine>> number for MMIX, filling it with
69 section information normally found in ELF objects. @xref{mmo
70 section mapping}.
72 Contents is entered as 32-bit words, xor:ed over previous
73 contents, always zero-initialized. A word that starts with the
74 byte @samp{0x98} forms a command called a @samp{lopcode}, where
75 the next byte distinguished between the thirteen lopcodes. The
76 two remaining bytes, called the @samp{Y} and @samp{Z} fields, or
77 the @samp{YZ} field (a 16-bit big-endian number), are used for
78 various purposes different for each lopcode. As documented in
79 @url{http://www-cs-faculty.stanford.edu/~knuth/mmixal-intro.ps.gz},
80 the lopcodes are:
82 @table @code
83 @item lop_quote
84 0x98000001. The next word is contents, regardless of whether it
85 starts with 0x98 or not.
87 @item lop_loc
88 0x9801YYZZ, where @samp{Z} is 1 or 2. This is a location
89 directive, setting the location for the next data to the next
90 32-bit word (for @math{Z = 1}) or 64-bit word (for @math{Z = 2}),
91 plus @math{Y * 2^56}. Normally @samp{Y} is 0 for the text segment
92 and 2 for the data segment.
94 @item lop_skip
95 0x9802YYZZ. Increase the current location by @samp{YZ} bytes.
97 @item lop_fixo
98 0x9803YYZZ, where @samp{Z} is 1 or 2. Store the current location
99 as 64 bits into the location pointed to by the next 32-bit
100 (@math{Z = 1}) or 64-bit (@math{Z = 2}) word, plus @math{Y *
101 2^56}.
103 @item lop_fixr
104 0x9804YYZZ. @samp{YZ} is stored into the current location plus
105 @math{2 - 4 * YZ}.
107 @item lop_fixrx
108 0x980500ZZ. @samp{Z} is 16 or 24. A value @samp{L} derived from
109 the following 32-bit word are used in a manner similar to
110 @samp{YZ} in lop_fixr: it is xor:ed into the current location
111 minus @math{4 * L}. The first byte of the word is 0 or 1. If it
112 is 1, then @math{L = (@var{lowest 24 bits of word}) - 2^Z}, if 0,
113 then @math{L = (@var{lowest 24 bits of word})}.
115 @item lop_file
116 0x9806YYZZ. @samp{Y} is the file number, @samp{Z} is count of
117 32-bit words. Set the file number to @samp{Y} and the line
118 counter to 0. The next @math{Z * 4} bytes contain the file name,
119 padded with zeros if the count is not a multiple of four. The
120 same @samp{Y} may occur multiple times, but @samp{Z} must be 0 for
121 all but the first occurrence.
123 @item lop_line
124 0x9807YYZZ. @samp{YZ} is the line number. Together with
125 lop_file, it forms the source location for the next 32-bit word.
126 Note that for each non-lopcode 32-bit word, line numbers are
127 assumed incremented by one.
129 @item lop_spec
130 0x9808YYZZ. @samp{YZ} is the type number. Data until the next
131 lopcode other than lop_quote forms special data of type @samp{YZ}.
132 @xref{mmo section mapping}.
134 Other types than 80, (or type 80 with a content that does not
135 parse) is stored in sections named <<.MMIX.spec_data.@var{n}>>
136 where @var{n} is the @samp{YZ}-type. The flags for such a
137 sections say not to allocate or load the data. The vma is 0.
138 Contents of multiple occurrences of special data @var{n} is
139 concatenated to the data of the previous lop_spec @var{n}s. The
140 location in data or code at which the lop_spec occurred is lost.
142 @item lop_pre
143 0x980901ZZ. The first lopcode in a file. The @samp{Z} field forms the
144 length of header information in 32-bit words, where the first word
145 tells the time in seconds since @samp{00:00:00 GMT Jan 1 1970}.
147 @item lop_post
148 0x980a00ZZ. @math{Z > 32}. This lopcode follows after all
149 content-generating lopcodes in a program. The @samp{Z} field
150 denotes the value of @samp{rG} at the beginning of the program.
151 The following @math{256 - Z} big-endian 64-bit words are loaded
152 into global registers @samp{$G} @dots{} @samp{$255}.
154 @item lop_stab
155 0x980b0000. The next-to-last lopcode in a program. Must follow
156 immediately after the lop_post lopcode and its data. After this
157 lopcode follows all symbols in a compressed format
158 (@pxref{Symbol-table}).
160 @item lop_end
161 0x980cYYZZ. The last lopcode in a program. It must follow the
162 lop_stab lopcode and its data. The @samp{YZ} field contains the
163 number of 32-bit words of symbol table information after the
164 preceding lop_stab lopcode.
165 @end table
167 Note that the lopcode "fixups"; <<lop_fixr>>, <<lop_fixrx>> and
168 <<lop_fixo>> are not generated by BFD, but are handled. They are
169 generated by <<mmixal>>.
171 EXAMPLE
172 This trivial one-label, one-instruction file:
174 | :Main TRAP 1,2,3
176 can be represented this way in mmo:
178 | 0x98090101 - lop_pre, one 32-bit word with timestamp.
179 | <timestamp>
180 | 0x98010002 - lop_loc, text segment, using a 64-bit address.
181 | Note that mmixal does not emit this for the file above.
182 | 0x00000000 - Address, high 32 bits.
183 | 0x00000000 - Address, low 32 bits.
184 | 0x98060002 - lop_file, 2 32-bit words for file-name.
185 | 0x74657374 - "test"
186 | 0x2e730000 - ".s\0\0"
187 | 0x98070001 - lop_line, line 1.
188 | 0x00010203 - TRAP 1,2,3
189 | 0x980a00ff - lop_post, setting $255 to 0.
190 | 0x00000000
191 | 0x00000000
192 | 0x980b0000 - lop_stab for ":Main" = 0, serial 1.
193 | 0x203a4040 @xref{Symbol-table}.
194 | 0x10404020
195 | 0x4d206120
196 | 0x69016e00
197 | 0x81000000
198 | 0x980c0005 - lop_end; symbol table contained five 32-bit words. */
200 #include "sysdep.h"
201 #include "bfd.h"
202 #include "libbfd.h"
203 #include "libiberty.h"
204 #include "elf/mmix.h"
205 #include "opcode/mmix.h"
207 #define LOP 0x98
208 #define LOP_QUOTE 0
209 #define LOP_LOC 1
210 #define LOP_SKIP 2
211 #define LOP_FIXO 3
212 #define LOP_FIXR 4
213 #define LOP_FIXRX 5
214 #define LOP_FILE 6
215 #define LOP_LINE 7
216 #define LOP_SPEC 8
217 #define LOP_PRE 9
218 #define LOP_POST 10
219 #define LOP_STAB 11
220 #define LOP_END 12
222 #define LOP_QUOTE_NEXT ((LOP << 24) | (LOP_QUOTE << 16) | 1)
223 #define SPEC_DATA_SECTION 80
224 #define LOP_SPEC_SECTION \
225 ((LOP << 24) | (LOP_SPEC << 16) | SPEC_DATA_SECTION)
227 /* Must be a power of two. If you change this to be >= 64k, you need a
228 new test-case; the ld test b-loc64k.d touches chunk-size problem areas. */
229 #define MMO_SEC_CONTENTS_CHUNK_SIZE (1 << 15)
231 /* An arbitrary number for the maximum length section name size. */
232 #define MAX_SECTION_NAME_SIZE (1024 * 1024)
234 /* A quite arbitrary number for the maximum length section size. */
235 #define MAX_ARTIFICIAL_SECTION_SIZE (1024 * 1024 * 1024)
237 #define MMO3_WCHAR 0x80
238 #define MMO3_LEFT 0x40
239 #define MMO3_MIDDLE 0x20
240 #define MMO3_RIGHT 0x10
241 #define MMO3_TYPEBITS 0xf
242 #define MMO3_REGQUAL_BITS 0xf
243 #define MMO3_UNDEF 2
244 #define MMO3_DATA 8
245 #define MMO3_SYMBITS 0x2f
247 /* Put these everywhere in new code. */
248 #define FATAL_DEBUG \
249 _bfd_abort (__FILE__, __LINE__, \
250 "Internal: Non-debugged code (test-case missing)")
252 #define BAD_CASE(x) \
253 _bfd_abort (__FILE__, __LINE__, \
254 "bad case for " #x)
256 enum mmo_sym_type { mmo_reg_sym, mmo_undef_sym, mmo_data_sym, mmo_abs_sym};
258 /* When scanning the mmo file, a linked list of mmo_symbol
259 structures is built to represent the symbol table (if there is
260 one). */
262 struct mmo_symbol
264 struct mmo_symbol *next;
265 char *name;
266 bfd_vma value;
267 enum mmo_sym_type sym_type;
268 unsigned int serno;
271 struct mmo_data_list_struct
273 struct mmo_data_list_struct *next;
274 bfd_vma where;
275 bfd_size_type size;
276 bfd_size_type allocated_size;
277 bfd_byte data[1];
280 typedef struct mmo_data_list_struct mmo_data_list_type;
282 struct mmo_symbol_trie
284 struct mmo_symbol_trie *left;
285 struct mmo_symbol_trie *right;
286 struct mmo_symbol_trie *middle;
288 bfd_byte symchar;
290 /* A zero name means there's nothing here. */
291 struct mmo_symbol sym;
294 /* The mmo tdata information. */
296 struct mmo_data_struct
298 struct mmo_symbol *symbols;
299 struct mmo_symbol *symtail;
300 asymbol *csymbols;
302 /* File representation of time (NULL) when this file was created. */
303 bfd_byte created[4];
305 /* When we're reading bytes recursively, check this occasionally.
306 Also holds write errors. */
307 bfd_boolean have_error;
309 /* Max symbol length that may appear in the lop_stab table. Note that
310 this table might just hold a subset of symbols for not-really large
311 programs, as it can only be 65536 * 4 bytes large. */
312 int max_symbol_length;
314 /* Here's the symbol we build in lop_stab. */
315 char *lop_stab_symbol;
317 /* Index into lop_stab_symbol for the next character when parsing the
318 symbol information. */
319 int symbol_position;
321 /* When creating arbitrary sections, we need to count section numbers. */
322 int sec_no;
324 /* When writing or reading byte-wise, we need to count the bytes
325 within a 32-bit word. */
326 int byte_no;
328 /* We also need a buffer to hold the bytes we count reading or writing. */
329 bfd_byte buf[4];
332 typedef struct mmo_data_struct tdata_type;
334 struct mmo_section_data_struct
336 mmo_data_list_type *head;
337 mmo_data_list_type *tail;
340 #define mmo_section_data(sec) \
341 ((struct mmo_section_data_struct *) (sec)->used_by_bfd)
343 /* These structures are used in bfd_map_over_sections constructs. */
345 /* Used when writing out sections; all but the register contents section
346 which is stored in reg_section. */
347 struct mmo_write_sec_info
349 asection *reg_section;
350 bfd_boolean retval;
353 /* Used when trying to find a section corresponding to addr. */
354 struct mmo_find_sec_info
356 asection *sec;
357 bfd_vma addr;
360 static bfd_boolean mmo_bfd_copy_private_bfd_data (bfd *, bfd *);
361 static void mmo_write_section_unless_reg_contents (bfd *, asection *, void *);
362 static void mmo_find_sec_w_addr (bfd *, asection *, void *);
363 static void mmo_find_sec_w_addr_grow (bfd *, asection *, void *);
364 static asection *mmo_make_section (bfd *, const char *);
365 static void mmo_get_symbol_info (bfd *, asymbol *, symbol_info *);
366 static void mmo_print_symbol (bfd *, void *, asymbol *,
367 bfd_print_symbol_type);
368 static void mmo_init (void);
369 static bfd_boolean mmo_mkobject (bfd *);
370 static bfd_boolean mmo_scan (bfd *);
371 static asection *mmo_decide_section (bfd *, bfd_vma);
372 static asection *mmo_get_generic_spec_data_section (bfd *, int);
373 static asection *mmo_get_spec_section (bfd *, int);
374 static INLINE bfd_byte *mmo_get_loc (asection *, bfd_vma, int);
375 static void mmo_xore_64 (asection *, bfd_vma vma, bfd_vma value);
376 static void mmo_xore_32 (asection *, bfd_vma vma, unsigned int);
377 static void mmo_xore_16 (asection *, bfd_vma vma, unsigned int);
378 static const bfd_target *mmo_object_p (bfd *);
379 static void mmo_map_set_sizes (bfd *, asection *, void *);
380 static bfd_boolean mmo_get_symbols (bfd *);
381 static bfd_boolean mmo_create_symbol (bfd *, const char *, bfd_vma,
382 enum mmo_sym_type, unsigned int);
383 static bfd_boolean mmo_get_section_contents (bfd *, asection *, void *,
384 file_ptr, bfd_size_type);
385 static long mmo_get_symtab_upper_bound (bfd *);
386 static long mmo_canonicalize_symtab (bfd *, asymbol **);
387 static void mmo_get_symbol_info (bfd *, asymbol *, symbol_info *);
388 static void mmo_print_symbol (bfd *, void *, asymbol *,
389 bfd_print_symbol_type);
390 static bfd_boolean mmo_set_section_contents (bfd *, sec_ptr, const void *,
391 file_ptr, bfd_size_type);
392 static int mmo_sizeof_headers (bfd *, struct bfd_link_info *);
393 static bfd_boolean mmo_internal_write_header (bfd *);
394 static bfd_boolean mmo_internal_write_post (bfd *, int, asection *);
395 static bfd_boolean mmo_internal_add_3_sym (bfd *, struct mmo_symbol_trie *,
396 const struct mmo_symbol *);
397 static unsigned int mmo_internal_3_length (bfd *, struct mmo_symbol_trie *);
398 static void mmo_internal_3_dump (bfd *, struct mmo_symbol_trie *);
399 static void mmo_beb128_out (bfd *, int, int);
400 static bfd_boolean mmo_internal_write_section (bfd *, asection *);
401 static void mmo_write_tetra (bfd *, unsigned int);
402 static void mmo_write_tetra_raw (bfd *, unsigned int);
403 static void mmo_write_octa (bfd *, bfd_vma);
404 static void mmo_write_octa_raw (bfd *, bfd_vma);
405 static bfd_boolean mmo_write_chunk (bfd *, const bfd_byte *, unsigned int);
406 static bfd_boolean mmo_flush_chunk (bfd *);
407 static bfd_boolean mmo_write_loc_chunk (bfd *, bfd_vma, const bfd_byte *,
408 unsigned int, bfd_vma *);
409 static bfd_boolean mmo_write_chunk_list (bfd *, mmo_data_list_type *);
410 static bfd_boolean mmo_write_loc_chunk_list (bfd *, mmo_data_list_type *);
411 static bfd_boolean mmo_write_symbols_and_terminator (bfd *);
412 static flagword mmo_sec_flags_from_bfd_flags (flagword);
413 static flagword bfd_sec_flags_from_mmo_flags (flagword);
414 static bfd_byte mmo_get_byte (bfd *);
415 static void mmo_write_byte (bfd *, bfd_byte);
416 static bfd_boolean mmo_new_section_hook (bfd *, asection *);
417 static int mmo_sort_mmo_symbols (const void *, const void *);
418 static bfd_boolean mmo_write_object_contents (bfd *);
419 static bfd_boolean mmo_write_section_description (bfd *, asection *);
420 static bfd_boolean mmo_has_leading_or_trailing_zero_tetra_p (bfd *,
421 asection *);
423 /* Global "const" variables initialized once. Must not depend on
424 particular input or caller; put such things into the bfd or elsewhere.
425 Look ma, no static per-invocation data! */
427 static
428 char valid_mmo_symbol_character_set[/* A-Z a-z (we assume consecutive
429 codes; sorry EBCDIC:ers!). */
430 + 'Z' - 'A' + 1 + 'z' - 'a' + 1
431 /* Digits. */
432 + 10
433 /* ':' and '_'. */
434 + 1 + 1
435 /* Codes higher than 126. */
436 + 256 - 126
437 /* Ending zero. */
438 + 1];
441 /* Get section SECNAME or create one if it doesn't exist. When creating
442 one, new memory for the name is allocated. */
444 static asection *
445 mmo_make_section (bfd *abfd, const char *secname)
447 asection *sec = bfd_get_section_by_name (abfd, secname);
449 if (sec == NULL)
451 char *newsecname = strdup (secname);
453 if (newsecname == NULL)
455 (*_bfd_error_handler)
456 (_("%s: No core to allocate section name %s\n"),
457 bfd_get_filename (abfd), secname);
458 bfd_set_error (bfd_error_system_call);
459 return NULL;
461 sec = bfd_make_section (abfd, newsecname);
464 return sec;
467 /* Nothing to do, but keep as a placeholder if we need it.
468 Note that state that might differ between bfd:s must not be initialized
469 here, nor must it be static. Add it to tdata information instead. */
471 static void
472 mmo_init (void)
474 static bfd_boolean inited = FALSE;
475 int i = 0;
476 int j = 0;
477 static const char letters[]
478 = "ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789:_";
480 if (inited)
481 return;
482 inited = TRUE;
484 /* Fill in the set of valid symbol characters. */
485 strcpy (valid_mmo_symbol_character_set, letters);
486 i = strlen (letters);
488 for (j = 126; j < 256; j++)
489 valid_mmo_symbol_character_set[i++] = j;
492 /* Check whether an existing file is an mmo file. */
494 static const bfd_target *
495 mmo_object_p (bfd *abfd)
497 struct stat statbuf;
498 bfd_byte b[4];
500 mmo_init ();
502 if (bfd_stat (abfd, &statbuf) < 0
503 || bfd_seek (abfd, (file_ptr) 0, SEEK_SET) != 0
504 || bfd_bread (b, 4, abfd) != 4)
505 goto bad_final;
507 /* All mmo files are a multiple of four bytes long.
508 Only recognize version one. */
509 if ((statbuf.st_size % 4) != 0
510 || b[0] != LOP || b[1] != LOP_PRE || b[2] != 1)
511 goto bad_format;
513 /* Get the last 32-bit word. */
514 if (bfd_seek (abfd, (file_ptr) statbuf.st_size - 4, SEEK_SET) != 0
515 || bfd_bread (b, 4, abfd) != 4)
516 goto bad_final;
518 /* Check if the file ends in a lop_end lopcode. */
519 if (b[0] != LOP || b[1] != LOP_END || ! mmo_mkobject (abfd))
520 goto bad_format;
522 /* Compute an upper bound on the max symbol length. Not really
523 important as all of the symbol information can only be 256k. */
524 abfd->tdata.mmo_data->max_symbol_length = (b[2] * 256 + b[3]) * 4;
525 abfd->tdata.mmo_data->lop_stab_symbol
526 = bfd_malloc (abfd->tdata.mmo_data->max_symbol_length + 1);
528 if (abfd->tdata.mmo_data->lop_stab_symbol == NULL)
530 (*_bfd_error_handler)
531 (_("%s: No core to allocate a symbol %d bytes long\n"),
532 bfd_get_filename (abfd), abfd->tdata.mmo_data->max_symbol_length);
533 goto bad_final;
536 /* Read in everything. */
537 if (! mmo_scan (abfd))
538 goto bad_format_free;
540 if (abfd->symcount > 0)
541 abfd->flags |= HAS_SYMS;
543 /* You'll have to tweak this if you want to use this format for other
544 arches (not recommended due to its small-size limitations). Look at
545 the ELF format for how to make it target-generic. */
546 if (! bfd_default_set_arch_mach (abfd, bfd_arch_mmix, 0))
547 goto bad_format_free;
549 return abfd->xvec;
551 bad_format_free:
552 free (abfd->tdata.mmo_data->lop_stab_symbol);
553 bad_format:
554 bfd_set_error (bfd_error_wrong_format);
555 bad_final:
556 return NULL;
559 /* Set up the mmo tdata information. */
561 static bfd_boolean
562 mmo_mkobject (bfd *abfd)
564 mmo_init ();
566 if (abfd->tdata.mmo_data == NULL)
568 time_t created;
570 /* All fields are zero-initialized, so we don't have to explicitly
571 initialize most. */
572 tdata_type *tdata = (tdata_type *) bfd_zmalloc (sizeof (tdata_type));
573 if (tdata == NULL)
574 return FALSE;
576 created = time (NULL);
577 bfd_put_32 (abfd, created, tdata->created);
579 abfd->tdata.mmo_data = tdata;
582 return TRUE;
585 static bfd_boolean
586 mmo_bfd_copy_private_bfd_data (bfd *ibfd, bfd *obfd)
588 if (bfd_get_flavour (ibfd) != bfd_target_mmo_flavour
589 || bfd_get_flavour (obfd) != bfd_target_mmo_flavour)
590 return TRUE;
592 /* Copy the time the copied-from file was created. If people want the
593 time the file was last *modified*, they have that in the normal file
594 information. */
595 memcpy (obfd->tdata.mmo_data->created, ibfd->tdata.mmo_data->created,
596 sizeof (obfd->tdata.mmo_data->created));
597 return TRUE;
600 /* Helper functions for mmo_decide_section, used through
601 bfd_map_over_sections. */
603 static void
604 mmo_find_sec_w_addr (bfd *abfd ATTRIBUTE_UNUSED, asection *sec, void *p)
606 struct mmo_find_sec_info *infop = (struct mmo_find_sec_info *) p;
607 bfd_vma vma = bfd_get_section_vma (abfd, sec);
609 /* Ignore sections that aren't loaded. */
610 if ((bfd_get_section_flags (abfd, sec) & (SEC_LOAD | SEC_ALLOC))
611 != (SEC_LOAD | SEC_ALLOC))
612 return;
614 if (infop->addr >= vma && infop->addr < vma + sec->size)
615 infop->sec = sec;
618 static void
619 mmo_find_sec_w_addr_grow (bfd *abfd ATTRIBUTE_UNUSED, asection *sec, void *p)
621 struct mmo_find_sec_info *infop = (struct mmo_find_sec_info *) p;
622 bfd_vma vma = bfd_get_section_vma (abfd, sec);
624 /* Ignore sections that aren't loaded. */
625 if ((bfd_get_section_flags (abfd, sec) & (SEC_LOAD | SEC_ALLOC))
626 != (SEC_LOAD | SEC_ALLOC))
627 return;
629 if (infop->addr >= vma && infop->addr < vma + MAX_ARTIFICIAL_SECTION_SIZE)
630 infop->sec = sec;
633 /* Find a section that corresponds to a VMA. Automatically create .text
634 or .data and set current section to it, depending on what vma. If we
635 can't deduce a section, make one up as ".MMIX.sec.N", where N is an
636 increasing number. */
638 static asection *
639 mmo_decide_section (bfd *abfd, bfd_vma vma)
641 asection *sec = NULL;
642 char sec_name[sizeof (".MMIX.sec.") + 20];
643 struct mmo_find_sec_info info;
645 info.addr = vma;
646 info.sec = NULL;
648 /* First see if there's a section that would match exactly. */
649 bfd_map_over_sections (abfd, mmo_find_sec_w_addr, &info);
651 if (info.sec != NULL)
652 return info.sec;
654 /* If there's no such section, try and expand one of the existing ones,
655 up to a limit. Make sure we have .text and .data before we try that;
656 create them corresponding to expected addresses and set flags to make
657 them match the "loaded and with contents" expectation. */
658 if ((vma >> 56) == 0)
660 sec = bfd_make_section_old_way (abfd, MMO_TEXT_SECTION_NAME);
662 if (sec == NULL)
663 return NULL;
665 if (! sec->user_set_vma)
666 bfd_set_section_vma (abfd, sec, vma);
667 if (! bfd_set_section_flags (abfd, sec,
668 bfd_get_section_flags (abfd, sec)
669 | SEC_CODE | SEC_LOAD | SEC_ALLOC))
670 return NULL;
672 else if ((vma >> 56) == 0x20)
674 sec = bfd_make_section_old_way (abfd, MMO_DATA_SECTION_NAME);
676 if (sec == NULL)
677 return NULL;
679 if (! sec->user_set_vma)
680 bfd_set_section_vma (abfd, sec, vma);
681 if (! bfd_set_section_flags (abfd, sec,
682 bfd_get_section_flags (abfd, sec)
683 | SEC_LOAD | SEC_ALLOC))
684 return NULL;
687 bfd_map_over_sections (abfd, mmo_find_sec_w_addr_grow, &info);
689 if (info.sec != NULL)
690 return info.sec;
692 /* If there's still no suitable section, make a new one. */
693 sprintf (sec_name, ".MMIX.sec.%d", abfd->tdata.mmo_data->sec_no++);
694 sec = mmo_make_section (abfd, sec_name);
695 if (! sec->user_set_vma)
696 bfd_set_section_vma (abfd, sec, vma);
698 if (! bfd_set_section_flags (abfd, sec,
699 bfd_get_section_flags (abfd, sec)
700 | SEC_LOAD | SEC_ALLOC))
701 return NULL;
702 return sec;
705 /* Xor in a 64-bit value VALUE at VMA. */
707 static INLINE void
708 mmo_xore_64 (asection *sec, bfd_vma vma, bfd_vma value)
710 bfd_byte *loc = mmo_get_loc (sec, vma, 8);
711 bfd_vma prev = bfd_get_64 (sec->owner, loc);
713 value ^= prev;
714 bfd_put_64 (sec->owner, value, loc);
717 /* Xor in a 32-bit value VALUE at VMA. */
719 static INLINE void
720 mmo_xore_32 (asection *sec, bfd_vma vma, unsigned int value)
722 bfd_byte *loc = mmo_get_loc (sec, vma, 4);
723 unsigned int prev = bfd_get_32 (sec->owner, loc);
725 value ^= prev;
726 bfd_put_32 (sec->owner, value, loc);
729 /* Xor in a 16-bit value VALUE at VMA. */
731 static INLINE void
732 mmo_xore_16 (asection *sec, bfd_vma vma, unsigned int value)
734 bfd_byte *loc = mmo_get_loc (sec, vma, 2);
735 unsigned int prev = bfd_get_16 (sec->owner, loc);
737 value ^= prev;
738 bfd_put_16 (sec->owner, value, loc);
741 /* Write a 32-bit word to output file, no lop_quote generated. */
743 static INLINE void
744 mmo_write_tetra_raw (bfd *abfd, unsigned int value)
746 bfd_byte buf[4];
748 bfd_put_32 (abfd, value, buf);
750 if (bfd_bwrite (buf, 4, abfd) != 4)
751 abfd->tdata.mmo_data->have_error = TRUE;
754 /* Write a 32-bit word to output file; lop_quote if necessary. */
756 static INLINE void
757 mmo_write_tetra (bfd *abfd, unsigned int value)
759 if (((value >> 24) & 0xff) == LOP)
760 mmo_write_tetra_raw (abfd, LOP_QUOTE_NEXT);
762 mmo_write_tetra_raw (abfd, value);
765 /* Write a 64-bit word to output file, perhaps with lop_quoting. */
767 static INLINE void
768 mmo_write_octa (bfd *abfd, bfd_vma value)
770 mmo_write_tetra (abfd, (unsigned int) (value >> 32));
771 mmo_write_tetra (abfd, (unsigned int) value);
774 /* Write a 64-bit word to output file, without lop_quoting. */
776 static INLINE void
777 mmo_write_octa_raw (bfd *abfd, bfd_vma value)
779 mmo_write_tetra_raw (abfd, (unsigned int) (value >> 32));
780 mmo_write_tetra_raw (abfd, (unsigned int) value);
783 /* Write quoted contents. Intended to be called multiple times in
784 sequence, followed by a call to mmo_flush_chunk. */
786 static INLINE bfd_boolean
787 mmo_write_chunk (bfd *abfd, const bfd_byte *loc, unsigned int len)
789 bfd_boolean retval = TRUE;
791 /* Fill up a tetra from bytes remaining from a previous chunk. */
792 if (abfd->tdata.mmo_data->byte_no != 0)
794 while (abfd->tdata.mmo_data->byte_no < 4 && len != 0)
796 abfd->tdata.mmo_data->buf[abfd->tdata.mmo_data->byte_no++] = *loc++;
797 len--;
800 if (abfd->tdata.mmo_data->byte_no == 4)
802 mmo_write_tetra (abfd,
803 bfd_get_32 (abfd, abfd->tdata.mmo_data->buf));
804 abfd->tdata.mmo_data->byte_no = 0;
808 while (len >= 4)
810 if (loc[0] == LOP)
811 mmo_write_tetra_raw (abfd, LOP_QUOTE_NEXT);
813 retval = (retval
814 && ! abfd->tdata.mmo_data->have_error
815 && 4 == bfd_bwrite (loc, 4, abfd));
817 loc += 4;
818 len -= 4;
821 if (len)
823 memcpy (abfd->tdata.mmo_data->buf, loc, len);
824 abfd->tdata.mmo_data->byte_no = len;
827 if (! retval)
828 abfd->tdata.mmo_data->have_error = TRUE;
829 return retval;
832 /* Flush remaining bytes, from a previous mmo_write_chunk, zero-padded to
833 4 bytes. */
835 static INLINE bfd_boolean
836 mmo_flush_chunk (bfd *abfd)
838 if (abfd->tdata.mmo_data->byte_no != 0)
840 memset (abfd->tdata.mmo_data->buf + abfd->tdata.mmo_data->byte_no,
841 0, 4 - abfd->tdata.mmo_data->byte_no);
842 mmo_write_tetra (abfd,
843 bfd_get_32 (abfd, abfd->tdata.mmo_data->buf));
844 abfd->tdata.mmo_data->byte_no = 0;
847 return ! abfd->tdata.mmo_data->have_error;
850 /* Same, but from a list. */
852 static INLINE bfd_boolean
853 mmo_write_chunk_list (bfd *abfd, mmo_data_list_type *datap)
855 for (; datap != NULL; datap = datap->next)
856 if (! mmo_write_chunk (abfd, datap->data, datap->size))
857 return FALSE;
859 return mmo_flush_chunk (abfd);
862 /* Write a lop_loc and some contents. A caller needs to call
863 mmo_flush_chunk after calling this function. The location is only
864 output if different than *LAST_VMAP, which is updated after this call. */
866 static bfd_boolean
867 mmo_write_loc_chunk (bfd *abfd, bfd_vma vma, const bfd_byte *loc,
868 unsigned int len, bfd_vma *last_vmap)
870 /* Find an initial and trailing section of zero tetras; we don't need to
871 write out zeros. FIXME: When we do this, we should emit section size
872 and address specifiers, else objcopy can't always perform an identity
873 translation. Only do this if we *don't* have left-over data from a
874 previous write or the vma of this chunk is *not* the next address,
875 because then data isn't tetrabyte-aligned and we're concatenating to
876 that left-over data. */
878 if (abfd->tdata.mmo_data->byte_no == 0 || vma != *last_vmap)
880 while (len >= 4 && bfd_get_32 (abfd, loc) == 0)
882 vma += 4;
883 len -= 4;
884 loc += 4;
887 while (len >= 4 && bfd_get_32 (abfd, loc + len - 4) == 0)
888 len -= 4;
891 /* Only write out the location if it's different than the one the caller
892 (supposedly) previously handled, accounting for omitted leading zeros. */
893 if (vma != *last_vmap)
895 /* We might be in the middle of a sequence. */
896 mmo_flush_chunk (abfd);
898 /* We always write the location as 64 bits; no use saving bytes
899 here. */
900 mmo_write_tetra_raw (abfd, (LOP << 24) | (LOP_LOC << 16) | 2);
901 mmo_write_octa_raw (abfd, vma);
904 /* Update to reflect end of this chunk, with trailing zeros omitted. */
905 *last_vmap = vma + len;
907 return (! abfd->tdata.mmo_data->have_error
908 && mmo_write_chunk (abfd, loc, len));
911 /* Same, but from a list. */
913 static INLINE bfd_boolean
914 mmo_write_loc_chunk_list (bfd *abfd, mmo_data_list_type *datap)
916 /* Get an address different than the address of the first chunk. */
917 bfd_vma last_vma = datap ? datap->where - 1 : 0;
919 for (; datap != NULL; datap = datap->next)
920 if (! mmo_write_loc_chunk (abfd, datap->where, datap->data, datap->size,
921 &last_vma))
922 return FALSE;
924 return mmo_flush_chunk (abfd);
927 /* Make a .MMIX.spec_data.N section. */
929 static asection *
930 mmo_get_generic_spec_data_section (bfd *abfd, int spec_data_number)
932 asection *sec;
933 char secname[sizeof (MMIX_OTHER_SPEC_SECTION_PREFIX) + 20]
934 = MMIX_OTHER_SPEC_SECTION_PREFIX;
936 sprintf (secname + strlen (MMIX_OTHER_SPEC_SECTION_PREFIX),
937 "%d", spec_data_number);
939 sec = mmo_make_section (abfd, secname);
941 return sec;
944 /* Make a special section for SPEC_DATA_NUMBER. If it is the one we use
945 ourselves, parse some of its data to get at the section name. */
947 static asection *
948 mmo_get_spec_section (bfd *abfd, int spec_data_number)
950 char *secname;
951 asection *sec;
952 bfd_byte buf[4];
953 unsigned int secname_length;
954 unsigned int i;
955 bfd_vma section_length;
956 bfd_vma section_vma;
957 mmo_data_list_type *loc;
958 flagword flags;
959 long orig_pos;
961 /* If this isn't the "special" special data, then make a placeholder
962 section. */
963 if (spec_data_number != SPEC_DATA_SECTION)
964 return mmo_get_generic_spec_data_section (abfd, spec_data_number);
966 /* Seek back to this position if there was a format error. */
967 orig_pos = bfd_tell (abfd);
969 /* Read the length (in 32-bit words). */
970 if (bfd_bread (buf, 4, abfd) != 4)
971 goto format_error;
973 if (buf[0] == LOP)
975 if (buf[1] != LOP_QUOTE)
976 goto format_error;
978 if (bfd_bread (buf, 4, abfd) != 4)
979 goto format_error;
982 /* We don't care to keep the name length accurate. It's
983 zero-terminated. */
984 secname_length = bfd_get_32 (abfd, buf) * 4;
986 /* Check section name length for sanity. */
987 if (secname_length > MAX_SECTION_NAME_SIZE)
988 goto format_error;
990 /* This should be free'd regardless if a section is created. */
991 secname = bfd_malloc (secname_length + 1);
992 secname[secname_length] = 0;
994 for (i = 0; i < secname_length / 4; i++)
996 if (bfd_bread (secname + i * 4, 4, abfd) != 4)
997 goto format_error_free;
999 if (secname[i * 4] == (char) LOP)
1001 /* A bit of overkill, but we handle char 0x98 in a section name,
1002 and recognize misparsing. */
1003 if (secname[i * 4 + 1] != LOP_QUOTE
1004 || bfd_bread (secname + i * 4, 4, abfd) != 4)
1005 /* Whoops. We thought this was a name, and now we found a
1006 non-lop_quote lopcode before we parsed the whole length of
1007 the name. Signal end-of-file in the same manner. */
1008 goto format_error_free;
1012 /* Get the section flags. */
1013 if (bfd_bread (buf, 4, abfd) != 4
1014 || (buf[0] == LOP
1015 && (buf[1] != LOP_QUOTE || bfd_bread (buf, 4, abfd) != 4)))
1016 goto format_error_free;
1018 flags = bfd_get_32 (abfd, buf);
1020 /* Get the section length. */
1021 if (bfd_bread (buf, 4, abfd) != 4
1022 || (buf[0] == LOP
1023 && (buf[1] != LOP_QUOTE || bfd_bread (buf, 4, abfd) != 4)))
1024 goto format_error_free;
1026 section_length = (bfd_vma) bfd_get_32 (abfd, buf) << 32;
1028 /* That's the first, high-part. Now get the low part. */
1030 if (bfd_bread (buf, 4, abfd) != 4
1031 || (buf[0] == LOP
1032 && (buf[1] != LOP_QUOTE || bfd_bread (buf, 4, abfd) != 4)))
1033 goto format_error_free;
1035 section_length |= (bfd_vma) bfd_get_32 (abfd, buf);
1037 /* Check the section length for sanity. */
1038 if (section_length > MAX_ARTIFICIAL_SECTION_SIZE)
1039 goto format_error_free;
1041 /* Get the section VMA. */
1042 if (bfd_bread (buf, 4, abfd) != 4
1043 || (buf[0] == LOP
1044 && (buf[1] != LOP_QUOTE || bfd_bread (buf, 4, abfd) != 4)))
1045 goto format_error_free;
1047 section_vma = (bfd_vma) bfd_get_32 (abfd, buf) << 32;
1049 /* That's the first, high-part. Now get the low part. */
1050 if (bfd_bread (buf, 4, abfd) != 4
1051 || (buf[0] == LOP
1052 && (buf[1] != LOP_QUOTE || bfd_bread (buf, 4, abfd) != 4)))
1053 goto format_error_free;
1055 section_vma |= (bfd_vma) bfd_get_32 (abfd, buf);
1057 sec = mmo_make_section (abfd, secname);
1058 free (secname);
1059 if (sec == NULL)
1060 goto format_error;
1062 /* We allocate a buffer here for the advertised size, with head room for
1063 tetrabyte alignment. */
1064 loc = bfd_zmalloc (section_length + 3
1065 + sizeof (struct mmo_data_list_struct));
1066 if (loc == NULL)
1067 goto format_error;
1069 /* Use a TETRA-rounded size for the allocated buffer; we set the
1070 "visible" section size below. */
1071 loc->size = (section_length + 3) & ~3;
1073 /* Add in the section flags we found to those bfd entered during this
1074 process and set the contents. */
1075 if (! bfd_set_section_flags (abfd, sec,
1076 bfd_sec_flags_from_mmo_flags (flags)
1077 | bfd_get_section_flags (abfd, sec)
1078 | (section_length != 0 ? SEC_HAS_CONTENTS : 0))
1079 || ! bfd_set_section_size (abfd, sec, sec->size + section_length)
1080 /* Set VMA only for the first occurrence. */
1081 || (! sec->user_set_vma
1082 && ! bfd_set_section_vma (abfd, sec, section_vma)))
1084 /* If we get an error for any of the calls above, signal more than
1085 just a format error for the spec section. */
1086 return NULL;
1089 loc->next = NULL;
1090 if (mmo_section_data (sec)->tail != NULL)
1091 mmo_section_data (sec)->tail->next = loc;
1092 else
1093 mmo_section_data (sec)->head = loc;
1094 mmo_section_data (sec)->tail = loc;
1095 loc->where = section_vma;
1097 return sec;
1099 format_error_free:
1100 free (secname);
1101 format_error:
1102 if (bfd_seek (abfd, orig_pos, SEEK_SET) != 0)
1103 return NULL;
1105 return mmo_get_generic_spec_data_section (abfd, spec_data_number);
1108 /* Read a byte, but read from file in multiples of 32-bit words. */
1110 static bfd_byte
1111 mmo_get_byte (bfd *abfd)
1113 bfd_byte retval;
1115 if (abfd->tdata.mmo_data->byte_no == 0)
1117 if (! abfd->tdata.mmo_data->have_error
1118 && bfd_bread (abfd->tdata.mmo_data->buf, 4, abfd) != 4)
1120 abfd->tdata.mmo_data->have_error = TRUE;
1122 /* A value somewhat safe against tripping on some inconsistency
1123 when mopping up after this error. */
1124 return 128;
1128 retval = abfd->tdata.mmo_data->buf[abfd->tdata.mmo_data->byte_no];
1129 abfd->tdata.mmo_data->byte_no = (abfd->tdata.mmo_data->byte_no + 1) % 4;
1131 return retval;
1134 /* Write a byte, in multiples of 32-bit words. */
1136 static void
1137 mmo_write_byte (bfd *abfd, bfd_byte value)
1139 abfd->tdata.mmo_data->buf[(abfd->tdata.mmo_data->byte_no++ % 4)] = value;
1140 if ((abfd->tdata.mmo_data->byte_no % 4) == 0)
1142 if (! abfd->tdata.mmo_data->have_error
1143 && bfd_bwrite (abfd->tdata.mmo_data->buf, 4, abfd) != 4)
1144 abfd->tdata.mmo_data->have_error = TRUE;
1148 /* Create a symbol. */
1150 static bfd_boolean
1151 mmo_create_symbol (bfd *abfd, const char *symname, bfd_vma addr, enum
1152 mmo_sym_type sym_type, unsigned int serno)
1154 struct mmo_symbol *n;
1156 n = (struct mmo_symbol *) bfd_alloc (abfd, sizeof (struct mmo_symbol));
1157 if (n == NULL)
1158 return FALSE;
1160 n->name = bfd_alloc (abfd, strlen (symname) + 1);
1161 if (n->name == NULL)
1162 return FALSE;
1164 strcpy (n->name, symname);
1166 n->value = addr;
1167 n->sym_type = sym_type;
1168 n->serno = serno;
1170 if (abfd->tdata.mmo_data->symbols == NULL)
1171 abfd->tdata.mmo_data->symbols = n;
1172 else
1173 abfd->tdata.mmo_data->symtail->next = n;
1174 abfd->tdata.mmo_data->symtail = n;
1175 n->next = NULL;
1177 ++abfd->symcount;
1179 /* Check that :Main equals the last octa of the .MMIX.reg_contents
1180 section, as it's the one place we're sure to pass when reading a mmo
1181 object. For written objects, we do it while setting the symbol
1182 table. */
1183 if (strcmp (symname, MMIX_START_SYMBOL_NAME) == 0
1184 && bfd_get_start_address (abfd) != addr)
1186 (*_bfd_error_handler)
1187 (_("%s: invalid mmo file: initialization value for $255 is not `Main'\n"),
1188 bfd_get_filename (abfd));
1189 bfd_set_error (bfd_error_bad_value);
1190 return FALSE;
1193 return TRUE;
1196 /* Read in symbols. */
1198 static bfd_boolean
1199 mmo_get_symbols (bfd *abfd)
1202 INODE
1203 Symbol-table, mmo section mapping, File layout, mmo
1204 SUBSECTION
1205 Symbol table format
1207 From mmixal.w (or really, the generated mmixal.tex) in
1208 @url{http://www-cs-faculty.stanford.edu/~knuth/programs/mmix.tar.gz}):
1209 ``Symbols are stored and retrieved by means of a @samp{ternary
1210 search trie}, following ideas of Bentley and Sedgewick. (See
1211 ACM--SIAM Symp.@: on Discrete Algorithms @samp{8} (1997), 360--369;
1212 R.@:Sedgewick, @samp{Algorithms in C} (Reading, Mass.@:
1213 Addison--Wesley, 1998), @samp{15.4}.) Each trie node stores a
1214 character, and there are branches to subtries for the cases where
1215 a given character is less than, equal to, or greater than the
1216 character in the trie. There also is a pointer to a symbol table
1217 entry if a symbol ends at the current node.''
1219 So it's a tree encoded as a stream of bytes. The stream of bytes
1220 acts on a single virtual global symbol, adding and removing
1221 characters and signalling complete symbol points. Here, we read
1222 the stream and create symbols at the completion points.
1224 First, there's a control byte <<m>>. If any of the listed bits
1225 in <<m>> is nonzero, we execute what stands at the right, in
1226 the listed order:
1228 | (MMO3_LEFT)
1229 | 0x40 - Traverse left trie.
1230 | (Read a new command byte and recurse.)
1232 | (MMO3_SYMBITS)
1233 | 0x2f - Read the next byte as a character and store it in the
1234 | current character position; increment character position.
1235 | Test the bits of <<m>>:
1237 | (MMO3_WCHAR)
1238 | 0x80 - The character is 16-bit (so read another byte,
1239 | merge into current character.
1241 | (MMO3_TYPEBITS)
1242 | 0xf - We have a complete symbol; parse the type, value
1243 | and serial number and do what should be done
1244 | with a symbol. The type and length information
1245 | is in j = (m & 0xf).
1247 | (MMO3_REGQUAL_BITS)
1248 | j == 0xf: A register variable. The following
1249 | byte tells which register.
1250 | j <= 8: An absolute symbol. Read j bytes as the
1251 | big-endian number the symbol equals.
1252 | A j = 2 with two zero bytes denotes an
1253 | unknown symbol.
1254 | j > 8: As with j <= 8, but add (0x20 << 56)
1255 | to the value in the following j - 8
1256 | bytes.
1258 | Then comes the serial number, as a variant of
1259 | uleb128, but better named ubeb128:
1260 | Read bytes and shift the previous value left 7
1261 | (multiply by 128). Add in the new byte, repeat
1262 | until a byte has bit 7 set. The serial number
1263 | is the computed value minus 128.
1265 | (MMO3_MIDDLE)
1266 | 0x20 - Traverse middle trie. (Read a new command byte
1267 | and recurse.) Decrement character position.
1269 | (MMO3_RIGHT)
1270 | 0x10 - Traverse right trie. (Read a new command byte and
1271 | recurse.)
1273 Let's look again at the <<lop_stab>> for the trivial file
1274 (@pxref{File layout}).
1276 | 0x980b0000 - lop_stab for ":Main" = 0, serial 1.
1277 | 0x203a4040
1278 | 0x10404020
1279 | 0x4d206120
1280 | 0x69016e00
1281 | 0x81000000
1283 This forms the trivial trie (note that the path between ``:'' and
1284 ``M'' is redundant):
1286 | 203a ":"
1287 | 40 /
1288 | 40 /
1289 | 10 \
1290 | 40 /
1291 | 40 /
1292 | 204d "M"
1293 | 2061 "a"
1294 | 2069 "i"
1295 | 016e "n" is the last character in a full symbol, and
1296 | with a value represented in one byte.
1297 | 00 The value is 0.
1298 | 81 The serial number is 1. */
1300 bfd_byte m = mmo_get_byte (abfd);
1302 /* Check first if we have a bad hair day. */
1303 if (abfd->tdata.mmo_data->have_error)
1304 return FALSE;
1306 if (m & MMO3_LEFT)
1307 /* Traverse left trie. */
1308 mmo_get_symbols (abfd);
1310 if (m & MMO3_SYMBITS)
1312 bfd_byte c = mmo_get_byte (abfd);
1313 bfd_byte j = m & MMO3_TYPEBITS;
1314 bfd_vma addr = 0;
1315 enum mmo_sym_type sym_type;
1316 unsigned int serno = 0;
1317 bfd_byte k;
1319 if (m & MMO3_WCHAR)
1321 bfd_byte c2 = mmo_get_byte (abfd);
1323 /* A two-byte character. We can't grok this, but neither can
1324 mmotype, for other cases than the second byte being zero. */
1326 if (c != 0)
1328 abfd->tdata.mmo_data->lop_stab_symbol
1329 [abfd->tdata.mmo_data->symbol_position] = 0;
1331 (*_bfd_error_handler)
1332 (_("%s: unsupported wide character sequence"
1333 " 0x%02X 0x%02X after symbol name starting with `%s'\n"),
1334 bfd_get_filename (abfd), c, c2,
1335 abfd->tdata.mmo_data->lop_stab_symbol);
1336 bfd_set_error (bfd_error_bad_value);
1337 abfd->tdata.mmo_data->have_error = TRUE;
1338 return FALSE;
1340 else
1341 c = c2;
1344 abfd->tdata.mmo_data->lop_stab_symbol[abfd->tdata.mmo_data->symbol_position++] = c;
1345 abfd->tdata.mmo_data->lop_stab_symbol[abfd->tdata.mmo_data->symbol_position] = 0;
1347 if (j & MMO3_REGQUAL_BITS)
1349 if (j == MMO3_REGQUAL_BITS)
1351 sym_type = mmo_reg_sym;
1352 addr = mmo_get_byte (abfd);
1354 else if (j <= 8)
1356 unsigned int i;
1358 for (i = 0; i < j; i++)
1359 addr = (addr << 8) + mmo_get_byte (abfd);
1361 if (addr == 0 && j == MMO3_UNDEF)
1362 sym_type = mmo_undef_sym;
1363 else
1364 sym_type = mmo_abs_sym;
1366 else
1368 unsigned int i;
1370 for (i = MMO3_DATA; i < j; i++)
1371 addr = (addr << 8) + mmo_get_byte (abfd);
1373 addr += (bfd_vma) 0x20 << 56;
1374 sym_type = mmo_data_sym;
1377 /* Get the serial number. */
1380 k = mmo_get_byte (abfd);
1381 serno = (serno << 7) + k;
1383 while (k < 128);
1384 serno -= 128;
1386 /* Got it. Now enter it. Skip a leading ":". */
1387 if (! abfd->tdata.mmo_data->have_error
1388 && ! mmo_create_symbol (abfd,
1389 abfd->tdata.mmo_data->lop_stab_symbol
1390 + 1,
1391 addr, sym_type, serno))
1392 abfd->tdata.mmo_data->have_error = TRUE;
1395 if (m & MMO3_MIDDLE)
1396 /* Traverse middle trie. */
1397 mmo_get_symbols (abfd);
1399 abfd->tdata.mmo_data->symbol_position--;
1402 if (m & MMO3_RIGHT)
1403 /* Traverse right trie. */
1404 mmo_get_symbols (abfd);
1406 return ! abfd->tdata.mmo_data->have_error;
1409 /* Get the location of memory area [VMA..VMA + SIZE - 1], which we think
1410 is in section SEC. Adjust and reallocate zero-initialized contents.
1411 If there's new contents, allocate to the next multiple of
1412 MMO_SEC_CONTENTS_CHUNK_SIZE. */
1414 static INLINE bfd_byte *
1415 mmo_get_loc (asection *sec, bfd_vma vma, int size)
1417 bfd_size_type allocated_size;
1418 struct mmo_section_data_struct *sdatap = mmo_section_data (sec);
1419 struct mmo_data_list_struct *datap = sdatap->head;
1420 struct mmo_data_list_struct *entry;
1422 /* First search the list to see if we have the requested chunk in one
1423 piece, or perhaps if we have a suitable chunk with room to fit. */
1424 for (; datap != NULL; datap = datap->next)
1426 if (datap->where <= vma
1427 && datap->where + datap->size >= vma + size)
1428 return datap->data + vma - datap->where;
1429 else if (datap->where <= vma
1430 && datap->where + datap->allocated_size >= vma + size
1431 /* Only munch on the "allocated size" if it does not
1432 overlap the next chunk. */
1433 && (datap->next == NULL || datap->next->where >= vma + size))
1435 /* There was room allocated, but the size wasn't set to include
1436 it. Do that now. */
1437 datap->size += (vma + size) - (datap->where + datap->size);
1439 /* Update the section size. This happens only if we update the
1440 32-bit-aligned chunk size. Callers that have
1441 non-32-bit-aligned sections should do all allocation and
1442 size-setting by themselves or at least set the section size
1443 after the last allocating call to this function. */
1444 if (vma + size > sec->vma + sec->size)
1445 sec->size += (vma + size) - (sec->vma + sec->size);
1447 return datap->data + vma - datap->where;
1451 /* Not found; allocate a new block. First check in case we get a
1452 request for a size split up over several blocks; we'll have to return
1453 NULL for those cases, requesting the caller to split up the request.
1454 Requests with an address aligned on MMO_SEC_CONTENTS_CHUNK_SIZE bytes and
1455 for no more than MMO_SEC_CONTENTS_CHUNK_SIZE will always get resolved. */
1457 for (datap = sdatap->head; datap != NULL; datap = datap->next)
1458 if ((datap->where <= vma && datap->where + datap->size > vma)
1459 || (datap->where < vma + size
1460 && datap->where + datap->size >= vma + size))
1461 return NULL;
1463 allocated_size
1464 = (size + MMO_SEC_CONTENTS_CHUNK_SIZE - 1) & ~(MMO_SEC_CONTENTS_CHUNK_SIZE - 1);
1465 entry = (mmo_data_list_type *)
1466 bfd_zalloc (sec->owner, sizeof (mmo_data_list_type) + allocated_size);
1467 if (entry == NULL)
1468 return NULL;
1469 entry->where = vma;
1470 entry->size = size;
1471 entry->allocated_size = allocated_size;
1473 datap = sdatap->head;
1475 /* Sort the records by address. Optimize for the common case of adding
1476 a record to the end of the list. */
1477 if (sdatap->tail != NULL && entry->where >= sdatap->tail->where)
1479 sdatap->tail->next = entry;
1480 entry->next = NULL;
1481 sdatap->tail = entry;
1483 else
1485 mmo_data_list_type **look;
1486 for (look = &sdatap->head;
1487 *look != NULL && (*look)->where < entry->where;
1488 look = &(*look)->next)
1490 entry->next = *look;
1491 *look = entry;
1492 if (entry->next == NULL)
1494 sdatap->tail = entry;
1496 /* We get here for the first time (at other times too) for this
1497 section. Say we have contents. */
1498 if (! bfd_set_section_flags (sec->owner, sec,
1499 bfd_get_section_flags (sec->owner, sec)
1500 | SEC_HAS_CONTENTS))
1501 return NULL;
1505 /* Update the section size. This happens only when we add contents and
1506 re-size as we go. The section size will then be aligned to 32 bits. */
1507 if (vma + size > sec->vma + sec->size)
1508 sec->size += (vma + size) - (sec->vma + sec->size);
1509 return entry->data;
1512 /* Set sizes once we've read in all sections. */
1514 static void
1515 mmo_map_set_sizes (bfd *abfd ATTRIBUTE_UNUSED, asection *sec,
1516 void *ignored ATTRIBUTE_UNUSED)
1518 sec->lma = sec->vma;
1521 /* Read the mmo file and turn it into sections. */
1523 static bfd_boolean
1524 mmo_scan (bfd *abfd)
1526 unsigned int i;
1527 unsigned int lineno = 1;
1528 bfd_boolean error = FALSE;
1529 bfd_vma vma = 0;
1530 asection *sec = bfd_make_section_old_way (abfd, MMO_TEXT_SECTION_NAME);
1531 asection *non_spec_sec = NULL;
1532 bfd_vma non_spec_vma = 0;
1533 bfd_size_type nbytes_read = 0;
1534 /* Buffer with room to read a 64-bit value. */
1535 bfd_byte buf[8];
1536 long stab_loc = -1;
1537 char *file_names[256];
1539 memset (file_names, 0, sizeof (file_names));
1541 if (bfd_seek (abfd, (file_ptr) 0, SEEK_SET) != 0)
1542 goto error_return;
1544 while ((nbytes_read = bfd_bread (buf, 4, abfd)) == 4)
1546 if (buf[0] == LOP)
1548 unsigned int y = bfd_get_8 (abfd, buf + 2);
1549 unsigned int z = bfd_get_8 (abfd, buf + 3);
1551 /* Change back to the original section for lopcodes other
1552 than LOP_QUOTE that comes after a LOP_SPEC. */
1553 if ((buf[1] != LOP_QUOTE || y != 0 || z != 1)
1554 && non_spec_sec != NULL)
1556 sec = non_spec_sec;
1557 vma = non_spec_vma;
1558 non_spec_sec = NULL;
1561 switch (buf[1])
1563 default:
1564 (*_bfd_error_handler)
1565 (_("%s: invalid mmo file: unsupported lopcode `%d'\n"),
1566 bfd_get_filename (abfd), buf[1]);
1567 bfd_set_error (bfd_error_bad_value);
1568 goto error_return;
1570 case LOP_QUOTE:
1571 /* Quote the next 32-bit word. */
1572 if (y != 0 || z != 1)
1574 (*_bfd_error_handler)
1575 (_("%s: invalid mmo file: expected YZ = 1 got YZ = %d for lop_quote\n"),
1576 bfd_get_filename (abfd), y*256+z);
1577 bfd_set_error (bfd_error_bad_value);
1578 goto error_return;
1580 if (bfd_bread (buf, 4, abfd) != 4)
1581 goto error_return;
1583 mmo_xore_32 (sec, vma, bfd_get_32 (abfd, buf));
1584 vma += 4;
1585 vma &= ~3;
1586 lineno++;
1587 break;
1589 case LOP_LOC:
1590 /* Set vma (and section). */
1591 vma = (bfd_vma) y << 56;
1592 if (z == 1)
1594 /* Get a 32-bit value. */
1595 if (bfd_bread (buf, 4, abfd) != 4)
1596 goto error_return;
1598 vma += bfd_get_32 (abfd, buf);
1600 else if (z == 2)
1602 /* Get a 64-bit value. */
1603 if (bfd_bread (buf, 8, abfd) != 8)
1604 goto error_return;
1606 vma += bfd_get_64 (abfd, buf);
1608 else
1610 (*_bfd_error_handler)
1611 (_("%s: invalid mmo file: expected z = 1 or z = 2, got z = %d for lop_loc\n"),
1612 bfd_get_filename (abfd), z);
1613 bfd_set_error (bfd_error_bad_value);
1614 goto error_return;
1617 sec = mmo_decide_section (abfd, vma);
1618 if (sec == NULL)
1619 goto error_return;
1620 break;
1622 case LOP_SKIP:
1623 /* Move forward within the same section. */
1624 vma += y * 256 + z;
1626 sec = mmo_decide_section (abfd, vma);
1627 if (sec == NULL)
1628 goto error_return;
1629 break;
1631 case LOP_FIXO:
1632 /* A fixup: Store the current vma somewhere. Position using
1633 same format as LOP_LOC. */
1635 bfd_vma p = (bfd_vma) y << 56;
1636 asection *fixosec;
1638 if (z == 1)
1640 /* Get a 32-bit value. */
1641 if (bfd_bread (buf, 4, abfd) != 4)
1642 goto error_return;
1644 p += bfd_get_32 (abfd, buf);
1646 else if (z == 2)
1648 /* Get a 64-bit value. */
1649 if (bfd_bread (buf, 8, abfd) != 8)
1650 goto error_return;
1652 p += bfd_get_64 (abfd, buf);
1654 else
1656 (*_bfd_error_handler)
1657 (_("%s: invalid mmo file: expected z = 1 or z = 2, got z = %d for lop_fixo\n"),
1658 bfd_get_filename (abfd), z);
1659 bfd_set_error (bfd_error_bad_value);
1660 goto error_return;
1663 /* The section where we store this address might be a
1664 different one than the current section. */
1665 fixosec = mmo_decide_section (abfd, p);
1666 if (fixosec == NULL)
1667 goto error_return;
1668 mmo_xore_64 (fixosec, p, vma);
1670 break;
1672 case LOP_FIXR:
1673 /* A fixup: Store YZ of this lopcode into YZ at vma - 4 * yz. */
1675 unsigned int yz = (y * 256 + z);
1676 bfd_vma p = vma + 2 - 4 * yz;
1677 asection *fixrsec = mmo_decide_section (abfd, p);
1678 if (fixrsec == NULL)
1679 goto error_return;
1680 mmo_xore_16 (fixrsec, p, yz);
1682 break;
1684 case LOP_FIXRX:
1685 /* A fixup, similar to lop_fixr, but taking larger numbers
1686 and can change branches into the opposite direction
1687 (gasp!). */
1689 bfd_vma delta;
1690 bfd_vma p;
1691 asection *fixrsec;
1693 if (y != 0)
1695 (*_bfd_error_handler)
1696 (_("%s: invalid mmo file: expected y = 0, got y = %d for lop_fixrx\n"),
1697 bfd_get_filename (abfd), y);
1698 bfd_set_error (bfd_error_bad_value);
1699 goto error_return;
1702 if (z != 16 && z != 24)
1704 (*_bfd_error_handler)
1705 (_("%s: invalid mmo file: expected z = 16 or z = 24, got z = %d for lop_fixrx\n"),
1706 bfd_get_filename (abfd), z);
1707 bfd_set_error (bfd_error_bad_value);
1708 goto error_return;
1711 /* Get the next 32-bit value. */
1712 if (bfd_bread (buf, 4, abfd) != 4)
1713 goto error_return;
1715 delta = bfd_get_32 (abfd, buf);
1717 /* Do an, ehm, involved calculation for the location of
1718 the fixup. See mmixal documentation for a verbose
1719 explanation. We follow it verbosely here for the
1720 readers delight. */
1721 if (buf[0] == 0)
1722 p = vma - 4 * delta;
1723 else if (buf[0] == 1)
1724 p = vma - 4 * ((delta & 0xffffff) - (1 << z));
1725 else
1727 (*_bfd_error_handler)
1728 (_("%s: invalid mmo file: leading byte of operand word must be 0 or 1, got %d for lop_fixrx\n"),
1729 bfd_get_filename (abfd), buf[0]);
1730 bfd_set_error (bfd_error_bad_value);
1731 goto error_return;
1734 fixrsec = mmo_decide_section (abfd, vma);
1735 if (fixrsec == NULL)
1736 goto error_return;
1737 mmo_xore_32 (fixrsec, p, delta);
1739 break;
1741 case LOP_FILE:
1742 /* Set current file and perhaps the file name. Reset line
1743 number. */
1744 if (z != 0)
1746 char *fname = bfd_malloc (z * 4 + 1);
1748 if (fname == NULL)
1750 (*_bfd_error_handler)
1751 (_("%s: cannot allocate file name for file number %d, %d bytes\n"),
1752 bfd_get_filename (abfd), y, z * 4 + 1);
1753 bfd_set_error (bfd_error_system_call);
1754 goto error_return;
1757 fname[z * 4] = 0;
1759 for (i = 0; i < z; i++)
1761 if (bfd_bread (fname + i * 4, 4, abfd) != 4)
1763 free (fname);
1764 goto error_return;
1768 if (file_names[y] != NULL)
1770 (*_bfd_error_handler)
1771 (_("%s: invalid mmo file: file number %d `%s',"
1772 " was already entered as `%s'\n"),
1773 bfd_get_filename (abfd), y, fname, file_names[y]);
1774 bfd_set_error (bfd_error_bad_value);
1775 goto error_return;
1778 file_names[y] = fname;
1781 if (file_names[y] == NULL)
1783 (*_bfd_error_handler)
1784 (_("%s: invalid mmo file: file name for number %d"
1785 " was not specified before use\n"),
1786 bfd_get_filename (abfd), y);
1787 bfd_set_error (bfd_error_bad_value);
1788 goto error_return;
1791 lineno = 0;
1792 break;
1794 case LOP_LINE:
1795 /* Set line number. */
1796 lineno = y * 256 + z;
1797 /* FIXME: Create a sequence of mmo-specific line number
1798 entries for each section, then translate into canonical
1799 format. */
1800 break;
1802 case LOP_SPEC:
1803 /* Special data follows until the next non-lop_quote
1804 lopcode. */
1805 non_spec_sec = sec;
1806 non_spec_vma = vma;
1807 sec = mmo_get_spec_section (abfd, y * 256 + z);
1808 if (sec == NULL)
1809 goto error_return;
1811 vma = sec->vma;
1812 break;
1814 case LOP_PRE:
1816 /* We ignore header information, except we read in the
1817 creation time from the first 32-bit word with the time
1818 in seconds since era. */
1819 if (z >= 1
1820 && bfd_bread (abfd->tdata.mmo_data->created, 4,
1821 abfd) != 4)
1822 goto error_return;
1824 for (i = 1; i < z; i++)
1825 if (bfd_bread (buf, 4, abfd) != 4)
1826 goto error_return;
1828 break;
1830 case LOP_POST:
1831 /* This tells of the contents of registers $Z..$255 at
1832 startup. We make a section out of it, with VMA = Z * 8,
1833 but only if Z != 255 or the contents is non-zero. */
1835 asection *rsec;
1836 bfd_byte *loc;
1837 bfd_vma first_octa;
1838 bfd_vma startaddr_octa;
1840 /* Read first octaword outside loop to simplify logic when
1841 excluding the Z == 255, octa == 0 case. */
1842 if (bfd_bread (buf, 8, abfd) != 8)
1843 goto error_return;
1845 first_octa = bfd_get_64 (abfd, buf);
1847 /* Don't emit contents for the trivial case which is
1848 always present; $255 pointing to Main. */
1849 if (z != 255)
1851 rsec
1852 = bfd_make_section_old_way (abfd,
1853 MMIX_REG_CONTENTS_SECTION_NAME);
1854 rsec->flags |= SEC_LINKER_CREATED;
1855 rsec->vma = z * 8;
1856 loc = mmo_get_loc (rsec, z * 8, (255 - z) * 8);
1857 bfd_put_64 (abfd, first_octa, loc);
1859 for (i = z + 1; i < 255; i++)
1861 if (bfd_bread (loc + (i - z) * 8, 8, abfd) != 8)
1862 goto error_return;
1865 /* Read out the last octabyte, and use it to set the
1866 start address. */
1867 if (bfd_bread (buf, 8, abfd) != 8)
1868 goto error_return;
1870 startaddr_octa = bfd_get_64 (abfd, buf);
1872 else
1873 startaddr_octa = first_octa;
1875 if (! bfd_set_start_address (abfd, startaddr_octa))
1877 /* Currently this can't fail, but this should handle
1878 future failures. */
1879 bfd_set_error (bfd_error_bad_value);
1880 goto error_return;
1883 break;
1885 case LOP_STAB:
1886 /* We read in the symbols now, not later. */
1887 if (y != 0 || z != 0)
1889 (*_bfd_error_handler)
1890 (_("%s: invalid mmo file: fields y and z of lop_stab"
1891 " non-zero, y: %d, z: %d\n"),
1892 bfd_get_filename (abfd), y, z);
1893 bfd_set_error (bfd_error_bad_value);
1894 goto error_return;
1897 /* Save the location, so we can check that YZ in the LOP_END
1898 is correct. */
1899 stab_loc = bfd_tell (abfd);
1901 /* It's not said that an MMO can be without symbols (though
1902 mmixal will refuse to assemble files without Main), but
1903 it seems it would still be a valid mmo-file, so allow it.
1904 We detect the absence of a symbol area in that the upper
1905 limit is computed (from the lop_end YZ field) as 0.
1906 Don't call mmo_get_symbols; it can only detect the end of
1907 a valid symbol trie, not the absence of one. */
1908 if (abfd->tdata.mmo_data->max_symbol_length != 0
1909 && ! mmo_get_symbols (abfd))
1910 goto error_return;
1911 break;
1913 case LOP_END:
1915 /* This must be the last 32-bit word in an mmo file.
1916 Let's find out. */
1917 struct stat statbuf;
1918 file_ptr curpos = bfd_tell (abfd);
1920 if (bfd_stat (abfd, &statbuf) < 0)
1921 goto error_return;
1923 if (statbuf.st_size != curpos)
1925 (*_bfd_error_handler)
1926 (_("%s: invalid mmo file: lop_end not last item in"
1927 " file\n"),
1928 bfd_get_filename (abfd));
1929 bfd_set_error (bfd_error_bad_value);
1930 goto error_return;
1933 /* Check that the YZ field is right. Subtract the size of
1934 this LOP_END in the calculation; YZ does not include
1935 it. */
1936 if ((long) (y * 256 + z) * 4 != (curpos - stab_loc) - 4)
1938 (*_bfd_error_handler)
1939 (_("%s: invalid mmo file: YZ of lop_end (%ld)"
1940 " not equal to the number of tetras to the preceding"
1941 " lop_stab (%ld)\n"),
1942 bfd_get_filename (abfd), (long) (y * 256 + z),
1943 (curpos - stab_loc - 4)/4);
1944 bfd_set_error (bfd_error_bad_value);
1945 goto error_return;
1948 bfd_map_over_sections (abfd, mmo_map_set_sizes, NULL);
1949 goto done;
1953 else
1955 /* This wasn't a lopcode, so store it in the current section. */
1956 mmo_xore_32 (sec, vma & ~3, bfd_get_32 (abfd, buf));
1957 vma += 4;
1958 vma &= ~3;
1959 lineno++;
1963 /* We know this file is a multiple of four bytes (checked in
1964 mmo_object_p), so if we got something other than 0, this was a bad
1965 file (although it's more likely we'll get 0 in that case too).
1966 If we got end-of-file, then there was no lop_stab, so the file has
1967 invalid format. */
1969 if (nbytes_read != 0)
1970 bfd_set_error (bfd_error_system_call);
1971 else
1972 bfd_set_error (bfd_error_bad_value);
1974 error_return:
1975 error = TRUE;
1976 done:
1977 /* Mark the .text and .data section with their normal attribute if they
1978 contain anything. This is not redundant wrt. mmo_decide_section,
1979 since that code might never execute, and conversely the alloc+code
1980 section flags must be set then. */
1981 sec = bfd_get_section_by_name (abfd, MMO_TEXT_SECTION_NAME);
1982 if (sec != NULL
1983 && (bfd_get_section_flags (abfd, sec) & SEC_HAS_CONTENTS)
1984 && ! bfd_set_section_flags (abfd, sec,
1985 bfd_get_section_flags (abfd, sec)
1986 | SEC_ALLOC | SEC_LOAD | SEC_CODE))
1987 error = TRUE;
1989 sec = bfd_get_section_by_name (abfd, MMO_DATA_SECTION_NAME);
1990 if (sec != NULL
1991 && (bfd_get_section_flags (abfd, sec) & SEC_HAS_CONTENTS)
1992 && ! bfd_set_section_flags (abfd, sec,
1993 bfd_get_section_flags (abfd, sec)
1994 | SEC_ALLOC | SEC_LOAD))
1995 error = TRUE;
1997 /* Free whatever resources we took. */
1998 for (i = 0; i < sizeof (file_names) / sizeof (file_names[0]); i++)
1999 if (file_names[i])
2000 free (file_names[i]);
2001 return ! error;
2004 /* A hook to set up object file dependent section information. For mmo,
2005 we point out the shape of allocated section contents. */
2007 static bfd_boolean
2008 mmo_new_section_hook (bfd *abfd, asection *newsect)
2010 if (!newsect->used_by_bfd)
2012 /* We zero-fill all fields and assume NULL is represented by an all
2013 zero-bit pattern. */
2014 newsect->used_by_bfd
2015 = bfd_zalloc (abfd, sizeof (struct mmo_section_data_struct));
2016 if (!newsect->used_by_bfd)
2017 return FALSE;
2020 /* Always align to at least 32-bit words. */
2021 newsect->alignment_power = 2;
2022 return _bfd_generic_new_section_hook (abfd, newsect);
2025 /* We already have section contents loaded for sections that have
2026 contents. */
2028 static bfd_boolean
2029 mmo_get_section_contents (bfd *abfd ATTRIBUTE_UNUSED,
2030 asection *sec,
2031 void * location,
2032 file_ptr offset,
2033 bfd_size_type bytes_to_do)
2035 /* Iterate over diminishing chunk sizes, copying contents, like
2036 mmo_set_section_contents. */
2037 while (bytes_to_do)
2039 /* A minor song-and-dance to make sure we're not bitten by the
2040 distant possibility of the cast from bfd_vma to int making the
2041 chunk zero-sized. */
2042 int chunk_size
2043 = (int) bytes_to_do != 0 ? bytes_to_do : MMO_SEC_CONTENTS_CHUNK_SIZE;
2044 bfd_byte *loc;
2047 loc = mmo_get_loc (sec, sec->vma + offset, chunk_size);
2048 while (loc == NULL && (chunk_size /= 2) != 0);
2050 if (chunk_size == 0)
2051 return FALSE;
2053 memcpy (location, loc, chunk_size);
2055 location += chunk_size;
2056 bytes_to_do -= chunk_size;
2057 offset += chunk_size;
2059 return TRUE;
2062 /* Return the amount of memory needed to read the symbol table. */
2064 static long
2065 mmo_get_symtab_upper_bound (bfd *abfd)
2067 return (abfd->symcount + 1) * sizeof (asymbol *);
2070 /* Sort mmo symbols by serial number. */
2072 static int
2073 mmo_sort_mmo_symbols (const void *arg1, const void *arg2)
2075 const struct mmo_symbol *sym1 = *(const struct mmo_symbol **) arg1;
2076 const struct mmo_symbol *sym2 = *(const struct mmo_symbol **) arg2;
2078 /* Sort by serial number first. */
2079 if (sym1->serno < sym2->serno)
2080 return -1;
2081 else if (sym1->serno > sym2->serno)
2082 return 1;
2084 /* Then sort by address of the table entries. */
2085 return ((const char *) arg1 - (const char *) arg2);
2088 /* Translate the symbol table. */
2090 static long
2091 mmo_canonicalize_symtab (bfd *abfd, asymbol **alocation)
2093 unsigned int symcount = bfd_get_symcount (abfd);
2094 asymbol *csymbols;
2095 unsigned int i;
2097 csymbols = abfd->tdata.mmo_data->csymbols;
2098 if (csymbols == NULL && symcount != 0)
2100 asymbol *c;
2101 struct mmo_symbol *s;
2102 struct mmo_symbol **msp;
2104 /* First we store the symbols into the table we'll return, then we
2105 qsort it on the serial number, with secondary on the address of
2106 the symbol, to preserve order if there would be non-unique serial
2107 numbers. */
2108 for (s = abfd->tdata.mmo_data->symbols,
2109 msp = (struct mmo_symbol **) alocation;
2110 s != NULL;
2111 s = s->next, ++msp)
2112 *msp = s;
2114 *msp = NULL;
2116 qsort (alocation, symcount, sizeof (struct mmo_symbol *),
2117 mmo_sort_mmo_symbols);
2119 csymbols = (asymbol *) bfd_alloc (abfd, symcount * sizeof (asymbol));
2120 if (csymbols == NULL)
2121 return -1;
2122 abfd->tdata.mmo_data->csymbols = csymbols;
2124 for (msp = (struct mmo_symbol **) alocation, c = csymbols;
2125 *msp != NULL;
2126 msp++, ++c)
2128 s = *msp;
2129 c->the_bfd = abfd;
2130 c->name = s->name;
2131 c->value = s->value;
2132 c->flags = BSF_GLOBAL;
2134 if (s->sym_type == mmo_data_sym)
2136 c->section
2137 = bfd_get_section_by_name (abfd, MMO_DATA_SECTION_NAME);
2139 if (c->section == NULL)
2140 c->section = bfd_abs_section_ptr;
2141 else
2142 c->value -= c->section->vma;
2144 else if (s->sym_type == mmo_undef_sym)
2145 c->section = bfd_und_section_ptr;
2146 else if (s->sym_type == mmo_reg_sym)
2148 c->section
2149 = bfd_make_section_old_way (abfd, MMIX_REG_SECTION_NAME);
2150 c->section->flags |= SEC_LINKER_CREATED;
2152 else
2154 asection *textsec
2155 = bfd_get_section_by_name (abfd, MMO_TEXT_SECTION_NAME);
2156 asection *datasec;
2158 if (textsec != NULL
2159 && c->value >= textsec->vma
2160 && c->value <= textsec->vma + textsec->size)
2162 c->section = textsec;
2163 c->value -= c->section->vma;
2165 /* In mmo, symbol types depend on the VMA. Therefore, if
2166 the data section isn't within the usual bounds, its
2167 symbols are marked as absolute. Correct that. This
2168 means we can't have absolute symbols with values matching
2169 data section addresses, but we also can't have with
2170 absolute symbols with values matching text section
2171 addresses. For such needs, use the ELF format. */
2172 else if ((datasec
2173 = bfd_get_section_by_name (abfd,
2174 MMO_DATA_SECTION_NAME))
2175 != NULL
2176 && c->value >= datasec->vma
2177 && c->value <= datasec->vma + datasec->size)
2179 c->section = datasec;
2180 c->value -= c->section->vma;
2182 else
2183 c->section = bfd_abs_section_ptr;
2186 c->udata.p = NULL;
2190 /* Last, overwrite the incoming table with the right-type entries. */
2191 for (i = 0; i < symcount; i++)
2192 *alocation++ = csymbols++;
2193 *alocation = NULL;
2195 return symcount;
2198 /* Get information about a symbol. */
2200 static void
2201 mmo_get_symbol_info (bfd *ignore_abfd ATTRIBUTE_UNUSED,
2202 asymbol *symbol, symbol_info *ret)
2204 bfd_symbol_info (symbol, ret);
2207 static void
2208 mmo_print_symbol (bfd *abfd, void *afile, asymbol *symbol,
2209 bfd_print_symbol_type how)
2211 FILE *file = (FILE *) afile;
2213 switch (how)
2215 case bfd_print_symbol_name:
2216 fprintf (file, "%s", symbol->name);
2217 break;
2218 default:
2219 bfd_print_symbol_vandf (abfd, file, symbol);
2221 fprintf (file, " %-5s %s",
2222 symbol->section->name,
2223 symbol->name);
2227 /* We can't map a file directly into executable code, so the
2228 size of header information is irrelevant. */
2230 static int
2231 mmo_sizeof_headers (bfd *abfd ATTRIBUTE_UNUSED,
2232 struct bfd_link_info *info ATTRIBUTE_UNUSED)
2234 return 0;
2237 /* Write the (section-neutral) file preamble. */
2239 static bfd_boolean
2240 mmo_internal_write_header (bfd *abfd)
2242 const char lop_pre_bfd[] = { LOP, LOP_PRE, 1, 1};
2244 if (bfd_bwrite (lop_pre_bfd, 4, abfd) != 4)
2245 return FALSE;
2247 /* Copy creation time of original file. */
2248 if (bfd_bwrite (abfd->tdata.mmo_data->created, 4, abfd) != 4)
2249 return FALSE;
2251 return TRUE;
2254 /* Write the LOP_POST record, with global register initializations.
2255 Z is the Z field of the LOP_POST, corresponding to 255 - number of
2256 registers at DATA. The Z = 255 field is filled in with the
2257 start-address. */
2259 static bfd_boolean
2260 mmo_internal_write_post (bfd *abfd, int z, asection *sec)
2262 int i;
2263 bfd_byte buf[8];
2264 mmo_write_tetra_raw (abfd, (LOP << 24) | (LOP_POST << 16) | z);
2266 for (i = z; i < 255; i++)
2268 bfd_byte *data = mmo_get_loc (sec, i * 8, 8);
2270 if (bfd_bwrite (data, 8, abfd) != 8)
2271 return FALSE;
2274 /* For Z == $255, we always emit the start location; supposedly Main,
2275 but we have it handy at bfd_get_start_address. If we're called with
2276 Z == 255, don't assume DATA is valid. */
2277 bfd_put_64 (abfd, bfd_get_start_address (abfd), buf);
2279 return ! abfd->tdata.mmo_data->have_error && bfd_bwrite (buf, 8, abfd) == 8;
2282 /* Translate to and from BFD flags. This is to make sure that we don't
2283 get bitten by BFD flag number changes. */
2285 static flagword
2286 mmo_sec_flags_from_bfd_flags (flagword flags)
2288 flagword oflags = 0;
2290 if (flags & SEC_ALLOC)
2291 oflags |= MMO_SEC_ALLOC;
2292 if (flags & SEC_LOAD)
2293 oflags |= MMO_SEC_LOAD;
2294 if (flags & SEC_RELOC)
2295 oflags |= MMO_SEC_RELOC;
2296 if (flags & SEC_READONLY)
2297 oflags |= MMO_SEC_READONLY;
2298 if (flags & SEC_CODE)
2299 oflags |= MMO_SEC_CODE;
2300 if (flags & SEC_DATA)
2301 oflags |= MMO_SEC_DATA;
2302 if (flags & SEC_NEVER_LOAD)
2303 oflags |= MMO_SEC_NEVER_LOAD;
2304 if (flags & SEC_IS_COMMON)
2305 oflags |= MMO_SEC_IS_COMMON;
2306 if (flags & SEC_DEBUGGING)
2307 oflags |= MMO_SEC_DEBUGGING;
2309 return oflags;
2312 static flagword
2313 bfd_sec_flags_from_mmo_flags (flagword flags)
2315 flagword oflags = 0;
2317 if (flags & MMO_SEC_ALLOC)
2318 oflags |= SEC_ALLOC;
2319 if (flags & MMO_SEC_LOAD)
2320 oflags |= SEC_LOAD;
2321 if (flags & MMO_SEC_RELOC)
2322 oflags |= SEC_RELOC;
2323 if (flags & MMO_SEC_READONLY)
2324 oflags |= SEC_READONLY;
2325 if (flags & MMO_SEC_CODE)
2326 oflags |= SEC_CODE;
2327 if (flags & MMO_SEC_DATA)
2328 oflags |= SEC_DATA;
2329 if (flags & MMO_SEC_NEVER_LOAD)
2330 oflags |= SEC_NEVER_LOAD;
2331 if (flags & MMO_SEC_IS_COMMON)
2332 oflags |= SEC_IS_COMMON;
2333 if (flags & MMO_SEC_DEBUGGING)
2334 oflags |= SEC_DEBUGGING;
2336 return oflags;
2339 /* Return TRUE iff the leading or trailing tetrabyte in SEC is defined and
2340 is 0. */
2342 static bfd_boolean
2343 mmo_has_leading_or_trailing_zero_tetra_p (bfd *abfd, asection *sec)
2345 bfd_vma secaddr = bfd_get_section_vma (abfd, sec);
2347 if (sec->size < 4)
2348 return FALSE;
2350 if (bfd_get_32 (abfd, mmo_get_loc (sec, secaddr, 4)) == 0
2351 && bfd_get_32 (abfd,
2352 mmo_get_loc (sec, secaddr + sec->size - 4, 4)) == 0)
2353 return TRUE;
2355 return FALSE;
2358 /* Write a section. */
2360 static bfd_boolean
2361 mmo_internal_write_section (bfd *abfd, asection *sec)
2363 /* We do it differently depending on what section this is:
2365 ".text": Output, prepended by information about the first source file
2366 (not yet implemented.)
2368 ".data": Output.
2370 (".MMIX.reg_contents": Not handled here.)
2372 Anything else: Output inside a lop_spec 80, in the format described
2373 above. */
2375 if (strcmp (sec->name, MMO_TEXT_SECTION_NAME) == 0)
2377 bfd_vma secaddr = bfd_get_section_vma (abfd, sec);
2379 /* Because leading and trailing zeros are omitted in output, we need to
2380 specify the section boundaries so they're correct when the file
2381 is read in again. That's also the case if this section is
2382 specified as not within its usual boundaries or alignments. */
2383 if (sec->size != 0
2384 && (secaddr + sec->size >= (bfd_vma) 1 << 56
2385 || (secaddr & 3) != 0
2386 || (sec->size & 3) != 0
2387 || mmo_has_leading_or_trailing_zero_tetra_p (abfd, sec)))
2389 if (!mmo_write_section_description (abfd, sec))
2390 return FALSE;
2393 /* FIXME: Output source file name and line number. */
2394 return mmo_write_loc_chunk_list (abfd, mmo_section_data (sec)->head);
2396 else if (strcmp (sec->name, MMO_DATA_SECTION_NAME) == 0)
2398 bfd_vma secaddr = bfd_get_section_vma (abfd, sec);
2400 /* Same goes as for MMO_TEXT_SECTION_NAME above. */
2401 if (sec->size != 0
2402 && (secaddr < (bfd_vma) 0x20 << 56
2403 || secaddr + sec->size >= (bfd_vma) 0x21 << 56
2404 || (secaddr & 3) != 0
2405 || (sec->size & 3) != 0
2406 || mmo_has_leading_or_trailing_zero_tetra_p (abfd, sec)))
2408 if (!mmo_write_section_description (abfd, sec))
2409 return FALSE;
2412 return mmo_write_loc_chunk_list (abfd, mmo_section_data (sec)->head);
2414 else if (strcmp (sec->name, MMIX_REG_CONTENTS_SECTION_NAME) == 0)
2415 /* Not handled here. */
2417 /* This would normally be an abort call since this can't happen, but
2418 we don't do that. */
2419 bfd_set_error (bfd_error_bad_value);
2420 return FALSE;
2422 else if (CONST_STRNEQ (sec->name, MMIX_OTHER_SPEC_SECTION_PREFIX))
2424 int n = atoi (sec->name + strlen (MMIX_OTHER_SPEC_SECTION_PREFIX));
2426 mmo_write_tetra_raw (abfd, (LOP << 24) | (LOP_SPEC << 16) | n);
2427 return (! abfd->tdata.mmo_data->have_error
2428 && mmo_write_chunk_list (abfd, mmo_section_data (sec)->head));
2430 /* Ignore sections that are just allocated or empty; we write out
2431 _contents_ here. */
2432 else if ((bfd_get_section_flags (abfd, sec) & SEC_HAS_CONTENTS) != 0
2433 && sec->size != 0)
2435 if (!mmo_write_section_description (abfd, sec))
2436 return FALSE;
2438 /* Writing a LOP_LOC ends the LOP_SPEC data, and makes data actually
2439 loaded. */
2440 if (bfd_get_section_flags (abfd, sec) & SEC_LOAD)
2441 return (! abfd->tdata.mmo_data->have_error
2442 && mmo_write_loc_chunk_list (abfd,
2443 mmo_section_data (sec)->head));
2444 return (! abfd->tdata.mmo_data->have_error
2445 && mmo_write_chunk_list (abfd, mmo_section_data (sec)->head));
2448 /* Some section without contents. */
2449 return TRUE;
2452 /* Write the description of a section, extended-mmo-style. */
2454 static bfd_boolean
2455 mmo_write_section_description (bfd *abfd, asection *sec)
2457 /* Keep the following document-comment formatted the way it is. */
2459 INODE
2460 mmo section mapping, , Symbol-table, mmo
2461 SUBSECTION
2462 mmo section mapping
2464 The implementation in BFD uses special data type 80 (decimal) to
2465 encapsulate and describe named sections, containing e.g.@: debug
2466 information. If needed, any datum in the encapsulation will be
2467 quoted using lop_quote. First comes a 32-bit word holding the
2468 number of 32-bit words containing the zero-terminated zero-padded
2469 segment name. After the name there's a 32-bit word holding flags
2470 describing the section type. Then comes a 64-bit big-endian word
2471 with the section length (in bytes), then another with the section
2472 start address. Depending on the type of section, the contents
2473 might follow, zero-padded to 32-bit boundary. For a loadable
2474 section (such as data or code), the contents might follow at some
2475 later point, not necessarily immediately, as a lop_loc with the
2476 same start address as in the section description, followed by the
2477 contents. This in effect forms a descriptor that must be emitted
2478 before the actual contents. Sections described this way must not
2479 overlap.
2481 For areas that don't have such descriptors, synthetic sections are
2482 formed by BFD. Consecutive contents in the two memory areas
2483 @samp{0x0000@dots{}00} to @samp{0x01ff@dots{}ff} and
2484 @samp{0x2000@dots{}00} to @samp{0x20ff@dots{}ff} are entered in
2485 sections named <<.text>> and <<.data>> respectively. If an area
2486 is not otherwise described, but would together with a neighboring
2487 lower area be less than @samp{0x40000000} bytes long, it is joined
2488 with the lower area and the gap is zero-filled. For other cases,
2489 a new section is formed, named <<.MMIX.sec.@var{n}>>. Here,
2490 @var{n} is a number, a running count through the mmo file,
2491 starting at 0.
2493 EXAMPLE
2494 A loadable section specified as:
2496 | .section secname,"ax"
2497 | TETRA 1,2,3,4,-1,-2009
2498 | BYTE 80
2500 and linked to address @samp{0x4}, is represented by the sequence:
2502 | 0x98080050 - lop_spec 80
2503 | 0x00000002 - two 32-bit words for the section name
2504 | 0x7365636e - "secn"
2505 | 0x616d6500 - "ame\0"
2506 | 0x00000033 - flags CODE, READONLY, LOAD, ALLOC
2507 | 0x00000000 - high 32 bits of section length
2508 | 0x0000001c - section length is 28 bytes; 6 * 4 + 1 + alignment to 32 bits
2509 | 0x00000000 - high 32 bits of section address
2510 | 0x00000004 - section address is 4
2511 | 0x98010002 - 64 bits with address of following data
2512 | 0x00000000 - high 32 bits of address
2513 | 0x00000004 - low 32 bits: data starts at address 4
2514 | 0x00000001 - 1
2515 | 0x00000002 - 2
2516 | 0x00000003 - 3
2517 | 0x00000004 - 4
2518 | 0xffffffff - -1
2519 | 0xfffff827 - -2009
2520 | 0x50000000 - 80 as a byte, padded with zeros.
2522 Note that the lop_spec wrapping does not include the section
2523 contents. Compare this to a non-loaded section specified as:
2525 | .section thirdsec
2526 | TETRA 200001,100002
2527 | BYTE 38,40
2529 This, when linked to address @samp{0x200000000000001c}, is
2530 represented by:
2532 | 0x98080050 - lop_spec 80
2533 | 0x00000002 - two 32-bit words for the section name
2534 | 0x7365636e - "thir"
2535 | 0x616d6500 - "dsec"
2536 | 0x00000010 - flag READONLY
2537 | 0x00000000 - high 32 bits of section length
2538 | 0x0000000c - section length is 12 bytes; 2 * 4 + 2 + alignment to 32 bits
2539 | 0x20000000 - high 32 bits of address
2540 | 0x0000001c - low 32 bits of address 0x200000000000001c
2541 | 0x00030d41 - 200001
2542 | 0x000186a2 - 100002
2543 | 0x26280000 - 38, 40 as bytes, padded with zeros
2545 For the latter example, the section contents must not be
2546 loaded in memory, and is therefore specified as part of the
2547 special data. The address is usually unimportant but might
2548 provide information for e.g.@: the DWARF 2 debugging format. */
2550 mmo_write_tetra_raw (abfd, LOP_SPEC_SECTION);
2551 mmo_write_tetra (abfd, (strlen (sec->name) + 3) / 4);
2552 mmo_write_chunk (abfd, (bfd_byte *) sec->name, strlen (sec->name));
2553 mmo_flush_chunk (abfd);
2554 /* FIXME: We can get debug sections (.debug_line & Co.) with a section
2555 flag still having SEC_RELOC set. Investigate. This might be true
2556 for all alien sections; perhaps mmo.em should clear that flag. Might
2557 be related to weak references. */
2558 mmo_write_tetra (abfd,
2559 mmo_sec_flags_from_bfd_flags
2560 (bfd_get_section_flags (abfd, sec)));
2561 mmo_write_octa (abfd, sec->size);
2562 mmo_write_octa (abfd, bfd_get_section_vma (abfd, sec));
2563 return TRUE;
2566 /* We save up all data before output. */
2568 static bfd_boolean
2569 mmo_set_section_contents (bfd *abfd ATTRIBUTE_UNUSED, sec_ptr sec,
2570 const void *location, file_ptr offset,
2571 bfd_size_type bytes_to_do)
2573 /* Iterate over diminishing chunk sizes, copying contents. */
2574 while (bytes_to_do)
2576 /* A minor song-and-dance to make sure we're not bitten by the
2577 distant possibility of the cast from bfd_vma to int making the
2578 chunk zero-sized. */
2579 int chunk_size
2580 = (int) bytes_to_do != 0 ? bytes_to_do : MMO_SEC_CONTENTS_CHUNK_SIZE;
2581 bfd_byte *loc;
2584 loc = mmo_get_loc (sec, sec->vma + offset, chunk_size);
2585 while (loc == NULL && (chunk_size /= 2) != 0);
2587 if (chunk_size == 0)
2588 return FALSE;
2590 memcpy (loc, location, chunk_size);
2592 location += chunk_size;
2593 bytes_to_do -= chunk_size;
2594 offset += chunk_size;
2596 return TRUE;
2599 /* Add a symbol to a trie-tree. */
2601 static bfd_boolean
2602 mmo_internal_add_3_sym (bfd *abfd, struct mmo_symbol_trie *rootp,
2603 const struct mmo_symbol *symp)
2605 const char *name = symp->name;
2606 struct mmo_symbol_trie *trie = rootp;
2607 struct mmo_symbol_trie **triep = NULL;
2609 while (*name && trie != NULL)
2611 if (*name < trie->symchar)
2613 triep = &trie->left;
2614 trie = trie->left;
2616 else if (*name > trie->symchar)
2618 triep = &trie->right;
2619 trie = trie->right;
2621 else if (*name == trie->symchar)
2623 triep = &trie->middle;
2624 name++;
2626 /* Make sure "trie" points to where we should fill in the
2627 current symbol whenever we've iterated through "name". We
2628 would lose the right position if we encounter "foobar" then
2629 "foo". */
2630 if (*name)
2631 trie = trie->middle;
2635 while (*name != 0)
2637 /* Create middle branches for the rest of the characters. */
2638 trie = bfd_zalloc (abfd, sizeof (struct mmo_symbol_trie));
2639 *triep = trie;
2640 trie->symchar = *name++;
2641 triep = &trie->middle;
2644 /* We discover a duplicate symbol rather late in the process, but still;
2645 we discover it and bail out. */
2646 if (trie->sym.name != NULL)
2648 (*_bfd_error_handler)
2649 (_("%s: invalid symbol table: duplicate symbol `%s'\n"),
2650 bfd_get_filename (abfd), trie->sym.name);
2651 bfd_set_error (bfd_error_bad_value);
2652 return FALSE;
2655 memcpy (&trie->sym, symp, sizeof *symp);
2656 return TRUE;
2659 /* Find out the length of the serialized version of a trie in bytes. */
2661 static unsigned int
2662 mmo_internal_3_length (bfd *abfd, struct mmo_symbol_trie *trie)
2664 /* First, one for the control byte. */
2665 unsigned int length = 1;
2667 if (trie == NULL)
2668 return 0;
2670 /* Add in the recursion to the left. */
2671 length += mmo_internal_3_length (abfd, trie->left);
2673 /* Add in the middle trie and the character. */
2674 length += 1 + mmo_internal_3_length (abfd, trie->middle);
2676 /* Add in the recursion to the right. */
2677 length += mmo_internal_3_length (abfd, trie->right);
2679 /* Add in bytes for the symbol (if this is an endnode). */
2680 if (trie->sym.name != NULL)
2682 unsigned int serno = trie->sym.serno;
2684 /* First what it takes to encode the value. */
2685 if (trie->sym.sym_type == mmo_reg_sym)
2686 length++;
2687 else if (trie->sym.sym_type == mmo_undef_sym)
2688 length += 2;
2689 else
2691 bfd_vma value = trie->sym.value;
2693 /* Coded in one to eight following bytes. */
2694 if (trie->sym.sym_type == mmo_data_sym)
2695 value -= (bfd_vma) 0x20 << 56;
2699 value >>= 8;
2700 length++;
2702 while (value != 0);
2705 /* Find out what it takes to encode the serial number. */
2708 serno >>= 7;
2709 length++;
2711 while (serno != 0);
2714 return length;
2717 /* Helper function for outputting the serial number of a symbol, output as
2718 a variant of leb128 (see dwarf2 documentation) which could be called
2719 beb128. Using a helper function and recursion simplifies debugging. */
2721 static void
2722 mmo_beb128_out (bfd *abfd, int serno, int marker)
2724 if (serno & ~0x7f)
2725 mmo_beb128_out (abfd, serno >> 7, 0);
2726 mmo_write_byte (abfd, marker | (serno & 0x7f));
2729 /* Serialize a trie. */
2731 static void
2732 mmo_internal_3_dump (bfd *abfd, struct mmo_symbol_trie *trie)
2734 bfd_byte control = 0;
2736 if (trie == NULL)
2737 return;
2739 if (trie->left)
2740 control |= MMO3_LEFT;
2742 if (trie->middle)
2743 control |= MMO3_MIDDLE;
2745 if (trie->right)
2746 control |= MMO3_RIGHT;
2748 if (trie->sym.name != NULL)
2750 /* Encode the symbol type and length of value bytes. */
2751 if (trie->sym.sym_type == mmo_reg_sym)
2752 control |= MMO3_REGQUAL_BITS;
2753 else if (trie->sym.sym_type == mmo_undef_sym)
2754 control |= MMO3_UNDEF;
2755 else
2757 bfd_vma value = trie->sym.value;
2759 /* Coded in 1..8 following bytes. */
2760 if (trie->sym.sym_type == mmo_data_sym)
2762 control |= MMO3_DATA;
2763 value -= (bfd_vma) 0x20 << 56;
2768 value >>= 8;
2769 control++;
2771 while (value != 0);
2775 /* The control byte is output before recursing. */
2776 mmo_write_byte (abfd, control);
2778 mmo_internal_3_dump (abfd, trie->left);
2780 if (control & MMO3_SYMBITS)
2782 mmo_write_byte (abfd, trie->symchar);
2784 if (trie->sym.name != NULL)
2786 if (trie->sym.sym_type == mmo_reg_sym)
2787 mmo_write_byte (abfd, trie->sym.value);
2788 else if (trie->sym.sym_type == mmo_undef_sym)
2790 mmo_write_byte (abfd, 0);
2791 mmo_write_byte (abfd, 0);
2793 else
2795 bfd_vma value = trie->sym.value;
2797 bfd_byte byte_n = control & 15;
2799 /* Coded in 1..8 following bytes. Note that the value is
2800 shifted out big-endian. */
2801 if (trie->sym.sym_type == mmo_data_sym)
2803 value -= (bfd_vma) 0x20 << 56;
2804 byte_n -= 8;
2809 mmo_write_byte (abfd, (value >> ((byte_n - 1) * 8)) & 0xff);
2810 byte_n--;
2812 while (byte_n != 0);
2815 mmo_beb128_out (abfd, trie->sym.serno, 128);
2817 mmo_internal_3_dump (abfd, trie->middle);
2819 mmo_internal_3_dump (abfd, trie->right);
2822 /* Write symbols in mmo format. Also write the lop_end terminator. */
2824 static bfd_boolean
2825 mmo_write_symbols_and_terminator (bfd *abfd)
2827 int count = bfd_get_symcount (abfd);
2828 asymbol **table;
2829 asymbol **orig_table = bfd_get_outsymbols (abfd);
2830 int serno;
2831 struct mmo_symbol_trie root;
2832 int trie_len;
2833 int i;
2834 bfd_byte buf[4];
2836 /* Create a symbol for "Main". */
2837 asymbol *fakemain = bfd_make_empty_symbol (abfd);
2839 fakemain->flags = BSF_GLOBAL;
2840 fakemain->value = bfd_get_start_address (abfd);
2841 fakemain->name = MMIX_START_SYMBOL_NAME;
2842 fakemain->section = bfd_abs_section_ptr;
2844 memset (&root, 0, sizeof (root));
2846 /* Make all symbols take a left turn. */
2847 root.symchar = 0xff;
2849 /* There must always be a ":Main", so we'll add one if there are no
2850 symbols. Make sure we have room for it. */
2851 table = bfd_alloc (abfd, (count + 1) * sizeof (asymbol *));
2852 if (table == NULL)
2853 return FALSE;
2855 memcpy (table, orig_table, count * sizeof (asymbol *));
2857 /* Move :Main (if there is one) to the first position. This is
2858 necessary to get the same layout of the trie-tree when linking as
2859 when objcopying the result as in the objcopy.exp test "simple objcopy
2860 of executable". It also automatically takes care of assigning serial
2861 number 1 to :Main (as is mandatory). */
2862 for (i = 0; i < count; i++)
2863 if (table[i] != NULL
2864 && strcmp (table[i]->name, MMIX_START_SYMBOL_NAME) == 0
2865 && (table[i]->flags & (BSF_DEBUGGING|BSF_GLOBAL)) == BSF_GLOBAL)
2867 asymbol *mainsym = table[i];
2868 memcpy (table + 1, orig_table, i * sizeof (asymbol *));
2869 table[0] = mainsym;
2871 /* Check that the value assigned to :Main is the same as the entry
2872 address. The default linker script asserts this. This is as
2873 good a place as any to check this consistency. */
2874 if ((mainsym->value
2875 + mainsym->section->output_section->vma
2876 + mainsym->section->output_offset)
2877 != bfd_get_start_address (abfd))
2879 /* Arbitrary buffer to hold the printable representation of a
2880 vma. */
2881 char vmas_main[40];
2882 char vmas_start[40];
2883 bfd_vma vma_start = bfd_get_start_address (abfd);
2885 sprintf_vma (vmas_main, mainsym->value);
2886 sprintf_vma (vmas_start, vma_start);
2888 (*_bfd_error_handler)
2889 (_("%s: Bad symbol definition: `Main' set to %s rather"
2890 " than the start address %s\n"),
2891 bfd_get_filename (abfd), vmas_main, vmas_start);
2892 bfd_set_error (bfd_error_bad_value);
2893 return FALSE;
2895 break;
2897 if (i == count && count != 0)
2899 /* When there are symbols, there must be a :Main. There was no
2900 :Main, so we need to add it manually. */
2901 memcpy (table + 1, orig_table, count * sizeof (asymbol *));
2902 table[0] = fakemain;
2903 count++;
2906 for (i = 0, serno = 1; i < count && table[i] != NULL; i++)
2908 asymbol *s = table[i];
2910 /* It's not enough to consult bfd_is_local_label, since it does not
2911 mean "local" in the sense of linkable-and-observable-after-link.
2912 Let's just check the BSF_GLOBAL flag.
2914 Also, don't export symbols with characters not in the allowed set. */
2915 if ((s->flags & (BSF_DEBUGGING|BSF_GLOBAL)) == BSF_GLOBAL
2916 && strspn (s->name,
2917 valid_mmo_symbol_character_set) == strlen (s->name))
2919 struct mmo_symbol sym;
2920 memset (&sym, 0, sizeof (sym));
2922 /* Need to strip const here; strdup:ing would leak and the
2923 existing string must be safe to reuse. */
2924 sym.name = (char *) s->name;
2925 sym.value =
2926 s->value
2927 + s->section->output_section->vma
2928 + s->section->output_offset;
2930 if (bfd_is_und_section (s->section))
2931 sym.sym_type = mmo_undef_sym;
2932 else if (strcmp (s->section->name, MMO_DATA_SECTION_NAME) == 0
2933 /* The encoding of data symbols require that the "rest"
2934 of the value fits in 6 bytes, so the upper two bytes
2935 must be 0x2000. All other symbols get to be the
2936 absolute type. */
2937 && (sym.value >> 48) == 0x2000)
2938 sym.sym_type = mmo_data_sym;
2939 else if (strcmp (s->section->name, MMIX_REG_SECTION_NAME) == 0)
2940 sym.sym_type = mmo_reg_sym;
2941 else if (strcmp (s->section->name,
2942 MMIX_REG_CONTENTS_SECTION_NAME) == 0)
2944 sym.sym_type = mmo_reg_sym;
2945 sym.value /= 8;
2947 else
2948 sym.sym_type = mmo_abs_sym;
2950 /* FIXME: We assume the order of the received symbols is an
2951 ordered mapping of the serial numbers. This is not
2952 necessarily true if we e.g. objcopy a mmo file to another and
2953 there are gaps in the numbering. Not sure if this can
2954 happen. Not sure what to do. */
2955 sym.serno = serno++;
2957 if (! mmo_internal_add_3_sym (abfd, &root, &sym))
2958 return FALSE;
2962 /* Change the root node to be a ":"-prefix. */
2963 root.symchar = ':';
2964 root.middle = root.left;
2965 root.right = NULL;
2966 root.left = NULL;
2968 /* We have to find out if we can fit the whole symbol table in the mmo
2969 symtab. It would be bad to assume we can always fit it in 262144
2970 bytes. If we can't, just leave the Main symbol. */
2971 trie_len = (mmo_internal_3_length (abfd, &root) + 3)/4;
2973 if (trie_len > 0xffff)
2975 /* Test this code by using a lower limit in the test above and check
2976 that the single "Main" symbol is emitted and handled properly.
2977 There's no specific test-case. */
2978 struct mmo_symbol sym;
2980 (*_bfd_error_handler)
2981 (_("%s: warning: symbol table too large for mmo, larger than 65535"
2982 " 32-bit words: %d. Only `Main' will be emitted.\n"),
2983 bfd_get_filename (abfd), trie_len);
2985 memset (&sym, 0, sizeof (sym));
2986 sym.sym_type = mmo_abs_sym;
2987 sym.name = MMIX_START_SYMBOL_NAME;
2988 sym.serno = 1;
2989 sym.value = bfd_get_start_address (abfd);
2991 /* Then patch up a symbol table to be just the ":Main" symbol. */
2992 memset (&root, 0, sizeof (root));
2993 root.left = root.middle;
2994 root.symchar = 0xff;
2995 root.middle = NULL;
2996 root.right = NULL;
2998 if (! mmo_internal_add_3_sym (abfd, &root, &sym))
2999 return FALSE;
3001 root.symchar = ':';
3002 root.middle = root.left;
3003 root.right = NULL;
3004 root.left = NULL;
3006 trie_len = (mmo_internal_3_length (abfd, &root) + 3)/4;
3009 /* Reset the written-bytes counter. */
3010 abfd->tdata.mmo_data->byte_no = 0;
3012 /* Put out the lop_stab mark. */
3013 bfd_put_32 (abfd, (LOP << 24) | (LOP_STAB << 16), buf);
3014 if (bfd_bwrite (buf, 4, abfd) != 4)
3015 return FALSE;
3017 /* Dump out symbols. */
3018 mmo_internal_3_dump (abfd, &root);
3020 if (trie_len != (abfd->tdata.mmo_data->byte_no + 3)/4)
3022 /* I haven't seen this trig. It seems no use claiming this case
3023 isn't debugged and abort if we get here. Instead emit a
3024 diagnostic and fail "normally". */
3025 (*_bfd_error_handler)
3026 (_("%s: internal error, symbol table changed size from %d to %d"
3027 " words\n"),
3028 bfd_get_filename (abfd), trie_len,
3029 (abfd->tdata.mmo_data->byte_no + 3)/4);
3030 bfd_set_error (bfd_error_bad_value);
3031 return FALSE;
3034 /* Dump out remaining bytes in the buffer and handle I/O errors by
3035 propagating errors. */
3036 if ((abfd->tdata.mmo_data->byte_no % 4) != 0
3037 || abfd->tdata.mmo_data->have_error)
3039 memset (abfd->tdata.mmo_data->buf + (abfd->tdata.mmo_data->byte_no % 4),
3040 0, 4 - (abfd->tdata.mmo_data->byte_no % 4));
3042 if (abfd->tdata.mmo_data->have_error
3043 || bfd_bwrite (abfd->tdata.mmo_data->buf, 4, abfd) != 4)
3044 return FALSE;
3047 bfd_put_32 (abfd, (LOP << 24) | (LOP_END << 16) | trie_len, buf);
3048 return bfd_bwrite (buf, 4, abfd) == 4;
3051 /* Write section unless it is the register contents section. For that, we
3052 instead store the section in the supplied pointer. This function is
3053 used through bfd_map_over_sections. */
3055 static void
3056 mmo_write_section_unless_reg_contents (bfd *abfd, asection *sec, void *p)
3058 struct mmo_write_sec_info *infop = (struct mmo_write_sec_info *) p;
3060 if (! infop->retval)
3061 return;
3063 if (strcmp (sec->name, MMIX_REG_CONTENTS_SECTION_NAME) == 0)
3065 infop->reg_section = sec;
3066 return;
3069 /* Exclude the convenience register section. */
3070 if (strcmp (sec->name, MMIX_REG_SECTION_NAME) == 0)
3072 if (bfd_get_section_flags (abfd, sec) & SEC_HAS_CONTENTS)
3074 /* Make sure it hasn't got contents. It seems impossible to
3075 make it carry contents, so we don't have a test-case for
3076 this. */
3077 (*_bfd_error_handler)
3078 (_("%s: internal error, internal register section %s had"
3079 " contents\n"),
3080 bfd_get_filename (abfd), sec->name);
3081 bfd_set_error (bfd_error_bad_value);
3082 infop->retval = FALSE;
3083 return;
3086 return;
3089 infop->retval = mmo_internal_write_section (abfd, sec);
3092 /* Do the actual output of a file. Assumes mmo_set_section_contents is
3093 already called. */
3095 static bfd_boolean
3096 mmo_write_object_contents (bfd *abfd)
3098 struct mmo_write_sec_info wsecinfo;
3100 /* First, there are a few words of preamble. */
3101 if (! mmo_internal_write_header (abfd))
3102 return FALSE;
3104 wsecinfo.reg_section = NULL;
3105 wsecinfo.retval = TRUE;
3107 bfd_map_over_sections (abfd, mmo_write_section_unless_reg_contents,
3108 &wsecinfo);
3110 if (! wsecinfo.retval)
3111 return FALSE;
3113 if (wsecinfo.reg_section != NULL)
3115 asection *sec = wsecinfo.reg_section;
3116 unsigned int z = (unsigned int) (sec->vma / 8);
3118 /* Registers 0..31 must not be global. Do sanity check on the "vma"
3119 of the register contents section and check that it corresponds to
3120 the length of the section. */
3121 if (z < 32 || z >= 255 || (sec->vma & 7) != 0
3122 || sec->vma != 256 * 8 - sec->size - 8)
3124 bfd_set_error (bfd_error_bad_value);
3126 if (sec->size == 0)
3127 /* There must always be at least one such register. */
3128 (*_bfd_error_handler)
3129 (_("%s: no initialized registers; section length 0\n"),
3130 bfd_get_filename (abfd));
3131 else if (sec->vma > (256 - 32) * 8)
3132 /* Provide better error message for the case of too many
3133 global registers. */
3134 (*_bfd_error_handler)
3135 (_("%s: too many initialized registers; section length %ld\n"),
3136 bfd_get_filename (abfd),
3137 (long) sec->size);
3138 else
3139 (*_bfd_error_handler)
3140 (_("%s: invalid start address for initialized registers of"
3141 " length %ld: 0x%lx%08lx\n"),
3142 bfd_get_filename (abfd),
3143 (long) sec->size,
3144 (unsigned long) (sec->vma >> 32), (unsigned long) (sec->vma));
3146 return FALSE;
3149 if (! mmo_internal_write_post (abfd, z, sec))
3150 return FALSE;
3152 else
3153 if (! mmo_internal_write_post (abfd, 255, NULL))
3154 return FALSE;
3156 return mmo_write_symbols_and_terminator (abfd);
3159 /* If there's anything in particular in a mmo bfd that we want to free,
3160 make this a real function. Only do this if you see major memory
3161 thrashing; zealous free:ing will cause unwanted behavior, especially if
3162 you "free" memory allocated with "bfd_alloc", or even "bfd_release" a
3163 block allocated with "bfd_alloc"; they're really allocated from an
3164 obstack, and we don't know what was allocated there since this
3165 particular allocation. */
3167 #define mmo_close_and_cleanup _bfd_generic_close_and_cleanup
3168 #define mmo_bfd_free_cached_info _bfd_generic_bfd_free_cached_info
3170 /* Perhaps we need to adjust this one; mmo labels (originally) without a
3171 leading ':' might more appropriately be called local. */
3172 #define mmo_bfd_is_local_label_name bfd_generic_is_local_label_name
3173 #define mmo_bfd_is_target_special_symbol \
3174 ((bfd_boolean (*) (bfd *, asymbol *)) bfd_false)
3176 /* Is this one really used or defined by anyone? */
3177 #define mmo_get_lineno _bfd_nosymbols_get_lineno
3179 /* FIXME: We can do better on this one, if we have a dwarf2 .debug_line
3180 section or if MMO line numbers are implemented. */
3181 #define mmo_find_nearest_line _bfd_nosymbols_find_nearest_line
3182 #define mmo_find_inliner_info _bfd_nosymbols_find_inliner_info
3183 #define mmo_make_empty_symbol _bfd_generic_make_empty_symbol
3184 #define mmo_bfd_make_debug_symbol _bfd_nosymbols_bfd_make_debug_symbol
3185 #define mmo_read_minisymbols _bfd_generic_read_minisymbols
3186 #define mmo_minisymbol_to_symbol _bfd_generic_minisymbol_to_symbol
3188 #define mmo_get_section_contents_in_window \
3189 _bfd_generic_get_section_contents_in_window
3190 #define mmo_bfd_get_relocated_section_contents \
3191 bfd_generic_get_relocated_section_contents
3192 #define mmo_bfd_gc_sections bfd_generic_gc_sections
3193 #define mmo_bfd_link_hash_table_create _bfd_generic_link_hash_table_create
3194 #define mmo_bfd_link_hash_table_free _bfd_generic_link_hash_table_free
3195 #define mmo_bfd_link_add_symbols _bfd_generic_link_add_symbols
3196 #define mmo_bfd_link_just_syms _bfd_generic_link_just_syms
3197 #define mmo_bfd_copy_link_hash_symbol_type \
3198 _bfd_generic_copy_link_hash_symbol_type
3199 #define mmo_bfd_final_link _bfd_generic_final_link
3200 #define mmo_bfd_link_split_section _bfd_generic_link_split_section
3202 /* Strictly speaking, only MMIX uses this restricted format, but let's not
3203 stop anybody from shooting themselves in the foot. */
3204 #define mmo_set_arch_mach bfd_default_set_arch_mach
3205 #define mmo_bfd_relax_section bfd_generic_relax_section
3206 #define mmo_bfd_merge_sections bfd_generic_merge_sections
3207 #define mmo_bfd_is_group_section bfd_generic_is_group_section
3208 #define mmo_bfd_discard_group bfd_generic_discard_group
3209 #define mmo_section_already_linked \
3210 _bfd_generic_section_already_linked
3211 #define mmo_bfd_define_common_symbol bfd_generic_define_common_symbol
3213 /* We want to copy time of creation, otherwise we'd use
3214 BFD_JUMP_TABLE_COPY (_bfd_generic). */
3215 #define mmo_bfd_merge_private_bfd_data _bfd_generic_bfd_merge_private_bfd_data
3216 #define mmo_bfd_copy_private_section_data _bfd_generic_bfd_copy_private_section_data
3217 #define mmo_bfd_copy_private_symbol_data _bfd_generic_bfd_copy_private_symbol_data
3218 #define mmo_bfd_copy_private_header_data _bfd_generic_bfd_copy_private_header_data
3219 #define mmo_bfd_set_private_flags _bfd_generic_bfd_set_private_flags
3220 #define mmo_bfd_print_private_bfd_data _bfd_generic_bfd_print_private_bfd_data
3222 const bfd_target bfd_mmo_vec =
3224 "mmo", /* name */
3225 bfd_target_mmo_flavour,
3226 BFD_ENDIAN_BIG, /* target byte order */
3227 BFD_ENDIAN_BIG, /* target headers byte order */
3229 /* FIXME: Might need adjustments. */
3230 (HAS_RELOC | EXEC_P | /* object flags */
3231 HAS_LINENO | HAS_DEBUG |
3232 HAS_SYMS | HAS_LOCALS | WP_TEXT),
3234 /* FIXME: Might need adjustments. */
3235 (SEC_CODE | SEC_DATA | SEC_HAS_CONTENTS | SEC_ALLOC | SEC_LOAD
3236 | SEC_READONLY | SEC_EXCLUDE | SEC_DEBUGGING | SEC_IN_MEMORY),
3237 /* section flags */
3238 0, /* leading underscore */
3239 ' ', /* ar_pad_char */
3240 16, /* ar_max_namelen */
3241 bfd_getb64, bfd_getb_signed_64, bfd_putb64,
3242 bfd_getb32, bfd_getb_signed_32, bfd_putb32,
3243 bfd_getb16, bfd_getb_signed_16, bfd_putb16, /* data */
3244 bfd_getb64, bfd_getb_signed_64, bfd_putb64,
3245 bfd_getb32, bfd_getb_signed_32, bfd_putb32,
3246 bfd_getb16, bfd_getb_signed_16, bfd_putb16, /* hdrs */
3249 _bfd_dummy_target,
3250 mmo_object_p, /* bfd_check_format */
3251 _bfd_dummy_target,
3252 _bfd_dummy_target,
3255 bfd_false,
3256 mmo_mkobject,
3257 bfd_false,
3258 bfd_false,
3260 { /* bfd_write_contents */
3261 bfd_false,
3262 mmo_write_object_contents,
3263 bfd_false,
3264 bfd_false,
3267 BFD_JUMP_TABLE_GENERIC (mmo),
3268 BFD_JUMP_TABLE_COPY (mmo),
3269 BFD_JUMP_TABLE_CORE (_bfd_nocore),
3270 BFD_JUMP_TABLE_ARCHIVE (_bfd_noarchive),
3271 BFD_JUMP_TABLE_SYMBOLS (mmo),
3272 BFD_JUMP_TABLE_RELOCS (_bfd_norelocs),
3273 BFD_JUMP_TABLE_WRITE (mmo),
3274 BFD_JUMP_TABLE_LINK (mmo),
3275 BFD_JUMP_TABLE_DYNAMIC (_bfd_nodynamic),
3277 NULL,
3279 NULL