1 /* Matsushita 10300 specific support for 32-bit ELF 2 Copyright 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, 3 2006, 2007 Free Software Foundation, Inc. 4 5 This file is part of BFD, the Binary File Descriptor library. 6 7 This program is free software; you can redistribute it and/or modify 8 it under the terms of the GNU General Public License as published by 9 the Free Software Foundation; either version 3 of the License, or 10 (at your option) any later version. 11 12 This program is distributed in the hope that it will be useful, 13 but WITHOUT ANY WARRANTY; without even the implied warranty of 14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 15 GNU General Public License for more details. 16 17 You should have received a copy of the GNU General Public License 18 along with this program; if not, write to the Free Software 19 Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston, 20 MA 02110-1301, USA. */ 21 22 #include "sysdep.h" 23 #include "bfd.h" 24 #include "libbfd.h" 25 #include "elf-bfd.h" 26 #include "elf/mn10300.h" 27 #include "libiberty.h" 28 29 /* The mn10300 linker needs to keep track of the number of relocs that 30 it decides to copy in check_relocs for each symbol. This is so 31 that it can discard PC relative relocs if it doesn't need them when 32 linking with -Bsymbolic. We store the information in a field 33 extending the regular ELF linker hash table. */ 34 35 struct elf32_mn10300_link_hash_entry 36 { 37 /* The basic elf link hash table entry. */ 38 struct elf_link_hash_entry root; 39 40 /* For function symbols, the number of times this function is 41 called directly (ie by name). */ 42 unsigned int direct_calls; 43 44 /* For function symbols, the size of this function's stack 45 (if <= 255 bytes). We stuff this into "call" instructions 46 to this target when it's valid and profitable to do so. 47 48 This does not include stack allocated by movm! */ 49 unsigned char stack_size; 50 51 /* For function symbols, arguments (if any) for movm instruction 52 in the prologue. We stuff this value into "call" instructions 53 to the target when it's valid and profitable to do so. */ 54 unsigned char movm_args; 55 56 /* For function symbols, the amount of stack space that would be allocated 57 by the movm instruction. This is redundant with movm_args, but we 58 add it to the hash table to avoid computing it over and over. */ 59 unsigned char movm_stack_size; 60 61 /* When set, convert all "call" instructions to this target into "calls" 62 instructions. */ 63 #define MN10300_CONVERT_CALL_TO_CALLS 0x1 64 65 /* Used to mark functions which have had redundant parts of their 66 prologue deleted. */ 67 #define MN10300_DELETED_PROLOGUE_BYTES 0x2 68 unsigned char flags; 69 70 /* Calculated value. */ 71 bfd_vma value; 72 }; 73 74 /* We derive a hash table from the main elf linker hash table so 75 we can store state variables and a secondary hash table without 76 resorting to global variables. */ 77 struct elf32_mn10300_link_hash_table 78 { 79 /* The main hash table. */ 80 struct elf_link_hash_table root; 81 82 /* A hash table for static functions. We could derive a new hash table 83 instead of using the full elf32_mn10300_link_hash_table if we wanted 84 to save some memory. */ 85 struct elf32_mn10300_link_hash_table *static_hash_table; 86 87 /* Random linker state flags. */ 88 #define MN10300_HASH_ENTRIES_INITIALIZED 0x1 89 char flags; 90 }; 91 92 #ifndef streq 93 #define streq(a, b) (strcmp ((a),(b)) == 0) 94 #endif 95 96 /* For MN10300 linker hash table. */ 97 98 /* Get the MN10300 ELF linker hash table from a link_info structure. */ 99 100 #define elf32_mn10300_hash_table(p) \ 101 ((struct elf32_mn10300_link_hash_table *) ((p)->hash)) 102 103 #define elf32_mn10300_link_hash_traverse(table, func, info) \ 104 (elf_link_hash_traverse \ 105 (&(table)->root, \ 106 (bfd_boolean (*) (struct elf_link_hash_entry *, void *)) (func), \ 107 (info))) 108 109 static reloc_howto_type elf_mn10300_howto_table[] = 110 { 111 /* Dummy relocation. Does nothing. */ 112 HOWTO (R_MN10300_NONE, 113 0, 114 2, 115 16, 116 FALSE, 117 0, 118 complain_overflow_bitfield, 119 bfd_elf_generic_reloc, 120 "R_MN10300_NONE", 121 FALSE, 122 0, 123 0, 124 FALSE), 125 /* Standard 32 bit reloc. */ 126 HOWTO (R_MN10300_32, 127 0, 128 2, 129 32, 130 FALSE, 131 0, 132 complain_overflow_bitfield, 133 bfd_elf_generic_reloc, 134 "R_MN10300_32", 135 FALSE, 136 0xffffffff, 137 0xffffffff, 138 FALSE), 139 /* Standard 16 bit reloc. */ 140 HOWTO (R_MN10300_16, 141 0, 142 1, 143 16, 144 FALSE, 145 0, 146 complain_overflow_bitfield, 147 bfd_elf_generic_reloc, 148 "R_MN10300_16", 149 FALSE, 150 0xffff, 151 0xffff, 152 FALSE), 153 /* Standard 8 bit reloc. */ 154 HOWTO (R_MN10300_8, 155 0, 156 0, 157 8, 158 FALSE, 159 0, 160 complain_overflow_bitfield, 161 bfd_elf_generic_reloc, 162 "R_MN10300_8", 163 FALSE, 164 0xff, 165 0xff, 166 FALSE), 167 /* Standard 32bit pc-relative reloc. */ 168 HOWTO (R_MN10300_PCREL32, 169 0, 170 2, 171 32, 172 TRUE, 173 0, 174 complain_overflow_bitfield, 175 bfd_elf_generic_reloc, 176 "R_MN10300_PCREL32", 177 FALSE, 178 0xffffffff, 179 0xffffffff, 180 TRUE), 181 /* Standard 16bit pc-relative reloc. */ 182 HOWTO (R_MN10300_PCREL16, 183 0, 184 1, 185 16, 186 TRUE, 187 0, 188 complain_overflow_bitfield, 189 bfd_elf_generic_reloc, 190 "R_MN10300_PCREL16", 191 FALSE, 192 0xffff, 193 0xffff, 194 TRUE), 195 /* Standard 8 pc-relative reloc. */ 196 HOWTO (R_MN10300_PCREL8, 197 0, 198 0, 199 8, 200 TRUE, 201 0, 202 complain_overflow_bitfield, 203 bfd_elf_generic_reloc, 204 "R_MN10300_PCREL8", 205 FALSE, 206 0xff, 207 0xff, 208 TRUE), 209 210 /* GNU extension to record C++ vtable hierarchy. */ 211 HOWTO (R_MN10300_GNU_VTINHERIT, /* type */ 212 0, /* rightshift */ 213 0, /* size (0 = byte, 1 = short, 2 = long) */ 214 0, /* bitsize */ 215 FALSE, /* pc_relative */ 216 0, /* bitpos */ 217 complain_overflow_dont, /* complain_on_overflow */ 218 NULL, /* special_function */ 219 "R_MN10300_GNU_VTINHERIT", /* name */ 220 FALSE, /* partial_inplace */ 221 0, /* src_mask */ 222 0, /* dst_mask */ 223 FALSE), /* pcrel_offset */ 224 225 /* GNU extension to record C++ vtable member usage */ 226 HOWTO (R_MN10300_GNU_VTENTRY, /* type */ 227 0, /* rightshift */ 228 0, /* size (0 = byte, 1 = short, 2 = long) */ 229 0, /* bitsize */ 230 FALSE, /* pc_relative */ 231 0, /* bitpos */ 232 complain_overflow_dont, /* complain_on_overflow */ 233 NULL, /* special_function */ 234 "R_MN10300_GNU_VTENTRY", /* name */ 235 FALSE, /* partial_inplace */ 236 0, /* src_mask */ 237 0, /* dst_mask */ 238 FALSE), /* pcrel_offset */ 239 240 /* Standard 24 bit reloc. */ 241 HOWTO (R_MN10300_24, 242 0, 243 2, 244 24, 245 FALSE, 246 0, 247 complain_overflow_bitfield, 248 bfd_elf_generic_reloc, 249 "R_MN10300_24", 250 FALSE, 251 0xffffff, 252 0xffffff, 253 FALSE), 254 HOWTO (R_MN10300_GOTPC32, /* type */ 255 0, /* rightshift */ 256 2, /* size (0 = byte, 1 = short, 2 = long) */ 257 32, /* bitsize */ 258 TRUE, /* pc_relative */ 259 0, /* bitpos */ 260 complain_overflow_bitfield, /* complain_on_overflow */ 261 bfd_elf_generic_reloc, /* */ 262 "R_MN10300_GOTPC32", /* name */ 263 FALSE, /* partial_inplace */ 264 0xffffffff, /* src_mask */ 265 0xffffffff, /* dst_mask */ 266 TRUE), /* pcrel_offset */ 267 268 HOWTO (R_MN10300_GOTPC16, /* type */ 269 0, /* rightshift */ 270 1, /* size (0 = byte, 1 = short, 2 = long) */ 271 16, /* bitsize */ 272 TRUE, /* pc_relative */ 273 0, /* bitpos */ 274 complain_overflow_bitfield, /* complain_on_overflow */ 275 bfd_elf_generic_reloc, /* */ 276 "R_MN10300_GOTPC16", /* name */ 277 FALSE, /* partial_inplace */ 278 0xffff, /* src_mask */ 279 0xffff, /* dst_mask */ 280 TRUE), /* pcrel_offset */ 281 282 HOWTO (R_MN10300_GOTOFF32, /* type */ 283 0, /* rightshift */ 284 2, /* size (0 = byte, 1 = short, 2 = long) */ 285 32, /* bitsize */ 286 FALSE, /* pc_relative */ 287 0, /* bitpos */ 288 complain_overflow_bitfield, /* complain_on_overflow */ 289 bfd_elf_generic_reloc, /* */ 290 "R_MN10300_GOTOFF32", /* name */ 291 FALSE, /* partial_inplace */ 292 0xffffffff, /* src_mask */ 293 0xffffffff, /* dst_mask */ 294 FALSE), /* pcrel_offset */ 295 296 HOWTO (R_MN10300_GOTOFF24, /* type */ 297 0, /* rightshift */ 298 2, /* size (0 = byte, 1 = short, 2 = long) */ 299 24, /* bitsize */ 300 FALSE, /* pc_relative */ 301 0, /* bitpos */ 302 complain_overflow_bitfield, /* complain_on_overflow */ 303 bfd_elf_generic_reloc, /* */ 304 "R_MN10300_GOTOFF24", /* name */ 305 FALSE, /* partial_inplace */ 306 0xffffff, /* src_mask */ 307 0xffffff, /* dst_mask */ 308 FALSE), /* pcrel_offset */ 309 310 HOWTO (R_MN10300_GOTOFF16, /* type */ 311 0, /* rightshift */ 312 1, /* size (0 = byte, 1 = short, 2 = long) */ 313 16, /* bitsize */ 314 FALSE, /* pc_relative */ 315 0, /* bitpos */ 316 complain_overflow_bitfield, /* complain_on_overflow */ 317 bfd_elf_generic_reloc, /* */ 318 "R_MN10300_GOTOFF16", /* name */ 319 FALSE, /* partial_inplace */ 320 0xffff, /* src_mask */ 321 0xffff, /* dst_mask */ 322 FALSE), /* pcrel_offset */ 323 324 HOWTO (R_MN10300_PLT32, /* type */ 325 0, /* rightshift */ 326 2, /* size (0 = byte, 1 = short, 2 = long) */ 327 32, /* bitsize */ 328 TRUE, /* pc_relative */ 329 0, /* bitpos */ 330 complain_overflow_bitfield, /* complain_on_overflow */ 331 bfd_elf_generic_reloc, /* */ 332 "R_MN10300_PLT32", /* name */ 333 FALSE, /* partial_inplace */ 334 0xffffffff, /* src_mask */ 335 0xffffffff, /* dst_mask */ 336 TRUE), /* pcrel_offset */ 337 338 HOWTO (R_MN10300_PLT16, /* type */ 339 0, /* rightshift */ 340 1, /* size (0 = byte, 1 = short, 2 = long) */ 341 16, /* bitsize */ 342 TRUE, /* pc_relative */ 343 0, /* bitpos */ 344 complain_overflow_bitfield, /* complain_on_overflow */ 345 bfd_elf_generic_reloc, /* */ 346 "R_MN10300_PLT16", /* name */ 347 FALSE, /* partial_inplace */ 348 0xffff, /* src_mask */ 349 0xffff, /* dst_mask */ 350 TRUE), /* pcrel_offset */ 351 352 HOWTO (R_MN10300_GOT32, /* type */ 353 0, /* rightshift */ 354 2, /* size (0 = byte, 1 = short, 2 = long) */ 355 32, /* bitsize */ 356 FALSE, /* pc_relative */ 357 0, /* bitpos */ 358 complain_overflow_bitfield, /* complain_on_overflow */ 359 bfd_elf_generic_reloc, /* */ 360 "R_MN10300_GOT32", /* name */ 361 FALSE, /* partial_inplace */ 362 0xffffffff, /* src_mask */ 363 0xffffffff, /* dst_mask */ 364 FALSE), /* pcrel_offset */ 365 366 HOWTO (R_MN10300_GOT24, /* type */ 367 0, /* rightshift */ 368 2, /* size (0 = byte, 1 = short, 2 = long) */ 369 24, /* bitsize */ 370 FALSE, /* pc_relative */ 371 0, /* bitpos */ 372 complain_overflow_bitfield, /* complain_on_overflow */ 373 bfd_elf_generic_reloc, /* */ 374 "R_MN10300_GOT24", /* name */ 375 FALSE, /* partial_inplace */ 376 0xffffffff, /* src_mask */ 377 0xffffffff, /* dst_mask */ 378 FALSE), /* pcrel_offset */ 379 380 HOWTO (R_MN10300_GOT16, /* type */ 381 0, /* rightshift */ 382 1, /* size (0 = byte, 1 = short, 2 = long) */ 383 16, /* bitsize */ 384 FALSE, /* pc_relative */ 385 0, /* bitpos */ 386 complain_overflow_bitfield, /* complain_on_overflow */ 387 bfd_elf_generic_reloc, /* */ 388 "R_MN10300_GOT16", /* name */ 389 FALSE, /* partial_inplace */ 390 0xffffffff, /* src_mask */ 391 0xffffffff, /* dst_mask */ 392 FALSE), /* pcrel_offset */ 393 394 HOWTO (R_MN10300_COPY, /* type */ 395 0, /* rightshift */ 396 2, /* size (0 = byte, 1 = short, 2 = long) */ 397 32, /* bitsize */ 398 FALSE, /* pc_relative */ 399 0, /* bitpos */ 400 complain_overflow_bitfield, /* complain_on_overflow */ 401 bfd_elf_generic_reloc, /* */ 402 "R_MN10300_COPY", /* name */ 403 FALSE, /* partial_inplace */ 404 0xffffffff, /* src_mask */ 405 0xffffffff, /* dst_mask */ 406 FALSE), /* pcrel_offset */ 407 408 HOWTO (R_MN10300_GLOB_DAT, /* type */ 409 0, /* rightshift */ 410 2, /* size (0 = byte, 1 = short, 2 = long) */ 411 32, /* bitsize */ 412 FALSE, /* pc_relative */ 413 0, /* bitpos */ 414 complain_overflow_bitfield, /* complain_on_overflow */ 415 bfd_elf_generic_reloc, /* */ 416 "R_MN10300_GLOB_DAT", /* name */ 417 FALSE, /* partial_inplace */ 418 0xffffffff, /* src_mask */ 419 0xffffffff, /* dst_mask */ 420 FALSE), /* pcrel_offset */ 421 422 HOWTO (R_MN10300_JMP_SLOT, /* type */ 423 0, /* rightshift */ 424 2, /* size (0 = byte, 1 = short, 2 = long) */ 425 32, /* bitsize */ 426 FALSE, /* pc_relative */ 427 0, /* bitpos */ 428 complain_overflow_bitfield, /* complain_on_overflow */ 429 bfd_elf_generic_reloc, /* */ 430 "R_MN10300_JMP_SLOT", /* name */ 431 FALSE, /* partial_inplace */ 432 0xffffffff, /* src_mask */ 433 0xffffffff, /* dst_mask */ 434 FALSE), /* pcrel_offset */ 435 436 HOWTO (R_MN10300_RELATIVE, /* type */ 437 0, /* rightshift */ 438 2, /* size (0 = byte, 1 = short, 2 = long) */ 439 32, /* bitsize */ 440 FALSE, /* pc_relative */ 441 0, /* bitpos */ 442 complain_overflow_bitfield, /* complain_on_overflow */ 443 bfd_elf_generic_reloc, /* */ 444 "R_MN10300_RELATIVE", /* name */ 445 FALSE, /* partial_inplace */ 446 0xffffffff, /* src_mask */ 447 0xffffffff, /* dst_mask */ 448 FALSE), /* pcrel_offset */ 449 450 EMPTY_HOWTO (24), 451 EMPTY_HOWTO (25), 452 EMPTY_HOWTO (26), 453 EMPTY_HOWTO (27), 454 EMPTY_HOWTO (28), 455 EMPTY_HOWTO (29), 456 EMPTY_HOWTO (30), 457 EMPTY_HOWTO (31), 458 EMPTY_HOWTO (32), 459 460 HOWTO (R_MN10300_SYM_DIFF, /* type */ 461 0, /* rightshift */ 462 2, /* size (0 = byte, 1 = short, 2 = long) */ 463 32, /* bitsize */ 464 FALSE, /* pc_relative */ 465 0, /* bitpos */ 466 complain_overflow_dont,/* complain_on_overflow */ 467 NULL, /* special handler. */ 468 "R_MN10300_SYM_DIFF", /* name */ 469 FALSE, /* partial_inplace */ 470 0xffffffff, /* src_mask */ 471 0xffffffff, /* dst_mask */ 472 FALSE), /* pcrel_offset */ 473 474 HOWTO (R_MN10300_ALIGN, /* type */ 475 0, /* rightshift */ 476 0, /* size (0 = byte, 1 = short, 2 = long) */ 477 32, /* bitsize */ 478 FALSE, /* pc_relative */ 479 0, /* bitpos */ 480 complain_overflow_dont,/* complain_on_overflow */ 481 NULL, /* special handler. */ 482 "R_MN10300_ALIGN", /* name */ 483 FALSE, /* partial_inplace */ 484 0, /* src_mask */ 485 0, /* dst_mask */ 486 FALSE) /* pcrel_offset */ 487 }; 488 489 struct mn10300_reloc_map 490 { 491 bfd_reloc_code_real_type bfd_reloc_val; 492 unsigned char elf_reloc_val; 493 }; 494 495 static const struct mn10300_reloc_map mn10300_reloc_map[] = 496 { 497 { BFD_RELOC_NONE, R_MN10300_NONE, }, 498 { BFD_RELOC_32, R_MN10300_32, }, 499 { BFD_RELOC_16, R_MN10300_16, }, 500 { BFD_RELOC_8, R_MN10300_8, }, 501 { BFD_RELOC_32_PCREL, R_MN10300_PCREL32, }, 502 { BFD_RELOC_16_PCREL, R_MN10300_PCREL16, }, 503 { BFD_RELOC_8_PCREL, R_MN10300_PCREL8, }, 504 { BFD_RELOC_24, R_MN10300_24, }, 505 { BFD_RELOC_VTABLE_INHERIT, R_MN10300_GNU_VTINHERIT }, 506 { BFD_RELOC_VTABLE_ENTRY, R_MN10300_GNU_VTENTRY }, 507 { BFD_RELOC_32_GOT_PCREL, R_MN10300_GOTPC32 }, 508 { BFD_RELOC_16_GOT_PCREL, R_MN10300_GOTPC16 }, 509 { BFD_RELOC_32_GOTOFF, R_MN10300_GOTOFF32 }, 510 { BFD_RELOC_MN10300_GOTOFF24, R_MN10300_GOTOFF24 }, 511 { BFD_RELOC_16_GOTOFF, R_MN10300_GOTOFF16 }, 512 { BFD_RELOC_32_PLT_PCREL, R_MN10300_PLT32 }, 513 { BFD_RELOC_16_PLT_PCREL, R_MN10300_PLT16 }, 514 { BFD_RELOC_MN10300_GOT32, R_MN10300_GOT32 }, 515 { BFD_RELOC_MN10300_GOT24, R_MN10300_GOT24 }, 516 { BFD_RELOC_MN10300_GOT16, R_MN10300_GOT16 }, 517 { BFD_RELOC_MN10300_COPY, R_MN10300_COPY }, 518 { BFD_RELOC_MN10300_GLOB_DAT, R_MN10300_GLOB_DAT }, 519 { BFD_RELOC_MN10300_JMP_SLOT, R_MN10300_JMP_SLOT }, 520 { BFD_RELOC_MN10300_RELATIVE, R_MN10300_RELATIVE }, 521 { BFD_RELOC_MN10300_SYM_DIFF, R_MN10300_SYM_DIFF }, 522 { BFD_RELOC_MN10300_ALIGN, R_MN10300_ALIGN } 523 }; 524 525 /* Create the GOT section. */ 526 527 static bfd_boolean 528 _bfd_mn10300_elf_create_got_section (bfd * abfd, 529 struct bfd_link_info * info) 530 { 531 flagword flags; 532 flagword pltflags; 533 asection * s; 534 struct elf_link_hash_entry * h; 535 const struct elf_backend_data * bed = get_elf_backend_data (abfd); 536 int ptralign; 537 538 /* This function may be called more than once. */ 539 if (bfd_get_section_by_name (abfd, ".got") != NULL) 540 return TRUE; 541 542 switch (bed->s->arch_size) 543 { 544 case 32: 545 ptralign = 2; 546 break; 547 548 case 64: 549 ptralign = 3; 550 break; 551 552 default: 553 bfd_set_error (bfd_error_bad_value); 554 return FALSE; 555 } 556 557 flags = (SEC_ALLOC | SEC_LOAD | SEC_HAS_CONTENTS | SEC_IN_MEMORY 558 | SEC_LINKER_CREATED); 559 560 pltflags = flags; 561 pltflags |= SEC_CODE; 562 if (bed->plt_not_loaded) 563 pltflags &= ~ (SEC_LOAD | SEC_HAS_CONTENTS); 564 if (bed->plt_readonly) 565 pltflags |= SEC_READONLY; 566 567 s = bfd_make_section_with_flags (abfd, ".plt", pltflags); 568 if (s == NULL 569 || ! bfd_set_section_alignment (abfd, s, bed->plt_alignment)) 570 return FALSE; 571 572 /* Define the symbol _PROCEDURE_LINKAGE_TABLE_ at the start of the 573 .plt section. */ 574 if (bed->want_plt_sym) 575 { 576 h = _bfd_elf_define_linkage_sym (abfd, info, s, 577 "_PROCEDURE_LINKAGE_TABLE_"); 578 elf_hash_table (info)->hplt = h; 579 if (h == NULL) 580 return FALSE; 581 } 582 583 s = bfd_make_section_with_flags (abfd, ".got", flags); 584 if (s == NULL 585 || ! bfd_set_section_alignment (abfd, s, ptralign)) 586 return FALSE; 587 588 if (bed->want_got_plt) 589 { 590 s = bfd_make_section_with_flags (abfd, ".got.plt", flags); 591 if (s == NULL 592 || ! bfd_set_section_alignment (abfd, s, ptralign)) 593 return FALSE; 594 } 595 596 /* Define the symbol _GLOBAL_OFFSET_TABLE_ at the start of the .got 597 (or .got.plt) section. We don't do this in the linker script 598 because we don't want to define the symbol if we are not creating 599 a global offset table. */ 600 h = _bfd_elf_define_linkage_sym (abfd, info, s, "_GLOBAL_OFFSET_TABLE_"); 601 elf_hash_table (info)->hgot = h; 602 if (h == NULL) 603 return FALSE; 604 605 /* The first bit of the global offset table is the header. */ 606 s->size += bed->got_header_size; 607 608 return TRUE; 609 } 610 611 static reloc_howto_type * 612 bfd_elf32_bfd_reloc_type_lookup (bfd *abfd ATTRIBUTE_UNUSED, 613 bfd_reloc_code_real_type code) 614 { 615 unsigned int i; 616 617 for (i = ARRAY_SIZE (mn10300_reloc_map); i--;) 618 if (mn10300_reloc_map[i].bfd_reloc_val == code) 619 return &elf_mn10300_howto_table[mn10300_reloc_map[i].elf_reloc_val]; 620 621 return NULL; 622 } 623 624 static reloc_howto_type * 625 bfd_elf32_bfd_reloc_name_lookup (bfd *abfd ATTRIBUTE_UNUSED, 626 const char *r_name) 627 { 628 unsigned int i; 629 630 for (i = ARRAY_SIZE (elf_mn10300_howto_table); i--;) 631 if (elf_mn10300_howto_table[i].name != NULL 632 && strcasecmp (elf_mn10300_howto_table[i].name, r_name) == 0) 633 return elf_mn10300_howto_table + i; 634 635 return NULL; 636 } 637 638 /* Set the howto pointer for an MN10300 ELF reloc. */ 639 640 static void 641 mn10300_info_to_howto (bfd *abfd ATTRIBUTE_UNUSED, 642 arelent *cache_ptr, 643 Elf_Internal_Rela *dst) 644 { 645 unsigned int r_type; 646 647 r_type = ELF32_R_TYPE (dst->r_info); 648 BFD_ASSERT (r_type < (unsigned int) R_MN10300_MAX); 649 cache_ptr->howto = elf_mn10300_howto_table + r_type; 650 } 651 652 /* Look through the relocs for a section during the first phase. 653 Since we don't do .gots or .plts, we just need to consider the 654 virtual table relocs for gc. */ 655 656 static bfd_boolean 657 mn10300_elf_check_relocs (bfd *abfd, 658 struct bfd_link_info *info, 659 asection *sec, 660 const Elf_Internal_Rela *relocs) 661 { 662 bfd_boolean sym_diff_reloc_seen; 663 Elf_Internal_Shdr *symtab_hdr; 664 Elf_Internal_Sym * isymbuf = NULL; 665 struct elf_link_hash_entry **sym_hashes; 666 const Elf_Internal_Rela *rel; 667 const Elf_Internal_Rela *rel_end; 668 bfd * dynobj; 669 bfd_vma * local_got_offsets; 670 asection * sgot; 671 asection * srelgot; 672 asection * sreloc; 673 bfd_boolean result = FALSE; 674 675 sgot = NULL; 676 srelgot = NULL; 677 sreloc = NULL; 678 679 if (info->relocatable) 680 return TRUE; 681 682 symtab_hdr = &elf_tdata (abfd)->symtab_hdr; 683 isymbuf = (Elf_Internal_Sym *) symtab_hdr->contents; 684 sym_hashes = elf_sym_hashes (abfd); 685 686 dynobj = elf_hash_table (info)->dynobj; 687 local_got_offsets = elf_local_got_offsets (abfd); 688 rel_end = relocs + sec->reloc_count; 689 sym_diff_reloc_seen = FALSE; 690 691 for (rel = relocs; rel < rel_end; rel++) 692 { 693 struct elf_link_hash_entry *h; 694 unsigned long r_symndx; 695 unsigned int r_type; 696 697 r_symndx = ELF32_R_SYM (rel->r_info); 698 if (r_symndx < symtab_hdr->sh_info) 699 h = NULL; 700 else 701 { 702 h = sym_hashes[r_symndx - symtab_hdr->sh_info]; 703 while (h->root.type == bfd_link_hash_indirect 704 || h->root.type == bfd_link_hash_warning) 705 h = (struct elf_link_hash_entry *) h->root.u.i.link; 706 } 707 708 r_type = ELF32_R_TYPE (rel->r_info); 709 710 /* Some relocs require a global offset table. */ 711 if (dynobj == NULL) 712 { 713 switch (r_type) 714 { 715 case R_MN10300_GOT32: 716 case R_MN10300_GOT24: 717 case R_MN10300_GOT16: 718 case R_MN10300_GOTOFF32: 719 case R_MN10300_GOTOFF24: 720 case R_MN10300_GOTOFF16: 721 case R_MN10300_GOTPC32: 722 case R_MN10300_GOTPC16: 723 elf_hash_table (info)->dynobj = dynobj = abfd; 724 if (! _bfd_mn10300_elf_create_got_section (dynobj, info)) 725 goto fail; 726 break; 727 728 default: 729 break; 730 } 731 } 732 733 switch (r_type) 734 { 735 /* This relocation describes the C++ object vtable hierarchy. 736 Reconstruct it for later use during GC. */ 737 case R_MN10300_GNU_VTINHERIT: 738 if (!bfd_elf_gc_record_vtinherit (abfd, sec, h, rel->r_offset)) 739 goto fail; 740 break; 741 742 /* This relocation describes which C++ vtable entries are actually 743 used. Record for later use during GC. */ 744 case R_MN10300_GNU_VTENTRY: 745 BFD_ASSERT (h != NULL); 746 if (h != NULL 747 && !bfd_elf_gc_record_vtentry (abfd, sec, h, rel->r_addend)) 748 goto fail; 749 break; 750 751 case R_MN10300_GOT32: 752 case R_MN10300_GOT24: 753 case R_MN10300_GOT16: 754 /* This symbol requires a global offset table entry. */ 755 756 if (sgot == NULL) 757 { 758 sgot = bfd_get_section_by_name (dynobj, ".got"); 759 BFD_ASSERT (sgot != NULL); 760 } 761 762 if (srelgot == NULL 763 && (h != NULL || info->shared)) 764 { 765 srelgot = bfd_get_section_by_name (dynobj, ".rela.got"); 766 if (srelgot == NULL) 767 { 768 srelgot = bfd_make_section_with_flags (dynobj, 769 ".rela.got", 770 (SEC_ALLOC 771 | SEC_LOAD 772 | SEC_HAS_CONTENTS 773 | SEC_IN_MEMORY 774 | SEC_LINKER_CREATED 775 | SEC_READONLY)); 776 if (srelgot == NULL 777 || ! bfd_set_section_alignment (dynobj, srelgot, 2)) 778 goto fail; 779 } 780 } 781 782 if (h != NULL) 783 { 784 if (h->got.offset != (bfd_vma) -1) 785 /* We have already allocated space in the .got. */ 786 break; 787 788 h->got.offset = sgot->size; 789 790 /* Make sure this symbol is output as a dynamic symbol. */ 791 if (h->dynindx == -1) 792 { 793 if (! bfd_elf_link_record_dynamic_symbol (info, h)) 794 goto fail; 795 } 796 797 srelgot->size += sizeof (Elf32_External_Rela); 798 } 799 else 800 { 801 /* This is a global offset table entry for a local 802 symbol. */ 803 if (local_got_offsets == NULL) 804 { 805 size_t size; 806 unsigned int i; 807 808 size = symtab_hdr->sh_info * sizeof (bfd_vma); 809 local_got_offsets = bfd_alloc (abfd, size); 810 811 if (local_got_offsets == NULL) 812 goto fail; 813 814 elf_local_got_offsets (abfd) = local_got_offsets; 815 816 for (i = 0; i < symtab_hdr->sh_info; i++) 817 local_got_offsets[i] = (bfd_vma) -1; 818 } 819 820 if (local_got_offsets[r_symndx] != (bfd_vma) -1) 821 /* We have already allocated space in the .got. */ 822 break; 823 824 local_got_offsets[r_symndx] = sgot->size; 825 826 if (info->shared) 827 /* If we are generating a shared object, we need to 828 output a R_MN10300_RELATIVE reloc so that the dynamic 829 linker can adjust this GOT entry. */ 830 srelgot->size += sizeof (Elf32_External_Rela); 831 } 832 833 sgot->size += 4; 834 break; 835 836 case R_MN10300_PLT32: 837 case R_MN10300_PLT16: 838 /* This symbol requires a procedure linkage table entry. We 839 actually build the entry in adjust_dynamic_symbol, 840 because this might be a case of linking PIC code which is 841 never referenced by a dynamic object, in which case we 842 don't need to generate a procedure linkage table entry 843 after all. */ 844 845 /* If this is a local symbol, we resolve it directly without 846 creating a procedure linkage table entry. */ 847 if (h == NULL) 848 continue; 849 850 if (ELF_ST_VISIBILITY (h->other) == STV_INTERNAL 851 || ELF_ST_VISIBILITY (h->other) == STV_HIDDEN) 852 break; 853 854 h->needs_plt = 1; 855 break; 856 857 case R_MN10300_24: 858 case R_MN10300_16: 859 case R_MN10300_8: 860 case R_MN10300_PCREL32: 861 case R_MN10300_PCREL16: 862 case R_MN10300_PCREL8: 863 if (h != NULL) 864 h->non_got_ref = 1; 865 break; 866 867 case R_MN10300_SYM_DIFF: 868 sym_diff_reloc_seen = TRUE; 869 break; 870 871 case R_MN10300_32: 872 if (h != NULL) 873 h->non_got_ref = 1; 874 875 /* If we are creating a shared library, then we 876 need to copy the reloc into the shared library. */ 877 if (info->shared 878 && (sec->flags & SEC_ALLOC) != 0 879 /* Do not generate a dynamic reloc for a 880 reloc associated with a SYM_DIFF operation. */ 881 && ! sym_diff_reloc_seen) 882 { 883 asection * sym_section = NULL; 884 885 /* Find the section containing the 886 symbol involved in the relocation. */ 887 if (h == NULL) 888 { 889 Elf_Internal_Sym * isym; 890 891 if (isymbuf == NULL) 892 isymbuf = bfd_elf_get_elf_syms (abfd, symtab_hdr, 893 symtab_hdr->sh_info, 0, 894 NULL, NULL, NULL); 895 if (isymbuf) 896 { 897 isym = isymbuf + r_symndx; 898 /* All we care about is whether this local symbol is absolute. */ 899 if (isym->st_shndx == SHN_ABS) 900 sym_section = bfd_abs_section_ptr; 901 } 902 } 903 else 904 { 905 if (h->root.type == bfd_link_hash_defined 906 || h->root.type == bfd_link_hash_defweak) 907 sym_section = h->root.u.def.section; 908 } 909 910 /* If the symbol is absolute then the relocation can 911 be resolved during linking and there is no need for 912 a dynamic reloc. */ 913 if (sym_section != bfd_abs_section_ptr) 914 { 915 /* When creating a shared object, we must copy these 916 reloc types into the output file. We create a reloc 917 section in dynobj and make room for this reloc. */ 918 if (sreloc == NULL) 919 { 920 const char * name; 921 922 name = (bfd_elf_string_from_elf_section 923 (abfd, 924 elf_elfheader (abfd)->e_shstrndx, 925 elf_section_data (sec)->rel_hdr.sh_name)); 926 if (name == NULL) 927 goto fail; 928 929 BFD_ASSERT (CONST_STRNEQ (name, ".rela") 930 && streq (bfd_get_section_name (abfd, sec), name + 5)); 931 932 sreloc = bfd_get_section_by_name (dynobj, name); 933 if (sreloc == NULL) 934 { 935 flagword flags; 936 937 flags = (SEC_HAS_CONTENTS | SEC_READONLY 938 | SEC_IN_MEMORY | SEC_LINKER_CREATED); 939 if ((sec->flags & SEC_ALLOC) != 0) 940 flags |= SEC_ALLOC | SEC_LOAD; 941 sreloc = bfd_make_section_with_flags (dynobj, name, flags); 942 if (sreloc == NULL 943 || ! bfd_set_section_alignment (dynobj, sreloc, 2)) 944 goto fail; 945 } 946 } 947 948 sreloc->size += sizeof (Elf32_External_Rela); 949 } 950 } 951 952 break; 953 } 954 955 if (ELF32_R_TYPE (rel->r_info) != R_MN10300_SYM_DIFF) 956 sym_diff_reloc_seen = FALSE; 957 } 958 959 result = TRUE; 960 fail: 961 if (isymbuf != NULL) 962 free (isymbuf); 963 964 return result; 965 } 966 967 /* Return the section that should be marked against GC for a given 968 relocation. */ 969 970 static asection * 971 mn10300_elf_gc_mark_hook (asection *sec, 972 struct bfd_link_info *info, 973 Elf_Internal_Rela *rel, 974 struct elf_link_hash_entry *h, 975 Elf_Internal_Sym *sym) 976 { 977 if (h != NULL) 978 switch (ELF32_R_TYPE (rel->r_info)) 979 { 980 case R_MN10300_GNU_VTINHERIT: 981 case R_MN10300_GNU_VTENTRY: 982 return NULL; 983 } 984 985 return _bfd_elf_gc_mark_hook (sec, info, rel, h, sym); 986 } 987 988 /* Perform a relocation as part of a final link. */ 989 990 static bfd_reloc_status_type 991 mn10300_elf_final_link_relocate (reloc_howto_type *howto, 992 bfd *input_bfd, 993 bfd *output_bfd ATTRIBUTE_UNUSED, 994 asection *input_section, 995 bfd_byte *contents, 996 bfd_vma offset, 997 bfd_vma value, 998 bfd_vma addend, 999 struct elf_link_hash_entry * h, 1000 unsigned long symndx, 1001 struct bfd_link_info *info, 1002 asection *sym_sec ATTRIBUTE_UNUSED, 1003 int is_local ATTRIBUTE_UNUSED) 1004 { 1005 static asection * sym_diff_section; 1006 static bfd_vma sym_diff_value; 1007 bfd_boolean is_sym_diff_reloc; 1008 unsigned long r_type = howto->type; 1009 bfd_byte * hit_data = contents + offset; 1010 bfd * dynobj; 1011 bfd_vma * local_got_offsets; 1012 asection * sgot; 1013 asection * splt; 1014 asection * sreloc; 1015 1016 dynobj = elf_hash_table (info)->dynobj; 1017 local_got_offsets = elf_local_got_offsets (input_bfd); 1018 1019 sgot = NULL; 1020 splt = NULL; 1021 sreloc = NULL; 1022 1023 switch (r_type) 1024 { 1025 case R_MN10300_24: 1026 case R_MN10300_16: 1027 case R_MN10300_8: 1028 case R_MN10300_PCREL8: 1029 case R_MN10300_PCREL16: 1030 case R_MN10300_PCREL32: 1031 case R_MN10300_GOTOFF32: 1032 case R_MN10300_GOTOFF24: 1033 case R_MN10300_GOTOFF16: 1034 if (info->shared 1035 && (input_section->flags & SEC_ALLOC) != 0 1036 && h != NULL 1037 && ! SYMBOL_REFERENCES_LOCAL (info, h)) 1038 return bfd_reloc_dangerous; 1039 } 1040 1041 is_sym_diff_reloc = FALSE; 1042 if (sym_diff_section != NULL) 1043 { 1044 BFD_ASSERT (sym_diff_section == input_section); 1045 1046 switch (r_type) 1047 { 1048 case R_MN10300_32: 1049 case R_MN10300_24: 1050 case R_MN10300_16: 1051 case R_MN10300_8: 1052 value -= sym_diff_value; 1053 /* If we are computing a 32-bit value for the location lists 1054 and the result is 0 then we add one to the value. A zero 1055 value can result because of linker relaxation deleteing 1056 prologue instructions and using a value of 1 (for the begin 1057 and end offsets in the location list entry) results in a 1058 nul entry which does not prevent the following entries from 1059 being parsed. */ 1060 if (r_type == R_MN10300_32 1061 && value == 0 1062 && strcmp (input_section->name, ".debug_loc") == 0) 1063 value = 1; 1064 sym_diff_section = NULL; 1065 is_sym_diff_reloc = TRUE; 1066 break; 1067 1068 default: 1069 sym_diff_section = NULL; 1070 break; 1071 } 1072 } 1073 1074 switch (r_type) 1075 { 1076 case R_MN10300_SYM_DIFF: 1077 BFD_ASSERT (addend == 0); 1078 /* Cache the input section and value. 1079 The offset is unreliable, since relaxation may 1080 have reduced the following reloc's offset. */ 1081 sym_diff_section = input_section; 1082 sym_diff_value = value; 1083 return bfd_reloc_ok; 1084 1085 case R_MN10300_ALIGN: 1086 case R_MN10300_NONE: 1087 return bfd_reloc_ok; 1088 1089 case R_MN10300_32: 1090 if (info->shared 1091 /* Do not generate relocs when an R_MN10300_32 has been used 1092 with an R_MN10300_SYM_DIFF to compute a difference of two 1093 symbols. */ 1094 && is_sym_diff_reloc == FALSE 1095 /* Also, do not generate a reloc when the symbol associated 1096 with the R_MN10300_32 reloc is absolute - there is no 1097 need for a run time computation in this case. */ 1098 && sym_sec != bfd_abs_section_ptr 1099 /* If the section is not going to be allocated at load time 1100 then there is no need to generate relocs for it. */ 1101 && (input_section->flags & SEC_ALLOC) != 0) 1102 { 1103 Elf_Internal_Rela outrel; 1104 bfd_boolean skip, relocate; 1105 1106 /* When generating a shared object, these relocations are 1107 copied into the output file to be resolved at run 1108 time. */ 1109 if (sreloc == NULL) 1110 { 1111 const char * name; 1112 1113 name = (bfd_elf_string_from_elf_section 1114 (input_bfd, 1115 elf_elfheader (input_bfd)->e_shstrndx, 1116 elf_section_data (input_section)->rel_hdr.sh_name)); 1117 if (name == NULL) 1118 return FALSE; 1119 1120 BFD_ASSERT (CONST_STRNEQ (name, ".rela") 1121 && streq (bfd_get_section_name (input_bfd, 1122 input_section), 1123 name + 5)); 1124 1125 sreloc = bfd_get_section_by_name (dynobj, name); 1126 BFD_ASSERT (sreloc != NULL); 1127 } 1128 1129 skip = FALSE; 1130 1131 outrel.r_offset = _bfd_elf_section_offset (input_bfd, info, 1132 input_section, offset); 1133 if (outrel.r_offset == (bfd_vma) -1) 1134 skip = TRUE; 1135 1136 outrel.r_offset += (input_section->output_section->vma 1137 + input_section->output_offset); 1138 1139 if (skip) 1140 { 1141 memset (&outrel, 0, sizeof outrel); 1142 relocate = FALSE; 1143 } 1144 else 1145 { 1146 /* h->dynindx may be -1 if this symbol was marked to 1147 become local. */ 1148 if (h == NULL 1149 || SYMBOL_REFERENCES_LOCAL (info, h)) 1150 { 1151 relocate = TRUE; 1152 outrel.r_info = ELF32_R_INFO (0, R_MN10300_RELATIVE); 1153 outrel.r_addend = value + addend; 1154 } 1155 else 1156 { 1157 BFD_ASSERT (h->dynindx != -1); 1158 relocate = FALSE; 1159 outrel.r_info = ELF32_R_INFO (h->dynindx, R_MN10300_32); 1160 outrel.r_addend = value + addend; 1161 } 1162 } 1163 1164 bfd_elf32_swap_reloca_out (output_bfd, &outrel, 1165 (bfd_byte *) (((Elf32_External_Rela *) sreloc->contents) 1166 + sreloc->reloc_count)); 1167 ++sreloc->reloc_count; 1168 1169 /* If this reloc is against an external symbol, we do 1170 not want to fiddle with the addend. Otherwise, we 1171 need to include the symbol value so that it becomes 1172 an addend for the dynamic reloc. */ 1173 if (! relocate) 1174 return bfd_reloc_ok; 1175 } 1176 value += addend; 1177 bfd_put_32 (input_bfd, value, hit_data); 1178 return bfd_reloc_ok; 1179 1180 case R_MN10300_24: 1181 value += addend; 1182 1183 if ((long) value > 0x7fffff || (long) value < -0x800000) 1184 return bfd_reloc_overflow; 1185 1186 bfd_put_8 (input_bfd, value & 0xff, hit_data); 1187 bfd_put_8 (input_bfd, (value >> 8) & 0xff, hit_data + 1); 1188 bfd_put_8 (input_bfd, (value >> 16) & 0xff, hit_data + 2); 1189 return bfd_reloc_ok; 1190 1191 case R_MN10300_16: 1192 value += addend; 1193 1194 if ((long) value > 0x7fff || (long) value < -0x8000) 1195 return bfd_reloc_overflow; 1196 1197 bfd_put_16 (input_bfd, value, hit_data); 1198 return bfd_reloc_ok; 1199 1200 case R_MN10300_8: 1201 value += addend; 1202 1203 if ((long) value > 0x7f || (long) value < -0x80) 1204 return bfd_reloc_overflow; 1205 1206 bfd_put_8 (input_bfd, value, hit_data); 1207 return bfd_reloc_ok; 1208 1209 case R_MN10300_PCREL8: 1210 value -= (input_section->output_section->vma 1211 + input_section->output_offset); 1212 value -= offset; 1213 value += addend; 1214 1215 if ((long) value > 0x7f || (long) value < -0x80) 1216 return bfd_reloc_overflow; 1217 1218 bfd_put_8 (input_bfd, value, hit_data); 1219 return bfd_reloc_ok; 1220 1221 case R_MN10300_PCREL16: 1222 value -= (input_section->output_section->vma 1223 + input_section->output_offset); 1224 value -= offset; 1225 value += addend; 1226 1227 if ((long) value > 0x7fff || (long) value < -0x8000) 1228 return bfd_reloc_overflow; 1229 1230 bfd_put_16 (input_bfd, value, hit_data); 1231 return bfd_reloc_ok; 1232 1233 case R_MN10300_PCREL32: 1234 value -= (input_section->output_section->vma 1235 + input_section->output_offset); 1236 value -= offset; 1237 value += addend; 1238 1239 bfd_put_32 (input_bfd, value, hit_data); 1240 return bfd_reloc_ok; 1241 1242 case R_MN10300_GNU_VTINHERIT: 1243 case R_MN10300_GNU_VTENTRY: 1244 return bfd_reloc_ok; 1245 1246 case R_MN10300_GOTPC32: 1247 /* Use global offset table as symbol value. */ 1248 value = bfd_get_section_by_name (dynobj, 1249 ".got")->output_section->vma; 1250 value -= (input_section->output_section->vma 1251 + input_section->output_offset); 1252 value -= offset; 1253 value += addend; 1254 1255 bfd_put_32 (input_bfd, value, hit_data); 1256 return bfd_reloc_ok; 1257 1258 case R_MN10300_GOTPC16: 1259 /* Use global offset table as symbol value. */ 1260 value = bfd_get_section_by_name (dynobj, 1261 ".got")->output_section->vma; 1262 value -= (input_section->output_section->vma 1263 + input_section->output_offset); 1264 value -= offset; 1265 value += addend; 1266 1267 if ((long) value > 0x7fff || (long) value < -0x8000) 1268 return bfd_reloc_overflow; 1269 1270 bfd_put_16 (input_bfd, value, hit_data); 1271 return bfd_reloc_ok; 1272 1273 case R_MN10300_GOTOFF32: 1274 value -= bfd_get_section_by_name (dynobj, 1275 ".got")->output_section->vma; 1276 value += addend; 1277 1278 bfd_put_32 (input_bfd, value, hit_data); 1279 return bfd_reloc_ok; 1280 1281 case R_MN10300_GOTOFF24: 1282 value -= bfd_get_section_by_name (dynobj, 1283 ".got")->output_section->vma; 1284 value += addend; 1285 1286 if ((long) value > 0x7fffff || (long) value < -0x800000) 1287 return bfd_reloc_overflow; 1288 1289 bfd_put_8 (input_bfd, value, hit_data); 1290 bfd_put_8 (input_bfd, (value >> 8) & 0xff, hit_data + 1); 1291 bfd_put_8 (input_bfd, (value >> 16) & 0xff, hit_data + 2); 1292 return bfd_reloc_ok; 1293 1294 case R_MN10300_GOTOFF16: 1295 value -= bfd_get_section_by_name (dynobj, 1296 ".got")->output_section->vma; 1297 value += addend; 1298 1299 if ((long) value > 0x7fff || (long) value < -0x8000) 1300 return bfd_reloc_overflow; 1301 1302 bfd_put_16 (input_bfd, value, hit_data); 1303 return bfd_reloc_ok; 1304 1305 case R_MN10300_PLT32: 1306 if (h != NULL 1307 && ELF_ST_VISIBILITY (h->other) != STV_INTERNAL 1308 && ELF_ST_VISIBILITY (h->other) != STV_HIDDEN 1309 && h->plt.offset != (bfd_vma) -1) 1310 { 1311 asection * splt; 1312 1313 splt = bfd_get_section_by_name (dynobj, ".plt"); 1314 1315 value = (splt->output_section->vma 1316 + splt->output_offset 1317 + h->plt.offset) - value; 1318 } 1319 1320 value -= (input_section->output_section->vma 1321 + input_section->output_offset); 1322 value -= offset; 1323 value += addend; 1324 1325 bfd_put_32 (input_bfd, value, hit_data); 1326 return bfd_reloc_ok; 1327 1328 case R_MN10300_PLT16: 1329 if (h != NULL 1330 && ELF_ST_VISIBILITY (h->other) != STV_INTERNAL 1331 && ELF_ST_VISIBILITY (h->other) != STV_HIDDEN 1332 && h->plt.offset != (bfd_vma) -1) 1333 { 1334 asection * splt; 1335 1336 splt = bfd_get_section_by_name (dynobj, ".plt"); 1337 1338 value = (splt->output_section->vma 1339 + splt->output_offset 1340 + h->plt.offset) - value; 1341 } 1342 1343 value -= (input_section->output_section->vma 1344 + input_section->output_offset); 1345 value -= offset; 1346 value += addend; 1347 1348 if ((long) value > 0x7fff || (long) value < -0x8000) 1349 return bfd_reloc_overflow; 1350 1351 bfd_put_16 (input_bfd, value, hit_data); 1352 return bfd_reloc_ok; 1353 1354 case R_MN10300_GOT32: 1355 case R_MN10300_GOT24: 1356 case R_MN10300_GOT16: 1357 { 1358 asection * sgot; 1359 1360 sgot = bfd_get_section_by_name (dynobj, ".got"); 1361 1362 if (h != NULL) 1363 { 1364 bfd_vma off; 1365 1366 off = h->got.offset; 1367 BFD_ASSERT (off != (bfd_vma) -1); 1368 1369 if (! elf_hash_table (info)->dynamic_sections_created 1370 || SYMBOL_REFERENCES_LOCAL (info, h)) 1371 /* This is actually a static link, or it is a 1372 -Bsymbolic link and the symbol is defined 1373 locally, or the symbol was forced to be local 1374 because of a version file. We must initialize 1375 this entry in the global offset table. 1376 1377 When doing a dynamic link, we create a .rela.got 1378 relocation entry to initialize the value. This 1379 is done in the finish_dynamic_symbol routine. */ 1380 bfd_put_32 (output_bfd, value, 1381 sgot->contents + off); 1382 1383 value = sgot->output_offset + off; 1384 } 1385 else 1386 { 1387 bfd_vma off; 1388 1389 off = elf_local_got_offsets (input_bfd)[symndx]; 1390 1391 bfd_put_32 (output_bfd, value, sgot->contents + off); 1392 1393 if (info->shared) 1394 { 1395 asection * srelgot; 1396 Elf_Internal_Rela outrel; 1397 1398 srelgot = bfd_get_section_by_name (dynobj, ".rela.got"); 1399 BFD_ASSERT (srelgot != NULL); 1400 1401 outrel.r_offset = (sgot->output_section->vma 1402 + sgot->output_offset 1403 + off); 1404 outrel.r_info = ELF32_R_INFO (0, R_MN10300_RELATIVE); 1405 outrel.r_addend = value; 1406 bfd_elf32_swap_reloca_out (output_bfd, &outrel, 1407 (bfd_byte *) (((Elf32_External_Rela *) 1408 srelgot->contents) 1409 + srelgot->reloc_count)); 1410 ++ srelgot->reloc_count; 1411 } 1412 1413 value = sgot->output_offset + off; 1414 } 1415 } 1416 1417 value += addend; 1418 1419 if (r_type == R_MN10300_GOT32) 1420 { 1421 bfd_put_32 (input_bfd, value, hit_data); 1422 return bfd_reloc_ok; 1423 } 1424 else if (r_type == R_MN10300_GOT24) 1425 { 1426 if ((long) value > 0x7fffff || (long) value < -0x800000) 1427 return bfd_reloc_overflow; 1428 1429 bfd_put_8 (input_bfd, value & 0xff, hit_data); 1430 bfd_put_8 (input_bfd, (value >> 8) & 0xff, hit_data + 1); 1431 bfd_put_8 (input_bfd, (value >> 16) & 0xff, hit_data + 2); 1432 return bfd_reloc_ok; 1433 } 1434 else if (r_type == R_MN10300_GOT16) 1435 { 1436 if ((long) value > 0x7fff || (long) value < -0x8000) 1437 return bfd_reloc_overflow; 1438 1439 bfd_put_16 (input_bfd, value, hit_data); 1440 return bfd_reloc_ok; 1441 } 1442 /* Fall through. */ 1443 1444 default: 1445 return bfd_reloc_notsupported; 1446 } 1447 } 1448 1449 /* Relocate an MN10300 ELF section. */ 1450 1451 static bfd_boolean 1452 mn10300_elf_relocate_section (bfd *output_bfd, 1453 struct bfd_link_info *info, 1454 bfd *input_bfd, 1455 asection *input_section, 1456 bfd_byte *contents, 1457 Elf_Internal_Rela *relocs, 1458 Elf_Internal_Sym *local_syms, 1459 asection **local_sections) 1460 { 1461 Elf_Internal_Shdr *symtab_hdr; 1462 struct elf_link_hash_entry **sym_hashes; 1463 Elf_Internal_Rela *rel, *relend; 1464 1465 symtab_hdr = &elf_tdata (input_bfd)->symtab_hdr; 1466 sym_hashes = elf_sym_hashes (input_bfd); 1467 1468 rel = relocs; 1469 relend = relocs + input_section->reloc_count; 1470 for (; rel < relend; rel++) 1471 { 1472 int r_type; 1473 reloc_howto_type *howto; 1474 unsigned long r_symndx; 1475 Elf_Internal_Sym *sym; 1476 asection *sec; 1477 struct elf32_mn10300_link_hash_entry *h; 1478 bfd_vma relocation; 1479 bfd_reloc_status_type r; 1480 1481 r_symndx = ELF32_R_SYM (rel->r_info); 1482 r_type = ELF32_R_TYPE (rel->r_info); 1483 howto = elf_mn10300_howto_table + r_type; 1484 1485 /* Just skip the vtable gc relocs. */ 1486 if (r_type == R_MN10300_GNU_VTINHERIT 1487 || r_type == R_MN10300_GNU_VTENTRY) 1488 continue; 1489 1490 h = NULL; 1491 sym = NULL; 1492 sec = NULL; 1493 if (r_symndx < symtab_hdr->sh_info) 1494 { 1495 sym = local_syms + r_symndx; 1496 sec = local_sections[r_symndx]; 1497 relocation = _bfd_elf_rela_local_sym (output_bfd, sym, &sec, rel); 1498 } 1499 else 1500 { 1501 bfd_boolean unresolved_reloc; 1502 bfd_boolean warned; 1503 struct elf_link_hash_entry *hh; 1504 1505 RELOC_FOR_GLOBAL_SYMBOL (info, input_bfd, input_section, rel, 1506 r_symndx, symtab_hdr, sym_hashes, 1507 hh, sec, relocation, 1508 unresolved_reloc, warned); 1509 1510 h = (struct elf32_mn10300_link_hash_entry *) hh; 1511 1512 if ((h->root.root.type == bfd_link_hash_defined 1513 || h->root.root.type == bfd_link_hash_defweak) 1514 && ( r_type == R_MN10300_GOTPC32 1515 || r_type == R_MN10300_GOTPC16 1516 || (( r_type == R_MN10300_PLT32 1517 || r_type == R_MN10300_PLT16) 1518 && ELF_ST_VISIBILITY (h->root.other) != STV_INTERNAL 1519 && ELF_ST_VISIBILITY (h->root.other) != STV_HIDDEN 1520 && h->root.plt.offset != (bfd_vma) -1) 1521 || (( r_type == R_MN10300_GOT32 1522 || r_type == R_MN10300_GOT24 1523 || r_type == R_MN10300_GOT16) 1524 && elf_hash_table (info)->dynamic_sections_created 1525 && !SYMBOL_REFERENCES_LOCAL (info, hh)) 1526 || (r_type == R_MN10300_32 1527 /* _32 relocs in executables force _COPY relocs, 1528 such that the address of the symbol ends up 1529 being local. */ 1530 && !info->executable 1531 && !SYMBOL_REFERENCES_LOCAL (info, hh) 1532 && ((input_section->flags & SEC_ALLOC) != 0 1533 /* DWARF will emit R_MN10300_32 relocations 1534 in its sections against symbols defined 1535 externally in shared libraries. We can't 1536 do anything with them here. */ 1537 || ((input_section->flags & SEC_DEBUGGING) != 0 1538 && h->root.def_dynamic))))) 1539 /* In these cases, we don't need the relocation 1540 value. We check specially because in some 1541 obscure cases sec->output_section will be NULL. */ 1542 relocation = 0; 1543 1544 else if (!info->relocatable && unresolved_reloc) 1545 (*_bfd_error_handler) 1546 (_("%B(%A+0x%lx): unresolvable %s relocation against symbol `%s'"), 1547 input_bfd, 1548 input_section, 1549 (long) rel->r_offset, 1550 howto->name, 1551 h->root.root.root.string); 1552 } 1553 1554 if (sec != NULL && elf_discarded_section (sec)) 1555 { 1556 /* For relocs against symbols from removed linkonce sections, 1557 or sections discarded by a linker script, we just want the 1558 section contents zeroed. Avoid any special processing. */ 1559 _bfd_clear_contents (howto, input_bfd, contents + rel->r_offset); 1560 rel->r_info = 0; 1561 rel->r_addend = 0; 1562 continue; 1563 } 1564 1565 if (info->relocatable) 1566 continue; 1567 1568 r = mn10300_elf_final_link_relocate (howto, input_bfd, output_bfd, 1569 input_section, 1570 contents, rel->r_offset, 1571 relocation, rel->r_addend, 1572 (struct elf_link_hash_entry *) h, 1573 r_symndx, 1574 info, sec, h == NULL); 1575 1576 if (r != bfd_reloc_ok) 1577 { 1578 const char *name; 1579 const char *msg = NULL; 1580 1581 if (h != NULL) 1582 name = h->root.root.root.string; 1583 else 1584 { 1585 name = (bfd_elf_string_from_elf_section 1586 (input_bfd, symtab_hdr->sh_link, sym->st_name)); 1587 if (name == NULL || *name == '\0') 1588 name = bfd_section_name (input_bfd, sec); 1589 } 1590 1591 switch (r) 1592 { 1593 case bfd_reloc_overflow: 1594 if (! ((*info->callbacks->reloc_overflow) 1595 (info, (h ? &h->root.root : NULL), name, 1596 howto->name, (bfd_vma) 0, input_bfd, 1597 input_section, rel->r_offset))) 1598 return FALSE; 1599 break; 1600 1601 case bfd_reloc_undefined: 1602 if (! ((*info->callbacks->undefined_symbol) 1603 (info, name, input_bfd, input_section, 1604 rel->r_offset, TRUE))) 1605 return FALSE; 1606 break; 1607 1608 case bfd_reloc_outofrange: 1609 msg = _("internal error: out of range error"); 1610 goto common_error; 1611 1612 case bfd_reloc_notsupported: 1613 msg = _("internal error: unsupported relocation error"); 1614 goto common_error; 1615 1616 case bfd_reloc_dangerous: 1617 if (r_type == R_MN10300_PCREL32) 1618 msg = _("error: inappropriate relocation type for shared" 1619 " library (did you forget -fpic?)"); 1620 else 1621 msg = _("internal error: suspicious relocation type used" 1622 " in shared library"); 1623 goto common_error; 1624 1625 default: 1626 msg = _("internal error: unknown error"); 1627 /* Fall through. */ 1628 1629 common_error: 1630 if (!((*info->callbacks->warning) 1631 (info, msg, name, input_bfd, input_section, 1632 rel->r_offset))) 1633 return FALSE; 1634 break; 1635 } 1636 } 1637 } 1638 1639 return TRUE; 1640 } 1641 1642 /* Finish initializing one hash table entry. */ 1643 1644 static bfd_boolean 1645 elf32_mn10300_finish_hash_table_entry (struct bfd_hash_entry *gen_entry, 1646 void * in_args) 1647 { 1648 struct elf32_mn10300_link_hash_entry *entry; 1649 struct bfd_link_info *link_info = (struct bfd_link_info *) in_args; 1650 unsigned int byte_count = 0; 1651 1652 entry = (struct elf32_mn10300_link_hash_entry *) gen_entry; 1653 1654 if (entry->root.root.type == bfd_link_hash_warning) 1655 entry = (struct elf32_mn10300_link_hash_entry *) entry->root.root.u.i.link; 1656 1657 /* If we already know we want to convert "call" to "calls" for calls 1658 to this symbol, then return now. */ 1659 if (entry->flags == MN10300_CONVERT_CALL_TO_CALLS) 1660 return TRUE; 1661 1662 /* If there are no named calls to this symbol, or there's nothing we 1663 can move from the function itself into the "call" instruction, 1664 then note that all "call" instructions should be converted into 1665 "calls" instructions and return. If a symbol is available for 1666 dynamic symbol resolution (overridable or overriding), avoid 1667 custom calling conventions. */ 1668 if (entry->direct_calls == 0 1669 || (entry->stack_size == 0 && entry->movm_args == 0) 1670 || (elf_hash_table (link_info)->dynamic_sections_created 1671 && ELF_ST_VISIBILITY (entry->root.other) != STV_INTERNAL 1672 && ELF_ST_VISIBILITY (entry->root.other) != STV_HIDDEN)) 1673 { 1674 /* Make a note that we should convert "call" instructions to "calls" 1675 instructions for calls to this symbol. */ 1676 entry->flags |= MN10300_CONVERT_CALL_TO_CALLS; 1677 return TRUE; 1678 } 1679 1680 /* We may be able to move some instructions from the function itself into 1681 the "call" instruction. Count how many bytes we might be able to 1682 eliminate in the function itself. */ 1683 1684 /* A movm instruction is two bytes. */ 1685 if (entry->movm_args) 1686 byte_count += 2; 1687 1688 /* Count the insn to allocate stack space too. */ 1689 if (entry->stack_size > 0) 1690 { 1691 if (entry->stack_size <= 128) 1692 byte_count += 3; 1693 else 1694 byte_count += 4; 1695 } 1696 1697 /* If using "call" will result in larger code, then turn all 1698 the associated "call" instructions into "calls" instructions. */ 1699 if (byte_count < entry->direct_calls) 1700 entry->flags |= MN10300_CONVERT_CALL_TO_CALLS; 1701 1702 /* This routine never fails. */ 1703 return TRUE; 1704 } 1705 1706 /* Used to count hash table entries. */ 1707 1708 static bfd_boolean 1709 elf32_mn10300_count_hash_table_entries (struct bfd_hash_entry *gen_entry ATTRIBUTE_UNUSED, 1710 void * in_args) 1711 { 1712 int *count = (int *) in_args; 1713 1714 (*count) ++; 1715 return TRUE; 1716 } 1717 1718 /* Used to enumerate hash table entries into a linear array. */ 1719 1720 static bfd_boolean 1721 elf32_mn10300_list_hash_table_entries (struct bfd_hash_entry *gen_entry, 1722 void * in_args) 1723 { 1724 struct bfd_hash_entry ***ptr = (struct bfd_hash_entry ***) in_args; 1725 1726 **ptr = gen_entry; 1727 (*ptr) ++; 1728 return TRUE; 1729 } 1730 1731 /* Used to sort the array created by the above. */ 1732 1733 static int 1734 sort_by_value (const void *va, const void *vb) 1735 { 1736 struct elf32_mn10300_link_hash_entry *a 1737 = *(struct elf32_mn10300_link_hash_entry **) va; 1738 struct elf32_mn10300_link_hash_entry *b 1739 = *(struct elf32_mn10300_link_hash_entry **) vb; 1740 1741 return a->value - b->value; 1742 } 1743 1744 /* Compute the stack size and movm arguments for the function 1745 referred to by HASH at address ADDR in section with 1746 contents CONTENTS, store the information in the hash table. */ 1747 1748 static void 1749 compute_function_info (bfd *abfd, 1750 struct elf32_mn10300_link_hash_entry *hash, 1751 bfd_vma addr, 1752 unsigned char *contents) 1753 { 1754 unsigned char byte1, byte2; 1755 /* We only care about a very small subset of the possible prologue 1756 sequences here. Basically we look for: 1757 1758 movm [d2,d3,a2,a3],sp (optional) 1759 add <size>,sp (optional, and only for sizes which fit in an unsigned 1760 8 bit number) 1761 1762 If we find anything else, we quit. */ 1763 1764 /* Look for movm [regs],sp. */ 1765 byte1 = bfd_get_8 (abfd, contents + addr); 1766 byte2 = bfd_get_8 (abfd, contents + addr + 1); 1767 1768 if (byte1 == 0xcf) 1769 { 1770 hash->movm_args = byte2; 1771 addr += 2; 1772 byte1 = bfd_get_8 (abfd, contents + addr); 1773 byte2 = bfd_get_8 (abfd, contents + addr + 1); 1774 } 1775 1776 /* Now figure out how much stack space will be allocated by the movm 1777 instruction. We need this kept separate from the function's normal 1778 stack space. */ 1779 if (hash->movm_args) 1780 { 1781 /* Space for d2. */ 1782 if (hash->movm_args & 0x80) 1783 hash->movm_stack_size += 4; 1784 1785 /* Space for d3. */ 1786 if (hash->movm_args & 0x40) 1787 hash->movm_stack_size += 4; 1788 1789 /* Space for a2. */ 1790 if (hash->movm_args & 0x20) 1791 hash->movm_stack_size += 4; 1792 1793 /* Space for a3. */ 1794 if (hash->movm_args & 0x10) 1795 hash->movm_stack_size += 4; 1796 1797 /* "other" space. d0, d1, a0, a1, mdr, lir, lar, 4 byte pad. */ 1798 if (hash->movm_args & 0x08) 1799 hash->movm_stack_size += 8 * 4; 1800 1801 if (bfd_get_mach (abfd) == bfd_mach_am33 1802 || bfd_get_mach (abfd) == bfd_mach_am33_2) 1803 { 1804 /* "exother" space. e0, e1, mdrq, mcrh, mcrl, mcvf */ 1805 if (hash->movm_args & 0x1) 1806 hash->movm_stack_size += 6 * 4; 1807 1808 /* exreg1 space. e4, e5, e6, e7 */ 1809 if (hash->movm_args & 0x2) 1810 hash->movm_stack_size += 4 * 4; 1811 1812 /* exreg0 space. e2, e3 */ 1813 if (hash->movm_args & 0x4) 1814 hash->movm_stack_size += 2 * 4; 1815 } 1816 } 1817 1818 /* Now look for the two stack adjustment variants. */ 1819 if (byte1 == 0xf8 && byte2 == 0xfe) 1820 { 1821 int temp = bfd_get_8 (abfd, contents + addr + 2); 1822 temp = ((temp & 0xff) ^ (~0x7f)) + 0x80; 1823 1824 hash->stack_size = -temp; 1825 } 1826 else if (byte1 == 0xfa && byte2 == 0xfe) 1827 { 1828 int temp = bfd_get_16 (abfd, contents + addr + 2); 1829 temp = ((temp & 0xffff) ^ (~0x7fff)) + 0x8000; 1830 temp = -temp; 1831 1832 if (temp < 255) 1833 hash->stack_size = temp; 1834 } 1835 1836 /* If the total stack to be allocated by the call instruction is more 1837 than 255 bytes, then we can't remove the stack adjustment by using 1838 "call" (we might still be able to remove the "movm" instruction. */ 1839 if (hash->stack_size + hash->movm_stack_size > 255) 1840 hash->stack_size = 0; 1841 } 1842 1843 /* Delete some bytes from a section while relaxing. */ 1844 1845 static bfd_boolean 1846 mn10300_elf_relax_delete_bytes (bfd *abfd, 1847 asection *sec, 1848 bfd_vma addr, 1849 int count) 1850 { 1851 Elf_Internal_Shdr *symtab_hdr; 1852 unsigned int sec_shndx; 1853 bfd_byte *contents; 1854 Elf_Internal_Rela *irel, *irelend; 1855 Elf_Internal_Rela *irelalign; 1856 bfd_vma toaddr; 1857 Elf_Internal_Sym *isym, *isymend; 1858 struct elf_link_hash_entry **sym_hashes; 1859 struct elf_link_hash_entry **end_hashes; 1860 unsigned int symcount; 1861 1862 sec_shndx = _bfd_elf_section_from_bfd_section (abfd, sec); 1863 1864 contents = elf_section_data (sec)->this_hdr.contents; 1865 1866 irelalign = NULL; 1867 toaddr = sec->size; 1868 1869 irel = elf_section_data (sec)->relocs; 1870 irelend = irel + sec->reloc_count; 1871 1872 if (sec->reloc_count > 0) 1873 { 1874 /* If there is an align reloc at the end of the section ignore it. 1875 GAS creates these relocs for reasons of its own, and they just 1876 serve to keep the section artifically inflated. */ 1877 if (ELF32_R_TYPE ((irelend - 1)->r_info) == (int) R_MN10300_ALIGN) 1878 --irelend; 1879 1880 /* The deletion must stop at the next ALIGN reloc for an aligment 1881 power larger than, or not a multiple of, the number of bytes we 1882 are deleting. */ 1883 for (; irel < irelend; irel++) 1884 { 1885 int alignment = 1 << irel->r_addend; 1886 1887 if (ELF32_R_TYPE (irel->r_info) == (int) R_MN10300_ALIGN 1888 && irel->r_offset > addr 1889 && irel->r_offset < toaddr 1890 && (count < alignment 1891 || alignment % count != 0)) 1892 { 1893 irelalign = irel; 1894 toaddr = irel->r_offset; 1895 break; 1896 } 1897 } 1898 } 1899 1900 /* Actually delete the bytes. */ 1901 memmove (contents + addr, contents + addr + count, 1902 (size_t) (toaddr - addr - count)); 1903 1904 /* Adjust the section's size if we are shrinking it, or else 1905 pad the bytes between the end of the shrunken region and 1906 the start of the next region with NOP codes. */ 1907 if (irelalign == NULL) 1908 { 1909 sec->size -= count; 1910 /* Include symbols at the end of the section, but 1911 not at the end of a sub-region of the section. */ 1912 toaddr ++; 1913 } 1914 else 1915 { 1916 int i; 1917 1918 #define NOP_OPCODE 0xcb 1919 1920 for (i = 0; i < count; i ++) 1921 bfd_put_8 (abfd, (bfd_vma) NOP_OPCODE, contents + toaddr - count + i); 1922 } 1923 1924 /* Adjust all the relocs. */ 1925 for (irel = elf_section_data (sec)->relocs; irel < irelend; irel++) 1926 { 1927 /* Get the new reloc address. */ 1928 if ((irel->r_offset > addr 1929 && irel->r_offset < toaddr) 1930 || (ELF32_R_TYPE (irel->r_info) == (int) R_MN10300_ALIGN 1931 && irel->r_offset == toaddr)) 1932 irel->r_offset -= count; 1933 } 1934 1935 /* Adjust the local symbols in the section, reducing their value 1936 by the number of bytes deleted. Note - symbols within the deleted 1937 region are moved to the address of the start of the region, which 1938 actually means that they will address the byte beyond the end of 1939 the region once the deletion has been completed. */ 1940 symtab_hdr = &elf_tdata (abfd)->symtab_hdr; 1941 isym = (Elf_Internal_Sym *) symtab_hdr->contents; 1942 for (isymend = isym + symtab_hdr->sh_info; isym < isymend; isym++) 1943 { 1944 if (isym->st_shndx == sec_shndx 1945 && isym->st_value > addr 1946 && isym->st_value < toaddr) 1947 { 1948 if (isym->st_value < addr + count) 1949 isym->st_value = addr; 1950 else 1951 isym->st_value -= count; 1952 } 1953 /* Adjust the function symbol's size as well. */ 1954 else if (isym->st_shndx == sec_shndx 1955 && ELF_ST_TYPE (isym->st_info) == STT_FUNC 1956 && isym->st_value + isym->st_size > addr 1957 && isym->st_value + isym->st_size < toaddr) 1958 isym->st_size -= count; 1959 } 1960 1961 /* Now adjust the global symbols defined in this section. */ 1962 symcount = (symtab_hdr->sh_size / sizeof (Elf32_External_Sym) 1963 - symtab_hdr->sh_info); 1964 sym_hashes = elf_sym_hashes (abfd); 1965 end_hashes = sym_hashes + symcount; 1966 for (; sym_hashes < end_hashes; sym_hashes++) 1967 { 1968 struct elf_link_hash_entry *sym_hash = *sym_hashes; 1969 1970 if ((sym_hash->root.type == bfd_link_hash_defined 1971 || sym_hash->root.type == bfd_link_hash_defweak) 1972 && sym_hash->root.u.def.section == sec 1973 && sym_hash->root.u.def.value > addr 1974 && sym_hash->root.u.def.value < toaddr) 1975 { 1976 if (sym_hash->root.u.def.value < addr + count) 1977 sym_hash->root.u.def.value = addr; 1978 else 1979 sym_hash->root.u.def.value -= count; 1980 } 1981 /* Adjust the function symbol's size as well. */ 1982 else if (sym_hash->root.type == bfd_link_hash_defined 1983 && sym_hash->root.u.def.section == sec 1984 && sym_hash->type == STT_FUNC 1985 && sym_hash->root.u.def.value + sym_hash->size > addr 1986 && sym_hash->root.u.def.value + sym_hash->size < toaddr) 1987 sym_hash->size -= count; 1988 } 1989 1990 /* See if we can move the ALIGN reloc forward. 1991 We have adjusted r_offset for it already. */ 1992 if (irelalign != NULL) 1993 { 1994 bfd_vma alignto, alignaddr; 1995 1996 if ((int) irelalign->r_addend > 0) 1997 { 1998 /* This is the old address. */ 1999 alignto = BFD_ALIGN (toaddr, 1 << irelalign->r_addend); 2000 /* This is where the align points to now. */ 2001 alignaddr = BFD_ALIGN (irelalign->r_offset, 2002 1 << irelalign->r_addend); 2003 if (alignaddr < alignto) 2004 /* Tail recursion. */ 2005 return mn10300_elf_relax_delete_bytes (abfd, sec, alignaddr, 2006 (int) (alignto - alignaddr)); 2007 } 2008 } 2009 2010 return TRUE; 2011 } 2012 2013 /* Return TRUE if a symbol exists at the given address, else return 2014 FALSE. */ 2015 2016 static bfd_boolean 2017 mn10300_elf_symbol_address_p (bfd *abfd, 2018 asection *sec, 2019 Elf_Internal_Sym *isym, 2020 bfd_vma addr) 2021 { 2022 Elf_Internal_Shdr *symtab_hdr; 2023 unsigned int sec_shndx; 2024 Elf_Internal_Sym *isymend; 2025 struct elf_link_hash_entry **sym_hashes; 2026 struct elf_link_hash_entry **end_hashes; 2027 unsigned int symcount; 2028 2029 sec_shndx = _bfd_elf_section_from_bfd_section (abfd, sec); 2030 2031 /* Examine all the symbols. */ 2032 symtab_hdr = &elf_tdata (abfd)->symtab_hdr; 2033 for (isymend = isym + symtab_hdr->sh_info; isym < isymend; isym++) 2034 if (isym->st_shndx == sec_shndx 2035 && isym->st_value == addr) 2036 return TRUE; 2037 2038 symcount = (symtab_hdr->sh_size / sizeof (Elf32_External_Sym) 2039 - symtab_hdr->sh_info); 2040 sym_hashes = elf_sym_hashes (abfd); 2041 end_hashes = sym_hashes + symcount; 2042 for (; sym_hashes < end_hashes; sym_hashes++) 2043 { 2044 struct elf_link_hash_entry *sym_hash = *sym_hashes; 2045 2046 if ((sym_hash->root.type == bfd_link_hash_defined 2047 || sym_hash->root.type == bfd_link_hash_defweak) 2048 && sym_hash->root.u.def.section == sec 2049 && sym_hash->root.u.def.value == addr) 2050 return TRUE; 2051 } 2052 2053 return FALSE; 2054 } 2055 2056 /* This function handles relaxing for the mn10300. 2057 2058 There are quite a few relaxing opportunities available on the mn10300: 2059 2060 * calls:32 -> calls:16 2 bytes 2061 * call:32 -> call:16 2 bytes 2062 2063 * call:32 -> calls:32 1 byte 2064 * call:16 -> calls:16 1 byte 2065 * These are done anytime using "calls" would result 2066 in smaller code, or when necessary to preserve the 2067 meaning of the program. 2068 2069 * call:32 varies 2070 * call:16 2071 * In some circumstances we can move instructions 2072 from a function prologue into a "call" instruction. 2073 This is only done if the resulting code is no larger 2074 than the original code. 2075 2076 * jmp:32 -> jmp:16 2 bytes 2077 * jmp:16 -> bra:8 1 byte 2078 2079 * If the previous instruction is a conditional branch 2080 around the jump/bra, we may be able to reverse its condition 2081 and change its target to the jump's target. The jump/bra 2082 can then be deleted. 2 bytes 2083 2084 * mov abs32 -> mov abs16 1 or 2 bytes 2085 2086 * Most instructions which accept imm32 can relax to imm16 1 or 2 bytes 2087 - Most instructions which accept imm16 can relax to imm8 1 or 2 bytes 2088 2089 * Most instructions which accept d32 can relax to d16 1 or 2 bytes 2090 - Most instructions which accept d16 can relax to d8 1 or 2 bytes 2091 2092 We don't handle imm16->imm8 or d16->d8 as they're very rare 2093 and somewhat more difficult to support. */ 2094 2095 static bfd_boolean 2096 mn10300_elf_relax_section (bfd *abfd, 2097 asection *sec, 2098 struct bfd_link_info *link_info, 2099 bfd_boolean *again) 2100 { 2101 Elf_Internal_Shdr *symtab_hdr; 2102 Elf_Internal_Rela *internal_relocs = NULL; 2103 Elf_Internal_Rela *irel, *irelend; 2104 bfd_byte *contents = NULL; 2105 Elf_Internal_Sym *isymbuf = NULL; 2106 struct elf32_mn10300_link_hash_table *hash_table; 2107 asection *section = sec; 2108 bfd_vma align_gap_adjustment; 2109 2110 /* Assume nothing changes. */ 2111 *again = FALSE; 2112 2113 /* We need a pointer to the mn10300 specific hash table. */ 2114 hash_table = elf32_mn10300_hash_table (link_info); 2115 2116 /* Initialize fields in each hash table entry the first time through. */ 2117 if ((hash_table->flags & MN10300_HASH_ENTRIES_INITIALIZED) == 0) 2118 { 2119 bfd *input_bfd; 2120 2121 /* Iterate over all the input bfds. */ 2122 for (input_bfd = link_info->input_bfds; 2123 input_bfd != NULL; 2124 input_bfd = input_bfd->link_next) 2125 { 2126 /* We're going to need all the symbols for each bfd. */ 2127 symtab_hdr = &elf_tdata (input_bfd)->symtab_hdr; 2128 if (symtab_hdr->sh_info != 0) 2129 { 2130 isymbuf = (Elf_Internal_Sym *) symtab_hdr->contents; 2131 if (isymbuf == NULL) 2132 isymbuf = bfd_elf_get_elf_syms (input_bfd, symtab_hdr, 2133 symtab_hdr->sh_info, 0, 2134 NULL, NULL, NULL); 2135 if (isymbuf == NULL) 2136 goto error_return; 2137 } 2138 2139 /* Iterate over each section in this bfd. */ 2140 for (section = input_bfd->sections; 2141 section != NULL; 2142 section = section->next) 2143 { 2144 struct elf32_mn10300_link_hash_entry *hash; 2145 Elf_Internal_Sym *sym; 2146 asection *sym_sec = NULL; 2147 const char *sym_name; 2148 char *new_name; 2149 2150 /* If there's nothing to do in this section, skip it. */ 2151 if (! ((section->flags & SEC_RELOC) != 0 2152 && section->reloc_count != 0)) 2153 continue; 2154 if ((section->flags & SEC_ALLOC) == 0) 2155 continue; 2156 2157 /* Get cached copy of section contents if it exists. */ 2158 if (elf_section_data (section)->this_hdr.contents != NULL) 2159 contents = elf_section_data (section)->this_hdr.contents; 2160 else if (section->size != 0) 2161 { 2162 /* Go get them off disk. */ 2163 if (!bfd_malloc_and_get_section (input_bfd, section, 2164 &contents)) 2165 goto error_return; 2166 } 2167 else 2168 contents = NULL; 2169 2170 /* If there aren't any relocs, then there's nothing to do. */ 2171 if ((section->flags & SEC_RELOC) != 0 2172 && section->reloc_count != 0) 2173 { 2174 /* Get a copy of the native relocations. */ 2175 internal_relocs = _bfd_elf_link_read_relocs (input_bfd, section, 2176 NULL, NULL, 2177 link_info->keep_memory); 2178 if (internal_relocs == NULL) 2179 goto error_return; 2180 2181 /* Now examine each relocation. */ 2182 irel = internal_relocs; 2183 irelend = irel + section->reloc_count; 2184 for (; irel < irelend; irel++) 2185 { 2186 long r_type; 2187 unsigned long r_index; 2188 unsigned char code; 2189 2190 r_type = ELF32_R_TYPE (irel->r_info); 2191 r_index = ELF32_R_SYM (irel->r_info); 2192 2193 if (r_type < 0 || r_type >= (int) R_MN10300_MAX) 2194 goto error_return; 2195 2196 /* We need the name and hash table entry of the target 2197 symbol! */ 2198 hash = NULL; 2199 sym = NULL; 2200 sym_sec = NULL; 2201 2202 if (r_index < symtab_hdr->sh_info) 2203 { 2204 /* A local symbol. */ 2205 Elf_Internal_Sym *isym; 2206 struct elf_link_hash_table *elftab; 2207 bfd_size_type amt; 2208 2209 isym = isymbuf + r_index; 2210 if (isym->st_shndx == SHN_UNDEF) 2211 sym_sec = bfd_und_section_ptr; 2212 else if (isym->st_shndx == SHN_ABS) 2213 sym_sec = bfd_abs_section_ptr; 2214 else if (isym->st_shndx == SHN_COMMON) 2215 sym_sec = bfd_com_section_ptr; 2216 else 2217 sym_sec 2218 = bfd_section_from_elf_index (input_bfd, 2219 isym->st_shndx); 2220 2221 sym_name 2222 = bfd_elf_string_from_elf_section (input_bfd, 2223 (symtab_hdr 2224 ->sh_link), 2225 isym->st_name); 2226 2227 /* If it isn't a function, then we don't care 2228 about it. */ 2229 if (ELF_ST_TYPE (isym->st_info) != STT_FUNC) 2230 continue; 2231 2232 /* Tack on an ID so we can uniquely identify this 2233 local symbol in the global hash table. */ 2234 amt = strlen (sym_name) + 10; 2235 new_name = bfd_malloc (amt); 2236 if (new_name == NULL) 2237 goto error_return; 2238 2239 sprintf (new_name, "%s_%08x", sym_name, sym_sec->id); 2240 sym_name = new_name; 2241 2242 elftab = &hash_table->static_hash_table->root; 2243 hash = ((struct elf32_mn10300_link_hash_entry *) 2244 elf_link_hash_lookup (elftab, sym_name, 2245 TRUE, TRUE, FALSE)); 2246 free (new_name); 2247 } 2248 else 2249 { 2250 r_index -= symtab_hdr->sh_info; 2251 hash = (struct elf32_mn10300_link_hash_entry *) 2252 elf_sym_hashes (input_bfd)[r_index]; 2253 } 2254 2255 sym_name = hash->root.root.root.string; 2256 if ((section->flags & SEC_CODE) != 0) 2257 { 2258 /* If this is not a "call" instruction, then we 2259 should convert "call" instructions to "calls" 2260 instructions. */ 2261 code = bfd_get_8 (input_bfd, 2262 contents + irel->r_offset - 1); 2263 if (code != 0xdd && code != 0xcd) 2264 hash->flags |= MN10300_CONVERT_CALL_TO_CALLS; 2265 } 2266 2267 /* If this is a jump/call, then bump the 2268 direct_calls counter. Else force "call" to 2269 "calls" conversions. */ 2270 if (r_type == R_MN10300_PCREL32 2271 || r_type == R_MN10300_PLT32 2272 || r_type == R_MN10300_PLT16 2273 || r_type == R_MN10300_PCREL16) 2274 hash->direct_calls++; 2275 else 2276 hash->flags |= MN10300_CONVERT_CALL_TO_CALLS; 2277 } 2278 } 2279 2280 /* Now look at the actual contents to get the stack size, 2281 and a list of what registers were saved in the prologue 2282 (ie movm_args). */ 2283 if ((section->flags & SEC_CODE) != 0) 2284 { 2285 Elf_Internal_Sym *isym, *isymend; 2286 unsigned int sec_shndx; 2287 struct elf_link_hash_entry **hashes; 2288 struct elf_link_hash_entry **end_hashes; 2289 unsigned int symcount; 2290 2291 sec_shndx = _bfd_elf_section_from_bfd_section (input_bfd, 2292 section); 2293 2294 symcount = (symtab_hdr->sh_size / sizeof (Elf32_External_Sym) 2295 - symtab_hdr->sh_info); 2296 hashes = elf_sym_hashes (input_bfd); 2297 end_hashes = hashes + symcount; 2298 2299 /* Look at each function defined in this section and 2300 update info for that function. */ 2301 isymend = isymbuf + symtab_hdr->sh_info; 2302 for (isym = isymbuf; isym < isymend; isym++) 2303 { 2304 if (isym->st_shndx == sec_shndx 2305 && ELF_ST_TYPE (isym->st_info) == STT_FUNC) 2306 { 2307 struct elf_link_hash_table *elftab; 2308 bfd_size_type amt; 2309 struct elf_link_hash_entry **lhashes = hashes; 2310 2311 /* Skip a local symbol if it aliases a 2312 global one. */ 2313 for (; lhashes < end_hashes; lhashes++) 2314 { 2315 hash = (struct elf32_mn10300_link_hash_entry *) *lhashes; 2316 if ((hash->root.root.type == bfd_link_hash_defined 2317 || hash->root.root.type == bfd_link_hash_defweak) 2318 && hash->root.root.u.def.section == section 2319 && hash->root.type == STT_FUNC 2320 && hash->root.root.u.def.value == isym->st_value) 2321 break; 2322 } 2323 if (lhashes != end_hashes) 2324 continue; 2325 2326 if (isym->st_shndx == SHN_UNDEF) 2327 sym_sec = bfd_und_section_ptr; 2328 else if (isym->st_shndx == SHN_ABS) 2329 sym_sec = bfd_abs_section_ptr; 2330 else if (isym->st_shndx == SHN_COMMON) 2331 sym_sec = bfd_com_section_ptr; 2332 else 2333 sym_sec 2334 = bfd_section_from_elf_index (input_bfd, 2335 isym->st_shndx); 2336 2337 sym_name = (bfd_elf_string_from_elf_section 2338 (input_bfd, symtab_hdr->sh_link, 2339 isym->st_name)); 2340 2341 /* Tack on an ID so we can uniquely identify this 2342 local symbol in the global hash table. */ 2343 amt = strlen (sym_name) + 10; 2344 new_name = bfd_malloc (amt); 2345 if (new_name == NULL) 2346 goto error_return; 2347 2348 sprintf (new_name, "%s_%08x", sym_name, sym_sec->id); 2349 sym_name = new_name; 2350 2351 elftab = &hash_table->static_hash_table->root; 2352 hash = ((struct elf32_mn10300_link_hash_entry *) 2353 elf_link_hash_lookup (elftab, sym_name, 2354 TRUE, TRUE, FALSE)); 2355 free (new_name); 2356 compute_function_info (input_bfd, hash, 2357 isym->st_value, contents); 2358 hash->value = isym->st_value; 2359 } 2360 } 2361 2362 for (; hashes < end_hashes; hashes++) 2363 { 2364 hash = (struct elf32_mn10300_link_hash_entry *) *hashes; 2365 if ((hash->root.root.type == bfd_link_hash_defined 2366 || hash->root.root.type == bfd_link_hash_defweak) 2367 && hash->root.root.u.def.section == section 2368 && hash->root.type == STT_FUNC) 2369 compute_function_info (input_bfd, hash, 2370 (hash)->root.root.u.def.value, 2371 contents); 2372 } 2373 } 2374 2375 /* Cache or free any memory we allocated for the relocs. */ 2376 if (internal_relocs != NULL 2377 && elf_section_data (section)->relocs != internal_relocs) 2378 free (internal_relocs); 2379 internal_relocs = NULL; 2380 2381 /* Cache or free any memory we allocated for the contents. */ 2382 if (contents != NULL 2383 && elf_section_data (section)->this_hdr.contents != contents) 2384 { 2385 if (! link_info->keep_memory) 2386 free (contents); 2387 else 2388 { 2389 /* Cache the section contents for elf_link_input_bfd. */ 2390 elf_section_data (section)->this_hdr.contents = contents; 2391 } 2392 } 2393 contents = NULL; 2394 } 2395 2396 /* Cache or free any memory we allocated for the symbols. */ 2397 if (isymbuf != NULL 2398 && symtab_hdr->contents != (unsigned char *) isymbuf) 2399 { 2400 if (! link_info->keep_memory) 2401 free (isymbuf); 2402 else 2403 { 2404 /* Cache the symbols for elf_link_input_bfd. */ 2405 symtab_hdr->contents = (unsigned char *) isymbuf; 2406 } 2407 } 2408 isymbuf = NULL; 2409 } 2410 2411 /* Now iterate on each symbol in the hash table and perform 2412 the final initialization steps on each. */ 2413 elf32_mn10300_link_hash_traverse (hash_table, 2414 elf32_mn10300_finish_hash_table_entry, 2415 link_info); 2416 elf32_mn10300_link_hash_traverse (hash_table->static_hash_table, 2417 elf32_mn10300_finish_hash_table_entry, 2418 link_info); 2419 2420 { 2421 /* This section of code collects all our local symbols, sorts 2422 them by value, and looks for multiple symbols referring to 2423 the same address. For those symbols, the flags are merged. 2424 At this point, the only flag that can be set is 2425 MN10300_CONVERT_CALL_TO_CALLS, so we simply OR the flags 2426 together. */ 2427 int static_count = 0, i; 2428 struct elf32_mn10300_link_hash_entry **entries; 2429 struct elf32_mn10300_link_hash_entry **ptr; 2430 2431 elf32_mn10300_link_hash_traverse (hash_table->static_hash_table, 2432 elf32_mn10300_count_hash_table_entries, 2433 &static_count); 2434 2435 entries = bfd_malloc (static_count * sizeof (* ptr)); 2436 2437 ptr = entries; 2438 elf32_mn10300_link_hash_traverse (hash_table->static_hash_table, 2439 elf32_mn10300_list_hash_table_entries, 2440 & ptr); 2441 2442 qsort (entries, static_count, sizeof (entries[0]), sort_by_value); 2443 2444 for (i = 0; i < static_count - 1; i++) 2445 if (entries[i]->value && entries[i]->value == entries[i+1]->value) 2446 { 2447 int v = entries[i]->flags; 2448 int j; 2449 2450 for (j = i + 1; j < static_count && entries[j]->value == entries[i]->value; j++) 2451 v |= entries[j]->flags; 2452 2453 for (j = i; j < static_count && entries[j]->value == entries[i]->value; j++) 2454 entries[j]->flags = v; 2455 2456 i = j - 1; 2457 } 2458 } 2459 2460 /* All entries in the hash table are fully initialized. */ 2461 hash_table->flags |= MN10300_HASH_ENTRIES_INITIALIZED; 2462 2463 /* Now that everything has been initialized, go through each 2464 code section and delete any prologue insns which will be 2465 redundant because their operations will be performed by 2466 a "call" instruction. */ 2467 for (input_bfd = link_info->input_bfds; 2468 input_bfd != NULL; 2469 input_bfd = input_bfd->link_next) 2470 { 2471 /* We're going to need all the local symbols for each bfd. */ 2472 symtab_hdr = &elf_tdata (input_bfd)->symtab_hdr; 2473 if (symtab_hdr->sh_info != 0) 2474 { 2475 isymbuf = (Elf_Internal_Sym *) symtab_hdr->contents; 2476 if (isymbuf == NULL) 2477 isymbuf = bfd_elf_get_elf_syms (input_bfd, symtab_hdr, 2478 symtab_hdr->sh_info, 0, 2479 NULL, NULL, NULL); 2480 if (isymbuf == NULL) 2481 goto error_return; 2482 } 2483 2484 /* Walk over each section in this bfd. */ 2485 for (section = input_bfd->sections; 2486 section != NULL; 2487 section = section->next) 2488 { 2489 unsigned int sec_shndx; 2490 Elf_Internal_Sym *isym, *isymend; 2491 struct elf_link_hash_entry **hashes; 2492 struct elf_link_hash_entry **end_hashes; 2493 unsigned int symcount; 2494 2495 /* Skip non-code sections and empty sections. */ 2496 if ((section->flags & SEC_CODE) == 0 || section->size == 0) 2497 continue; 2498 2499 if (section->reloc_count != 0) 2500 { 2501 /* Get a copy of the native relocations. */ 2502 internal_relocs = _bfd_elf_link_read_relocs (input_bfd, section, 2503 NULL, NULL, 2504 link_info->keep_memory); 2505 if (internal_relocs == NULL) 2506 goto error_return; 2507 } 2508 2509 /* Get cached copy of section contents if it exists. */ 2510 if (elf_section_data (section)->this_hdr.contents != NULL) 2511 contents = elf_section_data (section)->this_hdr.contents; 2512 else 2513 { 2514 /* Go get them off disk. */ 2515 if (!bfd_malloc_and_get_section (input_bfd, section, 2516 &contents)) 2517 goto error_return; 2518 } 2519 2520 sec_shndx = _bfd_elf_section_from_bfd_section (input_bfd, 2521 section); 2522 2523 /* Now look for any function in this section which needs 2524 insns deleted from its prologue. */ 2525 isymend = isymbuf + symtab_hdr->sh_info; 2526 for (isym = isymbuf; isym < isymend; isym++) 2527 { 2528 struct elf32_mn10300_link_hash_entry *sym_hash; 2529 asection *sym_sec = NULL; 2530 const char *sym_name; 2531 char *new_name; 2532 struct elf_link_hash_table *elftab; 2533 bfd_size_type amt; 2534 2535 if (isym->st_shndx != sec_shndx) 2536 continue; 2537 2538 if (isym->st_shndx == SHN_UNDEF) 2539 sym_sec = bfd_und_section_ptr; 2540 else if (isym->st_shndx == SHN_ABS) 2541 sym_sec = bfd_abs_section_ptr; 2542 else if (isym->st_shndx == SHN_COMMON) 2543 sym_sec = bfd_com_section_ptr; 2544 else 2545 sym_sec 2546 = bfd_section_from_elf_index (input_bfd, isym->st_shndx); 2547 2548 sym_name 2549 = bfd_elf_string_from_elf_section (input_bfd, 2550 symtab_hdr->sh_link, 2551 isym->st_name); 2552 2553 /* Tack on an ID so we can uniquely identify this 2554 local symbol in the global hash table. */ 2555 amt = strlen (sym_name) + 10; 2556 new_name = bfd_malloc (amt); 2557 if (new_name == NULL) 2558 goto error_return; 2559 sprintf (new_name, "%s_%08x", sym_name, sym_sec->id); 2560 sym_name = new_name; 2561 2562 elftab = & hash_table->static_hash_table->root; 2563 sym_hash = (struct elf32_mn10300_link_hash_entry *) 2564 elf_link_hash_lookup (elftab, sym_name, 2565 FALSE, FALSE, FALSE); 2566 2567 free (new_name); 2568 if (sym_hash == NULL) 2569 continue; 2570 2571 if (! (sym_hash->flags & MN10300_CONVERT_CALL_TO_CALLS) 2572 && ! (sym_hash->flags & MN10300_DELETED_PROLOGUE_BYTES)) 2573 { 2574 int bytes = 0; 2575 2576 /* Note that we've changed things. */ 2577 elf_section_data (section)->relocs = internal_relocs; 2578 elf_section_data (section)->this_hdr.contents = contents; 2579 symtab_hdr->contents = (unsigned char *) isymbuf; 2580 2581 /* Count how many bytes we're going to delete. */ 2582 if (sym_hash->movm_args) 2583 bytes += 2; 2584 2585 if (sym_hash->stack_size > 0) 2586 { 2587 if (sym_hash->stack_size <= 128) 2588 bytes += 3; 2589 else 2590 bytes += 4; 2591 } 2592 2593 /* Note that we've deleted prologue bytes for this 2594 function. */ 2595 sym_hash->flags |= MN10300_DELETED_PROLOGUE_BYTES; 2596 2597 /* Actually delete the bytes. */ 2598 if (!mn10300_elf_relax_delete_bytes (input_bfd, 2599 section, 2600 isym->st_value, 2601 bytes)) 2602 goto error_return; 2603 2604 /* Something changed. Not strictly necessary, but 2605 may lead to more relaxing opportunities. */ 2606 *again = TRUE; 2607 } 2608 } 2609 2610 /* Look for any global functions in this section which 2611 need insns deleted from their prologues. */ 2612 symcount = (symtab_hdr->sh_size / sizeof (Elf32_External_Sym) 2613 - symtab_hdr->sh_info); 2614 hashes = elf_sym_hashes (input_bfd); 2615 end_hashes = hashes + symcount; 2616 for (; hashes < end_hashes; hashes++) 2617 { 2618 struct elf32_mn10300_link_hash_entry *sym_hash; 2619 2620 sym_hash = (struct elf32_mn10300_link_hash_entry *) *hashes; 2621 if ((sym_hash->root.root.type == bfd_link_hash_defined 2622 || sym_hash->root.root.type == bfd_link_hash_defweak) 2623 && sym_hash->root.root.u.def.section == section 2624 && ! (sym_hash->flags & MN10300_CONVERT_CALL_TO_CALLS) 2625 && ! (sym_hash->flags & MN10300_DELETED_PROLOGUE_BYTES)) 2626 { 2627 int bytes = 0; 2628 bfd_vma symval; 2629 2630 /* Note that we've changed things. */ 2631 elf_section_data (section)->relocs = internal_relocs; 2632 elf_section_data (section)->this_hdr.contents = contents; 2633 symtab_hdr->contents = (unsigned char *) isymbuf; 2634 2635 /* Count how many bytes we're going to delete. */ 2636 if (sym_hash->movm_args) 2637 bytes += 2; 2638 2639 if (sym_hash->stack_size > 0) 2640 { 2641 if (sym_hash->stack_size <= 128) 2642 bytes += 3; 2643 else 2644 bytes += 4; 2645 } 2646 2647 /* Note that we've deleted prologue bytes for this 2648 function. */ 2649 sym_hash->flags |= MN10300_DELETED_PROLOGUE_BYTES; 2650 2651 /* Actually delete the bytes. */ 2652 symval = sym_hash->root.root.u.def.value; 2653 if (!mn10300_elf_relax_delete_bytes (input_bfd, 2654 section, 2655 symval, 2656 bytes)) 2657 goto error_return; 2658 2659 /* Something changed. Not strictly necessary, but 2660 may lead to more relaxing opportunities. */ 2661 *again = TRUE; 2662 } 2663 } 2664 2665 /* Cache or free any memory we allocated for the relocs. */ 2666 if (internal_relocs != NULL 2667 && elf_section_data (section)->relocs != internal_relocs) 2668 free (internal_relocs); 2669 internal_relocs = NULL; 2670 2671 /* Cache or free any memory we allocated for the contents. */ 2672 if (contents != NULL 2673 && elf_section_data (section)->this_hdr.contents != contents) 2674 { 2675 if (! link_info->keep_memory) 2676 free (contents); 2677 else 2678 /* Cache the section contents for elf_link_input_bfd. */ 2679 elf_section_data (section)->this_hdr.contents = contents; 2680 } 2681 contents = NULL; 2682 } 2683 2684 /* Cache or free any memory we allocated for the symbols. */ 2685 if (isymbuf != NULL 2686 && symtab_hdr->contents != (unsigned char *) isymbuf) 2687 { 2688 if (! link_info->keep_memory) 2689 free (isymbuf); 2690 else 2691 /* Cache the symbols for elf_link_input_bfd. */ 2692 symtab_hdr->contents = (unsigned char *) isymbuf; 2693 } 2694 isymbuf = NULL; 2695 } 2696 } 2697 2698 /* (Re)initialize for the basic instruction shortening/relaxing pass. */ 2699 contents = NULL; 2700 internal_relocs = NULL; 2701 isymbuf = NULL; 2702 /* For error_return. */ 2703 section = sec; 2704 2705 /* We don't have to do anything for a relocatable link, if 2706 this section does not have relocs, or if this is not a 2707 code section. */ 2708 if (link_info->relocatable 2709 || (sec->flags & SEC_RELOC) == 0 2710 || sec->reloc_count == 0 2711 || (sec->flags & SEC_CODE) == 0) 2712 return TRUE; 2713 2714 symtab_hdr = &elf_tdata (abfd)->symtab_hdr; 2715 2716 /* Get a copy of the native relocations. */ 2717 internal_relocs = _bfd_elf_link_read_relocs (abfd, sec, NULL, NULL, 2718 link_info->keep_memory); 2719 if (internal_relocs == NULL) 2720 goto error_return; 2721 2722 /* Scan for worst case alignment gap changes. Note that this logic 2723 is not ideal; what we should do is run this scan for every 2724 opcode/address range and adjust accordingly, but that's 2725 expensive. Worst case is that for an alignment of N bytes, we 2726 move by 2*N-N-1 bytes, assuming we have aligns of 1, 2, 4, 8, etc 2727 all before it. Plus, this still doesn't cover cross-section 2728 jumps with section alignment. */ 2729 irelend = internal_relocs + sec->reloc_count; 2730 align_gap_adjustment = 0; 2731 for (irel = internal_relocs; irel < irelend; irel++) 2732 { 2733 if (ELF32_R_TYPE (irel->r_info) == (int) R_MN10300_ALIGN) 2734 { 2735 bfd_vma adj = 1 << irel->r_addend; 2736 bfd_vma aend = irel->r_offset; 2737 2738 aend = BFD_ALIGN (aend, 1 << irel->r_addend); 2739 adj = 2 * adj - adj - 1; 2740 2741 /* Record the biggest adjustmnet. Skip any alignment at the 2742 end of our section. */ 2743 if (align_gap_adjustment < adj 2744 && aend < sec->output_section->vma + sec->output_offset + sec->size) 2745 align_gap_adjustment = adj; 2746 } 2747 } 2748 2749 /* Walk through them looking for relaxing opportunities. */ 2750 irelend = internal_relocs + sec->reloc_count; 2751 for (irel = internal_relocs; irel < irelend; irel++) 2752 { 2753 bfd_vma symval; 2754 bfd_signed_vma jump_offset; 2755 asection *sym_sec = NULL; 2756 struct elf32_mn10300_link_hash_entry *h = NULL; 2757 2758 /* If this isn't something that can be relaxed, then ignore 2759 this reloc. */ 2760 if (ELF32_R_TYPE (irel->r_info) == (int) R_MN10300_NONE 2761 || ELF32_R_TYPE (irel->r_info) == (int) R_MN10300_8 2762 || ELF32_R_TYPE (irel->r_info) == (int) R_MN10300_MAX) 2763 continue; 2764 2765 /* Get the section contents if we haven't done so already. */ 2766 if (contents == NULL) 2767 { 2768 /* Get cached copy if it exists. */ 2769 if (elf_section_data (sec)->this_hdr.contents != NULL) 2770 contents = elf_section_data (sec)->this_hdr.contents; 2771 else 2772 { 2773 /* Go get them off disk. */ 2774 if (!bfd_malloc_and_get_section (abfd, sec, &contents)) 2775 goto error_return; 2776 } 2777 } 2778 2779 /* Read this BFD's symbols if we haven't done so already. */ 2780 if (isymbuf == NULL && symtab_hdr->sh_info != 0) 2781 { 2782 isymbuf = (Elf_Internal_Sym *) symtab_hdr->contents; 2783 if (isymbuf == NULL) 2784 isymbuf = bfd_elf_get_elf_syms (abfd, symtab_hdr, 2785 symtab_hdr->sh_info, 0, 2786 NULL, NULL, NULL); 2787 if (isymbuf == NULL) 2788 goto error_return; 2789 } 2790 2791 /* Get the value of the symbol referred to by the reloc. */ 2792 if (ELF32_R_SYM (irel->r_info) < symtab_hdr->sh_info) 2793 { 2794 Elf_Internal_Sym *isym; 2795 const char *sym_name; 2796 char *new_name; 2797 2798 /* A local symbol. */ 2799 isym = isymbuf + ELF32_R_SYM (irel->r_info); 2800 if (isym->st_shndx == SHN_UNDEF) 2801 sym_sec = bfd_und_section_ptr; 2802 else if (isym->st_shndx == SHN_ABS) 2803 sym_sec = bfd_abs_section_ptr; 2804 else if (isym->st_shndx == SHN_COMMON) 2805 sym_sec = bfd_com_section_ptr; 2806 else 2807 sym_sec = bfd_section_from_elf_index (abfd, isym->st_shndx); 2808 2809 sym_name = bfd_elf_string_from_elf_section (abfd, 2810 symtab_hdr->sh_link, 2811 isym->st_name); 2812 2813 if ((sym_sec->flags & SEC_MERGE) 2814 && ELF_ST_TYPE (isym->st_info) == STT_SECTION 2815 && sym_sec->sec_info_type == ELF_INFO_TYPE_MERGE) 2816 { 2817 symval = isym->st_value + irel->r_addend; 2818 symval = _bfd_merged_section_offset (abfd, & sym_sec, 2819 elf_section_data (sym_sec)->sec_info, 2820 symval); 2821 symval += sym_sec->output_section->vma + sym_sec->output_offset - irel->r_addend; 2822 } 2823 else 2824 symval = (isym->st_value 2825 + sym_sec->output_section->vma 2826 + sym_sec->output_offset); 2827 2828 /* Tack on an ID so we can uniquely identify this 2829 local symbol in the global hash table. */ 2830 new_name = bfd_malloc ((bfd_size_type) strlen (sym_name) + 10); 2831 if (new_name == NULL) 2832 goto error_return; 2833 sprintf (new_name, "%s_%08x", sym_name, sym_sec->id); 2834 sym_name = new_name; 2835 2836 h = (struct elf32_mn10300_link_hash_entry *) 2837 elf_link_hash_lookup (&hash_table->static_hash_table->root, 2838 sym_name, FALSE, FALSE, FALSE); 2839 free (new_name); 2840 } 2841 else 2842 { 2843 unsigned long indx; 2844 2845 /* An external symbol. */ 2846 indx = ELF32_R_SYM (irel->r_info) - symtab_hdr->sh_info; 2847 h = (struct elf32_mn10300_link_hash_entry *) 2848 (elf_sym_hashes (abfd)[indx]); 2849 BFD_ASSERT (h != NULL); 2850 if (h->root.root.type != bfd_link_hash_defined 2851 && h->root.root.type != bfd_link_hash_defweak) 2852 /* This appears to be a reference to an undefined 2853 symbol. Just ignore it--it will be caught by the 2854 regular reloc processing. */ 2855 continue; 2856 2857 /* Check for a reference to a discarded symbol and ignore it. */ 2858 if (h->root.root.u.def.section->output_section == NULL) 2859 continue; 2860 2861 sym_sec = h->root.root.u.def.section->output_section; 2862 2863 symval = (h->root.root.u.def.value 2864 + h->root.root.u.def.section->output_section->vma 2865 + h->root.root.u.def.section->output_offset); 2866 } 2867 2868 /* For simplicity of coding, we are going to modify the section 2869 contents, the section relocs, and the BFD symbol table. We 2870 must tell the rest of the code not to free up this 2871 information. It would be possible to instead create a table 2872 of changes which have to be made, as is done in coff-mips.c; 2873 that would be more work, but would require less memory when 2874 the linker is run. */ 2875 2876 /* Try to turn a 32bit pc-relative branch/call into a 16bit pc-relative 2877 branch/call, also deal with "call" -> "calls" conversions and 2878 insertion of prologue data into "call" instructions. */ 2879 if (ELF32_R_TYPE (irel->r_info) == (int) R_MN10300_PCREL32 2880 || ELF32_R_TYPE (irel->r_info) == (int) R_MN10300_PLT32) 2881 { 2882 bfd_vma value = symval; 2883 2884 if (ELF32_R_TYPE (irel->r_info) == (int) R_MN10300_PLT32 2885 && h != NULL 2886 && ELF_ST_VISIBILITY (h->root.other) != STV_INTERNAL 2887 && ELF_ST_VISIBILITY (h->root.other) != STV_HIDDEN 2888 && h->root.plt.offset != (bfd_vma) -1) 2889 { 2890 asection * splt; 2891 2892 splt = bfd_get_section_by_name (elf_hash_table (link_info) 2893 ->dynobj, ".plt"); 2894 2895 value = ((splt->output_section->vma 2896 + splt->output_offset 2897 + h->root.plt.offset) 2898 - (sec->output_section->vma 2899 + sec->output_offset 2900 + irel->r_offset)); 2901 } 2902 2903 /* If we've got a "call" instruction that needs to be turned 2904 into a "calls" instruction, do so now. It saves a byte. */ 2905 if (h && (h->flags & MN10300_CONVERT_CALL_TO_CALLS)) 2906 { 2907 unsigned char code; 2908 2909 /* Get the opcode. */ 2910 code = bfd_get_8 (abfd, contents + irel->r_offset - 1); 2911 2912 /* Make sure we're working with a "call" instruction! */ 2913 if (code == 0xdd) 2914 { 2915 /* Note that we've changed the relocs, section contents, 2916 etc. */ 2917 elf_section_data (sec)->relocs = internal_relocs; 2918 elf_section_data (sec)->this_hdr.contents = contents; 2919 symtab_hdr->contents = (unsigned char *) isymbuf; 2920 2921 /* Fix the opcode. */ 2922 bfd_put_8 (abfd, 0xfc, contents + irel->r_offset - 1); 2923 bfd_put_8 (abfd, 0xff, contents + irel->r_offset); 2924 2925 /* Fix irel->r_offset and irel->r_addend. */ 2926 irel->r_offset += 1; 2927 irel->r_addend += 1; 2928 2929 /* Delete one byte of data. */ 2930 if (!mn10300_elf_relax_delete_bytes (abfd, sec, 2931 irel->r_offset + 3, 1)) 2932 goto error_return; 2933 2934 /* That will change things, so, we should relax again. 2935 Note that this is not required, and it may be slow. */ 2936 *again = TRUE; 2937 } 2938 } 2939 else if (h) 2940 { 2941 /* We've got a "call" instruction which needs some data 2942 from target function filled in. */ 2943 unsigned char code; 2944 2945 /* Get the opcode. */ 2946 code = bfd_get_8 (abfd, contents + irel->r_offset - 1); 2947 2948 /* Insert data from the target function into the "call" 2949 instruction if needed. */ 2950 if (code == 0xdd) 2951 { 2952 bfd_put_8 (abfd, h->movm_args, contents + irel->r_offset + 4); 2953 bfd_put_8 (abfd, h->stack_size + h->movm_stack_size, 2954 contents + irel->r_offset + 5); 2955 } 2956 } 2957 2958 /* Deal with pc-relative gunk. */ 2959 value -= (sec->output_section->vma + sec->output_offset); 2960 value -= irel->r_offset; 2961 value += irel->r_addend; 2962 2963 /* See if the value will fit in 16 bits, note the high value is 2964 0x7fff + 2 as the target will be two bytes closer if we are 2965 able to relax, if it's in the same section. */ 2966 if (sec->output_section == sym_sec->output_section) 2967 jump_offset = 0x8001; 2968 else 2969 jump_offset = 0x7fff; 2970 2971 /* Account for jumps across alignment boundaries using 2972 align_gap_adjustment. */ 2973 if ((bfd_signed_vma) value < jump_offset - (bfd_signed_vma) align_gap_adjustment 2974 && ((bfd_signed_vma) value > -0x8000 + (bfd_signed_vma) align_gap_adjustment)) 2975 { 2976 unsigned char code; 2977 2978 /* Get the opcode. */ 2979 code = bfd_get_8 (abfd, contents + irel->r_offset - 1); 2980 2981 if (code != 0xdc && code != 0xdd && code != 0xff) 2982 continue; 2983 2984 /* Note that we've changed the relocs, section contents, etc. */ 2985 elf_section_data (sec)->relocs = internal_relocs; 2986 elf_section_data (sec)->this_hdr.contents = contents; 2987 symtab_hdr->contents = (unsigned char *) isymbuf; 2988 2989 /* Fix the opcode. */ 2990 if (code == 0xdc) 2991 bfd_put_8 (abfd, 0xcc, contents + irel->r_offset - 1); 2992 else if (code == 0xdd) 2993 bfd_put_8 (abfd, 0xcd, contents + irel->r_offset - 1); 2994 else if (code == 0xff) 2995 bfd_put_8 (abfd, 0xfa, contents + irel->r_offset - 2); 2996 2997 /* Fix the relocation's type. */ 2998 irel->r_info = ELF32_R_INFO (ELF32_R_SYM (irel->r_info), 2999 (ELF32_R_TYPE (irel->r_info) 3000 == (int) R_MN10300_PLT32) 3001 ? R_MN10300_PLT16 : 3002 R_MN10300_PCREL16); 3003 3004 /* Delete two bytes of data. */ 3005 if (!mn10300_elf_relax_delete_bytes (abfd, sec, 3006 irel->r_offset + 1, 2)) 3007 goto error_return; 3008 3009 /* That will change things, so, we should relax again. 3010 Note that this is not required, and it may be slow. */ 3011 *again = TRUE; 3012 } 3013 } 3014 3015 /* Try to turn a 16bit pc-relative branch into a 8bit pc-relative 3016 branch. */ 3017 if (ELF32_R_TYPE (irel->r_info) == (int) R_MN10300_PCREL16) 3018 { 3019 bfd_vma value = symval; 3020 3021 /* If we've got a "call" instruction that needs to be turned 3022 into a "calls" instruction, do so now. It saves a byte. */ 3023 if (h && (h->flags & MN10300_CONVERT_CALL_TO_CALLS)) 3024 { 3025 unsigned char code; 3026 3027 /* Get the opcode. */ 3028 code = bfd_get_8 (abfd, contents + irel->r_offset - 1); 3029 3030 /* Make sure we're working with a "call" instruction! */ 3031 if (code == 0xcd) 3032 { 3033 /* Note that we've changed the relocs, section contents, 3034 etc. */ 3035 elf_section_data (sec)->relocs = internal_relocs; 3036 elf_section_data (sec)->this_hdr.contents = contents; 3037 symtab_hdr->contents = (unsigned char *) isymbuf; 3038 3039 /* Fix the opcode. */ 3040 bfd_put_8 (abfd, 0xfa, contents + irel->r_offset - 1); 3041 bfd_put_8 (abfd, 0xff, contents + irel->r_offset); 3042 3043 /* Fix irel->r_offset and irel->r_addend. */ 3044 irel->r_offset += 1; 3045 irel->r_addend += 1; 3046 3047 /* Delete one byte of data. */ 3048 if (!mn10300_elf_relax_delete_bytes (abfd, sec, 3049 irel->r_offset + 1, 1)) 3050 goto error_return; 3051 3052 /* That will change things, so, we should relax again. 3053 Note that this is not required, and it may be slow. */ 3054 *again = TRUE; 3055 } 3056 } 3057 else if (h) 3058 { 3059 unsigned char code; 3060 3061 /* Get the opcode. */ 3062 code = bfd_get_8 (abfd, contents + irel->r_offset - 1); 3063 3064 /* Insert data from the target function into the "call" 3065 instruction if needed. */ 3066 if (code == 0xcd) 3067 { 3068 bfd_put_8 (abfd, h->movm_args, contents + irel->r_offset + 2); 3069 bfd_put_8 (abfd, h->stack_size + h->movm_stack_size, 3070 contents + irel->r_offset + 3); 3071 } 3072 } 3073 3074 /* Deal with pc-relative gunk. */ 3075 value -= (sec->output_section->vma + sec->output_offset); 3076 value -= irel->r_offset; 3077 value += irel->r_addend; 3078 3079 /* See if the value will fit in 8 bits, note the high value is 3080 0x7f + 1 as the target will be one bytes closer if we are 3081 able to relax. */ 3082 if ((long) value < 0x80 && (long) value > -0x80) 3083 { 3084 unsigned char code; 3085 3086 /* Get the opcode. */ 3087 code = bfd_get_8 (abfd, contents + irel->r_offset - 1); 3088 3089 if (code != 0xcc) 3090 continue; 3091 3092 /* Note that we've changed the relocs, section contents, etc. */ 3093 elf_section_data (sec)->relocs = internal_relocs; 3094 elf_section_data (sec)->this_hdr.contents = contents; 3095 symtab_hdr->contents = (unsigned char *) isymbuf; 3096 3097 /* Fix the opcode. */ 3098 bfd_put_8 (abfd, 0xca, contents + irel->r_offset - 1); 3099 3100 /* Fix the relocation's type. */ 3101 irel->r_info = ELF32_R_INFO (ELF32_R_SYM (irel->r_info), 3102 R_MN10300_PCREL8); 3103 3104 /* Delete one byte of data. */ 3105 if (!mn10300_elf_relax_delete_bytes (abfd, sec, 3106 irel->r_offset + 1, 1)) 3107 goto error_return; 3108 3109 /* That will change things, so, we should relax again. 3110 Note that this is not required, and it may be slow. */ 3111 *again = TRUE; 3112 } 3113 } 3114 3115 /* Try to eliminate an unconditional 8 bit pc-relative branch 3116 which immediately follows a conditional 8 bit pc-relative 3117 branch around the unconditional branch. 3118 3119 original: new: 3120 bCC lab1 bCC' lab2 3121 bra lab2 3122 lab1: lab1: 3123 3124 This happens when the bCC can't reach lab2 at assembly time, 3125 but due to other relaxations it can reach at link time. */ 3126 if (ELF32_R_TYPE (irel->r_info) == (int) R_MN10300_PCREL8) 3127 { 3128 Elf_Internal_Rela *nrel; 3129 bfd_vma value = symval; 3130 unsigned char code; 3131 3132 /* Deal with pc-relative gunk. */ 3133 value -= (sec->output_section->vma + sec->output_offset); 3134 value -= irel->r_offset; 3135 value += irel->r_addend; 3136 3137 /* Do nothing if this reloc is the last byte in the section. */ 3138 if (irel->r_offset == sec->size) 3139 continue; 3140 3141 /* See if the next instruction is an unconditional pc-relative 3142 branch, more often than not this test will fail, so we 3143 test it first to speed things up. */ 3144 code = bfd_get_8 (abfd, contents + irel->r_offset + 1); 3145 if (code != 0xca) 3146 continue; 3147 3148 /* Also make sure the next relocation applies to the next 3149 instruction and that it's a pc-relative 8 bit branch. */ 3150 nrel = irel + 1; 3151 if (nrel == irelend 3152 || irel->r_offset + 2 != nrel->r_offset 3153 || ELF32_R_TYPE (nrel->r_info) != (int) R_MN10300_PCREL8) 3154 continue; 3155 3156 /* Make sure our destination immediately follows the 3157 unconditional branch. */ 3158 if (symval != (sec->output_section->vma + sec->output_offset 3159 + irel->r_offset + 3)) 3160 continue; 3161 3162 /* Now make sure we are a conditional branch. This may not 3163 be necessary, but why take the chance. 3164 3165 Note these checks assume that R_MN10300_PCREL8 relocs 3166 only occur on bCC and bCCx insns. If they occured 3167 elsewhere, we'd need to know the start of this insn 3168 for this check to be accurate. */ 3169 code = bfd_get_8 (abfd, contents + irel->r_offset - 1); 3170 if (code != 0xc0 && code != 0xc1 && code != 0xc2 3171 && code != 0xc3 && code != 0xc4 && code != 0xc5 3172 && code != 0xc6 && code != 0xc7 && code != 0xc8 3173 && code != 0xc9 && code != 0xe8 && code != 0xe9 3174 && code != 0xea && code != 0xeb) 3175 continue; 3176 3177 /* We also have to be sure there is no symbol/label 3178 at the unconditional branch. */ 3179 if (mn10300_elf_symbol_address_p (abfd, sec, isymbuf, 3180 irel->r_offset + 1)) 3181 continue; 3182 3183 /* Note that we've changed the relocs, section contents, etc. */ 3184 elf_section_data (sec)->relocs = internal_relocs; 3185 elf_section_data (sec)->this_hdr.contents = contents; 3186 symtab_hdr->contents = (unsigned char *) isymbuf; 3187 3188 /* Reverse the condition of the first branch. */ 3189 switch (code) 3190 { 3191 case 0xc8: 3192 code = 0xc9; 3193 break; 3194 case 0xc9: 3195 code = 0xc8; 3196 break; 3197 case 0xc0: 3198 code = 0xc2; 3199 break; 3200 case 0xc2: 3201 code = 0xc0; 3202 break; 3203 case 0xc3: 3204 code = 0xc1; 3205 break; 3206 case 0xc1: 3207 code = 0xc3; 3208 break; 3209 case 0xc4: 3210 code = 0xc6; 3211 break; 3212 case 0xc6: 3213 code = 0xc4; 3214 break; 3215 case 0xc7: 3216 code = 0xc5; 3217 break; 3218 case 0xc5: 3219 code = 0xc7; 3220 break; 3221 case 0xe8: 3222 code = 0xe9; 3223 break; 3224 case 0x9d: 3225 code = 0xe8; 3226 break; 3227 case 0xea: 3228 code = 0xeb; 3229 break; 3230 case 0xeb: 3231 code = 0xea; 3232 break; 3233 } 3234 bfd_put_8 (abfd, code, contents + irel->r_offset - 1); 3235 3236 /* Set the reloc type and symbol for the first branch 3237 from the second branch. */ 3238 irel->r_info = nrel->r_info; 3239 3240 /* Make the reloc for the second branch a null reloc. */ 3241 nrel->r_info = ELF32_R_INFO (ELF32_R_SYM (nrel->r_info), 3242 R_MN10300_NONE); 3243 3244 /* Delete two bytes of data. */ 3245 if (!mn10300_elf_relax_delete_bytes (abfd, sec, 3246 irel->r_offset + 1, 2)) 3247 goto error_return; 3248 3249 /* That will change things, so, we should relax again. 3250 Note that this is not required, and it may be slow. */ 3251 *again = TRUE; 3252 } 3253 3254 /* Try to turn a 24 immediate, displacement or absolute address 3255 into a 8 immediate, displacement or absolute address. */ 3256 if (ELF32_R_TYPE (irel->r_info) == (int) R_MN10300_24) 3257 { 3258 bfd_vma value = symval; 3259 value += irel->r_addend; 3260 3261 /* See if the value will fit in 8 bits. */ 3262 if ((long) value < 0x7f && (long) value > -0x80) 3263 { 3264 unsigned char code; 3265 3266 /* AM33 insns which have 24 operands are 6 bytes long and 3267 will have 0xfd as the first byte. */ 3268 3269 /* Get the first opcode. */ 3270 code = bfd_get_8 (abfd, contents + irel->r_offset - 3); 3271 3272 if (code == 0xfd) 3273 { 3274 /* Get the second opcode. */ 3275 code = bfd_get_8 (abfd, contents + irel->r_offset - 2); 3276 3277 /* We can not relax 0x6b, 0x7b, 0x8b, 0x9b as no 24bit 3278 equivalent instructions exists. */ 3279 if (code != 0x6b && code != 0x7b 3280 && code != 0x8b && code != 0x9b 3281 && ((code & 0x0f) == 0x09 || (code & 0x0f) == 0x08 3282 || (code & 0x0f) == 0x0a || (code & 0x0f) == 0x0b 3283 || (code & 0x0f) == 0x0e)) 3284 { 3285 /* Not safe if the high bit is on as relaxing may 3286 move the value out of high mem and thus not fit 3287 in a signed 8bit value. This is currently over 3288 conservative. */ 3289 if ((value & 0x80) == 0) 3290 { 3291 /* Note that we've changed the relocation contents, 3292 etc. */ 3293 elf_section_data (sec)->relocs = internal_relocs; 3294 elf_section_data (sec)->this_hdr.contents = contents; 3295 symtab_hdr->contents = (unsigned char *) isymbuf; 3296 3297 /* Fix the opcode. */ 3298 bfd_put_8 (abfd, 0xfb, contents + irel->r_offset - 3); 3299 bfd_put_8 (abfd, code, contents + irel->r_offset - 2); 3300 3301 /* Fix the relocation's type. */ 3302 irel->r_info = 3303 ELF32_R_INFO (ELF32_R_SYM (irel->r_info), 3304 R_MN10300_8); 3305 3306 /* Delete two bytes of data. */ 3307 if (!mn10300_elf_relax_delete_bytes (abfd, sec, 3308 irel->r_offset + 1, 2)) 3309 goto error_return; 3310 3311 /* That will change things, so, we should relax 3312 again. Note that this is not required, and it 3313 may be slow. */ 3314 *again = TRUE; 3315 break; 3316 } 3317 } 3318 } 3319 } 3320 } 3321 3322 /* Try to turn a 32bit immediate, displacement or absolute address 3323 into a 16bit immediate, displacement or absolute address. */ 3324 if (ELF32_R_TYPE (irel->r_info) == (int) R_MN10300_32 3325 || ELF32_R_TYPE (irel->r_info) == (int) R_MN10300_GOT32 3326 || ELF32_R_TYPE (irel->r_info) == (int) R_MN10300_GOTOFF32) 3327 { 3328 bfd_vma value = symval; 3329 3330 if (ELF32_R_TYPE (irel->r_info) != (int) R_MN10300_32) 3331 { 3332 asection * sgot; 3333 3334 sgot = bfd_get_section_by_name (elf_hash_table (link_info) 3335 ->dynobj, ".got"); 3336 3337 if (ELF32_R_TYPE (irel->r_info) == (int) R_MN10300_GOT32) 3338 { 3339 value = sgot->output_offset; 3340 3341 if (h) 3342 value += h->root.got.offset; 3343 else 3344 value += (elf_local_got_offsets 3345 (abfd)[ELF32_R_SYM (irel->r_info)]); 3346 } 3347 else if (ELF32_R_TYPE (irel->r_info) == (int) R_MN10300_GOTOFF32) 3348 value -= sgot->output_section->vma; 3349 else if (ELF32_R_TYPE (irel->r_info) == (int) R_MN10300_GOTPC32) 3350 value = (sgot->output_section->vma 3351 - (sec->output_section->vma 3352 + sec->output_offset 3353 + irel->r_offset)); 3354 else 3355 abort (); 3356 } 3357 3358 value += irel->r_addend; 3359 3360 /* See if the value will fit in 24 bits. 3361 We allow any 16bit match here. We prune those we can't 3362 handle below. */ 3363 if ((long) value < 0x7fffff && (long) value > -0x800000) 3364 { 3365 unsigned char code; 3366 3367 /* AM33 insns which have 32bit operands are 7 bytes long and 3368 will have 0xfe as the first byte. */ 3369 3370 /* Get the first opcode. */ 3371 code = bfd_get_8 (abfd, contents + irel->r_offset - 3); 3372 3373 if (code == 0xfe) 3374 { 3375 /* Get the second opcode. */ 3376 code = bfd_get_8 (abfd, contents + irel->r_offset - 2); 3377 3378 /* All the am33 32 -> 24 relaxing possibilities. */ 3379 /* We can not relax 0x6b, 0x7b, 0x8b, 0x9b as no 24bit 3380 equivalent instructions exists. */ 3381 if (code != 0x6b && code != 0x7b 3382 && code != 0x8b && code != 0x9b 3383 && (ELF32_R_TYPE (irel->r_info) 3384 != (int) R_MN10300_GOTPC32) 3385 && ((code & 0x0f) == 0x09 || (code & 0x0f) == 0x08 3386 || (code & 0x0f) == 0x0a || (code & 0x0f) == 0x0b 3387 || (code & 0x0f) == 0x0e)) 3388 { 3389 /* Not safe if the high bit is on as relaxing may 3390 move the value out of high mem and thus not fit 3391 in a signed 16bit value. This is currently over 3392 conservative. */ 3393 if ((value & 0x8000) == 0) 3394 { 3395 /* Note that we've changed the relocation contents, 3396 etc. */ 3397 elf_section_data (sec)->relocs = internal_relocs; 3398 elf_section_data (sec)->this_hdr.contents = contents; 3399 symtab_hdr->contents = (unsigned char *) isymbuf; 3400 3401 /* Fix the opcode. */ 3402 bfd_put_8 (abfd, 0xfd, contents + irel->r_offset - 3); 3403 bfd_put_8 (abfd, code, contents + irel->r_offset - 2); 3404 3405 /* Fix the relocation's type. */ 3406 irel->r_info = 3407 ELF32_R_INFO (ELF32_R_SYM (irel->r_info), 3408 (ELF32_R_TYPE (irel->r_info) 3409 == (int) R_MN10300_GOTOFF32) 3410 ? R_MN10300_GOTOFF24 3411 : (ELF32_R_TYPE (irel->r_info) 3412 == (int) R_MN10300_GOT32) 3413 ? R_MN10300_GOT24 : 3414 R_MN10300_24); 3415 3416 /* Delete one byte of data. */ 3417 if (!mn10300_elf_relax_delete_bytes (abfd, sec, 3418 irel->r_offset + 3, 1)) 3419 goto error_return; 3420 3421 /* That will change things, so, we should relax 3422 again. Note that this is not required, and it 3423 may be slow. */ 3424 *again = TRUE; 3425 break; 3426 } 3427 } 3428 } 3429 } 3430 3431 /* See if the value will fit in 16 bits. 3432 We allow any 16bit match here. We prune those we can't 3433 handle below. */ 3434 if ((long) value < 0x7fff && (long) value > -0x8000) 3435 { 3436 unsigned char code; 3437 3438 /* Most insns which have 32bit operands are 6 bytes long; 3439 exceptions are pcrel insns and bit insns. 3440 3441 We handle pcrel insns above. We don't bother trying 3442 to handle the bit insns here. 3443 3444 The first byte of the remaining insns will be 0xfc. */ 3445 3446 /* Get the first opcode. */ 3447 code = bfd_get_8 (abfd, contents + irel->r_offset - 2); 3448 3449 if (code != 0xfc) 3450 continue; 3451 3452 /* Get the second opcode. */ 3453 code = bfd_get_8 (abfd, contents + irel->r_offset - 1); 3454 3455 if ((code & 0xf0) < 0x80) 3456 switch (code & 0xf0) 3457 { 3458 /* mov (d32,am),dn -> mov (d32,am),dn 3459 mov dm,(d32,am) -> mov dn,(d32,am) 3460 mov (d32,am),an -> mov (d32,am),an 3461 mov dm,(d32,am) -> mov dn,(d32,am) 3462 movbu (d32,am),dn -> movbu (d32,am),dn 3463 movbu dm,(d32,am) -> movbu dn,(d32,am) 3464 movhu (d32,am),dn -> movhu (d32,am),dn 3465 movhu dm,(d32,am) -> movhu dn,(d32,am) */ 3466 case 0x00: 3467 case 0x10: 3468 case 0x20: 3469 case 0x30: 3470 case 0x40: 3471 case 0x50: 3472 case 0x60: 3473 case 0x70: 3474 /* Not safe if the high bit is on as relaxing may 3475 move the value out of high mem and thus not fit 3476 in a signed 16bit value. */ 3477 if (code == 0xcc 3478 && (value & 0x8000)) 3479 continue; 3480 3481 /* Note that we've changed the relocation contents, etc. */ 3482 elf_section_data (sec)->relocs = internal_relocs; 3483 elf_section_data (sec)->this_hdr.contents = contents; 3484 symtab_hdr->contents = (unsigned char *) isymbuf; 3485 3486 /* Fix the opcode. */ 3487 bfd_put_8 (abfd, 0xfa, contents + irel->r_offset - 2); 3488 bfd_put_8 (abfd, code, contents + irel->r_offset - 1); 3489 3490 /* Fix the relocation's type. */ 3491 irel->r_info = ELF32_R_INFO (ELF32_R_SYM (irel->r_info), 3492 (ELF32_R_TYPE (irel->r_info) 3493 == (int) R_MN10300_GOTOFF32) 3494 ? R_MN10300_GOTOFF16 3495 : (ELF32_R_TYPE (irel->r_info) 3496 == (int) R_MN10300_GOT32) 3497 ? R_MN10300_GOT16 3498 : (ELF32_R_TYPE (irel->r_info) 3499 == (int) R_MN10300_GOTPC32) 3500 ? R_MN10300_GOTPC16 : 3501 R_MN10300_16); 3502 3503 /* Delete two bytes of data. */ 3504 if (!mn10300_elf_relax_delete_bytes (abfd, sec, 3505 irel->r_offset + 2, 2)) 3506 goto error_return; 3507 3508 /* That will change things, so, we should relax again. 3509 Note that this is not required, and it may be slow. */ 3510 *again = TRUE; 3511 break; 3512 } 3513 else if ((code & 0xf0) == 0x80 3514 || (code & 0xf0) == 0x90) 3515 switch (code & 0xf3) 3516 { 3517 /* mov dn,(abs32) -> mov dn,(abs16) 3518 movbu dn,(abs32) -> movbu dn,(abs16) 3519 movhu dn,(abs32) -> movhu dn,(abs16) */ 3520 case 0x81: 3521 case 0x82: 3522 case 0x83: 3523 /* Note that we've changed the relocation contents, etc. */ 3524 elf_section_data (sec)->relocs = internal_relocs; 3525 elf_section_data (sec)->this_hdr.contents = contents; 3526 symtab_hdr->contents = (unsigned char *) isymbuf; 3527 3528 if ((code & 0xf3) == 0x81) 3529 code = 0x01 + (code & 0x0c); 3530 else if ((code & 0xf3) == 0x82) 3531 code = 0x02 + (code & 0x0c); 3532 else if ((code & 0xf3) == 0x83) 3533 code = 0x03 + (code & 0x0c); 3534 else 3535 abort (); 3536 3537 /* Fix the opcode. */ 3538 bfd_put_8 (abfd, code, contents + irel->r_offset - 2); 3539 3540 /* Fix the relocation's type. */ 3541 irel->r_info = ELF32_R_INFO (ELF32_R_SYM (irel->r_info), 3542 (ELF32_R_TYPE (irel->r_info) 3543 == (int) R_MN10300_GOTOFF32) 3544 ? R_MN10300_GOTOFF16 3545 : (ELF32_R_TYPE (irel->r_info) 3546 == (int) R_MN10300_GOT32) 3547 ? R_MN10300_GOT16 3548 : (ELF32_R_TYPE (irel->r_info) 3549 == (int) R_MN10300_GOTPC32) 3550 ? R_MN10300_GOTPC16 : 3551 R_MN10300_16); 3552 3553 /* The opcode got shorter too, so we have to fix the 3554 addend and offset too! */ 3555 irel->r_offset -= 1; 3556 3557 /* Delete three bytes of data. */ 3558 if (!mn10300_elf_relax_delete_bytes (abfd, sec, 3559 irel->r_offset + 1, 3)) 3560 goto error_return; 3561 3562 /* That will change things, so, we should relax again. 3563 Note that this is not required, and it may be slow. */ 3564 *again = TRUE; 3565 break; 3566 3567 /* mov am,(abs32) -> mov am,(abs16) 3568 mov am,(d32,sp) -> mov am,(d16,sp) 3569 mov dm,(d32,sp) -> mov dm,(d32,sp) 3570 movbu dm,(d32,sp) -> movbu dm,(d32,sp) 3571 movhu dm,(d32,sp) -> movhu dm,(d32,sp) */ 3572 case 0x80: 3573 case 0x90: 3574 case 0x91: 3575 case 0x92: 3576 case 0x93: 3577 /* sp-based offsets are zero-extended. */ 3578 if (code >= 0x90 && code <= 0x93 3579 && (long) value < 0) 3580 continue; 3581 3582 /* Note that we've changed the relocation contents, etc. */ 3583 elf_section_data (sec)->relocs = internal_relocs; 3584 elf_section_data (sec)->this_hdr.contents = contents; 3585 symtab_hdr->contents = (unsigned char *) isymbuf; 3586 3587 /* Fix the opcode. */ 3588 bfd_put_8 (abfd, 0xfa, contents + irel->r_offset - 2); 3589 bfd_put_8 (abfd, code, contents + irel->r_offset - 1); 3590 3591 /* Fix the relocation's type. */ 3592 irel->r_info = ELF32_R_INFO (ELF32_R_SYM (irel->r_info), 3593 (ELF32_R_TYPE (irel->r_info) 3594 == (int) R_MN10300_GOTOFF32) 3595 ? R_MN10300_GOTOFF16 3596 : (ELF32_R_TYPE (irel->r_info) 3597 == (int) R_MN10300_GOT32) 3598 ? R_MN10300_GOT16 3599 : (ELF32_R_TYPE (irel->r_info) 3600 == (int) R_MN10300_GOTPC32) 3601 ? R_MN10300_GOTPC16 : 3602 R_MN10300_16); 3603 3604 /* Delete two bytes of data. */ 3605 if (!mn10300_elf_relax_delete_bytes (abfd, sec, 3606 irel->r_offset + 2, 2)) 3607 goto error_return; 3608 3609 /* That will change things, so, we should relax again. 3610 Note that this is not required, and it may be slow. */ 3611 *again = TRUE; 3612 break; 3613 } 3614 else if ((code & 0xf0) < 0xf0) 3615 switch (code & 0xfc) 3616 { 3617 /* mov imm32,dn -> mov imm16,dn 3618 mov imm32,an -> mov imm16,an 3619 mov (abs32),dn -> mov (abs16),dn 3620 movbu (abs32),dn -> movbu (abs16),dn 3621 movhu (abs32),dn -> movhu (abs16),dn */ 3622 case 0xcc: 3623 case 0xdc: 3624 case 0xa4: 3625 case 0xa8: 3626 case 0xac: 3627 /* Not safe if the high bit is on as relaxing may 3628 move the value out of high mem and thus not fit 3629 in a signed 16bit value. */ 3630 if (code == 0xcc 3631 && (value & 0x8000)) 3632 continue; 3633 3634 /* mov imm16, an zero-extends the immediate. */ 3635 if (code == 0xdc 3636 && (long) value < 0) 3637 continue; 3638 3639 /* Note that we've changed the relocation contents, etc. */ 3640 elf_section_data (sec)->relocs = internal_relocs; 3641 elf_section_data (sec)->this_hdr.contents = contents; 3642 symtab_hdr->contents = (unsigned char *) isymbuf; 3643 3644 if ((code & 0xfc) == 0xcc) 3645 code = 0x2c + (code & 0x03); 3646 else if ((code & 0xfc) == 0xdc) 3647 code = 0x24 + (code & 0x03); 3648 else if ((code & 0xfc) == 0xa4) 3649 code = 0x30 + (code & 0x03); 3650 else if ((code & 0xfc) == 0xa8) 3651 code = 0x34 + (code & 0x03); 3652 else if ((code & 0xfc) == 0xac) 3653 code = 0x38 + (code & 0x03); 3654 else 3655 abort (); 3656 3657 /* Fix the opcode. */ 3658 bfd_put_8 (abfd, code, contents + irel->r_offset - 2); 3659 3660 /* Fix the relocation's type. */ 3661 irel->r_info = ELF32_R_INFO (ELF32_R_SYM (irel->r_info), 3662 (ELF32_R_TYPE (irel->r_info) 3663 == (int) R_MN10300_GOTOFF32) 3664 ? R_MN10300_GOTOFF16 3665 : (ELF32_R_TYPE (irel->r_info) 3666 == (int) R_MN10300_GOT32) 3667 ? R_MN10300_GOT16 3668 : (ELF32_R_TYPE (irel->r_info) 3669 == (int) R_MN10300_GOTPC32) 3670 ? R_MN10300_GOTPC16 : 3671 R_MN10300_16); 3672 3673 /* The opcode got shorter too, so we have to fix the 3674 addend and offset too! */ 3675 irel->r_offset -= 1; 3676 3677 /* Delete three bytes of data. */ 3678 if (!mn10300_elf_relax_delete_bytes (abfd, sec, 3679 irel->r_offset + 1, 3)) 3680 goto error_return; 3681 3682 /* That will change things, so, we should relax again. 3683 Note that this is not required, and it may be slow. */ 3684 *again = TRUE; 3685 break; 3686 3687 /* mov (abs32),an -> mov (abs16),an 3688 mov (d32,sp),an -> mov (d16,sp),an 3689 mov (d32,sp),dn -> mov (d16,sp),dn 3690 movbu (d32,sp),dn -> movbu (d16,sp),dn 3691 movhu (d32,sp),dn -> movhu (d16,sp),dn 3692 add imm32,dn -> add imm16,dn 3693 cmp imm32,dn -> cmp imm16,dn 3694 add imm32,an -> add imm16,an 3695 cmp imm32,an -> cmp imm16,an 3696 and imm32,dn -> and imm16,dn 3697 or imm32,dn -> or imm16,dn 3698 xor imm32,dn -> xor imm16,dn 3699 btst imm32,dn -> btst imm16,dn */ 3700 3701 case 0xa0: 3702 case 0xb0: 3703 case 0xb1: 3704 case 0xb2: 3705 case 0xb3: 3706 case 0xc0: 3707 case 0xc8: 3708 3709 case 0xd0: 3710 case 0xd8: 3711 case 0xe0: 3712 case 0xe1: 3713 case 0xe2: 3714 case 0xe3: 3715 /* cmp imm16, an zero-extends the immediate. */ 3716 if (code == 0xdc 3717 && (long) value < 0) 3718 continue; 3719 3720 /* So do sp-based offsets. */ 3721 if (code >= 0xb0 && code <= 0xb3 3722 && (long) value < 0) 3723 continue; 3724 3725 /* Note that we've changed the relocation contents, etc. */ 3726 elf_section_data (sec)->relocs = internal_relocs; 3727 elf_section_data (sec)->this_hdr.contents = contents; 3728 symtab_hdr->contents = (unsigned char *) isymbuf; 3729 3730 /* Fix the opcode. */ 3731 bfd_put_8 (abfd, 0xfa, contents + irel->r_offset - 2); 3732 bfd_put_8 (abfd, code, contents + irel->r_offset - 1); 3733 3734 /* Fix the relocation's type. */ 3735 irel->r_info = ELF32_R_INFO (ELF32_R_SYM (irel->r_info), 3736 (ELF32_R_TYPE (irel->r_info) 3737 == (int) R_MN10300_GOTOFF32) 3738 ? R_MN10300_GOTOFF16 3739 : (ELF32_R_TYPE (irel->r_info) 3740 == (int) R_MN10300_GOT32) 3741 ? R_MN10300_GOT16 3742 : (ELF32_R_TYPE (irel->r_info) 3743 == (int) R_MN10300_GOTPC32) 3744 ? R_MN10300_GOTPC16 : 3745 R_MN10300_16); 3746 3747 /* Delete two bytes of data. */ 3748 if (!mn10300_elf_relax_delete_bytes (abfd, sec, 3749 irel->r_offset + 2, 2)) 3750 goto error_return; 3751 3752 /* That will change things, so, we should relax again. 3753 Note that this is not required, and it may be slow. */ 3754 *again = TRUE; 3755 break; 3756 } 3757 else if (code == 0xfe) 3758 { 3759 /* add imm32,sp -> add imm16,sp */ 3760 3761 /* Note that we've changed the relocation contents, etc. */ 3762 elf_section_data (sec)->relocs = internal_relocs; 3763 elf_section_data (sec)->this_hdr.contents = contents; 3764 symtab_hdr->contents = (unsigned char *) isymbuf; 3765 3766 /* Fix the opcode. */ 3767 bfd_put_8 (abfd, 0xfa, contents + irel->r_offset - 2); 3768 bfd_put_8 (abfd, 0xfe, contents + irel->r_offset - 1); 3769 3770 /* Fix the relocation's type. */ 3771 irel->r_info = ELF32_R_INFO (ELF32_R_SYM (irel->r_info), 3772 (ELF32_R_TYPE (irel->r_info) 3773 == (int) R_MN10300_GOT32) 3774 ? R_MN10300_GOT16 3775 : (ELF32_R_TYPE (irel->r_info) 3776 == (int) R_MN10300_GOTOFF32) 3777 ? R_MN10300_GOTOFF16 3778 : (ELF32_R_TYPE (irel->r_info) 3779 == (int) R_MN10300_GOTPC32) 3780 ? R_MN10300_GOTPC16 : 3781 R_MN10300_16); 3782 3783 /* Delete two bytes of data. */ 3784 if (!mn10300_elf_relax_delete_bytes (abfd, sec, 3785 irel->r_offset + 2, 2)) 3786 goto error_return; 3787 3788 /* That will change things, so, we should relax again. 3789 Note that this is not required, and it may be slow. */ 3790 *again = TRUE; 3791 break; 3792 } 3793 } 3794 } 3795 } 3796 3797 if (isymbuf != NULL 3798 && symtab_hdr->contents != (unsigned char *) isymbuf) 3799 { 3800 if (! link_info->keep_memory) 3801 free (isymbuf); 3802 else 3803 { 3804 /* Cache the symbols for elf_link_input_bfd. */ 3805 symtab_hdr->contents = (unsigned char *) isymbuf; 3806 } 3807 } 3808 3809 if (contents != NULL 3810 && elf_section_data (sec)->this_hdr.contents != contents) 3811 { 3812 if (! link_info->keep_memory) 3813 free (contents); 3814 else 3815 { 3816 /* Cache the section contents for elf_link_input_bfd. */ 3817 elf_section_data (sec)->this_hdr.contents = contents; 3818 } 3819 } 3820 3821 if (internal_relocs != NULL 3822 && elf_section_data (sec)->relocs != internal_relocs) 3823 free (internal_relocs); 3824 3825 return TRUE; 3826 3827 error_return: 3828 if (isymbuf != NULL 3829 && symtab_hdr->contents != (unsigned char *) isymbuf) 3830 free (isymbuf); 3831 if (contents != NULL 3832 && elf_section_data (section)->this_hdr.contents != contents) 3833 free (contents); 3834 if (internal_relocs != NULL 3835 && elf_section_data (section)->relocs != internal_relocs) 3836 free (internal_relocs); 3837 3838 return FALSE; 3839 } 3840 3841 /* This is a version of bfd_generic_get_relocated_section_contents 3842 which uses mn10300_elf_relocate_section. */ 3843 3844 static bfd_byte * 3845 mn10300_elf_get_relocated_section_contents (bfd *output_bfd, 3846 struct bfd_link_info *link_info, 3847 struct bfd_link_order *link_order, 3848 bfd_byte *data, 3849 bfd_boolean relocatable, 3850 asymbol **symbols) 3851 { 3852 Elf_Internal_Shdr *symtab_hdr; 3853 asection *input_section = link_order->u.indirect.section; 3854 bfd *input_bfd = input_section->owner; 3855 asection **sections = NULL; 3856 Elf_Internal_Rela *internal_relocs = NULL; 3857 Elf_Internal_Sym *isymbuf = NULL; 3858 3859 /* We only need to handle the case of relaxing, or of having a 3860 particular set of section contents, specially. */ 3861 if (relocatable 3862 || elf_section_data (input_section)->this_hdr.contents == NULL) 3863 return bfd_generic_get_relocated_section_contents (output_bfd, link_info, 3864 link_order, data, 3865 relocatable, 3866 symbols); 3867 3868 symtab_hdr = &elf_tdata (input_bfd)->symtab_hdr; 3869 3870 memcpy (data, elf_section_data (input_section)->this_hdr.contents, 3871 (size_t) input_section->size); 3872 3873 if ((input_section->flags & SEC_RELOC) != 0 3874 && input_section->reloc_count > 0) 3875 { 3876 asection **secpp; 3877 Elf_Internal_Sym *isym, *isymend; 3878 bfd_size_type amt; 3879 3880 internal_relocs = _bfd_elf_link_read_relocs (input_bfd, input_section, 3881 NULL, NULL, FALSE); 3882 if (internal_relocs == NULL) 3883 goto error_return; 3884 3885 if (symtab_hdr->sh_info != 0) 3886 { 3887 isymbuf = (Elf_Internal_Sym *) symtab_hdr->contents; 3888 if (isymbuf == NULL) 3889 isymbuf = bfd_elf_get_elf_syms (input_bfd, symtab_hdr, 3890 symtab_hdr->sh_info, 0, 3891 NULL, NULL, NULL); 3892 if (isymbuf == NULL) 3893 goto error_return; 3894 } 3895 3896 amt = symtab_hdr->sh_info; 3897 amt *= sizeof (asection *); 3898 sections = bfd_malloc (amt); 3899 if (sections == NULL && amt != 0) 3900 goto error_return; 3901 3902 isymend = isymbuf + symtab_hdr->sh_info; 3903 for (isym = isymbuf, secpp = sections; isym < isymend; ++isym, ++secpp) 3904 { 3905 asection *isec; 3906 3907 if (isym->st_shndx == SHN_UNDEF) 3908 isec = bfd_und_section_ptr; 3909 else if (isym->st_shndx == SHN_ABS) 3910 isec = bfd_abs_section_ptr; 3911 else if (isym->st_shndx == SHN_COMMON) 3912 isec = bfd_com_section_ptr; 3913 else 3914 isec = bfd_section_from_elf_index (input_bfd, isym->st_shndx); 3915 3916 *secpp = isec; 3917 } 3918 3919 if (! mn10300_elf_relocate_section (output_bfd, link_info, input_bfd, 3920 input_section, data, internal_relocs, 3921 isymbuf, sections)) 3922 goto error_return; 3923 3924 if (sections != NULL) 3925 free (sections); 3926 if (isymbuf != NULL && symtab_hdr->contents != (unsigned char *) isymbuf) 3927 free (isymbuf); 3928 if (internal_relocs != elf_section_data (input_section)->relocs) 3929 free (internal_relocs); 3930 } 3931 3932 return data; 3933 3934 error_return: 3935 if (sections != NULL) 3936 free (sections); 3937 if (isymbuf != NULL && symtab_hdr->contents != (unsigned char *) isymbuf) 3938 free (isymbuf); 3939 if (internal_relocs != NULL 3940 && internal_relocs != elf_section_data (input_section)->relocs) 3941 free (internal_relocs); 3942 return NULL; 3943 } 3944 3945 /* Assorted hash table functions. */ 3946 3947 /* Initialize an entry in the link hash table. */ 3948 3949 /* Create an entry in an MN10300 ELF linker hash table. */ 3950 3951 static struct bfd_hash_entry * 3952 elf32_mn10300_link_hash_newfunc (struct bfd_hash_entry *entry, 3953 struct bfd_hash_table *table, 3954 const char *string) 3955 { 3956 struct elf32_mn10300_link_hash_entry *ret = 3957 (struct elf32_mn10300_link_hash_entry *) entry; 3958 3959 /* Allocate the structure if it has not already been allocated by a 3960 subclass. */ 3961 if (ret == NULL) 3962 ret = (struct elf32_mn10300_link_hash_entry *) 3963 bfd_hash_allocate (table, sizeof (* ret)); 3964 if (ret == NULL) 3965 return (struct bfd_hash_entry *) ret; 3966 3967 /* Call the allocation method of the superclass. */ 3968 ret = (struct elf32_mn10300_link_hash_entry *) 3969 _bfd_elf_link_hash_newfunc ((struct bfd_hash_entry *) ret, 3970 table, string); 3971 if (ret != NULL) 3972 { 3973 ret->direct_calls = 0; 3974 ret->stack_size = 0; 3975 ret->movm_args = 0; 3976 ret->movm_stack_size = 0; 3977 ret->flags = 0; 3978 ret->value = 0; 3979 } 3980 3981 return (struct bfd_hash_entry *) ret; 3982 } 3983 3984 /* Create an mn10300 ELF linker hash table. */ 3985 3986 static struct bfd_link_hash_table * 3987 elf32_mn10300_link_hash_table_create (bfd *abfd) 3988 { 3989 struct elf32_mn10300_link_hash_table *ret; 3990 bfd_size_type amt = sizeof (* ret); 3991 3992 ret = bfd_malloc (amt); 3993 if (ret == NULL) 3994 return NULL; 3995 3996 if (!_bfd_elf_link_hash_table_init (&ret->root, abfd, 3997 elf32_mn10300_link_hash_newfunc, 3998 sizeof (struct elf32_mn10300_link_hash_entry))) 3999 { 4000 free (ret); 4001 return NULL; 4002 } 4003 4004 ret->flags = 0; 4005 amt = sizeof (struct elf_link_hash_table); 4006 ret->static_hash_table = bfd_malloc (amt); 4007 if (ret->static_hash_table == NULL) 4008 { 4009 free (ret); 4010 return NULL; 4011 } 4012 4013 if (!_bfd_elf_link_hash_table_init (&ret->static_hash_table->root, abfd, 4014 elf32_mn10300_link_hash_newfunc, 4015 sizeof (struct elf32_mn10300_link_hash_entry))) 4016 { 4017 free (ret->static_hash_table); 4018 free (ret); 4019 return NULL; 4020 } 4021 return & ret->root.root; 4022 } 4023 4024 /* Free an mn10300 ELF linker hash table. */ 4025 4026 static void 4027 elf32_mn10300_link_hash_table_free (struct bfd_link_hash_table *hash) 4028 { 4029 struct elf32_mn10300_link_hash_table *ret 4030 = (struct elf32_mn10300_link_hash_table *) hash; 4031 4032 _bfd_generic_link_hash_table_free 4033 ((struct bfd_link_hash_table *) ret->static_hash_table); 4034 _bfd_generic_link_hash_table_free 4035 ((struct bfd_link_hash_table *) ret); 4036 } 4037 4038 static unsigned long 4039 elf_mn10300_mach (flagword flags) 4040 { 4041 switch (flags & EF_MN10300_MACH) 4042 { 4043 case E_MN10300_MACH_MN10300: 4044 default: 4045 return bfd_mach_mn10300; 4046 4047 case E_MN10300_MACH_AM33: 4048 return bfd_mach_am33; 4049 4050 case E_MN10300_MACH_AM33_2: 4051 return bfd_mach_am33_2; 4052 } 4053 } 4054 4055 /* The final processing done just before writing out a MN10300 ELF object 4056 file. This gets the MN10300 architecture right based on the machine 4057 number. */ 4058 4059 static void 4060 _bfd_mn10300_elf_final_write_processing (bfd *abfd, 4061 bfd_boolean linker ATTRIBUTE_UNUSED) 4062 { 4063 unsigned long val; 4064 4065 switch (bfd_get_mach (abfd)) 4066 { 4067 default: 4068 case bfd_mach_mn10300: 4069 val = E_MN10300_MACH_MN10300; 4070 break; 4071 4072 case bfd_mach_am33: 4073 val = E_MN10300_MACH_AM33; 4074 break; 4075 4076 case bfd_mach_am33_2: 4077 val = E_MN10300_MACH_AM33_2; 4078 break; 4079 } 4080 4081 elf_elfheader (abfd)->e_flags &= ~ (EF_MN10300_MACH); 4082 elf_elfheader (abfd)->e_flags |= val; 4083 } 4084 4085 static bfd_boolean 4086 _bfd_mn10300_elf_object_p (bfd *abfd) 4087 { 4088 bfd_default_set_arch_mach (abfd, bfd_arch_mn10300, 4089 elf_mn10300_mach (elf_elfheader (abfd)->e_flags)); 4090 return TRUE; 4091 } 4092 4093 /* Merge backend specific data from an object file to the output 4094 object file when linking. */ 4095 4096 static bfd_boolean 4097 _bfd_mn10300_elf_merge_private_bfd_data (bfd *ibfd, bfd *obfd) 4098 { 4099 if (bfd_get_flavour (ibfd) != bfd_target_elf_flavour 4100 || bfd_get_flavour (obfd) != bfd_target_elf_flavour) 4101 return TRUE; 4102 4103 if (bfd_get_arch (obfd) == bfd_get_arch (ibfd) 4104 && bfd_get_mach (obfd) < bfd_get_mach (ibfd)) 4105 { 4106 if (! bfd_set_arch_mach (obfd, bfd_get_arch (ibfd), 4107 bfd_get_mach (ibfd))) 4108 return FALSE; 4109 } 4110 4111 return TRUE; 4112 } 4113 4114 #define PLT0_ENTRY_SIZE 15 4115 #define PLT_ENTRY_SIZE 20 4116 #define PIC_PLT_ENTRY_SIZE 24 4117 4118 static const bfd_byte elf_mn10300_plt0_entry[PLT0_ENTRY_SIZE] = 4119 { 4120 0xfc, 0xa0, 0, 0, 0, 0, /* mov (.got+8),a0 */ 4121 0xfe, 0xe, 0x10, 0, 0, 0, 0, /* mov (.got+4),r1 */ 4122 0xf0, 0xf4, /* jmp (a0) */ 4123 }; 4124 4125 static const bfd_byte elf_mn10300_plt_entry[PLT_ENTRY_SIZE] = 4126 { 4127 0xfc, 0xa0, 0, 0, 0, 0, /* mov (nameN@GOT + .got),a0 */ 4128 0xf0, 0xf4, /* jmp (a0) */ 4129 0xfe, 8, 0, 0, 0, 0, 0, /* mov reloc-table-address,r0 */ 4130 0xdc, 0, 0, 0, 0, /* jmp .plt0 */ 4131 }; 4132 4133 static const bfd_byte elf_mn10300_pic_plt_entry[PIC_PLT_ENTRY_SIZE] = 4134 { 4135 0xfc, 0x22, 0, 0, 0, 0, /* mov (nameN@GOT,a2),a0 */ 4136 0xf0, 0xf4, /* jmp (a0) */ 4137 0xfe, 8, 0, 0, 0, 0, 0, /* mov reloc-table-address,r0 */ 4138 0xf8, 0x22, 8, /* mov (8,a2),a0 */ 4139 0xfb, 0xa, 0x1a, 4, /* mov (4,a2),r1 */ 4140 0xf0, 0xf4, /* jmp (a0) */ 4141 }; 4142 4143 /* Return size of the first PLT entry. */ 4144 #define elf_mn10300_sizeof_plt0(info) \ 4145 (info->shared ? PIC_PLT_ENTRY_SIZE : PLT0_ENTRY_SIZE) 4146 4147 /* Return size of a PLT entry. */ 4148 #define elf_mn10300_sizeof_plt(info) \ 4149 (info->shared ? PIC_PLT_ENTRY_SIZE : PLT_ENTRY_SIZE) 4150 4151 /* Return offset of the PLT0 address in an absolute PLT entry. */ 4152 #define elf_mn10300_plt_plt0_offset(info) 16 4153 4154 /* Return offset of the linker in PLT0 entry. */ 4155 #define elf_mn10300_plt0_linker_offset(info) 2 4156 4157 /* Return offset of the GOT id in PLT0 entry. */ 4158 #define elf_mn10300_plt0_gotid_offset(info) 9 4159 4160 /* Return offset of the temporary in PLT entry. */ 4161 #define elf_mn10300_plt_temp_offset(info) 8 4162 4163 /* Return offset of the symbol in PLT entry. */ 4164 #define elf_mn10300_plt_symbol_offset(info) 2 4165 4166 /* Return offset of the relocation in PLT entry. */ 4167 #define elf_mn10300_plt_reloc_offset(info) 11 4168 4169 /* The name of the dynamic interpreter. This is put in the .interp 4170 section. */ 4171 4172 #define ELF_DYNAMIC_INTERPRETER "/lib/ld.so.1" 4173 4174 /* Create dynamic sections when linking against a dynamic object. */ 4175 4176 static bfd_boolean 4177 _bfd_mn10300_elf_create_dynamic_sections (bfd *abfd, struct bfd_link_info *info) 4178 { 4179 flagword flags; 4180 asection * s; 4181 const struct elf_backend_data * bed = get_elf_backend_data (abfd); 4182 int ptralign = 0; 4183 4184 switch (bed->s->arch_size) 4185 { 4186 case 32: 4187 ptralign = 2; 4188 break; 4189 4190 case 64: 4191 ptralign = 3; 4192 break; 4193 4194 default: 4195 bfd_set_error (bfd_error_bad_value); 4196 return FALSE; 4197 } 4198 4199 /* We need to create .plt, .rel[a].plt, .got, .got.plt, .dynbss, and 4200 .rel[a].bss sections. */ 4201 flags = (SEC_ALLOC | SEC_LOAD | SEC_HAS_CONTENTS | SEC_IN_MEMORY 4202 | SEC_LINKER_CREATED); 4203 4204 s = bfd_make_section_with_flags (abfd, 4205 (bed->default_use_rela_p 4206 ? ".rela.plt" : ".rel.plt"), 4207 flags | SEC_READONLY); 4208 if (s == NULL 4209 || ! bfd_set_section_alignment (abfd, s, ptralign)) 4210 return FALSE; 4211 4212 if (! _bfd_mn10300_elf_create_got_section (abfd, info)) 4213 return FALSE; 4214 4215 { 4216 const char * secname; 4217 char * relname; 4218 flagword secflags; 4219 asection * sec; 4220 4221 for (sec = abfd->sections; sec; sec = sec->next) 4222 { 4223 secflags = bfd_get_section_flags (abfd, sec); 4224 if ((secflags & (SEC_DATA | SEC_LINKER_CREATED)) 4225 || ((secflags & SEC_HAS_CONTENTS) != SEC_HAS_CONTENTS)) 4226 continue; 4227 4228 secname = bfd_get_section_name (abfd, sec); 4229 relname = bfd_malloc (strlen (secname) + 6); 4230 strcpy (relname, ".rela"); 4231 strcat (relname, secname); 4232 4233 s = bfd_make_section_with_flags (abfd, relname, 4234 flags | SEC_READONLY); 4235 if (s == NULL 4236 || ! bfd_set_section_alignment (abfd, s, ptralign)) 4237 return FALSE; 4238 } 4239 } 4240 4241 if (bed->want_dynbss) 4242 { 4243 /* The .dynbss section is a place to put symbols which are defined 4244 by dynamic objects, are referenced by regular objects, and are 4245 not functions. We must allocate space for them in the process 4246 image and use a R_*_COPY reloc to tell the dynamic linker to 4247 initialize them at run time. The linker script puts the .dynbss 4248 section into the .bss section of the final image. */ 4249 s = bfd_make_section_with_flags (abfd, ".dynbss", 4250 SEC_ALLOC | SEC_LINKER_CREATED); 4251 if (s == NULL) 4252 return FALSE; 4253 4254 /* The .rel[a].bss section holds copy relocs. This section is not 4255 normally needed. We need to create it here, though, so that the 4256 linker will map it to an output section. We can't just create it 4257 only if we need it, because we will not know whether we need it 4258 until we have seen all the input files, and the first time the 4259 main linker code calls BFD after examining all the input files 4260 (size_dynamic_sections) the input sections have already been 4261 mapped to the output sections. If the section turns out not to 4262 be needed, we can discard it later. We will never need this 4263 section when generating a shared object, since they do not use 4264 copy relocs. */ 4265 if (! info->shared) 4266 { 4267 s = bfd_make_section_with_flags (abfd, 4268 (bed->default_use_rela_p 4269 ? ".rela.bss" : ".rel.bss"), 4270 flags | SEC_READONLY); 4271 if (s == NULL 4272 || ! bfd_set_section_alignment (abfd, s, ptralign)) 4273 return FALSE; 4274 } 4275 } 4276 4277 return TRUE; 4278 } 4279 4280 /* Adjust a symbol defined by a dynamic object and referenced by a 4281 regular object. The current definition is in some section of the 4282 dynamic object, but we're not including those sections. We have to 4283 change the definition to something the rest of the link can 4284 understand. */ 4285 4286 static bfd_boolean 4287 _bfd_mn10300_elf_adjust_dynamic_symbol (struct bfd_link_info * info, 4288 struct elf_link_hash_entry * h) 4289 { 4290 bfd * dynobj; 4291 asection * s; 4292 4293 dynobj = elf_hash_table (info)->dynobj; 4294 4295 /* Make sure we know what is going on here. */ 4296 BFD_ASSERT (dynobj != NULL 4297 && (h->needs_plt 4298 || h->u.weakdef != NULL 4299 || (h->def_dynamic 4300 && h->ref_regular 4301 && !h->def_regular))); 4302 4303 /* If this is a function, put it in the procedure linkage table. We 4304 will fill in the contents of the procedure linkage table later, 4305 when we know the address of the .got section. */ 4306 if (h->type == STT_FUNC 4307 || h->needs_plt) 4308 { 4309 if (! info->shared 4310 && !h->def_dynamic 4311 && !h->ref_dynamic) 4312 { 4313 /* This case can occur if we saw a PLT reloc in an input 4314 file, but the symbol was never referred to by a dynamic 4315 object. In such a case, we don't actually need to build 4316 a procedure linkage table, and we can just do a REL32 4317 reloc instead. */ 4318 BFD_ASSERT (h->needs_plt); 4319 return TRUE; 4320 } 4321 4322 /* Make sure this symbol is output as a dynamic symbol. */ 4323 if (h->dynindx == -1) 4324 { 4325 if (! bfd_elf_link_record_dynamic_symbol (info, h)) 4326 return FALSE; 4327 } 4328 4329 s = bfd_get_section_by_name (dynobj, ".plt"); 4330 BFD_ASSERT (s != NULL); 4331 4332 /* If this is the first .plt entry, make room for the special 4333 first entry. */ 4334 if (s->size == 0) 4335 s->size += elf_mn10300_sizeof_plt0 (info); 4336 4337 /* If this symbol is not defined in a regular file, and we are 4338 not generating a shared library, then set the symbol to this 4339 location in the .plt. This is required to make function 4340 pointers compare as equal between the normal executable and 4341 the shared library. */ 4342 if (! info->shared 4343 && !h->def_regular) 4344 { 4345 h->root.u.def.section = s; 4346 h->root.u.def.value = s->size; 4347 } 4348 4349 h->plt.offset = s->size; 4350 4351 /* Make room for this entry. */ 4352 s->size += elf_mn10300_sizeof_plt (info); 4353 4354 /* We also need to make an entry in the .got.plt section, which 4355 will be placed in the .got section by the linker script. */ 4356 s = bfd_get_section_by_name (dynobj, ".got.plt"); 4357 BFD_ASSERT (s != NULL); 4358 s->size += 4; 4359 4360 /* We also need to make an entry in the .rela.plt section. */ 4361 s = bfd_get_section_by_name (dynobj, ".rela.plt"); 4362 BFD_ASSERT (s != NULL); 4363 s->size += sizeof (Elf32_External_Rela); 4364 4365 return TRUE; 4366 } 4367 4368 /* If this is a weak symbol, and there is a real definition, the 4369 processor independent code will have arranged for us to see the 4370 real definition first, and we can just use the same value. */ 4371 if (h->u.weakdef != NULL) 4372 { 4373 BFD_ASSERT (h->u.weakdef->root.type == bfd_link_hash_defined 4374 || h->u.weakdef->root.type == bfd_link_hash_defweak); 4375 h->root.u.def.section = h->u.weakdef->root.u.def.section; 4376 h->root.u.def.value = h->u.weakdef->root.u.def.value; 4377 return TRUE; 4378 } 4379 4380 /* This is a reference to a symbol defined by a dynamic object which 4381 is not a function. */ 4382 4383 /* If we are creating a shared library, we must presume that the 4384 only references to the symbol are via the global offset table. 4385 For such cases we need not do anything here; the relocations will 4386 be handled correctly by relocate_section. */ 4387 if (info->shared) 4388 return TRUE; 4389 4390 /* If there are no references to this symbol that do not use the 4391 GOT, we don't need to generate a copy reloc. */ 4392 if (!h->non_got_ref) 4393 return TRUE; 4394 4395 if (h->size == 0) 4396 { 4397 (*_bfd_error_handler) (_("dynamic variable `%s' is zero size"), 4398 h->root.root.string); 4399 return TRUE; 4400 } 4401 4402 /* We must allocate the symbol in our .dynbss section, which will 4403 become part of the .bss section of the executable. There will be 4404 an entry for this symbol in the .dynsym section. The dynamic 4405 object will contain position independent code, so all references 4406 from the dynamic object to this symbol will go through the global 4407 offset table. The dynamic linker will use the .dynsym entry to 4408 determine the address it must put in the global offset table, so 4409 both the dynamic object and the regular object will refer to the 4410 same memory location for the variable. */ 4411 4412 s = bfd_get_section_by_name (dynobj, ".dynbss"); 4413 BFD_ASSERT (s != NULL); 4414 4415 /* We must generate a R_MN10300_COPY reloc to tell the dynamic linker to 4416 copy the initial value out of the dynamic object and into the 4417 runtime process image. We need to remember the offset into the 4418 .rela.bss section we are going to use. */ 4419 if ((h->root.u.def.section->flags & SEC_ALLOC) != 0) 4420 { 4421 asection * srel; 4422 4423 srel = bfd_get_section_by_name (dynobj, ".rela.bss"); 4424 BFD_ASSERT (srel != NULL); 4425 srel->size += sizeof (Elf32_External_Rela); 4426 h->needs_copy = 1; 4427 } 4428 4429 return _bfd_elf_adjust_dynamic_copy (h, s); 4430 } 4431 4432 /* Set the sizes of the dynamic sections. */ 4433 4434 static bfd_boolean 4435 _bfd_mn10300_elf_size_dynamic_sections (bfd * output_bfd, 4436 struct bfd_link_info * info) 4437 { 4438 bfd * dynobj; 4439 asection * s; 4440 bfd_boolean plt; 4441 bfd_boolean relocs; 4442 bfd_boolean reltext; 4443 4444 dynobj = elf_hash_table (info)->dynobj; 4445 BFD_ASSERT (dynobj != NULL); 4446 4447 if (elf_hash_table (info)->dynamic_sections_created) 4448 { 4449 /* Set the contents of the .interp section to the interpreter. */ 4450 if (info->executable) 4451 { 4452 s = bfd_get_section_by_name (dynobj, ".interp"); 4453 BFD_ASSERT (s != NULL); 4454 s->size = sizeof ELF_DYNAMIC_INTERPRETER; 4455 s->contents = (unsigned char *) ELF_DYNAMIC_INTERPRETER; 4456 } 4457 } 4458 else 4459 { 4460 /* We may have created entries in the .rela.got section. 4461 However, if we are not creating the dynamic sections, we will 4462 not actually use these entries. Reset the size of .rela.got, 4463 which will cause it to get stripped from the output file 4464 below. */ 4465 s = bfd_get_section_by_name (dynobj, ".rela.got"); 4466 if (s != NULL) 4467 s->size = 0; 4468 } 4469 4470 /* The check_relocs and adjust_dynamic_symbol entry points have 4471 determined the sizes of the various dynamic sections. Allocate 4472 memory for them. */ 4473 plt = FALSE; 4474 relocs = FALSE; 4475 reltext = FALSE; 4476 for (s = dynobj->sections; s != NULL; s = s->next) 4477 { 4478 const char * name; 4479 4480 if ((s->flags & SEC_LINKER_CREATED) == 0) 4481 continue; 4482 4483 /* It's OK to base decisions on the section name, because none 4484 of the dynobj section names depend upon the input files. */ 4485 name = bfd_get_section_name (dynobj, s); 4486 4487 if (streq (name, ".plt")) 4488 { 4489 /* Remember whether there is a PLT. */ 4490 plt = s->size != 0; 4491 } 4492 else if (CONST_STRNEQ (name, ".rela")) 4493 { 4494 if (s->size != 0) 4495 { 4496 asection * target; 4497 4498 /* Remember whether there are any reloc sections other 4499 than .rela.plt. */ 4500 if (! streq (name, ".rela.plt")) 4501 { 4502 const char * outname; 4503 4504 relocs = TRUE; 4505 4506 /* If this relocation section applies to a read only 4507 section, then we probably need a DT_TEXTREL 4508 entry. The entries in the .rela.plt section 4509 really apply to the .got section, which we 4510 created ourselves and so know is not readonly. */ 4511 outname = bfd_get_section_name (output_bfd, 4512 s->output_section); 4513 target = bfd_get_section_by_name (output_bfd, outname + 5); 4514 if (target != NULL 4515 && (target->flags & SEC_READONLY) != 0 4516 && (target->flags & SEC_ALLOC) != 0) 4517 reltext = TRUE; 4518 } 4519 4520 /* We use the reloc_count field as a counter if we need 4521 to copy relocs into the output file. */ 4522 s->reloc_count = 0; 4523 } 4524 } 4525 else if (! CONST_STRNEQ (name, ".got") 4526 && ! streq (name, ".dynbss")) 4527 /* It's not one of our sections, so don't allocate space. */ 4528 continue; 4529 4530 if (s->size == 0) 4531 { 4532 /* If we don't need this section, strip it from the 4533 output file. This is mostly to handle .rela.bss and 4534 .rela.plt. We must create both sections in 4535 create_dynamic_sections, because they must be created 4536 before the linker maps input sections to output 4537 sections. The linker does that before 4538 adjust_dynamic_symbol is called, and it is that 4539 function which decides whether anything needs to go 4540 into these sections. */ 4541 s->flags |= SEC_EXCLUDE; 4542 continue; 4543 } 4544 4545 if ((s->flags & SEC_HAS_CONTENTS) == 0) 4546 continue; 4547 4548 /* Allocate memory for the section contents. We use bfd_zalloc 4549 here in case unused entries are not reclaimed before the 4550 section's contents are written out. This should not happen, 4551 but this way if it does, we get a R_MN10300_NONE reloc 4552 instead of garbage. */ 4553 s->contents = bfd_zalloc (dynobj, s->size); 4554 if (s->contents == NULL) 4555 return FALSE; 4556 } 4557 4558 if (elf_hash_table (info)->dynamic_sections_created) 4559 { 4560 /* Add some entries to the .dynamic section. We fill in the 4561 values later, in _bfd_mn10300_elf_finish_dynamic_sections, 4562 but we must add the entries now so that we get the correct 4563 size for the .dynamic section. The DT_DEBUG entry is filled 4564 in by the dynamic linker and used by the debugger. */ 4565 if (! info->shared) 4566 { 4567 if (!_bfd_elf_add_dynamic_entry (info, DT_DEBUG, 0)) 4568 return FALSE; 4569 } 4570 4571 if (plt) 4572 { 4573 if (!_bfd_elf_add_dynamic_entry (info, DT_PLTGOT, 0) 4574 || !_bfd_elf_add_dynamic_entry (info, DT_PLTRELSZ, 0) 4575 || !_bfd_elf_add_dynamic_entry (info, DT_PLTREL, DT_RELA) 4576 || !_bfd_elf_add_dynamic_entry (info, DT_JMPREL, 0)) 4577 return FALSE; 4578 } 4579 4580 if (relocs) 4581 { 4582 if (!_bfd_elf_add_dynamic_entry (info, DT_RELA, 0) 4583 || !_bfd_elf_add_dynamic_entry (info, DT_RELASZ, 0) 4584 || !_bfd_elf_add_dynamic_entry (info, DT_RELAENT, 4585 sizeof (Elf32_External_Rela))) 4586 return FALSE; 4587 } 4588 4589 if (reltext) 4590 { 4591 if (!_bfd_elf_add_dynamic_entry (info, DT_TEXTREL, 0)) 4592 return FALSE; 4593 } 4594 } 4595 4596 return TRUE; 4597 } 4598 4599 /* Finish up dynamic symbol handling. We set the contents of various 4600 dynamic sections here. */ 4601 4602 static bfd_boolean 4603 _bfd_mn10300_elf_finish_dynamic_symbol (bfd * output_bfd, 4604 struct bfd_link_info * info, 4605 struct elf_link_hash_entry * h, 4606 Elf_Internal_Sym * sym) 4607 { 4608 bfd * dynobj; 4609 4610 dynobj = elf_hash_table (info)->dynobj; 4611 4612 if (h->plt.offset != (bfd_vma) -1) 4613 { 4614 asection * splt; 4615 asection * sgot; 4616 asection * srel; 4617 bfd_vma plt_index; 4618 bfd_vma got_offset; 4619 Elf_Internal_Rela rel; 4620 4621 /* This symbol has an entry in the procedure linkage table. Set 4622 it up. */ 4623 4624 BFD_ASSERT (h->dynindx != -1); 4625 4626 splt = bfd_get_section_by_name (dynobj, ".plt"); 4627 sgot = bfd_get_section_by_name (dynobj, ".got.plt"); 4628 srel = bfd_get_section_by_name (dynobj, ".rela.plt"); 4629 BFD_ASSERT (splt != NULL && sgot != NULL && srel != NULL); 4630 4631 /* Get the index in the procedure linkage table which 4632 corresponds to this symbol. This is the index of this symbol 4633 in all the symbols for which we are making plt entries. The 4634 first entry in the procedure linkage table is reserved. */ 4635 plt_index = ((h->plt.offset - elf_mn10300_sizeof_plt0 (info)) 4636 / elf_mn10300_sizeof_plt (info)); 4637 4638 /* Get the offset into the .got table of the entry that 4639 corresponds to this function. Each .got entry is 4 bytes. 4640 The first three are reserved. */ 4641 got_offset = (plt_index + 3) * 4; 4642 4643 /* Fill in the entry in the procedure linkage table. */ 4644 if (! info->shared) 4645 { 4646 memcpy (splt->contents + h->plt.offset, elf_mn10300_plt_entry, 4647 elf_mn10300_sizeof_plt (info)); 4648 bfd_put_32 (output_bfd, 4649 (sgot->output_section->vma 4650 + sgot->output_offset 4651 + got_offset), 4652 (splt->contents + h->plt.offset 4653 + elf_mn10300_plt_symbol_offset (info))); 4654 4655 bfd_put_32 (output_bfd, 4656 (1 - h->plt.offset - elf_mn10300_plt_plt0_offset (info)), 4657 (splt->contents + h->plt.offset 4658 + elf_mn10300_plt_plt0_offset (info))); 4659 } 4660 else 4661 { 4662 memcpy (splt->contents + h->plt.offset, elf_mn10300_pic_plt_entry, 4663 elf_mn10300_sizeof_plt (info)); 4664 4665 bfd_put_32 (output_bfd, got_offset, 4666 (splt->contents + h->plt.offset 4667 + elf_mn10300_plt_symbol_offset (info))); 4668 } 4669 4670 bfd_put_32 (output_bfd, plt_index * sizeof (Elf32_External_Rela), 4671 (splt->contents + h->plt.offset 4672 + elf_mn10300_plt_reloc_offset (info))); 4673 4674 /* Fill in the entry in the global offset table. */ 4675 bfd_put_32 (output_bfd, 4676 (splt->output_section->vma 4677 + splt->output_offset 4678 + h->plt.offset 4679 + elf_mn10300_plt_temp_offset (info)), 4680 sgot->contents + got_offset); 4681 4682 /* Fill in the entry in the .rela.plt section. */ 4683 rel.r_offset = (sgot->output_section->vma 4684 + sgot->output_offset 4685 + got_offset); 4686 rel.r_info = ELF32_R_INFO (h->dynindx, R_MN10300_JMP_SLOT); 4687 rel.r_addend = 0; 4688 bfd_elf32_swap_reloca_out (output_bfd, &rel, 4689 (bfd_byte *) ((Elf32_External_Rela *) srel->contents 4690 + plt_index)); 4691 4692 if (!h->def_regular) 4693 /* Mark the symbol as undefined, rather than as defined in 4694 the .plt section. Leave the value alone. */ 4695 sym->st_shndx = SHN_UNDEF; 4696 } 4697 4698 if (h->got.offset != (bfd_vma) -1) 4699 { 4700 asection * sgot; 4701 asection * srel; 4702 Elf_Internal_Rela rel; 4703 4704 /* This symbol has an entry in the global offset table. Set it up. */ 4705 sgot = bfd_get_section_by_name (dynobj, ".got"); 4706 srel = bfd_get_section_by_name (dynobj, ".rela.got"); 4707 BFD_ASSERT (sgot != NULL && srel != NULL); 4708 4709 rel.r_offset = (sgot->output_section->vma 4710 + sgot->output_offset 4711 + (h->got.offset & ~1)); 4712 4713 /* If this is a -Bsymbolic link, and the symbol is defined 4714 locally, we just want to emit a RELATIVE reloc. Likewise if 4715 the symbol was forced to be local because of a version file. 4716 The entry in the global offset table will already have been 4717 initialized in the relocate_section function. */ 4718 if (info->shared 4719 && (info->symbolic || h->dynindx == -1) 4720 && h->def_regular) 4721 { 4722 rel.r_info = ELF32_R_INFO (0, R_MN10300_RELATIVE); 4723 rel.r_addend = (h->root.u.def.value 4724 + h->root.u.def.section->output_section->vma 4725 + h->root.u.def.section->output_offset); 4726 } 4727 else 4728 { 4729 bfd_put_32 (output_bfd, (bfd_vma) 0, sgot->contents + h->got.offset); 4730 rel.r_info = ELF32_R_INFO (h->dynindx, R_MN10300_GLOB_DAT); 4731 rel.r_addend = 0; 4732 } 4733 4734 bfd_elf32_swap_reloca_out (output_bfd, &rel, 4735 (bfd_byte *) ((Elf32_External_Rela *) srel->contents 4736 + srel->reloc_count)); 4737 ++ srel->reloc_count; 4738 } 4739 4740 if (h->needs_copy) 4741 { 4742 asection * s; 4743 Elf_Internal_Rela rel; 4744 4745 /* This symbol needs a copy reloc. Set it up. */ 4746 BFD_ASSERT (h->dynindx != -1 4747 && (h->root.type == bfd_link_hash_defined 4748 || h->root.type == bfd_link_hash_defweak)); 4749 4750 s = bfd_get_section_by_name (h->root.u.def.section->owner, 4751 ".rela.bss"); 4752 BFD_ASSERT (s != NULL); 4753 4754 rel.r_offset = (h->root.u.def.value 4755 + h->root.u.def.section->output_section->vma 4756 + h->root.u.def.section->output_offset); 4757 rel.r_info = ELF32_R_INFO (h->dynindx, R_MN10300_COPY); 4758 rel.r_addend = 0; 4759 bfd_elf32_swap_reloca_out (output_bfd, & rel, 4760 (bfd_byte *) ((Elf32_External_Rela *) s->contents 4761 + s->reloc_count)); 4762 ++ s->reloc_count; 4763 } 4764 4765 /* Mark _DYNAMIC and _GLOBAL_OFFSET_TABLE_ as absolute. */ 4766 if (streq (h->root.root.string, "_DYNAMIC") 4767 || h == elf_hash_table (info)->hgot) 4768 sym->st_shndx = SHN_ABS; 4769 4770 return TRUE; 4771 } 4772 4773 /* Finish up the dynamic sections. */ 4774 4775 static bfd_boolean 4776 _bfd_mn10300_elf_finish_dynamic_sections (bfd * output_bfd, 4777 struct bfd_link_info * info) 4778 { 4779 bfd * dynobj; 4780 asection * sgot; 4781 asection * sdyn; 4782 4783 dynobj = elf_hash_table (info)->dynobj; 4784 4785 sgot = bfd_get_section_by_name (dynobj, ".got.plt"); 4786 BFD_ASSERT (sgot != NULL); 4787 sdyn = bfd_get_section_by_name (dynobj, ".dynamic"); 4788 4789 if (elf_hash_table (info)->dynamic_sections_created) 4790 { 4791 asection * splt; 4792 Elf32_External_Dyn * dyncon; 4793 Elf32_External_Dyn * dynconend; 4794 4795 BFD_ASSERT (sdyn != NULL); 4796 4797 dyncon = (Elf32_External_Dyn *) sdyn->contents; 4798 dynconend = (Elf32_External_Dyn *) (sdyn->contents + sdyn->size); 4799 4800 for (; dyncon < dynconend; dyncon++) 4801 { 4802 Elf_Internal_Dyn dyn; 4803 const char * name; 4804 asection * s; 4805 4806 bfd_elf32_swap_dyn_in (dynobj, dyncon, &dyn); 4807 4808 switch (dyn.d_tag) 4809 { 4810 default: 4811 break; 4812 4813 case DT_PLTGOT: 4814 name = ".got"; 4815 goto get_vma; 4816 4817 case DT_JMPREL: 4818 name = ".rela.plt"; 4819 get_vma: 4820 s = bfd_get_section_by_name (output_bfd, name); 4821 BFD_ASSERT (s != NULL); 4822 dyn.d_un.d_ptr = s->vma; 4823 bfd_elf32_swap_dyn_out (output_bfd, &dyn, dyncon); 4824 break; 4825 4826 case DT_PLTRELSZ: 4827 s = bfd_get_section_by_name (output_bfd, ".rela.plt"); 4828 BFD_ASSERT (s != NULL); 4829 dyn.d_un.d_val = s->size; 4830 bfd_elf32_swap_dyn_out (output_bfd, &dyn, dyncon); 4831 break; 4832 4833 case DT_RELASZ: 4834 /* My reading of the SVR4 ABI indicates that the 4835 procedure linkage table relocs (DT_JMPREL) should be 4836 included in the overall relocs (DT_RELA). This is 4837 what Solaris does. However, UnixWare can not handle 4838 that case. Therefore, we override the DT_RELASZ entry 4839 here to make it not include the JMPREL relocs. Since 4840 the linker script arranges for .rela.plt to follow all 4841 other relocation sections, we don't have to worry 4842 about changing the DT_RELA entry. */ 4843 s = bfd_get_section_by_name (output_bfd, ".rela.plt"); 4844 if (s != NULL) 4845 dyn.d_un.d_val -= s->size; 4846 bfd_elf32_swap_dyn_out (output_bfd, &dyn, dyncon); 4847 break; 4848 } 4849 } 4850 4851 /* Fill in the first entry in the procedure linkage table. */ 4852 splt = bfd_get_section_by_name (dynobj, ".plt"); 4853 if (splt && splt->size > 0) 4854 { 4855 if (info->shared) 4856 { 4857 memcpy (splt->contents, elf_mn10300_pic_plt_entry, 4858 elf_mn10300_sizeof_plt (info)); 4859 } 4860 else 4861 { 4862 memcpy (splt->contents, elf_mn10300_plt0_entry, PLT0_ENTRY_SIZE); 4863 bfd_put_32 (output_bfd, 4864 sgot->output_section->vma + sgot->output_offset + 4, 4865 splt->contents + elf_mn10300_plt0_gotid_offset (info)); 4866 bfd_put_32 (output_bfd, 4867 sgot->output_section->vma + sgot->output_offset + 8, 4868 splt->contents + elf_mn10300_plt0_linker_offset (info)); 4869 } 4870 4871 /* UnixWare sets the entsize of .plt to 4, although that doesn't 4872 really seem like the right value. */ 4873 elf_section_data (splt->output_section)->this_hdr.sh_entsize = 4; 4874 } 4875 } 4876 4877 /* Fill in the first three entries in the global offset table. */ 4878 if (sgot->size > 0) 4879 { 4880 if (sdyn == NULL) 4881 bfd_put_32 (output_bfd, (bfd_vma) 0, sgot->contents); 4882 else 4883 bfd_put_32 (output_bfd, 4884 sdyn->output_section->vma + sdyn->output_offset, 4885 sgot->contents); 4886 bfd_put_32 (output_bfd, (bfd_vma) 0, sgot->contents + 4); 4887 bfd_put_32 (output_bfd, (bfd_vma) 0, sgot->contents + 8); 4888 } 4889 4890 elf_section_data (sgot->output_section)->this_hdr.sh_entsize = 4; 4891 4892 return TRUE; 4893 } 4894 4895 /* Classify relocation types, such that combreloc can sort them 4896 properly. */ 4897 4898 static enum elf_reloc_type_class 4899 _bfd_mn10300_elf_reloc_type_class (const Elf_Internal_Rela *rela) 4900 { 4901 switch ((int) ELF32_R_TYPE (rela->r_info)) 4902 { 4903 case R_MN10300_RELATIVE: return reloc_class_relative; 4904 case R_MN10300_JMP_SLOT: return reloc_class_plt; 4905 case R_MN10300_COPY: return reloc_class_copy; 4906 default: return reloc_class_normal; 4907 } 4908 } 4909 4910 #ifndef ELF_ARCH 4911 #define TARGET_LITTLE_SYM bfd_elf32_mn10300_vec 4912 #define TARGET_LITTLE_NAME "elf32-mn10300" 4913 #define ELF_ARCH bfd_arch_mn10300 4914 #define ELF_MACHINE_CODE EM_MN10300 4915 #define ELF_MACHINE_ALT1 EM_CYGNUS_MN10300 4916 #define ELF_MAXPAGESIZE 0x1000 4917 #endif 4918 4919 #define elf_info_to_howto mn10300_info_to_howto 4920 #define elf_info_to_howto_rel 0 4921 #define elf_backend_can_gc_sections 1 4922 #define elf_backend_rela_normal 1 4923 #define elf_backend_check_relocs mn10300_elf_check_relocs 4924 #define elf_backend_gc_mark_hook mn10300_elf_gc_mark_hook 4925 #define elf_backend_relocate_section mn10300_elf_relocate_section 4926 #define bfd_elf32_bfd_relax_section mn10300_elf_relax_section 4927 #define bfd_elf32_bfd_get_relocated_section_contents \ 4928 mn10300_elf_get_relocated_section_contents 4929 #define bfd_elf32_bfd_link_hash_table_create \ 4930 elf32_mn10300_link_hash_table_create 4931 #define bfd_elf32_bfd_link_hash_table_free \ 4932 elf32_mn10300_link_hash_table_free 4933 4934 #ifndef elf_symbol_leading_char 4935 #define elf_symbol_leading_char '_' 4936 #endif 4937 4938 /* So we can set bits in e_flags. */ 4939 #define elf_backend_final_write_processing \ 4940 _bfd_mn10300_elf_final_write_processing 4941 #define elf_backend_object_p _bfd_mn10300_elf_object_p 4942 4943 #define bfd_elf32_bfd_merge_private_bfd_data \ 4944 _bfd_mn10300_elf_merge_private_bfd_data 4945 4946 #define elf_backend_can_gc_sections 1 4947 #define elf_backend_create_dynamic_sections \ 4948 _bfd_mn10300_elf_create_dynamic_sections 4949 #define elf_backend_adjust_dynamic_symbol \ 4950 _bfd_mn10300_elf_adjust_dynamic_symbol 4951 #define elf_backend_size_dynamic_sections \ 4952 _bfd_mn10300_elf_size_dynamic_sections 4953 #define elf_backend_omit_section_dynsym \ 4954 ((bfd_boolean (*) (bfd *, struct bfd_link_info *, asection *)) bfd_true) 4955 #define elf_backend_finish_dynamic_symbol \ 4956 _bfd_mn10300_elf_finish_dynamic_symbol 4957 #define elf_backend_finish_dynamic_sections \ 4958 _bfd_mn10300_elf_finish_dynamic_sections 4959 4960 #define elf_backend_reloc_type_class \ 4961 _bfd_mn10300_elf_reloc_type_class 4962 4963 #define elf_backend_want_got_plt 1 4964 #define elf_backend_plt_readonly 1 4965 #define elf_backend_want_plt_sym 0 4966 #define elf_backend_got_header_size 12 4967 4968 #include "elf32-target.h" 4969