1 /* BFD back-end for Renesas H8/300 ELF binaries. 2 Copyright (C) 1993-2024 Free Software Foundation, Inc. 3 4 This file is part of BFD, the Binary File Descriptor library. 5 6 This program is free software; you can redistribute it and/or modify 7 it under the terms of the GNU General Public License as published by 8 the Free Software Foundation; either version 3 of the License, or 9 (at your option) any later version. 10 11 This program is distributed in the hope that it will be useful, 12 but WITHOUT ANY WARRANTY; without even the implied warranty of 13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 14 GNU General Public License for more details. 15 16 You should have received a copy of the GNU General Public License 17 along with this program; if not, write to the Free Software 18 Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston, 19 MA 02110-1301, USA. */ 20 21 #include "sysdep.h" 22 #include "bfd.h" 23 #include "libbfd.h" 24 #include "elf-bfd.h" 25 #include "elf/h8.h" 26 #include "cpu-h8300.h" 27 28 static reloc_howto_type *elf32_h8_reloc_type_lookup 29 (bfd *abfd, bfd_reloc_code_real_type code); 30 static bool elf32_h8_info_to_howto 31 (bfd *, arelent *, Elf_Internal_Rela *); 32 static bool elf32_h8_info_to_howto_rel 33 (bfd *, arelent *, Elf_Internal_Rela *); 34 static unsigned long elf32_h8_mach (flagword); 35 static bool elf32_h8_object_p (bfd *); 36 static bool elf32_h8_merge_private_bfd_data 37 (bfd *, struct bfd_link_info *); 38 static bool elf32_h8_relax_section 39 (bfd *, asection *, struct bfd_link_info *, bool *); 40 static bool elf32_h8_relax_delete_bytes 41 (bfd *, asection *, bfd_vma, int); 42 static bool elf32_h8_symbol_address_p (bfd *, asection *, bfd_vma); 43 static bfd_byte *elf32_h8_get_relocated_section_contents 44 (bfd *, struct bfd_link_info *, struct bfd_link_order *, 45 bfd_byte *, bool, asymbol **); 46 static bfd_reloc_status_type elf32_h8_final_link_relocate 47 (unsigned long, bfd *, bfd *, asection *, 48 bfd_byte *, bfd_vma, bfd_vma, bfd_vma, 49 struct bfd_link_info *, asection *, int); 50 static int elf32_h8_relocate_section 51 (bfd *, struct bfd_link_info *, bfd *, asection *, 52 bfd_byte *, Elf_Internal_Rela *, 53 Elf_Internal_Sym *, asection **); 54 static bfd_reloc_status_type special 55 (bfd *, arelent *, asymbol *, void *, asection *, bfd *, char **); 56 57 /* This does not include any relocation information, but should be 58 good enough for GDB or objdump to read the file. */ 59 60 static reloc_howto_type h8_elf_howto_table[] = 61 { 62 #define R_H8_NONE_X 0 63 HOWTO (R_H8_NONE, /* type */ 64 0, /* rightshift */ 65 0, /* size */ 66 0, /* bitsize */ 67 false, /* pc_relative */ 68 0, /* bitpos */ 69 complain_overflow_dont,/* complain_on_overflow */ 70 special, /* special_function */ 71 "R_H8_NONE", /* name */ 72 false, /* partial_inplace */ 73 0, /* src_mask */ 74 0, /* dst_mask */ 75 false), /* pcrel_offset */ 76 #define R_H8_DIR32_X (R_H8_NONE_X + 1) 77 HOWTO (R_H8_DIR32, /* type */ 78 0, /* rightshift */ 79 4, /* size */ 80 32, /* bitsize */ 81 false, /* pc_relative */ 82 0, /* bitpos */ 83 complain_overflow_dont,/* complain_on_overflow */ 84 special, /* special_function */ 85 "R_H8_DIR32", /* name */ 86 false, /* partial_inplace */ 87 0, /* src_mask */ 88 0xffffffff, /* dst_mask */ 89 false), /* pcrel_offset */ 90 #define R_H8_DIR16_X (R_H8_DIR32_X + 1) 91 HOWTO (R_H8_DIR16, /* type */ 92 0, /* rightshift */ 93 2, /* size */ 94 16, /* bitsize */ 95 false, /* pc_relative */ 96 0, /* bitpos */ 97 complain_overflow_dont,/* complain_on_overflow */ 98 special, /* special_function */ 99 "R_H8_DIR16", /* name */ 100 false, /* partial_inplace */ 101 0, /* src_mask */ 102 0x0000ffff, /* dst_mask */ 103 false), /* pcrel_offset */ 104 #define R_H8_DIR8_X (R_H8_DIR16_X + 1) 105 HOWTO (R_H8_DIR8, /* type */ 106 0, /* rightshift */ 107 1, /* size */ 108 8, /* bitsize */ 109 false, /* pc_relative */ 110 0, /* bitpos */ 111 complain_overflow_dont,/* complain_on_overflow */ 112 special, /* special_function */ 113 "R_H8_DIR8", /* name */ 114 false, /* partial_inplace */ 115 0, /* src_mask */ 116 0x000000ff, /* dst_mask */ 117 false), /* pcrel_offset */ 118 #define R_H8_DIR16A8_X (R_H8_DIR8_X + 1) 119 HOWTO (R_H8_DIR16A8, /* type */ 120 0, /* rightshift */ 121 2, /* size */ 122 16, /* bitsize */ 123 false, /* pc_relative */ 124 0, /* bitpos */ 125 complain_overflow_bitfield, /* complain_on_overflow */ 126 special, /* special_function */ 127 "R_H8_DIR16A8", /* name */ 128 false, /* partial_inplace */ 129 0, /* src_mask */ 130 0x0000ffff, /* dst_mask */ 131 false), /* pcrel_offset */ 132 #define R_H8_DIR16R8_X (R_H8_DIR16A8_X + 1) 133 HOWTO (R_H8_DIR16R8, /* type */ 134 0, /* rightshift */ 135 2, /* size */ 136 16, /* bitsize */ 137 false, /* pc_relative */ 138 0, /* bitpos */ 139 complain_overflow_bitfield, /* complain_on_overflow */ 140 special, /* special_function */ 141 "R_H8_DIR16R8", /* name */ 142 false, /* partial_inplace */ 143 0, /* src_mask */ 144 0x0000ffff, /* dst_mask */ 145 false), /* pcrel_offset */ 146 #define R_H8_DIR24A8_X (R_H8_DIR16R8_X + 1) 147 HOWTO (R_H8_DIR24A8, /* type */ 148 0, /* rightshift */ 149 4, /* size */ 150 24, /* bitsize */ 151 false, /* pc_relative */ 152 0, /* bitpos */ 153 complain_overflow_bitfield, /* complain_on_overflow */ 154 special, /* special_function */ 155 "R_H8_DIR24A8", /* name */ 156 true, /* partial_inplace */ 157 0xff000000, /* src_mask */ 158 0x00ffffff, /* dst_mask */ 159 false), /* pcrel_offset */ 160 #define R_H8_DIR24R8_X (R_H8_DIR24A8_X + 1) 161 HOWTO (R_H8_DIR24R8, /* type */ 162 0, /* rightshift */ 163 4, /* size */ 164 24, /* bitsize */ 165 false, /* pc_relative */ 166 0, /* bitpos */ 167 complain_overflow_bitfield, /* complain_on_overflow */ 168 special, /* special_function */ 169 "R_H8_DIR24R8", /* name */ 170 true, /* partial_inplace */ 171 0xff000000, /* src_mask */ 172 0x00ffffff, /* dst_mask */ 173 false), /* pcrel_offset */ 174 #define R_H8_DIR32A16_X (R_H8_DIR24R8_X + 1) 175 HOWTO (R_H8_DIR32A16, /* type */ 176 0, /* rightshift */ 177 4, /* size */ 178 32, /* bitsize */ 179 false, /* pc_relative */ 180 0, /* bitpos */ 181 complain_overflow_dont,/* complain_on_overflow */ 182 special, /* special_function */ 183 "R_H8_DIR32A16", /* name */ 184 false, /* partial_inplace */ 185 0, /* src_mask */ 186 0xffffffff, /* dst_mask */ 187 false), /* pcrel_offset */ 188 #define R_H8_DISP32A16_X (R_H8_DIR32A16_X + 1) 189 HOWTO (R_H8_DISP32A16, /* type */ 190 0, /* rightshift */ 191 4, /* size */ 192 32, /* bitsize */ 193 false, /* pc_relative */ 194 0, /* bitpos */ 195 complain_overflow_dont,/* complain_on_overflow */ 196 special, /* special_function */ 197 "R_H8_DISP32A16", /* name */ 198 false, /* partial_inplace */ 199 0, /* src_mask */ 200 0xffffffff, /* dst_mask */ 201 false), /* pcrel_offset */ 202 #define R_H8_PCREL16_X (R_H8_DISP32A16_X + 1) 203 HOWTO (R_H8_PCREL16, /* type */ 204 0, /* rightshift */ 205 2, /* size */ 206 16, /* bitsize */ 207 true, /* pc_relative */ 208 0, /* bitpos */ 209 complain_overflow_signed,/* complain_on_overflow */ 210 special, /* special_function */ 211 "R_H8_PCREL16", /* name */ 212 false, /* partial_inplace */ 213 0xffff, /* src_mask */ 214 0xffff, /* dst_mask */ 215 true), /* pcrel_offset */ 216 #define R_H8_PCREL8_X (R_H8_PCREL16_X + 1) 217 HOWTO (R_H8_PCREL8, /* type */ 218 0, /* rightshift */ 219 1, /* size */ 220 8, /* bitsize */ 221 true, /* pc_relative */ 222 0, /* bitpos */ 223 complain_overflow_signed,/* complain_on_overflow */ 224 special, /* special_function */ 225 "R_H8_PCREL8", /* name */ 226 false, /* partial_inplace */ 227 0xff, /* src_mask */ 228 0xff, /* dst_mask */ 229 true), /* pcrel_offset */ 230 }; 231 232 /* This structure is used to map BFD reloc codes to H8 ELF relocs. */ 233 234 struct elf_reloc_map { 235 bfd_reloc_code_real_type bfd_reloc_val; 236 unsigned char howto_index; 237 }; 238 239 /* An array mapping BFD reloc codes to H8 ELF relocs. */ 240 241 static const struct elf_reloc_map h8_reloc_map[] = { 242 { BFD_RELOC_NONE, R_H8_NONE_X }, 243 { BFD_RELOC_32, R_H8_DIR32_X }, 244 { BFD_RELOC_16, R_H8_DIR16_X }, 245 { BFD_RELOC_8, R_H8_DIR8_X }, 246 { BFD_RELOC_H8_DIR16A8, R_H8_DIR16A8_X }, 247 { BFD_RELOC_H8_DIR16R8, R_H8_DIR16R8_X }, 248 { BFD_RELOC_H8_DIR24A8, R_H8_DIR24A8_X }, 249 { BFD_RELOC_H8_DIR24R8, R_H8_DIR24R8_X }, 250 { BFD_RELOC_H8_DIR32A16, R_H8_DIR32A16_X }, 251 { BFD_RELOC_H8_DISP32A16, R_H8_DISP32A16_X }, 252 { BFD_RELOC_16_PCREL, R_H8_PCREL16_X }, 253 { BFD_RELOC_8_PCREL, R_H8_PCREL8_X }, 254 }; 255 256 257 static reloc_howto_type * 258 elf32_h8_reloc_type_lookup (bfd *abfd ATTRIBUTE_UNUSED, 259 bfd_reloc_code_real_type code) 260 { 261 unsigned int i; 262 263 for (i = 0; i < sizeof (h8_reloc_map) / sizeof (struct elf_reloc_map); i++) 264 { 265 if (h8_reloc_map[i].bfd_reloc_val == code) 266 return &h8_elf_howto_table[(int) h8_reloc_map[i].howto_index]; 267 } 268 return NULL; 269 } 270 271 static reloc_howto_type * 272 elf32_h8_reloc_name_lookup (bfd *abfd ATTRIBUTE_UNUSED, 273 const char *r_name) 274 { 275 unsigned int i; 276 277 for (i = 0; 278 i < sizeof (h8_elf_howto_table) / sizeof (h8_elf_howto_table[0]); 279 i++) 280 if (h8_elf_howto_table[i].name != NULL 281 && strcasecmp (h8_elf_howto_table[i].name, r_name) == 0) 282 return &h8_elf_howto_table[i]; 283 284 return NULL; 285 } 286 287 static bool 288 elf32_h8_info_to_howto (bfd *abfd ATTRIBUTE_UNUSED, arelent *bfd_reloc, 289 Elf_Internal_Rela *elf_reloc) 290 { 291 unsigned int r; 292 unsigned int i; 293 294 r = ELF32_R_TYPE (elf_reloc->r_info); 295 for (i = 0; i < sizeof (h8_elf_howto_table) / sizeof (reloc_howto_type); i++) 296 if (h8_elf_howto_table[i].type == r) 297 { 298 bfd_reloc->howto = &h8_elf_howto_table[i]; 299 return true; 300 } 301 /* xgettext:c-format */ 302 _bfd_error_handler (_("%pB: unsupported relocation type %#x"), abfd, r); 303 bfd_set_error (bfd_error_bad_value); 304 return false; 305 } 306 307 static bool 308 elf32_h8_info_to_howto_rel (bfd *abfd ATTRIBUTE_UNUSED, 309 arelent *bfd_reloc ATTRIBUTE_UNUSED, 310 Elf_Internal_Rela *elf_reloc ATTRIBUTE_UNUSED) 311 { 312 return false; 313 } 314 315 /* Special handling for H8/300 relocs. 316 We only come here for pcrel stuff and return normally if not an -r link. 317 When doing -r, we can't do any arithmetic for the pcrel stuff, because 318 we support relaxing on the H8/300 series chips. */ 319 static bfd_reloc_status_type 320 special (bfd *abfd ATTRIBUTE_UNUSED, 321 arelent *reloc_entry ATTRIBUTE_UNUSED, 322 asymbol *symbol ATTRIBUTE_UNUSED, 323 void * data ATTRIBUTE_UNUSED, 324 asection *input_section ATTRIBUTE_UNUSED, 325 bfd *output_bfd, 326 char **error_message ATTRIBUTE_UNUSED) 327 { 328 if (output_bfd == (bfd *) NULL) 329 return bfd_reloc_continue; 330 331 /* Adjust the reloc address to that in the output section. */ 332 reloc_entry->address += input_section->output_offset; 333 return bfd_reloc_ok; 334 } 335 336 /* Perform a relocation as part of a final link. */ 337 static bfd_reloc_status_type 338 elf32_h8_final_link_relocate (unsigned long r_type, bfd *input_bfd, 339 bfd *output_bfd ATTRIBUTE_UNUSED, 340 asection *input_section ATTRIBUTE_UNUSED, 341 bfd_byte *contents, bfd_vma offset, 342 bfd_vma value, bfd_vma addend, 343 struct bfd_link_info *info ATTRIBUTE_UNUSED, 344 asection *sym_sec ATTRIBUTE_UNUSED, 345 int is_local ATTRIBUTE_UNUSED) 346 { 347 bfd_byte *hit_data = contents + offset; 348 349 switch (r_type) 350 { 351 case R_H8_NONE: 352 return bfd_reloc_ok; 353 354 case R_H8_DIR32: 355 case R_H8_DIR32A16: 356 case R_H8_DISP32A16: 357 case R_H8_DIR24A8: 358 value += addend; 359 bfd_put_32 (input_bfd, value, hit_data); 360 return bfd_reloc_ok; 361 362 case R_H8_DIR16: 363 case R_H8_DIR16A8: 364 case R_H8_DIR16R8: 365 value += addend; 366 bfd_put_16 (input_bfd, value, hit_data); 367 return bfd_reloc_ok; 368 369 /* AKA R_RELBYTE */ 370 case R_H8_DIR8: 371 value += addend; 372 373 bfd_put_8 (input_bfd, value, hit_data); 374 return bfd_reloc_ok; 375 376 case R_H8_DIR24R8: 377 value += addend; 378 379 /* HIT_DATA is the address for the first byte for the relocated 380 value. Subtract 1 so that we can manipulate the data in 32-bit 381 hunks. */ 382 hit_data--; 383 384 /* Clear out the top byte in value. */ 385 value &= 0xffffff; 386 387 /* Retrieve the type byte for value from the section contents. */ 388 value |= (bfd_get_32 (input_bfd, hit_data) & 0xff000000); 389 390 /* Now scribble it out in one 32-bit hunk. */ 391 bfd_put_32 (input_bfd, value, hit_data); 392 return bfd_reloc_ok; 393 394 case R_H8_PCREL16: 395 value -= (input_section->output_section->vma 396 + input_section->output_offset); 397 value -= offset; 398 value += addend; 399 400 /* The value is relative to the start of the instruction, 401 not the relocation offset. Subtract 2 to account for 402 this minor issue. */ 403 value -= 2; 404 405 bfd_put_16 (input_bfd, value, hit_data); 406 return bfd_reloc_ok; 407 408 case R_H8_PCREL8: 409 value -= (input_section->output_section->vma 410 + input_section->output_offset); 411 value -= offset; 412 value += addend; 413 414 /* The value is relative to the start of the instruction, 415 not the relocation offset. Subtract 1 to account for 416 this minor issue. */ 417 value -= 1; 418 419 bfd_put_8 (input_bfd, value, hit_data); 420 return bfd_reloc_ok; 421 422 default: 423 return bfd_reloc_notsupported; 424 } 425 } 426 427 /* Relocate an H8 ELF section. */ 428 static int 429 elf32_h8_relocate_section (bfd *output_bfd, struct bfd_link_info *info, 430 bfd *input_bfd, asection *input_section, 431 bfd_byte *contents, Elf_Internal_Rela *relocs, 432 Elf_Internal_Sym *local_syms, 433 asection **local_sections) 434 { 435 Elf_Internal_Shdr *symtab_hdr; 436 struct elf_link_hash_entry **sym_hashes; 437 Elf_Internal_Rela *rel, *relend; 438 439 symtab_hdr = &elf_tdata (input_bfd)->symtab_hdr; 440 sym_hashes = elf_sym_hashes (input_bfd); 441 442 rel = relocs; 443 relend = relocs + input_section->reloc_count; 444 for (; rel < relend; rel++) 445 { 446 unsigned int r_type; 447 unsigned long r_symndx; 448 Elf_Internal_Sym *sym; 449 asection *sec; 450 struct elf_link_hash_entry *h; 451 bfd_vma relocation; 452 bfd_reloc_status_type r; 453 arelent bfd_reloc; 454 reloc_howto_type *howto; 455 456 if (! elf32_h8_info_to_howto (input_bfd, &bfd_reloc, rel)) 457 continue; 458 howto = bfd_reloc.howto; 459 460 r_symndx = ELF32_R_SYM (rel->r_info); 461 r_type = ELF32_R_TYPE (rel->r_info); 462 h = NULL; 463 sym = NULL; 464 sec = NULL; 465 if (r_symndx < symtab_hdr->sh_info) 466 { 467 sym = local_syms + r_symndx; 468 sec = local_sections[r_symndx]; 469 relocation = _bfd_elf_rela_local_sym (output_bfd, sym, &sec, rel); 470 } 471 else 472 { 473 bool unresolved_reloc, warned, ignored; 474 475 RELOC_FOR_GLOBAL_SYMBOL (info, input_bfd, input_section, rel, 476 r_symndx, symtab_hdr, sym_hashes, 477 h, sec, relocation, 478 unresolved_reloc, warned, ignored); 479 } 480 481 if (sec != NULL && discarded_section (sec)) 482 RELOC_AGAINST_DISCARDED_SECTION (info, input_bfd, input_section, 483 rel, 1, relend, howto, 0, contents); 484 485 if (bfd_link_relocatable (info)) 486 continue; 487 488 r = elf32_h8_final_link_relocate (r_type, input_bfd, output_bfd, 489 input_section, 490 contents, rel->r_offset, 491 relocation, rel->r_addend, 492 info, sec, h == NULL); 493 494 if (r != bfd_reloc_ok) 495 { 496 const char *name; 497 const char *msg = (const char *) 0; 498 499 if (h != NULL) 500 name = h->root.root.string; 501 else 502 { 503 name = (bfd_elf_string_from_elf_section 504 (input_bfd, symtab_hdr->sh_link, sym->st_name)); 505 if (name == NULL || *name == '\0') 506 name = bfd_section_name (sec); 507 } 508 509 switch (r) 510 { 511 case bfd_reloc_overflow: 512 (*info->callbacks->reloc_overflow) 513 (info, (h ? &h->root : NULL), name, howto->name, 514 (bfd_vma) 0, input_bfd, input_section, rel->r_offset); 515 break; 516 517 case bfd_reloc_undefined: 518 (*info->callbacks->undefined_symbol) 519 (info, name, input_bfd, input_section, rel->r_offset, true); 520 break; 521 522 case bfd_reloc_outofrange: 523 msg = _("internal error: out of range error"); 524 goto common_error; 525 526 case bfd_reloc_notsupported: 527 msg = _("internal error: unsupported relocation error"); 528 goto common_error; 529 530 case bfd_reloc_dangerous: 531 msg = _("internal error: dangerous error"); 532 goto common_error; 533 534 default: 535 msg = _("internal error: unknown error"); 536 /* fall through */ 537 538 common_error: 539 (*info->callbacks->warning) (info, msg, name, input_bfd, 540 input_section, rel->r_offset); 541 break; 542 } 543 } 544 } 545 546 return true; 547 } 548 549 /* Object files encode the specific H8 model they were compiled 550 for in the ELF flags field. 551 552 Examine that field and return the proper BFD machine type for 553 the object file. */ 554 static unsigned long 555 elf32_h8_mach (flagword flags) 556 { 557 switch (flags & EF_H8_MACH) 558 { 559 case E_H8_MACH_H8300: 560 default: 561 return bfd_mach_h8300; 562 563 case E_H8_MACH_H8300H: 564 return bfd_mach_h8300h; 565 566 case E_H8_MACH_H8300S: 567 return bfd_mach_h8300s; 568 569 case E_H8_MACH_H8300HN: 570 return bfd_mach_h8300hn; 571 572 case E_H8_MACH_H8300SN: 573 return bfd_mach_h8300sn; 574 575 case E_H8_MACH_H8300SX: 576 return bfd_mach_h8300sx; 577 578 case E_H8_MACH_H8300SXN: 579 return bfd_mach_h8300sxn; 580 } 581 } 582 583 /* The final processing done just before writing out a H8 ELF object 584 file. We use this opportunity to encode the BFD machine type 585 into the flags field in the object file. */ 586 587 static bool 588 elf32_h8_final_write_processing (bfd *abfd) 589 { 590 unsigned long val; 591 592 switch (bfd_get_mach (abfd)) 593 { 594 default: 595 case bfd_mach_h8300: 596 val = E_H8_MACH_H8300; 597 break; 598 599 case bfd_mach_h8300h: 600 val = E_H8_MACH_H8300H; 601 break; 602 603 case bfd_mach_h8300s: 604 val = E_H8_MACH_H8300S; 605 break; 606 607 case bfd_mach_h8300hn: 608 val = E_H8_MACH_H8300HN; 609 break; 610 611 case bfd_mach_h8300sn: 612 val = E_H8_MACH_H8300SN; 613 break; 614 615 case bfd_mach_h8300sx: 616 val = E_H8_MACH_H8300SX; 617 break; 618 619 case bfd_mach_h8300sxn: 620 val = E_H8_MACH_H8300SXN; 621 break; 622 } 623 624 elf_elfheader (abfd)->e_flags &= ~ (EF_H8_MACH); 625 elf_elfheader (abfd)->e_flags |= val; 626 return _bfd_elf_final_write_processing (abfd); 627 } 628 629 /* Return nonzero if ABFD represents a valid H8 ELF object file; also 630 record the encoded machine type found in the ELF flags. */ 631 632 static bool 633 elf32_h8_object_p (bfd *abfd) 634 { 635 bfd_default_set_arch_mach (abfd, bfd_arch_h8300, 636 elf32_h8_mach (elf_elfheader (abfd)->e_flags)); 637 return true; 638 } 639 640 /* Merge backend specific data from an object file to the output 641 object file when linking. The only data we need to copy at this 642 time is the architecture/machine information. */ 643 644 static bool 645 elf32_h8_merge_private_bfd_data (bfd *ibfd, struct bfd_link_info *info) 646 { 647 bfd *obfd = info->output_bfd; 648 649 if (bfd_get_flavour (ibfd) != bfd_target_elf_flavour 650 || bfd_get_flavour (obfd) != bfd_target_elf_flavour) 651 return true; 652 653 if (bfd_get_arch (obfd) == bfd_get_arch (ibfd) 654 && bfd_get_mach (obfd) < bfd_get_mach (ibfd)) 655 { 656 if (! bfd_set_arch_mach (obfd, bfd_get_arch (ibfd), 657 bfd_get_mach (ibfd))) 658 return false; 659 } 660 661 return true; 662 } 663 664 /* This function handles relaxing for the H8.. 665 666 There are a few relaxing opportunities available on the H8: 667 668 jmp/jsr:24 -> bra/bsr:8 2 bytes 669 The jmp may be completely eliminated if the previous insn is a 670 conditional branch to the insn after the jump. In that case 671 we invert the branch and delete the jump and save 4 bytes. 672 673 bCC:16 -> bCC:8 2 bytes 674 bsr:16 -> bsr:8 2 bytes 675 676 bset:16 -> bset:8 2 bytes 677 bset:24/32 -> bset:8 4 bytes 678 (also applicable to other bit manipulation instructions) 679 680 mov.b:16 -> mov.b:8 2 bytes 681 mov.b:24/32 -> mov.b:8 4 bytes 682 683 bset:24/32 -> bset:16 2 bytes 684 (also applicable to other bit manipulation instructions) 685 686 mov.[bwl]:24/32 -> mov.[bwl]:16 2 bytes 687 688 mov.[bwl] @(displ:24/32+ERx) -> mov.[bwl] @(displ:16+ERx) 4 bytes. */ 689 690 static bool 691 elf32_h8_relax_section (bfd *abfd, asection *sec, 692 struct bfd_link_info *link_info, bool *again) 693 { 694 Elf_Internal_Shdr *symtab_hdr; 695 Elf_Internal_Rela *internal_relocs; 696 Elf_Internal_Rela *irel, *irelend; 697 bfd_byte *contents = NULL; 698 Elf_Internal_Sym *isymbuf = NULL; 699 static asection *last_input_section = NULL; 700 static Elf_Internal_Rela *last_reloc = NULL; 701 702 /* Assume nothing changes. */ 703 *again = false; 704 705 /* We don't have to do anything for a relocatable link, if 706 this section does not have relocs, or if this is not a 707 code section. */ 708 if (bfd_link_relocatable (link_info) 709 || sec->reloc_count == 0 710 || (sec->flags & SEC_RELOC) == 0 711 || (sec->flags & SEC_HAS_CONTENTS) == 0 712 || (sec->flags & SEC_CODE) == 0) 713 return true; 714 715 symtab_hdr = &elf_tdata (abfd)->symtab_hdr; 716 717 /* Get a copy of the native relocations. */ 718 internal_relocs = (_bfd_elf_link_read_relocs 719 (abfd, sec, NULL, (Elf_Internal_Rela *) NULL, 720 link_info->keep_memory)); 721 if (internal_relocs == NULL) 722 goto error_return; 723 724 if (sec != last_input_section) 725 last_reloc = NULL; 726 727 last_input_section = sec; 728 729 /* Walk through the relocs looking for relaxing opportunities. */ 730 irelend = internal_relocs + sec->reloc_count; 731 for (irel = internal_relocs; irel < irelend; irel++) 732 { 733 bfd_vma symval; 734 735 { 736 arelent bfd_reloc; 737 738 if (! elf32_h8_info_to_howto (abfd, &bfd_reloc, irel)) 739 continue; 740 } 741 /* Keep track of the previous reloc so that we can delete 742 some long jumps created by the compiler. */ 743 if (irel != internal_relocs) 744 last_reloc = irel - 1; 745 746 switch(ELF32_R_TYPE (irel->r_info)) 747 { 748 case R_H8_DIR24R8: 749 case R_H8_PCREL16: 750 case R_H8_DIR16A8: 751 case R_H8_DIR24A8: 752 case R_H8_DIR32A16: 753 case R_H8_DISP32A16: 754 break; 755 default: 756 continue; 757 } 758 759 /* Get the section contents if we haven't done so already. */ 760 if (contents == NULL) 761 { 762 /* Get cached copy if it exists. */ 763 if (elf_section_data (sec)->this_hdr.contents != NULL) 764 contents = elf_section_data (sec)->this_hdr.contents; 765 else 766 { 767 /* Go get them off disk. */ 768 if (!bfd_malloc_and_get_section (abfd, sec, &contents)) 769 goto error_return; 770 } 771 } 772 773 /* Read this BFD's local symbols if we haven't done so already. */ 774 if (isymbuf == NULL && symtab_hdr->sh_info != 0) 775 { 776 isymbuf = (Elf_Internal_Sym *) symtab_hdr->contents; 777 if (isymbuf == NULL) 778 isymbuf = bfd_elf_get_elf_syms (abfd, symtab_hdr, 779 symtab_hdr->sh_info, 0, 780 NULL, NULL, NULL); 781 if (isymbuf == NULL) 782 goto error_return; 783 } 784 785 /* Get the value of the symbol referred to by the reloc. */ 786 if (ELF32_R_SYM (irel->r_info) < symtab_hdr->sh_info) 787 { 788 /* A local symbol. */ 789 Elf_Internal_Sym *isym; 790 asection *sym_sec; 791 792 isym = isymbuf + ELF32_R_SYM (irel->r_info); 793 sym_sec = bfd_section_from_elf_index (abfd, isym->st_shndx); 794 symval = isym->st_value; 795 /* If the reloc is absolute, it will not have 796 a symbol or section associated with it. */ 797 if (sym_sec) 798 symval += sym_sec->output_section->vma 799 + sym_sec->output_offset; 800 } 801 else 802 { 803 unsigned long indx; 804 struct elf_link_hash_entry *h; 805 806 /* An external symbol. */ 807 indx = ELF32_R_SYM (irel->r_info) - symtab_hdr->sh_info; 808 h = elf_sym_hashes (abfd)[indx]; 809 BFD_ASSERT (h != NULL); 810 if (h->root.type != bfd_link_hash_defined 811 && h->root.type != bfd_link_hash_defweak) 812 { 813 /* This appears to be a reference to an undefined 814 symbol. Just ignore it--it will be caught by the 815 regular reloc processing. */ 816 continue; 817 } 818 819 symval = (h->root.u.def.value 820 + h->root.u.def.section->output_section->vma 821 + h->root.u.def.section->output_offset); 822 } 823 824 /* For simplicity of coding, we are going to modify the section 825 contents, the section relocs, and the BFD symbol table. We 826 must tell the rest of the code not to free up this 827 information. It would be possible to instead create a table 828 of changes which have to be made, as is done in coff-mips.c; 829 that would be more work, but would require less memory when 830 the linker is run. */ 831 switch (ELF32_R_TYPE (irel->r_info)) 832 { 833 /* Try to turn a 24-bit absolute branch/call into an 8-bit 834 pc-relative branch/call. */ 835 case R_H8_DIR24R8: 836 { 837 bfd_vma value = symval + irel->r_addend; 838 bfd_vma dot, gap; 839 840 /* Get the address of this instruction. */ 841 dot = (sec->output_section->vma 842 + sec->output_offset + irel->r_offset - 1); 843 844 /* Compute the distance from this insn to the branch target. */ 845 gap = value - dot; 846 847 /* If the distance is within -126..+130 inclusive, then we can 848 relax this jump. +130 is valid since the target will move 849 two bytes closer if we do relax this branch. */ 850 if ((int) gap >= -126 && (int) gap <= 130) 851 { 852 unsigned char code; 853 854 /* Note that we've changed the relocs, section contents, 855 etc. */ 856 elf_section_data (sec)->relocs = internal_relocs; 857 elf_section_data (sec)->this_hdr.contents = contents; 858 symtab_hdr->contents = (unsigned char *) isymbuf; 859 860 /* Get the instruction code being relaxed. */ 861 code = bfd_get_8 (abfd, contents + irel->r_offset - 1); 862 863 /* If the previous instruction conditionally jumped around 864 this instruction, we may be able to reverse the condition 865 and redirect the previous instruction to the target of 866 this instruction. 867 868 Such sequences are used by the compiler to deal with 869 long conditional branches. 870 871 Only perform this optimisation for jumps (code 0x5a) not 872 subroutine calls, as otherwise it could transform: 873 874 mov.w r0,r0 875 beq .L1 876 jsr @_bar 877 .L1: rts 878 _bar: rts 879 into: 880 mov.w r0,r0 881 bne _bar 882 rts 883 _bar: rts 884 885 which changes the call (jsr) into a branch (bne). */ 886 if (code == 0x5a /* jmp24. */ 887 && (int) gap <= 130 888 && (int) gap >= -128 889 && last_reloc 890 && ELF32_R_TYPE (last_reloc->r_info) == R_H8_PCREL8 891 && ELF32_R_SYM (last_reloc->r_info) < symtab_hdr->sh_info) 892 { 893 bfd_vma last_value; 894 asection *last_sym_sec; 895 Elf_Internal_Sym *last_sym; 896 897 /* We will need to examine the symbol used by the 898 previous relocation. */ 899 900 last_sym = isymbuf + ELF32_R_SYM (last_reloc->r_info); 901 last_sym_sec 902 = bfd_section_from_elf_index (abfd, last_sym->st_shndx); 903 last_value = (last_sym->st_value 904 + last_sym_sec->output_section->vma 905 + last_sym_sec->output_offset); 906 907 /* Verify that the previous relocation was for a 908 branch around this instruction and that no symbol 909 exists at the current location. */ 910 if (last_value == dot + 4 911 && last_reloc->r_offset + 2 == irel->r_offset 912 && ! elf32_h8_symbol_address_p (abfd, sec, dot)) 913 { 914 /* We can eliminate this jump. Twiddle the 915 previous relocation as necessary. */ 916 irel->r_info 917 = ELF32_R_INFO (ELF32_R_SYM (irel->r_info), 918 ELF32_R_TYPE (R_H8_NONE)); 919 920 last_reloc->r_info 921 = ELF32_R_INFO (ELF32_R_SYM (irel->r_info), 922 ELF32_R_TYPE (R_H8_PCREL8)); 923 last_reloc->r_addend = irel->r_addend; 924 925 code = bfd_get_8 (abfd, 926 contents + last_reloc->r_offset - 1); 927 code ^= 1; 928 bfd_put_8 (abfd, 929 code, 930 contents + last_reloc->r_offset - 1); 931 932 /* Delete four bytes of data. */ 933 if (!elf32_h8_relax_delete_bytes (abfd, sec, 934 irel->r_offset - 1, 935 4)) 936 goto error_return; 937 938 *again = true; 939 break; 940 } 941 } 942 943 if (code == 0x5e) 944 /* This is jsr24 */ 945 bfd_put_8 (abfd, 0x55, contents + irel->r_offset - 1); /* bsr8. */ 946 else if (code == 0x5a) 947 /* This is jmp24 */ 948 bfd_put_8 (abfd, 0x40, contents + irel->r_offset - 1); /* bra8. */ 949 else 950 abort (); 951 952 /* Fix the relocation's type. */ 953 irel->r_info = ELF32_R_INFO (ELF32_R_SYM (irel->r_info), 954 R_H8_PCREL8); 955 956 /* Delete two bytes of data. */ 957 if (!elf32_h8_relax_delete_bytes (abfd, sec, 958 irel->r_offset + 1, 2)) 959 goto error_return; 960 961 /* That will change things, so, we should relax again. 962 Note that this is not required, and it may be slow. */ 963 *again = true; 964 } 965 break; 966 } 967 968 /* Try to turn a 16-bit pc-relative branch into a 8-bit pc-relative 969 branch. */ 970 case R_H8_PCREL16: 971 { 972 bfd_vma value = symval + irel->r_addend; 973 bfd_vma dot; 974 bfd_vma gap; 975 976 /* Get the address of this instruction. */ 977 dot = (sec->output_section->vma 978 + sec->output_offset 979 + irel->r_offset - 2); 980 981 gap = value - dot; 982 983 /* If the distance is within -126..+130 inclusive, then we can 984 relax this jump. +130 is valid since the target will move 985 two bytes closer if we do relax this branch. */ 986 if ((int) gap >= -126 && (int) gap <= 130) 987 { 988 unsigned char code; 989 990 /* Note that we've changed the relocs, section contents, 991 etc. */ 992 elf_section_data (sec)->relocs = internal_relocs; 993 elf_section_data (sec)->this_hdr.contents = contents; 994 symtab_hdr->contents = (unsigned char *) isymbuf; 995 996 /* Get the opcode. */ 997 code = bfd_get_8 (abfd, contents + irel->r_offset - 2); 998 999 if (code == 0x58) 1000 { 1001 /* bCC:16 -> bCC:8 */ 1002 /* Get the second byte of the original insn, which 1003 contains the condition code. */ 1004 code = bfd_get_8 (abfd, contents + irel->r_offset - 1); 1005 1006 /* Compute the first byte of the relaxed 1007 instruction. The original sequence 0x58 0xX0 1008 is relaxed to 0x4X, where X represents the 1009 condition code. */ 1010 code &= 0xf0; 1011 code >>= 4; 1012 code |= 0x40; 1013 bfd_put_8 (abfd, code, contents + irel->r_offset - 2); /* bCC:8. */ 1014 } 1015 else if (code == 0x5c) /* bsr16. */ 1016 /* This is bsr. */ 1017 bfd_put_8 (abfd, 0x55, contents + irel->r_offset - 2); /* bsr8. */ 1018 else 1019 /* Might be MOVSD. */ 1020 break; 1021 1022 /* Fix the relocation's type. */ 1023 irel->r_info = ELF32_R_INFO (ELF32_R_SYM (irel->r_info), 1024 R_H8_PCREL8); 1025 irel->r_offset--; 1026 1027 /* Delete two bytes of data. */ 1028 if (!elf32_h8_relax_delete_bytes (abfd, sec, 1029 irel->r_offset + 1, 2)) 1030 goto error_return; 1031 1032 /* That will change things, so, we should relax again. 1033 Note that this is not required, and it may be slow. */ 1034 *again = true; 1035 } 1036 break; 1037 } 1038 1039 /* This is a 16-bit absolute address in one of the following 1040 instructions: 1041 1042 "band", "bclr", "biand", "bild", "bior", "bist", "bixor", 1043 "bld", "bnot", "bor", "bset", "bst", "btst", "bxor", and 1044 "mov.b" 1045 1046 We may relax this into an 8-bit absolute address if it's in 1047 the right range. */ 1048 case R_H8_DIR16A8: 1049 { 1050 bfd_vma value; 1051 1052 value = bfd_h8300_pad_address (abfd, symval + irel->r_addend); 1053 if (value >= 0xffffff00u) 1054 { 1055 unsigned char code; 1056 unsigned char temp_code; 1057 1058 /* Note that we've changed the relocs, section contents, 1059 etc. */ 1060 elf_section_data (sec)->relocs = internal_relocs; 1061 elf_section_data (sec)->this_hdr.contents = contents; 1062 symtab_hdr->contents = (unsigned char *) isymbuf; 1063 1064 /* Get the opcode. */ 1065 code = bfd_get_8 (abfd, contents + irel->r_offset - 2); 1066 1067 /* All instructions with R_H8_DIR16A8 start with 1068 0x6a. */ 1069 if (code != 0x6a) 1070 abort (); 1071 1072 temp_code = code = bfd_get_8 (abfd, contents + irel->r_offset - 1); 1073 /* If this is a mov.b instruction, clear the lower 1074 nibble, which contains the source/destination 1075 register number. */ 1076 if ((temp_code & 0x10) != 0x10) 1077 temp_code &= 0xf0; 1078 1079 switch (temp_code) 1080 { 1081 case 0x00: 1082 /* This is mov.b @aa:16,Rd. */ 1083 bfd_put_8 (abfd, (code & 0xf) | 0x20, 1084 contents + irel->r_offset - 2); 1085 break; 1086 case 0x80: 1087 /* This is mov.b Rs,@aa:16. */ 1088 bfd_put_8 (abfd, (code & 0xf) | 0x30, 1089 contents + irel->r_offset - 2); 1090 break; 1091 case 0x18: 1092 /* This is a bit-maniputation instruction that 1093 stores one bit into memory, one of "bclr", 1094 "bist", "bnot", "bset", and "bst". */ 1095 bfd_put_8 (abfd, 0x7f, contents + irel->r_offset - 2); 1096 break; 1097 case 0x10: 1098 /* This is a bit-maniputation instruction that 1099 loads one bit from memory, one of "band", 1100 "biand", "bild", "bior", "bixor", "bld", "bor", 1101 "btst", and "bxor". */ 1102 bfd_put_8 (abfd, 0x7e, contents + irel->r_offset - 2); 1103 break; 1104 default: 1105 abort (); 1106 } 1107 1108 /* Fix the relocation's type. */ 1109 irel->r_info = ELF32_R_INFO (ELF32_R_SYM (irel->r_info), 1110 R_H8_DIR8); 1111 1112 /* Move the relocation. */ 1113 irel->r_offset--; 1114 1115 /* Delete two bytes of data. */ 1116 if (!elf32_h8_relax_delete_bytes (abfd, sec, 1117 irel->r_offset + 1, 2)) 1118 goto error_return; 1119 1120 /* That will change things, so, we should relax again. 1121 Note that this is not required, and it may be slow. */ 1122 *again = true; 1123 } 1124 break; 1125 } 1126 1127 /* This is a 24-bit absolute address in one of the following 1128 instructions: 1129 1130 "band", "bclr", "biand", "bild", "bior", "bist", "bixor", 1131 "bld", "bnot", "bor", "bset", "bst", "btst", "bxor", and 1132 "mov.b" 1133 1134 We may relax this into an 8-bit absolute address if it's in 1135 the right range. */ 1136 case R_H8_DIR24A8: 1137 { 1138 bfd_vma value; 1139 1140 value = bfd_h8300_pad_address (abfd, symval + irel->r_addend); 1141 if (value >= 0xffffff00u) 1142 { 1143 unsigned char code; 1144 unsigned char temp_code; 1145 1146 /* Note that we've changed the relocs, section contents, 1147 etc. */ 1148 elf_section_data (sec)->relocs = internal_relocs; 1149 elf_section_data (sec)->this_hdr.contents = contents; 1150 symtab_hdr->contents = (unsigned char *) isymbuf; 1151 1152 /* Get the opcode. */ 1153 code = bfd_get_8 (abfd, contents + irel->r_offset - 2); 1154 1155 /* All instructions with R_H8_DIR24A8 start with 1156 0x6a. */ 1157 if (code != 0x6a) 1158 abort (); 1159 1160 temp_code = code = bfd_get_8 (abfd, contents + irel->r_offset - 1); 1161 1162 /* If this is a mov.b instruction, clear the lower 1163 nibble, which contains the source/destination 1164 register number. */ 1165 if ((temp_code & 0x30) != 0x30) 1166 temp_code &= 0xf0; 1167 1168 switch (temp_code) 1169 { 1170 case 0x20: 1171 /* This is mov.b @aa:24/32,Rd. */ 1172 bfd_put_8 (abfd, (code & 0xf) | 0x20, 1173 contents + irel->r_offset - 2); 1174 break; 1175 case 0xa0: 1176 /* This is mov.b Rs,@aa:24/32. */ 1177 bfd_put_8 (abfd, (code & 0xf) | 0x30, 1178 contents + irel->r_offset - 2); 1179 break; 1180 case 0x38: 1181 /* This is a bit-maniputation instruction that 1182 stores one bit into memory, one of "bclr", 1183 "bist", "bnot", "bset", and "bst". */ 1184 bfd_put_8 (abfd, 0x7f, contents + irel->r_offset - 2); 1185 break; 1186 case 0x30: 1187 /* This is a bit-maniputation instruction that 1188 loads one bit from memory, one of "band", 1189 "biand", "bild", "bior", "bixor", "bld", "bor", 1190 "btst", and "bxor". */ 1191 bfd_put_8 (abfd, 0x7e, contents + irel->r_offset - 2); 1192 break; 1193 default: 1194 abort(); 1195 } 1196 1197 /* Fix the relocation's type. */ 1198 irel->r_info = ELF32_R_INFO (ELF32_R_SYM (irel->r_info), 1199 R_H8_DIR8); 1200 irel->r_offset--; 1201 1202 /* Delete four bytes of data. */ 1203 if (!elf32_h8_relax_delete_bytes (abfd, sec, 1204 irel->r_offset + 1, 4)) 1205 goto error_return; 1206 1207 /* That will change things, so, we should relax again. 1208 Note that this is not required, and it may be slow. */ 1209 *again = true; 1210 break; 1211 } 1212 } 1213 1214 /* Fall through. */ 1215 1216 /* This is a 24-/32-bit absolute address in one of the 1217 following instructions: 1218 1219 "band", "bclr", "biand", "bild", "bior", "bist", 1220 "bixor", "bld", "bnot", "bor", "bset", "bst", "btst", 1221 "bxor", "ldc.w", "stc.w" and "mov.[bwl]" 1222 1223 We may relax this into an 16-bit absolute address if it's 1224 in the right range. */ 1225 case R_H8_DIR32A16: 1226 { 1227 bfd_vma value; 1228 1229 value = bfd_h8300_pad_address (abfd, symval + irel->r_addend); 1230 if (value <= 0x7fff || value >= 0xffff8000u) 1231 { 1232 unsigned char code; 1233 unsigned char op0, op1, op2, op3; 1234 unsigned char *op_ptr; 1235 1236 /* Note that we've changed the relocs, section contents, 1237 etc. */ 1238 elf_section_data (sec)->relocs = internal_relocs; 1239 elf_section_data (sec)->this_hdr.contents = contents; 1240 symtab_hdr->contents = (unsigned char *) isymbuf; 1241 1242 if (irel->r_offset >= 4) 1243 { 1244 /* Check for 4-byte MOVA relaxation (SH-specific). */ 1245 int second_reloc = 0; 1246 1247 op_ptr = contents + irel->r_offset - 4; 1248 1249 if (last_reloc) 1250 { 1251 arelent bfd_reloc; 1252 reloc_howto_type *h; 1253 bfd_vma last_reloc_size; 1254 1255 if (! elf32_h8_info_to_howto (abfd, &bfd_reloc, last_reloc)) 1256 break; 1257 h = bfd_reloc.howto; 1258 last_reloc_size = 1 << h->size; 1259 if (last_reloc->r_offset + last_reloc_size 1260 == irel->r_offset) 1261 { 1262 op_ptr -= last_reloc_size; 1263 second_reloc = 1; 1264 } 1265 } 1266 1267 if (irel + 1 < irelend) 1268 { 1269 Elf_Internal_Rela *next_reloc = irel + 1; 1270 arelent bfd_reloc; 1271 reloc_howto_type *h; 1272 bfd_vma next_reloc_size; 1273 1274 if (! elf32_h8_info_to_howto (abfd, &bfd_reloc, next_reloc)) 1275 break; 1276 h = bfd_reloc.howto; 1277 next_reloc_size = 1 << h->size; 1278 if (next_reloc->r_offset + next_reloc_size 1279 == irel->r_offset) 1280 { 1281 op_ptr -= next_reloc_size; 1282 second_reloc = 1; 1283 } 1284 } 1285 1286 op0 = bfd_get_8 (abfd, op_ptr + 0); 1287 op1 = bfd_get_8 (abfd, op_ptr + 1); 1288 op2 = bfd_get_8 (abfd, op_ptr + 2); 1289 op3 = bfd_get_8 (abfd, op_ptr + 3); 1290 1291 if (op0 == 0x01 1292 && (op1 & 0xdf) == 0x5f 1293 && (op2 & 0x40) == 0x40 1294 && (op3 & 0x80) == 0x80) 1295 { 1296 if ((op2 & 0x08) == 0) 1297 second_reloc = 1; 1298 1299 if (second_reloc) 1300 { 1301 op3 &= ~0x08; 1302 bfd_put_8 (abfd, op3, op_ptr + 3); 1303 } 1304 else 1305 { 1306 op2 &= ~0x08; 1307 bfd_put_8 (abfd, op2, op_ptr + 2); 1308 } 1309 goto r_h8_dir32a16_common; 1310 } 1311 } 1312 1313 /* Now check for short version of MOVA. (SH-specific) */ 1314 op_ptr = contents + irel->r_offset - 2; 1315 op0 = bfd_get_8 (abfd, op_ptr + 0); 1316 op1 = bfd_get_8 (abfd, op_ptr + 1); 1317 1318 if (op0 == 0x7a 1319 && (op1 & 0x88) == 0x80) 1320 { 1321 op1 |= 0x08; 1322 bfd_put_8 (abfd, op1, op_ptr + 1); 1323 goto r_h8_dir32a16_common; 1324 } 1325 1326 /* Get the opcode. */ 1327 code = bfd_get_8 (abfd, contents + irel->r_offset - 1); 1328 1329 /* Fix the opcode. For all the instructions that 1330 belong to this relaxation, we simply need to turn 1331 off bit 0x20 in the previous byte. */ 1332 code &= ~0x20; 1333 1334 bfd_put_8 (abfd, code, contents + irel->r_offset - 1); 1335 1336 r_h8_dir32a16_common: 1337 /* Fix the relocation's type. */ 1338 irel->r_info = ELF32_R_INFO (ELF32_R_SYM (irel->r_info), 1339 R_H8_DIR16); 1340 1341 /* Delete two bytes of data. */ 1342 if (!elf32_h8_relax_delete_bytes (abfd, sec, 1343 irel->r_offset + 1, 2)) 1344 goto error_return; 1345 1346 /* That will change things, so, we should relax again. 1347 Note that this is not required, and it may be slow. */ 1348 *again = true; 1349 } 1350 break; /* case R_H8_DIR32A16 */ 1351 } 1352 1353 case R_H8_DISP32A16: 1354 /* mov.[bwl] @(displ:24/32+ERx) -> mov.[bwl] @(displ:16+ERx) 4 bytes 1355 It is assured that instruction uses at least 4 bytes opcode before 1356 reloc entry addressing mode "register indirect with displacement" 1357 relaxing options (all saving 4 bytes): 1358 0x78 0sss0000 0x6A 0010dddd disp:32 mov.b @(d:32,ERs),Rd -> 1359 0x6E 0sssdddd disp:16 mov.b @(d:16,ERs),Rd 1360 0x78 0sss0000 0x6B 0010dddd disp:32 mov.w @(d:32,ERs),Rd -> 1361 0x6F 0sssdddd disp:16 mov.w @(d:16,ERs),Rd 1362 0x01 0x00 0x78 0sss0000 0x6B 00100ddd disp:32 mov.l @(d:32,ERs),ERd -> 1363 0x01 0x00 0x6F 0sss0ddd disp:16 mov.l @(d:16,ERs),ERd 1364 1365 0x78 0ddd0000 0x6A 1010ssss disp:32 mov.b Rs,@(d:32,ERd) -> 1366 0x6E 1dddssss disp:16 mov.b Rs,@(d:16,ERd) 1367 0x78 0ddd0000 0x6B 1010ssss disp:32 mov.w Rs,@(d:32,ERd) -> 1368 0x6F 1dddssss disp:16 mov.w Rs,@(d:16,ERd) 1369 0x01 0x00 0x78 xddd0000 0x6B 10100sss disp:32 mov.l ERs,@(d:32,ERd) -> 1370 0x01 0x00 0x6F 1ddd0sss disp:16 mov.l ERs,@(d:16,ERd) 1371 mov.l prefix 0x01 0x00 can be left as is and mov.l handled same 1372 as mov.w/ */ 1373 { 1374 bfd_vma value; 1375 1376 value = bfd_h8300_pad_address (abfd, symval + irel->r_addend); 1377 if (value <= 0x7fff || value >= 0xffff8000u) 1378 { 1379 unsigned char op0, op1, op2, op3, op0n, op1n; 1380 int relax = 0; 1381 1382 /* Note that we've changed the relocs, section contents, 1383 etc. */ 1384 elf_section_data (sec)->relocs = internal_relocs; 1385 elf_section_data (sec)->this_hdr.contents = contents; 1386 symtab_hdr->contents = (unsigned char *) isymbuf; 1387 1388 if (irel->r_offset >= 4) 1389 { 1390 op0 = bfd_get_8 (abfd, contents + irel->r_offset - 4); 1391 op1 = bfd_get_8 (abfd, contents + irel->r_offset - 3); 1392 op2 = bfd_get_8 (abfd, contents + irel->r_offset - 2); 1393 op3 = bfd_get_8 (abfd, contents + irel->r_offset - 1); 1394 1395 if (op0 == 0x78) 1396 { 1397 switch(op2) 1398 { 1399 case 0x6A: 1400 if ((op1 & 0x8F) == 0x00 && (op3 & 0x70) == 0x20) 1401 { 1402 /* mov.b. */ 1403 op0n = 0x6E; 1404 relax = 1; 1405 } 1406 break; 1407 case 0x6B: 1408 if ((op1 & 0x0F) == 0x00 && (op3 & 0x70) == 0x20) 1409 { 1410 /* mov.w/l. */ 1411 op0n = 0x6F; 1412 relax = 1; 1413 } 1414 break; 1415 default: 1416 break; 1417 } 1418 } 1419 } 1420 1421 if (relax) 1422 { 1423 op1n = (op3 & 0x8F) | (op1 & 0x70); 1424 bfd_put_8 (abfd, op0n, contents + irel->r_offset - 4); 1425 bfd_put_8 (abfd, op1n, contents + irel->r_offset - 3); 1426 1427 /* Fix the relocation's type. */ 1428 irel->r_info = ELF32_R_INFO (ELF32_R_SYM (irel->r_info), R_H8_DIR16); 1429 irel->r_offset -= 2; 1430 1431 /* Delete four bytes of data. */ 1432 if (!elf32_h8_relax_delete_bytes (abfd, sec, irel->r_offset + 2, 4)) 1433 goto error_return; 1434 1435 /* That will change things, so, we should relax again. 1436 Note that this is not required, and it may be slow. */ 1437 *again = true; 1438 } 1439 } 1440 } 1441 break; 1442 1443 default: 1444 break; 1445 } 1446 } 1447 1448 if (isymbuf != NULL 1449 && symtab_hdr->contents != (unsigned char *) isymbuf) 1450 { 1451 if (! link_info->keep_memory) 1452 free (isymbuf); 1453 else 1454 symtab_hdr->contents = (unsigned char *) isymbuf; 1455 } 1456 1457 if (contents != NULL 1458 && elf_section_data (sec)->this_hdr.contents != contents) 1459 { 1460 if (! link_info->keep_memory) 1461 free (contents); 1462 else 1463 { 1464 /* Cache the section contents for elf_link_input_bfd. */ 1465 elf_section_data (sec)->this_hdr.contents = contents; 1466 } 1467 } 1468 1469 if (elf_section_data (sec)->relocs != internal_relocs) 1470 free (internal_relocs); 1471 1472 return true; 1473 1474 error_return: 1475 if (symtab_hdr->contents != (unsigned char *) isymbuf) 1476 free (isymbuf); 1477 if (elf_section_data (sec)->this_hdr.contents != contents) 1478 free (contents); 1479 if (elf_section_data (sec)->relocs != internal_relocs) 1480 free (internal_relocs); 1481 return false; 1482 } 1483 1484 /* Delete some bytes from a section while relaxing. */ 1485 1486 static bool 1487 elf32_h8_relax_delete_bytes (bfd *abfd, asection *sec, bfd_vma addr, int count) 1488 { 1489 Elf_Internal_Shdr *symtab_hdr; 1490 unsigned int sec_shndx; 1491 bfd_byte *contents; 1492 Elf_Internal_Rela *irel, *irelend; 1493 Elf_Internal_Sym *isym; 1494 Elf_Internal_Sym *isymend; 1495 bfd_vma toaddr; 1496 struct elf_link_hash_entry **sym_hashes; 1497 struct elf_link_hash_entry **end_hashes; 1498 unsigned int symcount; 1499 1500 sec_shndx = _bfd_elf_section_from_bfd_section (abfd, sec); 1501 1502 contents = elf_section_data (sec)->this_hdr.contents; 1503 1504 toaddr = sec->size; 1505 1506 irel = elf_section_data (sec)->relocs; 1507 irelend = irel + sec->reloc_count; 1508 1509 /* Actually delete the bytes. */ 1510 memmove (contents + addr, contents + addr + count, 1511 (size_t) (toaddr - addr - count)); 1512 sec->size -= count; 1513 1514 /* Adjust all the relocs. */ 1515 for (irel = elf_section_data (sec)->relocs; irel < irelend; irel++) 1516 { 1517 /* Get the new reloc address. */ 1518 if ((irel->r_offset > addr 1519 && irel->r_offset <= toaddr)) 1520 irel->r_offset -= count; 1521 } 1522 1523 /* Adjust the local symbols defined in this section. */ 1524 symtab_hdr = &elf_tdata (abfd)->symtab_hdr; 1525 isym = (Elf_Internal_Sym *) symtab_hdr->contents; 1526 isymend = isym + symtab_hdr->sh_info; 1527 for (; isym < isymend; isym++) 1528 { 1529 if (isym->st_shndx == sec_shndx 1530 && isym->st_value > addr 1531 && isym->st_value <= toaddr) 1532 isym->st_value -= count; 1533 } 1534 1535 /* Now adjust the global symbols defined in this section. */ 1536 symcount = (symtab_hdr->sh_size / sizeof (Elf32_External_Sym) 1537 - symtab_hdr->sh_info); 1538 sym_hashes = elf_sym_hashes (abfd); 1539 end_hashes = sym_hashes + symcount; 1540 for (; sym_hashes < end_hashes; sym_hashes++) 1541 { 1542 struct elf_link_hash_entry *sym_hash = *sym_hashes; 1543 1544 if ((sym_hash->root.type == bfd_link_hash_defined 1545 || sym_hash->root.type == bfd_link_hash_defweak) 1546 && sym_hash->root.u.def.section == sec 1547 && sym_hash->root.u.def.value > addr 1548 && sym_hash->root.u.def.value <= toaddr) 1549 sym_hash->root.u.def.value -= count; 1550 } 1551 1552 return true; 1553 } 1554 1555 /* Return TRUE if a symbol exists at the given address, else return 1556 FALSE. */ 1557 static bool 1558 elf32_h8_symbol_address_p (bfd *abfd, asection *sec, bfd_vma addr) 1559 { 1560 Elf_Internal_Shdr *symtab_hdr; 1561 unsigned int sec_shndx; 1562 Elf_Internal_Sym *isym; 1563 Elf_Internal_Sym *isymend; 1564 struct elf_link_hash_entry **sym_hashes; 1565 struct elf_link_hash_entry **end_hashes; 1566 unsigned int symcount; 1567 1568 sec_shndx = _bfd_elf_section_from_bfd_section (abfd, sec); 1569 1570 /* Examine all the symbols. */ 1571 symtab_hdr = &elf_tdata (abfd)->symtab_hdr; 1572 isym = (Elf_Internal_Sym *) symtab_hdr->contents; 1573 isymend = isym + symtab_hdr->sh_info; 1574 for (; isym < isymend; isym++) 1575 { 1576 if (isym->st_shndx == sec_shndx 1577 && isym->st_value == addr) 1578 return true; 1579 } 1580 1581 symcount = (symtab_hdr->sh_size / sizeof (Elf32_External_Sym) 1582 - symtab_hdr->sh_info); 1583 sym_hashes = elf_sym_hashes (abfd); 1584 end_hashes = sym_hashes + symcount; 1585 for (; sym_hashes < end_hashes; sym_hashes++) 1586 { 1587 struct elf_link_hash_entry *sym_hash = *sym_hashes; 1588 if ((sym_hash->root.type == bfd_link_hash_defined 1589 || sym_hash->root.type == bfd_link_hash_defweak) 1590 && sym_hash->root.u.def.section == sec 1591 && sym_hash->root.u.def.value == addr) 1592 return true; 1593 } 1594 1595 return false; 1596 } 1597 1598 /* This is a version of bfd_generic_get_relocated_section_contents 1599 which uses elf32_h8_relocate_section. */ 1600 1601 static bfd_byte * 1602 elf32_h8_get_relocated_section_contents (bfd *output_bfd, 1603 struct bfd_link_info *link_info, 1604 struct bfd_link_order *link_order, 1605 bfd_byte *data, 1606 bool relocatable, 1607 asymbol **symbols) 1608 { 1609 Elf_Internal_Shdr *symtab_hdr; 1610 asection *input_section = link_order->u.indirect.section; 1611 bfd *input_bfd = input_section->owner; 1612 asection **sections = NULL; 1613 Elf_Internal_Rela *internal_relocs = NULL; 1614 Elf_Internal_Sym *isymbuf = NULL; 1615 1616 /* We only need to handle the case of relaxing, or of having a 1617 particular set of section contents, specially. */ 1618 if (relocatable 1619 || elf_section_data (input_section)->this_hdr.contents == NULL) 1620 return bfd_generic_get_relocated_section_contents (output_bfd, link_info, 1621 link_order, data, 1622 relocatable, 1623 symbols); 1624 1625 symtab_hdr = &elf_tdata (input_bfd)->symtab_hdr; 1626 1627 bfd_byte *orig_data = data; 1628 if (data == NULL) 1629 { 1630 data = bfd_malloc (input_section->size); 1631 if (data == NULL) 1632 return NULL; 1633 } 1634 memcpy (data, elf_section_data (input_section)->this_hdr.contents, 1635 (size_t) input_section->size); 1636 1637 if ((input_section->flags & SEC_RELOC) != 0 1638 && input_section->reloc_count > 0) 1639 { 1640 asection **secpp; 1641 Elf_Internal_Sym *isym, *isymend; 1642 bfd_size_type amt; 1643 1644 internal_relocs = (_bfd_elf_link_read_relocs 1645 (input_bfd, input_section, NULL, 1646 (Elf_Internal_Rela *) NULL, false)); 1647 if (internal_relocs == NULL) 1648 goto error_return; 1649 1650 if (symtab_hdr->sh_info != 0) 1651 { 1652 isymbuf = (Elf_Internal_Sym *) symtab_hdr->contents; 1653 if (isymbuf == NULL) 1654 isymbuf = bfd_elf_get_elf_syms (input_bfd, symtab_hdr, 1655 symtab_hdr->sh_info, 0, 1656 NULL, NULL, NULL); 1657 if (isymbuf == NULL) 1658 goto error_return; 1659 } 1660 1661 amt = symtab_hdr->sh_info; 1662 amt *= sizeof (asection *); 1663 sections = (asection **) bfd_malloc (amt); 1664 if (sections == NULL && amt != 0) 1665 goto error_return; 1666 1667 isymend = isymbuf + symtab_hdr->sh_info; 1668 for (isym = isymbuf, secpp = sections; isym < isymend; ++isym, ++secpp) 1669 { 1670 asection *isec; 1671 1672 if (isym->st_shndx == SHN_UNDEF) 1673 isec = bfd_und_section_ptr; 1674 else if (isym->st_shndx == SHN_ABS) 1675 isec = bfd_abs_section_ptr; 1676 else if (isym->st_shndx == SHN_COMMON) 1677 isec = bfd_com_section_ptr; 1678 else 1679 isec = bfd_section_from_elf_index (input_bfd, isym->st_shndx); 1680 1681 *secpp = isec; 1682 } 1683 1684 if (! elf32_h8_relocate_section (output_bfd, link_info, input_bfd, 1685 input_section, data, internal_relocs, 1686 isymbuf, sections)) 1687 goto error_return; 1688 1689 free (sections); 1690 if (symtab_hdr->contents != (unsigned char *) isymbuf) 1691 free (isymbuf); 1692 if (elf_section_data (input_section)->relocs != internal_relocs) 1693 free (internal_relocs); 1694 } 1695 1696 return data; 1697 1698 error_return: 1699 free (sections); 1700 if (symtab_hdr->contents != (unsigned char *) isymbuf) 1701 free (isymbuf); 1702 if (elf_section_data (input_section)->relocs != internal_relocs) 1703 free (internal_relocs); 1704 if (orig_data == NULL) 1705 free (data); 1706 return NULL; 1707 } 1708 1709 1710 #define TARGET_BIG_SYM h8300_elf32_vec 1711 #define TARGET_BIG_NAME "elf32-h8300" 1712 #define ELF_ARCH bfd_arch_h8300 1713 #define ELF_MACHINE_CODE EM_H8_300 1714 #define ELF_MAXPAGESIZE 0x1 1715 #define bfd_elf32_bfd_reloc_type_lookup elf32_h8_reloc_type_lookup 1716 #define bfd_elf32_bfd_reloc_name_lookup elf32_h8_reloc_name_lookup 1717 #define elf_info_to_howto elf32_h8_info_to_howto 1718 #define elf_info_to_howto_rel elf32_h8_info_to_howto_rel 1719 1720 /* So we can set/examine bits in e_flags to get the specific 1721 H8 architecture in use. */ 1722 #define elf_backend_final_write_processing \ 1723 elf32_h8_final_write_processing 1724 #define elf_backend_object_p \ 1725 elf32_h8_object_p 1726 #define bfd_elf32_bfd_merge_private_bfd_data \ 1727 elf32_h8_merge_private_bfd_data 1728 1729 /* ??? when elf_backend_relocate_section is not defined, elf32-target.h 1730 defaults to using _bfd_generic_link_hash_table_create, but 1731 bfd_elf_size_dynamic_sections uses 1732 dynobj = elf_hash_table (info)->dynobj; 1733 and thus requires an elf hash table. */ 1734 #define bfd_elf32_bfd_link_hash_table_create _bfd_elf_link_hash_table_create 1735 1736 /* Use an H8 specific linker, not the ELF generic linker. */ 1737 #define elf_backend_relocate_section elf32_h8_relocate_section 1738 #define elf_backend_rela_normal 1 1739 #define elf_backend_can_gc_sections 1 1740 1741 /* And relaxing stuff. */ 1742 #define bfd_elf32_bfd_relax_section elf32_h8_relax_section 1743 #define bfd_elf32_bfd_get_relocated_section_contents \ 1744 elf32_h8_get_relocated_section_contents 1745 1746 #define elf_symbol_leading_char '_' 1747 1748 #include "elf32-target.h" 1749 1750 #undef TARGET_BIG_SYM 1751 #define TARGET_BIG_SYM h8300_elf32_linux_vec 1752 #undef TARGET_BIG_NAME 1753 #define TARGET_BIG_NAME "elf32-h8300-linux" 1754 #undef elf_symbol_leading_char 1755 #define elf32_bed elf32_h8300_linux_bed 1756 1757 #include "elf32-target.h" 1758