1 /* RISC-V-specific support for NN-bit ELF.
2 Copyright (C) 2011-2018 Free Software Foundation, Inc.
4 Contributed by Andrew Waterman (andrew@sifive.com).
5 Based on TILE-Gx and MIPS targets.
7 This file is part of BFD, the Binary File Descriptor library.
9 This program is free software; you can redistribute it and/or modify
10 it under the terms of the GNU General Public License as published by
11 the Free Software Foundation; either version 3 of the License, or
12 (at your option) any later version.
14 This program is distributed in the hope that it will be useful,
15 but WITHOUT ANY WARRANTY; without even the implied warranty of
16 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
17 GNU General Public License for more details.
19 You should have received a copy of the GNU General Public License
20 along with this program; see the file COPYING3. If not,
21 see <http://www.gnu.org/licenses/>. */
23 /* This file handles RISC-V ELF targets. */
31 #include "elfxx-riscv.h"
32 #include "elf/riscv.h"
33 #include "opcode/riscv.h"
35 /* Internal relocations used exclusively by the relaxation pass. */
36 #define R_RISCV_DELETE (R_RISCV_max + 1)
40 #define MINUS_ONE ((bfd_vma)0 - 1)
42 #define RISCV_ELF_LOG_WORD_BYTES (ARCH_SIZE == 32 ? 2 : 3)
44 #define RISCV_ELF_WORD_BYTES (1 << RISCV_ELF_LOG_WORD_BYTES)
46 /* The name of the dynamic interpreter. This is put in the .interp
49 #define ELF64_DYNAMIC_INTERPRETER "/lib/ld.so.1"
50 #define ELF32_DYNAMIC_INTERPRETER "/lib32/ld.so.1"
52 #define ELF_ARCH bfd_arch_riscv
53 #define ELF_TARGET_ID RISCV_ELF_DATA
54 #define ELF_MACHINE_CODE EM_RISCV
55 #define ELF_MAXPAGESIZE 0x1000
56 #define ELF_COMMONPAGESIZE 0x1000
58 /* RISC-V ELF linker hash entry. */
60 struct riscv_elf_link_hash_entry
62 struct elf_link_hash_entry elf;
64 /* Track dynamic relocs copied for this symbol. */
65 struct elf_dyn_relocs *dyn_relocs;
75 #define riscv_elf_hash_entry(ent) \
76 ((struct riscv_elf_link_hash_entry *)(ent))
78 struct _bfd_riscv_elf_obj_tdata
80 struct elf_obj_tdata root;
82 /* tls_type for each local got entry. */
83 char *local_got_tls_type;
86 #define _bfd_riscv_elf_tdata(abfd) \
87 ((struct _bfd_riscv_elf_obj_tdata *) (abfd)->tdata.any)
89 #define _bfd_riscv_elf_local_got_tls_type(abfd) \
90 (_bfd_riscv_elf_tdata (abfd)->local_got_tls_type)
92 #define _bfd_riscv_elf_tls_type(abfd, h, symndx) \
93 (*((h) != NULL ? &riscv_elf_hash_entry (h)->tls_type \
94 : &_bfd_riscv_elf_local_got_tls_type (abfd) [symndx]))
96 #define is_riscv_elf(bfd) \
97 (bfd_get_flavour (bfd) == bfd_target_elf_flavour \
98 && elf_tdata (bfd) != NULL \
99 && elf_object_id (bfd) == RISCV_ELF_DATA)
101 #include "elf/common.h"
102 #include "elf/internal.h"
104 struct riscv_elf_link_hash_table
106 struct elf_link_hash_table elf;
108 /* Short-cuts to get to dynamic linker sections. */
111 /* Small local sym to section mapping cache. */
112 struct sym_cache sym_cache;
114 /* The max alignment of output sections. */
115 bfd_vma max_alignment;
119 /* Get the RISC-V ELF linker hash table from a link_info structure. */
120 #define riscv_elf_hash_table(p) \
121 (elf_hash_table_id ((struct elf_link_hash_table *) ((p)->hash)) \
122 == RISCV_ELF_DATA ? ((struct riscv_elf_link_hash_table *) ((p)->hash)) : NULL)
125 riscv_info_to_howto_rela (bfd *abfd,
127 Elf_Internal_Rela *dst)
129 cache_ptr->howto = riscv_elf_rtype_to_howto (abfd, ELFNN_R_TYPE (dst->r_info));
130 return cache_ptr->howto != NULL;
134 riscv_elf_append_rela (bfd *abfd, asection *s, Elf_Internal_Rela *rel)
136 const struct elf_backend_data *bed;
139 bed = get_elf_backend_data (abfd);
140 loc = s->contents + (s->reloc_count++ * bed->s->sizeof_rela);
141 bed->s->swap_reloca_out (abfd, rel, loc);
146 #define PLT_HEADER_INSNS 8
147 #define PLT_ENTRY_INSNS 4
148 #define PLT_HEADER_SIZE (PLT_HEADER_INSNS * 4)
149 #define PLT_ENTRY_SIZE (PLT_ENTRY_INSNS * 4)
151 #define GOT_ENTRY_SIZE RISCV_ELF_WORD_BYTES
153 #define GOTPLT_HEADER_SIZE (2 * GOT_ENTRY_SIZE)
155 #define sec_addr(sec) ((sec)->output_section->vma + (sec)->output_offset)
158 riscv_elf_got_plt_val (bfd_vma plt_index, struct bfd_link_info *info)
160 return sec_addr (riscv_elf_hash_table (info)->elf.sgotplt)
161 + GOTPLT_HEADER_SIZE + (plt_index * GOT_ENTRY_SIZE);
165 # define MATCH_LREG MATCH_LW
167 # define MATCH_LREG MATCH_LD
170 /* Generate a PLT header. */
173 riscv_make_plt_header (bfd_vma gotplt_addr, bfd_vma addr, uint32_t *entry)
175 bfd_vma gotplt_offset_high = RISCV_PCREL_HIGH_PART (gotplt_addr, addr);
176 bfd_vma gotplt_offset_low = RISCV_PCREL_LOW_PART (gotplt_addr, addr);
178 /* auipc t2, %hi(.got.plt)
179 sub t1, t1, t3 # shifted .got.plt offset + hdr size + 12
180 l[w|d] t3, %lo(.got.plt)(t2) # _dl_runtime_resolve
181 addi t1, t1, -(hdr size + 12) # shifted .got.plt offset
182 addi t0, t2, %lo(.got.plt) # &.got.plt
183 srli t1, t1, log2(16/PTRSIZE) # .got.plt offset
184 l[w|d] t0, PTRSIZE(t0) # link map
187 entry[0] = RISCV_UTYPE (AUIPC, X_T2, gotplt_offset_high);
188 entry[1] = RISCV_RTYPE (SUB, X_T1, X_T1, X_T3);
189 entry[2] = RISCV_ITYPE (LREG, X_T3, X_T2, gotplt_offset_low);
190 entry[3] = RISCV_ITYPE (ADDI, X_T1, X_T1, -(PLT_HEADER_SIZE + 12));
191 entry[4] = RISCV_ITYPE (ADDI, X_T0, X_T2, gotplt_offset_low);
192 entry[5] = RISCV_ITYPE (SRLI, X_T1, X_T1, 4 - RISCV_ELF_LOG_WORD_BYTES);
193 entry[6] = RISCV_ITYPE (LREG, X_T0, X_T0, RISCV_ELF_WORD_BYTES);
194 entry[7] = RISCV_ITYPE (JALR, 0, X_T3, 0);
197 /* Generate a PLT entry. */
200 riscv_make_plt_entry (bfd_vma got, bfd_vma addr, uint32_t *entry)
202 /* auipc t3, %hi(.got.plt entry)
203 l[w|d] t3, %lo(.got.plt entry)(t3)
207 entry[0] = RISCV_UTYPE (AUIPC, X_T3, RISCV_PCREL_HIGH_PART (got, addr));
208 entry[1] = RISCV_ITYPE (LREG, X_T3, X_T3, RISCV_PCREL_LOW_PART (got, addr));
209 entry[2] = RISCV_ITYPE (JALR, X_T1, X_T3, 0);
210 entry[3] = RISCV_NOP;
213 /* Create an entry in an RISC-V ELF linker hash table. */
215 static struct bfd_hash_entry *
216 link_hash_newfunc (struct bfd_hash_entry *entry,
217 struct bfd_hash_table *table, const char *string)
219 /* Allocate the structure if it has not already been allocated by a
224 bfd_hash_allocate (table,
225 sizeof (struct riscv_elf_link_hash_entry));
230 /* Call the allocation method of the superclass. */
231 entry = _bfd_elf_link_hash_newfunc (entry, table, string);
234 struct riscv_elf_link_hash_entry *eh;
236 eh = (struct riscv_elf_link_hash_entry *) entry;
237 eh->dyn_relocs = NULL;
238 eh->tls_type = GOT_UNKNOWN;
244 /* Create a RISC-V ELF linker hash table. */
246 static struct bfd_link_hash_table *
247 riscv_elf_link_hash_table_create (bfd *abfd)
249 struct riscv_elf_link_hash_table *ret;
250 bfd_size_type amt = sizeof (struct riscv_elf_link_hash_table);
252 ret = (struct riscv_elf_link_hash_table *) bfd_zmalloc (amt);
256 if (!_bfd_elf_link_hash_table_init (&ret->elf, abfd, link_hash_newfunc,
257 sizeof (struct riscv_elf_link_hash_entry),
264 ret->max_alignment = (bfd_vma) -1;
265 return &ret->elf.root;
268 /* Create the .got section. */
271 riscv_elf_create_got_section (bfd *abfd, struct bfd_link_info *info)
275 struct elf_link_hash_entry *h;
276 const struct elf_backend_data *bed = get_elf_backend_data (abfd);
277 struct elf_link_hash_table *htab = elf_hash_table (info);
279 /* This function may be called more than once. */
280 if (htab->sgot != NULL)
283 flags = bed->dynamic_sec_flags;
285 s = bfd_make_section_anyway_with_flags (abfd,
286 (bed->rela_plts_and_copies_p
287 ? ".rela.got" : ".rel.got"),
288 (bed->dynamic_sec_flags
291 || ! bfd_set_section_alignment (abfd, s, bed->s->log_file_align))
295 s = s_got = bfd_make_section_anyway_with_flags (abfd, ".got", flags);
297 || !bfd_set_section_alignment (abfd, s, bed->s->log_file_align))
301 /* The first bit of the global offset table is the header. */
302 s->size += bed->got_header_size;
304 if (bed->want_got_plt)
306 s = bfd_make_section_anyway_with_flags (abfd, ".got.plt", flags);
308 || !bfd_set_section_alignment (abfd, s,
309 bed->s->log_file_align))
313 /* Reserve room for the header. */
314 s->size += GOTPLT_HEADER_SIZE;
317 if (bed->want_got_sym)
319 /* Define the symbol _GLOBAL_OFFSET_TABLE_ at the start of the .got
320 section. We don't do this in the linker script because we don't want
321 to define the symbol if we are not creating a global offset
323 h = _bfd_elf_define_linkage_sym (abfd, info, s_got,
324 "_GLOBAL_OFFSET_TABLE_");
325 elf_hash_table (info)->hgot = h;
333 /* Create .plt, .rela.plt, .got, .got.plt, .rela.got, .dynbss, and
334 .rela.bss sections in DYNOBJ, and set up shortcuts to them in our
338 riscv_elf_create_dynamic_sections (bfd *dynobj,
339 struct bfd_link_info *info)
341 struct riscv_elf_link_hash_table *htab;
343 htab = riscv_elf_hash_table (info);
344 BFD_ASSERT (htab != NULL);
346 if (!riscv_elf_create_got_section (dynobj, info))
349 if (!_bfd_elf_create_dynamic_sections (dynobj, info))
352 if (!bfd_link_pic (info))
355 bfd_make_section_anyway_with_flags (dynobj, ".tdata.dyn",
356 SEC_ALLOC | SEC_THREAD_LOCAL);
359 if (!htab->elf.splt || !htab->elf.srelplt || !htab->elf.sdynbss
360 || (!bfd_link_pic (info) && (!htab->elf.srelbss || !htab->sdyntdata)))
366 /* Copy the extra info we tack onto an elf_link_hash_entry. */
369 riscv_elf_copy_indirect_symbol (struct bfd_link_info *info,
370 struct elf_link_hash_entry *dir,
371 struct elf_link_hash_entry *ind)
373 struct riscv_elf_link_hash_entry *edir, *eind;
375 edir = (struct riscv_elf_link_hash_entry *) dir;
376 eind = (struct riscv_elf_link_hash_entry *) ind;
378 if (eind->dyn_relocs != NULL)
380 if (edir->dyn_relocs != NULL)
382 struct elf_dyn_relocs **pp;
383 struct elf_dyn_relocs *p;
385 /* Add reloc counts against the indirect sym to the direct sym
386 list. Merge any entries against the same section. */
387 for (pp = &eind->dyn_relocs; (p = *pp) != NULL; )
389 struct elf_dyn_relocs *q;
391 for (q = edir->dyn_relocs; q != NULL; q = q->next)
392 if (q->sec == p->sec)
394 q->pc_count += p->pc_count;
395 q->count += p->count;
402 *pp = edir->dyn_relocs;
405 edir->dyn_relocs = eind->dyn_relocs;
406 eind->dyn_relocs = NULL;
409 if (ind->root.type == bfd_link_hash_indirect
410 && dir->got.refcount <= 0)
412 edir->tls_type = eind->tls_type;
413 eind->tls_type = GOT_UNKNOWN;
415 _bfd_elf_link_hash_copy_indirect (info, dir, ind);
419 riscv_elf_record_tls_type (bfd *abfd, struct elf_link_hash_entry *h,
420 unsigned long symndx, char tls_type)
422 char *new_tls_type = &_bfd_riscv_elf_tls_type (abfd, h, symndx);
424 *new_tls_type |= tls_type;
425 if ((*new_tls_type & GOT_NORMAL) && (*new_tls_type & ~GOT_NORMAL))
427 (*_bfd_error_handler)
428 (_("%pB: `%s' accessed both as normal and thread local symbol"),
429 abfd, h ? h->root.root.string : "<local>");
436 riscv_elf_record_got_reference (bfd *abfd, struct bfd_link_info *info,
437 struct elf_link_hash_entry *h, long symndx)
439 struct riscv_elf_link_hash_table *htab = riscv_elf_hash_table (info);
440 Elf_Internal_Shdr *symtab_hdr = &elf_tdata (abfd)->symtab_hdr;
442 if (htab->elf.sgot == NULL)
444 if (!riscv_elf_create_got_section (htab->elf.dynobj, info))
450 h->got.refcount += 1;
454 /* This is a global offset table entry for a local symbol. */
455 if (elf_local_got_refcounts (abfd) == NULL)
457 bfd_size_type size = symtab_hdr->sh_info * (sizeof (bfd_vma) + 1);
458 if (!(elf_local_got_refcounts (abfd) = bfd_zalloc (abfd, size)))
460 _bfd_riscv_elf_local_got_tls_type (abfd)
461 = (char *) (elf_local_got_refcounts (abfd) + symtab_hdr->sh_info);
463 elf_local_got_refcounts (abfd) [symndx] += 1;
469 bad_static_reloc (bfd *abfd, unsigned r_type, struct elf_link_hash_entry *h)
471 reloc_howto_type * r = riscv_elf_rtype_to_howto (abfd, r_type);
473 (*_bfd_error_handler)
474 (_("%pB: relocation %s against `%s' can not be used when making a shared "
475 "object; recompile with -fPIC"),
476 abfd, r ? r->name : _("<unknown>"),
477 h != NULL ? h->root.root.string : "a local symbol");
478 bfd_set_error (bfd_error_bad_value);
481 /* Look through the relocs for a section during the first phase, and
482 allocate space in the global offset table or procedure linkage
486 riscv_elf_check_relocs (bfd *abfd, struct bfd_link_info *info,
487 asection *sec, const Elf_Internal_Rela *relocs)
489 struct riscv_elf_link_hash_table *htab;
490 Elf_Internal_Shdr *symtab_hdr;
491 struct elf_link_hash_entry **sym_hashes;
492 const Elf_Internal_Rela *rel;
493 asection *sreloc = NULL;
495 if (bfd_link_relocatable (info))
498 htab = riscv_elf_hash_table (info);
499 symtab_hdr = &elf_tdata (abfd)->symtab_hdr;
500 sym_hashes = elf_sym_hashes (abfd);
502 if (htab->elf.dynobj == NULL)
503 htab->elf.dynobj = abfd;
505 for (rel = relocs; rel < relocs + sec->reloc_count; rel++)
508 unsigned int r_symndx;
509 struct elf_link_hash_entry *h;
511 r_symndx = ELFNN_R_SYM (rel->r_info);
512 r_type = ELFNN_R_TYPE (rel->r_info);
514 if (r_symndx >= NUM_SHDR_ENTRIES (symtab_hdr))
516 (*_bfd_error_handler) (_("%pB: bad symbol index: %d"),
521 if (r_symndx < symtab_hdr->sh_info)
525 h = sym_hashes[r_symndx - symtab_hdr->sh_info];
526 while (h->root.type == bfd_link_hash_indirect
527 || h->root.type == bfd_link_hash_warning)
528 h = (struct elf_link_hash_entry *) h->root.u.i.link;
533 case R_RISCV_TLS_GD_HI20:
534 if (!riscv_elf_record_got_reference (abfd, info, h, r_symndx)
535 || !riscv_elf_record_tls_type (abfd, h, r_symndx, GOT_TLS_GD))
539 case R_RISCV_TLS_GOT_HI20:
540 if (bfd_link_pic (info))
541 info->flags |= DF_STATIC_TLS;
542 if (!riscv_elf_record_got_reference (abfd, info, h, r_symndx)
543 || !riscv_elf_record_tls_type (abfd, h, r_symndx, GOT_TLS_IE))
547 case R_RISCV_GOT_HI20:
548 if (!riscv_elf_record_got_reference (abfd, info, h, r_symndx)
549 || !riscv_elf_record_tls_type (abfd, h, r_symndx, GOT_NORMAL))
553 case R_RISCV_CALL_PLT:
554 /* This symbol requires a procedure linkage table entry. We
555 actually build the entry in adjust_dynamic_symbol,
556 because this might be a case of linking PIC code without
557 linking in any dynamic objects, in which case we don't
558 need to generate a procedure linkage table after all. */
563 h->plt.refcount += 1;
570 case R_RISCV_RVC_BRANCH:
571 case R_RISCV_RVC_JUMP:
572 case R_RISCV_PCREL_HI20:
573 /* In shared libraries, these relocs are known to bind locally. */
574 if (bfd_link_pic (info))
578 case R_RISCV_TPREL_HI20:
579 if (!bfd_link_executable (info))
580 return bad_static_reloc (abfd, r_type, h);
582 riscv_elf_record_tls_type (abfd, h, r_symndx, GOT_TLS_LE);
586 if (bfd_link_pic (info))
587 return bad_static_reloc (abfd, r_type, h);
591 case R_RISCV_JUMP_SLOT:
592 case R_RISCV_RELATIVE:
598 /* This reloc might not bind locally. */
602 if (h != NULL && !bfd_link_pic (info))
604 /* We may need a .plt entry if the function this reloc
605 refers to is in a shared lib. */
606 h->plt.refcount += 1;
609 /* If we are creating a shared library, and this is a reloc
610 against a global symbol, or a non PC relative reloc
611 against a local symbol, then we need to copy the reloc
612 into the shared library. However, if we are linking with
613 -Bsymbolic, we do not need to copy a reloc against a
614 global symbol which is defined in an object we are
615 including in the link (i.e., DEF_REGULAR is set). At
616 this point we have not seen all the input files, so it is
617 possible that DEF_REGULAR is not set now but will be set
618 later (it is never cleared). In case of a weak definition,
619 DEF_REGULAR may be cleared later by a strong definition in
620 a shared library. We account for that possibility below by
621 storing information in the relocs_copied field of the hash
622 table entry. A similar situation occurs when creating
623 shared libraries and symbol visibility changes render the
626 If on the other hand, we are creating an executable, we
627 may need to keep relocations for symbols satisfied by a
628 dynamic library if we manage to avoid copy relocs for the
630 reloc_howto_type * r = riscv_elf_rtype_to_howto (abfd, r_type);
632 if ((bfd_link_pic (info)
633 && (sec->flags & SEC_ALLOC) != 0
634 && ((r != NULL && ! r->pc_relative)
637 || h->root.type == bfd_link_hash_defweak
638 || !h->def_regular))))
639 || (!bfd_link_pic (info)
640 && (sec->flags & SEC_ALLOC) != 0
642 && (h->root.type == bfd_link_hash_defweak
643 || !h->def_regular)))
645 struct elf_dyn_relocs *p;
646 struct elf_dyn_relocs **head;
648 /* When creating a shared object, we must copy these
649 relocs into the output file. We create a reloc
650 section in dynobj and make room for the reloc. */
653 sreloc = _bfd_elf_make_dynamic_reloc_section
654 (sec, htab->elf.dynobj, RISCV_ELF_LOG_WORD_BYTES,
655 abfd, /*rela?*/ TRUE);
661 /* If this is a global symbol, we count the number of
662 relocations we need for this symbol. */
664 head = &((struct riscv_elf_link_hash_entry *) h)->dyn_relocs;
667 /* Track dynamic relocs needed for local syms too.
668 We really need local syms available to do this
673 Elf_Internal_Sym *isym;
675 isym = bfd_sym_from_r_symndx (&htab->sym_cache,
680 s = bfd_section_from_elf_index (abfd, isym->st_shndx);
684 vpp = &elf_section_data (s)->local_dynrel;
685 head = (struct elf_dyn_relocs **) vpp;
689 if (p == NULL || p->sec != sec)
691 bfd_size_type amt = sizeof *p;
692 p = ((struct elf_dyn_relocs *)
693 bfd_alloc (htab->elf.dynobj, amt));
704 p->pc_count += r == NULL ? 0 : r->pc_relative;
709 case R_RISCV_GNU_VTINHERIT:
710 if (!bfd_elf_gc_record_vtinherit (abfd, sec, h, rel->r_offset))
714 case R_RISCV_GNU_VTENTRY:
715 if (!bfd_elf_gc_record_vtentry (abfd, sec, h, rel->r_addend))
728 riscv_elf_gc_mark_hook (asection *sec,
729 struct bfd_link_info *info,
730 Elf_Internal_Rela *rel,
731 struct elf_link_hash_entry *h,
732 Elf_Internal_Sym *sym)
735 switch (ELFNN_R_TYPE (rel->r_info))
737 case R_RISCV_GNU_VTINHERIT:
738 case R_RISCV_GNU_VTENTRY:
742 return _bfd_elf_gc_mark_hook (sec, info, rel, h, sym);
745 /* Find dynamic relocs for H that apply to read-only sections. */
748 readonly_dynrelocs (struct elf_link_hash_entry *h)
750 struct elf_dyn_relocs *p;
752 for (p = riscv_elf_hash_entry (h)->dyn_relocs; p != NULL; p = p->next)
754 asection *s = p->sec->output_section;
756 if (s != NULL && (s->flags & SEC_READONLY) != 0)
762 /* Adjust a symbol defined by a dynamic object and referenced by a
763 regular object. The current definition is in some section of the
764 dynamic object, but we're not including those sections. We have to
765 change the definition to something the rest of the link can
769 riscv_elf_adjust_dynamic_symbol (struct bfd_link_info *info,
770 struct elf_link_hash_entry *h)
772 struct riscv_elf_link_hash_table *htab;
773 struct riscv_elf_link_hash_entry * eh;
777 htab = riscv_elf_hash_table (info);
778 BFD_ASSERT (htab != NULL);
780 dynobj = htab->elf.dynobj;
782 /* Make sure we know what is going on here. */
783 BFD_ASSERT (dynobj != NULL
785 || h->type == STT_GNU_IFUNC
789 && !h->def_regular)));
791 /* If this is a function, put it in the procedure linkage table. We
792 will fill in the contents of the procedure linkage table later
793 (although we could actually do it here). */
794 if (h->type == STT_FUNC || h->type == STT_GNU_IFUNC || h->needs_plt)
796 if (h->plt.refcount <= 0
797 || SYMBOL_CALLS_LOCAL (info, h)
798 || (ELF_ST_VISIBILITY (h->other) != STV_DEFAULT
799 && h->root.type == bfd_link_hash_undefweak))
801 /* This case can occur if we saw a R_RISCV_CALL_PLT reloc in an
802 input file, but the symbol was never referred to by a dynamic
803 object, or if all references were garbage collected. In such
804 a case, we don't actually need to build a PLT entry. */
805 h->plt.offset = (bfd_vma) -1;
812 h->plt.offset = (bfd_vma) -1;
814 /* If this is a weak symbol, and there is a real definition, the
815 processor independent code will have arranged for us to see the
816 real definition first, and we can just use the same value. */
819 struct elf_link_hash_entry *def = weakdef (h);
820 BFD_ASSERT (def->root.type == bfd_link_hash_defined);
821 h->root.u.def.section = def->root.u.def.section;
822 h->root.u.def.value = def->root.u.def.value;
826 /* This is a reference to a symbol defined by a dynamic object which
827 is not a function. */
829 /* If we are creating a shared library, we must presume that the
830 only references to the symbol are via the global offset table.
831 For such cases we need not do anything here; the relocations will
832 be handled correctly by relocate_section. */
833 if (bfd_link_pic (info))
836 /* If there are no references to this symbol that do not use the
837 GOT, we don't need to generate a copy reloc. */
841 /* If -z nocopyreloc was given, we won't generate them either. */
842 if (info->nocopyreloc)
848 /* If we don't find any dynamic relocs in read-only sections, then
849 we'll be keeping the dynamic relocs and avoiding the copy reloc. */
850 if (!readonly_dynrelocs (h))
856 /* We must allocate the symbol in our .dynbss section, which will
857 become part of the .bss section of the executable. There will be
858 an entry for this symbol in the .dynsym section. The dynamic
859 object will contain position independent code, so all references
860 from the dynamic object to this symbol will go through the global
861 offset table. The dynamic linker will use the .dynsym entry to
862 determine the address it must put in the global offset table, so
863 both the dynamic object and the regular object will refer to the
864 same memory location for the variable. */
866 /* We must generate a R_RISCV_COPY reloc to tell the dynamic linker
867 to copy the initial value out of the dynamic object and into the
868 runtime process image. We need to remember the offset into the
869 .rel.bss section we are going to use. */
870 eh = (struct riscv_elf_link_hash_entry *) h;
871 if (eh->tls_type & ~GOT_NORMAL)
874 srel = htab->elf.srelbss;
876 else if ((h->root.u.def.section->flags & SEC_READONLY) != 0)
878 s = htab->elf.sdynrelro;
879 srel = htab->elf.sreldynrelro;
883 s = htab->elf.sdynbss;
884 srel = htab->elf.srelbss;
886 if ((h->root.u.def.section->flags & SEC_ALLOC) != 0 && h->size != 0)
888 srel->size += sizeof (ElfNN_External_Rela);
892 return _bfd_elf_adjust_dynamic_copy (info, h, s);
895 /* Allocate space in .plt, .got and associated reloc sections for
899 allocate_dynrelocs (struct elf_link_hash_entry *h, void *inf)
901 struct bfd_link_info *info;
902 struct riscv_elf_link_hash_table *htab;
903 struct riscv_elf_link_hash_entry *eh;
904 struct elf_dyn_relocs *p;
906 if (h->root.type == bfd_link_hash_indirect)
909 info = (struct bfd_link_info *) inf;
910 htab = riscv_elf_hash_table (info);
911 BFD_ASSERT (htab != NULL);
913 if (htab->elf.dynamic_sections_created
914 && h->plt.refcount > 0)
916 /* Make sure this symbol is output as a dynamic symbol.
917 Undefined weak syms won't yet be marked as dynamic. */
921 if (! bfd_elf_link_record_dynamic_symbol (info, h))
925 if (WILL_CALL_FINISH_DYNAMIC_SYMBOL (1, bfd_link_pic (info), h))
927 asection *s = htab->elf.splt;
930 s->size = PLT_HEADER_SIZE;
932 h->plt.offset = s->size;
934 /* Make room for this entry. */
935 s->size += PLT_ENTRY_SIZE;
937 /* We also need to make an entry in the .got.plt section. */
938 htab->elf.sgotplt->size += GOT_ENTRY_SIZE;
940 /* We also need to make an entry in the .rela.plt section. */
941 htab->elf.srelplt->size += sizeof (ElfNN_External_Rela);
943 /* If this symbol is not defined in a regular file, and we are
944 not generating a shared library, then set the symbol to this
945 location in the .plt. This is required to make function
946 pointers compare as equal between the normal executable and
947 the shared library. */
948 if (! bfd_link_pic (info)
951 h->root.u.def.section = s;
952 h->root.u.def.value = h->plt.offset;
957 h->plt.offset = (bfd_vma) -1;
963 h->plt.offset = (bfd_vma) -1;
967 if (h->got.refcount > 0)
971 int tls_type = riscv_elf_hash_entry (h)->tls_type;
973 /* Make sure this symbol is output as a dynamic symbol.
974 Undefined weak syms won't yet be marked as dynamic. */
978 if (! bfd_elf_link_record_dynamic_symbol (info, h))
983 h->got.offset = s->size;
984 dyn = htab->elf.dynamic_sections_created;
985 if (tls_type & (GOT_TLS_GD | GOT_TLS_IE))
987 /* TLS_GD needs two dynamic relocs and two GOT slots. */
988 if (tls_type & GOT_TLS_GD)
990 s->size += 2 * RISCV_ELF_WORD_BYTES;
991 htab->elf.srelgot->size += 2 * sizeof (ElfNN_External_Rela);
994 /* TLS_IE needs one dynamic reloc and one GOT slot. */
995 if (tls_type & GOT_TLS_IE)
997 s->size += RISCV_ELF_WORD_BYTES;
998 htab->elf.srelgot->size += sizeof (ElfNN_External_Rela);
1003 s->size += RISCV_ELF_WORD_BYTES;
1004 if (WILL_CALL_FINISH_DYNAMIC_SYMBOL (dyn, bfd_link_pic (info), h)
1005 && ! UNDEFWEAK_NO_DYNAMIC_RELOC (info, h))
1006 htab->elf.srelgot->size += sizeof (ElfNN_External_Rela);
1010 h->got.offset = (bfd_vma) -1;
1012 eh = (struct riscv_elf_link_hash_entry *) h;
1013 if (eh->dyn_relocs == NULL)
1016 /* In the shared -Bsymbolic case, discard space allocated for
1017 dynamic pc-relative relocs against symbols which turn out to be
1018 defined in regular objects. For the normal shared case, discard
1019 space for pc-relative relocs that have become local due to symbol
1020 visibility changes. */
1022 if (bfd_link_pic (info))
1024 if (SYMBOL_CALLS_LOCAL (info, h))
1026 struct elf_dyn_relocs **pp;
1028 for (pp = &eh->dyn_relocs; (p = *pp) != NULL; )
1030 p->count -= p->pc_count;
1039 /* Also discard relocs on undefined weak syms with non-default
1041 if (eh->dyn_relocs != NULL
1042 && h->root.type == bfd_link_hash_undefweak)
1044 if (ELF_ST_VISIBILITY (h->other) != STV_DEFAULT
1045 || UNDEFWEAK_NO_DYNAMIC_RELOC (info, h))
1046 eh->dyn_relocs = NULL;
1048 /* Make sure undefined weak symbols are output as a dynamic
1050 else if (h->dynindx == -1
1051 && !h->forced_local)
1053 if (! bfd_elf_link_record_dynamic_symbol (info, h))
1060 /* For the non-shared case, discard space for relocs against
1061 symbols which turn out to need copy relocs or are not
1067 || (htab->elf.dynamic_sections_created
1068 && (h->root.type == bfd_link_hash_undefweak
1069 || h->root.type == bfd_link_hash_undefined))))
1071 /* Make sure this symbol is output as a dynamic symbol.
1072 Undefined weak syms won't yet be marked as dynamic. */
1073 if (h->dynindx == -1
1074 && !h->forced_local)
1076 if (! bfd_elf_link_record_dynamic_symbol (info, h))
1080 /* If that succeeded, we know we'll be keeping all the
1082 if (h->dynindx != -1)
1086 eh->dyn_relocs = NULL;
1091 /* Finally, allocate space. */
1092 for (p = eh->dyn_relocs; p != NULL; p = p->next)
1094 asection *sreloc = elf_section_data (p->sec)->sreloc;
1095 sreloc->size += p->count * sizeof (ElfNN_External_Rela);
1101 /* Set DF_TEXTREL if we find any dynamic relocs that apply to
1102 read-only sections. */
1105 maybe_set_textrel (struct elf_link_hash_entry *h, void *info_p)
1109 if (h->root.type == bfd_link_hash_indirect)
1112 sec = readonly_dynrelocs (h);
1115 struct bfd_link_info *info = (struct bfd_link_info *) info_p;
1117 info->flags |= DF_TEXTREL;
1118 info->callbacks->minfo
1119 (_("%pB: dynamic relocation against `%pT' in read-only section `%pA'\n"),
1120 sec->owner, h->root.root.string, sec);
1122 /* Not an error, just cut short the traversal. */
1129 riscv_elf_size_dynamic_sections (bfd *output_bfd, struct bfd_link_info *info)
1131 struct riscv_elf_link_hash_table *htab;
1136 htab = riscv_elf_hash_table (info);
1137 BFD_ASSERT (htab != NULL);
1138 dynobj = htab->elf.dynobj;
1139 BFD_ASSERT (dynobj != NULL);
1141 if (elf_hash_table (info)->dynamic_sections_created)
1143 /* Set the contents of the .interp section to the interpreter. */
1144 if (bfd_link_executable (info) && !info->nointerp)
1146 s = bfd_get_linker_section (dynobj, ".interp");
1147 BFD_ASSERT (s != NULL);
1148 s->size = strlen (ELFNN_DYNAMIC_INTERPRETER) + 1;
1149 s->contents = (unsigned char *) ELFNN_DYNAMIC_INTERPRETER;
1153 /* Set up .got offsets for local syms, and space for local dynamic
1155 for (ibfd = info->input_bfds; ibfd != NULL; ibfd = ibfd->link.next)
1157 bfd_signed_vma *local_got;
1158 bfd_signed_vma *end_local_got;
1159 char *local_tls_type;
1160 bfd_size_type locsymcount;
1161 Elf_Internal_Shdr *symtab_hdr;
1164 if (! is_riscv_elf (ibfd))
1167 for (s = ibfd->sections; s != NULL; s = s->next)
1169 struct elf_dyn_relocs *p;
1171 for (p = elf_section_data (s)->local_dynrel; p != NULL; p = p->next)
1173 if (!bfd_is_abs_section (p->sec)
1174 && bfd_is_abs_section (p->sec->output_section))
1176 /* Input section has been discarded, either because
1177 it is a copy of a linkonce section or due to
1178 linker script /DISCARD/, so we'll be discarding
1181 else if (p->count != 0)
1183 srel = elf_section_data (p->sec)->sreloc;
1184 srel->size += p->count * sizeof (ElfNN_External_Rela);
1185 if ((p->sec->output_section->flags & SEC_READONLY) != 0)
1186 info->flags |= DF_TEXTREL;
1191 local_got = elf_local_got_refcounts (ibfd);
1195 symtab_hdr = &elf_symtab_hdr (ibfd);
1196 locsymcount = symtab_hdr->sh_info;
1197 end_local_got = local_got + locsymcount;
1198 local_tls_type = _bfd_riscv_elf_local_got_tls_type (ibfd);
1200 srel = htab->elf.srelgot;
1201 for (; local_got < end_local_got; ++local_got, ++local_tls_type)
1205 *local_got = s->size;
1206 s->size += RISCV_ELF_WORD_BYTES;
1207 if (*local_tls_type & GOT_TLS_GD)
1208 s->size += RISCV_ELF_WORD_BYTES;
1209 if (bfd_link_pic (info)
1210 || (*local_tls_type & (GOT_TLS_GD | GOT_TLS_IE)))
1211 srel->size += sizeof (ElfNN_External_Rela);
1214 *local_got = (bfd_vma) -1;
1218 /* Allocate global sym .plt and .got entries, and space for global
1219 sym dynamic relocs. */
1220 elf_link_hash_traverse (&htab->elf, allocate_dynrelocs, info);
1222 if (htab->elf.sgotplt)
1224 struct elf_link_hash_entry *got;
1225 got = elf_link_hash_lookup (elf_hash_table (info),
1226 "_GLOBAL_OFFSET_TABLE_",
1227 FALSE, FALSE, FALSE);
1229 /* Don't allocate .got.plt section if there are no GOT nor PLT
1230 entries and there is no refeence to _GLOBAL_OFFSET_TABLE_. */
1232 || !got->ref_regular_nonweak)
1233 && (htab->elf.sgotplt->size == GOTPLT_HEADER_SIZE)
1234 && (htab->elf.splt == NULL
1235 || htab->elf.splt->size == 0)
1236 && (htab->elf.sgot == NULL
1237 || (htab->elf.sgot->size
1238 == get_elf_backend_data (output_bfd)->got_header_size)))
1239 htab->elf.sgotplt->size = 0;
1242 /* The check_relocs and adjust_dynamic_symbol entry points have
1243 determined the sizes of the various dynamic sections. Allocate
1245 for (s = dynobj->sections; s != NULL; s = s->next)
1247 if ((s->flags & SEC_LINKER_CREATED) == 0)
1250 if (s == htab->elf.splt
1251 || s == htab->elf.sgot
1252 || s == htab->elf.sgotplt
1253 || s == htab->elf.sdynbss
1254 || s == htab->elf.sdynrelro)
1256 /* Strip this section if we don't need it; see the
1259 else if (strncmp (s->name, ".rela", 5) == 0)
1263 /* We use the reloc_count field as a counter if we need
1264 to copy relocs into the output file. */
1270 /* It's not one of our sections. */
1276 /* If we don't need this section, strip it from the
1277 output file. This is mostly to handle .rela.bss and
1278 .rela.plt. We must create both sections in
1279 create_dynamic_sections, because they must be created
1280 before the linker maps input sections to output
1281 sections. The linker does that before
1282 adjust_dynamic_symbol is called, and it is that
1283 function which decides whether anything needs to go
1284 into these sections. */
1285 s->flags |= SEC_EXCLUDE;
1289 if ((s->flags & SEC_HAS_CONTENTS) == 0)
1292 /* Allocate memory for the section contents. Zero the memory
1293 for the benefit of .rela.plt, which has 4 unused entries
1294 at the beginning, and we don't want garbage. */
1295 s->contents = (bfd_byte *) bfd_zalloc (dynobj, s->size);
1296 if (s->contents == NULL)
1300 if (elf_hash_table (info)->dynamic_sections_created)
1302 /* Add some entries to the .dynamic section. We fill in the
1303 values later, in riscv_elf_finish_dynamic_sections, but we
1304 must add the entries now so that we get the correct size for
1305 the .dynamic section. The DT_DEBUG entry is filled in by the
1306 dynamic linker and used by the debugger. */
1307 #define add_dynamic_entry(TAG, VAL) \
1308 _bfd_elf_add_dynamic_entry (info, TAG, VAL)
1310 if (bfd_link_executable (info))
1312 if (!add_dynamic_entry (DT_DEBUG, 0))
1316 if (htab->elf.srelplt->size != 0)
1318 if (!add_dynamic_entry (DT_PLTGOT, 0)
1319 || !add_dynamic_entry (DT_PLTRELSZ, 0)
1320 || !add_dynamic_entry (DT_PLTREL, DT_RELA)
1321 || !add_dynamic_entry (DT_JMPREL, 0))
1325 if (!add_dynamic_entry (DT_RELA, 0)
1326 || !add_dynamic_entry (DT_RELASZ, 0)
1327 || !add_dynamic_entry (DT_RELAENT, sizeof (ElfNN_External_Rela)))
1330 /* If any dynamic relocs apply to a read-only section,
1331 then we need a DT_TEXTREL entry. */
1332 if ((info->flags & DF_TEXTREL) == 0)
1333 elf_link_hash_traverse (&htab->elf, maybe_set_textrel, info);
1335 if (info->flags & DF_TEXTREL)
1337 if (!add_dynamic_entry (DT_TEXTREL, 0))
1341 #undef add_dynamic_entry
1347 #define DTP_OFFSET 0x800
1349 /* Return the relocation value for a TLS dtp-relative reloc. */
1352 dtpoff (struct bfd_link_info *info, bfd_vma address)
1354 /* If tls_sec is NULL, we should have signalled an error already. */
1355 if (elf_hash_table (info)->tls_sec == NULL)
1357 return address - elf_hash_table (info)->tls_sec->vma - DTP_OFFSET;
1360 /* Return the relocation value for a static TLS tp-relative relocation. */
1363 tpoff (struct bfd_link_info *info, bfd_vma address)
1365 /* If tls_sec is NULL, we should have signalled an error already. */
1366 if (elf_hash_table (info)->tls_sec == NULL)
1368 return address - elf_hash_table (info)->tls_sec->vma - TP_OFFSET;
1371 /* Return the global pointer's value, or 0 if it is not in use. */
1374 riscv_global_pointer_value (struct bfd_link_info *info)
1376 struct bfd_link_hash_entry *h;
1378 h = bfd_link_hash_lookup (info->hash, RISCV_GP_SYMBOL, FALSE, FALSE, TRUE);
1379 if (h == NULL || h->type != bfd_link_hash_defined)
1382 return h->u.def.value + sec_addr (h->u.def.section);
1385 /* Emplace a static relocation. */
1387 static bfd_reloc_status_type
1388 perform_relocation (const reloc_howto_type *howto,
1389 const Elf_Internal_Rela *rel,
1391 asection *input_section,
1395 if (howto->pc_relative)
1396 value -= sec_addr (input_section) + rel->r_offset;
1397 value += rel->r_addend;
1399 switch (ELFNN_R_TYPE (rel->r_info))
1402 case R_RISCV_TPREL_HI20:
1403 case R_RISCV_PCREL_HI20:
1404 case R_RISCV_GOT_HI20:
1405 case R_RISCV_TLS_GOT_HI20:
1406 case R_RISCV_TLS_GD_HI20:
1407 if (ARCH_SIZE > 32 && !VALID_UTYPE_IMM (RISCV_CONST_HIGH_PART (value)))
1408 return bfd_reloc_overflow;
1409 value = ENCODE_UTYPE_IMM (RISCV_CONST_HIGH_PART (value));
1412 case R_RISCV_LO12_I:
1413 case R_RISCV_GPREL_I:
1414 case R_RISCV_TPREL_LO12_I:
1415 case R_RISCV_TPREL_I:
1416 case R_RISCV_PCREL_LO12_I:
1417 value = ENCODE_ITYPE_IMM (value);
1420 case R_RISCV_LO12_S:
1421 case R_RISCV_GPREL_S:
1422 case R_RISCV_TPREL_LO12_S:
1423 case R_RISCV_TPREL_S:
1424 case R_RISCV_PCREL_LO12_S:
1425 value = ENCODE_STYPE_IMM (value);
1429 case R_RISCV_CALL_PLT:
1430 if (ARCH_SIZE > 32 && !VALID_UTYPE_IMM (RISCV_CONST_HIGH_PART (value)))
1431 return bfd_reloc_overflow;
1432 value = ENCODE_UTYPE_IMM (RISCV_CONST_HIGH_PART (value))
1433 | (ENCODE_ITYPE_IMM (value) << 32);
1437 if (!VALID_UJTYPE_IMM (value))
1438 return bfd_reloc_overflow;
1439 value = ENCODE_UJTYPE_IMM (value);
1442 case R_RISCV_BRANCH:
1443 if (!VALID_SBTYPE_IMM (value))
1444 return bfd_reloc_overflow;
1445 value = ENCODE_SBTYPE_IMM (value);
1448 case R_RISCV_RVC_BRANCH:
1449 if (!VALID_RVC_B_IMM (value))
1450 return bfd_reloc_overflow;
1451 value = ENCODE_RVC_B_IMM (value);
1454 case R_RISCV_RVC_JUMP:
1455 if (!VALID_RVC_J_IMM (value))
1456 return bfd_reloc_overflow;
1457 value = ENCODE_RVC_J_IMM (value);
1460 case R_RISCV_RVC_LUI:
1461 if (!VALID_RVC_LUI_IMM (RISCV_CONST_HIGH_PART (value)))
1462 return bfd_reloc_overflow;
1463 value = ENCODE_RVC_LUI_IMM (RISCV_CONST_HIGH_PART (value));
1481 case R_RISCV_32_PCREL:
1482 case R_RISCV_TLS_DTPREL32:
1483 case R_RISCV_TLS_DTPREL64:
1486 case R_RISCV_DELETE:
1487 return bfd_reloc_ok;
1490 return bfd_reloc_notsupported;
1493 bfd_vma word = bfd_get (howto->bitsize, input_bfd, contents + rel->r_offset);
1494 word = (word & ~howto->dst_mask) | (value & howto->dst_mask);
1495 bfd_put (howto->bitsize, input_bfd, word, contents + rel->r_offset);
1497 return bfd_reloc_ok;
1500 /* Remember all PC-relative high-part relocs we've encountered to help us
1501 later resolve the corresponding low-part relocs. */
1507 } riscv_pcrel_hi_reloc;
1509 typedef struct riscv_pcrel_lo_reloc
1511 asection * input_section;
1512 struct bfd_link_info * info;
1513 reloc_howto_type * howto;
1514 const Elf_Internal_Rela * reloc;
1517 bfd_byte * contents;
1518 struct riscv_pcrel_lo_reloc * next;
1519 } riscv_pcrel_lo_reloc;
1524 riscv_pcrel_lo_reloc *lo_relocs;
1525 } riscv_pcrel_relocs;
1528 riscv_pcrel_reloc_hash (const void *entry)
1530 const riscv_pcrel_hi_reloc *e = entry;
1531 return (hashval_t)(e->address >> 2);
1535 riscv_pcrel_reloc_eq (const void *entry1, const void *entry2)
1537 const riscv_pcrel_hi_reloc *e1 = entry1, *e2 = entry2;
1538 return e1->address == e2->address;
1542 riscv_init_pcrel_relocs (riscv_pcrel_relocs *p)
1545 p->lo_relocs = NULL;
1546 p->hi_relocs = htab_create (1024, riscv_pcrel_reloc_hash,
1547 riscv_pcrel_reloc_eq, free);
1548 return p->hi_relocs != NULL;
1552 riscv_free_pcrel_relocs (riscv_pcrel_relocs *p)
1554 riscv_pcrel_lo_reloc *cur = p->lo_relocs;
1558 riscv_pcrel_lo_reloc *next = cur->next;
1563 htab_delete (p->hi_relocs);
1567 riscv_zero_pcrel_hi_reloc (Elf_Internal_Rela *rel,
1568 struct bfd_link_info *info,
1572 const reloc_howto_type *howto,
1575 /* We may need to reference low addreses in PC-relative modes even when the
1576 * PC is far away from these addresses. For example, undefweak references
1577 * need to produce the address 0 when linked. As 0 is far from the arbitrary
1578 * addresses that we can link PC-relative programs at, the linker can't
1579 * actually relocate references to those symbols. In order to allow these
1580 * programs to work we simply convert the PC-relative auipc sequences to
1581 * 0-relative lui sequences. */
1582 if (bfd_link_pic (info))
1585 /* If it's possible to reference the symbol using auipc we do so, as that's
1586 * more in the spirit of the PC-relative relocations we're processing. */
1587 bfd_vma offset = addr - pc;
1588 if (ARCH_SIZE == 32 || VALID_UTYPE_IMM (RISCV_CONST_HIGH_PART (offset)))
1591 /* If it's impossible to reference this with a LUI-based offset then don't
1592 * bother to convert it at all so users still see the PC-relative relocation
1593 * in the truncation message. */
1594 if (ARCH_SIZE > 32 && !VALID_UTYPE_IMM (RISCV_CONST_HIGH_PART (addr)))
1597 rel->r_info = ELFNN_R_INFO(addr, R_RISCV_HI20);
1599 bfd_vma insn = bfd_get(howto->bitsize, input_bfd, contents + rel->r_offset);
1600 insn = (insn & ~MASK_AUIPC) | MATCH_LUI;
1601 bfd_put(howto->bitsize, input_bfd, insn, contents + rel->r_offset);
1606 riscv_record_pcrel_hi_reloc (riscv_pcrel_relocs *p, bfd_vma addr,
1607 bfd_vma value, bfd_boolean absolute)
1609 bfd_vma offset = absolute ? value : value - addr;
1610 riscv_pcrel_hi_reloc entry = {addr, offset};
1611 riscv_pcrel_hi_reloc **slot =
1612 (riscv_pcrel_hi_reloc **) htab_find_slot (p->hi_relocs, &entry, INSERT);
1614 BFD_ASSERT (*slot == NULL);
1615 *slot = (riscv_pcrel_hi_reloc *) bfd_malloc (sizeof (riscv_pcrel_hi_reloc));
1623 riscv_record_pcrel_lo_reloc (riscv_pcrel_relocs *p,
1624 asection *input_section,
1625 struct bfd_link_info *info,
1626 reloc_howto_type *howto,
1627 const Elf_Internal_Rela *reloc,
1632 riscv_pcrel_lo_reloc *entry;
1633 entry = (riscv_pcrel_lo_reloc *) bfd_malloc (sizeof (riscv_pcrel_lo_reloc));
1636 *entry = (riscv_pcrel_lo_reloc) {input_section, info, howto, reloc, addr,
1637 name, contents, p->lo_relocs};
1638 p->lo_relocs = entry;
1643 riscv_resolve_pcrel_lo_relocs (riscv_pcrel_relocs *p)
1645 riscv_pcrel_lo_reloc *r;
1647 for (r = p->lo_relocs; r != NULL; r = r->next)
1649 bfd *input_bfd = r->input_section->owner;
1651 riscv_pcrel_hi_reloc search = {r->addr, 0};
1652 riscv_pcrel_hi_reloc *entry = htab_find (p->hi_relocs, &search);
1655 ((*r->info->callbacks->reloc_overflow)
1656 (r->info, NULL, r->name, r->howto->name, (bfd_vma) 0,
1657 input_bfd, r->input_section, r->reloc->r_offset));
1661 perform_relocation (r->howto, r->reloc, entry->value, r->input_section,
1662 input_bfd, r->contents);
1668 /* Relocate a RISC-V ELF section.
1670 The RELOCATE_SECTION function is called by the new ELF backend linker
1671 to handle the relocations for a section.
1673 The relocs are always passed as Rela structures.
1675 This function is responsible for adjusting the section contents as
1676 necessary, and (if generating a relocatable output file) adjusting
1677 the reloc addend as necessary.
1679 This function does not have to worry about setting the reloc
1680 address or the reloc symbol index.
1682 LOCAL_SYMS is a pointer to the swapped in local symbols.
1684 LOCAL_SECTIONS is an array giving the section in the input file
1685 corresponding to the st_shndx field of each local symbol.
1687 The global hash table entry for the global symbols can be found
1688 via elf_sym_hashes (input_bfd).
1690 When generating relocatable output, this function must handle
1691 STB_LOCAL/STT_SECTION symbols specially. The output symbol is
1692 going to be the section symbol corresponding to the output
1693 section, which means that the addend must be adjusted
1697 riscv_elf_relocate_section (bfd *output_bfd,
1698 struct bfd_link_info *info,
1700 asection *input_section,
1702 Elf_Internal_Rela *relocs,
1703 Elf_Internal_Sym *local_syms,
1704 asection **local_sections)
1706 Elf_Internal_Rela *rel;
1707 Elf_Internal_Rela *relend;
1708 riscv_pcrel_relocs pcrel_relocs;
1709 bfd_boolean ret = FALSE;
1710 asection *sreloc = elf_section_data (input_section)->sreloc;
1711 struct riscv_elf_link_hash_table *htab = riscv_elf_hash_table (info);
1712 Elf_Internal_Shdr *symtab_hdr = &elf_symtab_hdr (input_bfd);
1713 struct elf_link_hash_entry **sym_hashes = elf_sym_hashes (input_bfd);
1714 bfd_vma *local_got_offsets = elf_local_got_offsets (input_bfd);
1715 bfd_boolean absolute;
1717 if (!riscv_init_pcrel_relocs (&pcrel_relocs))
1720 relend = relocs + input_section->reloc_count;
1721 for (rel = relocs; rel < relend; rel++)
1723 unsigned long r_symndx;
1724 struct elf_link_hash_entry *h;
1725 Elf_Internal_Sym *sym;
1728 bfd_reloc_status_type r = bfd_reloc_ok;
1730 bfd_vma off, ie_off;
1731 bfd_boolean unresolved_reloc, is_ie = FALSE;
1732 bfd_vma pc = sec_addr (input_section) + rel->r_offset;
1733 int r_type = ELFNN_R_TYPE (rel->r_info), tls_type;
1734 reloc_howto_type *howto = riscv_elf_rtype_to_howto (input_bfd, r_type);
1735 const char *msg = NULL;
1736 bfd_boolean resolved_to_zero;
1739 || r_type == R_RISCV_GNU_VTINHERIT || r_type == R_RISCV_GNU_VTENTRY)
1742 /* This is a final link. */
1743 r_symndx = ELFNN_R_SYM (rel->r_info);
1747 unresolved_reloc = FALSE;
1748 if (r_symndx < symtab_hdr->sh_info)
1750 sym = local_syms + r_symndx;
1751 sec = local_sections[r_symndx];
1752 relocation = _bfd_elf_rela_local_sym (output_bfd, sym, &sec, rel);
1756 bfd_boolean warned, ignored;
1758 RELOC_FOR_GLOBAL_SYMBOL (info, input_bfd, input_section, rel,
1759 r_symndx, symtab_hdr, sym_hashes,
1761 unresolved_reloc, warned, ignored);
1764 /* To avoid generating warning messages about truncated
1765 relocations, set the relocation's address to be the same as
1766 the start of this section. */
1767 if (input_section->output_section != NULL)
1768 relocation = input_section->output_section->vma;
1774 if (sec != NULL && discarded_section (sec))
1775 RELOC_AGAINST_DISCARDED_SECTION (info, input_bfd, input_section,
1776 rel, 1, relend, howto, 0, contents);
1778 if (bfd_link_relocatable (info))
1782 name = h->root.root.string;
1785 name = (bfd_elf_string_from_elf_section
1786 (input_bfd, symtab_hdr->sh_link, sym->st_name));
1787 if (name == NULL || *name == '\0')
1788 name = bfd_section_name (input_bfd, sec);
1791 resolved_to_zero = (h != NULL
1792 && UNDEFWEAK_NO_DYNAMIC_RELOC (info, h));
1798 case R_RISCV_TPREL_ADD:
1800 case R_RISCV_JUMP_SLOT:
1801 case R_RISCV_RELATIVE:
1802 /* These require nothing of us at all. */
1806 case R_RISCV_BRANCH:
1807 case R_RISCV_RVC_BRANCH:
1808 case R_RISCV_RVC_LUI:
1809 case R_RISCV_LO12_I:
1810 case R_RISCV_LO12_S:
1815 case R_RISCV_32_PCREL:
1816 case R_RISCV_DELETE:
1817 /* These require no special handling beyond perform_relocation. */
1820 case R_RISCV_GOT_HI20:
1823 bfd_boolean dyn, pic;
1825 off = h->got.offset;
1826 BFD_ASSERT (off != (bfd_vma) -1);
1827 dyn = elf_hash_table (info)->dynamic_sections_created;
1828 pic = bfd_link_pic (info);
1830 if (! WILL_CALL_FINISH_DYNAMIC_SYMBOL (dyn, pic, h)
1831 || (pic && SYMBOL_REFERENCES_LOCAL (info, h)))
1833 /* This is actually a static link, or it is a
1834 -Bsymbolic link and the symbol is defined
1835 locally, or the symbol was forced to be local
1836 because of a version file. We must initialize
1837 this entry in the global offset table. Since the
1838 offset must always be a multiple of the word size,
1839 we use the least significant bit to record whether
1840 we have initialized it already.
1842 When doing a dynamic link, we create a .rela.got
1843 relocation entry to initialize the value. This
1844 is done in the finish_dynamic_symbol routine. */
1849 bfd_put_NN (output_bfd, relocation,
1850 htab->elf.sgot->contents + off);
1855 unresolved_reloc = FALSE;
1859 BFD_ASSERT (local_got_offsets != NULL
1860 && local_got_offsets[r_symndx] != (bfd_vma) -1);
1862 off = local_got_offsets[r_symndx];
1864 /* The offset must always be a multiple of the word size.
1865 So, we can use the least significant bit to record
1866 whether we have already processed this entry. */
1871 if (bfd_link_pic (info))
1874 Elf_Internal_Rela outrel;
1876 /* We need to generate a R_RISCV_RELATIVE reloc
1877 for the dynamic linker. */
1878 s = htab->elf.srelgot;
1879 BFD_ASSERT (s != NULL);
1881 outrel.r_offset = sec_addr (htab->elf.sgot) + off;
1883 ELFNN_R_INFO (0, R_RISCV_RELATIVE);
1884 outrel.r_addend = relocation;
1886 riscv_elf_append_rela (output_bfd, s, &outrel);
1889 bfd_put_NN (output_bfd, relocation,
1890 htab->elf.sgot->contents + off);
1891 local_got_offsets[r_symndx] |= 1;
1894 relocation = sec_addr (htab->elf.sgot) + off;
1895 absolute = riscv_zero_pcrel_hi_reloc (rel,
1902 r_type = ELFNN_R_TYPE (rel->r_info);
1903 howto = riscv_elf_rtype_to_howto (input_bfd, r_type);
1905 r = bfd_reloc_notsupported;
1906 else if (!riscv_record_pcrel_hi_reloc (&pcrel_relocs, pc,
1907 relocation, absolute))
1908 r = bfd_reloc_overflow;
1916 bfd_vma old_value = bfd_get (howto->bitsize, input_bfd,
1917 contents + rel->r_offset);
1918 relocation = old_value + relocation;
1928 bfd_vma old_value = bfd_get (howto->bitsize, input_bfd,
1929 contents + rel->r_offset);
1930 relocation = old_value - relocation;
1934 case R_RISCV_CALL_PLT:
1937 case R_RISCV_RVC_JUMP:
1938 if (bfd_link_pic (info) && h != NULL && h->plt.offset != MINUS_ONE)
1940 /* Refer to the PLT entry. */
1941 relocation = sec_addr (htab->elf.splt) + h->plt.offset;
1942 unresolved_reloc = FALSE;
1946 case R_RISCV_TPREL_HI20:
1947 relocation = tpoff (info, relocation);
1950 case R_RISCV_TPREL_LO12_I:
1951 case R_RISCV_TPREL_LO12_S:
1952 relocation = tpoff (info, relocation);
1955 case R_RISCV_TPREL_I:
1956 case R_RISCV_TPREL_S:
1957 relocation = tpoff (info, relocation);
1958 if (VALID_ITYPE_IMM (relocation + rel->r_addend))
1960 /* We can use tp as the base register. */
1961 bfd_vma insn = bfd_get_32 (input_bfd, contents + rel->r_offset);
1962 insn &= ~(OP_MASK_RS1 << OP_SH_RS1);
1963 insn |= X_TP << OP_SH_RS1;
1964 bfd_put_32 (input_bfd, insn, contents + rel->r_offset);
1967 r = bfd_reloc_overflow;
1970 case R_RISCV_GPREL_I:
1971 case R_RISCV_GPREL_S:
1973 bfd_vma gp = riscv_global_pointer_value (info);
1974 bfd_boolean x0_base = VALID_ITYPE_IMM (relocation + rel->r_addend);
1975 if (x0_base || VALID_ITYPE_IMM (relocation + rel->r_addend - gp))
1977 /* We can use x0 or gp as the base register. */
1978 bfd_vma insn = bfd_get_32 (input_bfd, contents + rel->r_offset);
1979 insn &= ~(OP_MASK_RS1 << OP_SH_RS1);
1982 rel->r_addend -= gp;
1983 insn |= X_GP << OP_SH_RS1;
1985 bfd_put_32 (input_bfd, insn, contents + rel->r_offset);
1988 r = bfd_reloc_overflow;
1992 case R_RISCV_PCREL_HI20:
1993 absolute = riscv_zero_pcrel_hi_reloc (rel,
2000 r_type = ELFNN_R_TYPE (rel->r_info);
2001 howto = riscv_elf_rtype_to_howto (input_bfd, r_type);
2003 r = bfd_reloc_notsupported;
2004 else if (!riscv_record_pcrel_hi_reloc (&pcrel_relocs, pc,
2005 relocation + rel->r_addend,
2007 r = bfd_reloc_overflow;
2010 case R_RISCV_PCREL_LO12_I:
2011 case R_RISCV_PCREL_LO12_S:
2012 /* Addends are not allowed, because then riscv_relax_delete_bytes
2013 would have to search through all relocs to update the addends.
2014 Also, riscv_resolve_pcrel_lo_relocs does not support addends
2015 when searching for a matching hi reloc. */
2018 r = bfd_reloc_dangerous;
2022 if (riscv_record_pcrel_lo_reloc (&pcrel_relocs, input_section, info,
2023 howto, rel, relocation, name,
2026 r = bfd_reloc_overflow;
2029 case R_RISCV_TLS_DTPREL32:
2030 case R_RISCV_TLS_DTPREL64:
2031 relocation = dtpoff (info, relocation);
2036 if ((input_section->flags & SEC_ALLOC) == 0)
2039 if ((bfd_link_pic (info)
2041 || (ELF_ST_VISIBILITY (h->other) == STV_DEFAULT
2042 && !resolved_to_zero)
2043 || h->root.type != bfd_link_hash_undefweak)
2044 && (! howto->pc_relative
2045 || !SYMBOL_CALLS_LOCAL (info, h)))
2046 || (!bfd_link_pic (info)
2052 || h->root.type == bfd_link_hash_undefweak
2053 || h->root.type == bfd_link_hash_undefined)))
2055 Elf_Internal_Rela outrel;
2056 bfd_boolean skip_static_relocation, skip_dynamic_relocation;
2058 /* When generating a shared object, these relocations
2059 are copied into the output file to be resolved at run
2063 _bfd_elf_section_offset (output_bfd, info, input_section,
2065 skip_static_relocation = outrel.r_offset != (bfd_vma) -2;
2066 skip_dynamic_relocation = outrel.r_offset >= (bfd_vma) -2;
2067 outrel.r_offset += sec_addr (input_section);
2069 if (skip_dynamic_relocation)
2070 memset (&outrel, 0, sizeof outrel);
2071 else if (h != NULL && h->dynindx != -1
2072 && !(bfd_link_pic (info)
2073 && SYMBOLIC_BIND (info, h)
2076 outrel.r_info = ELFNN_R_INFO (h->dynindx, r_type);
2077 outrel.r_addend = rel->r_addend;
2081 outrel.r_info = ELFNN_R_INFO (0, R_RISCV_RELATIVE);
2082 outrel.r_addend = relocation + rel->r_addend;
2085 riscv_elf_append_rela (output_bfd, sreloc, &outrel);
2086 if (skip_static_relocation)
2091 case R_RISCV_TLS_GOT_HI20:
2095 case R_RISCV_TLS_GD_HI20:
2098 off = h->got.offset;
2103 off = local_got_offsets[r_symndx];
2104 local_got_offsets[r_symndx] |= 1;
2107 tls_type = _bfd_riscv_elf_tls_type (input_bfd, h, r_symndx);
2108 BFD_ASSERT (tls_type & (GOT_TLS_IE | GOT_TLS_GD));
2109 /* If this symbol is referenced by both GD and IE TLS, the IE
2110 reference's GOT slot follows the GD reference's slots. */
2112 if ((tls_type & GOT_TLS_GD) && (tls_type & GOT_TLS_IE))
2113 ie_off = 2 * GOT_ENTRY_SIZE;
2119 Elf_Internal_Rela outrel;
2121 bfd_boolean need_relocs = FALSE;
2123 if (htab->elf.srelgot == NULL)
2128 bfd_boolean dyn, pic;
2129 dyn = htab->elf.dynamic_sections_created;
2130 pic = bfd_link_pic (info);
2132 if (WILL_CALL_FINISH_DYNAMIC_SYMBOL (dyn, pic, h)
2133 && (!pic || !SYMBOL_REFERENCES_LOCAL (info, h)))
2137 /* The GOT entries have not been initialized yet. Do it
2138 now, and emit any relocations. */
2139 if ((bfd_link_pic (info) || indx != 0)
2141 || ELF_ST_VISIBILITY (h->other) == STV_DEFAULT
2142 || h->root.type != bfd_link_hash_undefweak))
2145 if (tls_type & GOT_TLS_GD)
2149 outrel.r_offset = sec_addr (htab->elf.sgot) + off;
2150 outrel.r_addend = 0;
2151 outrel.r_info = ELFNN_R_INFO (indx, R_RISCV_TLS_DTPMODNN);
2152 bfd_put_NN (output_bfd, 0,
2153 htab->elf.sgot->contents + off);
2154 riscv_elf_append_rela (output_bfd, htab->elf.srelgot, &outrel);
2157 BFD_ASSERT (! unresolved_reloc);
2158 bfd_put_NN (output_bfd,
2159 dtpoff (info, relocation),
2160 (htab->elf.sgot->contents + off +
2161 RISCV_ELF_WORD_BYTES));
2165 bfd_put_NN (output_bfd, 0,
2166 (htab->elf.sgot->contents + off +
2167 RISCV_ELF_WORD_BYTES));
2168 outrel.r_info = ELFNN_R_INFO (indx, R_RISCV_TLS_DTPRELNN);
2169 outrel.r_offset += RISCV_ELF_WORD_BYTES;
2170 riscv_elf_append_rela (output_bfd, htab->elf.srelgot, &outrel);
2175 /* If we are not emitting relocations for a
2176 general dynamic reference, then we must be in a
2177 static link or an executable link with the
2178 symbol binding locally. Mark it as belonging
2179 to module 1, the executable. */
2180 bfd_put_NN (output_bfd, 1,
2181 htab->elf.sgot->contents + off);
2182 bfd_put_NN (output_bfd,
2183 dtpoff (info, relocation),
2184 (htab->elf.sgot->contents + off +
2185 RISCV_ELF_WORD_BYTES));
2189 if (tls_type & GOT_TLS_IE)
2193 bfd_put_NN (output_bfd, 0,
2194 htab->elf.sgot->contents + off + ie_off);
2195 outrel.r_offset = sec_addr (htab->elf.sgot)
2197 outrel.r_addend = 0;
2199 outrel.r_addend = tpoff (info, relocation);
2200 outrel.r_info = ELFNN_R_INFO (indx, R_RISCV_TLS_TPRELNN);
2201 riscv_elf_append_rela (output_bfd, htab->elf.srelgot, &outrel);
2205 bfd_put_NN (output_bfd, tpoff (info, relocation),
2206 htab->elf.sgot->contents + off + ie_off);
2211 BFD_ASSERT (off < (bfd_vma) -2);
2212 relocation = sec_addr (htab->elf.sgot) + off + (is_ie ? ie_off : 0);
2213 if (!riscv_record_pcrel_hi_reloc (&pcrel_relocs, pc,
2215 r = bfd_reloc_overflow;
2216 unresolved_reloc = FALSE;
2220 r = bfd_reloc_notsupported;
2223 /* Dynamic relocs are not propagated for SEC_DEBUGGING sections
2224 because such sections are not SEC_ALLOC and thus ld.so will
2225 not process them. */
2226 if (unresolved_reloc
2227 && !((input_section->flags & SEC_DEBUGGING) != 0
2229 && _bfd_elf_section_offset (output_bfd, info, input_section,
2230 rel->r_offset) != (bfd_vma) -1)
2232 (*_bfd_error_handler)
2233 (_("%pB(%pA+%#" PRIx64 "): "
2234 "unresolvable %s relocation against symbol `%s'"),
2237 (uint64_t) rel->r_offset,
2239 h->root.root.string);
2243 if (r == bfd_reloc_ok)
2244 r = perform_relocation (howto, rel, relocation, input_section,
2245 input_bfd, contents);
2252 case bfd_reloc_overflow:
2253 info->callbacks->reloc_overflow
2254 (info, (h ? &h->root : NULL), name, howto->name,
2255 (bfd_vma) 0, input_bfd, input_section, rel->r_offset);
2258 case bfd_reloc_undefined:
2259 info->callbacks->undefined_symbol
2260 (info, name, input_bfd, input_section, rel->r_offset,
2264 case bfd_reloc_outofrange:
2265 msg = _("%X%P: internal error: out of range error\n");
2268 case bfd_reloc_notsupported:
2269 msg = _("%X%P: internal error: unsupported relocation error\n");
2272 case bfd_reloc_dangerous:
2273 info->callbacks->reloc_dangerous
2274 (info, "%pcrel_lo with addend", input_bfd, input_section,
2279 msg = _("%X%P: internal error: unknown error\n");
2284 info->callbacks->einfo (msg);
2286 /* We already reported the error via a callback, so don't try to report
2287 it again by returning false. That leads to spurious errors. */
2292 ret = riscv_resolve_pcrel_lo_relocs (&pcrel_relocs);
2294 riscv_free_pcrel_relocs (&pcrel_relocs);
2298 /* Finish up dynamic symbol handling. We set the contents of various
2299 dynamic sections here. */
2302 riscv_elf_finish_dynamic_symbol (bfd *output_bfd,
2303 struct bfd_link_info *info,
2304 struct elf_link_hash_entry *h,
2305 Elf_Internal_Sym *sym)
2307 struct riscv_elf_link_hash_table *htab = riscv_elf_hash_table (info);
2308 const struct elf_backend_data *bed = get_elf_backend_data (output_bfd);
2310 if (h->plt.offset != (bfd_vma) -1)
2312 /* We've decided to create a PLT entry for this symbol. */
2314 bfd_vma i, header_address, plt_idx, got_address;
2315 uint32_t plt_entry[PLT_ENTRY_INSNS];
2316 Elf_Internal_Rela rela;
2318 BFD_ASSERT (h->dynindx != -1);
2320 /* Calculate the address of the PLT header. */
2321 header_address = sec_addr (htab->elf.splt);
2323 /* Calculate the index of the entry. */
2324 plt_idx = (h->plt.offset - PLT_HEADER_SIZE) / PLT_ENTRY_SIZE;
2326 /* Calculate the address of the .got.plt entry. */
2327 got_address = riscv_elf_got_plt_val (plt_idx, info);
2329 /* Find out where the .plt entry should go. */
2330 loc = htab->elf.splt->contents + h->plt.offset;
2332 /* Fill in the PLT entry itself. */
2333 riscv_make_plt_entry (got_address, header_address + h->plt.offset,
2335 for (i = 0; i < PLT_ENTRY_INSNS; i++)
2336 bfd_put_32 (output_bfd, plt_entry[i], loc + 4*i);
2338 /* Fill in the initial value of the .got.plt entry. */
2339 loc = htab->elf.sgotplt->contents
2340 + (got_address - sec_addr (htab->elf.sgotplt));
2341 bfd_put_NN (output_bfd, sec_addr (htab->elf.splt), loc);
2343 /* Fill in the entry in the .rela.plt section. */
2344 rela.r_offset = got_address;
2346 rela.r_info = ELFNN_R_INFO (h->dynindx, R_RISCV_JUMP_SLOT);
2348 loc = htab->elf.srelplt->contents + plt_idx * sizeof (ElfNN_External_Rela);
2349 bed->s->swap_reloca_out (output_bfd, &rela, loc);
2351 if (!h->def_regular)
2353 /* Mark the symbol as undefined, rather than as defined in
2354 the .plt section. Leave the value alone. */
2355 sym->st_shndx = SHN_UNDEF;
2356 /* If the symbol is weak, we do need to clear the value.
2357 Otherwise, the PLT entry would provide a definition for
2358 the symbol even if the symbol wasn't defined anywhere,
2359 and so the symbol would never be NULL. */
2360 if (!h->ref_regular_nonweak)
2365 if (h->got.offset != (bfd_vma) -1
2366 && !(riscv_elf_hash_entry (h)->tls_type & (GOT_TLS_GD | GOT_TLS_IE))
2367 && !UNDEFWEAK_NO_DYNAMIC_RELOC (info, h))
2371 Elf_Internal_Rela rela;
2373 /* This symbol has an entry in the GOT. Set it up. */
2375 sgot = htab->elf.sgot;
2376 srela = htab->elf.srelgot;
2377 BFD_ASSERT (sgot != NULL && srela != NULL);
2379 rela.r_offset = sec_addr (sgot) + (h->got.offset &~ (bfd_vma) 1);
2381 /* If this is a -Bsymbolic link, and the symbol is defined
2382 locally, we just want to emit a RELATIVE reloc. Likewise if
2383 the symbol was forced to be local because of a version file.
2384 The entry in the global offset table will already have been
2385 initialized in the relocate_section function. */
2386 if (bfd_link_pic (info)
2387 && (info->symbolic || h->dynindx == -1)
2390 asection *sec = h->root.u.def.section;
2391 rela.r_info = ELFNN_R_INFO (0, R_RISCV_RELATIVE);
2392 rela.r_addend = (h->root.u.def.value
2393 + sec->output_section->vma
2394 + sec->output_offset);
2398 BFD_ASSERT (h->dynindx != -1);
2399 rela.r_info = ELFNN_R_INFO (h->dynindx, R_RISCV_NN);
2403 bfd_put_NN (output_bfd, 0,
2404 sgot->contents + (h->got.offset & ~(bfd_vma) 1));
2405 riscv_elf_append_rela (output_bfd, srela, &rela);
2410 Elf_Internal_Rela rela;
2413 /* This symbols needs a copy reloc. Set it up. */
2414 BFD_ASSERT (h->dynindx != -1);
2416 rela.r_offset = sec_addr (h->root.u.def.section) + h->root.u.def.value;
2417 rela.r_info = ELFNN_R_INFO (h->dynindx, R_RISCV_COPY);
2419 if (h->root.u.def.section == htab->elf.sdynrelro)
2420 s = htab->elf.sreldynrelro;
2422 s = htab->elf.srelbss;
2423 riscv_elf_append_rela (output_bfd, s, &rela);
2426 /* Mark some specially defined symbols as absolute. */
2427 if (h == htab->elf.hdynamic
2428 || (h == htab->elf.hgot || h == htab->elf.hplt))
2429 sym->st_shndx = SHN_ABS;
2434 /* Finish up the dynamic sections. */
2437 riscv_finish_dyn (bfd *output_bfd, struct bfd_link_info *info,
2438 bfd *dynobj, asection *sdyn)
2440 struct riscv_elf_link_hash_table *htab = riscv_elf_hash_table (info);
2441 const struct elf_backend_data *bed = get_elf_backend_data (output_bfd);
2442 size_t dynsize = bed->s->sizeof_dyn;
2443 bfd_byte *dyncon, *dynconend;
2445 dynconend = sdyn->contents + sdyn->size;
2446 for (dyncon = sdyn->contents; dyncon < dynconend; dyncon += dynsize)
2448 Elf_Internal_Dyn dyn;
2451 bed->s->swap_dyn_in (dynobj, dyncon, &dyn);
2456 s = htab->elf.sgotplt;
2457 dyn.d_un.d_ptr = s->output_section->vma + s->output_offset;
2460 s = htab->elf.srelplt;
2461 dyn.d_un.d_ptr = s->output_section->vma + s->output_offset;
2464 s = htab->elf.srelplt;
2465 dyn.d_un.d_val = s->size;
2471 bed->s->swap_dyn_out (output_bfd, &dyn, dyncon);
2477 riscv_elf_finish_dynamic_sections (bfd *output_bfd,
2478 struct bfd_link_info *info)
2482 struct riscv_elf_link_hash_table *htab;
2484 htab = riscv_elf_hash_table (info);
2485 BFD_ASSERT (htab != NULL);
2486 dynobj = htab->elf.dynobj;
2488 sdyn = bfd_get_linker_section (dynobj, ".dynamic");
2490 if (elf_hash_table (info)->dynamic_sections_created)
2495 splt = htab->elf.splt;
2496 BFD_ASSERT (splt != NULL && sdyn != NULL);
2498 ret = riscv_finish_dyn (output_bfd, info, dynobj, sdyn);
2503 /* Fill in the head and tail entries in the procedure linkage table. */
2507 uint32_t plt_header[PLT_HEADER_INSNS];
2508 riscv_make_plt_header (sec_addr (htab->elf.sgotplt),
2509 sec_addr (splt), plt_header);
2511 for (i = 0; i < PLT_HEADER_INSNS; i++)
2512 bfd_put_32 (output_bfd, plt_header[i], splt->contents + 4*i);
2514 elf_section_data (splt->output_section)->this_hdr.sh_entsize
2519 if (htab->elf.sgotplt)
2521 asection *output_section = htab->elf.sgotplt->output_section;
2523 if (bfd_is_abs_section (output_section))
2525 (*_bfd_error_handler)
2526 (_("discarded output section: `%pA'"), htab->elf.sgotplt);
2530 if (htab->elf.sgotplt->size > 0)
2532 /* Write the first two entries in .got.plt, needed for the dynamic
2534 bfd_put_NN (output_bfd, (bfd_vma) -1, htab->elf.sgotplt->contents);
2535 bfd_put_NN (output_bfd, (bfd_vma) 0,
2536 htab->elf.sgotplt->contents + GOT_ENTRY_SIZE);
2539 elf_section_data (output_section)->this_hdr.sh_entsize = GOT_ENTRY_SIZE;
2544 asection *output_section = htab->elf.sgot->output_section;
2546 if (htab->elf.sgot->size > 0)
2548 /* Set the first entry in the global offset table to the address of
2549 the dynamic section. */
2550 bfd_vma val = sdyn ? sec_addr (sdyn) : 0;
2551 bfd_put_NN (output_bfd, val, htab->elf.sgot->contents);
2554 elf_section_data (output_section)->this_hdr.sh_entsize = GOT_ENTRY_SIZE;
2560 /* Return address for Ith PLT stub in section PLT, for relocation REL
2561 or (bfd_vma) -1 if it should not be included. */
2564 riscv_elf_plt_sym_val (bfd_vma i, const asection *plt,
2565 const arelent *rel ATTRIBUTE_UNUSED)
2567 return plt->vma + PLT_HEADER_SIZE + i * PLT_ENTRY_SIZE;
2570 static enum elf_reloc_type_class
2571 riscv_reloc_type_class (const struct bfd_link_info *info ATTRIBUTE_UNUSED,
2572 const asection *rel_sec ATTRIBUTE_UNUSED,
2573 const Elf_Internal_Rela *rela)
2575 switch (ELFNN_R_TYPE (rela->r_info))
2577 case R_RISCV_RELATIVE:
2578 return reloc_class_relative;
2579 case R_RISCV_JUMP_SLOT:
2580 return reloc_class_plt;
2582 return reloc_class_copy;
2584 return reloc_class_normal;
2588 /* Merge backend specific data from an object file to the output
2589 object file when linking. */
2592 _bfd_riscv_elf_merge_private_bfd_data (bfd *ibfd, struct bfd_link_info *info)
2594 bfd *obfd = info->output_bfd;
2595 flagword new_flags = elf_elfheader (ibfd)->e_flags;
2596 flagword old_flags = elf_elfheader (obfd)->e_flags;
2598 if (!is_riscv_elf (ibfd) || !is_riscv_elf (obfd))
2601 if (strcmp (bfd_get_target (ibfd), bfd_get_target (obfd)) != 0)
2603 (*_bfd_error_handler)
2604 (_("%pB: ABI is incompatible with that of the selected emulation:\n"
2605 " target emulation `%s' does not match `%s'"),
2606 ibfd, bfd_get_target (ibfd), bfd_get_target (obfd));
2610 if (!_bfd_elf_merge_object_attributes (ibfd, info))
2613 if (! elf_flags_init (obfd))
2615 elf_flags_init (obfd) = TRUE;
2616 elf_elfheader (obfd)->e_flags = new_flags;
2620 /* Disallow linking different float ABIs. */
2621 if ((old_flags ^ new_flags) & EF_RISCV_FLOAT_ABI)
2623 (*_bfd_error_handler)
2624 (_("%pB: can't link hard-float modules with soft-float modules"), ibfd);
2628 /* Disallow linking RVE and non-RVE. */
2629 if ((old_flags ^ new_flags) & EF_RISCV_RVE)
2631 (*_bfd_error_handler)
2632 (_("%pB: can't link RVE with other target"), ibfd);
2636 /* Allow linking RVC and non-RVC, and keep the RVC flag. */
2637 elf_elfheader (obfd)->e_flags |= new_flags & EF_RISCV_RVC;
2642 bfd_set_error (bfd_error_bad_value);
2646 /* Delete some bytes from a section while relaxing. */
2649 riscv_relax_delete_bytes (bfd *abfd, asection *sec, bfd_vma addr, size_t count,
2650 struct bfd_link_info *link_info)
2652 unsigned int i, symcount;
2653 bfd_vma toaddr = sec->size;
2654 struct elf_link_hash_entry **sym_hashes = elf_sym_hashes (abfd);
2655 Elf_Internal_Shdr *symtab_hdr = &elf_tdata (abfd)->symtab_hdr;
2656 unsigned int sec_shndx = _bfd_elf_section_from_bfd_section (abfd, sec);
2657 struct bfd_elf_section_data *data = elf_section_data (sec);
2658 bfd_byte *contents = data->this_hdr.contents;
2660 /* Actually delete the bytes. */
2662 memmove (contents + addr, contents + addr + count, toaddr - addr - count);
2664 /* Adjust the location of all of the relocs. Note that we need not
2665 adjust the addends, since all PC-relative references must be against
2666 symbols, which we will adjust below. */
2667 for (i = 0; i < sec->reloc_count; i++)
2668 if (data->relocs[i].r_offset > addr && data->relocs[i].r_offset < toaddr)
2669 data->relocs[i].r_offset -= count;
2671 /* Adjust the local symbols defined in this section. */
2672 for (i = 0; i < symtab_hdr->sh_info; i++)
2674 Elf_Internal_Sym *sym = (Elf_Internal_Sym *) symtab_hdr->contents + i;
2675 if (sym->st_shndx == sec_shndx)
2677 /* If the symbol is in the range of memory we just moved, we
2678 have to adjust its value. */
2679 if (sym->st_value > addr && sym->st_value <= toaddr)
2680 sym->st_value -= count;
2682 /* If the symbol *spans* the bytes we just deleted (i.e. its
2683 *end* is in the moved bytes but its *start* isn't), then we
2684 must adjust its size.
2686 This test needs to use the original value of st_value, otherwise
2687 we might accidentally decrease size when deleting bytes right
2688 before the symbol. But since deleted relocs can't span across
2689 symbols, we can't have both a st_value and a st_size decrease,
2690 so it is simpler to just use an else. */
2691 else if (sym->st_value <= addr
2692 && sym->st_value + sym->st_size > addr
2693 && sym->st_value + sym->st_size <= toaddr)
2694 sym->st_size -= count;
2698 /* Now adjust the global symbols defined in this section. */
2699 symcount = ((symtab_hdr->sh_size / sizeof (ElfNN_External_Sym))
2700 - symtab_hdr->sh_info);
2702 for (i = 0; i < symcount; i++)
2704 struct elf_link_hash_entry *sym_hash = sym_hashes[i];
2706 /* The '--wrap SYMBOL' option is causing a pain when the object file,
2707 containing the definition of __wrap_SYMBOL, includes a direct
2708 call to SYMBOL as well. Since both __wrap_SYMBOL and SYMBOL reference
2709 the same symbol (which is __wrap_SYMBOL), but still exist as two
2710 different symbols in 'sym_hashes', we don't want to adjust
2711 the global symbol __wrap_SYMBOL twice.
2712 This check is only relevant when symbols are being wrapped. */
2713 if (link_info->wrap_hash != NULL)
2715 struct elf_link_hash_entry **cur_sym_hashes;
2717 /* Loop only over the symbols which have already been checked. */
2718 for (cur_sym_hashes = sym_hashes; cur_sym_hashes < &sym_hashes[i];
2721 /* If the current symbol is identical to 'sym_hash', that means
2722 the symbol was already adjusted (or at least checked). */
2723 if (*cur_sym_hashes == sym_hash)
2726 /* Don't adjust the symbol again. */
2727 if (cur_sym_hashes < &sym_hashes[i])
2731 if ((sym_hash->root.type == bfd_link_hash_defined
2732 || sym_hash->root.type == bfd_link_hash_defweak)
2733 && sym_hash->root.u.def.section == sec)
2735 /* As above, adjust the value if needed. */
2736 if (sym_hash->root.u.def.value > addr
2737 && sym_hash->root.u.def.value <= toaddr)
2738 sym_hash->root.u.def.value -= count;
2740 /* As above, adjust the size if needed. */
2741 else if (sym_hash->root.u.def.value <= addr
2742 && sym_hash->root.u.def.value + sym_hash->size > addr
2743 && sym_hash->root.u.def.value + sym_hash->size <= toaddr)
2744 sym_hash->size -= count;
2751 /* A second format for recording PC-relative hi relocations. This stores the
2752 information required to relax them to GP-relative addresses. */
2754 typedef struct riscv_pcgp_hi_reloc riscv_pcgp_hi_reloc;
2755 struct riscv_pcgp_hi_reloc
2762 riscv_pcgp_hi_reloc *next;
2765 typedef struct riscv_pcgp_lo_reloc riscv_pcgp_lo_reloc;
2766 struct riscv_pcgp_lo_reloc
2769 riscv_pcgp_lo_reloc *next;
2774 riscv_pcgp_hi_reloc *hi;
2775 riscv_pcgp_lo_reloc *lo;
2776 } riscv_pcgp_relocs;
2779 riscv_init_pcgp_relocs (riscv_pcgp_relocs *p)
2787 riscv_free_pcgp_relocs (riscv_pcgp_relocs *p,
2788 bfd *abfd ATTRIBUTE_UNUSED,
2789 asection *sec ATTRIBUTE_UNUSED)
2791 riscv_pcgp_hi_reloc *c;
2792 riscv_pcgp_lo_reloc *l;
2794 for (c = p->hi; c != NULL;)
2796 riscv_pcgp_hi_reloc *next = c->next;
2801 for (l = p->lo; l != NULL;)
2803 riscv_pcgp_lo_reloc *next = l->next;
2810 riscv_record_pcgp_hi_reloc (riscv_pcgp_relocs *p, bfd_vma hi_sec_off,
2811 bfd_vma hi_addend, bfd_vma hi_addr,
2812 unsigned hi_sym, asection *sym_sec)
2814 riscv_pcgp_hi_reloc *new = bfd_malloc (sizeof(*new));
2817 new->hi_sec_off = hi_sec_off;
2818 new->hi_addend = hi_addend;
2819 new->hi_addr = hi_addr;
2820 new->hi_sym = hi_sym;
2821 new->sym_sec = sym_sec;
2827 static riscv_pcgp_hi_reloc *
2828 riscv_find_pcgp_hi_reloc(riscv_pcgp_relocs *p, bfd_vma hi_sec_off)
2830 riscv_pcgp_hi_reloc *c;
2832 for (c = p->hi; c != NULL; c = c->next)
2833 if (c->hi_sec_off == hi_sec_off)
2839 riscv_delete_pcgp_hi_reloc(riscv_pcgp_relocs *p, bfd_vma hi_sec_off)
2841 bfd_boolean out = FALSE;
2842 riscv_pcgp_hi_reloc *c;
2844 for (c = p->hi; c != NULL; c = c->next)
2845 if (c->hi_sec_off == hi_sec_off)
2852 riscv_use_pcgp_hi_reloc(riscv_pcgp_relocs *p, bfd_vma hi_sec_off)
2854 bfd_boolean out = FALSE;
2855 riscv_pcgp_hi_reloc *c;
2857 for (c = p->hi; c != NULL; c = c->next)
2858 if (c->hi_sec_off == hi_sec_off)
2865 riscv_record_pcgp_lo_reloc (riscv_pcgp_relocs *p, bfd_vma hi_sec_off)
2867 riscv_pcgp_lo_reloc *new = bfd_malloc (sizeof(*new));
2870 new->hi_sec_off = hi_sec_off;
2877 riscv_find_pcgp_lo_reloc (riscv_pcgp_relocs *p, bfd_vma hi_sec_off)
2879 riscv_pcgp_lo_reloc *c;
2881 for (c = p->lo; c != NULL; c = c->next)
2882 if (c->hi_sec_off == hi_sec_off)
2888 riscv_delete_pcgp_lo_reloc (riscv_pcgp_relocs *p ATTRIBUTE_UNUSED,
2889 bfd_vma lo_sec_off ATTRIBUTE_UNUSED,
2890 size_t bytes ATTRIBUTE_UNUSED)
2895 typedef bfd_boolean (*relax_func_t) (bfd *, asection *, asection *,
2896 struct bfd_link_info *,
2897 Elf_Internal_Rela *,
2898 bfd_vma, bfd_vma, bfd_vma, bfd_boolean *,
2899 riscv_pcgp_relocs *);
2901 /* Relax AUIPC + JALR into JAL. */
2904 _bfd_riscv_relax_call (bfd *abfd, asection *sec, asection *sym_sec,
2905 struct bfd_link_info *link_info,
2906 Elf_Internal_Rela *rel,
2908 bfd_vma max_alignment,
2909 bfd_vma reserve_size ATTRIBUTE_UNUSED,
2911 riscv_pcgp_relocs *pcgp_relocs ATTRIBUTE_UNUSED)
2913 bfd_byte *contents = elf_section_data (sec)->this_hdr.contents;
2914 bfd_signed_vma foff = symval - (sec_addr (sec) + rel->r_offset);
2915 bfd_boolean near_zero = (symval + RISCV_IMM_REACH/2) < RISCV_IMM_REACH;
2916 bfd_vma auipc, jalr;
2917 int rd, r_type, len = 4, rvc = elf_elfheader (abfd)->e_flags & EF_RISCV_RVC;
2919 /* If the call crosses section boundaries, an alignment directive could
2920 cause the PC-relative offset to later increase. */
2921 if (VALID_UJTYPE_IMM (foff) && sym_sec->output_section != sec->output_section)
2922 foff += (foff < 0 ? -max_alignment : max_alignment);
2924 /* See if this function call can be shortened. */
2925 if (!VALID_UJTYPE_IMM (foff) && !(!bfd_link_pic (link_info) && near_zero))
2928 /* Shorten the function call. */
2929 BFD_ASSERT (rel->r_offset + 8 <= sec->size);
2931 auipc = bfd_get_32 (abfd, contents + rel->r_offset);
2932 jalr = bfd_get_32 (abfd, contents + rel->r_offset + 4);
2933 rd = (jalr >> OP_SH_RD) & OP_MASK_RD;
2934 rvc = rvc && VALID_RVC_J_IMM (foff) && ARCH_SIZE == 32;
2936 if (rvc && (rd == 0 || rd == X_RA))
2938 /* Relax to C.J[AL] rd, addr. */
2939 r_type = R_RISCV_RVC_JUMP;
2940 auipc = rd == 0 ? MATCH_C_J : MATCH_C_JAL;
2943 else if (VALID_UJTYPE_IMM (foff))
2945 /* Relax to JAL rd, addr. */
2946 r_type = R_RISCV_JAL;
2947 auipc = MATCH_JAL | (rd << OP_SH_RD);
2949 else /* near_zero */
2951 /* Relax to JALR rd, x0, addr. */
2952 r_type = R_RISCV_LO12_I;
2953 auipc = MATCH_JALR | (rd << OP_SH_RD);
2956 /* Replace the R_RISCV_CALL reloc. */
2957 rel->r_info = ELFNN_R_INFO (ELFNN_R_SYM (rel->r_info), r_type);
2958 /* Replace the AUIPC. */
2959 bfd_put (8 * len, abfd, auipc, contents + rel->r_offset);
2961 /* Delete unnecessary JALR. */
2963 return riscv_relax_delete_bytes (abfd, sec, rel->r_offset + len, 8 - len,
2967 /* Traverse all output sections and return the max alignment. */
2970 _bfd_riscv_get_max_alignment (asection *sec)
2972 unsigned int max_alignment_power = 0;
2975 for (o = sec->output_section->owner->sections; o != NULL; o = o->next)
2977 if (o->alignment_power > max_alignment_power)
2978 max_alignment_power = o->alignment_power;
2981 return (bfd_vma) 1 << max_alignment_power;
2984 /* Relax non-PIC global variable references. */
2987 _bfd_riscv_relax_lui (bfd *abfd,
2990 struct bfd_link_info *link_info,
2991 Elf_Internal_Rela *rel,
2993 bfd_vma max_alignment,
2994 bfd_vma reserve_size,
2996 riscv_pcgp_relocs *pcgp_relocs ATTRIBUTE_UNUSED)
2998 bfd_byte *contents = elf_section_data (sec)->this_hdr.contents;
2999 bfd_vma gp = riscv_global_pointer_value (link_info);
3000 int use_rvc = elf_elfheader (abfd)->e_flags & EF_RISCV_RVC;
3002 /* Mergeable symbols and code might later move out of range. */
3003 if (sym_sec->flags & (SEC_MERGE | SEC_CODE))
3006 BFD_ASSERT (rel->r_offset + 4 <= sec->size);
3010 /* If gp and the symbol are in the same output section, then
3011 consider only that section's alignment. */
3012 struct bfd_link_hash_entry *h =
3013 bfd_link_hash_lookup (link_info->hash, RISCV_GP_SYMBOL, FALSE, FALSE,
3015 if (h->u.def.section->output_section == sym_sec->output_section)
3016 max_alignment = (bfd_vma) 1 << sym_sec->output_section->alignment_power;
3019 /* Is the reference in range of x0 or gp?
3020 Valid gp range conservatively because of alignment issue. */
3021 if (VALID_ITYPE_IMM (symval)
3023 && VALID_ITYPE_IMM (symval - gp + max_alignment + reserve_size))
3025 && VALID_ITYPE_IMM (symval - gp - max_alignment - reserve_size)))
3027 unsigned sym = ELFNN_R_SYM (rel->r_info);
3028 switch (ELFNN_R_TYPE (rel->r_info))
3030 case R_RISCV_LO12_I:
3031 rel->r_info = ELFNN_R_INFO (sym, R_RISCV_GPREL_I);
3034 case R_RISCV_LO12_S:
3035 rel->r_info = ELFNN_R_INFO (sym, R_RISCV_GPREL_S);
3039 /* We can delete the unnecessary LUI and reloc. */
3040 rel->r_info = ELFNN_R_INFO (0, R_RISCV_NONE);
3042 return riscv_relax_delete_bytes (abfd, sec, rel->r_offset, 4,
3050 /* Can we relax LUI to C.LUI? Alignment might move the section forward;
3051 account for this assuming page alignment at worst. */
3053 && ELFNN_R_TYPE (rel->r_info) == R_RISCV_HI20
3054 && VALID_RVC_LUI_IMM (RISCV_CONST_HIGH_PART (symval))
3055 && VALID_RVC_LUI_IMM (RISCV_CONST_HIGH_PART (symval + ELF_MAXPAGESIZE)))
3057 /* Replace LUI with C.LUI if legal (i.e., rd != x0 and rd != x2/sp). */
3058 bfd_vma lui = bfd_get_32 (abfd, contents + rel->r_offset);
3059 unsigned rd = ((unsigned)lui >> OP_SH_RD) & OP_MASK_RD;
3060 if (rd == 0 || rd == X_SP)
3063 lui = (lui & (OP_MASK_RD << OP_SH_RD)) | MATCH_C_LUI;
3064 bfd_put_32 (abfd, lui, contents + rel->r_offset);
3066 /* Replace the R_RISCV_HI20 reloc. */
3067 rel->r_info = ELFNN_R_INFO (ELFNN_R_SYM (rel->r_info), R_RISCV_RVC_LUI);
3070 return riscv_relax_delete_bytes (abfd, sec, rel->r_offset + 2, 2,
3077 /* Relax non-PIC TLS references. */
3080 _bfd_riscv_relax_tls_le (bfd *abfd,
3082 asection *sym_sec ATTRIBUTE_UNUSED,
3083 struct bfd_link_info *link_info,
3084 Elf_Internal_Rela *rel,
3086 bfd_vma max_alignment ATTRIBUTE_UNUSED,
3087 bfd_vma reserve_size ATTRIBUTE_UNUSED,
3089 riscv_pcgp_relocs *prcel_relocs ATTRIBUTE_UNUSED)
3091 /* See if this symbol is in range of tp. */
3092 if (RISCV_CONST_HIGH_PART (tpoff (link_info, symval)) != 0)
3095 BFD_ASSERT (rel->r_offset + 4 <= sec->size);
3096 switch (ELFNN_R_TYPE (rel->r_info))
3098 case R_RISCV_TPREL_LO12_I:
3099 rel->r_info = ELFNN_R_INFO (ELFNN_R_SYM (rel->r_info), R_RISCV_TPREL_I);
3102 case R_RISCV_TPREL_LO12_S:
3103 rel->r_info = ELFNN_R_INFO (ELFNN_R_SYM (rel->r_info), R_RISCV_TPREL_S);
3106 case R_RISCV_TPREL_HI20:
3107 case R_RISCV_TPREL_ADD:
3108 /* We can delete the unnecessary instruction and reloc. */
3109 rel->r_info = ELFNN_R_INFO (0, R_RISCV_NONE);
3111 return riscv_relax_delete_bytes (abfd, sec, rel->r_offset, 4, link_info);
3118 /* Implement R_RISCV_ALIGN by deleting excess alignment NOPs. */
3121 _bfd_riscv_relax_align (bfd *abfd, asection *sec,
3123 struct bfd_link_info *link_info,
3124 Elf_Internal_Rela *rel,
3126 bfd_vma max_alignment ATTRIBUTE_UNUSED,
3127 bfd_vma reserve_size ATTRIBUTE_UNUSED,
3128 bfd_boolean *again ATTRIBUTE_UNUSED,
3129 riscv_pcgp_relocs *pcrel_relocs ATTRIBUTE_UNUSED)
3131 bfd_byte *contents = elf_section_data (sec)->this_hdr.contents;
3132 bfd_vma alignment = 1, pos;
3133 while (alignment <= rel->r_addend)
3136 symval -= rel->r_addend;
3137 bfd_vma aligned_addr = ((symval - 1) & ~(alignment - 1)) + alignment;
3138 bfd_vma nop_bytes = aligned_addr - symval;
3140 /* Once we've handled an R_RISCV_ALIGN, we can't relax anything else. */
3141 sec->sec_flg0 = TRUE;
3143 /* Make sure there are enough NOPs to actually achieve the alignment. */
3144 if (rel->r_addend < nop_bytes)
3147 (_("%pB(%pA+%#" PRIx64 "): %" PRId64 " bytes required for alignment "
3148 "to %" PRId64 "-byte boundary, but only %" PRId64 " present"),
3149 abfd, sym_sec, (uint64_t) rel->r_offset,
3150 (int64_t) nop_bytes, (int64_t) alignment, (int64_t) rel->r_addend);
3151 bfd_set_error (bfd_error_bad_value);
3155 /* Delete the reloc. */
3156 rel->r_info = ELFNN_R_INFO (0, R_RISCV_NONE);
3158 /* If the number of NOPs is already correct, there's nothing to do. */
3159 if (nop_bytes == rel->r_addend)
3162 /* Write as many RISC-V NOPs as we need. */
3163 for (pos = 0; pos < (nop_bytes & -4); pos += 4)
3164 bfd_put_32 (abfd, RISCV_NOP, contents + rel->r_offset + pos);
3166 /* Write a final RVC NOP if need be. */
3167 if (nop_bytes % 4 != 0)
3168 bfd_put_16 (abfd, RVC_NOP, contents + rel->r_offset + pos);
3170 /* Delete the excess bytes. */
3171 return riscv_relax_delete_bytes (abfd, sec, rel->r_offset + nop_bytes,
3172 rel->r_addend - nop_bytes, link_info);
3175 /* Relax PC-relative references to GP-relative references. */
3178 _bfd_riscv_relax_pc (bfd *abfd,
3181 struct bfd_link_info *link_info,
3182 Elf_Internal_Rela *rel,
3184 bfd_vma max_alignment,
3185 bfd_vma reserve_size,
3186 bfd_boolean *again ATTRIBUTE_UNUSED,
3187 riscv_pcgp_relocs *pcgp_relocs)
3189 bfd_vma gp = riscv_global_pointer_value (link_info);
3191 BFD_ASSERT (rel->r_offset + 4 <= sec->size);
3193 /* Chain the _LO relocs to their cooresponding _HI reloc to compute the
3194 * actual target address. */
3195 riscv_pcgp_hi_reloc hi_reloc;
3196 memset (&hi_reloc, 0, sizeof (hi_reloc));
3197 switch (ELFNN_R_TYPE (rel->r_info))
3199 case R_RISCV_PCREL_LO12_I:
3200 case R_RISCV_PCREL_LO12_S:
3202 riscv_pcgp_hi_reloc *hi = riscv_find_pcgp_hi_reloc (pcgp_relocs,
3203 symval - sec_addr(sym_sec));
3206 riscv_record_pcgp_lo_reloc (pcgp_relocs, symval - sec_addr(sym_sec));
3211 symval = hi_reloc.hi_addr;
3212 sym_sec = hi_reloc.sym_sec;
3213 if (!riscv_use_pcgp_hi_reloc(pcgp_relocs, hi->hi_sec_off))
3215 (_("%pB(%pA+%#" PRIx64 "): Unable to clear RISCV_PCREL_HI20 reloc "
3216 "for corresponding RISCV_PCREL_LO12 reloc"),
3217 abfd, sec, (uint64_t) rel->r_offset);
3221 case R_RISCV_PCREL_HI20:
3222 /* Mergeable symbols and code might later move out of range. */
3223 if (sym_sec->flags & (SEC_MERGE | SEC_CODE))
3226 /* If the cooresponding lo relocation has already been seen then it's not
3227 * safe to relax this relocation. */
3228 if (riscv_find_pcgp_lo_reloc (pcgp_relocs, rel->r_offset))
3239 /* If gp and the symbol are in the same output section, then
3240 consider only that section's alignment. */
3241 struct bfd_link_hash_entry *h =
3242 bfd_link_hash_lookup (link_info->hash, RISCV_GP_SYMBOL, FALSE, FALSE, TRUE);
3243 if (h->u.def.section->output_section == sym_sec->output_section)
3244 max_alignment = (bfd_vma) 1 << sym_sec->output_section->alignment_power;
3247 /* Is the reference in range of x0 or gp?
3248 Valid gp range conservatively because of alignment issue. */
3249 if (VALID_ITYPE_IMM (symval)
3251 && VALID_ITYPE_IMM (symval - gp + max_alignment + reserve_size))
3253 && VALID_ITYPE_IMM (symval - gp - max_alignment - reserve_size)))
3255 unsigned sym = hi_reloc.hi_sym;
3256 switch (ELFNN_R_TYPE (rel->r_info))
3258 case R_RISCV_PCREL_LO12_I:
3259 rel->r_info = ELFNN_R_INFO (sym, R_RISCV_GPREL_I);
3260 rel->r_addend += hi_reloc.hi_addend;
3261 return riscv_delete_pcgp_lo_reloc (pcgp_relocs, rel->r_offset, 4);
3263 case R_RISCV_PCREL_LO12_S:
3264 rel->r_info = ELFNN_R_INFO (sym, R_RISCV_GPREL_S);
3265 rel->r_addend += hi_reloc.hi_addend;
3266 return riscv_delete_pcgp_lo_reloc (pcgp_relocs, rel->r_offset, 4);
3268 case R_RISCV_PCREL_HI20:
3269 riscv_record_pcgp_hi_reloc (pcgp_relocs,
3273 ELFNN_R_SYM(rel->r_info),
3275 /* We can delete the unnecessary AUIPC and reloc. */
3276 rel->r_info = ELFNN_R_INFO (0, R_RISCV_DELETE);
3278 return riscv_delete_pcgp_hi_reloc (pcgp_relocs, rel->r_offset);
3288 /* Relax PC-relative references to GP-relative references. */
3291 _bfd_riscv_relax_delete (bfd *abfd,
3293 asection *sym_sec ATTRIBUTE_UNUSED,
3294 struct bfd_link_info *link_info,
3295 Elf_Internal_Rela *rel,
3296 bfd_vma symval ATTRIBUTE_UNUSED,
3297 bfd_vma max_alignment ATTRIBUTE_UNUSED,
3298 bfd_vma reserve_size ATTRIBUTE_UNUSED,
3299 bfd_boolean *again ATTRIBUTE_UNUSED,
3300 riscv_pcgp_relocs *pcgp_relocs ATTRIBUTE_UNUSED)
3302 if (!riscv_relax_delete_bytes(abfd, sec, rel->r_offset, rel->r_addend,
3305 rel->r_info = ELFNN_R_INFO(0, R_RISCV_NONE);
3309 /* Relax a section. Pass 0 shortens code sequences unless disabled. Pass 1
3310 deletes the bytes that pass 0 made obselete. Pass 2, which cannot be
3311 disabled, handles code alignment directives. */
3314 _bfd_riscv_relax_section (bfd *abfd, asection *sec,
3315 struct bfd_link_info *info,
3318 Elf_Internal_Shdr *symtab_hdr = &elf_symtab_hdr (abfd);
3319 struct riscv_elf_link_hash_table *htab = riscv_elf_hash_table (info);
3320 struct bfd_elf_section_data *data = elf_section_data (sec);
3321 Elf_Internal_Rela *relocs;
3322 bfd_boolean ret = FALSE;
3324 bfd_vma max_alignment, reserve_size = 0;
3325 riscv_pcgp_relocs pcgp_relocs;
3329 if (bfd_link_relocatable (info)
3331 || (sec->flags & SEC_RELOC) == 0
3332 || sec->reloc_count == 0
3333 || (info->disable_target_specific_optimizations
3334 && info->relax_pass == 0))
3337 riscv_init_pcgp_relocs (&pcgp_relocs);
3339 /* Read this BFD's relocs if we haven't done so already. */
3341 relocs = data->relocs;
3342 else if (!(relocs = _bfd_elf_link_read_relocs (abfd, sec, NULL, NULL,
3343 info->keep_memory)))
3348 max_alignment = htab->max_alignment;
3349 if (max_alignment == (bfd_vma) -1)
3351 max_alignment = _bfd_riscv_get_max_alignment (sec);
3352 htab->max_alignment = max_alignment;
3356 max_alignment = _bfd_riscv_get_max_alignment (sec);
3358 /* Examine and consider relaxing each reloc. */
3359 for (i = 0; i < sec->reloc_count; i++)
3362 Elf_Internal_Rela *rel = relocs + i;
3363 relax_func_t relax_func;
3364 int type = ELFNN_R_TYPE (rel->r_info);
3368 if (info->relax_pass == 0)
3370 if (type == R_RISCV_CALL || type == R_RISCV_CALL_PLT)
3371 relax_func = _bfd_riscv_relax_call;
3372 else if (type == R_RISCV_HI20
3373 || type == R_RISCV_LO12_I
3374 || type == R_RISCV_LO12_S)
3375 relax_func = _bfd_riscv_relax_lui;
3376 else if (!bfd_link_pic(info)
3377 && (type == R_RISCV_PCREL_HI20
3378 || type == R_RISCV_PCREL_LO12_I
3379 || type == R_RISCV_PCREL_LO12_S))
3380 relax_func = _bfd_riscv_relax_pc;
3381 else if (type == R_RISCV_TPREL_HI20
3382 || type == R_RISCV_TPREL_ADD
3383 || type == R_RISCV_TPREL_LO12_I
3384 || type == R_RISCV_TPREL_LO12_S)
3385 relax_func = _bfd_riscv_relax_tls_le;
3389 /* Only relax this reloc if it is paired with R_RISCV_RELAX. */
3390 if (i == sec->reloc_count - 1
3391 || ELFNN_R_TYPE ((rel + 1)->r_info) != R_RISCV_RELAX
3392 || rel->r_offset != (rel + 1)->r_offset)
3395 /* Skip over the R_RISCV_RELAX. */
3398 else if (info->relax_pass == 1 && type == R_RISCV_DELETE)
3399 relax_func = _bfd_riscv_relax_delete;
3400 else if (info->relax_pass == 2 && type == R_RISCV_ALIGN)
3401 relax_func = _bfd_riscv_relax_align;
3405 data->relocs = relocs;
3407 /* Read this BFD's contents if we haven't done so already. */
3408 if (!data->this_hdr.contents
3409 && !bfd_malloc_and_get_section (abfd, sec, &data->this_hdr.contents))
3412 /* Read this BFD's symbols if we haven't done so already. */
3413 if (symtab_hdr->sh_info != 0
3414 && !symtab_hdr->contents
3415 && !(symtab_hdr->contents =
3416 (unsigned char *) bfd_elf_get_elf_syms (abfd, symtab_hdr,
3417 symtab_hdr->sh_info,
3418 0, NULL, NULL, NULL)))
3421 /* Get the value of the symbol referred to by the reloc. */
3422 if (ELFNN_R_SYM (rel->r_info) < symtab_hdr->sh_info)
3424 /* A local symbol. */
3425 Elf_Internal_Sym *isym = ((Elf_Internal_Sym *) symtab_hdr->contents
3426 + ELFNN_R_SYM (rel->r_info));
3427 reserve_size = (isym->st_size - rel->r_addend) > isym->st_size
3428 ? 0 : isym->st_size - rel->r_addend;
3430 if (isym->st_shndx == SHN_UNDEF)
3431 sym_sec = sec, symval = sec_addr (sec) + rel->r_offset;
3434 BFD_ASSERT (isym->st_shndx < elf_numsections (abfd));
3435 sym_sec = elf_elfsections (abfd)[isym->st_shndx]->bfd_section;
3437 /* The purpose of this code is unknown. It breaks linker scripts
3438 for embedded development that place sections at address zero.
3439 This code is believed to be unnecessary. Disabling it but not
3440 yet removing it, in case something breaks. */
3441 if (sec_addr (sym_sec) == 0)
3444 symval = sec_addr (sym_sec) + isym->st_value;
3450 struct elf_link_hash_entry *h;
3452 indx = ELFNN_R_SYM (rel->r_info) - symtab_hdr->sh_info;
3453 h = elf_sym_hashes (abfd)[indx];
3455 while (h->root.type == bfd_link_hash_indirect
3456 || h->root.type == bfd_link_hash_warning)
3457 h = (struct elf_link_hash_entry *) h->root.u.i.link;
3459 if (h->plt.offset != MINUS_ONE)
3460 symval = sec_addr (htab->elf.splt) + h->plt.offset;
3461 else if (h->root.u.def.section->output_section == NULL
3462 || (h->root.type != bfd_link_hash_defined
3463 && h->root.type != bfd_link_hash_defweak))
3466 symval = sec_addr (h->root.u.def.section) + h->root.u.def.value;
3468 if (h->type != STT_FUNC)
3470 (h->size - rel->r_addend) > h->size ? 0 : h->size - rel->r_addend;
3471 sym_sec = h->root.u.def.section;
3474 symval += rel->r_addend;
3476 if (!relax_func (abfd, sec, sym_sec, info, rel, symval,
3477 max_alignment, reserve_size, again,
3485 if (relocs != data->relocs)
3487 riscv_free_pcgp_relocs(&pcgp_relocs, abfd, sec);
3493 # define PRSTATUS_SIZE 0 /* FIXME */
3494 # define PRSTATUS_OFFSET_PR_CURSIG 12
3495 # define PRSTATUS_OFFSET_PR_PID 24
3496 # define PRSTATUS_OFFSET_PR_REG 72
3497 # define ELF_GREGSET_T_SIZE 128
3498 # define PRPSINFO_SIZE 128
3499 # define PRPSINFO_OFFSET_PR_PID 16
3500 # define PRPSINFO_OFFSET_PR_FNAME 32
3501 # define PRPSINFO_OFFSET_PR_PSARGS 48
3503 # define PRSTATUS_SIZE 376
3504 # define PRSTATUS_OFFSET_PR_CURSIG 12
3505 # define PRSTATUS_OFFSET_PR_PID 32
3506 # define PRSTATUS_OFFSET_PR_REG 112
3507 # define ELF_GREGSET_T_SIZE 256
3508 # define PRPSINFO_SIZE 136
3509 # define PRPSINFO_OFFSET_PR_PID 24
3510 # define PRPSINFO_OFFSET_PR_FNAME 40
3511 # define PRPSINFO_OFFSET_PR_PSARGS 56
3514 /* Support for core dump NOTE sections. */
3517 riscv_elf_grok_prstatus (bfd *abfd, Elf_Internal_Note *note)
3519 switch (note->descsz)
3524 case PRSTATUS_SIZE: /* sizeof(struct elf_prstatus) on Linux/RISC-V. */
3526 elf_tdata (abfd)->core->signal
3527 = bfd_get_16 (abfd, note->descdata + PRSTATUS_OFFSET_PR_CURSIG);
3530 elf_tdata (abfd)->core->lwpid
3531 = bfd_get_32 (abfd, note->descdata + PRSTATUS_OFFSET_PR_PID);
3535 /* Make a ".reg/999" section. */
3536 return _bfd_elfcore_make_pseudosection (abfd, ".reg", ELF_GREGSET_T_SIZE,
3537 note->descpos + PRSTATUS_OFFSET_PR_REG);
3541 riscv_elf_grok_psinfo (bfd *abfd, Elf_Internal_Note *note)
3543 switch (note->descsz)
3548 case PRPSINFO_SIZE: /* sizeof(struct elf_prpsinfo) on Linux/RISC-V. */
3550 elf_tdata (abfd)->core->pid
3551 = bfd_get_32 (abfd, note->descdata + PRPSINFO_OFFSET_PR_PID);
3554 elf_tdata (abfd)->core->program = _bfd_elfcore_strndup
3555 (abfd, note->descdata + PRPSINFO_OFFSET_PR_FNAME, 16);
3558 elf_tdata (abfd)->core->command = _bfd_elfcore_strndup
3559 (abfd, note->descdata + PRPSINFO_OFFSET_PR_PSARGS, 80);
3563 /* Note that for some reason, a spurious space is tacked
3564 onto the end of the args in some (at least one anyway)
3565 implementations, so strip it off if it exists. */
3568 char *command = elf_tdata (abfd)->core->command;
3569 int n = strlen (command);
3571 if (0 < n && command[n - 1] == ' ')
3572 command[n - 1] = '\0';
3578 /* Set the right mach type. */
3580 riscv_elf_object_p (bfd *abfd)
3582 /* There are only two mach types in RISCV currently. */
3583 if (strcmp (abfd->xvec->name, "elf32-littleriscv") == 0)
3584 bfd_default_set_arch_mach (abfd, bfd_arch_riscv, bfd_mach_riscv32);
3586 bfd_default_set_arch_mach (abfd, bfd_arch_riscv, bfd_mach_riscv64);
3592 #define TARGET_LITTLE_SYM riscv_elfNN_vec
3593 #define TARGET_LITTLE_NAME "elfNN-littleriscv"
3595 #define elf_backend_reloc_type_class riscv_reloc_type_class
3597 #define bfd_elfNN_bfd_reloc_name_lookup riscv_reloc_name_lookup
3598 #define bfd_elfNN_bfd_link_hash_table_create riscv_elf_link_hash_table_create
3599 #define bfd_elfNN_bfd_reloc_type_lookup riscv_reloc_type_lookup
3600 #define bfd_elfNN_bfd_merge_private_bfd_data \
3601 _bfd_riscv_elf_merge_private_bfd_data
3603 #define elf_backend_copy_indirect_symbol riscv_elf_copy_indirect_symbol
3604 #define elf_backend_create_dynamic_sections riscv_elf_create_dynamic_sections
3605 #define elf_backend_check_relocs riscv_elf_check_relocs
3606 #define elf_backend_adjust_dynamic_symbol riscv_elf_adjust_dynamic_symbol
3607 #define elf_backend_size_dynamic_sections riscv_elf_size_dynamic_sections
3608 #define elf_backend_relocate_section riscv_elf_relocate_section
3609 #define elf_backend_finish_dynamic_symbol riscv_elf_finish_dynamic_symbol
3610 #define elf_backend_finish_dynamic_sections riscv_elf_finish_dynamic_sections
3611 #define elf_backend_gc_mark_hook riscv_elf_gc_mark_hook
3612 #define elf_backend_plt_sym_val riscv_elf_plt_sym_val
3613 #define elf_backend_grok_prstatus riscv_elf_grok_prstatus
3614 #define elf_backend_grok_psinfo riscv_elf_grok_psinfo
3615 #define elf_backend_object_p riscv_elf_object_p
3616 #define elf_info_to_howto_rel NULL
3617 #define elf_info_to_howto riscv_info_to_howto_rela
3618 #define bfd_elfNN_bfd_relax_section _bfd_riscv_relax_section
3620 #define elf_backend_init_index_section _bfd_elf_init_1_index_section
3622 #define elf_backend_can_gc_sections 1
3623 #define elf_backend_can_refcount 1
3624 #define elf_backend_want_got_plt 1
3625 #define elf_backend_plt_readonly 1
3626 #define elf_backend_plt_alignment 4
3627 #define elf_backend_want_plt_sym 1
3628 #define elf_backend_got_header_size (ARCH_SIZE / 8)
3629 #define elf_backend_want_dynrelro 1
3630 #define elf_backend_rela_normal 1
3631 #define elf_backend_default_execstack 0
3633 #include "elfNN-target.h"