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 ATTRIBUTE_UNUSED,
127 Elf_Internal_Rela *dst)
129 cache_ptr->howto = riscv_elf_rtype_to_howto (ELFNN_R_TYPE (dst->r_info));
133 riscv_elf_append_rela (bfd *abfd, asection *s, Elf_Internal_Rela *rel)
135 const struct elf_backend_data *bed;
138 bed = get_elf_backend_data (abfd);
139 loc = s->contents + (s->reloc_count++ * bed->s->sizeof_rela);
140 bed->s->swap_reloca_out (abfd, rel, loc);
145 #define PLT_HEADER_INSNS 8
146 #define PLT_ENTRY_INSNS 4
147 #define PLT_HEADER_SIZE (PLT_HEADER_INSNS * 4)
148 #define PLT_ENTRY_SIZE (PLT_ENTRY_INSNS * 4)
150 #define GOT_ENTRY_SIZE RISCV_ELF_WORD_BYTES
152 #define GOTPLT_HEADER_SIZE (2 * GOT_ENTRY_SIZE)
154 #define sec_addr(sec) ((sec)->output_section->vma + (sec)->output_offset)
157 riscv_elf_got_plt_val (bfd_vma plt_index, struct bfd_link_info *info)
159 return sec_addr (riscv_elf_hash_table (info)->elf.sgotplt)
160 + GOTPLT_HEADER_SIZE + (plt_index * GOT_ENTRY_SIZE);
164 # define MATCH_LREG MATCH_LW
166 # define MATCH_LREG MATCH_LD
169 /* Generate a PLT header. */
172 riscv_make_plt_header (bfd_vma gotplt_addr, bfd_vma addr, uint32_t *entry)
174 bfd_vma gotplt_offset_high = RISCV_PCREL_HIGH_PART (gotplt_addr, addr);
175 bfd_vma gotplt_offset_low = RISCV_PCREL_LOW_PART (gotplt_addr, addr);
177 /* auipc t2, %hi(.got.plt)
178 sub t1, t1, t3 # shifted .got.plt offset + hdr size + 12
179 l[w|d] t3, %lo(.got.plt)(t2) # _dl_runtime_resolve
180 addi t1, t1, -(hdr size + 12) # shifted .got.plt offset
181 addi t0, t2, %lo(.got.plt) # &.got.plt
182 srli t1, t1, log2(16/PTRSIZE) # .got.plt offset
183 l[w|d] t0, PTRSIZE(t0) # link map
186 entry[0] = RISCV_UTYPE (AUIPC, X_T2, gotplt_offset_high);
187 entry[1] = RISCV_RTYPE (SUB, X_T1, X_T1, X_T3);
188 entry[2] = RISCV_ITYPE (LREG, X_T3, X_T2, gotplt_offset_low);
189 entry[3] = RISCV_ITYPE (ADDI, X_T1, X_T1, -(PLT_HEADER_SIZE + 12));
190 entry[4] = RISCV_ITYPE (ADDI, X_T0, X_T2, gotplt_offset_low);
191 entry[5] = RISCV_ITYPE (SRLI, X_T1, X_T1, 4 - RISCV_ELF_LOG_WORD_BYTES);
192 entry[6] = RISCV_ITYPE (LREG, X_T0, X_T0, RISCV_ELF_WORD_BYTES);
193 entry[7] = RISCV_ITYPE (JALR, 0, X_T3, 0);
196 /* Generate a PLT entry. */
199 riscv_make_plt_entry (bfd_vma got, bfd_vma addr, uint32_t *entry)
201 /* auipc t3, %hi(.got.plt entry)
202 l[w|d] t3, %lo(.got.plt entry)(t3)
206 entry[0] = RISCV_UTYPE (AUIPC, X_T3, RISCV_PCREL_HIGH_PART (got, addr));
207 entry[1] = RISCV_ITYPE (LREG, X_T3, X_T3, RISCV_PCREL_LOW_PART (got, addr));
208 entry[2] = RISCV_ITYPE (JALR, X_T1, X_T3, 0);
209 entry[3] = RISCV_NOP;
212 /* Create an entry in an RISC-V ELF linker hash table. */
214 static struct bfd_hash_entry *
215 link_hash_newfunc (struct bfd_hash_entry *entry,
216 struct bfd_hash_table *table, const char *string)
218 /* Allocate the structure if it has not already been allocated by a
223 bfd_hash_allocate (table,
224 sizeof (struct riscv_elf_link_hash_entry));
229 /* Call the allocation method of the superclass. */
230 entry = _bfd_elf_link_hash_newfunc (entry, table, string);
233 struct riscv_elf_link_hash_entry *eh;
235 eh = (struct riscv_elf_link_hash_entry *) entry;
236 eh->dyn_relocs = NULL;
237 eh->tls_type = GOT_UNKNOWN;
243 /* Create a RISC-V ELF linker hash table. */
245 static struct bfd_link_hash_table *
246 riscv_elf_link_hash_table_create (bfd *abfd)
248 struct riscv_elf_link_hash_table *ret;
249 bfd_size_type amt = sizeof (struct riscv_elf_link_hash_table);
251 ret = (struct riscv_elf_link_hash_table *) bfd_zmalloc (amt);
255 if (!_bfd_elf_link_hash_table_init (&ret->elf, abfd, link_hash_newfunc,
256 sizeof (struct riscv_elf_link_hash_entry),
263 ret->max_alignment = (bfd_vma) -1;
264 return &ret->elf.root;
267 /* Create the .got section. */
270 riscv_elf_create_got_section (bfd *abfd, struct bfd_link_info *info)
274 struct elf_link_hash_entry *h;
275 const struct elf_backend_data *bed = get_elf_backend_data (abfd);
276 struct elf_link_hash_table *htab = elf_hash_table (info);
278 /* This function may be called more than once. */
279 if (htab->sgot != NULL)
282 flags = bed->dynamic_sec_flags;
284 s = bfd_make_section_anyway_with_flags (abfd,
285 (bed->rela_plts_and_copies_p
286 ? ".rela.got" : ".rel.got"),
287 (bed->dynamic_sec_flags
290 || ! bfd_set_section_alignment (abfd, s, bed->s->log_file_align))
294 s = s_got = bfd_make_section_anyway_with_flags (abfd, ".got", flags);
296 || !bfd_set_section_alignment (abfd, s, bed->s->log_file_align))
300 /* The first bit of the global offset table is the header. */
301 s->size += bed->got_header_size;
303 if (bed->want_got_plt)
305 s = bfd_make_section_anyway_with_flags (abfd, ".got.plt", flags);
307 || !bfd_set_section_alignment (abfd, s,
308 bed->s->log_file_align))
312 /* Reserve room for the header. */
313 s->size += GOTPLT_HEADER_SIZE;
316 if (bed->want_got_sym)
318 /* Define the symbol _GLOBAL_OFFSET_TABLE_ at the start of the .got
319 section. We don't do this in the linker script because we don't want
320 to define the symbol if we are not creating a global offset
322 h = _bfd_elf_define_linkage_sym (abfd, info, s_got,
323 "_GLOBAL_OFFSET_TABLE_");
324 elf_hash_table (info)->hgot = h;
332 /* Create .plt, .rela.plt, .got, .got.plt, .rela.got, .dynbss, and
333 .rela.bss sections in DYNOBJ, and set up shortcuts to them in our
337 riscv_elf_create_dynamic_sections (bfd *dynobj,
338 struct bfd_link_info *info)
340 struct riscv_elf_link_hash_table *htab;
342 htab = riscv_elf_hash_table (info);
343 BFD_ASSERT (htab != NULL);
345 if (!riscv_elf_create_got_section (dynobj, info))
348 if (!_bfd_elf_create_dynamic_sections (dynobj, info))
351 if (!bfd_link_pic (info))
354 bfd_make_section_anyway_with_flags (dynobj, ".tdata.dyn",
355 SEC_ALLOC | SEC_THREAD_LOCAL);
358 if (!htab->elf.splt || !htab->elf.srelplt || !htab->elf.sdynbss
359 || (!bfd_link_pic (info) && (!htab->elf.srelbss || !htab->sdyntdata)))
365 /* Copy the extra info we tack onto an elf_link_hash_entry. */
368 riscv_elf_copy_indirect_symbol (struct bfd_link_info *info,
369 struct elf_link_hash_entry *dir,
370 struct elf_link_hash_entry *ind)
372 struct riscv_elf_link_hash_entry *edir, *eind;
374 edir = (struct riscv_elf_link_hash_entry *) dir;
375 eind = (struct riscv_elf_link_hash_entry *) ind;
377 if (eind->dyn_relocs != NULL)
379 if (edir->dyn_relocs != NULL)
381 struct elf_dyn_relocs **pp;
382 struct elf_dyn_relocs *p;
384 /* Add reloc counts against the indirect sym to the direct sym
385 list. Merge any entries against the same section. */
386 for (pp = &eind->dyn_relocs; (p = *pp) != NULL; )
388 struct elf_dyn_relocs *q;
390 for (q = edir->dyn_relocs; q != NULL; q = q->next)
391 if (q->sec == p->sec)
393 q->pc_count += p->pc_count;
394 q->count += p->count;
401 *pp = edir->dyn_relocs;
404 edir->dyn_relocs = eind->dyn_relocs;
405 eind->dyn_relocs = NULL;
408 if (ind->root.type == bfd_link_hash_indirect
409 && dir->got.refcount <= 0)
411 edir->tls_type = eind->tls_type;
412 eind->tls_type = GOT_UNKNOWN;
414 _bfd_elf_link_hash_copy_indirect (info, dir, ind);
418 riscv_elf_record_tls_type (bfd *abfd, struct elf_link_hash_entry *h,
419 unsigned long symndx, char tls_type)
421 char *new_tls_type = &_bfd_riscv_elf_tls_type (abfd, h, symndx);
423 *new_tls_type |= tls_type;
424 if ((*new_tls_type & GOT_NORMAL) && (*new_tls_type & ~GOT_NORMAL))
426 (*_bfd_error_handler)
427 (_("%pB: `%s' accessed both as normal and thread local symbol"),
428 abfd, h ? h->root.root.string : "<local>");
435 riscv_elf_record_got_reference (bfd *abfd, struct bfd_link_info *info,
436 struct elf_link_hash_entry *h, long symndx)
438 struct riscv_elf_link_hash_table *htab = riscv_elf_hash_table (info);
439 Elf_Internal_Shdr *symtab_hdr = &elf_tdata (abfd)->symtab_hdr;
441 if (htab->elf.sgot == NULL)
443 if (!riscv_elf_create_got_section (htab->elf.dynobj, info))
449 h->got.refcount += 1;
453 /* This is a global offset table entry for a local symbol. */
454 if (elf_local_got_refcounts (abfd) == NULL)
456 bfd_size_type size = symtab_hdr->sh_info * (sizeof (bfd_vma) + 1);
457 if (!(elf_local_got_refcounts (abfd) = bfd_zalloc (abfd, size)))
459 _bfd_riscv_elf_local_got_tls_type (abfd)
460 = (char *) (elf_local_got_refcounts (abfd) + symtab_hdr->sh_info);
462 elf_local_got_refcounts (abfd) [symndx] += 1;
468 bad_static_reloc (bfd *abfd, unsigned r_type, struct elf_link_hash_entry *h)
470 (*_bfd_error_handler)
471 (_("%pB: relocation %s against `%s' can not be used when making a shared "
472 "object; recompile with -fPIC"),
473 abfd, riscv_elf_rtype_to_howto (r_type)->name,
474 h != NULL ? h->root.root.string : "a local symbol");
475 bfd_set_error (bfd_error_bad_value);
478 /* Look through the relocs for a section during the first phase, and
479 allocate space in the global offset table or procedure linkage
483 riscv_elf_check_relocs (bfd *abfd, struct bfd_link_info *info,
484 asection *sec, const Elf_Internal_Rela *relocs)
486 struct riscv_elf_link_hash_table *htab;
487 Elf_Internal_Shdr *symtab_hdr;
488 struct elf_link_hash_entry **sym_hashes;
489 const Elf_Internal_Rela *rel;
490 asection *sreloc = NULL;
492 if (bfd_link_relocatable (info))
495 htab = riscv_elf_hash_table (info);
496 symtab_hdr = &elf_tdata (abfd)->symtab_hdr;
497 sym_hashes = elf_sym_hashes (abfd);
499 if (htab->elf.dynobj == NULL)
500 htab->elf.dynobj = abfd;
502 for (rel = relocs; rel < relocs + sec->reloc_count; rel++)
505 unsigned int r_symndx;
506 struct elf_link_hash_entry *h;
508 r_symndx = ELFNN_R_SYM (rel->r_info);
509 r_type = ELFNN_R_TYPE (rel->r_info);
511 if (r_symndx >= NUM_SHDR_ENTRIES (symtab_hdr))
513 (*_bfd_error_handler) (_("%pB: bad symbol index: %d"),
518 if (r_symndx < symtab_hdr->sh_info)
522 h = sym_hashes[r_symndx - symtab_hdr->sh_info];
523 while (h->root.type == bfd_link_hash_indirect
524 || h->root.type == bfd_link_hash_warning)
525 h = (struct elf_link_hash_entry *) h->root.u.i.link;
530 case R_RISCV_TLS_GD_HI20:
531 if (!riscv_elf_record_got_reference (abfd, info, h, r_symndx)
532 || !riscv_elf_record_tls_type (abfd, h, r_symndx, GOT_TLS_GD))
536 case R_RISCV_TLS_GOT_HI20:
537 if (bfd_link_pic (info))
538 info->flags |= DF_STATIC_TLS;
539 if (!riscv_elf_record_got_reference (abfd, info, h, r_symndx)
540 || !riscv_elf_record_tls_type (abfd, h, r_symndx, GOT_TLS_IE))
544 case R_RISCV_GOT_HI20:
545 if (!riscv_elf_record_got_reference (abfd, info, h, r_symndx)
546 || !riscv_elf_record_tls_type (abfd, h, r_symndx, GOT_NORMAL))
550 case R_RISCV_CALL_PLT:
551 /* This symbol requires a procedure linkage table entry. We
552 actually build the entry in adjust_dynamic_symbol,
553 because this might be a case of linking PIC code without
554 linking in any dynamic objects, in which case we don't
555 need to generate a procedure linkage table after all. */
560 h->plt.refcount += 1;
567 case R_RISCV_RVC_BRANCH:
568 case R_RISCV_RVC_JUMP:
569 case R_RISCV_PCREL_HI20:
570 /* In shared libraries, these relocs are known to bind locally. */
571 if (bfd_link_pic (info))
575 case R_RISCV_TPREL_HI20:
576 if (!bfd_link_executable (info))
577 return bad_static_reloc (abfd, r_type, h);
579 riscv_elf_record_tls_type (abfd, h, r_symndx, GOT_TLS_LE);
583 if (bfd_link_pic (info))
584 return bad_static_reloc (abfd, r_type, h);
588 case R_RISCV_JUMP_SLOT:
589 case R_RISCV_RELATIVE:
595 /* This reloc might not bind locally. */
599 if (h != NULL && !bfd_link_pic (info))
601 /* We may need a .plt entry if the function this reloc
602 refers to is in a shared lib. */
603 h->plt.refcount += 1;
606 /* If we are creating a shared library, and this is a reloc
607 against a global symbol, or a non PC relative reloc
608 against a local symbol, then we need to copy the reloc
609 into the shared library. However, if we are linking with
610 -Bsymbolic, we do not need to copy a reloc against a
611 global symbol which is defined in an object we are
612 including in the link (i.e., DEF_REGULAR is set). At
613 this point we have not seen all the input files, so it is
614 possible that DEF_REGULAR is not set now but will be set
615 later (it is never cleared). In case of a weak definition,
616 DEF_REGULAR may be cleared later by a strong definition in
617 a shared library. We account for that possibility below by
618 storing information in the relocs_copied field of the hash
619 table entry. A similar situation occurs when creating
620 shared libraries and symbol visibility changes render the
623 If on the other hand, we are creating an executable, we
624 may need to keep relocations for symbols satisfied by a
625 dynamic library if we manage to avoid copy relocs for the
627 if ((bfd_link_pic (info)
628 && (sec->flags & SEC_ALLOC) != 0
629 && (! riscv_elf_rtype_to_howto (r_type)->pc_relative
632 || h->root.type == bfd_link_hash_defweak
633 || !h->def_regular))))
634 || (!bfd_link_pic (info)
635 && (sec->flags & SEC_ALLOC) != 0
637 && (h->root.type == bfd_link_hash_defweak
638 || !h->def_regular)))
640 struct elf_dyn_relocs *p;
641 struct elf_dyn_relocs **head;
643 /* When creating a shared object, we must copy these
644 relocs into the output file. We create a reloc
645 section in dynobj and make room for the reloc. */
648 sreloc = _bfd_elf_make_dynamic_reloc_section
649 (sec, htab->elf.dynobj, RISCV_ELF_LOG_WORD_BYTES,
650 abfd, /*rela?*/ TRUE);
656 /* If this is a global symbol, we count the number of
657 relocations we need for this symbol. */
659 head = &((struct riscv_elf_link_hash_entry *) h)->dyn_relocs;
662 /* Track dynamic relocs needed for local syms too.
663 We really need local syms available to do this
668 Elf_Internal_Sym *isym;
670 isym = bfd_sym_from_r_symndx (&htab->sym_cache,
675 s = bfd_section_from_elf_index (abfd, isym->st_shndx);
679 vpp = &elf_section_data (s)->local_dynrel;
680 head = (struct elf_dyn_relocs **) vpp;
684 if (p == NULL || p->sec != sec)
686 bfd_size_type amt = sizeof *p;
687 p = ((struct elf_dyn_relocs *)
688 bfd_alloc (htab->elf.dynobj, amt));
699 p->pc_count += riscv_elf_rtype_to_howto (r_type)->pc_relative;
704 case R_RISCV_GNU_VTINHERIT:
705 if (!bfd_elf_gc_record_vtinherit (abfd, sec, h, rel->r_offset))
709 case R_RISCV_GNU_VTENTRY:
710 if (!bfd_elf_gc_record_vtentry (abfd, sec, h, rel->r_addend))
723 riscv_elf_gc_mark_hook (asection *sec,
724 struct bfd_link_info *info,
725 Elf_Internal_Rela *rel,
726 struct elf_link_hash_entry *h,
727 Elf_Internal_Sym *sym)
730 switch (ELFNN_R_TYPE (rel->r_info))
732 case R_RISCV_GNU_VTINHERIT:
733 case R_RISCV_GNU_VTENTRY:
737 return _bfd_elf_gc_mark_hook (sec, info, rel, h, sym);
740 /* Find dynamic relocs for H that apply to read-only sections. */
743 readonly_dynrelocs (struct elf_link_hash_entry *h)
745 struct elf_dyn_relocs *p;
747 for (p = riscv_elf_hash_entry (h)->dyn_relocs; p != NULL; p = p->next)
749 asection *s = p->sec->output_section;
751 if (s != NULL && (s->flags & SEC_READONLY) != 0)
757 /* Adjust a symbol defined by a dynamic object and referenced by a
758 regular object. The current definition is in some section of the
759 dynamic object, but we're not including those sections. We have to
760 change the definition to something the rest of the link can
764 riscv_elf_adjust_dynamic_symbol (struct bfd_link_info *info,
765 struct elf_link_hash_entry *h)
767 struct riscv_elf_link_hash_table *htab;
768 struct riscv_elf_link_hash_entry * eh;
772 htab = riscv_elf_hash_table (info);
773 BFD_ASSERT (htab != NULL);
775 dynobj = htab->elf.dynobj;
777 /* Make sure we know what is going on here. */
778 BFD_ASSERT (dynobj != NULL
780 || h->type == STT_GNU_IFUNC
784 && !h->def_regular)));
786 /* If this is a function, put it in the procedure linkage table. We
787 will fill in the contents of the procedure linkage table later
788 (although we could actually do it here). */
789 if (h->type == STT_FUNC || h->type == STT_GNU_IFUNC || h->needs_plt)
791 if (h->plt.refcount <= 0
792 || SYMBOL_CALLS_LOCAL (info, h)
793 || (ELF_ST_VISIBILITY (h->other) != STV_DEFAULT
794 && h->root.type == bfd_link_hash_undefweak))
796 /* This case can occur if we saw a R_RISCV_CALL_PLT reloc in an
797 input file, but the symbol was never referred to by a dynamic
798 object, or if all references were garbage collected. In such
799 a case, we don't actually need to build a PLT entry. */
800 h->plt.offset = (bfd_vma) -1;
807 h->plt.offset = (bfd_vma) -1;
809 /* If this is a weak symbol, and there is a real definition, the
810 processor independent code will have arranged for us to see the
811 real definition first, and we can just use the same value. */
814 struct elf_link_hash_entry *def = weakdef (h);
815 BFD_ASSERT (def->root.type == bfd_link_hash_defined);
816 h->root.u.def.section = def->root.u.def.section;
817 h->root.u.def.value = def->root.u.def.value;
821 /* This is a reference to a symbol defined by a dynamic object which
822 is not a function. */
824 /* If we are creating a shared library, we must presume that the
825 only references to the symbol are via the global offset table.
826 For such cases we need not do anything here; the relocations will
827 be handled correctly by relocate_section. */
828 if (bfd_link_pic (info))
831 /* If there are no references to this symbol that do not use the
832 GOT, we don't need to generate a copy reloc. */
836 /* If -z nocopyreloc was given, we won't generate them either. */
837 if (info->nocopyreloc)
843 /* If we don't find any dynamic relocs in read-only sections, then
844 we'll be keeping the dynamic relocs and avoiding the copy reloc. */
845 if (!readonly_dynrelocs (h))
851 /* We must allocate the symbol in our .dynbss section, which will
852 become part of the .bss section of the executable. There will be
853 an entry for this symbol in the .dynsym section. The dynamic
854 object will contain position independent code, so all references
855 from the dynamic object to this symbol will go through the global
856 offset table. The dynamic linker will use the .dynsym entry to
857 determine the address it must put in the global offset table, so
858 both the dynamic object and the regular object will refer to the
859 same memory location for the variable. */
861 /* We must generate a R_RISCV_COPY reloc to tell the dynamic linker
862 to copy the initial value out of the dynamic object and into the
863 runtime process image. We need to remember the offset into the
864 .rel.bss section we are going to use. */
865 eh = (struct riscv_elf_link_hash_entry *) h;
866 if (eh->tls_type & ~GOT_NORMAL)
869 srel = htab->elf.srelbss;
871 else if ((h->root.u.def.section->flags & SEC_READONLY) != 0)
873 s = htab->elf.sdynrelro;
874 srel = htab->elf.sreldynrelro;
878 s = htab->elf.sdynbss;
879 srel = htab->elf.srelbss;
881 if ((h->root.u.def.section->flags & SEC_ALLOC) != 0 && h->size != 0)
883 srel->size += sizeof (ElfNN_External_Rela);
887 return _bfd_elf_adjust_dynamic_copy (info, h, s);
890 /* Allocate space in .plt, .got and associated reloc sections for
894 allocate_dynrelocs (struct elf_link_hash_entry *h, void *inf)
896 struct bfd_link_info *info;
897 struct riscv_elf_link_hash_table *htab;
898 struct riscv_elf_link_hash_entry *eh;
899 struct elf_dyn_relocs *p;
901 if (h->root.type == bfd_link_hash_indirect)
904 info = (struct bfd_link_info *) inf;
905 htab = riscv_elf_hash_table (info);
906 BFD_ASSERT (htab != NULL);
908 if (htab->elf.dynamic_sections_created
909 && h->plt.refcount > 0)
911 /* Make sure this symbol is output as a dynamic symbol.
912 Undefined weak syms won't yet be marked as dynamic. */
916 if (! bfd_elf_link_record_dynamic_symbol (info, h))
920 if (WILL_CALL_FINISH_DYNAMIC_SYMBOL (1, bfd_link_pic (info), h))
922 asection *s = htab->elf.splt;
925 s->size = PLT_HEADER_SIZE;
927 h->plt.offset = s->size;
929 /* Make room for this entry. */
930 s->size += PLT_ENTRY_SIZE;
932 /* We also need to make an entry in the .got.plt section. */
933 htab->elf.sgotplt->size += GOT_ENTRY_SIZE;
935 /* We also need to make an entry in the .rela.plt section. */
936 htab->elf.srelplt->size += sizeof (ElfNN_External_Rela);
938 /* If this symbol is not defined in a regular file, and we are
939 not generating a shared library, then set the symbol to this
940 location in the .plt. This is required to make function
941 pointers compare as equal between the normal executable and
942 the shared library. */
943 if (! bfd_link_pic (info)
946 h->root.u.def.section = s;
947 h->root.u.def.value = h->plt.offset;
952 h->plt.offset = (bfd_vma) -1;
958 h->plt.offset = (bfd_vma) -1;
962 if (h->got.refcount > 0)
966 int tls_type = riscv_elf_hash_entry (h)->tls_type;
968 /* Make sure this symbol is output as a dynamic symbol.
969 Undefined weak syms won't yet be marked as dynamic. */
973 if (! bfd_elf_link_record_dynamic_symbol (info, h))
978 h->got.offset = s->size;
979 dyn = htab->elf.dynamic_sections_created;
980 if (tls_type & (GOT_TLS_GD | GOT_TLS_IE))
982 /* TLS_GD needs two dynamic relocs and two GOT slots. */
983 if (tls_type & GOT_TLS_GD)
985 s->size += 2 * RISCV_ELF_WORD_BYTES;
986 htab->elf.srelgot->size += 2 * sizeof (ElfNN_External_Rela);
989 /* TLS_IE needs one dynamic reloc and one GOT slot. */
990 if (tls_type & GOT_TLS_IE)
992 s->size += RISCV_ELF_WORD_BYTES;
993 htab->elf.srelgot->size += sizeof (ElfNN_External_Rela);
998 s->size += RISCV_ELF_WORD_BYTES;
999 if (WILL_CALL_FINISH_DYNAMIC_SYMBOL (dyn, bfd_link_pic (info), h))
1000 htab->elf.srelgot->size += sizeof (ElfNN_External_Rela);
1004 h->got.offset = (bfd_vma) -1;
1006 eh = (struct riscv_elf_link_hash_entry *) h;
1007 if (eh->dyn_relocs == NULL)
1010 /* In the shared -Bsymbolic case, discard space allocated for
1011 dynamic pc-relative relocs against symbols which turn out to be
1012 defined in regular objects. For the normal shared case, discard
1013 space for pc-relative relocs that have become local due to symbol
1014 visibility changes. */
1016 if (bfd_link_pic (info))
1018 if (SYMBOL_CALLS_LOCAL (info, h))
1020 struct elf_dyn_relocs **pp;
1022 for (pp = &eh->dyn_relocs; (p = *pp) != NULL; )
1024 p->count -= p->pc_count;
1033 /* Also discard relocs on undefined weak syms with non-default
1035 if (eh->dyn_relocs != NULL
1036 && h->root.type == bfd_link_hash_undefweak)
1038 if (ELF_ST_VISIBILITY (h->other) != STV_DEFAULT)
1039 eh->dyn_relocs = NULL;
1041 /* Make sure undefined weak symbols are output as a dynamic
1043 else if (h->dynindx == -1
1044 && !h->forced_local)
1046 if (! bfd_elf_link_record_dynamic_symbol (info, h))
1053 /* For the non-shared case, discard space for relocs against
1054 symbols which turn out to need copy relocs or are not
1060 || (htab->elf.dynamic_sections_created
1061 && (h->root.type == bfd_link_hash_undefweak
1062 || h->root.type == bfd_link_hash_undefined))))
1064 /* Make sure this symbol is output as a dynamic symbol.
1065 Undefined weak syms won't yet be marked as dynamic. */
1066 if (h->dynindx == -1
1067 && !h->forced_local)
1069 if (! bfd_elf_link_record_dynamic_symbol (info, h))
1073 /* If that succeeded, we know we'll be keeping all the
1075 if (h->dynindx != -1)
1079 eh->dyn_relocs = NULL;
1084 /* Finally, allocate space. */
1085 for (p = eh->dyn_relocs; p != NULL; p = p->next)
1087 asection *sreloc = elf_section_data (p->sec)->sreloc;
1088 sreloc->size += p->count * sizeof (ElfNN_External_Rela);
1094 /* Set DF_TEXTREL if we find any dynamic relocs that apply to
1095 read-only sections. */
1098 maybe_set_textrel (struct elf_link_hash_entry *h, void *info_p)
1102 if (h->root.type == bfd_link_hash_indirect)
1105 sec = readonly_dynrelocs (h);
1108 struct bfd_link_info *info = (struct bfd_link_info *) info_p;
1110 info->flags |= DF_TEXTREL;
1111 info->callbacks->minfo
1112 (_("%pB: dynamic relocation against `%pT' in read-only section `%pA'\n"),
1113 sec->owner, h->root.root.string, sec);
1115 /* Not an error, just cut short the traversal. */
1122 riscv_elf_size_dynamic_sections (bfd *output_bfd, struct bfd_link_info *info)
1124 struct riscv_elf_link_hash_table *htab;
1129 htab = riscv_elf_hash_table (info);
1130 BFD_ASSERT (htab != NULL);
1131 dynobj = htab->elf.dynobj;
1132 BFD_ASSERT (dynobj != NULL);
1134 if (elf_hash_table (info)->dynamic_sections_created)
1136 /* Set the contents of the .interp section to the interpreter. */
1137 if (bfd_link_executable (info) && !info->nointerp)
1139 s = bfd_get_linker_section (dynobj, ".interp");
1140 BFD_ASSERT (s != NULL);
1141 s->size = strlen (ELFNN_DYNAMIC_INTERPRETER) + 1;
1142 s->contents = (unsigned char *) ELFNN_DYNAMIC_INTERPRETER;
1146 /* Set up .got offsets for local syms, and space for local dynamic
1148 for (ibfd = info->input_bfds; ibfd != NULL; ibfd = ibfd->link.next)
1150 bfd_signed_vma *local_got;
1151 bfd_signed_vma *end_local_got;
1152 char *local_tls_type;
1153 bfd_size_type locsymcount;
1154 Elf_Internal_Shdr *symtab_hdr;
1157 if (! is_riscv_elf (ibfd))
1160 for (s = ibfd->sections; s != NULL; s = s->next)
1162 struct elf_dyn_relocs *p;
1164 for (p = elf_section_data (s)->local_dynrel; p != NULL; p = p->next)
1166 if (!bfd_is_abs_section (p->sec)
1167 && bfd_is_abs_section (p->sec->output_section))
1169 /* Input section has been discarded, either because
1170 it is a copy of a linkonce section or due to
1171 linker script /DISCARD/, so we'll be discarding
1174 else if (p->count != 0)
1176 srel = elf_section_data (p->sec)->sreloc;
1177 srel->size += p->count * sizeof (ElfNN_External_Rela);
1178 if ((p->sec->output_section->flags & SEC_READONLY) != 0)
1179 info->flags |= DF_TEXTREL;
1184 local_got = elf_local_got_refcounts (ibfd);
1188 symtab_hdr = &elf_symtab_hdr (ibfd);
1189 locsymcount = symtab_hdr->sh_info;
1190 end_local_got = local_got + locsymcount;
1191 local_tls_type = _bfd_riscv_elf_local_got_tls_type (ibfd);
1193 srel = htab->elf.srelgot;
1194 for (; local_got < end_local_got; ++local_got, ++local_tls_type)
1198 *local_got = s->size;
1199 s->size += RISCV_ELF_WORD_BYTES;
1200 if (*local_tls_type & GOT_TLS_GD)
1201 s->size += RISCV_ELF_WORD_BYTES;
1202 if (bfd_link_pic (info)
1203 || (*local_tls_type & (GOT_TLS_GD | GOT_TLS_IE)))
1204 srel->size += sizeof (ElfNN_External_Rela);
1207 *local_got = (bfd_vma) -1;
1211 /* Allocate global sym .plt and .got entries, and space for global
1212 sym dynamic relocs. */
1213 elf_link_hash_traverse (&htab->elf, allocate_dynrelocs, info);
1215 if (htab->elf.sgotplt)
1217 struct elf_link_hash_entry *got;
1218 got = elf_link_hash_lookup (elf_hash_table (info),
1219 "_GLOBAL_OFFSET_TABLE_",
1220 FALSE, FALSE, FALSE);
1222 /* Don't allocate .got.plt section if there are no GOT nor PLT
1223 entries and there is no refeence to _GLOBAL_OFFSET_TABLE_. */
1225 || !got->ref_regular_nonweak)
1226 && (htab->elf.sgotplt->size == GOTPLT_HEADER_SIZE)
1227 && (htab->elf.splt == NULL
1228 || htab->elf.splt->size == 0)
1229 && (htab->elf.sgot == NULL
1230 || (htab->elf.sgot->size
1231 == get_elf_backend_data (output_bfd)->got_header_size)))
1232 htab->elf.sgotplt->size = 0;
1235 /* The check_relocs and adjust_dynamic_symbol entry points have
1236 determined the sizes of the various dynamic sections. Allocate
1238 for (s = dynobj->sections; s != NULL; s = s->next)
1240 if ((s->flags & SEC_LINKER_CREATED) == 0)
1243 if (s == htab->elf.splt
1244 || s == htab->elf.sgot
1245 || s == htab->elf.sgotplt
1246 || s == htab->elf.sdynbss
1247 || s == htab->elf.sdynrelro)
1249 /* Strip this section if we don't need it; see the
1252 else if (strncmp (s->name, ".rela", 5) == 0)
1256 /* We use the reloc_count field as a counter if we need
1257 to copy relocs into the output file. */
1263 /* It's not one of our sections. */
1269 /* If we don't need this section, strip it from the
1270 output file. This is mostly to handle .rela.bss and
1271 .rela.plt. We must create both sections in
1272 create_dynamic_sections, because they must be created
1273 before the linker maps input sections to output
1274 sections. The linker does that before
1275 adjust_dynamic_symbol is called, and it is that
1276 function which decides whether anything needs to go
1277 into these sections. */
1278 s->flags |= SEC_EXCLUDE;
1282 if ((s->flags & SEC_HAS_CONTENTS) == 0)
1285 /* Allocate memory for the section contents. Zero the memory
1286 for the benefit of .rela.plt, which has 4 unused entries
1287 at the beginning, and we don't want garbage. */
1288 s->contents = (bfd_byte *) bfd_zalloc (dynobj, s->size);
1289 if (s->contents == NULL)
1293 if (elf_hash_table (info)->dynamic_sections_created)
1295 /* Add some entries to the .dynamic section. We fill in the
1296 values later, in riscv_elf_finish_dynamic_sections, but we
1297 must add the entries now so that we get the correct size for
1298 the .dynamic section. The DT_DEBUG entry is filled in by the
1299 dynamic linker and used by the debugger. */
1300 #define add_dynamic_entry(TAG, VAL) \
1301 _bfd_elf_add_dynamic_entry (info, TAG, VAL)
1303 if (bfd_link_executable (info))
1305 if (!add_dynamic_entry (DT_DEBUG, 0))
1309 if (htab->elf.srelplt->size != 0)
1311 if (!add_dynamic_entry (DT_PLTGOT, 0)
1312 || !add_dynamic_entry (DT_PLTRELSZ, 0)
1313 || !add_dynamic_entry (DT_PLTREL, DT_RELA)
1314 || !add_dynamic_entry (DT_JMPREL, 0))
1318 if (!add_dynamic_entry (DT_RELA, 0)
1319 || !add_dynamic_entry (DT_RELASZ, 0)
1320 || !add_dynamic_entry (DT_RELAENT, sizeof (ElfNN_External_Rela)))
1323 /* If any dynamic relocs apply to a read-only section,
1324 then we need a DT_TEXTREL entry. */
1325 if ((info->flags & DF_TEXTREL) == 0)
1326 elf_link_hash_traverse (&htab->elf, maybe_set_textrel, info);
1328 if (info->flags & DF_TEXTREL)
1330 if (!add_dynamic_entry (DT_TEXTREL, 0))
1334 #undef add_dynamic_entry
1340 #define DTP_OFFSET 0x800
1342 /* Return the relocation value for a TLS dtp-relative reloc. */
1345 dtpoff (struct bfd_link_info *info, bfd_vma address)
1347 /* If tls_sec is NULL, we should have signalled an error already. */
1348 if (elf_hash_table (info)->tls_sec == NULL)
1350 return address - elf_hash_table (info)->tls_sec->vma - DTP_OFFSET;
1353 /* Return the relocation value for a static TLS tp-relative relocation. */
1356 tpoff (struct bfd_link_info *info, bfd_vma address)
1358 /* If tls_sec is NULL, we should have signalled an error already. */
1359 if (elf_hash_table (info)->tls_sec == NULL)
1361 return address - elf_hash_table (info)->tls_sec->vma - TP_OFFSET;
1364 /* Return the global pointer's value, or 0 if it is not in use. */
1367 riscv_global_pointer_value (struct bfd_link_info *info)
1369 struct bfd_link_hash_entry *h;
1371 h = bfd_link_hash_lookup (info->hash, RISCV_GP_SYMBOL, FALSE, FALSE, TRUE);
1372 if (h == NULL || h->type != bfd_link_hash_defined)
1375 return h->u.def.value + sec_addr (h->u.def.section);
1378 /* Emplace a static relocation. */
1380 static bfd_reloc_status_type
1381 perform_relocation (const reloc_howto_type *howto,
1382 const Elf_Internal_Rela *rel,
1384 asection *input_section,
1388 if (howto->pc_relative)
1389 value -= sec_addr (input_section) + rel->r_offset;
1390 value += rel->r_addend;
1392 switch (ELFNN_R_TYPE (rel->r_info))
1395 case R_RISCV_TPREL_HI20:
1396 case R_RISCV_PCREL_HI20:
1397 case R_RISCV_GOT_HI20:
1398 case R_RISCV_TLS_GOT_HI20:
1399 case R_RISCV_TLS_GD_HI20:
1400 if (ARCH_SIZE > 32 && !VALID_UTYPE_IMM (RISCV_CONST_HIGH_PART (value)))
1401 return bfd_reloc_overflow;
1402 value = ENCODE_UTYPE_IMM (RISCV_CONST_HIGH_PART (value));
1405 case R_RISCV_LO12_I:
1406 case R_RISCV_GPREL_I:
1407 case R_RISCV_TPREL_LO12_I:
1408 case R_RISCV_TPREL_I:
1409 case R_RISCV_PCREL_LO12_I:
1410 value = ENCODE_ITYPE_IMM (value);
1413 case R_RISCV_LO12_S:
1414 case R_RISCV_GPREL_S:
1415 case R_RISCV_TPREL_LO12_S:
1416 case R_RISCV_TPREL_S:
1417 case R_RISCV_PCREL_LO12_S:
1418 value = ENCODE_STYPE_IMM (value);
1422 case R_RISCV_CALL_PLT:
1423 if (ARCH_SIZE > 32 && !VALID_UTYPE_IMM (RISCV_CONST_HIGH_PART (value)))
1424 return bfd_reloc_overflow;
1425 value = ENCODE_UTYPE_IMM (RISCV_CONST_HIGH_PART (value))
1426 | (ENCODE_ITYPE_IMM (value) << 32);
1430 if (!VALID_UJTYPE_IMM (value))
1431 return bfd_reloc_overflow;
1432 value = ENCODE_UJTYPE_IMM (value);
1435 case R_RISCV_BRANCH:
1436 if (!VALID_SBTYPE_IMM (value))
1437 return bfd_reloc_overflow;
1438 value = ENCODE_SBTYPE_IMM (value);
1441 case R_RISCV_RVC_BRANCH:
1442 if (!VALID_RVC_B_IMM (value))
1443 return bfd_reloc_overflow;
1444 value = ENCODE_RVC_B_IMM (value);
1447 case R_RISCV_RVC_JUMP:
1448 if (!VALID_RVC_J_IMM (value))
1449 return bfd_reloc_overflow;
1450 value = ENCODE_RVC_J_IMM (value);
1453 case R_RISCV_RVC_LUI:
1454 if (!VALID_RVC_LUI_IMM (RISCV_CONST_HIGH_PART (value)))
1455 return bfd_reloc_overflow;
1456 value = ENCODE_RVC_LUI_IMM (RISCV_CONST_HIGH_PART (value));
1474 case R_RISCV_32_PCREL:
1475 case R_RISCV_TLS_DTPREL32:
1476 case R_RISCV_TLS_DTPREL64:
1479 case R_RISCV_DELETE:
1480 return bfd_reloc_ok;
1483 return bfd_reloc_notsupported;
1486 bfd_vma word = bfd_get (howto->bitsize, input_bfd, contents + rel->r_offset);
1487 word = (word & ~howto->dst_mask) | (value & howto->dst_mask);
1488 bfd_put (howto->bitsize, input_bfd, word, contents + rel->r_offset);
1490 return bfd_reloc_ok;
1493 /* Remember all PC-relative high-part relocs we've encountered to help us
1494 later resolve the corresponding low-part relocs. */
1500 } riscv_pcrel_hi_reloc;
1502 typedef struct riscv_pcrel_lo_reloc
1504 asection * input_section;
1505 struct bfd_link_info * info;
1506 reloc_howto_type * howto;
1507 const Elf_Internal_Rela * reloc;
1510 bfd_byte * contents;
1511 struct riscv_pcrel_lo_reloc * next;
1512 } riscv_pcrel_lo_reloc;
1517 riscv_pcrel_lo_reloc *lo_relocs;
1518 } riscv_pcrel_relocs;
1521 riscv_pcrel_reloc_hash (const void *entry)
1523 const riscv_pcrel_hi_reloc *e = entry;
1524 return (hashval_t)(e->address >> 2);
1528 riscv_pcrel_reloc_eq (const void *entry1, const void *entry2)
1530 const riscv_pcrel_hi_reloc *e1 = entry1, *e2 = entry2;
1531 return e1->address == e2->address;
1535 riscv_init_pcrel_relocs (riscv_pcrel_relocs *p)
1538 p->lo_relocs = NULL;
1539 p->hi_relocs = htab_create (1024, riscv_pcrel_reloc_hash,
1540 riscv_pcrel_reloc_eq, free);
1541 return p->hi_relocs != NULL;
1545 riscv_free_pcrel_relocs (riscv_pcrel_relocs *p)
1547 riscv_pcrel_lo_reloc *cur = p->lo_relocs;
1551 riscv_pcrel_lo_reloc *next = cur->next;
1556 htab_delete (p->hi_relocs);
1560 riscv_zero_pcrel_hi_reloc (Elf_Internal_Rela *rel,
1561 struct bfd_link_info *info,
1565 const reloc_howto_type *howto,
1568 /* We may need to reference low addreses in PC-relative modes even when the
1569 * PC is far away from these addresses. For example, undefweak references
1570 * need to produce the address 0 when linked. As 0 is far from the arbitrary
1571 * addresses that we can link PC-relative programs at, the linker can't
1572 * actually relocate references to those symbols. In order to allow these
1573 * programs to work we simply convert the PC-relative auipc sequences to
1574 * 0-relative lui sequences. */
1575 if (bfd_link_pic (info))
1578 /* If it's possible to reference the symbol using auipc we do so, as that's
1579 * more in the spirit of the PC-relative relocations we're processing. */
1580 bfd_vma offset = addr - pc;
1581 if (ARCH_SIZE == 32 || VALID_UTYPE_IMM (RISCV_CONST_HIGH_PART (offset)))
1584 /* If it's impossible to reference this with a LUI-based offset then don't
1585 * bother to convert it at all so users still see the PC-relative relocation
1586 * in the truncation message. */
1587 if (ARCH_SIZE > 32 && !VALID_UTYPE_IMM (RISCV_CONST_HIGH_PART (addr)))
1590 rel->r_info = ELFNN_R_INFO(addr, R_RISCV_HI20);
1592 bfd_vma insn = bfd_get(howto->bitsize, input_bfd, contents + rel->r_offset);
1593 insn = (insn & ~MASK_AUIPC) | MATCH_LUI;
1594 bfd_put(howto->bitsize, input_bfd, insn, contents + rel->r_offset);
1599 riscv_record_pcrel_hi_reloc (riscv_pcrel_relocs *p, bfd_vma addr,
1600 bfd_vma value, bfd_boolean absolute)
1602 bfd_vma offset = absolute ? value : value - addr;
1603 riscv_pcrel_hi_reloc entry = {addr, offset};
1604 riscv_pcrel_hi_reloc **slot =
1605 (riscv_pcrel_hi_reloc **) htab_find_slot (p->hi_relocs, &entry, INSERT);
1607 BFD_ASSERT (*slot == NULL);
1608 *slot = (riscv_pcrel_hi_reloc *) bfd_malloc (sizeof (riscv_pcrel_hi_reloc));
1616 riscv_record_pcrel_lo_reloc (riscv_pcrel_relocs *p,
1617 asection *input_section,
1618 struct bfd_link_info *info,
1619 reloc_howto_type *howto,
1620 const Elf_Internal_Rela *reloc,
1625 riscv_pcrel_lo_reloc *entry;
1626 entry = (riscv_pcrel_lo_reloc *) bfd_malloc (sizeof (riscv_pcrel_lo_reloc));
1629 *entry = (riscv_pcrel_lo_reloc) {input_section, info, howto, reloc, addr,
1630 name, contents, p->lo_relocs};
1631 p->lo_relocs = entry;
1636 riscv_resolve_pcrel_lo_relocs (riscv_pcrel_relocs *p)
1638 riscv_pcrel_lo_reloc *r;
1640 for (r = p->lo_relocs; r != NULL; r = r->next)
1642 bfd *input_bfd = r->input_section->owner;
1644 riscv_pcrel_hi_reloc search = {r->addr, 0};
1645 riscv_pcrel_hi_reloc *entry = htab_find (p->hi_relocs, &search);
1648 ((*r->info->callbacks->reloc_overflow)
1649 (r->info, NULL, r->name, r->howto->name, (bfd_vma) 0,
1650 input_bfd, r->input_section, r->reloc->r_offset));
1654 perform_relocation (r->howto, r->reloc, entry->value, r->input_section,
1655 input_bfd, r->contents);
1661 /* Relocate a RISC-V ELF section.
1663 The RELOCATE_SECTION function is called by the new ELF backend linker
1664 to handle the relocations for a section.
1666 The relocs are always passed as Rela structures.
1668 This function is responsible for adjusting the section contents as
1669 necessary, and (if generating a relocatable output file) adjusting
1670 the reloc addend as necessary.
1672 This function does not have to worry about setting the reloc
1673 address or the reloc symbol index.
1675 LOCAL_SYMS is a pointer to the swapped in local symbols.
1677 LOCAL_SECTIONS is an array giving the section in the input file
1678 corresponding to the st_shndx field of each local symbol.
1680 The global hash table entry for the global symbols can be found
1681 via elf_sym_hashes (input_bfd).
1683 When generating relocatable output, this function must handle
1684 STB_LOCAL/STT_SECTION symbols specially. The output symbol is
1685 going to be the section symbol corresponding to the output
1686 section, which means that the addend must be adjusted
1690 riscv_elf_relocate_section (bfd *output_bfd,
1691 struct bfd_link_info *info,
1693 asection *input_section,
1695 Elf_Internal_Rela *relocs,
1696 Elf_Internal_Sym *local_syms,
1697 asection **local_sections)
1699 Elf_Internal_Rela *rel;
1700 Elf_Internal_Rela *relend;
1701 riscv_pcrel_relocs pcrel_relocs;
1702 bfd_boolean ret = FALSE;
1703 asection *sreloc = elf_section_data (input_section)->sreloc;
1704 struct riscv_elf_link_hash_table *htab = riscv_elf_hash_table (info);
1705 Elf_Internal_Shdr *symtab_hdr = &elf_symtab_hdr (input_bfd);
1706 struct elf_link_hash_entry **sym_hashes = elf_sym_hashes (input_bfd);
1707 bfd_vma *local_got_offsets = elf_local_got_offsets (input_bfd);
1708 bfd_boolean absolute;
1710 if (!riscv_init_pcrel_relocs (&pcrel_relocs))
1713 relend = relocs + input_section->reloc_count;
1714 for (rel = relocs; rel < relend; rel++)
1716 unsigned long r_symndx;
1717 struct elf_link_hash_entry *h;
1718 Elf_Internal_Sym *sym;
1721 bfd_reloc_status_type r = bfd_reloc_ok;
1723 bfd_vma off, ie_off;
1724 bfd_boolean unresolved_reloc, is_ie = FALSE;
1725 bfd_vma pc = sec_addr (input_section) + rel->r_offset;
1726 int r_type = ELFNN_R_TYPE (rel->r_info), tls_type;
1727 reloc_howto_type *howto = riscv_elf_rtype_to_howto (r_type);
1728 const char *msg = NULL;
1730 if (r_type == R_RISCV_GNU_VTINHERIT || r_type == R_RISCV_GNU_VTENTRY)
1733 /* This is a final link. */
1734 r_symndx = ELFNN_R_SYM (rel->r_info);
1738 unresolved_reloc = FALSE;
1739 if (r_symndx < symtab_hdr->sh_info)
1741 sym = local_syms + r_symndx;
1742 sec = local_sections[r_symndx];
1743 relocation = _bfd_elf_rela_local_sym (output_bfd, sym, &sec, rel);
1747 bfd_boolean warned, ignored;
1749 RELOC_FOR_GLOBAL_SYMBOL (info, input_bfd, input_section, rel,
1750 r_symndx, symtab_hdr, sym_hashes,
1752 unresolved_reloc, warned, ignored);
1755 /* To avoid generating warning messages about truncated
1756 relocations, set the relocation's address to be the same as
1757 the start of this section. */
1758 if (input_section->output_section != NULL)
1759 relocation = input_section->output_section->vma;
1765 if (sec != NULL && discarded_section (sec))
1766 RELOC_AGAINST_DISCARDED_SECTION (info, input_bfd, input_section,
1767 rel, 1, relend, howto, 0, contents);
1769 if (bfd_link_relocatable (info))
1773 name = h->root.root.string;
1776 name = (bfd_elf_string_from_elf_section
1777 (input_bfd, symtab_hdr->sh_link, sym->st_name));
1778 if (name == NULL || *name == '\0')
1779 name = bfd_section_name (input_bfd, sec);
1786 case R_RISCV_TPREL_ADD:
1788 case R_RISCV_JUMP_SLOT:
1789 case R_RISCV_RELATIVE:
1790 /* These require nothing of us at all. */
1794 case R_RISCV_BRANCH:
1795 case R_RISCV_RVC_BRANCH:
1796 case R_RISCV_RVC_LUI:
1797 case R_RISCV_LO12_I:
1798 case R_RISCV_LO12_S:
1803 case R_RISCV_32_PCREL:
1804 case R_RISCV_DELETE:
1805 /* These require no special handling beyond perform_relocation. */
1808 case R_RISCV_GOT_HI20:
1811 bfd_boolean dyn, pic;
1813 off = h->got.offset;
1814 BFD_ASSERT (off != (bfd_vma) -1);
1815 dyn = elf_hash_table (info)->dynamic_sections_created;
1816 pic = bfd_link_pic (info);
1818 if (! WILL_CALL_FINISH_DYNAMIC_SYMBOL (dyn, pic, h)
1819 || (pic && SYMBOL_REFERENCES_LOCAL (info, h)))
1821 /* This is actually a static link, or it is a
1822 -Bsymbolic link and the symbol is defined
1823 locally, or the symbol was forced to be local
1824 because of a version file. We must initialize
1825 this entry in the global offset table. Since the
1826 offset must always be a multiple of the word size,
1827 we use the least significant bit to record whether
1828 we have initialized it already.
1830 When doing a dynamic link, we create a .rela.got
1831 relocation entry to initialize the value. This
1832 is done in the finish_dynamic_symbol routine. */
1837 bfd_put_NN (output_bfd, relocation,
1838 htab->elf.sgot->contents + off);
1843 unresolved_reloc = FALSE;
1847 BFD_ASSERT (local_got_offsets != NULL
1848 && local_got_offsets[r_symndx] != (bfd_vma) -1);
1850 off = local_got_offsets[r_symndx];
1852 /* The offset must always be a multiple of the word size.
1853 So, we can use the least significant bit to record
1854 whether we have already processed this entry. */
1859 if (bfd_link_pic (info))
1862 Elf_Internal_Rela outrel;
1864 /* We need to generate a R_RISCV_RELATIVE reloc
1865 for the dynamic linker. */
1866 s = htab->elf.srelgot;
1867 BFD_ASSERT (s != NULL);
1869 outrel.r_offset = sec_addr (htab->elf.sgot) + off;
1871 ELFNN_R_INFO (0, R_RISCV_RELATIVE);
1872 outrel.r_addend = relocation;
1874 riscv_elf_append_rela (output_bfd, s, &outrel);
1877 bfd_put_NN (output_bfd, relocation,
1878 htab->elf.sgot->contents + off);
1879 local_got_offsets[r_symndx] |= 1;
1882 relocation = sec_addr (htab->elf.sgot) + off;
1883 absolute = riscv_zero_pcrel_hi_reloc (rel,
1890 r_type = ELFNN_R_TYPE (rel->r_info);
1891 howto = riscv_elf_rtype_to_howto (r_type);
1892 if (!riscv_record_pcrel_hi_reloc (&pcrel_relocs, pc,
1893 relocation, absolute))
1894 r = bfd_reloc_overflow;
1902 bfd_vma old_value = bfd_get (howto->bitsize, input_bfd,
1903 contents + rel->r_offset);
1904 relocation = old_value + relocation;
1914 bfd_vma old_value = bfd_get (howto->bitsize, input_bfd,
1915 contents + rel->r_offset);
1916 relocation = old_value - relocation;
1920 case R_RISCV_CALL_PLT:
1923 case R_RISCV_RVC_JUMP:
1924 if (bfd_link_pic (info) && h != NULL && h->plt.offset != MINUS_ONE)
1926 /* Refer to the PLT entry. */
1927 relocation = sec_addr (htab->elf.splt) + h->plt.offset;
1928 unresolved_reloc = FALSE;
1932 case R_RISCV_TPREL_HI20:
1933 relocation = tpoff (info, relocation);
1936 case R_RISCV_TPREL_LO12_I:
1937 case R_RISCV_TPREL_LO12_S:
1938 relocation = tpoff (info, relocation);
1941 case R_RISCV_TPREL_I:
1942 case R_RISCV_TPREL_S:
1943 relocation = tpoff (info, relocation);
1944 if (VALID_ITYPE_IMM (relocation + rel->r_addend))
1946 /* We can use tp as the base register. */
1947 bfd_vma insn = bfd_get_32 (input_bfd, contents + rel->r_offset);
1948 insn &= ~(OP_MASK_RS1 << OP_SH_RS1);
1949 insn |= X_TP << OP_SH_RS1;
1950 bfd_put_32 (input_bfd, insn, contents + rel->r_offset);
1953 r = bfd_reloc_overflow;
1956 case R_RISCV_GPREL_I:
1957 case R_RISCV_GPREL_S:
1959 bfd_vma gp = riscv_global_pointer_value (info);
1960 bfd_boolean x0_base = VALID_ITYPE_IMM (relocation + rel->r_addend);
1961 if (x0_base || VALID_ITYPE_IMM (relocation + rel->r_addend - gp))
1963 /* We can use x0 or gp as the base register. */
1964 bfd_vma insn = bfd_get_32 (input_bfd, contents + rel->r_offset);
1965 insn &= ~(OP_MASK_RS1 << OP_SH_RS1);
1968 rel->r_addend -= gp;
1969 insn |= X_GP << OP_SH_RS1;
1971 bfd_put_32 (input_bfd, insn, contents + rel->r_offset);
1974 r = bfd_reloc_overflow;
1978 case R_RISCV_PCREL_HI20:
1979 absolute = riscv_zero_pcrel_hi_reloc (rel,
1986 r_type = ELFNN_R_TYPE (rel->r_info);
1987 howto = riscv_elf_rtype_to_howto (r_type);
1988 if (!riscv_record_pcrel_hi_reloc (&pcrel_relocs, pc,
1989 relocation + rel->r_addend,
1991 r = bfd_reloc_overflow;
1994 case R_RISCV_PCREL_LO12_I:
1995 case R_RISCV_PCREL_LO12_S:
1996 /* Addends are not allowed, because then riscv_relax_delete_bytes
1997 would have to search through all relocs to update the addends.
1998 Also, riscv_resolve_pcrel_lo_relocs does not support addends
1999 when searching for a matching hi reloc. */
2002 r = bfd_reloc_dangerous;
2006 if (riscv_record_pcrel_lo_reloc (&pcrel_relocs, input_section, info,
2007 howto, rel, relocation, name,
2010 r = bfd_reloc_overflow;
2013 case R_RISCV_TLS_DTPREL32:
2014 case R_RISCV_TLS_DTPREL64:
2015 relocation = dtpoff (info, relocation);
2020 if ((input_section->flags & SEC_ALLOC) == 0)
2023 if ((bfd_link_pic (info)
2025 || ELF_ST_VISIBILITY (h->other) == STV_DEFAULT
2026 || h->root.type != bfd_link_hash_undefweak)
2027 && (! howto->pc_relative
2028 || !SYMBOL_CALLS_LOCAL (info, h)))
2029 || (!bfd_link_pic (info)
2035 || h->root.type == bfd_link_hash_undefweak
2036 || h->root.type == bfd_link_hash_undefined)))
2038 Elf_Internal_Rela outrel;
2039 bfd_boolean skip_static_relocation, skip_dynamic_relocation;
2041 /* When generating a shared object, these relocations
2042 are copied into the output file to be resolved at run
2046 _bfd_elf_section_offset (output_bfd, info, input_section,
2048 skip_static_relocation = outrel.r_offset != (bfd_vma) -2;
2049 skip_dynamic_relocation = outrel.r_offset >= (bfd_vma) -2;
2050 outrel.r_offset += sec_addr (input_section);
2052 if (skip_dynamic_relocation)
2053 memset (&outrel, 0, sizeof outrel);
2054 else if (h != NULL && h->dynindx != -1
2055 && !(bfd_link_pic (info)
2056 && SYMBOLIC_BIND (info, h)
2059 outrel.r_info = ELFNN_R_INFO (h->dynindx, r_type);
2060 outrel.r_addend = rel->r_addend;
2064 outrel.r_info = ELFNN_R_INFO (0, R_RISCV_RELATIVE);
2065 outrel.r_addend = relocation + rel->r_addend;
2068 riscv_elf_append_rela (output_bfd, sreloc, &outrel);
2069 if (skip_static_relocation)
2074 case R_RISCV_TLS_GOT_HI20:
2078 case R_RISCV_TLS_GD_HI20:
2081 off = h->got.offset;
2086 off = local_got_offsets[r_symndx];
2087 local_got_offsets[r_symndx] |= 1;
2090 tls_type = _bfd_riscv_elf_tls_type (input_bfd, h, r_symndx);
2091 BFD_ASSERT (tls_type & (GOT_TLS_IE | GOT_TLS_GD));
2092 /* If this symbol is referenced by both GD and IE TLS, the IE
2093 reference's GOT slot follows the GD reference's slots. */
2095 if ((tls_type & GOT_TLS_GD) && (tls_type & GOT_TLS_IE))
2096 ie_off = 2 * GOT_ENTRY_SIZE;
2102 Elf_Internal_Rela outrel;
2104 bfd_boolean need_relocs = FALSE;
2106 if (htab->elf.srelgot == NULL)
2111 bfd_boolean dyn, pic;
2112 dyn = htab->elf.dynamic_sections_created;
2113 pic = bfd_link_pic (info);
2115 if (WILL_CALL_FINISH_DYNAMIC_SYMBOL (dyn, pic, h)
2116 && (!pic || !SYMBOL_REFERENCES_LOCAL (info, h)))
2120 /* The GOT entries have not been initialized yet. Do it
2121 now, and emit any relocations. */
2122 if ((bfd_link_pic (info) || indx != 0)
2124 || ELF_ST_VISIBILITY (h->other) == STV_DEFAULT
2125 || h->root.type != bfd_link_hash_undefweak))
2128 if (tls_type & GOT_TLS_GD)
2132 outrel.r_offset = sec_addr (htab->elf.sgot) + off;
2133 outrel.r_addend = 0;
2134 outrel.r_info = ELFNN_R_INFO (indx, R_RISCV_TLS_DTPMODNN);
2135 bfd_put_NN (output_bfd, 0,
2136 htab->elf.sgot->contents + off);
2137 riscv_elf_append_rela (output_bfd, htab->elf.srelgot, &outrel);
2140 BFD_ASSERT (! unresolved_reloc);
2141 bfd_put_NN (output_bfd,
2142 dtpoff (info, relocation),
2143 (htab->elf.sgot->contents + off +
2144 RISCV_ELF_WORD_BYTES));
2148 bfd_put_NN (output_bfd, 0,
2149 (htab->elf.sgot->contents + off +
2150 RISCV_ELF_WORD_BYTES));
2151 outrel.r_info = ELFNN_R_INFO (indx, R_RISCV_TLS_DTPRELNN);
2152 outrel.r_offset += RISCV_ELF_WORD_BYTES;
2153 riscv_elf_append_rela (output_bfd, htab->elf.srelgot, &outrel);
2158 /* If we are not emitting relocations for a
2159 general dynamic reference, then we must be in a
2160 static link or an executable link with the
2161 symbol binding locally. Mark it as belonging
2162 to module 1, the executable. */
2163 bfd_put_NN (output_bfd, 1,
2164 htab->elf.sgot->contents + off);
2165 bfd_put_NN (output_bfd,
2166 dtpoff (info, relocation),
2167 (htab->elf.sgot->contents + off +
2168 RISCV_ELF_WORD_BYTES));
2172 if (tls_type & GOT_TLS_IE)
2176 bfd_put_NN (output_bfd, 0,
2177 htab->elf.sgot->contents + off + ie_off);
2178 outrel.r_offset = sec_addr (htab->elf.sgot)
2180 outrel.r_addend = 0;
2182 outrel.r_addend = tpoff (info, relocation);
2183 outrel.r_info = ELFNN_R_INFO (indx, R_RISCV_TLS_TPRELNN);
2184 riscv_elf_append_rela (output_bfd, htab->elf.srelgot, &outrel);
2188 bfd_put_NN (output_bfd, tpoff (info, relocation),
2189 htab->elf.sgot->contents + off + ie_off);
2194 BFD_ASSERT (off < (bfd_vma) -2);
2195 relocation = sec_addr (htab->elf.sgot) + off + (is_ie ? ie_off : 0);
2196 if (!riscv_record_pcrel_hi_reloc (&pcrel_relocs, pc,
2198 r = bfd_reloc_overflow;
2199 unresolved_reloc = FALSE;
2203 r = bfd_reloc_notsupported;
2206 /* Dynamic relocs are not propagated for SEC_DEBUGGING sections
2207 because such sections are not SEC_ALLOC and thus ld.so will
2208 not process them. */
2209 if (unresolved_reloc
2210 && !((input_section->flags & SEC_DEBUGGING) != 0
2212 && _bfd_elf_section_offset (output_bfd, info, input_section,
2213 rel->r_offset) != (bfd_vma) -1)
2215 (*_bfd_error_handler)
2216 (_("%pB(%pA+%#" PRIx64 "): "
2217 "unresolvable %s relocation against symbol `%s'"),
2220 (uint64_t) rel->r_offset,
2222 h->root.root.string);
2226 if (r == bfd_reloc_ok)
2227 r = perform_relocation (howto, rel, relocation, input_section,
2228 input_bfd, contents);
2235 case bfd_reloc_overflow:
2236 info->callbacks->reloc_overflow
2237 (info, (h ? &h->root : NULL), name, howto->name,
2238 (bfd_vma) 0, input_bfd, input_section, rel->r_offset);
2241 case bfd_reloc_undefined:
2242 info->callbacks->undefined_symbol
2243 (info, name, input_bfd, input_section, rel->r_offset,
2247 case bfd_reloc_outofrange:
2248 msg = _("%X%P: internal error: out of range error\n");
2251 case bfd_reloc_notsupported:
2252 msg = _("%X%P: internal error: unsupported relocation error\n");
2255 case bfd_reloc_dangerous:
2256 info->callbacks->reloc_dangerous
2257 (info, "%pcrel_lo with addend", input_bfd, input_section,
2262 msg = _("%X%P: internal error: unknown error\n");
2267 info->callbacks->einfo (msg);
2269 /* We already reported the error via a callback, so don't try to report
2270 it again by returning false. That leads to spurious errors. */
2275 ret = riscv_resolve_pcrel_lo_relocs (&pcrel_relocs);
2277 riscv_free_pcrel_relocs (&pcrel_relocs);
2281 /* Finish up dynamic symbol handling. We set the contents of various
2282 dynamic sections here. */
2285 riscv_elf_finish_dynamic_symbol (bfd *output_bfd,
2286 struct bfd_link_info *info,
2287 struct elf_link_hash_entry *h,
2288 Elf_Internal_Sym *sym)
2290 struct riscv_elf_link_hash_table *htab = riscv_elf_hash_table (info);
2291 const struct elf_backend_data *bed = get_elf_backend_data (output_bfd);
2293 if (h->plt.offset != (bfd_vma) -1)
2295 /* We've decided to create a PLT entry for this symbol. */
2297 bfd_vma i, header_address, plt_idx, got_address;
2298 uint32_t plt_entry[PLT_ENTRY_INSNS];
2299 Elf_Internal_Rela rela;
2301 BFD_ASSERT (h->dynindx != -1);
2303 /* Calculate the address of the PLT header. */
2304 header_address = sec_addr (htab->elf.splt);
2306 /* Calculate the index of the entry. */
2307 plt_idx = (h->plt.offset - PLT_HEADER_SIZE) / PLT_ENTRY_SIZE;
2309 /* Calculate the address of the .got.plt entry. */
2310 got_address = riscv_elf_got_plt_val (plt_idx, info);
2312 /* Find out where the .plt entry should go. */
2313 loc = htab->elf.splt->contents + h->plt.offset;
2315 /* Fill in the PLT entry itself. */
2316 riscv_make_plt_entry (got_address, header_address + h->plt.offset,
2318 for (i = 0; i < PLT_ENTRY_INSNS; i++)
2319 bfd_put_32 (output_bfd, plt_entry[i], loc + 4*i);
2321 /* Fill in the initial value of the .got.plt entry. */
2322 loc = htab->elf.sgotplt->contents
2323 + (got_address - sec_addr (htab->elf.sgotplt));
2324 bfd_put_NN (output_bfd, sec_addr (htab->elf.splt), loc);
2326 /* Fill in the entry in the .rela.plt section. */
2327 rela.r_offset = got_address;
2329 rela.r_info = ELFNN_R_INFO (h->dynindx, R_RISCV_JUMP_SLOT);
2331 loc = htab->elf.srelplt->contents + plt_idx * sizeof (ElfNN_External_Rela);
2332 bed->s->swap_reloca_out (output_bfd, &rela, loc);
2334 if (!h->def_regular)
2336 /* Mark the symbol as undefined, rather than as defined in
2337 the .plt section. Leave the value alone. */
2338 sym->st_shndx = SHN_UNDEF;
2339 /* If the symbol is weak, we do need to clear the value.
2340 Otherwise, the PLT entry would provide a definition for
2341 the symbol even if the symbol wasn't defined anywhere,
2342 and so the symbol would never be NULL. */
2343 if (!h->ref_regular_nonweak)
2348 if (h->got.offset != (bfd_vma) -1
2349 && !(riscv_elf_hash_entry (h)->tls_type & (GOT_TLS_GD | GOT_TLS_IE)))
2353 Elf_Internal_Rela rela;
2355 /* This symbol has an entry in the GOT. Set it up. */
2357 sgot = htab->elf.sgot;
2358 srela = htab->elf.srelgot;
2359 BFD_ASSERT (sgot != NULL && srela != NULL);
2361 rela.r_offset = sec_addr (sgot) + (h->got.offset &~ (bfd_vma) 1);
2363 /* If this is a -Bsymbolic link, and the symbol is defined
2364 locally, we just want to emit a RELATIVE reloc. Likewise if
2365 the symbol was forced to be local because of a version file.
2366 The entry in the global offset table will already have been
2367 initialized in the relocate_section function. */
2368 if (bfd_link_pic (info)
2369 && (info->symbolic || h->dynindx == -1)
2372 asection *sec = h->root.u.def.section;
2373 rela.r_info = ELFNN_R_INFO (0, R_RISCV_RELATIVE);
2374 rela.r_addend = (h->root.u.def.value
2375 + sec->output_section->vma
2376 + sec->output_offset);
2380 BFD_ASSERT (h->dynindx != -1);
2381 rela.r_info = ELFNN_R_INFO (h->dynindx, R_RISCV_NN);
2385 bfd_put_NN (output_bfd, 0,
2386 sgot->contents + (h->got.offset & ~(bfd_vma) 1));
2387 riscv_elf_append_rela (output_bfd, srela, &rela);
2392 Elf_Internal_Rela rela;
2395 /* This symbols needs a copy reloc. Set it up. */
2396 BFD_ASSERT (h->dynindx != -1);
2398 rela.r_offset = sec_addr (h->root.u.def.section) + h->root.u.def.value;
2399 rela.r_info = ELFNN_R_INFO (h->dynindx, R_RISCV_COPY);
2401 if (h->root.u.def.section == htab->elf.sdynrelro)
2402 s = htab->elf.sreldynrelro;
2404 s = htab->elf.srelbss;
2405 riscv_elf_append_rela (output_bfd, s, &rela);
2408 /* Mark some specially defined symbols as absolute. */
2409 if (h == htab->elf.hdynamic
2410 || (h == htab->elf.hgot || h == htab->elf.hplt))
2411 sym->st_shndx = SHN_ABS;
2416 /* Finish up the dynamic sections. */
2419 riscv_finish_dyn (bfd *output_bfd, struct bfd_link_info *info,
2420 bfd *dynobj, asection *sdyn)
2422 struct riscv_elf_link_hash_table *htab = riscv_elf_hash_table (info);
2423 const struct elf_backend_data *bed = get_elf_backend_data (output_bfd);
2424 size_t dynsize = bed->s->sizeof_dyn;
2425 bfd_byte *dyncon, *dynconend;
2427 dynconend = sdyn->contents + sdyn->size;
2428 for (dyncon = sdyn->contents; dyncon < dynconend; dyncon += dynsize)
2430 Elf_Internal_Dyn dyn;
2433 bed->s->swap_dyn_in (dynobj, dyncon, &dyn);
2438 s = htab->elf.sgotplt;
2439 dyn.d_un.d_ptr = s->output_section->vma + s->output_offset;
2442 s = htab->elf.srelplt;
2443 dyn.d_un.d_ptr = s->output_section->vma + s->output_offset;
2446 s = htab->elf.srelplt;
2447 dyn.d_un.d_val = s->size;
2453 bed->s->swap_dyn_out (output_bfd, &dyn, dyncon);
2459 riscv_elf_finish_dynamic_sections (bfd *output_bfd,
2460 struct bfd_link_info *info)
2464 struct riscv_elf_link_hash_table *htab;
2466 htab = riscv_elf_hash_table (info);
2467 BFD_ASSERT (htab != NULL);
2468 dynobj = htab->elf.dynobj;
2470 sdyn = bfd_get_linker_section (dynobj, ".dynamic");
2472 if (elf_hash_table (info)->dynamic_sections_created)
2477 splt = htab->elf.splt;
2478 BFD_ASSERT (splt != NULL && sdyn != NULL);
2480 ret = riscv_finish_dyn (output_bfd, info, dynobj, sdyn);
2485 /* Fill in the head and tail entries in the procedure linkage table. */
2489 uint32_t plt_header[PLT_HEADER_INSNS];
2490 riscv_make_plt_header (sec_addr (htab->elf.sgotplt),
2491 sec_addr (splt), plt_header);
2493 for (i = 0; i < PLT_HEADER_INSNS; i++)
2494 bfd_put_32 (output_bfd, plt_header[i], splt->contents + 4*i);
2496 elf_section_data (splt->output_section)->this_hdr.sh_entsize
2501 if (htab->elf.sgotplt)
2503 asection *output_section = htab->elf.sgotplt->output_section;
2505 if (bfd_is_abs_section (output_section))
2507 (*_bfd_error_handler)
2508 (_("discarded output section: `%pA'"), htab->elf.sgotplt);
2512 if (htab->elf.sgotplt->size > 0)
2514 /* Write the first two entries in .got.plt, needed for the dynamic
2516 bfd_put_NN (output_bfd, (bfd_vma) -1, htab->elf.sgotplt->contents);
2517 bfd_put_NN (output_bfd, (bfd_vma) 0,
2518 htab->elf.sgotplt->contents + GOT_ENTRY_SIZE);
2521 elf_section_data (output_section)->this_hdr.sh_entsize = GOT_ENTRY_SIZE;
2526 asection *output_section = htab->elf.sgot->output_section;
2528 if (htab->elf.sgot->size > 0)
2530 /* Set the first entry in the global offset table to the address of
2531 the dynamic section. */
2532 bfd_vma val = sdyn ? sec_addr (sdyn) : 0;
2533 bfd_put_NN (output_bfd, val, htab->elf.sgot->contents);
2536 elf_section_data (output_section)->this_hdr.sh_entsize = GOT_ENTRY_SIZE;
2542 /* Return address for Ith PLT stub in section PLT, for relocation REL
2543 or (bfd_vma) -1 if it should not be included. */
2546 riscv_elf_plt_sym_val (bfd_vma i, const asection *plt,
2547 const arelent *rel ATTRIBUTE_UNUSED)
2549 return plt->vma + PLT_HEADER_SIZE + i * PLT_ENTRY_SIZE;
2552 static enum elf_reloc_type_class
2553 riscv_reloc_type_class (const struct bfd_link_info *info ATTRIBUTE_UNUSED,
2554 const asection *rel_sec ATTRIBUTE_UNUSED,
2555 const Elf_Internal_Rela *rela)
2557 switch (ELFNN_R_TYPE (rela->r_info))
2559 case R_RISCV_RELATIVE:
2560 return reloc_class_relative;
2561 case R_RISCV_JUMP_SLOT:
2562 return reloc_class_plt;
2564 return reloc_class_copy;
2566 return reloc_class_normal;
2570 /* Merge backend specific data from an object file to the output
2571 object file when linking. */
2574 _bfd_riscv_elf_merge_private_bfd_data (bfd *ibfd, struct bfd_link_info *info)
2576 bfd *obfd = info->output_bfd;
2577 flagword new_flags = elf_elfheader (ibfd)->e_flags;
2578 flagword old_flags = elf_elfheader (obfd)->e_flags;
2580 if (!is_riscv_elf (ibfd) || !is_riscv_elf (obfd))
2583 if (strcmp (bfd_get_target (ibfd), bfd_get_target (obfd)) != 0)
2585 (*_bfd_error_handler)
2586 (_("%pB: ABI is incompatible with that of the selected emulation:\n"
2587 " target emulation `%s' does not match `%s'"),
2588 ibfd, bfd_get_target (ibfd), bfd_get_target (obfd));
2592 if (!_bfd_elf_merge_object_attributes (ibfd, info))
2595 if (! elf_flags_init (obfd))
2597 elf_flags_init (obfd) = TRUE;
2598 elf_elfheader (obfd)->e_flags = new_flags;
2602 /* Disallow linking different float ABIs. */
2603 if ((old_flags ^ new_flags) & EF_RISCV_FLOAT_ABI)
2605 (*_bfd_error_handler)
2606 (_("%pB: can't link hard-float modules with soft-float modules"), ibfd);
2610 /* Allow linking RVC and non-RVC, and keep the RVC flag. */
2611 elf_elfheader (obfd)->e_flags |= new_flags & EF_RISCV_RVC;
2616 bfd_set_error (bfd_error_bad_value);
2620 /* Delete some bytes from a section while relaxing. */
2623 riscv_relax_delete_bytes (bfd *abfd, asection *sec, bfd_vma addr, size_t count,
2624 struct bfd_link_info *link_info)
2626 unsigned int i, symcount;
2627 bfd_vma toaddr = sec->size;
2628 struct elf_link_hash_entry **sym_hashes = elf_sym_hashes (abfd);
2629 Elf_Internal_Shdr *symtab_hdr = &elf_tdata (abfd)->symtab_hdr;
2630 unsigned int sec_shndx = _bfd_elf_section_from_bfd_section (abfd, sec);
2631 struct bfd_elf_section_data *data = elf_section_data (sec);
2632 bfd_byte *contents = data->this_hdr.contents;
2634 /* Actually delete the bytes. */
2636 memmove (contents + addr, contents + addr + count, toaddr - addr - count);
2638 /* Adjust the location of all of the relocs. Note that we need not
2639 adjust the addends, since all PC-relative references must be against
2640 symbols, which we will adjust below. */
2641 for (i = 0; i < sec->reloc_count; i++)
2642 if (data->relocs[i].r_offset > addr && data->relocs[i].r_offset < toaddr)
2643 data->relocs[i].r_offset -= count;
2645 /* Adjust the local symbols defined in this section. */
2646 for (i = 0; i < symtab_hdr->sh_info; i++)
2648 Elf_Internal_Sym *sym = (Elf_Internal_Sym *) symtab_hdr->contents + i;
2649 if (sym->st_shndx == sec_shndx)
2651 /* If the symbol is in the range of memory we just moved, we
2652 have to adjust its value. */
2653 if (sym->st_value > addr && sym->st_value <= toaddr)
2654 sym->st_value -= count;
2656 /* If the symbol *spans* the bytes we just deleted (i.e. its
2657 *end* is in the moved bytes but its *start* isn't), then we
2658 must adjust its size. */
2659 if (sym->st_value <= addr
2660 && sym->st_value + sym->st_size > addr
2661 && sym->st_value + sym->st_size <= toaddr)
2662 sym->st_size -= count;
2666 /* Now adjust the global symbols defined in this section. */
2667 symcount = ((symtab_hdr->sh_size / sizeof (ElfNN_External_Sym))
2668 - symtab_hdr->sh_info);
2670 for (i = 0; i < symcount; i++)
2672 struct elf_link_hash_entry *sym_hash = sym_hashes[i];
2674 /* The '--wrap SYMBOL' option is causing a pain when the object file,
2675 containing the definition of __wrap_SYMBOL, includes a direct
2676 call to SYMBOL as well. Since both __wrap_SYMBOL and SYMBOL reference
2677 the same symbol (which is __wrap_SYMBOL), but still exist as two
2678 different symbols in 'sym_hashes', we don't want to adjust
2679 the global symbol __wrap_SYMBOL twice.
2680 This check is only relevant when symbols are being wrapped. */
2681 if (link_info->wrap_hash != NULL)
2683 struct elf_link_hash_entry **cur_sym_hashes;
2685 /* Loop only over the symbols which have already been checked. */
2686 for (cur_sym_hashes = sym_hashes; cur_sym_hashes < &sym_hashes[i];
2689 /* If the current symbol is identical to 'sym_hash', that means
2690 the symbol was already adjusted (or at least checked). */
2691 if (*cur_sym_hashes == sym_hash)
2694 /* Don't adjust the symbol again. */
2695 if (cur_sym_hashes < &sym_hashes[i])
2699 if ((sym_hash->root.type == bfd_link_hash_defined
2700 || sym_hash->root.type == bfd_link_hash_defweak)
2701 && sym_hash->root.u.def.section == sec)
2703 /* As above, adjust the value if needed. */
2704 if (sym_hash->root.u.def.value > addr
2705 && sym_hash->root.u.def.value <= toaddr)
2706 sym_hash->root.u.def.value -= count;
2708 /* As above, adjust the size if needed. */
2709 if (sym_hash->root.u.def.value <= addr
2710 && sym_hash->root.u.def.value + sym_hash->size > addr
2711 && sym_hash->root.u.def.value + sym_hash->size <= toaddr)
2712 sym_hash->size -= count;
2719 /* A second format for recording PC-relative hi relocations. This stores the
2720 information required to relax them to GP-relative addresses. */
2722 typedef struct riscv_pcgp_hi_reloc riscv_pcgp_hi_reloc;
2723 struct riscv_pcgp_hi_reloc
2730 riscv_pcgp_hi_reloc *next;
2733 typedef struct riscv_pcgp_lo_reloc riscv_pcgp_lo_reloc;
2734 struct riscv_pcgp_lo_reloc
2737 riscv_pcgp_lo_reloc *next;
2742 riscv_pcgp_hi_reloc *hi;
2743 riscv_pcgp_lo_reloc *lo;
2744 } riscv_pcgp_relocs;
2747 riscv_init_pcgp_relocs (riscv_pcgp_relocs *p)
2755 riscv_free_pcgp_relocs (riscv_pcgp_relocs *p,
2756 bfd *abfd ATTRIBUTE_UNUSED,
2757 asection *sec ATTRIBUTE_UNUSED)
2759 riscv_pcgp_hi_reloc *c;
2760 riscv_pcgp_lo_reloc *l;
2762 for (c = p->hi; c != NULL;)
2764 riscv_pcgp_hi_reloc *next = c->next;
2769 for (l = p->lo; l != NULL;)
2771 riscv_pcgp_lo_reloc *next = l->next;
2778 riscv_record_pcgp_hi_reloc (riscv_pcgp_relocs *p, bfd_vma hi_sec_off,
2779 bfd_vma hi_addend, bfd_vma hi_addr,
2780 unsigned hi_sym, asection *sym_sec)
2782 riscv_pcgp_hi_reloc *new = bfd_malloc (sizeof(*new));
2785 new->hi_sec_off = hi_sec_off;
2786 new->hi_addend = hi_addend;
2787 new->hi_addr = hi_addr;
2788 new->hi_sym = hi_sym;
2789 new->sym_sec = sym_sec;
2795 static riscv_pcgp_hi_reloc *
2796 riscv_find_pcgp_hi_reloc(riscv_pcgp_relocs *p, bfd_vma hi_sec_off)
2798 riscv_pcgp_hi_reloc *c;
2800 for (c = p->hi; c != NULL; c = c->next)
2801 if (c->hi_sec_off == hi_sec_off)
2807 riscv_delete_pcgp_hi_reloc(riscv_pcgp_relocs *p, bfd_vma hi_sec_off)
2809 bfd_boolean out = FALSE;
2810 riscv_pcgp_hi_reloc *c;
2812 for (c = p->hi; c != NULL; c = c->next)
2813 if (c->hi_sec_off == hi_sec_off)
2820 riscv_use_pcgp_hi_reloc(riscv_pcgp_relocs *p, bfd_vma hi_sec_off)
2822 bfd_boolean out = FALSE;
2823 riscv_pcgp_hi_reloc *c;
2825 for (c = p->hi; c != NULL; c = c->next)
2826 if (c->hi_sec_off == hi_sec_off)
2833 riscv_record_pcgp_lo_reloc (riscv_pcgp_relocs *p, bfd_vma hi_sec_off)
2835 riscv_pcgp_lo_reloc *new = bfd_malloc (sizeof(*new));
2838 new->hi_sec_off = hi_sec_off;
2845 riscv_find_pcgp_lo_reloc (riscv_pcgp_relocs *p, bfd_vma hi_sec_off)
2847 riscv_pcgp_lo_reloc *c;
2849 for (c = p->lo; c != NULL; c = c->next)
2850 if (c->hi_sec_off == hi_sec_off)
2856 riscv_delete_pcgp_lo_reloc (riscv_pcgp_relocs *p ATTRIBUTE_UNUSED,
2857 bfd_vma lo_sec_off ATTRIBUTE_UNUSED,
2858 size_t bytes ATTRIBUTE_UNUSED)
2863 typedef bfd_boolean (*relax_func_t) (bfd *, asection *, asection *,
2864 struct bfd_link_info *,
2865 Elf_Internal_Rela *,
2866 bfd_vma, bfd_vma, bfd_vma, bfd_boolean *,
2867 riscv_pcgp_relocs *);
2869 /* Relax AUIPC + JALR into JAL. */
2872 _bfd_riscv_relax_call (bfd *abfd, asection *sec, asection *sym_sec,
2873 struct bfd_link_info *link_info,
2874 Elf_Internal_Rela *rel,
2876 bfd_vma max_alignment,
2877 bfd_vma reserve_size ATTRIBUTE_UNUSED,
2879 riscv_pcgp_relocs *pcgp_relocs ATTRIBUTE_UNUSED)
2881 bfd_byte *contents = elf_section_data (sec)->this_hdr.contents;
2882 bfd_signed_vma foff = symval - (sec_addr (sec) + rel->r_offset);
2883 bfd_boolean near_zero = (symval + RISCV_IMM_REACH/2) < RISCV_IMM_REACH;
2884 bfd_vma auipc, jalr;
2885 int rd, r_type, len = 4, rvc = elf_elfheader (abfd)->e_flags & EF_RISCV_RVC;
2887 /* If the call crosses section boundaries, an alignment directive could
2888 cause the PC-relative offset to later increase. */
2889 if (VALID_UJTYPE_IMM (foff) && sym_sec->output_section != sec->output_section)
2890 foff += (foff < 0 ? -max_alignment : max_alignment);
2892 /* See if this function call can be shortened. */
2893 if (!VALID_UJTYPE_IMM (foff) && !(!bfd_link_pic (link_info) && near_zero))
2896 /* Shorten the function call. */
2897 BFD_ASSERT (rel->r_offset + 8 <= sec->size);
2899 auipc = bfd_get_32 (abfd, contents + rel->r_offset);
2900 jalr = bfd_get_32 (abfd, contents + rel->r_offset + 4);
2901 rd = (jalr >> OP_SH_RD) & OP_MASK_RD;
2902 rvc = rvc && VALID_RVC_J_IMM (foff) && ARCH_SIZE == 32;
2904 if (rvc && (rd == 0 || rd == X_RA))
2906 /* Relax to C.J[AL] rd, addr. */
2907 r_type = R_RISCV_RVC_JUMP;
2908 auipc = rd == 0 ? MATCH_C_J : MATCH_C_JAL;
2911 else if (VALID_UJTYPE_IMM (foff))
2913 /* Relax to JAL rd, addr. */
2914 r_type = R_RISCV_JAL;
2915 auipc = MATCH_JAL | (rd << OP_SH_RD);
2917 else /* near_zero */
2919 /* Relax to JALR rd, x0, addr. */
2920 r_type = R_RISCV_LO12_I;
2921 auipc = MATCH_JALR | (rd << OP_SH_RD);
2924 /* Replace the R_RISCV_CALL reloc. */
2925 rel->r_info = ELFNN_R_INFO (ELFNN_R_SYM (rel->r_info), r_type);
2926 /* Replace the AUIPC. */
2927 bfd_put (8 * len, abfd, auipc, contents + rel->r_offset);
2929 /* Delete unnecessary JALR. */
2931 return riscv_relax_delete_bytes (abfd, sec, rel->r_offset + len, 8 - len,
2935 /* Traverse all output sections and return the max alignment. */
2938 _bfd_riscv_get_max_alignment (asection *sec)
2940 unsigned int max_alignment_power = 0;
2943 for (o = sec->output_section->owner->sections; o != NULL; o = o->next)
2945 if (o->alignment_power > max_alignment_power)
2946 max_alignment_power = o->alignment_power;
2949 return (bfd_vma) 1 << max_alignment_power;
2952 /* Relax non-PIC global variable references. */
2955 _bfd_riscv_relax_lui (bfd *abfd,
2958 struct bfd_link_info *link_info,
2959 Elf_Internal_Rela *rel,
2961 bfd_vma max_alignment,
2962 bfd_vma reserve_size,
2964 riscv_pcgp_relocs *pcgp_relocs ATTRIBUTE_UNUSED)
2966 bfd_byte *contents = elf_section_data (sec)->this_hdr.contents;
2967 bfd_vma gp = riscv_global_pointer_value (link_info);
2968 int use_rvc = elf_elfheader (abfd)->e_flags & EF_RISCV_RVC;
2970 /* Mergeable symbols and code might later move out of range. */
2971 if (sym_sec->flags & (SEC_MERGE | SEC_CODE))
2974 BFD_ASSERT (rel->r_offset + 4 <= sec->size);
2978 /* If gp and the symbol are in the same output section, then
2979 consider only that section's alignment. */
2980 struct bfd_link_hash_entry *h =
2981 bfd_link_hash_lookup (link_info->hash, RISCV_GP_SYMBOL, FALSE, FALSE,
2983 if (h->u.def.section->output_section == sym_sec->output_section)
2984 max_alignment = (bfd_vma) 1 << sym_sec->output_section->alignment_power;
2987 /* Is the reference in range of x0 or gp?
2988 Valid gp range conservatively because of alignment issue. */
2989 if (VALID_ITYPE_IMM (symval)
2991 && VALID_ITYPE_IMM (symval - gp + max_alignment + reserve_size))
2993 && VALID_ITYPE_IMM (symval - gp - max_alignment - reserve_size)))
2995 unsigned sym = ELFNN_R_SYM (rel->r_info);
2996 switch (ELFNN_R_TYPE (rel->r_info))
2998 case R_RISCV_LO12_I:
2999 rel->r_info = ELFNN_R_INFO (sym, R_RISCV_GPREL_I);
3002 case R_RISCV_LO12_S:
3003 rel->r_info = ELFNN_R_INFO (sym, R_RISCV_GPREL_S);
3007 /* We can delete the unnecessary LUI and reloc. */
3008 rel->r_info = ELFNN_R_INFO (0, R_RISCV_NONE);
3010 return riscv_relax_delete_bytes (abfd, sec, rel->r_offset, 4,
3018 /* Can we relax LUI to C.LUI? Alignment might move the section forward;
3019 account for this assuming page alignment at worst. */
3021 && ELFNN_R_TYPE (rel->r_info) == R_RISCV_HI20
3022 && VALID_RVC_LUI_IMM (RISCV_CONST_HIGH_PART (symval))
3023 && VALID_RVC_LUI_IMM (RISCV_CONST_HIGH_PART (symval + ELF_MAXPAGESIZE)))
3025 /* Replace LUI with C.LUI if legal (i.e., rd != x0 and rd != x2/sp). */
3026 bfd_vma lui = bfd_get_32 (abfd, contents + rel->r_offset);
3027 unsigned rd = ((unsigned)lui >> OP_SH_RD) & OP_MASK_RD;
3028 if (rd == 0 || rd == X_SP)
3031 lui = (lui & (OP_MASK_RD << OP_SH_RD)) | MATCH_C_LUI;
3032 bfd_put_32 (abfd, lui, contents + rel->r_offset);
3034 /* Replace the R_RISCV_HI20 reloc. */
3035 rel->r_info = ELFNN_R_INFO (ELFNN_R_SYM (rel->r_info), R_RISCV_RVC_LUI);
3038 return riscv_relax_delete_bytes (abfd, sec, rel->r_offset + 2, 2,
3045 /* Relax non-PIC TLS references. */
3048 _bfd_riscv_relax_tls_le (bfd *abfd,
3050 asection *sym_sec ATTRIBUTE_UNUSED,
3051 struct bfd_link_info *link_info,
3052 Elf_Internal_Rela *rel,
3054 bfd_vma max_alignment ATTRIBUTE_UNUSED,
3055 bfd_vma reserve_size ATTRIBUTE_UNUSED,
3057 riscv_pcgp_relocs *prcel_relocs ATTRIBUTE_UNUSED)
3059 /* See if this symbol is in range of tp. */
3060 if (RISCV_CONST_HIGH_PART (tpoff (link_info, symval)) != 0)
3063 BFD_ASSERT (rel->r_offset + 4 <= sec->size);
3064 switch (ELFNN_R_TYPE (rel->r_info))
3066 case R_RISCV_TPREL_LO12_I:
3067 rel->r_info = ELFNN_R_INFO (ELFNN_R_SYM (rel->r_info), R_RISCV_TPREL_I);
3070 case R_RISCV_TPREL_LO12_S:
3071 rel->r_info = ELFNN_R_INFO (ELFNN_R_SYM (rel->r_info), R_RISCV_TPREL_S);
3074 case R_RISCV_TPREL_HI20:
3075 case R_RISCV_TPREL_ADD:
3076 /* We can delete the unnecessary instruction and reloc. */
3077 rel->r_info = ELFNN_R_INFO (0, R_RISCV_NONE);
3079 return riscv_relax_delete_bytes (abfd, sec, rel->r_offset, 4, link_info);
3086 /* Implement R_RISCV_ALIGN by deleting excess alignment NOPs. */
3089 _bfd_riscv_relax_align (bfd *abfd, asection *sec,
3091 struct bfd_link_info *link_info,
3092 Elf_Internal_Rela *rel,
3094 bfd_vma max_alignment ATTRIBUTE_UNUSED,
3095 bfd_vma reserve_size ATTRIBUTE_UNUSED,
3096 bfd_boolean *again ATTRIBUTE_UNUSED,
3097 riscv_pcgp_relocs *pcrel_relocs ATTRIBUTE_UNUSED)
3099 bfd_byte *contents = elf_section_data (sec)->this_hdr.contents;
3100 bfd_vma alignment = 1, pos;
3101 while (alignment <= rel->r_addend)
3104 symval -= rel->r_addend;
3105 bfd_vma aligned_addr = ((symval - 1) & ~(alignment - 1)) + alignment;
3106 bfd_vma nop_bytes = aligned_addr - symval;
3108 /* Once we've handled an R_RISCV_ALIGN, we can't relax anything else. */
3109 sec->sec_flg0 = TRUE;
3111 /* Make sure there are enough NOPs to actually achieve the alignment. */
3112 if (rel->r_addend < nop_bytes)
3114 (*_bfd_error_handler)
3115 (_("%pB(%pA+0x%lx): %d bytes required for alignment "
3116 "to %d-byte boundary, but only %d present"),
3117 abfd, sym_sec, rel->r_offset, nop_bytes, alignment, rel->r_addend);
3118 bfd_set_error (bfd_error_bad_value);
3122 /* Delete the reloc. */
3123 rel->r_info = ELFNN_R_INFO (0, R_RISCV_NONE);
3125 /* If the number of NOPs is already correct, there's nothing to do. */
3126 if (nop_bytes == rel->r_addend)
3129 /* Write as many RISC-V NOPs as we need. */
3130 for (pos = 0; pos < (nop_bytes & -4); pos += 4)
3131 bfd_put_32 (abfd, RISCV_NOP, contents + rel->r_offset + pos);
3133 /* Write a final RVC NOP if need be. */
3134 if (nop_bytes % 4 != 0)
3135 bfd_put_16 (abfd, RVC_NOP, contents + rel->r_offset + pos);
3137 /* Delete the excess bytes. */
3138 return riscv_relax_delete_bytes (abfd, sec, rel->r_offset + nop_bytes,
3139 rel->r_addend - nop_bytes, link_info);
3142 /* Relax PC-relative references to GP-relative references. */
3145 _bfd_riscv_relax_pc (bfd *abfd,
3148 struct bfd_link_info *link_info,
3149 Elf_Internal_Rela *rel,
3151 bfd_vma max_alignment,
3152 bfd_vma reserve_size,
3153 bfd_boolean *again ATTRIBUTE_UNUSED,
3154 riscv_pcgp_relocs *pcgp_relocs)
3156 bfd_vma gp = riscv_global_pointer_value (link_info);
3158 BFD_ASSERT (rel->r_offset + 4 <= sec->size);
3160 /* Chain the _LO relocs to their cooresponding _HI reloc to compute the
3161 * actual target address. */
3162 riscv_pcgp_hi_reloc hi_reloc;
3163 memset (&hi_reloc, 0, sizeof (hi_reloc));
3164 switch (ELFNN_R_TYPE (rel->r_info))
3166 case R_RISCV_PCREL_LO12_I:
3167 case R_RISCV_PCREL_LO12_S:
3169 riscv_pcgp_hi_reloc *hi = riscv_find_pcgp_hi_reloc (pcgp_relocs,
3170 symval - sec_addr(sym_sec));
3173 riscv_record_pcgp_lo_reloc (pcgp_relocs, symval - sec_addr(sym_sec));
3178 symval = hi_reloc.hi_addr;
3179 sym_sec = hi_reloc.sym_sec;
3180 if (!riscv_use_pcgp_hi_reloc(pcgp_relocs, hi->hi_sec_off))
3181 (*_bfd_error_handler)
3182 (_("%pB(%pA+0x%lx): Unable to clear RISCV_PCREL_HI20 reloc"
3183 "for cooresponding RISCV_PCREL_LO12 reloc"),
3184 abfd, sec, rel->r_offset);
3188 case R_RISCV_PCREL_HI20:
3189 /* Mergeable symbols and code might later move out of range. */
3190 if (sym_sec->flags & (SEC_MERGE | SEC_CODE))
3193 /* If the cooresponding lo relocation has already been seen then it's not
3194 * safe to relax this relocation. */
3195 if (riscv_find_pcgp_lo_reloc (pcgp_relocs, rel->r_offset))
3206 /* If gp and the symbol are in the same output section, then
3207 consider only that section's alignment. */
3208 struct bfd_link_hash_entry *h =
3209 bfd_link_hash_lookup (link_info->hash, RISCV_GP_SYMBOL, FALSE, FALSE, TRUE);
3210 if (h->u.def.section->output_section == sym_sec->output_section)
3211 max_alignment = (bfd_vma) 1 << sym_sec->output_section->alignment_power;
3214 /* Is the reference in range of x0 or gp?
3215 Valid gp range conservatively because of alignment issue. */
3216 if (VALID_ITYPE_IMM (symval)
3218 && VALID_ITYPE_IMM (symval - gp + max_alignment + reserve_size))
3220 && VALID_ITYPE_IMM (symval - gp - max_alignment - reserve_size)))
3222 unsigned sym = hi_reloc.hi_sym;
3223 switch (ELFNN_R_TYPE (rel->r_info))
3225 case R_RISCV_PCREL_LO12_I:
3226 rel->r_info = ELFNN_R_INFO (sym, R_RISCV_GPREL_I);
3227 rel->r_addend += hi_reloc.hi_addend;
3228 return riscv_delete_pcgp_lo_reloc (pcgp_relocs, rel->r_offset, 4);
3230 case R_RISCV_PCREL_LO12_S:
3231 rel->r_info = ELFNN_R_INFO (sym, R_RISCV_GPREL_S);
3232 rel->r_addend += hi_reloc.hi_addend;
3233 return riscv_delete_pcgp_lo_reloc (pcgp_relocs, rel->r_offset, 4);
3235 case R_RISCV_PCREL_HI20:
3236 riscv_record_pcgp_hi_reloc (pcgp_relocs,
3240 ELFNN_R_SYM(rel->r_info),
3242 /* We can delete the unnecessary AUIPC and reloc. */
3243 rel->r_info = ELFNN_R_INFO (0, R_RISCV_DELETE);
3245 return riscv_delete_pcgp_hi_reloc (pcgp_relocs, rel->r_offset);
3255 /* Relax PC-relative references to GP-relative references. */
3258 _bfd_riscv_relax_delete (bfd *abfd,
3260 asection *sym_sec ATTRIBUTE_UNUSED,
3261 struct bfd_link_info *link_info,
3262 Elf_Internal_Rela *rel,
3263 bfd_vma symval ATTRIBUTE_UNUSED,
3264 bfd_vma max_alignment ATTRIBUTE_UNUSED,
3265 bfd_vma reserve_size ATTRIBUTE_UNUSED,
3266 bfd_boolean *again ATTRIBUTE_UNUSED,
3267 riscv_pcgp_relocs *pcgp_relocs ATTRIBUTE_UNUSED)
3269 if (!riscv_relax_delete_bytes(abfd, sec, rel->r_offset, rel->r_addend,
3272 rel->r_info = ELFNN_R_INFO(0, R_RISCV_NONE);
3276 /* Relax a section. Pass 0 shortens code sequences unless disabled. Pass 1
3277 deletes the bytes that pass 0 made obselete. Pass 2, which cannot be
3278 disabled, handles code alignment directives. */
3281 _bfd_riscv_relax_section (bfd *abfd, asection *sec,
3282 struct bfd_link_info *info,
3285 Elf_Internal_Shdr *symtab_hdr = &elf_symtab_hdr (abfd);
3286 struct riscv_elf_link_hash_table *htab = riscv_elf_hash_table (info);
3287 struct bfd_elf_section_data *data = elf_section_data (sec);
3288 Elf_Internal_Rela *relocs;
3289 bfd_boolean ret = FALSE;
3291 bfd_vma max_alignment, reserve_size = 0;
3292 riscv_pcgp_relocs pcgp_relocs;
3296 if (bfd_link_relocatable (info)
3298 || (sec->flags & SEC_RELOC) == 0
3299 || sec->reloc_count == 0
3300 || (info->disable_target_specific_optimizations
3301 && info->relax_pass == 0))
3304 riscv_init_pcgp_relocs (&pcgp_relocs);
3306 /* Read this BFD's relocs if we haven't done so already. */
3308 relocs = data->relocs;
3309 else if (!(relocs = _bfd_elf_link_read_relocs (abfd, sec, NULL, NULL,
3310 info->keep_memory)))
3315 max_alignment = htab->max_alignment;
3316 if (max_alignment == (bfd_vma) -1)
3318 max_alignment = _bfd_riscv_get_max_alignment (sec);
3319 htab->max_alignment = max_alignment;
3323 max_alignment = _bfd_riscv_get_max_alignment (sec);
3325 /* Examine and consider relaxing each reloc. */
3326 for (i = 0; i < sec->reloc_count; i++)
3329 Elf_Internal_Rela *rel = relocs + i;
3330 relax_func_t relax_func;
3331 int type = ELFNN_R_TYPE (rel->r_info);
3335 if (info->relax_pass == 0)
3337 if (type == R_RISCV_CALL || type == R_RISCV_CALL_PLT)
3338 relax_func = _bfd_riscv_relax_call;
3339 else if (type == R_RISCV_HI20
3340 || type == R_RISCV_LO12_I
3341 || type == R_RISCV_LO12_S)
3342 relax_func = _bfd_riscv_relax_lui;
3343 else if (!bfd_link_pic(info)
3344 && (type == R_RISCV_PCREL_HI20
3345 || type == R_RISCV_PCREL_LO12_I
3346 || type == R_RISCV_PCREL_LO12_S))
3347 relax_func = _bfd_riscv_relax_pc;
3348 else if (type == R_RISCV_TPREL_HI20
3349 || type == R_RISCV_TPREL_ADD
3350 || type == R_RISCV_TPREL_LO12_I
3351 || type == R_RISCV_TPREL_LO12_S)
3352 relax_func = _bfd_riscv_relax_tls_le;
3356 /* Only relax this reloc if it is paired with R_RISCV_RELAX. */
3357 if (i == sec->reloc_count - 1
3358 || ELFNN_R_TYPE ((rel + 1)->r_info) != R_RISCV_RELAX
3359 || rel->r_offset != (rel + 1)->r_offset)
3362 /* Skip over the R_RISCV_RELAX. */
3365 else if (info->relax_pass == 1 && type == R_RISCV_DELETE)
3366 relax_func = _bfd_riscv_relax_delete;
3367 else if (info->relax_pass == 2 && type == R_RISCV_ALIGN)
3368 relax_func = _bfd_riscv_relax_align;
3372 data->relocs = relocs;
3374 /* Read this BFD's contents if we haven't done so already. */
3375 if (!data->this_hdr.contents
3376 && !bfd_malloc_and_get_section (abfd, sec, &data->this_hdr.contents))
3379 /* Read this BFD's symbols if we haven't done so already. */
3380 if (symtab_hdr->sh_info != 0
3381 && !symtab_hdr->contents
3382 && !(symtab_hdr->contents =
3383 (unsigned char *) bfd_elf_get_elf_syms (abfd, symtab_hdr,
3384 symtab_hdr->sh_info,
3385 0, NULL, NULL, NULL)))
3388 /* Get the value of the symbol referred to by the reloc. */
3389 if (ELFNN_R_SYM (rel->r_info) < symtab_hdr->sh_info)
3391 /* A local symbol. */
3392 Elf_Internal_Sym *isym = ((Elf_Internal_Sym *) symtab_hdr->contents
3393 + ELFNN_R_SYM (rel->r_info));
3394 reserve_size = (isym->st_size - rel->r_addend) > isym->st_size
3395 ? 0 : isym->st_size - rel->r_addend;
3397 if (isym->st_shndx == SHN_UNDEF)
3398 sym_sec = sec, symval = sec_addr (sec) + rel->r_offset;
3401 BFD_ASSERT (isym->st_shndx < elf_numsections (abfd));
3402 sym_sec = elf_elfsections (abfd)[isym->st_shndx]->bfd_section;
3404 /* The purpose of this code is unknown. It breaks linker scripts
3405 for embedded development that place sections at address zero.
3406 This code is believed to be unnecessary. Disabling it but not
3407 yet removing it, in case something breaks. */
3408 if (sec_addr (sym_sec) == 0)
3411 symval = sec_addr (sym_sec) + isym->st_value;
3417 struct elf_link_hash_entry *h;
3419 indx = ELFNN_R_SYM (rel->r_info) - symtab_hdr->sh_info;
3420 h = elf_sym_hashes (abfd)[indx];
3422 while (h->root.type == bfd_link_hash_indirect
3423 || h->root.type == bfd_link_hash_warning)
3424 h = (struct elf_link_hash_entry *) h->root.u.i.link;
3426 if (h->plt.offset != MINUS_ONE)
3427 symval = sec_addr (htab->elf.splt) + h->plt.offset;
3428 else if (h->root.u.def.section->output_section == NULL
3429 || (h->root.type != bfd_link_hash_defined
3430 && h->root.type != bfd_link_hash_defweak))
3433 symval = sec_addr (h->root.u.def.section) + h->root.u.def.value;
3435 if (h->type != STT_FUNC)
3437 (h->size - rel->r_addend) > h->size ? 0 : h->size - rel->r_addend;
3438 sym_sec = h->root.u.def.section;
3441 symval += rel->r_addend;
3443 if (!relax_func (abfd, sec, sym_sec, info, rel, symval,
3444 max_alignment, reserve_size, again,
3452 if (relocs != data->relocs)
3454 riscv_free_pcgp_relocs(&pcgp_relocs, abfd, sec);
3460 # define PRSTATUS_SIZE 0 /* FIXME */
3461 # define PRSTATUS_OFFSET_PR_CURSIG 12
3462 # define PRSTATUS_OFFSET_PR_PID 24
3463 # define PRSTATUS_OFFSET_PR_REG 72
3464 # define ELF_GREGSET_T_SIZE 128
3465 # define PRPSINFO_SIZE 128
3466 # define PRPSINFO_OFFSET_PR_PID 16
3467 # define PRPSINFO_OFFSET_PR_FNAME 32
3468 # define PRPSINFO_OFFSET_PR_PSARGS 48
3470 # define PRSTATUS_SIZE 376
3471 # define PRSTATUS_OFFSET_PR_CURSIG 12
3472 # define PRSTATUS_OFFSET_PR_PID 32
3473 # define PRSTATUS_OFFSET_PR_REG 112
3474 # define ELF_GREGSET_T_SIZE 256
3475 # define PRPSINFO_SIZE 136
3476 # define PRPSINFO_OFFSET_PR_PID 24
3477 # define PRPSINFO_OFFSET_PR_FNAME 40
3478 # define PRPSINFO_OFFSET_PR_PSARGS 56
3481 /* Support for core dump NOTE sections. */
3484 riscv_elf_grok_prstatus (bfd *abfd, Elf_Internal_Note *note)
3486 switch (note->descsz)
3491 case PRSTATUS_SIZE: /* sizeof(struct elf_prstatus) on Linux/RISC-V. */
3493 elf_tdata (abfd)->core->signal
3494 = bfd_get_16 (abfd, note->descdata + PRSTATUS_OFFSET_PR_CURSIG);
3497 elf_tdata (abfd)->core->lwpid
3498 = bfd_get_32 (abfd, note->descdata + PRSTATUS_OFFSET_PR_PID);
3502 /* Make a ".reg/999" section. */
3503 return _bfd_elfcore_make_pseudosection (abfd, ".reg", ELF_GREGSET_T_SIZE,
3504 note->descpos + PRSTATUS_OFFSET_PR_REG);
3508 riscv_elf_grok_psinfo (bfd *abfd, Elf_Internal_Note *note)
3510 switch (note->descsz)
3515 case PRPSINFO_SIZE: /* sizeof(struct elf_prpsinfo) on Linux/RISC-V. */
3517 elf_tdata (abfd)->core->pid
3518 = bfd_get_32 (abfd, note->descdata + PRPSINFO_OFFSET_PR_PID);
3521 elf_tdata (abfd)->core->program = _bfd_elfcore_strndup
3522 (abfd, note->descdata + PRPSINFO_OFFSET_PR_FNAME, 16);
3525 elf_tdata (abfd)->core->command = _bfd_elfcore_strndup
3526 (abfd, note->descdata + PRPSINFO_OFFSET_PR_PSARGS, 80);
3530 /* Note that for some reason, a spurious space is tacked
3531 onto the end of the args in some (at least one anyway)
3532 implementations, so strip it off if it exists. */
3535 char *command = elf_tdata (abfd)->core->command;
3536 int n = strlen (command);
3538 if (0 < n && command[n - 1] == ' ')
3539 command[n - 1] = '\0';
3545 /* Set the right mach type. */
3547 riscv_elf_object_p (bfd *abfd)
3549 /* There are only two mach types in RISCV currently. */
3550 if (strcmp (abfd->xvec->name, "elf32-littleriscv") == 0)
3551 bfd_default_set_arch_mach (abfd, bfd_arch_riscv, bfd_mach_riscv32);
3553 bfd_default_set_arch_mach (abfd, bfd_arch_riscv, bfd_mach_riscv64);
3559 #define TARGET_LITTLE_SYM riscv_elfNN_vec
3560 #define TARGET_LITTLE_NAME "elfNN-littleriscv"
3562 #define elf_backend_reloc_type_class riscv_reloc_type_class
3564 #define bfd_elfNN_bfd_reloc_name_lookup riscv_reloc_name_lookup
3565 #define bfd_elfNN_bfd_link_hash_table_create riscv_elf_link_hash_table_create
3566 #define bfd_elfNN_bfd_reloc_type_lookup riscv_reloc_type_lookup
3567 #define bfd_elfNN_bfd_merge_private_bfd_data \
3568 _bfd_riscv_elf_merge_private_bfd_data
3570 #define elf_backend_copy_indirect_symbol riscv_elf_copy_indirect_symbol
3571 #define elf_backend_create_dynamic_sections riscv_elf_create_dynamic_sections
3572 #define elf_backend_check_relocs riscv_elf_check_relocs
3573 #define elf_backend_adjust_dynamic_symbol riscv_elf_adjust_dynamic_symbol
3574 #define elf_backend_size_dynamic_sections riscv_elf_size_dynamic_sections
3575 #define elf_backend_relocate_section riscv_elf_relocate_section
3576 #define elf_backend_finish_dynamic_symbol riscv_elf_finish_dynamic_symbol
3577 #define elf_backend_finish_dynamic_sections riscv_elf_finish_dynamic_sections
3578 #define elf_backend_gc_mark_hook riscv_elf_gc_mark_hook
3579 #define elf_backend_plt_sym_val riscv_elf_plt_sym_val
3580 #define elf_backend_grok_prstatus riscv_elf_grok_prstatus
3581 #define elf_backend_grok_psinfo riscv_elf_grok_psinfo
3582 #define elf_backend_object_p riscv_elf_object_p
3583 #define elf_info_to_howto_rel NULL
3584 #define elf_info_to_howto riscv_info_to_howto_rela
3585 #define bfd_elfNN_bfd_relax_section _bfd_riscv_relax_section
3587 #define elf_backend_init_index_section _bfd_elf_init_1_index_section
3589 #define elf_backend_can_gc_sections 1
3590 #define elf_backend_can_refcount 1
3591 #define elf_backend_want_got_plt 1
3592 #define elf_backend_plt_readonly 1
3593 #define elf_backend_plt_alignment 4
3594 #define elf_backend_want_plt_sym 1
3595 #define elf_backend_got_header_size (ARCH_SIZE / 8)
3596 #define elf_backend_want_dynrelro 1
3597 #define elf_backend_rela_normal 1
3598 #define elf_backend_default_execstack 0
3600 #include "elfNN-target.h"