1 /* Renesas RL78 specific support for 32-bit ELF.
2 Copyright (C) 2011-2017 Free Software Foundation, Inc.
4 This file is part of BFD, the Binary File Descriptor library.
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.
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.
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., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */
22 #include "bfd_stdint.h"
26 #include "libiberty.h"
28 #define valid_16bit_address(v) ((v) <= 0x0ffff || (v) >= 0xf0000)
30 #define RL78REL(n,sz,bit,shift,complain,pcrel) \
31 HOWTO (R_RL78_##n, shift, sz, bit, pcrel, 0, complain_overflow_ ## complain, \
32 bfd_elf_generic_reloc, "R_RL78_" #n, FALSE, 0, ~0, FALSE)
34 static bfd_reloc_status_type rl78_special_reloc (bfd *, arelent *, asymbol *, void *,
35 asection *, bfd *, char **);
37 /* FIXME: We could omit the SHIFT parameter, it is always zero. */
38 #define RL78_OP_REL(n,sz,bit,shift,complain,pcrel) \
39 HOWTO (R_RL78_##n, shift, sz, bit, pcrel, 0, complain_overflow_ ## complain, \
40 rl78_special_reloc, "R_RL78_" #n, FALSE, 0, ~0, FALSE)
42 /* Note that the relocations around 0x7f are internal to this file;
43 feel free to move them as needed to avoid conflicts with published
44 relocation numbers. */
46 static reloc_howto_type rl78_elf_howto_table [] =
48 RL78REL (NONE, 3, 0, 0, dont, FALSE),
49 RL78REL (DIR32, 2, 32, 0, signed, FALSE),
50 RL78REL (DIR24S, 2, 24, 0, signed, FALSE),
51 RL78REL (DIR16, 1, 16, 0, dont, FALSE),
52 RL78REL (DIR16U, 1, 16, 0, unsigned, FALSE),
53 RL78REL (DIR16S, 1, 16, 0, signed, FALSE),
54 RL78REL (DIR8, 0, 8, 0, dont, FALSE),
55 RL78REL (DIR8U, 0, 8, 0, unsigned, FALSE),
56 RL78REL (DIR8S, 0, 8, 0, signed, FALSE),
57 RL78REL (DIR24S_PCREL, 2, 24, 0, signed, TRUE),
58 RL78REL (DIR16S_PCREL, 1, 16, 0, signed, TRUE),
59 RL78REL (DIR8S_PCREL, 0, 8, 0, signed, TRUE),
60 RL78REL (DIR16UL, 1, 16, 2, unsigned, FALSE),
61 RL78REL (DIR16UW, 1, 16, 1, unsigned, FALSE),
62 RL78REL (DIR8UL, 0, 8, 2, unsigned, FALSE),
63 RL78REL (DIR8UW, 0, 8, 1, unsigned, FALSE),
64 RL78REL (DIR32_REV, 1, 16, 0, dont, FALSE),
65 RL78REL (DIR16_REV, 1, 16, 0, dont, FALSE),
66 RL78REL (DIR3U_PCREL, 0, 3, 0, dont, TRUE),
95 RL78REL (RH_RELAX, 0, 0, 0, dont, FALSE),
98 RL78REL (RH_SADDR, 0, 0, 0, dont, FALSE),
117 RL78_OP_REL (ABS32, 2, 32, 0, dont, FALSE),
118 RL78_OP_REL (ABS24S, 2, 24, 0, signed, FALSE),
119 RL78_OP_REL (ABS16, 1, 16, 0, dont, FALSE),
120 RL78_OP_REL (ABS16U, 1, 16, 0, unsigned, FALSE),
121 RL78_OP_REL (ABS16S, 1, 16, 0, signed, FALSE),
122 RL78_OP_REL (ABS8, 0, 8, 0, dont, FALSE),
123 RL78_OP_REL (ABS8U, 0, 8, 0, unsigned, FALSE),
124 RL78_OP_REL (ABS8S, 0, 8, 0, signed, FALSE),
125 RL78_OP_REL (ABS24S_PCREL, 2, 24, 0, signed, TRUE),
126 RL78_OP_REL (ABS16S_PCREL, 1, 16, 0, signed, TRUE),
127 RL78_OP_REL (ABS8S_PCREL, 0, 8, 0, signed, TRUE),
128 RL78_OP_REL (ABS16UL, 1, 16, 0, unsigned, FALSE),
129 RL78_OP_REL (ABS16UW, 1, 16, 0, unsigned, FALSE),
130 RL78_OP_REL (ABS8UL, 0, 8, 0, unsigned, FALSE),
131 RL78_OP_REL (ABS8UW, 0, 8, 0, unsigned, FALSE),
132 RL78_OP_REL (ABS32_REV, 2, 32, 0, dont, FALSE),
133 RL78_OP_REL (ABS16_REV, 1, 16, 0, dont, FALSE),
135 #define STACK_REL_P(x) ((x) <= R_RL78_ABS16_REV && (x) >= R_RL78_ABS32)
185 RL78_OP_REL (SYM, 2, 32, 0, dont, FALSE),
186 RL78_OP_REL (OPneg, 2, 32, 0, dont, FALSE),
187 RL78_OP_REL (OPadd, 2, 32, 0, dont, FALSE),
188 RL78_OP_REL (OPsub, 2, 32, 0, dont, FALSE),
189 RL78_OP_REL (OPmul, 2, 32, 0, dont, FALSE),
190 RL78_OP_REL (OPdiv, 2, 32, 0, dont, FALSE),
191 RL78_OP_REL (OPshla, 2, 32, 0, dont, FALSE),
192 RL78_OP_REL (OPshra, 2, 32, 0, dont, FALSE),
193 RL78_OP_REL (OPsctsize, 2, 32, 0, dont, FALSE),
198 RL78_OP_REL (OPscttop, 2, 32, 0, dont, FALSE),
201 RL78_OP_REL (OPand, 2, 32, 0, dont, FALSE),
202 RL78_OP_REL (OPor, 2, 32, 0, dont, FALSE),
203 RL78_OP_REL (OPxor, 2, 32, 0, dont, FALSE),
204 RL78_OP_REL (OPnot, 2, 32, 0, dont, FALSE),
205 RL78_OP_REL (OPmod, 2, 32, 0, dont, FALSE),
206 RL78_OP_REL (OPromtop, 2, 32, 0, dont, FALSE),
207 RL78_OP_REL (OPramtop, 2, 32, 0, dont, FALSE)
210 /* Map BFD reloc types to RL78 ELF reloc types. */
212 struct rl78_reloc_map
214 bfd_reloc_code_real_type bfd_reloc_val;
215 unsigned int rl78_reloc_val;
218 static const struct rl78_reloc_map rl78_reloc_map [] =
220 { BFD_RELOC_NONE, R_RL78_NONE },
221 { BFD_RELOC_8, R_RL78_DIR8S },
222 { BFD_RELOC_16, R_RL78_DIR16S },
223 { BFD_RELOC_24, R_RL78_DIR24S },
224 { BFD_RELOC_32, R_RL78_DIR32 },
225 { BFD_RELOC_RL78_16_OP, R_RL78_DIR16 },
226 { BFD_RELOC_RL78_DIR3U_PCREL, R_RL78_DIR3U_PCREL },
227 { BFD_RELOC_8_PCREL, R_RL78_DIR8S_PCREL },
228 { BFD_RELOC_16_PCREL, R_RL78_DIR16S_PCREL },
229 { BFD_RELOC_24_PCREL, R_RL78_DIR24S_PCREL },
230 { BFD_RELOC_RL78_8U, R_RL78_DIR8U },
231 { BFD_RELOC_RL78_16U, R_RL78_DIR16U },
232 { BFD_RELOC_RL78_SYM, R_RL78_SYM },
233 { BFD_RELOC_RL78_OP_SUBTRACT, R_RL78_OPsub },
234 { BFD_RELOC_RL78_OP_NEG, R_RL78_OPneg },
235 { BFD_RELOC_RL78_OP_AND, R_RL78_OPand },
236 { BFD_RELOC_RL78_OP_SHRA, R_RL78_OPshra },
237 { BFD_RELOC_RL78_ABS8, R_RL78_ABS8 },
238 { BFD_RELOC_RL78_ABS16, R_RL78_ABS16 },
239 { BFD_RELOC_RL78_ABS16_REV, R_RL78_ABS16_REV },
240 { BFD_RELOC_RL78_ABS32, R_RL78_ABS32 },
241 { BFD_RELOC_RL78_ABS32_REV, R_RL78_ABS32_REV },
242 { BFD_RELOC_RL78_ABS16UL, R_RL78_ABS16UL },
243 { BFD_RELOC_RL78_ABS16UW, R_RL78_ABS16UW },
244 { BFD_RELOC_RL78_ABS16U, R_RL78_ABS16U },
245 { BFD_RELOC_RL78_SADDR, R_RL78_RH_SADDR },
246 { BFD_RELOC_RL78_RELAX, R_RL78_RH_RELAX }
249 static reloc_howto_type *
250 rl78_reloc_type_lookup (bfd * abfd ATTRIBUTE_UNUSED,
251 bfd_reloc_code_real_type code)
255 if (code == BFD_RELOC_RL78_32_OP)
256 return rl78_elf_howto_table + R_RL78_DIR32;
258 for (i = ARRAY_SIZE (rl78_reloc_map); i--;)
259 if (rl78_reloc_map [i].bfd_reloc_val == code)
260 return rl78_elf_howto_table + rl78_reloc_map[i].rl78_reloc_val;
265 static reloc_howto_type *
266 rl78_reloc_name_lookup (bfd * abfd ATTRIBUTE_UNUSED, const char * r_name)
270 for (i = 0; i < ARRAY_SIZE (rl78_elf_howto_table); i++)
271 if (rl78_elf_howto_table[i].name != NULL
272 && strcasecmp (rl78_elf_howto_table[i].name, r_name) == 0)
273 return rl78_elf_howto_table + i;
278 /* Set the howto pointer for an RL78 ELF reloc. */
281 rl78_info_to_howto_rela (bfd * abfd ATTRIBUTE_UNUSED,
283 Elf_Internal_Rela * dst)
287 r_type = ELF32_R_TYPE (dst->r_info);
288 if (r_type >= (unsigned int) R_RL78_max)
290 /* xgettext:c-format */
291 _bfd_error_handler (_("%B: invalid RL78 reloc number: %d"), abfd, r_type);
294 cache_ptr->howto = rl78_elf_howto_table + r_type;
298 get_symbol_value (const char * name,
299 struct bfd_link_info * info,
301 asection * input_section,
304 struct bfd_link_hash_entry * h;
309 h = bfd_link_hash_lookup (info->hash, name, FALSE, FALSE, TRUE);
312 || (h->type != bfd_link_hash_defined
313 && h->type != bfd_link_hash_defweak))
315 (*info->callbacks->undefined_symbol)
316 (info, name, input_bfd, input_section, offset, TRUE);
320 return (h->u.def.value
321 + h->u.def.section->output_section->vma
322 + h->u.def.section->output_offset);
326 get_romstart (struct bfd_link_info * info,
331 static bfd_boolean cached = FALSE;
332 static bfd_vma cached_value = 0;
336 cached_value = get_symbol_value ("_start", info, abfd, sec, offset);
343 get_ramstart (struct bfd_link_info * info,
348 static bfd_boolean cached = FALSE;
349 static bfd_vma cached_value = 0;
353 cached_value = get_symbol_value ("__datastart", info, abfd, sec, offset);
359 #define NUM_STACK_ENTRIES 16
360 static int32_t rl78_stack [ NUM_STACK_ENTRIES ];
361 static unsigned int rl78_stack_top;
363 #define RL78_STACK_PUSH(val) \
366 if (rl78_stack_top < NUM_STACK_ENTRIES) \
367 rl78_stack [rl78_stack_top ++] = (val); \
369 _bfd_error_handler (_("Internal Error: RL78 reloc stack overflow")); \
373 #define RL78_STACK_POP(dest) \
376 if (rl78_stack_top > 0) \
377 (dest) = rl78_stack [-- rl78_stack_top];\
380 _bfd_error_handler (_("Internal Error: RL78 reloc stack underflow")); \
386 /* Special handling for RL78 complex relocs. Returns the
387 value of the reloc, or 0 for relocs which do not generate
388 a result. SYMVAL is the value of the symbol for relocs
389 which use a symbolic argument. */
392 rl78_compute_complex_reloc (unsigned long r_type,
394 asection * input_section)
404 case R_RL78_ABS24S_PCREL:
405 case R_RL78_ABS16S_PCREL:
406 case R_RL78_ABS8S_PCREL:
407 RL78_STACK_POP (relocation);
408 relocation -= input_section->output_section->vma + input_section->output_offset;
412 case R_RL78_ABS32_REV:
414 case R_RL78_ABS16_REV:
420 RL78_STACK_POP (relocation);
425 RL78_STACK_POP (relocation);
426 return relocation >> 2;
430 RL78_STACK_POP (relocation);
431 return relocation >> 1;
433 /* The rest of the relocs compute values and then push them onto the stack. */
434 case R_RL78_OPramtop:
435 case R_RL78_OPromtop:
437 RL78_STACK_PUSH (symval);
441 RL78_STACK_POP (tmp1);
443 RL78_STACK_PUSH (tmp1);
447 RL78_STACK_POP (tmp2);
448 RL78_STACK_POP (tmp1);
450 RL78_STACK_PUSH (tmp1);
454 /* For the expression "A - B", the assembler pushes A,
455 then B, then OPSUB. So the first op we pop is B, not A. */
456 RL78_STACK_POP (tmp2); /* B */
457 RL78_STACK_POP (tmp1); /* A */
458 tmp1 -= tmp2; /* A - B */
459 RL78_STACK_PUSH (tmp1);
463 RL78_STACK_POP (tmp2);
464 RL78_STACK_POP (tmp1);
466 RL78_STACK_PUSH (tmp1);
470 RL78_STACK_POP (tmp2);
471 RL78_STACK_POP (tmp1);
473 RL78_STACK_PUSH (tmp1);
477 RL78_STACK_POP (tmp2);
478 RL78_STACK_POP (tmp1);
480 RL78_STACK_PUSH (tmp1);
484 RL78_STACK_POP (tmp2);
485 RL78_STACK_POP (tmp1);
487 RL78_STACK_PUSH (tmp1);
490 case R_RL78_OPsctsize:
491 RL78_STACK_PUSH (input_section->size);
494 case R_RL78_OPscttop:
495 RL78_STACK_PUSH (input_section->output_section->vma);
499 RL78_STACK_POP (tmp2);
500 RL78_STACK_POP (tmp1);
502 RL78_STACK_PUSH (tmp1);
506 RL78_STACK_POP (tmp2);
507 RL78_STACK_POP (tmp1);
509 RL78_STACK_PUSH (tmp1);
513 RL78_STACK_POP (tmp2);
514 RL78_STACK_POP (tmp1);
516 RL78_STACK_PUSH (tmp1);
520 RL78_STACK_POP (tmp1);
522 RL78_STACK_PUSH (tmp1);
526 RL78_STACK_POP (tmp2);
527 RL78_STACK_POP (tmp1);
529 RL78_STACK_PUSH (tmp1);
534 #undef RL78_STACK_PUSH
535 #undef RL78_STACK_POP
537 #define OP(i) (contents[reloc->address + (i)])
539 static bfd_reloc_status_type
540 rl78_special_reloc (bfd * input_bfd,
544 asection * input_section,
545 bfd * output_bfd ATTRIBUTE_UNUSED,
546 char ** error_message ATTRIBUTE_UNUSED)
548 bfd_reloc_status_type r = bfd_reloc_ok;
549 bfd_vma relocation = 0;
550 unsigned long r_type = reloc->howto->type;
551 bfd_byte * contents = data;
553 /* If necessary, compute the symbolic value of the relocation. */
557 relocation = (symbol->value
558 + symbol->section->output_section->vma
559 + symbol->section->output_offset
563 case R_RL78_OPromtop:
564 relocation = get_romstart (NULL, input_bfd, input_section,
568 case R_RL78_OPramtop:
569 relocation = get_ramstart (NULL, input_bfd, input_section,
574 /* Get the value of the relocation. */
575 relocation = rl78_compute_complex_reloc (r_type, relocation, input_section);
577 /* If the relocation alters the contents of the section then apply it now.
578 Note - since this function is called from
579 bfd_generic_get_relocated_section_contents via bfd_perform_relocation,
580 and not from the linker, we do not perform any range checking. The
581 clients who are calling us are only interested in some relocated section
582 contents, and not any linkage problems that might occur later. */
587 OP (1) = relocation >> 8;
588 OP (2) = relocation >> 16;
589 OP (3) = relocation >> 24;
592 case R_RL78_ABS32_REV:
594 OP (2) = relocation >> 8;
595 OP (1) = relocation >> 16;
596 OP (0) = relocation >> 24;
599 case R_RL78_ABS24S_PCREL:
602 OP (1) = relocation >> 8;
603 OP (2) = relocation >> 16;
606 case R_RL78_ABS16_REV:
608 OP (0) = relocation >> 8;
611 case R_RL78_ABS16S_PCREL:
618 OP (1) = relocation >> 8;
621 case R_RL78_ABS8S_PCREL:
638 #define OP(i) (contents[rel->r_offset + (i)])
640 /* Relocate an RL78 ELF section.
641 There is some attempt to make this function usable for many architectures,
642 both USE_REL and USE_RELA ['twould be nice if such a critter existed],
643 if only to serve as a learning tool.
645 The RELOCATE_SECTION function is called by the new ELF backend linker
646 to handle the relocations for a section.
648 The relocs are always passed as Rela structures; if the section
649 actually uses Rel structures, the r_addend field will always be
652 This function is responsible for adjusting the section contents as
653 necessary, and (if using Rela relocs and generating a relocatable
654 output file) adjusting the reloc addend as necessary.
656 This function does not have to worry about setting the reloc
657 address or the reloc symbol index.
659 LOCAL_SYMS is a pointer to the swapped in local symbols.
661 LOCAL_SECTIONS is an array giving the section in the input file
662 corresponding to the st_shndx field of each local symbol.
664 The global hash table entry for the global symbols can be found
665 via elf_sym_hashes (input_bfd).
667 When generating relocatable output, this function must handle
668 STB_LOCAL/STT_SECTION symbols specially. The output symbol is
669 going to be the section symbol corresponding to the output
670 section, which means that the addend must be adjusted
674 rl78_elf_relocate_section
676 struct bfd_link_info * info,
678 asection * input_section,
680 Elf_Internal_Rela * relocs,
681 Elf_Internal_Sym * local_syms,
682 asection ** local_sections)
684 Elf_Internal_Shdr * symtab_hdr;
685 struct elf_link_hash_entry ** sym_hashes;
686 Elf_Internal_Rela * rel;
687 Elf_Internal_Rela * relend;
690 symtab_hdr = & elf_tdata (input_bfd)->symtab_hdr;
691 sym_hashes = elf_sym_hashes (input_bfd);
692 relend = relocs + input_section->reloc_count;
694 splt = elf_hash_table (info)->splt;
696 for (rel = relocs; rel < relend; rel ++)
698 reloc_howto_type * howto;
699 unsigned long r_symndx;
700 Elf_Internal_Sym * sym;
702 struct elf_link_hash_entry * h;
704 bfd_reloc_status_type r;
705 const char * name = NULL;
706 bfd_boolean unresolved_reloc = TRUE;
709 r_type = ELF32_R_TYPE (rel->r_info);
710 r_symndx = ELF32_R_SYM (rel->r_info);
712 howto = rl78_elf_howto_table + ELF32_R_TYPE (rel->r_info);
718 if (r_symndx < symtab_hdr->sh_info)
720 sym = local_syms + r_symndx;
721 sec = local_sections [r_symndx];
722 relocation = _bfd_elf_rela_local_sym (output_bfd, sym, & sec, rel);
724 name = bfd_elf_string_from_elf_section
725 (input_bfd, symtab_hdr->sh_link, sym->st_name);
726 name = (sym->st_name == 0) ? bfd_section_name (input_bfd, sec) : name;
730 bfd_boolean warned ATTRIBUTE_UNUSED;
731 bfd_boolean ignored ATTRIBUTE_UNUSED;
733 RELOC_FOR_GLOBAL_SYMBOL (info, input_bfd, input_section, rel,
734 r_symndx, symtab_hdr, sym_hashes, h,
735 sec, relocation, unresolved_reloc,
738 name = h->root.root.string;
741 if (sec != NULL && discarded_section (sec))
742 RELOC_AGAINST_DISCARDED_SECTION (info, input_bfd, input_section,
743 rel, 1, relend, howto, 0, contents);
745 if (bfd_link_relocatable (info))
747 /* This is a relocatable link. We don't have to change
748 anything, unless the reloc is against a section symbol,
749 in which case we have to adjust according to where the
750 section symbol winds up in the output section. */
751 if (sym != NULL && ELF_ST_TYPE (sym->st_info) == STT_SECTION)
752 rel->r_addend += sec->output_offset;
756 switch (ELF32_R_TYPE (rel->r_info))
763 plt_offset = &h->plt.offset;
765 plt_offset = elf_local_got_offsets (input_bfd) + r_symndx;
767 if (! valid_16bit_address (relocation))
769 /* If this is the first time we've processed this symbol,
770 fill in the plt entry with the correct symbol address. */
771 if ((*plt_offset & 1) == 0)
775 x = 0x000000ec; /* br !!abs24 */
776 x |= (relocation << 8) & 0xffffff00;
777 bfd_put_32 (input_bfd, x, splt->contents + *plt_offset);
781 relocation = (splt->output_section->vma
782 + splt->output_offset
783 + (*plt_offset & -2));
786 char *newname = bfd_malloc (strlen(name)+5);
787 strcpy (newname, name);
788 strcat(newname, ".plt");
789 _bfd_generic_link_add_one_symbol (info,
792 BSF_FUNCTION | BSF_WEAK,
805 if (h != NULL && h->root.type == bfd_link_hash_undefweak)
806 /* If the symbol is undefined and weak
807 then the relocation resolves to zero. */
811 if (howto->pc_relative)
813 relocation -= (input_section->output_section->vma
814 + input_section->output_offset
816 relocation -= bfd_get_reloc_size (howto);
819 relocation += rel->r_addend;
824 #define RANGE(a,b) if (a > (long) relocation || (long) relocation > b) r = bfd_reloc_overflow
826 /* Opcode relocs are always big endian. Data relocs are bi-endian. */
832 case R_RL78_RH_RELAX:
835 case R_RL78_DIR8S_PCREL:
850 case R_RL78_DIR16S_PCREL:
851 RANGE (-32768, 32767);
853 OP (1) = relocation >> 8;
857 if ((relocation & 0xf0000) == 0xf0000)
858 relocation &= 0xffff;
859 RANGE (-32768, 65535);
861 OP (1) = relocation >> 8;
867 OP (1) = relocation >> 8;
871 RANGE (-32768, 65536);
873 OP (1) = relocation >> 8;
876 case R_RL78_DIR16_REV:
877 RANGE (-32768, 65536);
879 OP (0) = relocation >> 8;
882 case R_RL78_DIR3U_PCREL:
885 OP (0) |= relocation & 0x07;
888 case R_RL78_DIR24S_PCREL:
889 RANGE (-0x800000, 0x7fffff);
891 OP (1) = relocation >> 8;
892 OP (2) = relocation >> 16;
896 RANGE (-0x800000, 0x7fffff);
898 OP (1) = relocation >> 8;
899 OP (2) = relocation >> 16;
904 OP (1) = relocation >> 8;
905 OP (2) = relocation >> 16;
906 OP (3) = relocation >> 24;
909 case R_RL78_DIR32_REV:
911 OP (2) = relocation >> 8;
912 OP (1) = relocation >> 16;
913 OP (0) = relocation >> 24;
917 RANGE (0xfff00, 0xfffff);
918 OP (0) = relocation & 0xff;
921 case R_RL78_RH_SADDR:
922 RANGE (0xffe20, 0xfff1f);
923 OP (0) = relocation & 0xff;
926 /* Complex reloc handling: */
928 case R_RL78_ABS32_REV:
929 case R_RL78_ABS24S_PCREL:
932 case R_RL78_ABS16_REV:
933 case R_RL78_ABS16S_PCREL:
942 case R_RL78_ABS8S_PCREL:
951 case R_RL78_OPsctsize:
952 case R_RL78_OPscttop:
958 relocation = rl78_compute_complex_reloc (r_type, 0, input_section);
964 OP (1) = relocation >> 8;
965 OP (2) = relocation >> 16;
966 OP (3) = relocation >> 24;
969 case R_RL78_ABS32_REV:
971 OP (2) = relocation >> 8;
972 OP (1) = relocation >> 16;
973 OP (0) = relocation >> 24;
976 case R_RL78_ABS24S_PCREL:
978 RANGE (-0x800000, 0x7fffff);
980 OP (1) = relocation >> 8;
981 OP (2) = relocation >> 16;
985 RANGE (-32768, 65535);
987 OP (1) = relocation >> 8;
990 case R_RL78_ABS16_REV:
991 RANGE (-32768, 65535);
993 OP (0) = relocation >> 8;
996 case R_RL78_ABS16S_PCREL:
998 RANGE (-32768, 32767);
1000 OP (1) = relocation >> 8;
1004 case R_RL78_ABS16UL:
1005 case R_RL78_ABS16UW:
1007 OP (0) = relocation;
1008 OP (1) = relocation >> 8;
1013 OP (0) = relocation;
1020 OP (0) = relocation;
1023 case R_RL78_ABS8S_PCREL:
1026 OP (0) = relocation;
1035 if (r_symndx < symtab_hdr->sh_info)
1036 relocation = sec->output_section->vma + sec->output_offset
1037 + sym->st_value + rel->r_addend;
1039 && (h->root.type == bfd_link_hash_defined
1040 || h->root.type == bfd_link_hash_defweak))
1041 relocation = h->root.u.def.value
1042 + sec->output_section->vma
1043 + sec->output_offset
1048 if (h->root.type != bfd_link_hash_undefweak)
1049 _bfd_error_handler (_("Warning: RL78_SYM reloc with an unknown symbol"));
1051 (void) rl78_compute_complex_reloc (r_type, relocation, input_section);
1054 case R_RL78_OPromtop:
1055 relocation = get_romstart (info, input_bfd, input_section, rel->r_offset);
1056 (void) rl78_compute_complex_reloc (r_type, relocation, input_section);
1059 case R_RL78_OPramtop:
1060 relocation = get_ramstart (info, input_bfd, input_section, rel->r_offset);
1061 (void) rl78_compute_complex_reloc (r_type, relocation, input_section);
1065 r = bfd_reloc_notsupported;
1069 if (r != bfd_reloc_ok)
1071 const char * msg = NULL;
1075 case bfd_reloc_overflow:
1076 /* Catch the case of a missing function declaration
1077 and emit a more helpful error message. */
1078 if (r_type == R_RL78_DIR24S_PCREL)
1079 /* xgettext:c-format */
1080 msg = _("%B(%A): error: call to undefined function '%s'");
1082 (*info->callbacks->reloc_overflow)
1083 (info, (h ? &h->root : NULL), name, howto->name, (bfd_vma) 0,
1084 input_bfd, input_section, rel->r_offset);
1087 case bfd_reloc_undefined:
1088 (*info->callbacks->undefined_symbol)
1089 (info, name, input_bfd, input_section, rel->r_offset, TRUE);
1092 case bfd_reloc_other:
1093 /* xgettext:c-format */
1094 msg = _("%B(%A): warning: unaligned access to symbol '%s' in the small data area");
1097 case bfd_reloc_outofrange:
1098 /* xgettext:c-format */
1099 msg = _("%B(%A): internal error: out of range error");
1102 case bfd_reloc_notsupported:
1103 /* xgettext:c-format */
1104 msg = _("%B(%A): internal error: unsupported relocation error");
1107 case bfd_reloc_dangerous:
1108 /* xgettext:c-format */
1109 msg = _("%B(%A): internal error: dangerous relocation");
1113 /* xgettext:c-format */
1114 msg = _("%B(%A): internal error: unknown error");
1119 _bfd_error_handler (msg, input_bfd, input_section, name);
1126 /* Function to set the ELF flag bits. */
1129 rl78_elf_set_private_flags (bfd * abfd, flagword flags)
1131 elf_elfheader (abfd)->e_flags = flags;
1132 elf_flags_init (abfd) = TRUE;
1136 static bfd_boolean no_warn_mismatch = FALSE;
1138 void bfd_elf32_rl78_set_target_flags (bfd_boolean);
1141 bfd_elf32_rl78_set_target_flags (bfd_boolean user_no_warn_mismatch)
1143 no_warn_mismatch = user_no_warn_mismatch;
1147 rl78_cpu_name (flagword flags)
1149 switch (flags & E_FLAG_RL78_CPU_MASK)
1152 case E_FLAG_RL78_G10: return "G10";
1153 case E_FLAG_RL78_G13: return "G13";
1154 case E_FLAG_RL78_G14: return "G14";
1158 /* Merge backend specific data from an object file to the output
1159 object file when linking. */
1162 rl78_elf_merge_private_bfd_data (bfd *ibfd, struct bfd_link_info *info)
1164 bfd *obfd = info->output_bfd;
1167 bfd_boolean error = FALSE;
1169 new_flags = elf_elfheader (ibfd)->e_flags;
1170 old_flags = elf_elfheader (obfd)->e_flags;
1172 if (!elf_flags_init (obfd))
1174 /* First call, no flags set. */
1175 elf_flags_init (obfd) = TRUE;
1176 elf_elfheader (obfd)->e_flags = new_flags;
1178 else if (old_flags != new_flags)
1180 flagword changed_flags = old_flags ^ new_flags;
1182 if (changed_flags & E_FLAG_RL78_CPU_MASK)
1184 flagword out_cpu = old_flags & E_FLAG_RL78_CPU_MASK;
1185 flagword in_cpu = new_flags & E_FLAG_RL78_CPU_MASK;
1187 if (in_cpu == E_FLAG_RL78_ANY_CPU || in_cpu == out_cpu)
1188 /* It does not matter what new_cpu may have. */;
1189 else if (out_cpu == E_FLAG_RL78_ANY_CPU)
1191 if (in_cpu == E_FLAG_RL78_G10)
1193 /* G10 files can only be linked with other G10 files.
1194 If the output is set to "any" this means that it is
1195 a G14 file that does not use hardware multiply/divide,
1196 but that is still incompatible with the G10 ABI. */
1200 /* xgettext:c-format */
1201 (_("RL78 ABI conflict: G10 file %B cannot be linked"
1202 " with %s file %B"),
1203 ibfd, rl78_cpu_name (out_cpu), obfd);
1207 old_flags &= ~ E_FLAG_RL78_CPU_MASK;
1208 old_flags |= in_cpu;
1209 elf_elfheader (obfd)->e_flags = old_flags;
1217 /* xgettext:c-format */
1218 (_("RL78 ABI conflict: cannot link %s file %B with %s file %B"),
1219 rl78_cpu_name (in_cpu), ibfd,
1220 rl78_cpu_name (out_cpu), obfd);
1224 if (changed_flags & E_FLAG_RL78_64BIT_DOUBLES)
1227 (_("RL78 merge conflict: cannot link 32-bit and 64-bit objects together"));
1229 if (old_flags & E_FLAG_RL78_64BIT_DOUBLES)
1230 /* xgettext:c-format */
1231 _bfd_error_handler (_("- %B is 64-bit, %B is not"),
1234 /* xgettext:c-format */
1235 _bfd_error_handler (_("- %B is 64-bit, %B is not"),
1245 rl78_elf_print_private_bfd_data (bfd * abfd, void * ptr)
1247 FILE * file = (FILE *) ptr;
1250 BFD_ASSERT (abfd != NULL && ptr != NULL);
1252 /* Print normal ELF private data. */
1253 _bfd_elf_print_private_bfd_data (abfd, ptr);
1255 flags = elf_elfheader (abfd)->e_flags;
1256 fprintf (file, _("private flags = 0x%lx:"), (long) flags);
1258 if (flags & E_FLAG_RL78_CPU_MASK)
1259 fprintf (file, " [%s]", rl78_cpu_name (flags));
1261 if (flags & E_FLAG_RL78_64BIT_DOUBLES)
1262 fprintf (file, _(" [64-bit doubles]"));
1268 /* Return the MACH for an e_flags value. */
1271 elf32_rl78_machine (bfd * abfd ATTRIBUTE_UNUSED)
1273 return bfd_mach_rl78;
1277 rl78_elf_object_p (bfd * abfd)
1279 bfd_default_set_arch_mach (abfd, bfd_arch_rl78,
1280 elf32_rl78_machine (abfd));
1284 /* support PLT for 16-bit references to 24-bit functions. */
1286 /* We support 16-bit pointers to code above 64k by generating a thunk
1287 below 64k containing a JMP instruction to the final address. */
1290 rl78_elf_check_relocs
1292 struct bfd_link_info * info,
1294 const Elf_Internal_Rela * relocs)
1296 Elf_Internal_Shdr * symtab_hdr;
1297 struct elf_link_hash_entry ** sym_hashes;
1298 const Elf_Internal_Rela * rel;
1299 const Elf_Internal_Rela * rel_end;
1300 bfd_vma *local_plt_offsets;
1304 if (bfd_link_relocatable (info))
1307 symtab_hdr = &elf_tdata (abfd)->symtab_hdr;
1308 sym_hashes = elf_sym_hashes (abfd);
1309 local_plt_offsets = elf_local_got_offsets (abfd);
1310 dynobj = elf_hash_table(info)->dynobj;
1312 rel_end = relocs + sec->reloc_count;
1313 for (rel = relocs; rel < rel_end; rel++)
1315 struct elf_link_hash_entry *h;
1316 unsigned long r_symndx;
1319 r_symndx = ELF32_R_SYM (rel->r_info);
1320 if (r_symndx < symtab_hdr->sh_info)
1324 h = sym_hashes[r_symndx - symtab_hdr->sh_info];
1325 while (h->root.type == bfd_link_hash_indirect
1326 || h->root.type == bfd_link_hash_warning)
1327 h = (struct elf_link_hash_entry *) h->root.u.i.link;
1330 switch (ELF32_R_TYPE (rel->r_info))
1332 /* This relocation describes a 16-bit pointer to a function.
1333 We may need to allocate a thunk in low memory; reserve memory
1337 elf_hash_table (info)->dynobj = dynobj = abfd;
1338 splt = elf_hash_table (info)->splt;
1341 flagword flags = (SEC_ALLOC | SEC_LOAD | SEC_HAS_CONTENTS
1342 | SEC_IN_MEMORY | SEC_LINKER_CREATED
1343 | SEC_READONLY | SEC_CODE);
1344 splt = bfd_make_section_anyway_with_flags (dynobj, ".plt",
1346 elf_hash_table (info)->splt = splt;
1348 || ! bfd_set_section_alignment (dynobj, splt, 1))
1353 offset = &h->plt.offset;
1356 if (local_plt_offsets == NULL)
1361 size = symtab_hdr->sh_info * sizeof (bfd_vma);
1362 local_plt_offsets = (bfd_vma *) bfd_alloc (abfd, size);
1363 if (local_plt_offsets == NULL)
1365 elf_local_got_offsets (abfd) = local_plt_offsets;
1367 for (i = 0; i < symtab_hdr->sh_info; i++)
1368 local_plt_offsets[i] = (bfd_vma) -1;
1370 offset = &local_plt_offsets[r_symndx];
1373 if (*offset == (bfd_vma) -1)
1375 *offset = splt->size;
1385 /* This must exist if dynobj is ever set. */
1388 rl78_elf_finish_dynamic_sections (bfd *abfd ATTRIBUTE_UNUSED,
1389 struct bfd_link_info *info)
1394 if (!elf_hash_table (info)->dynamic_sections_created)
1397 /* As an extra sanity check, verify that all plt entries have been
1398 filled in. However, relaxing might have changed the relocs so
1399 that some plt entries don't get filled in, so we have to skip
1400 this check if we're relaxing. Unfortunately, check_relocs is
1401 called before relaxation. */
1403 if (info->relax_trip > 0)
1406 dynobj = elf_hash_table (info)->dynobj;
1407 splt = elf_hash_table (info)->splt;
1408 if (dynobj != NULL && splt != NULL)
1410 bfd_byte *contents = splt->contents;
1411 unsigned int i, size = splt->size;
1413 for (i = 0; i < size; i += 4)
1415 unsigned int x = bfd_get_32 (dynobj, contents + i);
1416 BFD_ASSERT (x != 0);
1424 rl78_elf_always_size_sections (bfd *output_bfd ATTRIBUTE_UNUSED,
1425 struct bfd_link_info *info)
1430 if (bfd_link_relocatable (info))
1433 dynobj = elf_hash_table (info)->dynobj;
1437 splt = elf_hash_table (info)->splt;
1438 BFD_ASSERT (splt != NULL);
1440 splt->contents = (bfd_byte *) bfd_zalloc (dynobj, splt->size);
1441 if (splt->contents == NULL)
1449 /* Handle relaxing. */
1451 /* A subroutine of rl78_elf_relax_section. If the global symbol H
1452 is within the low 64k, remove any entry for it in the plt. */
1454 struct relax_plt_data
1461 rl78_relax_plt_check (struct elf_link_hash_entry *h, void * xdata)
1463 struct relax_plt_data *data = (struct relax_plt_data *) xdata;
1465 if (h->plt.offset != (bfd_vma) -1)
1469 if (h->root.type == bfd_link_hash_undefined
1470 || h->root.type == bfd_link_hash_undefweak)
1473 address = (h->root.u.def.section->output_section->vma
1474 + h->root.u.def.section->output_offset
1475 + h->root.u.def.value);
1477 if (valid_16bit_address (address))
1480 data->splt->size -= 4;
1481 *data->again = TRUE;
1488 /* A subroutine of rl78_elf_relax_section. If the global symbol H
1489 previously had a plt entry, give it a new entry offset. */
1492 rl78_relax_plt_realloc (struct elf_link_hash_entry *h, void * xdata)
1494 bfd_vma *entry = (bfd_vma *) xdata;
1496 if (h->plt.offset != (bfd_vma) -1)
1498 h->plt.offset = *entry;
1506 rl78_elf_relax_plt_section (bfd *dynobj,
1508 struct bfd_link_info *info,
1511 struct relax_plt_data relax_plt_data;
1514 /* Assume nothing changes. */
1517 if (bfd_link_relocatable (info))
1520 /* We only relax the .plt section at the moment. */
1521 if (dynobj != elf_hash_table (info)->dynobj
1522 || strcmp (splt->name, ".plt") != 0)
1525 /* Quick check for an empty plt. */
1526 if (splt->size == 0)
1529 /* Map across all global symbols; see which ones happen to
1530 fall in the low 64k. */
1531 relax_plt_data.splt = splt;
1532 relax_plt_data.again = again;
1533 elf_link_hash_traverse (elf_hash_table (info), rl78_relax_plt_check,
1536 /* Likewise for local symbols, though that's somewhat less convenient
1537 as we have to walk the list of input bfds and swap in symbol data. */
1538 for (ibfd = info->input_bfds; ibfd ; ibfd = ibfd->link.next)
1540 bfd_vma *local_plt_offsets = elf_local_got_offsets (ibfd);
1541 Elf_Internal_Shdr *symtab_hdr;
1542 Elf_Internal_Sym *isymbuf = NULL;
1545 if (! local_plt_offsets)
1548 symtab_hdr = &elf_tdata (ibfd)->symtab_hdr;
1549 if (symtab_hdr->sh_info != 0)
1551 isymbuf = (Elf_Internal_Sym *) symtab_hdr->contents;
1552 if (isymbuf == NULL)
1553 isymbuf = bfd_elf_get_elf_syms (ibfd, symtab_hdr,
1554 symtab_hdr->sh_info, 0,
1556 if (isymbuf == NULL)
1560 for (idx = 0; idx < symtab_hdr->sh_info; ++idx)
1562 Elf_Internal_Sym *isym;
1566 if (local_plt_offsets[idx] == (bfd_vma) -1)
1569 isym = &isymbuf[idx];
1570 if (isym->st_shndx == SHN_UNDEF)
1572 else if (isym->st_shndx == SHN_ABS)
1573 tsec = bfd_abs_section_ptr;
1574 else if (isym->st_shndx == SHN_COMMON)
1575 tsec = bfd_com_section_ptr;
1577 tsec = bfd_section_from_elf_index (ibfd, isym->st_shndx);
1579 address = (tsec->output_section->vma
1580 + tsec->output_offset
1582 if (valid_16bit_address (address))
1584 local_plt_offsets[idx] = -1;
1591 && symtab_hdr->contents != (unsigned char *) isymbuf)
1593 if (! info->keep_memory)
1597 /* Cache the symbols for elf_link_input_bfd. */
1598 symtab_hdr->contents = (unsigned char *) isymbuf;
1603 /* If we changed anything, walk the symbols again to reallocate
1604 .plt entry addresses. */
1605 if (*again && splt->size > 0)
1609 elf_link_hash_traverse (elf_hash_table (info),
1610 rl78_relax_plt_realloc, &entry);
1612 for (ibfd = info->input_bfds; ibfd ; ibfd = ibfd->link.next)
1614 bfd_vma *local_plt_offsets = elf_local_got_offsets (ibfd);
1615 unsigned int nlocals = elf_tdata (ibfd)->symtab_hdr.sh_info;
1618 if (! local_plt_offsets)
1621 for (idx = 0; idx < nlocals; ++idx)
1622 if (local_plt_offsets[idx] != (bfd_vma) -1)
1624 local_plt_offsets[idx] = entry;
1633 /* Delete some bytes from a section while relaxing. */
1636 elf32_rl78_relax_delete_bytes (bfd *abfd, asection *sec, bfd_vma addr, int count,
1637 Elf_Internal_Rela *alignment_rel, int force_snip)
1639 Elf_Internal_Shdr * symtab_hdr;
1640 unsigned int sec_shndx;
1641 bfd_byte * contents;
1642 Elf_Internal_Rela * irel;
1643 Elf_Internal_Rela * irelend;
1644 Elf_Internal_Sym * isym;
1645 Elf_Internal_Sym * isymend;
1647 unsigned int symcount;
1648 struct elf_link_hash_entry ** sym_hashes;
1649 struct elf_link_hash_entry ** end_hashes;
1654 sec_shndx = _bfd_elf_section_from_bfd_section (abfd, sec);
1656 contents = elf_section_data (sec)->this_hdr.contents;
1658 /* The deletion must stop at the next alignment boundary, if
1659 ALIGNMENT_REL is non-NULL. */
1662 toaddr = alignment_rel->r_offset;
1664 irel = elf_section_data (sec)->relocs;
1667 _bfd_elf_link_read_relocs (sec->owner, sec, NULL, NULL, TRUE);
1668 irel = elf_section_data (sec)->relocs;
1671 irelend = irel + sec->reloc_count;
1673 /* Actually delete the bytes. */
1674 memmove (contents + addr, contents + addr + count,
1675 (size_t) (toaddr - addr - count));
1677 /* If we don't have an alignment marker to worry about, we can just
1678 shrink the section. Otherwise, we have to fill in the newly
1679 created gap with NOP insns (0x03). */
1683 memset (contents + toaddr - count, 0x03, count);
1685 /* Adjust all the relocs. */
1686 for (; irel && irel < irelend; irel++)
1688 /* Get the new reloc address. */
1689 if (irel->r_offset > addr
1690 && (irel->r_offset < toaddr
1691 || (force_snip && irel->r_offset == toaddr)))
1692 irel->r_offset -= count;
1694 /* If we see an ALIGN marker at the end of the gap, we move it
1695 to the beginning of the gap, since marking these gaps is what
1697 if (irel->r_offset == toaddr
1698 && ELF32_R_TYPE (irel->r_info) == R_RL78_RH_RELAX
1699 && irel->r_addend & RL78_RELAXA_ALIGN)
1700 irel->r_offset -= count;
1703 /* Adjust the local symbols defined in this section. */
1704 symtab_hdr = &elf_tdata (abfd)->symtab_hdr;
1705 isym = (Elf_Internal_Sym *) symtab_hdr->contents;
1706 isymend = isym + symtab_hdr->sh_info;
1708 for (; isym < isymend; isym++)
1710 /* If the symbol is in the range of memory we just moved, we
1711 have to adjust its value. */
1712 if (isym->st_shndx == sec_shndx
1713 && isym->st_value > addr
1714 && isym->st_value < toaddr)
1715 isym->st_value -= count;
1717 /* If the symbol *spans* the bytes we just deleted (i.e. it's
1718 *end* is in the moved bytes but it's *start* isn't), then we
1719 must adjust its size. */
1720 if (isym->st_shndx == sec_shndx
1721 && isym->st_value < addr
1722 && isym->st_value + isym->st_size > addr
1723 && isym->st_value + isym->st_size < toaddr)
1724 isym->st_size -= count;
1727 /* Now adjust the global symbols defined in this section. */
1728 symcount = (symtab_hdr->sh_size / sizeof (Elf32_External_Sym)
1729 - symtab_hdr->sh_info);
1730 sym_hashes = elf_sym_hashes (abfd);
1731 end_hashes = sym_hashes + symcount;
1733 for (; sym_hashes < end_hashes; sym_hashes++)
1735 struct elf_link_hash_entry *sym_hash = *sym_hashes;
1737 if ((sym_hash->root.type == bfd_link_hash_defined
1738 || sym_hash->root.type == bfd_link_hash_defweak)
1739 && sym_hash->root.u.def.section == sec)
1741 /* As above, adjust the value if needed. */
1742 if (sym_hash->root.u.def.value > addr
1743 && sym_hash->root.u.def.value < toaddr)
1744 sym_hash->root.u.def.value -= count;
1746 /* As above, adjust the size if needed. */
1747 if (sym_hash->root.u.def.value < addr
1748 && sym_hash->root.u.def.value + sym_hash->size > addr
1749 && sym_hash->root.u.def.value + sym_hash->size < toaddr)
1750 sym_hash->size -= count;
1757 /* Used to sort relocs by address. If relocs have the same address,
1758 we maintain their relative order, except that R_RL78_RH_RELAX
1759 alignment relocs must be the first reloc for any given address. */
1762 reloc_bubblesort (Elf_Internal_Rela * r, int count)
1766 bfd_boolean swappit;
1768 /* This is almost a classic bubblesort. It's the slowest sort, but
1769 we're taking advantage of the fact that the relocations are
1770 mostly in order already (the assembler emits them that way) and
1771 we need relocs with the same address to remain in the same
1777 for (i = 0; i < count - 1; i ++)
1779 if (r[i].r_offset > r[i + 1].r_offset)
1781 else if (r[i].r_offset < r[i + 1].r_offset)
1783 else if (ELF32_R_TYPE (r[i + 1].r_info) == R_RL78_RH_RELAX
1784 && (r[i + 1].r_addend & RL78_RELAXA_ALIGN))
1786 else if (ELF32_R_TYPE (r[i + 1].r_info) == R_RL78_RH_RELAX
1787 && (r[i + 1].r_addend & RL78_RELAXA_ELIGN)
1788 && !(ELF32_R_TYPE (r[i].r_info) == R_RL78_RH_RELAX
1789 && (r[i].r_addend & RL78_RELAXA_ALIGN)))
1796 Elf_Internal_Rela tmp;
1801 /* If we do move a reloc back, re-scan to see if it
1802 needs to be moved even further back. This avoids
1803 most of the O(n^2) behavior for our cases. */
1813 #define OFFSET_FOR_RELOC(rel, lrel, scale) \
1814 rl78_offset_for_reloc (abfd, rel + 1, symtab_hdr, shndx_buf, intsyms, \
1815 lrel, abfd, sec, link_info, scale)
1818 rl78_offset_for_reloc (bfd * abfd,
1819 Elf_Internal_Rela * rel,
1820 Elf_Internal_Shdr * symtab_hdr,
1821 Elf_External_Sym_Shndx * shndx_buf ATTRIBUTE_UNUSED,
1822 Elf_Internal_Sym * intsyms,
1823 Elf_Internal_Rela ** lrel,
1825 asection * input_section,
1826 struct bfd_link_info * info,
1833 /* REL is the first of 1..N relocations. We compute the symbol
1834 value for each relocation, then combine them if needed. LREL
1835 gets a pointer to the last relocation used. */
1838 unsigned long r_type;
1840 /* Get the value of the symbol referred to by the reloc. */
1841 if (ELF32_R_SYM (rel->r_info) < symtab_hdr->sh_info)
1843 /* A local symbol. */
1844 Elf_Internal_Sym *isym;
1847 isym = intsyms + ELF32_R_SYM (rel->r_info);
1849 if (isym->st_shndx == SHN_UNDEF)
1850 ssec = bfd_und_section_ptr;
1851 else if (isym->st_shndx == SHN_ABS)
1852 ssec = bfd_abs_section_ptr;
1853 else if (isym->st_shndx == SHN_COMMON)
1854 ssec = bfd_com_section_ptr;
1856 ssec = bfd_section_from_elf_index (abfd,
1859 /* Initial symbol value. */
1860 symval = isym->st_value;
1862 /* GAS may have made this symbol relative to a section, in
1863 which case, we have to add the addend to find the
1865 if (ELF_ST_TYPE (isym->st_info) == STT_SECTION)
1866 symval += rel->r_addend;
1870 if ((ssec->flags & SEC_MERGE)
1871 && ssec->sec_info_type == SEC_INFO_TYPE_MERGE)
1872 symval = _bfd_merged_section_offset (abfd, & ssec,
1873 elf_section_data (ssec)->sec_info,
1877 /* Now make the offset relative to where the linker is putting it. */
1880 ssec->output_section->vma + ssec->output_offset;
1882 symval += rel->r_addend;
1887 struct elf_link_hash_entry * h;
1889 /* An external symbol. */
1890 indx = ELF32_R_SYM (rel->r_info) - symtab_hdr->sh_info;
1891 h = elf_sym_hashes (abfd)[indx];
1892 BFD_ASSERT (h != NULL);
1894 if (h->root.type != bfd_link_hash_defined
1895 && h->root.type != bfd_link_hash_defweak)
1897 /* This appears to be a reference to an undefined
1898 symbol. Just ignore it--it will be caught by the
1899 regular reloc processing. */
1905 symval = (h->root.u.def.value
1906 + h->root.u.def.section->output_section->vma
1907 + h->root.u.def.section->output_offset);
1909 symval += rel->r_addend;
1912 r_type = ELF32_R_TYPE (rel->r_info);
1916 (void) rl78_compute_complex_reloc (r_type, symval, input_section);
1919 case R_RL78_OPromtop:
1920 symval = get_romstart (info, input_bfd, input_section, rel->r_offset);
1921 (void) rl78_compute_complex_reloc (r_type, symval, input_section);
1924 case R_RL78_OPramtop:
1925 symval = get_ramstart (info, input_bfd, input_section, rel->r_offset);
1926 (void) rl78_compute_complex_reloc (r_type, symval, input_section);
1936 case R_RL78_OPsctsize:
1937 case R_RL78_OPscttop:
1943 (void) rl78_compute_complex_reloc (r_type, 0, input_section);
1946 case R_RL78_DIR16UL:
1948 case R_RL78_ABS16UL:
1951 goto reloc_computes_value;
1953 case R_RL78_DIR16UW:
1955 case R_RL78_ABS16UW:
1958 goto reloc_computes_value;
1961 reloc_computes_value:
1962 symval = rl78_compute_complex_reloc (r_type, symval, input_section);
1969 case R_RL78_DIR24S_PCREL:
1970 case R_RL78_DIR16S_PCREL:
1971 case R_RL78_DIR8S_PCREL:
1982 int prefix; /* or -1 for "no prefix" */
1983 int insn; /* or -1 for "end of list" */
1984 int insn_for_saddr; /* or -1 for "no alternative" */
1985 int insn_for_sfr; /* or -1 for "no alternative" */
1986 } relax_addr16[] = {
1987 { -1, 0x02, 0x06, -1 }, /* ADDW AX, !addr16 */
1988 { -1, 0x22, 0x26, -1 }, /* SUBW AX, !addr16 */
1989 { -1, 0x42, 0x46, -1 }, /* CMPW AX, !addr16 */
1990 { -1, 0x40, 0x4a, -1 }, /* CMP !addr16, #byte */
1992 { -1, 0x0f, 0x0b, -1 }, /* ADD A, !addr16 */
1993 { -1, 0x1f, 0x1b, -1 }, /* ADDC A, !addr16 */
1994 { -1, 0x2f, 0x2b, -1 }, /* SUB A, !addr16 */
1995 { -1, 0x3f, 0x3b, -1 }, /* SUBC A, !addr16 */
1996 { -1, 0x4f, 0x4b, -1 }, /* CMP A, !addr16 */
1997 { -1, 0x5f, 0x5b, -1 }, /* AND A, !addr16 */
1998 { -1, 0x6f, 0x6b, -1 }, /* OR A, !addr16 */
1999 { -1, 0x7f, 0x7b, -1 }, /* XOR A, !addr16 */
2001 { -1, 0x8f, 0x8d, 0x8e }, /* MOV A, !addr16 */
2002 { -1, 0x9f, 0x9d, 0x9e }, /* MOV !addr16, A */
2003 { -1, 0xaf, 0xad, 0xae }, /* MOVW AX, !addr16 */
2004 { -1, 0xbf, 0xbd, 0xbe }, /* MOVW !addr16, AX */
2005 { -1, 0xcf, 0xcd, 0xce }, /* MOVW !addr16, #word */
2007 { -1, 0xa0, 0xa4, -1 }, /* INC !addr16 */
2008 { -1, 0xa2, 0xa6, -1 }, /* INCW !addr16 */
2009 { -1, 0xb0, 0xb4, -1 }, /* DEC !addr16 */
2010 { -1, 0xb2, 0xb6, -1 }, /* DECW !addr16 */
2012 { -1, 0xd5, 0xd4, -1 }, /* CMP0 !addr16 */
2013 { -1, 0xe5, 0xe4, -1 }, /* ONEB !addr16 */
2014 { -1, 0xf5, 0xf4, -1 }, /* CLRB !addr16 */
2016 { -1, 0xd9, 0xd8, -1 }, /* MOV X, !addr16 */
2017 { -1, 0xe9, 0xe8, -1 }, /* MOV B, !addr16 */
2018 { -1, 0xf9, 0xf8, -1 }, /* MOV C, !addr16 */
2019 { -1, 0xdb, 0xda, -1 }, /* MOVW BC, !addr16 */
2020 { -1, 0xeb, 0xea, -1 }, /* MOVW DE, !addr16 */
2021 { -1, 0xfb, 0xfa, -1 }, /* MOVW HL, !addr16 */
2023 { 0x61, 0xaa, 0xa8, -1 }, /* XCH A, !addr16 */
2025 { 0x71, 0x00, 0x02, 0x0a }, /* SET1 !addr16.0 */
2026 { 0x71, 0x10, 0x12, 0x1a }, /* SET1 !addr16.0 */
2027 { 0x71, 0x20, 0x22, 0x2a }, /* SET1 !addr16.0 */
2028 { 0x71, 0x30, 0x32, 0x3a }, /* SET1 !addr16.0 */
2029 { 0x71, 0x40, 0x42, 0x4a }, /* SET1 !addr16.0 */
2030 { 0x71, 0x50, 0x52, 0x5a }, /* SET1 !addr16.0 */
2031 { 0x71, 0x60, 0x62, 0x6a }, /* SET1 !addr16.0 */
2032 { 0x71, 0x70, 0x72, 0x7a }, /* SET1 !addr16.0 */
2034 { 0x71, 0x08, 0x03, 0x0b }, /* CLR1 !addr16.0 */
2035 { 0x71, 0x18, 0x13, 0x1b }, /* CLR1 !addr16.0 */
2036 { 0x71, 0x28, 0x23, 0x2b }, /* CLR1 !addr16.0 */
2037 { 0x71, 0x38, 0x33, 0x3b }, /* CLR1 !addr16.0 */
2038 { 0x71, 0x48, 0x43, 0x4b }, /* CLR1 !addr16.0 */
2039 { 0x71, 0x58, 0x53, 0x5b }, /* CLR1 !addr16.0 */
2040 { 0x71, 0x68, 0x63, 0x6b }, /* CLR1 !addr16.0 */
2041 { 0x71, 0x78, 0x73, 0x7b }, /* CLR1 !addr16.0 */
2046 /* Relax one section. */
2049 rl78_elf_relax_section
2052 struct bfd_link_info * link_info,
2053 bfd_boolean * again)
2055 Elf_Internal_Shdr * symtab_hdr;
2056 Elf_Internal_Shdr * shndx_hdr;
2057 Elf_Internal_Rela * internal_relocs;
2058 Elf_Internal_Rela * free_relocs = NULL;
2059 Elf_Internal_Rela * irel;
2060 Elf_Internal_Rela * srel;
2061 Elf_Internal_Rela * irelend;
2062 Elf_Internal_Rela * next_alignment;
2063 bfd_byte * contents = NULL;
2064 bfd_byte * free_contents = NULL;
2065 Elf_Internal_Sym * intsyms = NULL;
2066 Elf_Internal_Sym * free_intsyms = NULL;
2067 Elf_External_Sym_Shndx * shndx_buf = NULL;
2069 bfd_vma symval ATTRIBUTE_UNUSED = 0;
2070 int pcrel ATTRIBUTE_UNUSED = 0;
2071 int code ATTRIBUTE_UNUSED = 0;
2072 int section_alignment_glue;
2075 if (abfd == elf_hash_table (link_info)->dynobj
2076 && strcmp (sec->name, ".plt") == 0)
2077 return rl78_elf_relax_plt_section (abfd, sec, link_info, again);
2079 /* Assume nothing changes. */
2082 /* We don't have to do anything for a relocatable link, if
2083 this section does not have relocs, or if this is not a
2085 if (bfd_link_relocatable (link_info)
2086 || (sec->flags & SEC_RELOC) == 0
2087 || sec->reloc_count == 0
2088 || (sec->flags & SEC_CODE) == 0)
2091 symtab_hdr = & elf_symtab_hdr (abfd);
2092 if (elf_symtab_shndx_list (abfd))
2093 shndx_hdr = & elf_symtab_shndx_list (abfd)->hdr;
2097 /* Get the section contents. */
2098 if (elf_section_data (sec)->this_hdr.contents != NULL)
2099 contents = elf_section_data (sec)->this_hdr.contents;
2100 /* Go get them off disk. */
2103 if (! bfd_malloc_and_get_section (abfd, sec, &contents))
2105 elf_section_data (sec)->this_hdr.contents = contents;
2108 /* Read this BFD's symbols. */
2109 /* Get cached copy if it exists. */
2110 if (symtab_hdr->contents != NULL)
2111 intsyms = (Elf_Internal_Sym *) symtab_hdr->contents;
2114 intsyms = bfd_elf_get_elf_syms (abfd, symtab_hdr, symtab_hdr->sh_info, 0, NULL, NULL, NULL);
2115 symtab_hdr->contents = (bfd_byte *) intsyms;
2118 if (shndx_hdr && shndx_hdr->sh_size != 0)
2122 amt = symtab_hdr->sh_info;
2123 amt *= sizeof (Elf_External_Sym_Shndx);
2124 shndx_buf = (Elf_External_Sym_Shndx *) bfd_malloc (amt);
2125 if (shndx_buf == NULL)
2127 if (bfd_seek (abfd, shndx_hdr->sh_offset, SEEK_SET) != 0
2128 || bfd_bread (shndx_buf, amt, abfd) != amt)
2130 shndx_hdr->contents = (bfd_byte *) shndx_buf;
2133 /* Get a copy of the native relocations. */
2134 internal_relocs = (_bfd_elf_link_read_relocs
2135 (abfd, sec, NULL, (Elf_Internal_Rela *) NULL,
2136 link_info->keep_memory));
2137 if (internal_relocs == NULL)
2139 if (! link_info->keep_memory)
2140 free_relocs = internal_relocs;
2142 /* The RL_ relocs must be just before the operand relocs they go
2143 with, so we must sort them to guarantee this. We use bubblesort
2144 instead of qsort so we can guarantee that relocs with the same
2145 address remain in the same relative order. */
2146 reloc_bubblesort (internal_relocs, sec->reloc_count);
2148 /* Walk through them looking for relaxing opportunities. */
2149 irelend = internal_relocs + sec->reloc_count;
2152 /* This will either be NULL or a pointer to the next alignment
2154 next_alignment = internal_relocs;
2156 /* We calculate worst case shrinkage caused by alignment directives.
2157 No fool-proof, but better than either ignoring the problem or
2158 doing heavy duty analysis of all the alignment markers in all
2160 section_alignment_glue = 0;
2161 for (irel = internal_relocs; irel < irelend; irel++)
2162 if (ELF32_R_TYPE (irel->r_info) == R_RL78_RH_RELAX
2163 && irel->r_addend & RL78_RELAXA_ALIGN)
2165 int this_glue = 1 << (irel->r_addend & RL78_RELAXA_ANUM);
2167 if (section_alignment_glue < this_glue)
2168 section_alignment_glue = this_glue;
2170 /* Worst case is all 0..N alignments, in order, causing 2*N-1 byte
2172 section_alignment_glue *= 2;
2174 for (irel = internal_relocs; irel < irelend; irel++)
2176 unsigned char *insn;
2179 /* The insns we care about are all marked with one of these. */
2180 if (ELF32_R_TYPE (irel->r_info) != R_RL78_RH_RELAX)
2183 if (irel->r_addend & RL78_RELAXA_ALIGN
2184 || next_alignment == internal_relocs)
2186 /* When we delete bytes, we need to maintain all the alignments
2187 indicated. In addition, we need to be careful about relaxing
2188 jumps across alignment boundaries - these displacements
2189 *grow* when we delete bytes. For now, don't shrink
2190 displacements across an alignment boundary, just in case.
2191 Note that this only affects relocations to the same
2193 next_alignment += 2;
2194 while (next_alignment < irelend
2195 && (ELF32_R_TYPE (next_alignment->r_info) != R_RL78_RH_RELAX
2196 || !(next_alignment->r_addend & RL78_RELAXA_ELIGN)))
2198 if (next_alignment >= irelend || next_alignment->r_offset == 0)
2199 next_alignment = NULL;
2202 /* When we hit alignment markers, see if we've shrunk enough
2203 before them to reduce the gap without violating the alignment
2205 if (irel->r_addend & RL78_RELAXA_ALIGN)
2207 /* At this point, the next relocation *should* be the ELIGN
2209 Elf_Internal_Rela *erel = irel + 1;
2210 unsigned int alignment, nbytes;
2212 if (ELF32_R_TYPE (erel->r_info) != R_RL78_RH_RELAX)
2214 if (!(erel->r_addend & RL78_RELAXA_ELIGN))
2217 alignment = 1 << (irel->r_addend & RL78_RELAXA_ANUM);
2219 if (erel->r_offset - irel->r_offset < alignment)
2222 nbytes = erel->r_offset - irel->r_offset;
2223 nbytes /= alignment;
2224 nbytes *= alignment;
2226 elf32_rl78_relax_delete_bytes (abfd, sec, erel->r_offset - nbytes, nbytes,
2227 next_alignment, erel->r_offset == sec->size);
2233 if (irel->r_addend & RL78_RELAXA_ELIGN)
2236 insn = contents + irel->r_offset;
2238 nrelocs = irel->r_addend & RL78_RELAXA_RNUM;
2240 /* At this point, we have an insn that is a candidate for linker
2241 relaxation. There are NRELOCS relocs following that may be
2242 relaxed, although each reloc may be made of more than one
2243 reloc entry (such as gp-rel symbols). */
2245 /* Get the value of the symbol referred to by the reloc. Just
2246 in case this is the last reloc in the list, use the RL's
2247 addend to choose between this reloc (no addend) or the next
2248 (yes addend, which means at least one following reloc). */
2250 /* srel points to the "current" reloction for this insn -
2251 actually the last reloc for a given operand, which is the one
2252 we need to update. We check the relaxations in the same
2253 order that the relocations happen, so we'll just push it
2257 pc = sec->output_section->vma + sec->output_offset
2261 BFD_ASSERT (nrelocs > 0); \
2262 symval = OFFSET_FOR_RELOC (srel, &srel, &scale); \
2263 pcrel = symval - pc + srel->r_addend; \
2266 #define SNIPNR(offset, nbytes) \
2267 elf32_rl78_relax_delete_bytes (abfd, sec, (insn - contents) + offset, nbytes, next_alignment, 0);
2269 #define SNIP(offset, nbytes, newtype) \
2270 SNIPNR (offset, nbytes); \
2271 srel->r_info = ELF32_R_INFO (ELF32_R_SYM (srel->r_info), newtype)
2273 /* The order of these bit tests must match the order that the
2274 relocs appear in. Since we sorted those by offset, we can
2277 /*----------------------------------------------------------------------*/
2278 /* EF ad BR $rel8 pcrel
2279 ED al ah BR !abs16 abs
2280 EE al ah BR $!rel16 pcrel
2281 EC al ah as BR !!abs20 abs
2283 FD al ah CALL !abs16 abs
2284 FE al ah CALL $!rel16 pcrel
2285 FC al ah as CALL !!abs20 abs
2293 61 C8 EF ad SKC ; BR $rel8
2294 61 D8 EF ad SKNC ; BR $rel8
2295 61 E8 EF ad SKZ ; BR $rel8
2296 61 F8 EF ad SKNZ ; BR $rel8
2297 61 E3 EF ad SKH ; BR $rel8
2298 61 F3 EF ad SKNH ; BR $rel8
2301 if ((irel->r_addend & RL78_RELAXA_MASK) == RL78_RELAXA_BRA)
2303 /* SKIP opcodes that skip non-branches will have a relax tag
2304 but no corresponding symbol to relax against; we just
2306 if (irel->r_addend & RL78_RELAXA_RNUM)
2315 case 0xde: /* BNC */
2316 case 0xdf: /* BNZ */
2317 if (insn[1] == 0x03 && insn[2] == 0xee /* BR */
2318 && (srel->r_offset - irel->r_offset) > 1) /* a B<c> without its own reloc */
2320 /* This is a "long" conditional as generated by gas:
2325 insn[0] ^= 0x02; /* invert conditional */
2327 SNIP (1, 2, R_RL78_DIR8S_PCREL);
2334 case 0xec: /* BR !!abs20 */
2341 SNIP (2, 2, R_RL78_DIR8S_PCREL);
2344 else if (symval < 65536)
2347 insn[1] = symval & 0xff;
2348 insn[2] = symval >> 8;
2349 SNIP (2, 1, R_RL78_DIR16U);
2352 else if (pcrel < 32767
2356 insn[1] = pcrel & 0xff;
2357 insn[2] = pcrel >> 8;
2358 SNIP (2, 1, R_RL78_DIR16S_PCREL);
2363 case 0xee: /* BR $!pcrel16 */
2364 case 0xed: /* BR $!abs16 */
2370 SNIP (2, 1, R_RL78_DIR8S_PCREL);
2375 case 0xfc: /* CALL !!abs20 */
2379 insn[1] = symval & 0xff;
2380 insn[2] = symval >> 8;
2381 SNIP (2, 1, R_RL78_DIR16U);
2384 else if (pcrel < 32767
2388 insn[1] = pcrel & 0xff;
2389 insn[2] = pcrel >> 8;
2390 SNIP (2, 1, R_RL78_DIR16S_PCREL);
2395 case 0x61: /* PREFIX */
2396 /* For SKIP/BR, we change the BR opcode and delete the
2397 SKIP. That way, we don't have to find and change the
2398 relocation for the BR. */
2399 /* Note that, for the case where we're skipping some
2400 other insn, we have no "other" reloc but that's safe
2404 case 0xd3: /* BNH */
2406 if (insn[2] == 0x03 && insn[3] == 0xee
2407 && (srel->r_offset - irel->r_offset) > 2) /* a B<c> without its own reloc */
2409 /* Another long branch by gas:
2410 61 D3 03 EE ad.dr */
2414 insn[1] ^= 0x10; /* invert conditional */
2416 SNIP (2, 2, R_RL78_DIR8S_PCREL);
2423 case 0xc8: /* SKC */
2424 if (insn[2] == 0xef)
2426 insn[2] = 0xde; /* BNC */
2431 case 0xd8: /* SKNC */
2432 if (insn[2] == 0xef)
2434 insn[2] = 0xdc; /* BC */
2439 case 0xe8: /* SKZ */
2440 if (insn[2] == 0xef)
2442 insn[2] = 0xdf; /* BNZ */
2447 case 0xf8: /* SKNZ */
2448 if (insn[2] == 0xef)
2450 insn[2] = 0xdd; /* BZ */
2455 case 0xe3: /* SKH */
2456 if (insn[2] == 0xef)
2458 insn[2] = 0xd3; /* BNH */
2459 SNIPNR (1, 1); /* we reuse the 0x61 prefix from the SKH */
2463 case 0xf3: /* SKNH */
2464 if (insn[2] == 0xef)
2466 insn[2] = 0xc3; /* BH */
2467 SNIPNR (1, 1); /* we reuse the 0x61 prefix from the SKH */
2475 if ((irel->r_addend & RL78_RELAXA_MASK) == RL78_RELAXA_ADDR16
2478 /*----------------------------------------------------------------------*/
2479 /* Some insns have both a 16-bit address operand and an 8-bit
2480 variant if the address is within a special range:
2482 Address 16-bit operand SADDR range SFR range
2483 FFF00-FFFFF 0xff00-0xffff 0x00-0xff
2484 FFE20-FFF1F 0xfe20-0xff1f 0x00-0xff
2486 The RELAX_ADDR16[] array has the insn encodings for the
2487 16-bit operand version, as well as the SFR and SADDR
2488 variants. We only need to replace the encodings and
2491 Note: we intentionally do not attempt to decode and skip
2492 any ES: prefix, as adding ES: means the addr16 (likely)
2493 no longer points to saddr/sfr space.
2503 if (0xffe20 <= symval && symval <= 0xfffff)
2506 is_saddr = (0xffe20 <= symval && symval <= 0xfff1f);
2507 is_sfr = (0xfff00 <= symval && symval <= 0xfffff);
2509 for (idx = 0; relax_addr16[idx].insn != -1; idx ++)
2511 if (relax_addr16[idx].prefix != -1
2512 && insn[0] == relax_addr16[idx].prefix
2513 && insn[1] == relax_addr16[idx].insn)
2517 else if (relax_addr16[idx].prefix == -1
2518 && insn[0] == relax_addr16[idx].insn)
2525 /* We have a matched insn, and poff is 0 or 1 depending
2526 on the base pattern size. */
2528 if (is_sfr && relax_addr16[idx].insn_for_sfr != -1)
2530 insn[poff] = relax_addr16[idx].insn_for_sfr;
2531 SNIP (poff+2, 1, R_RL78_RH_SFR);
2534 else if (is_saddr && relax_addr16[idx].insn_for_saddr != -1)
2536 insn[poff] = relax_addr16[idx].insn_for_saddr;
2537 SNIP (poff+2, 1, R_RL78_RH_SADDR);
2542 /*----------------------------------------------------------------------*/
2548 if (free_relocs != NULL)
2551 if (free_contents != NULL)
2552 free (free_contents);
2554 if (shndx_buf != NULL)
2556 shndx_hdr->contents = NULL;
2560 if (free_intsyms != NULL)
2561 free (free_intsyms);
2568 #define ELF_ARCH bfd_arch_rl78
2569 #define ELF_MACHINE_CODE EM_RL78
2570 #define ELF_MAXPAGESIZE 0x1000
2572 #define TARGET_LITTLE_SYM rl78_elf32_vec
2573 #define TARGET_LITTLE_NAME "elf32-rl78"
2575 #define elf_info_to_howto_rel NULL
2576 #define elf_info_to_howto rl78_info_to_howto_rela
2577 #define elf_backend_object_p rl78_elf_object_p
2578 #define elf_backend_relocate_section rl78_elf_relocate_section
2579 #define elf_symbol_leading_char ('_')
2580 #define elf_backend_can_gc_sections 1
2582 #define bfd_elf32_bfd_reloc_type_lookup rl78_reloc_type_lookup
2583 #define bfd_elf32_bfd_reloc_name_lookup rl78_reloc_name_lookup
2584 #define bfd_elf32_bfd_set_private_flags rl78_elf_set_private_flags
2585 #define bfd_elf32_bfd_merge_private_bfd_data rl78_elf_merge_private_bfd_data
2586 #define bfd_elf32_bfd_print_private_bfd_data rl78_elf_print_private_bfd_data
2588 #define bfd_elf32_bfd_relax_section rl78_elf_relax_section
2589 #define elf_backend_check_relocs rl78_elf_check_relocs
2590 #define elf_backend_always_size_sections \
2591 rl78_elf_always_size_sections
2592 #define elf_backend_finish_dynamic_sections \
2593 rl78_elf_finish_dynamic_sections
2595 #include "elf32-target.h"