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