1 /* Renesas RL78 specific support for 32-bit ELF.
2 Copyright (C) 2011-2014 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 /* Note that the relocations around 0x7f are internal to this file;
35 feel free to move them as needed to avoid conflicts with published
36 relocation numbers. */
38 static reloc_howto_type rl78_elf_howto_table [] =
40 RL78REL (NONE, 0, 0, 0, dont, FALSE),
41 RL78REL (DIR32, 2, 32, 0, signed, FALSE),
42 RL78REL (DIR24S, 2, 24, 0, signed, FALSE),
43 RL78REL (DIR16, 1, 16, 0, dont, FALSE),
44 RL78REL (DIR16U, 1, 16, 0, unsigned, FALSE),
45 RL78REL (DIR16S, 1, 16, 0, signed, FALSE),
46 RL78REL (DIR8, 0, 8, 0, dont, FALSE),
47 RL78REL (DIR8U, 0, 8, 0, unsigned, FALSE),
48 RL78REL (DIR8S, 0, 8, 0, signed, FALSE),
49 RL78REL (DIR24S_PCREL, 2, 24, 0, signed, TRUE),
50 RL78REL (DIR16S_PCREL, 1, 16, 0, signed, TRUE),
51 RL78REL (DIR8S_PCREL, 0, 8, 0, signed, TRUE),
52 RL78REL (DIR16UL, 1, 16, 2, unsigned, FALSE),
53 RL78REL (DIR16UW, 1, 16, 1, unsigned, FALSE),
54 RL78REL (DIR8UL, 0, 8, 2, unsigned, FALSE),
55 RL78REL (DIR8UW, 0, 8, 1, unsigned, FALSE),
56 RL78REL (DIR32_REV, 1, 16, 0, dont, FALSE),
57 RL78REL (DIR16_REV, 1, 16, 0, dont, FALSE),
58 RL78REL (DIR3U_PCREL, 0, 3, 0, dont, TRUE),
87 RL78REL (RH_RELAX, 0, 0, 0, dont, FALSE),
109 RL78REL (ABS32, 2, 32, 0, dont, FALSE),
110 RL78REL (ABS24S, 2, 24, 0, signed, FALSE),
111 RL78REL (ABS16, 1, 16, 0, dont, FALSE),
112 RL78REL (ABS16U, 1, 16, 0, unsigned, FALSE),
113 RL78REL (ABS16S, 1, 16, 0, signed, FALSE),
114 RL78REL (ABS8, 0, 8, 0, dont, FALSE),
115 RL78REL (ABS8U, 0, 8, 0, unsigned, FALSE),
116 RL78REL (ABS8S, 0, 8, 0, signed, FALSE),
117 RL78REL (ABS24S_PCREL, 2, 24, 0, signed, TRUE),
118 RL78REL (ABS16S_PCREL, 1, 16, 0, signed, TRUE),
119 RL78REL (ABS8S_PCREL, 0, 8, 0, signed, TRUE),
120 RL78REL (ABS16UL, 1, 16, 0, unsigned, FALSE),
121 RL78REL (ABS16UW, 1, 16, 0, unsigned, FALSE),
122 RL78REL (ABS8UL, 0, 8, 0, unsigned, FALSE),
123 RL78REL (ABS8UW, 0, 8, 0, unsigned, FALSE),
124 RL78REL (ABS32_REV, 2, 32, 0, dont, FALSE),
125 RL78REL (ABS16_REV, 1, 16, 0, dont, FALSE),
127 #define STACK_REL_P(x) ((x) <= R_RL78_ABS16_REV && (x) >= R_RL78_ABS32)
177 RL78REL (SYM, 2, 32, 0, dont, FALSE),
178 RL78REL (OPneg, 2, 32, 0, dont, FALSE),
179 RL78REL (OPadd, 2, 32, 0, dont, FALSE),
180 RL78REL (OPsub, 2, 32, 0, dont, FALSE),
181 RL78REL (OPmul, 2, 32, 0, dont, FALSE),
182 RL78REL (OPdiv, 2, 32, 0, dont, FALSE),
183 RL78REL (OPshla, 2, 32, 0, dont, FALSE),
184 RL78REL (OPshra, 2, 32, 0, dont, FALSE),
185 RL78REL (OPsctsize, 2, 32, 0, dont, FALSE),
190 RL78REL (OPscttop, 2, 32, 0, dont, FALSE),
193 RL78REL (OPand, 2, 32, 0, dont, FALSE),
194 RL78REL (OPor, 2, 32, 0, dont, FALSE),
195 RL78REL (OPxor, 2, 32, 0, dont, FALSE),
196 RL78REL (OPnot, 2, 32, 0, dont, FALSE),
197 RL78REL (OPmod, 2, 32, 0, dont, FALSE),
198 RL78REL (OPromtop, 2, 32, 0, dont, FALSE),
199 RL78REL (OPramtop, 2, 32, 0, dont, FALSE)
202 /* Map BFD reloc types to RL78 ELF reloc types. */
204 struct rl78_reloc_map
206 bfd_reloc_code_real_type bfd_reloc_val;
207 unsigned int rl78_reloc_val;
210 static const struct rl78_reloc_map rl78_reloc_map [] =
212 { BFD_RELOC_NONE, R_RL78_NONE },
213 { BFD_RELOC_8, R_RL78_DIR8S },
214 { BFD_RELOC_16, R_RL78_DIR16S },
215 { BFD_RELOC_24, R_RL78_DIR24S },
216 { BFD_RELOC_32, R_RL78_DIR32 },
217 { BFD_RELOC_RL78_16_OP, R_RL78_DIR16 },
218 { BFD_RELOC_RL78_DIR3U_PCREL, R_RL78_DIR3U_PCREL },
219 { BFD_RELOC_8_PCREL, R_RL78_DIR8S_PCREL },
220 { BFD_RELOC_16_PCREL, R_RL78_DIR16S_PCREL },
221 { BFD_RELOC_24_PCREL, R_RL78_DIR24S_PCREL },
222 { BFD_RELOC_RL78_8U, R_RL78_DIR8U },
223 { BFD_RELOC_RL78_16U, R_RL78_DIR16U },
224 { BFD_RELOC_RL78_SYM, R_RL78_SYM },
225 { BFD_RELOC_RL78_OP_SUBTRACT, R_RL78_OPsub },
226 { BFD_RELOC_RL78_OP_NEG, R_RL78_OPneg },
227 { BFD_RELOC_RL78_OP_AND, R_RL78_OPand },
228 { BFD_RELOC_RL78_OP_SHRA, R_RL78_OPshra },
229 { BFD_RELOC_RL78_ABS8, R_RL78_ABS8 },
230 { BFD_RELOC_RL78_ABS16, R_RL78_ABS16 },
231 { BFD_RELOC_RL78_ABS16_REV, R_RL78_ABS16_REV },
232 { BFD_RELOC_RL78_ABS32, R_RL78_ABS32 },
233 { BFD_RELOC_RL78_ABS32_REV, R_RL78_ABS32_REV },
234 { BFD_RELOC_RL78_ABS16UL, R_RL78_ABS16UL },
235 { BFD_RELOC_RL78_ABS16UW, R_RL78_ABS16UW },
236 { BFD_RELOC_RL78_ABS16U, R_RL78_ABS16U },
237 { BFD_RELOC_RL78_RELAX, R_RL78_RH_RELAX }
240 static reloc_howto_type *
241 rl78_reloc_type_lookup (bfd * abfd ATTRIBUTE_UNUSED,
242 bfd_reloc_code_real_type code)
246 if (code == BFD_RELOC_RL78_32_OP)
247 return rl78_elf_howto_table + R_RL78_DIR32;
249 for (i = ARRAY_SIZE (rl78_reloc_map); --i;)
250 if (rl78_reloc_map [i].bfd_reloc_val == code)
251 return rl78_elf_howto_table + rl78_reloc_map[i].rl78_reloc_val;
256 static reloc_howto_type *
257 rl78_reloc_name_lookup (bfd * abfd ATTRIBUTE_UNUSED, const char * r_name)
261 for (i = 0; i < ARRAY_SIZE (rl78_elf_howto_table); i++)
262 if (rl78_elf_howto_table[i].name != NULL
263 && strcasecmp (rl78_elf_howto_table[i].name, r_name) == 0)
264 return rl78_elf_howto_table + i;
269 /* Set the howto pointer for an RL78 ELF reloc. */
272 rl78_info_to_howto_rela (bfd * abfd ATTRIBUTE_UNUSED,
274 Elf_Internal_Rela * dst)
278 r_type = ELF32_R_TYPE (dst->r_info);
279 BFD_ASSERT (r_type < (unsigned int) R_RL78_max);
280 cache_ptr->howto = rl78_elf_howto_table + r_type;
284 get_symbol_value (const char * name,
285 bfd_reloc_status_type * status,
286 struct bfd_link_info * info,
288 asection * input_section,
292 struct bfd_link_hash_entry * h;
294 h = bfd_link_hash_lookup (info->hash, name, FALSE, FALSE, TRUE);
297 || (h->type != bfd_link_hash_defined
298 && h->type != bfd_link_hash_defweak))
299 * status = info->callbacks->undefined_symbol
300 (info, name, input_bfd, input_section, offset, TRUE);
302 value = (h->u.def.value
303 + h->u.def.section->output_section->vma
304 + h->u.def.section->output_offset);
310 get_romstart (bfd_reloc_status_type * status,
311 struct bfd_link_info * info,
316 static bfd_boolean cached = FALSE;
317 static bfd_vma cached_value = 0;
321 cached_value = get_symbol_value ("_start", status, info, abfd, sec, offset);
328 get_ramstart (bfd_reloc_status_type * status,
329 struct bfd_link_info * info,
334 static bfd_boolean cached = FALSE;
335 static bfd_vma cached_value = 0;
339 cached_value = get_symbol_value ("__datastart", status, info, abfd, sec, offset);
345 #define NUM_STACK_ENTRIES 16
346 static int32_t rl78_stack [ NUM_STACK_ENTRIES ];
347 static unsigned int rl78_stack_top;
349 #define RL78_STACK_PUSH(val) \
352 if (rl78_stack_top < NUM_STACK_ENTRIES) \
353 rl78_stack [rl78_stack_top ++] = (val); \
355 r = bfd_reloc_dangerous; \
359 #define RL78_STACK_POP(dest) \
362 if (rl78_stack_top > 0) \
363 (dest) = rl78_stack [-- rl78_stack_top]; \
365 (dest) = 0, r = bfd_reloc_dangerous; \
369 /* Relocate an RL78 ELF section.
370 There is some attempt to make this function usable for many architectures,
371 both USE_REL and USE_RELA ['twould be nice if such a critter existed],
372 if only to serve as a learning tool.
374 The RELOCATE_SECTION function is called by the new ELF backend linker
375 to handle the relocations for a section.
377 The relocs are always passed as Rela structures; if the section
378 actually uses Rel structures, the r_addend field will always be
381 This function is responsible for adjusting the section contents as
382 necessary, and (if using Rela relocs and generating a relocatable
383 output file) adjusting the reloc addend as necessary.
385 This function does not have to worry about setting the reloc
386 address or the reloc symbol index.
388 LOCAL_SYMS is a pointer to the swapped in local symbols.
390 LOCAL_SECTIONS is an array giving the section in the input file
391 corresponding to the st_shndx field of each local symbol.
393 The global hash table entry for the global symbols can be found
394 via elf_sym_hashes (input_bfd).
396 When generating relocatable output, this function must handle
397 STB_LOCAL/STT_SECTION symbols specially. The output symbol is
398 going to be the section symbol corresponding to the output
399 section, which means that the addend must be adjusted
403 rl78_elf_relocate_section
405 struct bfd_link_info * info,
407 asection * input_section,
409 Elf_Internal_Rela * relocs,
410 Elf_Internal_Sym * local_syms,
411 asection ** local_sections)
413 Elf_Internal_Shdr * symtab_hdr;
414 struct elf_link_hash_entry ** sym_hashes;
415 Elf_Internal_Rela * rel;
416 Elf_Internal_Rela * relend;
420 symtab_hdr = & elf_tdata (input_bfd)->symtab_hdr;
421 sym_hashes = elf_sym_hashes (input_bfd);
422 relend = relocs + input_section->reloc_count;
424 dynobj = elf_hash_table (info)->dynobj;
427 splt = bfd_get_linker_section (dynobj, ".plt");
429 for (rel = relocs; rel < relend; rel ++)
431 reloc_howto_type * howto;
432 unsigned long r_symndx;
433 Elf_Internal_Sym * sym;
435 struct elf_link_hash_entry * h;
437 bfd_reloc_status_type r;
438 const char * name = NULL;
439 bfd_boolean unresolved_reloc = TRUE;
442 r_type = ELF32_R_TYPE (rel->r_info);
443 r_symndx = ELF32_R_SYM (rel->r_info);
445 howto = rl78_elf_howto_table + ELF32_R_TYPE (rel->r_info);
451 if (r_symndx < symtab_hdr->sh_info)
453 sym = local_syms + r_symndx;
454 sec = local_sections [r_symndx];
455 relocation = _bfd_elf_rela_local_sym (output_bfd, sym, & sec, rel);
457 name = bfd_elf_string_from_elf_section
458 (input_bfd, symtab_hdr->sh_link, sym->st_name);
459 name = (sym->st_name == 0) ? bfd_section_name (input_bfd, sec) : name;
463 bfd_boolean warned ATTRIBUTE_UNUSED;
464 bfd_boolean ignored ATTRIBUTE_UNUSED;
466 RELOC_FOR_GLOBAL_SYMBOL (info, input_bfd, input_section, rel,
467 r_symndx, symtab_hdr, sym_hashes, h,
468 sec, relocation, unresolved_reloc,
471 name = h->root.root.string;
474 if (sec != NULL && discarded_section (sec))
475 RELOC_AGAINST_DISCARDED_SECTION (info, input_bfd, input_section,
476 rel, 1, relend, howto, 0, contents);
478 if (info->relocatable)
480 /* This is a relocatable link. We don't have to change
481 anything, unless the reloc is against a section symbol,
482 in which case we have to adjust according to where the
483 section symbol winds up in the output section. */
484 if (sym != NULL && ELF_ST_TYPE (sym->st_info) == STT_SECTION)
485 rel->r_addend += sec->output_offset;
489 switch (ELF32_R_TYPE (rel->r_info))
496 plt_offset = &h->plt.offset;
498 plt_offset = elf_local_got_offsets (input_bfd) + r_symndx;
500 if (! valid_16bit_address (relocation))
502 /* If this is the first time we've processed this symbol,
503 fill in the plt entry with the correct symbol address. */
504 if ((*plt_offset & 1) == 0)
508 x = 0x000000ec; /* br !!abs24 */
509 x |= (relocation << 8) & 0xffffff00;
510 bfd_put_32 (input_bfd, x, splt->contents + *plt_offset);
514 relocation = (splt->output_section->vma
515 + splt->output_offset
516 + (*plt_offset & -2));
519 char *newname = bfd_malloc (strlen(name)+5);
520 strcpy (newname, name);
521 strcat(newname, ".plt");
522 _bfd_generic_link_add_one_symbol (info,
525 BSF_FUNCTION | BSF_WEAK,
538 if (h != NULL && h->root.type == bfd_link_hash_undefweak)
539 /* If the symbol is undefined and weak
540 then the relocation resolves to zero. */
544 if (howto->pc_relative)
546 relocation -= (input_section->output_section->vma
547 + input_section->output_offset
549 relocation -= bfd_get_reloc_size (howto);
552 relocation += rel->r_addend;
557 #define RANGE(a,b) if (a > (long) relocation || (long) relocation > b) r = bfd_reloc_overflow
558 #define ALIGN(m) if (relocation & m) r = bfd_reloc_other;
559 #define OP(i) (contents[rel->r_offset + (i)])
561 /* Opcode relocs are always big endian. Data relocs are bi-endian. */
567 case R_RL78_RH_RELAX:
570 case R_RL78_DIR8S_PCREL:
585 case R_RL78_DIR16S_PCREL:
586 RANGE (-32768, 32767);
588 OP (1) = relocation >> 8;
592 if ((relocation & 0xf0000) == 0xf0000)
593 relocation &= 0xffff;
594 RANGE (-32768, 65535);
596 OP (1) = relocation >> 8;
602 OP (1) = relocation >> 8;
606 RANGE (-32768, 65536);
608 OP (1) = relocation >> 8;
611 case R_RL78_DIR16_REV:
612 RANGE (-32768, 65536);
614 OP (0) = relocation >> 8;
617 case R_RL78_DIR3U_PCREL:
620 OP (0) |= relocation & 0x07;
623 case R_RL78_DIR24S_PCREL:
624 RANGE (-0x800000, 0x7fffff);
626 OP (1) = relocation >> 8;
627 OP (2) = relocation >> 16;
631 RANGE (-0x800000, 0x7fffff);
633 OP (1) = relocation >> 8;
634 OP (2) = relocation >> 16;
639 OP (1) = relocation >> 8;
640 OP (2) = relocation >> 16;
641 OP (3) = relocation >> 24;
644 case R_RL78_DIR32_REV:
646 OP (2) = relocation >> 8;
647 OP (1) = relocation >> 16;
648 OP (0) = relocation >> 24;
652 RANGE (0xfff00, 0xfffff);
653 OP (0) = relocation & 0xff;
656 case R_RL78_RH_SADDR:
657 RANGE (0xffe20, 0xfff1f);
658 OP (0) = relocation & 0xff;
661 /* Complex reloc handling: */
664 RL78_STACK_POP (relocation);
666 OP (1) = relocation >> 8;
667 OP (2) = relocation >> 16;
668 OP (3) = relocation >> 24;
671 case R_RL78_ABS32_REV:
672 RL78_STACK_POP (relocation);
674 OP (2) = relocation >> 8;
675 OP (1) = relocation >> 16;
676 OP (0) = relocation >> 24;
679 case R_RL78_ABS24S_PCREL:
681 RL78_STACK_POP (relocation);
682 RANGE (-0x800000, 0x7fffff);
684 OP (1) = relocation >> 8;
685 OP (2) = relocation >> 16;
689 RL78_STACK_POP (relocation);
690 RANGE (-32768, 65535);
692 OP (1) = relocation >> 8;
695 case R_RL78_ABS16_REV:
696 RL78_STACK_POP (relocation);
697 RANGE (-32768, 65535);
699 OP (0) = relocation >> 8;
702 case R_RL78_ABS16S_PCREL:
704 RL78_STACK_POP (relocation);
705 RANGE (-32768, 32767);
707 OP (1) = relocation >> 8;
711 RL78_STACK_POP (relocation);
714 OP (1) = relocation >> 8;
718 RL78_STACK_POP (relocation);
722 OP (1) = relocation >> 8;
726 RL78_STACK_POP (relocation);
730 OP (1) = relocation >> 8;
734 RL78_STACK_POP (relocation);
740 RL78_STACK_POP (relocation);
746 RL78_STACK_POP (relocation);
753 RL78_STACK_POP (relocation);
759 case R_RL78_ABS8S_PCREL:
761 RL78_STACK_POP (relocation);
767 if (r_symndx < symtab_hdr->sh_info)
768 RL78_STACK_PUSH (sec->output_section->vma
775 && (h->root.type == bfd_link_hash_defined
776 || h->root.type == bfd_link_hash_defweak))
777 RL78_STACK_PUSH (h->root.u.def.value
778 + sec->output_section->vma
781 else if (h->root.type == bfd_link_hash_undefweak)
784 _bfd_error_handler (_("Warning: RL78_SYM reloc with an unknown symbol"));
792 RL78_STACK_POP (tmp);
794 RL78_STACK_PUSH (tmp);
802 RL78_STACK_POP (tmp2);
803 RL78_STACK_POP (tmp1);
805 RL78_STACK_PUSH (tmp1);
813 /* For the expression "A - B", the assembler pushes A,
814 then B, then OPSUB. So the first op we pop is B, not
816 RL78_STACK_POP (tmp2); /* B */
817 RL78_STACK_POP (tmp1); /* A */
818 tmp1 -= tmp2; /* A - B */
819 RL78_STACK_PUSH (tmp1);
827 RL78_STACK_POP (tmp2);
828 RL78_STACK_POP (tmp1);
830 RL78_STACK_PUSH (tmp1);
838 RL78_STACK_POP (tmp2);
839 RL78_STACK_POP (tmp1);
841 RL78_STACK_PUSH (tmp1);
849 RL78_STACK_POP (tmp2);
850 RL78_STACK_POP (tmp1);
852 RL78_STACK_PUSH (tmp1);
860 RL78_STACK_POP (tmp2);
861 RL78_STACK_POP (tmp1);
863 RL78_STACK_PUSH (tmp1);
867 case R_RL78_OPsctsize:
868 RL78_STACK_PUSH (input_section->size);
871 case R_RL78_OPscttop:
872 RL78_STACK_PUSH (input_section->output_section->vma);
879 RL78_STACK_POP (tmp2);
880 RL78_STACK_POP (tmp1);
882 RL78_STACK_PUSH (tmp1);
890 RL78_STACK_POP (tmp2);
891 RL78_STACK_POP (tmp1);
893 RL78_STACK_PUSH (tmp1);
901 RL78_STACK_POP (tmp2);
902 RL78_STACK_POP (tmp1);
904 RL78_STACK_PUSH (tmp1);
912 RL78_STACK_POP (tmp);
914 RL78_STACK_PUSH (tmp);
922 RL78_STACK_POP (tmp2);
923 RL78_STACK_POP (tmp1);
925 RL78_STACK_PUSH (tmp1);
929 case R_RL78_OPromtop:
930 RL78_STACK_PUSH (get_romstart (&r, info, input_bfd, input_section, rel->r_offset));
933 case R_RL78_OPramtop:
934 RL78_STACK_PUSH (get_ramstart (&r, info, input_bfd, input_section, rel->r_offset));
938 r = bfd_reloc_notsupported;
942 if (r != bfd_reloc_ok)
944 const char * msg = NULL;
948 case bfd_reloc_overflow:
949 /* Catch the case of a missing function declaration
950 and emit a more helpful error message. */
951 if (r_type == R_RL78_DIR24S_PCREL)
952 msg = _("%B(%A): error: call to undefined function '%s'");
954 r = info->callbacks->reloc_overflow
955 (info, (h ? &h->root : NULL), name, howto->name, (bfd_vma) 0,
956 input_bfd, input_section, rel->r_offset);
959 case bfd_reloc_undefined:
960 r = info->callbacks->undefined_symbol
961 (info, name, input_bfd, input_section, rel->r_offset,
965 case bfd_reloc_other:
966 msg = _("%B(%A): warning: unaligned access to symbol '%s' in the small data area");
969 case bfd_reloc_outofrange:
970 msg = _("%B(%A): internal error: out of range error");
973 case bfd_reloc_notsupported:
974 msg = _("%B(%A): internal error: unsupported relocation error");
977 case bfd_reloc_dangerous:
978 msg = _("%B(%A): internal error: dangerous relocation");
982 msg = _("%B(%A): internal error: unknown error");
987 _bfd_error_handler (msg, input_bfd, input_section, name);
997 /* Function to set the ELF flag bits. */
1000 rl78_elf_set_private_flags (bfd * abfd, flagword flags)
1002 elf_elfheader (abfd)->e_flags = flags;
1003 elf_flags_init (abfd) = TRUE;
1007 static bfd_boolean no_warn_mismatch = FALSE;
1009 void bfd_elf32_rl78_set_target_flags (bfd_boolean);
1012 bfd_elf32_rl78_set_target_flags (bfd_boolean user_no_warn_mismatch)
1014 no_warn_mismatch = user_no_warn_mismatch;
1017 /* Merge backend specific data from an object file to the output
1018 object file when linking. */
1021 rl78_elf_merge_private_bfd_data (bfd * ibfd, bfd * obfd)
1025 bfd_boolean error = FALSE;
1027 new_flags = elf_elfheader (ibfd)->e_flags;
1028 old_flags = elf_elfheader (obfd)->e_flags;
1030 if (!elf_flags_init (obfd))
1032 /* First call, no flags set. */
1033 elf_flags_init (obfd) = TRUE;
1034 elf_elfheader (obfd)->e_flags = new_flags;
1036 else if (old_flags != new_flags)
1038 flagword changed_flags = old_flags ^ new_flags;
1040 if (changed_flags & E_FLAG_RL78_G10)
1042 (*_bfd_error_handler)
1043 (_("RL78/G10 ABI conflict: cannot link G10 and non-G10 objects together"));
1045 if (old_flags & E_FLAG_RL78_G10)
1046 (*_bfd_error_handler) (_("- %s is G10, %s is not"),
1047 bfd_get_filename (obfd), bfd_get_filename (ibfd));
1049 (*_bfd_error_handler) (_("- %s is G10, %s is not"),
1050 bfd_get_filename (ibfd), bfd_get_filename (obfd));
1053 if (changed_flags & E_FLAG_RL78_64BIT_DOUBLES)
1055 (*_bfd_error_handler)
1056 (_("RL78 merge conflict: cannot link 32-bit and 64-bit objects together"));
1058 if (old_flags & E_FLAG_RL78_64BIT_DOUBLES)
1059 (*_bfd_error_handler) (_("- %s is 64-bit, %s is not"),
1060 bfd_get_filename (obfd), bfd_get_filename (ibfd));
1062 (*_bfd_error_handler) (_("- %s is 64-bit, %s is not"),
1063 bfd_get_filename (ibfd), bfd_get_filename (obfd));
1071 rl78_elf_print_private_bfd_data (bfd * abfd, void * ptr)
1073 FILE * file = (FILE *) ptr;
1076 BFD_ASSERT (abfd != NULL && ptr != NULL);
1078 /* Print normal ELF private data. */
1079 _bfd_elf_print_private_bfd_data (abfd, ptr);
1081 flags = elf_elfheader (abfd)->e_flags;
1082 fprintf (file, _("private flags = 0x%lx:"), (long) flags);
1084 if (flags & E_FLAG_RL78_G10)
1085 fprintf (file, _(" [G10]"));
1087 if (flags & E_FLAG_RL78_64BIT_DOUBLES)
1088 fprintf (file, _(" [64-bit doubles]"));
1094 /* Return the MACH for an e_flags value. */
1097 elf32_rl78_machine (bfd * abfd)
1099 if ((elf_elfheader (abfd)->e_flags & EF_RL78_CPU_MASK) == EF_RL78_CPU_RL78)
1100 return bfd_mach_rl78;
1106 rl78_elf_object_p (bfd * abfd)
1108 bfd_default_set_arch_mach (abfd, bfd_arch_rl78,
1109 elf32_rl78_machine (abfd));
1113 /* support PLT for 16-bit references to 24-bit functions. */
1115 /* We support 16-bit pointers to code above 64k by generating a thunk
1116 below 64k containing a JMP instruction to the final address. */
1119 rl78_elf_check_relocs
1121 struct bfd_link_info * info,
1123 const Elf_Internal_Rela * relocs)
1125 Elf_Internal_Shdr * symtab_hdr;
1126 struct elf_link_hash_entry ** sym_hashes;
1127 const Elf_Internal_Rela * rel;
1128 const Elf_Internal_Rela * rel_end;
1129 bfd_vma *local_plt_offsets;
1133 if (info->relocatable)
1136 symtab_hdr = &elf_tdata (abfd)->symtab_hdr;
1137 sym_hashes = elf_sym_hashes (abfd);
1138 local_plt_offsets = elf_local_got_offsets (abfd);
1140 dynobj = elf_hash_table(info)->dynobj;
1142 rel_end = relocs + sec->reloc_count;
1143 for (rel = relocs; rel < rel_end; rel++)
1145 struct elf_link_hash_entry *h;
1146 unsigned long r_symndx;
1149 r_symndx = ELF32_R_SYM (rel->r_info);
1150 if (r_symndx < symtab_hdr->sh_info)
1154 h = sym_hashes[r_symndx - symtab_hdr->sh_info];
1155 while (h->root.type == bfd_link_hash_indirect
1156 || h->root.type == bfd_link_hash_warning)
1157 h = (struct elf_link_hash_entry *) h->root.u.i.link;
1159 /* PR15323, ref flags aren't set for references in the same
1161 h->root.non_ir_ref = 1;
1164 switch (ELF32_R_TYPE (rel->r_info))
1166 /* This relocation describes a 16-bit pointer to a function.
1167 We may need to allocate a thunk in low memory; reserve memory
1171 elf_hash_table (info)->dynobj = dynobj = abfd;
1174 splt = bfd_get_linker_section (dynobj, ".plt");
1177 flagword flags = (SEC_ALLOC | SEC_LOAD | SEC_HAS_CONTENTS
1178 | SEC_IN_MEMORY | SEC_LINKER_CREATED
1179 | SEC_READONLY | SEC_CODE);
1180 splt = bfd_make_section_anyway_with_flags (dynobj, ".plt",
1183 || ! bfd_set_section_alignment (dynobj, splt, 1))
1189 offset = &h->plt.offset;
1192 if (local_plt_offsets == NULL)
1197 size = symtab_hdr->sh_info * sizeof (bfd_vma);
1198 local_plt_offsets = (bfd_vma *) bfd_alloc (abfd, size);
1199 if (local_plt_offsets == NULL)
1201 elf_local_got_offsets (abfd) = local_plt_offsets;
1203 for (i = 0; i < symtab_hdr->sh_info; i++)
1204 local_plt_offsets[i] = (bfd_vma) -1;
1206 offset = &local_plt_offsets[r_symndx];
1209 if (*offset == (bfd_vma) -1)
1211 *offset = splt->size;
1221 /* This must exist if dynobj is ever set. */
1224 rl78_elf_finish_dynamic_sections (bfd *abfd ATTRIBUTE_UNUSED,
1225 struct bfd_link_info *info)
1230 if (!elf_hash_table (info)->dynamic_sections_created)
1233 /* As an extra sanity check, verify that all plt entries have been
1234 filled in. However, relaxing might have changed the relocs so
1235 that some plt entries don't get filled in, so we have to skip
1236 this check if we're relaxing. Unfortunately, check_relocs is
1237 called before relaxation. */
1239 if (info->relax_trip > 0)
1242 if ((dynobj = elf_hash_table (info)->dynobj) != NULL
1243 && (splt = bfd_get_linker_section (dynobj, ".plt")) != NULL)
1245 bfd_byte *contents = splt->contents;
1246 unsigned int i, size = splt->size;
1248 for (i = 0; i < size; i += 4)
1250 unsigned int x = bfd_get_32 (dynobj, contents + i);
1251 BFD_ASSERT (x != 0);
1259 rl78_elf_always_size_sections (bfd *output_bfd ATTRIBUTE_UNUSED,
1260 struct bfd_link_info *info)
1265 if (info->relocatable)
1268 dynobj = elf_hash_table (info)->dynobj;
1272 splt = bfd_get_linker_section (dynobj, ".plt");
1273 BFD_ASSERT (splt != NULL);
1275 splt->contents = (bfd_byte *) bfd_zalloc (dynobj, splt->size);
1276 if (splt->contents == NULL)
1284 /* Handle relaxing. */
1286 /* A subroutine of rl78_elf_relax_section. If the global symbol H
1287 is within the low 64k, remove any entry for it in the plt. */
1289 struct relax_plt_data
1296 rl78_relax_plt_check (struct elf_link_hash_entry *h, void * xdata)
1298 struct relax_plt_data *data = (struct relax_plt_data *) xdata;
1300 if (h->plt.offset != (bfd_vma) -1)
1304 if (h->root.type == bfd_link_hash_undefined
1305 || h->root.type == bfd_link_hash_undefweak)
1308 address = (h->root.u.def.section->output_section->vma
1309 + h->root.u.def.section->output_offset
1310 + h->root.u.def.value);
1312 if (valid_16bit_address (address))
1315 data->splt->size -= 4;
1316 *data->again = TRUE;
1323 /* A subroutine of rl78_elf_relax_section. If the global symbol H
1324 previously had a plt entry, give it a new entry offset. */
1327 rl78_relax_plt_realloc (struct elf_link_hash_entry *h, void * xdata)
1329 bfd_vma *entry = (bfd_vma *) xdata;
1331 if (h->plt.offset != (bfd_vma) -1)
1333 h->plt.offset = *entry;
1341 rl78_elf_relax_plt_section (bfd *dynobj,
1343 struct bfd_link_info *info,
1346 struct relax_plt_data relax_plt_data;
1349 /* Assume nothing changes. */
1352 if (info->relocatable)
1355 /* We only relax the .plt section at the moment. */
1356 if (dynobj != elf_hash_table (info)->dynobj
1357 || strcmp (splt->name, ".plt") != 0)
1360 /* Quick check for an empty plt. */
1361 if (splt->size == 0)
1364 /* Map across all global symbols; see which ones happen to
1365 fall in the low 64k. */
1366 relax_plt_data.splt = splt;
1367 relax_plt_data.again = again;
1368 elf_link_hash_traverse (elf_hash_table (info), rl78_relax_plt_check,
1371 /* Likewise for local symbols, though that's somewhat less convenient
1372 as we have to walk the list of input bfds and swap in symbol data. */
1373 for (ibfd = info->input_bfds; ibfd ; ibfd = ibfd->link.next)
1375 bfd_vma *local_plt_offsets = elf_local_got_offsets (ibfd);
1376 Elf_Internal_Shdr *symtab_hdr;
1377 Elf_Internal_Sym *isymbuf = NULL;
1380 if (! local_plt_offsets)
1383 symtab_hdr = &elf_tdata (ibfd)->symtab_hdr;
1384 if (symtab_hdr->sh_info != 0)
1386 isymbuf = (Elf_Internal_Sym *) symtab_hdr->contents;
1387 if (isymbuf == NULL)
1388 isymbuf = bfd_elf_get_elf_syms (ibfd, symtab_hdr,
1389 symtab_hdr->sh_info, 0,
1391 if (isymbuf == NULL)
1395 for (idx = 0; idx < symtab_hdr->sh_info; ++idx)
1397 Elf_Internal_Sym *isym;
1401 if (local_plt_offsets[idx] == (bfd_vma) -1)
1404 isym = &isymbuf[idx];
1405 if (isym->st_shndx == SHN_UNDEF)
1407 else if (isym->st_shndx == SHN_ABS)
1408 tsec = bfd_abs_section_ptr;
1409 else if (isym->st_shndx == SHN_COMMON)
1410 tsec = bfd_com_section_ptr;
1412 tsec = bfd_section_from_elf_index (ibfd, isym->st_shndx);
1414 address = (tsec->output_section->vma
1415 + tsec->output_offset
1417 if (valid_16bit_address (address))
1419 local_plt_offsets[idx] = -1;
1426 && symtab_hdr->contents != (unsigned char *) isymbuf)
1428 if (! info->keep_memory)
1432 /* Cache the symbols for elf_link_input_bfd. */
1433 symtab_hdr->contents = (unsigned char *) isymbuf;
1438 /* If we changed anything, walk the symbols again to reallocate
1439 .plt entry addresses. */
1440 if (*again && splt->size > 0)
1444 elf_link_hash_traverse (elf_hash_table (info),
1445 rl78_relax_plt_realloc, &entry);
1447 for (ibfd = info->input_bfds; ibfd ; ibfd = ibfd->link.next)
1449 bfd_vma *local_plt_offsets = elf_local_got_offsets (ibfd);
1450 unsigned int nlocals = elf_tdata (ibfd)->symtab_hdr.sh_info;
1453 if (! local_plt_offsets)
1456 for (idx = 0; idx < nlocals; ++idx)
1457 if (local_plt_offsets[idx] != (bfd_vma) -1)
1459 local_plt_offsets[idx] = entry;
1468 /* Delete some bytes from a section while relaxing. */
1471 elf32_rl78_relax_delete_bytes (bfd *abfd, asection *sec, bfd_vma addr, int count,
1472 Elf_Internal_Rela *alignment_rel, int force_snip)
1474 Elf_Internal_Shdr * symtab_hdr;
1475 unsigned int sec_shndx;
1476 bfd_byte * contents;
1477 Elf_Internal_Rela * irel;
1478 Elf_Internal_Rela * irelend;
1479 Elf_Internal_Sym * isym;
1480 Elf_Internal_Sym * isymend;
1482 unsigned int symcount;
1483 struct elf_link_hash_entry ** sym_hashes;
1484 struct elf_link_hash_entry ** end_hashes;
1489 sec_shndx = _bfd_elf_section_from_bfd_section (abfd, sec);
1491 contents = elf_section_data (sec)->this_hdr.contents;
1493 /* The deletion must stop at the next alignment boundary, if
1494 ALIGNMENT_REL is non-NULL. */
1497 toaddr = alignment_rel->r_offset;
1499 irel = elf_section_data (sec)->relocs;
1502 _bfd_elf_link_read_relocs (sec->owner, sec, NULL, NULL, TRUE);
1503 irel = elf_section_data (sec)->relocs;
1506 irelend = irel + sec->reloc_count;
1508 /* Actually delete the bytes. */
1509 memmove (contents + addr, contents + addr + count,
1510 (size_t) (toaddr - addr - count));
1512 /* If we don't have an alignment marker to worry about, we can just
1513 shrink the section. Otherwise, we have to fill in the newly
1514 created gap with NOP insns (0x03). */
1518 memset (contents + toaddr - count, 0x03, count);
1520 /* Adjust all the relocs. */
1521 for (; irel && irel < irelend; irel++)
1523 /* Get the new reloc address. */
1524 if (irel->r_offset > addr
1525 && (irel->r_offset < toaddr
1526 || (force_snip && irel->r_offset == toaddr)))
1527 irel->r_offset -= count;
1529 /* If we see an ALIGN marker at the end of the gap, we move it
1530 to the beginning of the gap, since marking these gaps is what
1532 if (irel->r_offset == toaddr
1533 && ELF32_R_TYPE (irel->r_info) == R_RL78_RH_RELAX
1534 && irel->r_addend & RL78_RELAXA_ALIGN)
1535 irel->r_offset -= count;
1538 /* Adjust the local symbols defined in this section. */
1539 symtab_hdr = &elf_tdata (abfd)->symtab_hdr;
1540 isym = (Elf_Internal_Sym *) symtab_hdr->contents;
1541 isymend = isym + symtab_hdr->sh_info;
1543 for (; isym < isymend; isym++)
1545 /* If the symbol is in the range of memory we just moved, we
1546 have to adjust its value. */
1547 if (isym->st_shndx == sec_shndx
1548 && isym->st_value > addr
1549 && isym->st_value < toaddr)
1550 isym->st_value -= count;
1552 /* If the symbol *spans* the bytes we just deleted (i.e. it's
1553 *end* is in the moved bytes but it's *start* isn't), then we
1554 must adjust its size. */
1555 if (isym->st_shndx == sec_shndx
1556 && isym->st_value < addr
1557 && isym->st_value + isym->st_size > addr
1558 && isym->st_value + isym->st_size < toaddr)
1559 isym->st_size -= count;
1562 /* Now adjust the global symbols defined in this section. */
1563 symcount = (symtab_hdr->sh_size / sizeof (Elf32_External_Sym)
1564 - symtab_hdr->sh_info);
1565 sym_hashes = elf_sym_hashes (abfd);
1566 end_hashes = sym_hashes + symcount;
1568 for (; sym_hashes < end_hashes; sym_hashes++)
1570 struct elf_link_hash_entry *sym_hash = *sym_hashes;
1572 if ((sym_hash->root.type == bfd_link_hash_defined
1573 || sym_hash->root.type == bfd_link_hash_defweak)
1574 && sym_hash->root.u.def.section == sec)
1576 /* As above, adjust the value if needed. */
1577 if (sym_hash->root.u.def.value > addr
1578 && sym_hash->root.u.def.value < toaddr)
1579 sym_hash->root.u.def.value -= count;
1581 /* As above, adjust the size if needed. */
1582 if (sym_hash->root.u.def.value < addr
1583 && sym_hash->root.u.def.value + sym_hash->size > addr
1584 && sym_hash->root.u.def.value + sym_hash->size < toaddr)
1585 sym_hash->size -= count;
1592 /* Used to sort relocs by address. If relocs have the same address,
1593 we maintain their relative order, except that R_RL78_RH_RELAX
1594 alignment relocs must be the first reloc for any given address. */
1597 reloc_bubblesort (Elf_Internal_Rela * r, int count)
1601 bfd_boolean swappit;
1603 /* This is almost a classic bubblesort. It's the slowest sort, but
1604 we're taking advantage of the fact that the relocations are
1605 mostly in order already (the assembler emits them that way) and
1606 we need relocs with the same address to remain in the same
1612 for (i = 0; i < count - 1; i ++)
1614 if (r[i].r_offset > r[i + 1].r_offset)
1616 else if (r[i].r_offset < r[i + 1].r_offset)
1618 else if (ELF32_R_TYPE (r[i + 1].r_info) == R_RL78_RH_RELAX
1619 && (r[i + 1].r_addend & RL78_RELAXA_ALIGN))
1621 else if (ELF32_R_TYPE (r[i + 1].r_info) == R_RL78_RH_RELAX
1622 && (r[i + 1].r_addend & RL78_RELAXA_ELIGN)
1623 && !(ELF32_R_TYPE (r[i].r_info) == R_RL78_RH_RELAX
1624 && (r[i].r_addend & RL78_RELAXA_ALIGN)))
1631 Elf_Internal_Rela tmp;
1636 /* If we do move a reloc back, re-scan to see if it
1637 needs to be moved even further back. This avoids
1638 most of the O(n^2) behavior for our cases. */
1648 #define OFFSET_FOR_RELOC(rel, lrel, scale) \
1649 rl78_offset_for_reloc (abfd, rel + 1, symtab_hdr, shndx_buf, intsyms, \
1650 lrel, abfd, sec, link_info, scale)
1653 rl78_offset_for_reloc (bfd * abfd,
1654 Elf_Internal_Rela * rel,
1655 Elf_Internal_Shdr * symtab_hdr,
1656 Elf_External_Sym_Shndx * shndx_buf ATTRIBUTE_UNUSED,
1657 Elf_Internal_Sym * intsyms,
1658 Elf_Internal_Rela ** lrel,
1660 asection * input_section,
1661 struct bfd_link_info * info,
1665 bfd_reloc_status_type r;
1669 /* REL is the first of 1..N relocations. We compute the symbol
1670 value for each relocation, then combine them if needed. LREL
1671 gets a pointer to the last relocation used. */
1676 /* Get the value of the symbol referred to by the reloc. */
1677 if (ELF32_R_SYM (rel->r_info) < symtab_hdr->sh_info)
1679 /* A local symbol. */
1680 Elf_Internal_Sym *isym;
1683 isym = intsyms + ELF32_R_SYM (rel->r_info);
1685 if (isym->st_shndx == SHN_UNDEF)
1686 ssec = bfd_und_section_ptr;
1687 else if (isym->st_shndx == SHN_ABS)
1688 ssec = bfd_abs_section_ptr;
1689 else if (isym->st_shndx == SHN_COMMON)
1690 ssec = bfd_com_section_ptr;
1692 ssec = bfd_section_from_elf_index (abfd,
1695 /* Initial symbol value. */
1696 symval = isym->st_value;
1698 /* GAS may have made this symbol relative to a section, in
1699 which case, we have to add the addend to find the
1701 if (ELF_ST_TYPE (isym->st_info) == STT_SECTION)
1702 symval += rel->r_addend;
1706 if ((ssec->flags & SEC_MERGE)
1707 && ssec->sec_info_type == SEC_INFO_TYPE_MERGE)
1708 symval = _bfd_merged_section_offset (abfd, & ssec,
1709 elf_section_data (ssec)->sec_info,
1713 /* Now make the offset relative to where the linker is putting it. */
1716 ssec->output_section->vma + ssec->output_offset;
1718 symval += rel->r_addend;
1723 struct elf_link_hash_entry * h;
1725 /* An external symbol. */
1726 indx = ELF32_R_SYM (rel->r_info) - symtab_hdr->sh_info;
1727 h = elf_sym_hashes (abfd)[indx];
1728 BFD_ASSERT (h != NULL);
1730 if (h->root.type != bfd_link_hash_defined
1731 && h->root.type != bfd_link_hash_defweak)
1733 /* This appears to be a reference to an undefined
1734 symbol. Just ignore it--it will be caught by the
1735 regular reloc processing. */
1741 symval = (h->root.u.def.value
1742 + h->root.u.def.section->output_section->vma
1743 + h->root.u.def.section->output_offset);
1745 symval += rel->r_addend;
1748 switch (ELF32_R_TYPE (rel->r_info))
1751 RL78_STACK_PUSH (symval);
1755 RL78_STACK_POP (tmp1);
1757 RL78_STACK_PUSH (tmp1);
1761 RL78_STACK_POP (tmp1);
1762 RL78_STACK_POP (tmp2);
1764 RL78_STACK_PUSH (tmp1);
1768 RL78_STACK_POP (tmp1);
1769 RL78_STACK_POP (tmp2);
1771 RL78_STACK_PUSH (tmp2);
1775 RL78_STACK_POP (tmp1);
1776 RL78_STACK_POP (tmp2);
1778 RL78_STACK_PUSH (tmp1);
1782 RL78_STACK_POP (tmp1);
1783 RL78_STACK_POP (tmp2);
1785 RL78_STACK_PUSH (tmp1);
1789 RL78_STACK_POP (tmp1);
1790 RL78_STACK_POP (tmp2);
1792 RL78_STACK_PUSH (tmp1);
1796 RL78_STACK_POP (tmp1);
1797 RL78_STACK_POP (tmp2);
1799 RL78_STACK_PUSH (tmp1);
1802 case R_RL78_OPsctsize:
1803 RL78_STACK_PUSH (input_section->size);
1806 case R_RL78_OPscttop:
1807 RL78_STACK_PUSH (input_section->output_section->vma);
1811 RL78_STACK_POP (tmp1);
1812 RL78_STACK_POP (tmp2);
1814 RL78_STACK_PUSH (tmp1);
1818 RL78_STACK_POP (tmp1);
1819 RL78_STACK_POP (tmp2);
1821 RL78_STACK_PUSH (tmp1);
1825 RL78_STACK_POP (tmp1);
1826 RL78_STACK_POP (tmp2);
1828 RL78_STACK_PUSH (tmp1);
1832 RL78_STACK_POP (tmp1);
1834 RL78_STACK_PUSH (tmp1);
1838 RL78_STACK_POP (tmp1);
1839 RL78_STACK_POP (tmp2);
1841 RL78_STACK_PUSH (tmp1);
1844 case R_RL78_OPromtop:
1845 RL78_STACK_PUSH (get_romstart (&r, info, input_bfd, input_section, rel->r_offset));
1848 case R_RL78_OPramtop:
1849 RL78_STACK_PUSH (get_ramstart (&r, info, input_bfd, input_section, rel->r_offset));
1852 case R_RL78_DIR16UL:
1854 case R_RL78_ABS16UL:
1857 RL78_STACK_POP (symval);
1863 case R_RL78_DIR16UW:
1865 case R_RL78_ABS16UW:
1868 RL78_STACK_POP (symval);
1876 RL78_STACK_POP (symval);
1887 int prefix; /* or -1 for "no prefix" */
1888 int insn; /* or -1 for "end of list" */
1889 int insn_for_saddr; /* or -1 for "no alternative" */
1890 int insn_for_sfr; /* or -1 for "no alternative" */
1891 } relax_addr16[] = {
1892 { -1, 0x02, 0x06, -1 }, /* ADDW AX, !addr16 */
1893 { -1, 0x22, 0x26, -1 }, /* SUBW AX, !addr16 */
1894 { -1, 0x42, 0x46, -1 }, /* CMPW AX, !addr16 */
1895 { -1, 0x40, 0x4a, -1 }, /* CMP !addr16, #byte */
1897 { -1, 0x0f, 0x0b, -1 }, /* ADD A, !addr16 */
1898 { -1, 0x1f, 0x1b, -1 }, /* ADDC A, !addr16 */
1899 { -1, 0x2f, 0x2b, -1 }, /* SUB A, !addr16 */
1900 { -1, 0x3f, 0x3b, -1 }, /* SUBC A, !addr16 */
1901 { -1, 0x4f, 0x4b, -1 }, /* CMP A, !addr16 */
1902 { -1, 0x5f, 0x5b, -1 }, /* AND A, !addr16 */
1903 { -1, 0x6f, 0x6b, -1 }, /* OR A, !addr16 */
1904 { -1, 0x7f, 0x7b, -1 }, /* XOR A, !addr16 */
1906 { -1, 0x8f, 0x8d, 0x8e }, /* MOV A, !addr16 */
1907 { -1, 0x9f, 0x9d, 0x9e }, /* MOV !addr16, A */
1908 { -1, 0xaf, 0xad, 0xae }, /* MOVW AX, !addr16 */
1909 { -1, 0xbf, 0xbd, 0xbe }, /* MOVW !addr16, AX */
1910 { -1, 0xcf, 0xcd, 0xce }, /* MOVW !addr16, #word */
1912 { -1, 0xa0, 0xa4, -1 }, /* INC !addr16 */
1913 { -1, 0xa2, 0xa6, -1 }, /* INCW !addr16 */
1914 { -1, 0xb0, 0xb4, -1 }, /* DEC !addr16 */
1915 { -1, 0xb2, 0xb6, -1 }, /* DECW !addr16 */
1917 { -1, 0xd5, 0xd4, -1 }, /* CMP0 !addr16 */
1918 { -1, 0xe5, 0xe4, -1 }, /* ONEB !addr16 */
1919 { -1, 0xf5, 0xf4, -1 }, /* CLRB !addr16 */
1921 { -1, 0xd9, 0xd8, -1 }, /* MOV X, !addr16 */
1922 { -1, 0xe9, 0xe8, -1 }, /* MOV B, !addr16 */
1923 { -1, 0xf9, 0xf8, -1 }, /* MOV C, !addr16 */
1924 { -1, 0xdb, 0xda, -1 }, /* MOVW BC, !addr16 */
1925 { -1, 0xeb, 0xea, -1 }, /* MOVW DE, !addr16 */
1926 { -1, 0xfb, 0xfa, -1 }, /* MOVW HL, !addr16 */
1928 { 0x61, 0xaa, 0xa8, -1 }, /* XCH A, !addr16 */
1930 { 0x71, 0x00, 0x02, 0x0a }, /* SET1 !addr16.0 */
1931 { 0x71, 0x10, 0x12, 0x1a }, /* SET1 !addr16.0 */
1932 { 0x71, 0x20, 0x22, 0x2a }, /* SET1 !addr16.0 */
1933 { 0x71, 0x30, 0x32, 0x3a }, /* SET1 !addr16.0 */
1934 { 0x71, 0x40, 0x42, 0x4a }, /* SET1 !addr16.0 */
1935 { 0x71, 0x50, 0x52, 0x5a }, /* SET1 !addr16.0 */
1936 { 0x71, 0x60, 0x62, 0x6a }, /* SET1 !addr16.0 */
1937 { 0x71, 0x70, 0x72, 0x7a }, /* SET1 !addr16.0 */
1939 { 0x71, 0x08, 0x03, 0x0b }, /* CLR1 !addr16.0 */
1940 { 0x71, 0x18, 0x13, 0x1b }, /* CLR1 !addr16.0 */
1941 { 0x71, 0x28, 0x23, 0x2b }, /* CLR1 !addr16.0 */
1942 { 0x71, 0x38, 0x33, 0x3b }, /* CLR1 !addr16.0 */
1943 { 0x71, 0x48, 0x43, 0x4b }, /* CLR1 !addr16.0 */
1944 { 0x71, 0x58, 0x53, 0x5b }, /* CLR1 !addr16.0 */
1945 { 0x71, 0x68, 0x63, 0x6b }, /* CLR1 !addr16.0 */
1946 { 0x71, 0x78, 0x73, 0x7b }, /* CLR1 !addr16.0 */
1951 /* Relax one section. */
1954 rl78_elf_relax_section
1957 struct bfd_link_info * link_info,
1958 bfd_boolean * again)
1960 Elf_Internal_Shdr * symtab_hdr;
1961 Elf_Internal_Shdr * shndx_hdr;
1962 Elf_Internal_Rela * internal_relocs;
1963 Elf_Internal_Rela * free_relocs = NULL;
1964 Elf_Internal_Rela * irel;
1965 Elf_Internal_Rela * srel;
1966 Elf_Internal_Rela * irelend;
1967 Elf_Internal_Rela * next_alignment;
1968 bfd_byte * contents = NULL;
1969 bfd_byte * free_contents = NULL;
1970 Elf_Internal_Sym * intsyms = NULL;
1971 Elf_Internal_Sym * free_intsyms = NULL;
1972 Elf_External_Sym_Shndx * shndx_buf = NULL;
1974 bfd_vma symval ATTRIBUTE_UNUSED = 0;
1975 int pcrel ATTRIBUTE_UNUSED = 0;
1976 int code ATTRIBUTE_UNUSED = 0;
1977 int section_alignment_glue;
1980 if (abfd == elf_hash_table (link_info)->dynobj
1981 && strcmp (sec->name, ".plt") == 0)
1982 return rl78_elf_relax_plt_section (abfd, sec, link_info, again);
1984 /* Assume nothing changes. */
1987 /* We don't have to do anything for a relocatable link, if
1988 this section does not have relocs, or if this is not a
1990 if (link_info->relocatable
1991 || (sec->flags & SEC_RELOC) == 0
1992 || sec->reloc_count == 0
1993 || (sec->flags & SEC_CODE) == 0)
1996 symtab_hdr = &elf_tdata (abfd)->symtab_hdr;
1997 shndx_hdr = &elf_tdata (abfd)->symtab_shndx_hdr;
1999 /* Get the section contents. */
2000 if (elf_section_data (sec)->this_hdr.contents != NULL)
2001 contents = elf_section_data (sec)->this_hdr.contents;
2002 /* Go get them off disk. */
2005 if (! bfd_malloc_and_get_section (abfd, sec, &contents))
2007 elf_section_data (sec)->this_hdr.contents = contents;
2010 /* Read this BFD's symbols. */
2011 /* Get cached copy if it exists. */
2012 if (symtab_hdr->contents != NULL)
2013 intsyms = (Elf_Internal_Sym *) symtab_hdr->contents;
2016 intsyms = bfd_elf_get_elf_syms (abfd, symtab_hdr, symtab_hdr->sh_info, 0, NULL, NULL, NULL);
2017 symtab_hdr->contents = (bfd_byte *) intsyms;
2020 if (shndx_hdr->sh_size != 0)
2024 amt = symtab_hdr->sh_info;
2025 amt *= sizeof (Elf_External_Sym_Shndx);
2026 shndx_buf = (Elf_External_Sym_Shndx *) bfd_malloc (amt);
2027 if (shndx_buf == NULL)
2029 if (bfd_seek (abfd, shndx_hdr->sh_offset, SEEK_SET) != 0
2030 || bfd_bread (shndx_buf, amt, abfd) != amt)
2032 shndx_hdr->contents = (bfd_byte *) shndx_buf;
2035 /* Get a copy of the native relocations. */
2036 internal_relocs = (_bfd_elf_link_read_relocs
2037 (abfd, sec, NULL, (Elf_Internal_Rela *) NULL,
2038 link_info->keep_memory));
2039 if (internal_relocs == NULL)
2041 if (! link_info->keep_memory)
2042 free_relocs = internal_relocs;
2044 /* The RL_ relocs must be just before the operand relocs they go
2045 with, so we must sort them to guarantee this. We use bubblesort
2046 instead of qsort so we can guarantee that relocs with the same
2047 address remain in the same relative order. */
2048 reloc_bubblesort (internal_relocs, sec->reloc_count);
2050 /* Walk through them looking for relaxing opportunities. */
2051 irelend = internal_relocs + sec->reloc_count;
2054 /* This will either be NULL or a pointer to the next alignment
2056 next_alignment = internal_relocs;
2058 /* We calculate worst case shrinkage caused by alignment directives.
2059 No fool-proof, but better than either ignoring the problem or
2060 doing heavy duty analysis of all the alignment markers in all
2062 section_alignment_glue = 0;
2063 for (irel = internal_relocs; irel < irelend; irel++)
2064 if (ELF32_R_TYPE (irel->r_info) == R_RL78_RH_RELAX
2065 && irel->r_addend & RL78_RELAXA_ALIGN)
2067 int this_glue = 1 << (irel->r_addend & RL78_RELAXA_ANUM);
2069 if (section_alignment_glue < this_glue)
2070 section_alignment_glue = this_glue;
2072 /* Worst case is all 0..N alignments, in order, causing 2*N-1 byte
2074 section_alignment_glue *= 2;
2076 for (irel = internal_relocs; irel < irelend; irel++)
2078 unsigned char *insn;
2081 /* The insns we care about are all marked with one of these. */
2082 if (ELF32_R_TYPE (irel->r_info) != R_RL78_RH_RELAX)
2085 if (irel->r_addend & RL78_RELAXA_ALIGN
2086 || next_alignment == internal_relocs)
2088 /* When we delete bytes, we need to maintain all the alignments
2089 indicated. In addition, we need to be careful about relaxing
2090 jumps across alignment boundaries - these displacements
2091 *grow* when we delete bytes. For now, don't shrink
2092 displacements across an alignment boundary, just in case.
2093 Note that this only affects relocations to the same
2095 next_alignment += 2;
2096 while (next_alignment < irelend
2097 && (ELF32_R_TYPE (next_alignment->r_info) != R_RL78_RH_RELAX
2098 || !(next_alignment->r_addend & RL78_RELAXA_ELIGN)))
2100 if (next_alignment >= irelend || next_alignment->r_offset == 0)
2101 next_alignment = NULL;
2104 /* When we hit alignment markers, see if we've shrunk enough
2105 before them to reduce the gap without violating the alignment
2107 if (irel->r_addend & RL78_RELAXA_ALIGN)
2109 /* At this point, the next relocation *should* be the ELIGN
2111 Elf_Internal_Rela *erel = irel + 1;
2112 unsigned int alignment, nbytes;
2114 if (ELF32_R_TYPE (erel->r_info) != R_RL78_RH_RELAX)
2116 if (!(erel->r_addend & RL78_RELAXA_ELIGN))
2119 alignment = 1 << (irel->r_addend & RL78_RELAXA_ANUM);
2121 if (erel->r_offset - irel->r_offset < alignment)
2124 nbytes = erel->r_offset - irel->r_offset;
2125 nbytes /= alignment;
2126 nbytes *= alignment;
2128 elf32_rl78_relax_delete_bytes (abfd, sec, erel->r_offset-nbytes, nbytes, next_alignment,
2129 erel->r_offset == sec->size);
2135 if (irel->r_addend & RL78_RELAXA_ELIGN)
2138 insn = contents + irel->r_offset;
2140 nrelocs = irel->r_addend & RL78_RELAXA_RNUM;
2142 /* At this point, we have an insn that is a candidate for linker
2143 relaxation. There are NRELOCS relocs following that may be
2144 relaxed, although each reloc may be made of more than one
2145 reloc entry (such as gp-rel symbols). */
2147 /* Get the value of the symbol referred to by the reloc. Just
2148 in case this is the last reloc in the list, use the RL's
2149 addend to choose between this reloc (no addend) or the next
2150 (yes addend, which means at least one following reloc). */
2152 /* srel points to the "current" reloction for this insn -
2153 actually the last reloc for a given operand, which is the one
2154 we need to update. We check the relaxations in the same
2155 order that the relocations happen, so we'll just push it
2159 pc = sec->output_section->vma + sec->output_offset
2163 BFD_ASSERT (nrelocs > 0); \
2164 symval = OFFSET_FOR_RELOC (srel, &srel, &scale); \
2165 pcrel = symval - pc + srel->r_addend; \
2168 #define SNIPNR(offset, nbytes) \
2169 elf32_rl78_relax_delete_bytes (abfd, sec, (insn - contents) + offset, nbytes, next_alignment, 0);
2170 #define SNIP(offset, nbytes, newtype) \
2171 SNIPNR (offset, nbytes); \
2172 srel->r_info = ELF32_R_INFO (ELF32_R_SYM (srel->r_info), newtype)
2174 /* The order of these bit tests must match the order that the
2175 relocs appear in. Since we sorted those by offset, we can
2178 /*----------------------------------------------------------------------*/
2179 /* EF ad BR $rel8 pcrel
2180 ED al ah BR !abs16 abs
2181 EE al ah BR $!rel16 pcrel
2182 EC al ah as BR !!abs20 abs
2184 FD al ah CALL !abs16 abs
2185 FE al ah CALL $!rel16 pcrel
2186 FC al ah as CALL !!abs20 abs
2194 61 C8 EF ad SKC ; BR $rel8
2195 61 D8 EF ad SKNC ; BR $rel8
2196 61 E8 EF ad SKZ ; BR $rel8
2197 61 F8 EF ad SKNZ ; BR $rel8
2198 61 E3 EF ad SKH ; BR $rel8
2199 61 F3 EF ad SKNH ; BR $rel8
2202 if ((irel->r_addend & RL78_RELAXA_MASK) == RL78_RELAXA_BRA)
2204 /* SKIP opcodes that skip non-branches will have a relax tag
2205 but no corresponding symbol to relax against; we just
2207 if (irel->r_addend & RL78_RELAXA_RNUM)
2214 case 0xec: /* BR !!abs20 */
2221 SNIP (2, 2, R_RL78_DIR8S_PCREL);
2224 else if (symval < 65536)
2227 insn[1] = symval & 0xff;
2228 insn[2] = symval >> 8;
2229 SNIP (2, 1, R_RL78_DIR16S);
2232 else if (pcrel < 32767
2236 insn[1] = pcrel & 0xff;
2237 insn[2] = pcrel >> 8;
2238 SNIP (2, 1, R_RL78_DIR16S_PCREL);
2243 case 0xee: /* BR $!pcrel16 */
2244 case 0xed: /* BR $!abs16 */
2250 SNIP (2, 1, R_RL78_DIR8S_PCREL);
2255 case 0xfc: /* CALL !!abs20 */
2259 insn[1] = symval & 0xff;
2260 insn[2] = symval >> 8;
2261 SNIP (2, 1, R_RL78_DIR16S);
2264 else if (pcrel < 32767
2268 insn[1] = pcrel & 0xff;
2269 insn[2] = pcrel >> 8;
2270 SNIP (2, 1, R_RL78_DIR16S_PCREL);
2275 case 0x61: /* PREFIX */
2276 /* For SKIP/BR, we change the BR opcode and delete the
2277 SKIP. That way, we don't have to find and change the
2278 relocation for the BR. */
2279 /* Note that, for the case where we're skipping some
2280 other insn, we have no "other" reloc but that's safe
2284 case 0xc8: /* SKC */
2285 if (insn[2] == 0xef)
2287 insn[2] = 0xde; /* BNC */
2292 case 0xd8: /* SKNC */
2293 if (insn[2] == 0xef)
2295 insn[2] = 0xdc; /* BC */
2300 case 0xe8: /* SKZ */
2301 if (insn[2] == 0xef)
2303 insn[2] = 0xdf; /* BNZ */
2308 case 0xf8: /* SKNZ */
2309 if (insn[2] == 0xef)
2311 insn[2] = 0xdd; /* BZ */
2316 case 0xe3: /* SKH */
2317 if (insn[2] == 0xef)
2319 insn[2] = 0xd3; /* BNH */
2320 SNIPNR (1, 1); /* we reuse the 0x61 prefix from the SKH */
2324 case 0xf3: /* SKNH */
2325 if (insn[2] == 0xef)
2327 insn[2] = 0xc3; /* BH */
2328 SNIPNR (1, 1); /* we reuse the 0x61 prefix from the SKH */
2337 if ((irel->r_addend & RL78_RELAXA_MASK) == RL78_RELAXA_ADDR16)
2339 /*----------------------------------------------------------------------*/
2340 /* Some insns have both a 16-bit address operand and an 8-bit
2341 variant if the address is within a special range:
2343 Address 16-bit operand SADDR range SFR range
2344 FFF00-FFFFF 0xff00-0xffff 0x00-0xff
2345 FFE20-FFF1F 0xfe20-0xff1f 0x00-0xff
2347 The RELAX_ADDR16[] array has the insn encodings for the
2348 16-bit operand version, as well as the SFR and SADDR
2349 variants. We only need to replace the encodings and
2352 Note: we intentionally do not attempt to decode and skip
2353 any ES: prefix, as adding ES: means the addr16 (likely)
2354 no longer points to saddr/sfr space.
2364 if (0xffe20 <= symval && symval <= 0xfffff)
2367 is_saddr = (0xffe20 <= symval && symval <= 0xfff1f);
2368 is_sfr = (0xfff00 <= symval && symval <= 0xfffff);
2370 for (idx = 0; relax_addr16[idx].insn != -1; idx ++)
2372 if (relax_addr16[idx].prefix != -1
2373 && insn[0] == relax_addr16[idx].prefix
2374 && insn[1] == relax_addr16[idx].insn)
2378 else if (relax_addr16[idx].prefix == -1
2379 && insn[0] == relax_addr16[idx].insn)
2386 /* We have a matched insn, and poff is 0 or 1 depending
2387 on the base pattern size. */
2389 if (is_sfr && relax_addr16[idx].insn_for_sfr != -1)
2391 insn[poff] = relax_addr16[idx].insn_for_sfr;
2392 SNIP (poff+2, 1, R_RL78_RH_SFR);
2395 else if (is_saddr && relax_addr16[idx].insn_for_saddr != -1)
2397 insn[poff] = relax_addr16[idx].insn_for_saddr;
2398 SNIP (poff+2, 1, R_RL78_RH_SADDR);
2405 /*----------------------------------------------------------------------*/
2412 if (free_relocs != NULL)
2415 if (free_contents != NULL)
2416 free (free_contents);
2418 if (shndx_buf != NULL)
2420 shndx_hdr->contents = NULL;
2424 if (free_intsyms != NULL)
2425 free (free_intsyms);
2432 #define ELF_ARCH bfd_arch_rl78
2433 #define ELF_MACHINE_CODE EM_RL78
2434 #define ELF_MAXPAGESIZE 0x1000
2436 #define TARGET_LITTLE_SYM rl78_elf32_vec
2437 #define TARGET_LITTLE_NAME "elf32-rl78"
2439 #define elf_info_to_howto_rel NULL
2440 #define elf_info_to_howto rl78_info_to_howto_rela
2441 #define elf_backend_object_p rl78_elf_object_p
2442 #define elf_backend_relocate_section rl78_elf_relocate_section
2443 #define elf_symbol_leading_char ('_')
2444 #define elf_backend_can_gc_sections 1
2446 #define bfd_elf32_bfd_reloc_type_lookup rl78_reloc_type_lookup
2447 #define bfd_elf32_bfd_reloc_name_lookup rl78_reloc_name_lookup
2448 #define bfd_elf32_bfd_set_private_flags rl78_elf_set_private_flags
2449 #define bfd_elf32_bfd_merge_private_bfd_data rl78_elf_merge_private_bfd_data
2450 #define bfd_elf32_bfd_print_private_bfd_data rl78_elf_print_private_bfd_data
2452 #define bfd_elf32_bfd_relax_section rl78_elf_relax_section
2453 #define elf_backend_check_relocs rl78_elf_check_relocs
2454 #define elf_backend_always_size_sections \
2455 rl78_elf_always_size_sections
2456 #define elf_backend_finish_dynamic_sections \
2457 rl78_elf_finish_dynamic_sections
2459 #include "elf32-target.h"