1/* ldwrite.c -- write out the linked file 2 Copyright 1991, 1992, 1993, 1994, 1995, 1996, 1997, 1998, 2000, 2002, 3 2003, 2004, 2005, 2006, 2007, 2008, 2010 4 Free Software Foundation, Inc. 5 Written by Steve Chamberlain sac@cygnus.com 6 7 This file is part of the GNU Binutils. 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#include "sysdep.h" 25#include "bfd.h" 26#include "bfdlink.h" 27#include "libiberty.h" 28#include "safe-ctype.h" 29 30#include "ld.h" 31#include "ldexp.h" 32#include "ldlang.h" 33#include "ldwrite.h" 34#include "ldmisc.h" 35#include <ldgram.h> 36#include "ldmain.h" 37 38/* Build link_order structures for the BFD linker. */ 39 40static void 41build_link_order (lang_statement_union_type *statement) 42{ 43 switch (statement->header.type) 44 { 45 case lang_data_statement_enum: 46 { 47 asection *output_section; 48 struct bfd_link_order *link_order; 49 bfd_vma value; 50 bfd_boolean big_endian = FALSE; 51 52 output_section = statement->data_statement.output_section; 53 ASSERT (output_section->owner == link_info.output_bfd); 54 55 if (!((output_section->flags & SEC_HAS_CONTENTS) != 0 56 || ((output_section->flags & SEC_LOAD) != 0 57 && (output_section->flags & SEC_THREAD_LOCAL)))) 58 break; 59 60 link_order = bfd_new_link_order (link_info.output_bfd, output_section); 61 if (link_order == NULL) 62 einfo (_("%P%F: bfd_new_link_order failed\n")); 63 64 link_order->type = bfd_data_link_order; 65 link_order->offset = statement->data_statement.output_offset; 66 link_order->u.data.contents = (bfd_byte *) xmalloc (QUAD_SIZE); 67 68 value = statement->data_statement.value; 69 70 /* If the endianness of the output BFD is not known, then we 71 base the endianness of the data on the first input file. 72 By convention, the bfd_put routines for an unknown 73 endianness are big endian, so we must swap here if the 74 input file is little endian. */ 75 if (bfd_big_endian (link_info.output_bfd)) 76 big_endian = TRUE; 77 else if (bfd_little_endian (link_info.output_bfd)) 78 big_endian = FALSE; 79 else 80 { 81 bfd_boolean swap; 82 83 swap = FALSE; 84 if (command_line.endian == ENDIAN_BIG) 85 big_endian = TRUE; 86 else if (command_line.endian == ENDIAN_LITTLE) 87 { 88 big_endian = FALSE; 89 swap = TRUE; 90 } 91 else if (command_line.endian == ENDIAN_UNSET) 92 { 93 big_endian = TRUE; 94 { 95 LANG_FOR_EACH_INPUT_STATEMENT (s) 96 { 97 if (s->the_bfd != NULL) 98 { 99 if (bfd_little_endian (s->the_bfd)) 100 { 101 big_endian = FALSE; 102 swap = TRUE; 103 } 104 break; 105 } 106 } 107 } 108 } 109 110 if (swap) 111 { 112 bfd_byte buffer[8]; 113 114 switch (statement->data_statement.type) 115 { 116 case QUAD: 117 case SQUAD: 118 if (sizeof (bfd_vma) >= QUAD_SIZE) 119 { 120 bfd_putl64 (value, buffer); 121 value = bfd_getb64 (buffer); 122 break; 123 } 124 /* Fall through. */ 125 case LONG: 126 bfd_putl32 (value, buffer); 127 value = bfd_getb32 (buffer); 128 break; 129 case SHORT: 130 bfd_putl16 (value, buffer); 131 value = bfd_getb16 (buffer); 132 break; 133 case BYTE: 134 break; 135 default: 136 abort (); 137 } 138 } 139 } 140 141 ASSERT (output_section->owner == link_info.output_bfd); 142 switch (statement->data_statement.type) 143 { 144 case QUAD: 145 case SQUAD: 146 if (sizeof (bfd_vma) >= QUAD_SIZE) 147 bfd_put_64 (link_info.output_bfd, value, 148 link_order->u.data.contents); 149 else 150 { 151 bfd_vma high; 152 153 if (statement->data_statement.type == QUAD) 154 high = 0; 155 else if ((value & 0x80000000) == 0) 156 high = 0; 157 else 158 high = (bfd_vma) -1; 159 bfd_put_32 (link_info.output_bfd, high, 160 (link_order->u.data.contents 161 + (big_endian ? 0 : 4))); 162 bfd_put_32 (link_info.output_bfd, value, 163 (link_order->u.data.contents 164 + (big_endian ? 4 : 0))); 165 } 166 link_order->size = QUAD_SIZE; 167 break; 168 case LONG: 169 bfd_put_32 (link_info.output_bfd, value, 170 link_order->u.data.contents); 171 link_order->size = LONG_SIZE; 172 break; 173 case SHORT: 174 bfd_put_16 (link_info.output_bfd, value, 175 link_order->u.data.contents); 176 link_order->size = SHORT_SIZE; 177 break; 178 case BYTE: 179 bfd_put_8 (link_info.output_bfd, value, 180 link_order->u.data.contents); 181 link_order->size = BYTE_SIZE; 182 break; 183 default: 184 abort (); 185 } 186 } 187 break; 188 189 case lang_reloc_statement_enum: 190 { 191 lang_reloc_statement_type *rs; 192 asection *output_section; 193 struct bfd_link_order *link_order; 194 195 rs = &statement->reloc_statement; 196 197 output_section = rs->output_section; 198 ASSERT (output_section->owner == link_info.output_bfd); 199 200 if (!((output_section->flags & SEC_HAS_CONTENTS) != 0 201 || ((output_section->flags & SEC_LOAD) != 0 202 && (output_section->flags & SEC_THREAD_LOCAL)))) 203 break; 204 205 link_order = bfd_new_link_order (link_info.output_bfd, output_section); 206 if (link_order == NULL) 207 einfo (_("%P%F: bfd_new_link_order failed\n")); 208 209 link_order->offset = rs->output_offset; 210 link_order->size = bfd_get_reloc_size (rs->howto); 211 212 link_order->u.reloc.p = (struct bfd_link_order_reloc *) 213 xmalloc (sizeof (struct bfd_link_order_reloc)); 214 215 link_order->u.reloc.p->reloc = rs->reloc; 216 link_order->u.reloc.p->addend = rs->addend_value; 217 218 if (rs->name == NULL) 219 { 220 link_order->type = bfd_section_reloc_link_order; 221 if (rs->section->owner == link_info.output_bfd) 222 link_order->u.reloc.p->u.section = rs->section; 223 else 224 { 225 link_order->u.reloc.p->u.section = rs->section->output_section; 226 link_order->u.reloc.p->addend += rs->section->output_offset; 227 } 228 } 229 else 230 { 231 link_order->type = bfd_symbol_reloc_link_order; 232 link_order->u.reloc.p->u.name = rs->name; 233 } 234 } 235 break; 236 237 case lang_input_section_enum: 238 { 239 /* Create a new link_order in the output section with this 240 attached */ 241 asection *i = statement->input_section.section; 242 243 if (!((lang_input_statement_type *) i->owner->usrdata)->just_syms_flag 244 && (i->flags & SEC_EXCLUDE) == 0) 245 { 246 asection *output_section = i->output_section; 247 struct bfd_link_order *link_order; 248 249 ASSERT (output_section->owner == link_info.output_bfd); 250 251 if (!((output_section->flags & SEC_HAS_CONTENTS) != 0 252 || ((output_section->flags & SEC_LOAD) != 0 253 && (output_section->flags & SEC_THREAD_LOCAL)))) 254 break; 255 256 link_order = bfd_new_link_order (link_info.output_bfd, 257 output_section); 258 259 if ((i->flags & SEC_NEVER_LOAD) != 0 260 && (i->flags & SEC_DEBUGGING) == 0) 261 { 262 /* We've got a never load section inside one which is 263 going to be output, we'll change it into a fill. */ 264 link_order->type = bfd_data_link_order; 265 link_order->u.data.contents = (unsigned char *) ""; 266 link_order->u.data.size = 1; 267 } 268 else 269 { 270 link_order->type = bfd_indirect_link_order; 271 link_order->u.indirect.section = i; 272 ASSERT (i->output_section == output_section); 273 } 274 link_order->size = i->size; 275 link_order->offset = i->output_offset; 276 } 277 } 278 break; 279 280 case lang_padding_statement_enum: 281 /* Make a new link_order with the right filler */ 282 { 283 asection *output_section; 284 struct bfd_link_order *link_order; 285 286 output_section = statement->padding_statement.output_section; 287 ASSERT (statement->padding_statement.output_section->owner 288 == link_info.output_bfd); 289 290 if (!((output_section->flags & SEC_HAS_CONTENTS) != 0 291 || ((output_section->flags & SEC_LOAD) != 0 292 && (output_section->flags & SEC_THREAD_LOCAL)))) 293 break; 294 295 link_order = bfd_new_link_order (link_info.output_bfd, 296 output_section); 297 link_order->type = bfd_data_link_order; 298 link_order->size = statement->padding_statement.size; 299 link_order->offset = statement->padding_statement.output_offset; 300 link_order->u.data.contents = statement->padding_statement.fill->data; 301 link_order->u.data.size = statement->padding_statement.fill->size; 302 } 303 break; 304 305 default: 306 /* All the other ones fall through */ 307 break; 308 } 309} 310 311/* Return true if NAME is the name of an unsplittable section. These 312 are the stabs strings, dwarf strings. */ 313 314static bfd_boolean 315unsplittable_name (const char *name) 316{ 317 if (CONST_STRNEQ (name, ".stab")) 318 { 319 /* There are several stab like string sections. We pattern match on 320 ".stab...str" */ 321 unsigned len = strlen (name); 322 if (strcmp (&name[len-3], "str") == 0) 323 return TRUE; 324 } 325 else if (strcmp (name, "$GDB_STRINGS$") == 0) 326 return TRUE; 327 return FALSE; 328} 329 330/* Wander around the input sections, make sure that 331 we'll never try and create an output section with more relocs 332 than will fit.. Do this by always assuming the worst case, and 333 creating new output sections with all the right bits. */ 334#define TESTIT 1 335static asection * 336clone_section (bfd *abfd, asection *s, const char *name, int *count) 337{ 338 char *tname; 339 char *sname; 340 unsigned int len; 341 asection *n; 342 struct bfd_link_hash_entry *h; 343 344 /* Invent a section name from the section name and a dotted numeric 345 suffix. */ 346 len = strlen (name); 347 tname = (char *) xmalloc (len + 1); 348 memcpy (tname, name, len + 1); 349 /* Remove a dotted number suffix, from a previous split link. */ 350 while (len && ISDIGIT (tname[len-1])) 351 len--; 352 if (len > 1 && tname[len-1] == '.') 353 /* It was a dotted number. */ 354 tname[len-1] = 0; 355 356 /* We want to use the whole of the original section name for the 357 split name, but coff can be restricted to 8 character names. */ 358 if (bfd_family_coff (abfd) && strlen (tname) > 5) 359 { 360 /* Some section names cannot be truncated, as the name is 361 used to locate some other section. */ 362 if (CONST_STRNEQ (name, ".stab") 363 || strcmp (name, "$GDB_SYMBOLS$") == 0) 364 { 365 einfo (_ ("%F%P: cannot create split section name for %s\n"), name); 366 /* Silence gcc warnings. einfo exits, so we never reach here. */ 367 return NULL; 368 } 369 tname[5] = 0; 370 } 371 372 if ((sname = bfd_get_unique_section_name (abfd, tname, count)) == NULL 373 || (n = bfd_make_section_anyway (abfd, sname)) == NULL 374 || (h = bfd_link_hash_lookup (link_info.hash, 375 sname, TRUE, TRUE, FALSE)) == NULL) 376 { 377 einfo (_("%F%P: clone section failed: %E\n")); 378 /* Silence gcc warnings. einfo exits, so we never reach here. */ 379 return NULL; 380 } 381 free (tname); 382 383 /* Set up section symbol. */ 384 h->type = bfd_link_hash_defined; 385 h->u.def.value = 0; 386 h->u.def.section = n; 387 388 n->flags = s->flags; 389 n->vma = s->vma; 390 n->user_set_vma = s->user_set_vma; 391 n->lma = s->lma; 392 n->size = 0; 393 n->output_offset = s->output_offset; 394 n->output_section = n; 395 n->orelocation = 0; 396 n->reloc_count = 0; 397 n->alignment_power = s->alignment_power; 398 399 bfd_copy_private_section_data (abfd, s, abfd, n); 400 401 return n; 402} 403 404#if TESTING 405static void 406ds (asection *s) 407{ 408 struct bfd_link_order *l = s->map_head.link_order; 409 printf ("vma %x size %x\n", s->vma, s->size); 410 while (l) 411 { 412 if (l->type == bfd_indirect_link_order) 413 { 414 printf ("%8x %s\n", l->offset, l->u.indirect.section->owner->filename); 415 } 416 else 417 { 418 printf (_("%8x something else\n"), l->offset); 419 } 420 l = l->next; 421 } 422 printf ("\n"); 423} 424 425dump (char *s, asection *a1, asection *a2) 426{ 427 printf ("%s\n", s); 428 ds (a1); 429 ds (a2); 430} 431 432static void 433sanity_check (bfd *abfd) 434{ 435 asection *s; 436 for (s = abfd->sections; s; s = s->next) 437 { 438 struct bfd_link_order *p; 439 bfd_vma prev = 0; 440 for (p = s->map_head.link_order; p; p = p->next) 441 { 442 if (p->offset > 100000) 443 abort (); 444 if (p->offset < prev) 445 abort (); 446 prev = p->offset; 447 } 448 } 449} 450#else 451#define sanity_check(a) 452#define dump(a, b, c) 453#endif 454 455static void 456split_sections (bfd *abfd, struct bfd_link_info *info) 457{ 458 asection *original_sec; 459 int nsecs = abfd->section_count; 460 sanity_check (abfd); 461 /* Look through all the original sections. */ 462 for (original_sec = abfd->sections; 463 original_sec && nsecs; 464 original_sec = original_sec->next, nsecs--) 465 { 466 int count = 0; 467 unsigned int lines = 0; 468 unsigned int relocs = 0; 469 bfd_size_type sec_size = 0; 470 struct bfd_link_order *l; 471 struct bfd_link_order *p; 472 bfd_vma vma = original_sec->vma; 473 asection *cursor = original_sec; 474 475 /* Count up the relocations and line entries to see if anything 476 would be too big to fit. Accumulate section size too. */ 477 for (l = NULL, p = cursor->map_head.link_order; p != NULL; p = l->next) 478 { 479 unsigned int thislines = 0; 480 unsigned int thisrelocs = 0; 481 bfd_size_type thissize = 0; 482 if (p->type == bfd_indirect_link_order) 483 { 484 asection *sec; 485 486 sec = p->u.indirect.section; 487 488 if (info->strip == strip_none 489 || info->strip == strip_some) 490 thislines = sec->lineno_count; 491 492 if (info->relocatable) 493 thisrelocs = sec->reloc_count; 494 495 thissize = sec->size; 496 497 } 498 else if (info->relocatable 499 && (p->type == bfd_section_reloc_link_order 500 || p->type == bfd_symbol_reloc_link_order)) 501 thisrelocs++; 502 503 if (l != NULL 504 && (thisrelocs + relocs >= config.split_by_reloc 505 || thislines + lines >= config.split_by_reloc 506 || (thissize + sec_size >= config.split_by_file)) 507 && !unsplittable_name (cursor->name)) 508 { 509 /* Create a new section and put this link order and the 510 following link orders into it. */ 511 bfd_vma shift_offset; 512 asection *n; 513 514 n = clone_section (abfd, cursor, original_sec->name, &count); 515 516 /* Attach the link orders to the new section and snip 517 them off from the old section. */ 518 n->map_head.link_order = p; 519 n->map_tail.link_order = cursor->map_tail.link_order; 520 cursor->map_tail.link_order = l; 521 l->next = NULL; 522 l = p; 523 524 /* Change the size of the original section and 525 update the vma of the new one. */ 526 527 dump ("before snip", cursor, n); 528 529 shift_offset = p->offset; 530 n->size = cursor->size - shift_offset; 531 cursor->size = shift_offset; 532 533 vma += shift_offset; 534 n->lma = n->vma = vma; 535 536 /* Run down the chain and change the output section to 537 the right one, update the offsets too. */ 538 do 539 { 540 p->offset -= shift_offset; 541 if (p->type == bfd_indirect_link_order) 542 { 543 p->u.indirect.section->output_section = n; 544 p->u.indirect.section->output_offset = p->offset; 545 } 546 p = p->next; 547 } 548 while (p); 549 550 dump ("after snip", cursor, n); 551 cursor = n; 552 relocs = thisrelocs; 553 lines = thislines; 554 sec_size = thissize; 555 } 556 else 557 { 558 l = p; 559 relocs += thisrelocs; 560 lines += thislines; 561 sec_size += thissize; 562 } 563 } 564 } 565 sanity_check (abfd); 566} 567 568/* Call BFD to write out the linked file. */ 569 570void 571ldwrite (void) 572{ 573 /* Reset error indicator, which can typically something like invalid 574 format from opening up the .o files. */ 575 bfd_set_error (bfd_error_no_error); 576 lang_for_each_statement (build_link_order); 577 578 if (config.split_by_reloc != (unsigned) -1 579 || config.split_by_file != (bfd_size_type) -1) 580 split_sections (link_info.output_bfd, &link_info); 581 if (!bfd_final_link (link_info.output_bfd, &link_info)) 582 { 583 /* If there was an error recorded, print it out. Otherwise assume 584 an appropriate error message like unknown symbol was printed 585 out. */ 586 587 if (bfd_get_error () != bfd_error_no_error) 588 einfo (_("%F%P: final link failed: %E\n")); 589 else 590 xexit (1); 591 } 592} 593