ELF: Don't set non_ir_ref_regular in check_relocs
[deliverable/binutils-gdb.git] / bfd / elfnn-riscv.c
CommitLineData
e23eba97 1/* RISC-V-specific support for NN-bit ELF.
2571583a 2 Copyright (C) 2011-2017 Free Software Foundation, Inc.
e23eba97
NC
3
4 Contributed by Andrew Waterman (andrew@sifive.com).
5 Based on TILE-Gx and MIPS targets.
6
7 This file is part of BFD, the Binary File Descriptor library.
8
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.
13
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.
18
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/>. */
22
23/* This file handles RISC-V ELF targets. */
24
25#include "sysdep.h"
26#include "bfd.h"
27#include "libbfd.h"
28#include "bfdlink.h"
29#include "genlink.h"
30#include "elf-bfd.h"
31#include "elfxx-riscv.h"
32#include "elf/riscv.h"
33#include "opcode/riscv.h"
34
ff6f4d9b
PD
35/* Internal relocations used exclusively by the relaxation pass. */
36#define R_RISCV_DELETE (R_RISCV_max + 1)
37
e23eba97
NC
38#define ARCH_SIZE NN
39
40#define MINUS_ONE ((bfd_vma)0 - 1)
41
42#define RISCV_ELF_LOG_WORD_BYTES (ARCH_SIZE == 32 ? 2 : 3)
43
44#define RISCV_ELF_WORD_BYTES (1 << RISCV_ELF_LOG_WORD_BYTES)
45
46/* The name of the dynamic interpreter. This is put in the .interp
47 section. */
48
49#define ELF64_DYNAMIC_INTERPRETER "/lib/ld.so.1"
50#define ELF32_DYNAMIC_INTERPRETER "/lib32/ld.so.1"
51
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
57
58/* The RISC-V linker needs to keep track of the number of relocs that it
59 decides to copy as dynamic relocs in check_relocs for each symbol.
60 This is so that it can later discard them if they are found to be
61 unnecessary. We store the information in a field extending the
62 regular ELF linker hash table. */
63
64struct riscv_elf_dyn_relocs
65{
66 struct riscv_elf_dyn_relocs *next;
67
68 /* The input section of the reloc. */
69 asection *sec;
70
71 /* Total number of relocs copied for the input section. */
72 bfd_size_type count;
73
74 /* Number of pc-relative relocs copied for the input section. */
75 bfd_size_type pc_count;
76};
77
78/* RISC-V ELF linker hash entry. */
79
80struct riscv_elf_link_hash_entry
81{
82 struct elf_link_hash_entry elf;
83
84 /* Track dynamic relocs copied for this symbol. */
85 struct riscv_elf_dyn_relocs *dyn_relocs;
86
87#define GOT_UNKNOWN 0
88#define GOT_NORMAL 1
89#define GOT_TLS_GD 2
90#define GOT_TLS_IE 4
91#define GOT_TLS_LE 8
92 char tls_type;
93};
94
95#define riscv_elf_hash_entry(ent) \
96 ((struct riscv_elf_link_hash_entry *)(ent))
97
98struct _bfd_riscv_elf_obj_tdata
99{
100 struct elf_obj_tdata root;
101
102 /* tls_type for each local got entry. */
103 char *local_got_tls_type;
104};
105
106#define _bfd_riscv_elf_tdata(abfd) \
107 ((struct _bfd_riscv_elf_obj_tdata *) (abfd)->tdata.any)
108
109#define _bfd_riscv_elf_local_got_tls_type(abfd) \
110 (_bfd_riscv_elf_tdata (abfd)->local_got_tls_type)
111
112#define _bfd_riscv_elf_tls_type(abfd, h, symndx) \
113 (*((h) != NULL ? &riscv_elf_hash_entry (h)->tls_type \
114 : &_bfd_riscv_elf_local_got_tls_type (abfd) [symndx]))
115
116#define is_riscv_elf(bfd) \
117 (bfd_get_flavour (bfd) == bfd_target_elf_flavour \
118 && elf_tdata (bfd) != NULL \
119 && elf_object_id (bfd) == RISCV_ELF_DATA)
120
121#include "elf/common.h"
122#include "elf/internal.h"
123
124struct riscv_elf_link_hash_table
125{
126 struct elf_link_hash_table elf;
127
128 /* Short-cuts to get to dynamic linker sections. */
e23eba97
NC
129 asection *sdyntdata;
130
131 /* Small local sym to section mapping cache. */
132 struct sym_cache sym_cache;
fc3c5343
L
133
134 /* The max alignment of output sections. */
135 bfd_vma max_alignment;
e23eba97
NC
136};
137
138
139/* Get the RISC-V ELF linker hash table from a link_info structure. */
140#define riscv_elf_hash_table(p) \
141 (elf_hash_table_id ((struct elf_link_hash_table *) ((p)->hash)) \
142 == RISCV_ELF_DATA ? ((struct riscv_elf_link_hash_table *) ((p)->hash)) : NULL)
143
144static void
145riscv_info_to_howto_rela (bfd *abfd ATTRIBUTE_UNUSED,
146 arelent *cache_ptr,
147 Elf_Internal_Rela *dst)
148{
149 cache_ptr->howto = riscv_elf_rtype_to_howto (ELFNN_R_TYPE (dst->r_info));
150}
151
152static void
153riscv_elf_append_rela (bfd *abfd, asection *s, Elf_Internal_Rela *rel)
154{
155 const struct elf_backend_data *bed;
156 bfd_byte *loc;
157
158 bed = get_elf_backend_data (abfd);
159 loc = s->contents + (s->reloc_count++ * bed->s->sizeof_rela);
160 bed->s->swap_reloca_out (abfd, rel, loc);
161}
162
163/* PLT/GOT stuff. */
164
165#define PLT_HEADER_INSNS 8
166#define PLT_ENTRY_INSNS 4
167#define PLT_HEADER_SIZE (PLT_HEADER_INSNS * 4)
168#define PLT_ENTRY_SIZE (PLT_ENTRY_INSNS * 4)
169
170#define GOT_ENTRY_SIZE RISCV_ELF_WORD_BYTES
171
172#define GOTPLT_HEADER_SIZE (2 * GOT_ENTRY_SIZE)
173
174#define sec_addr(sec) ((sec)->output_section->vma + (sec)->output_offset)
175
176static bfd_vma
177riscv_elf_got_plt_val (bfd_vma plt_index, struct bfd_link_info *info)
178{
179 return sec_addr (riscv_elf_hash_table (info)->elf.sgotplt)
180 + GOTPLT_HEADER_SIZE + (plt_index * GOT_ENTRY_SIZE);
181}
182
183#if ARCH_SIZE == 32
184# define MATCH_LREG MATCH_LW
185#else
186# define MATCH_LREG MATCH_LD
187#endif
188
189/* Generate a PLT header. */
190
191static void
192riscv_make_plt_header (bfd_vma gotplt_addr, bfd_vma addr, uint32_t *entry)
193{
194 bfd_vma gotplt_offset_high = RISCV_PCREL_HIGH_PART (gotplt_addr, addr);
195 bfd_vma gotplt_offset_low = RISCV_PCREL_LOW_PART (gotplt_addr, addr);
196
197 /* auipc t2, %hi(.got.plt)
198 sub t1, t1, t3 # shifted .got.plt offset + hdr size + 12
199 l[w|d] t3, %lo(.got.plt)(t2) # _dl_runtime_resolve
200 addi t1, t1, -(hdr size + 12) # shifted .got.plt offset
201 addi t0, t2, %lo(.got.plt) # &.got.plt
202 srli t1, t1, log2(16/PTRSIZE) # .got.plt offset
203 l[w|d] t0, PTRSIZE(t0) # link map
204 jr t3 */
205
206 entry[0] = RISCV_UTYPE (AUIPC, X_T2, gotplt_offset_high);
207 entry[1] = RISCV_RTYPE (SUB, X_T1, X_T1, X_T3);
208 entry[2] = RISCV_ITYPE (LREG, X_T3, X_T2, gotplt_offset_low);
209 entry[3] = RISCV_ITYPE (ADDI, X_T1, X_T1, -(PLT_HEADER_SIZE + 12));
210 entry[4] = RISCV_ITYPE (ADDI, X_T0, X_T2, gotplt_offset_low);
211 entry[5] = RISCV_ITYPE (SRLI, X_T1, X_T1, 4 - RISCV_ELF_LOG_WORD_BYTES);
212 entry[6] = RISCV_ITYPE (LREG, X_T0, X_T0, RISCV_ELF_WORD_BYTES);
213 entry[7] = RISCV_ITYPE (JALR, 0, X_T3, 0);
214}
215
216/* Generate a PLT entry. */
217
218static void
219riscv_make_plt_entry (bfd_vma got, bfd_vma addr, uint32_t *entry)
220{
221 /* auipc t3, %hi(.got.plt entry)
222 l[w|d] t3, %lo(.got.plt entry)(t3)
223 jalr t1, t3
224 nop */
225
226 entry[0] = RISCV_UTYPE (AUIPC, X_T3, RISCV_PCREL_HIGH_PART (got, addr));
1d65abb5 227 entry[1] = RISCV_ITYPE (LREG, X_T3, X_T3, RISCV_PCREL_LOW_PART (got, addr));
e23eba97
NC
228 entry[2] = RISCV_ITYPE (JALR, X_T1, X_T3, 0);
229 entry[3] = RISCV_NOP;
230}
231
232/* Create an entry in an RISC-V ELF linker hash table. */
233
234static struct bfd_hash_entry *
235link_hash_newfunc (struct bfd_hash_entry *entry,
236 struct bfd_hash_table *table, const char *string)
237{
238 /* Allocate the structure if it has not already been allocated by a
239 subclass. */
240 if (entry == NULL)
241 {
242 entry =
243 bfd_hash_allocate (table,
244 sizeof (struct riscv_elf_link_hash_entry));
245 if (entry == NULL)
246 return entry;
247 }
248
249 /* Call the allocation method of the superclass. */
250 entry = _bfd_elf_link_hash_newfunc (entry, table, string);
251 if (entry != NULL)
252 {
253 struct riscv_elf_link_hash_entry *eh;
254
255 eh = (struct riscv_elf_link_hash_entry *) entry;
256 eh->dyn_relocs = NULL;
257 eh->tls_type = GOT_UNKNOWN;
258 }
259
260 return entry;
261}
262
263/* Create a RISC-V ELF linker hash table. */
264
265static struct bfd_link_hash_table *
266riscv_elf_link_hash_table_create (bfd *abfd)
267{
268 struct riscv_elf_link_hash_table *ret;
269 bfd_size_type amt = sizeof (struct riscv_elf_link_hash_table);
270
271 ret = (struct riscv_elf_link_hash_table *) bfd_zmalloc (amt);
272 if (ret == NULL)
273 return NULL;
274
275 if (!_bfd_elf_link_hash_table_init (&ret->elf, abfd, link_hash_newfunc,
276 sizeof (struct riscv_elf_link_hash_entry),
277 RISCV_ELF_DATA))
278 {
279 free (ret);
280 return NULL;
281 }
282
fc3c5343 283 ret->max_alignment = (bfd_vma) -1;
e23eba97
NC
284 return &ret->elf.root;
285}
286
287/* Create the .got section. */
288
289static bfd_boolean
290riscv_elf_create_got_section (bfd *abfd, struct bfd_link_info *info)
291{
292 flagword flags;
293 asection *s, *s_got;
294 struct elf_link_hash_entry *h;
295 const struct elf_backend_data *bed = get_elf_backend_data (abfd);
296 struct elf_link_hash_table *htab = elf_hash_table (info);
297
298 /* This function may be called more than once. */
ce558b89 299 if (htab->sgot != NULL)
e23eba97
NC
300 return TRUE;
301
302 flags = bed->dynamic_sec_flags;
303
304 s = bfd_make_section_anyway_with_flags (abfd,
305 (bed->rela_plts_and_copies_p
306 ? ".rela.got" : ".rel.got"),
307 (bed->dynamic_sec_flags
308 | SEC_READONLY));
309 if (s == NULL
310 || ! bfd_set_section_alignment (abfd, s, bed->s->log_file_align))
311 return FALSE;
312 htab->srelgot = s;
313
314 s = s_got = bfd_make_section_anyway_with_flags (abfd, ".got", flags);
315 if (s == NULL
316 || !bfd_set_section_alignment (abfd, s, bed->s->log_file_align))
317 return FALSE;
318 htab->sgot = s;
319
320 /* The first bit of the global offset table is the header. */
321 s->size += bed->got_header_size;
322
323 if (bed->want_got_plt)
324 {
325 s = bfd_make_section_anyway_with_flags (abfd, ".got.plt", flags);
326 if (s == NULL
327 || !bfd_set_section_alignment (abfd, s,
328 bed->s->log_file_align))
329 return FALSE;
330 htab->sgotplt = s;
331
332 /* Reserve room for the header. */
333 s->size += GOTPLT_HEADER_SIZE;
334 }
335
336 if (bed->want_got_sym)
337 {
338 /* Define the symbol _GLOBAL_OFFSET_TABLE_ at the start of the .got
339 section. We don't do this in the linker script because we don't want
340 to define the symbol if we are not creating a global offset
341 table. */
342 h = _bfd_elf_define_linkage_sym (abfd, info, s_got,
343 "_GLOBAL_OFFSET_TABLE_");
344 elf_hash_table (info)->hgot = h;
345 if (h == NULL)
346 return FALSE;
347 }
348
349 return TRUE;
350}
351
352/* Create .plt, .rela.plt, .got, .got.plt, .rela.got, .dynbss, and
353 .rela.bss sections in DYNOBJ, and set up shortcuts to them in our
354 hash table. */
355
356static bfd_boolean
357riscv_elf_create_dynamic_sections (bfd *dynobj,
358 struct bfd_link_info *info)
359{
360 struct riscv_elf_link_hash_table *htab;
361
362 htab = riscv_elf_hash_table (info);
363 BFD_ASSERT (htab != NULL);
364
365 if (!riscv_elf_create_got_section (dynobj, info))
366 return FALSE;
367
368 if (!_bfd_elf_create_dynamic_sections (dynobj, info))
369 return FALSE;
370
e23eba97
NC
371 if (!bfd_link_pic (info))
372 {
e23eba97
NC
373 htab->sdyntdata =
374 bfd_make_section_anyway_with_flags (dynobj, ".tdata.dyn",
375 SEC_ALLOC | SEC_THREAD_LOCAL);
376 }
377
9d19e4fd
AM
378 if (!htab->elf.splt || !htab->elf.srelplt || !htab->elf.sdynbss
379 || (!bfd_link_pic (info) && (!htab->elf.srelbss || !htab->sdyntdata)))
e23eba97
NC
380 abort ();
381
382 return TRUE;
383}
384
385/* Copy the extra info we tack onto an elf_link_hash_entry. */
386
387static void
388riscv_elf_copy_indirect_symbol (struct bfd_link_info *info,
389 struct elf_link_hash_entry *dir,
390 struct elf_link_hash_entry *ind)
391{
392 struct riscv_elf_link_hash_entry *edir, *eind;
393
394 edir = (struct riscv_elf_link_hash_entry *) dir;
395 eind = (struct riscv_elf_link_hash_entry *) ind;
396
397 if (eind->dyn_relocs != NULL)
398 {
399 if (edir->dyn_relocs != NULL)
400 {
401 struct riscv_elf_dyn_relocs **pp;
402 struct riscv_elf_dyn_relocs *p;
403
404 /* Add reloc counts against the indirect sym to the direct sym
405 list. Merge any entries against the same section. */
406 for (pp = &eind->dyn_relocs; (p = *pp) != NULL; )
407 {
408 struct riscv_elf_dyn_relocs *q;
409
410 for (q = edir->dyn_relocs; q != NULL; q = q->next)
411 if (q->sec == p->sec)
412 {
413 q->pc_count += p->pc_count;
414 q->count += p->count;
415 *pp = p->next;
416 break;
417 }
418 if (q == NULL)
419 pp = &p->next;
420 }
421 *pp = edir->dyn_relocs;
422 }
423
424 edir->dyn_relocs = eind->dyn_relocs;
425 eind->dyn_relocs = NULL;
426 }
427
428 if (ind->root.type == bfd_link_hash_indirect
429 && dir->got.refcount <= 0)
430 {
431 edir->tls_type = eind->tls_type;
432 eind->tls_type = GOT_UNKNOWN;
433 }
434 _bfd_elf_link_hash_copy_indirect (info, dir, ind);
435}
436
437static bfd_boolean
438riscv_elf_record_tls_type (bfd *abfd, struct elf_link_hash_entry *h,
439 unsigned long symndx, char tls_type)
440{
441 char *new_tls_type = &_bfd_riscv_elf_tls_type (abfd, h, symndx);
442
443 *new_tls_type |= tls_type;
444 if ((*new_tls_type & GOT_NORMAL) && (*new_tls_type & ~GOT_NORMAL))
445 {
446 (*_bfd_error_handler)
447 (_("%B: `%s' accessed both as normal and thread local symbol"),
448 abfd, h ? h->root.root.string : "<local>");
449 return FALSE;
450 }
451 return TRUE;
452}
453
454static bfd_boolean
455riscv_elf_record_got_reference (bfd *abfd, struct bfd_link_info *info,
456 struct elf_link_hash_entry *h, long symndx)
457{
458 struct riscv_elf_link_hash_table *htab = riscv_elf_hash_table (info);
459 Elf_Internal_Shdr *symtab_hdr = &elf_tdata (abfd)->symtab_hdr;
460
461 if (htab->elf.sgot == NULL)
462 {
463 if (!riscv_elf_create_got_section (htab->elf.dynobj, info))
464 return FALSE;
465 }
466
467 if (h != NULL)
468 {
469 h->got.refcount += 1;
470 return TRUE;
471 }
472
473 /* This is a global offset table entry for a local symbol. */
474 if (elf_local_got_refcounts (abfd) == NULL)
475 {
476 bfd_size_type size = symtab_hdr->sh_info * (sizeof (bfd_vma) + 1);
477 if (!(elf_local_got_refcounts (abfd) = bfd_zalloc (abfd, size)))
478 return FALSE;
479 _bfd_riscv_elf_local_got_tls_type (abfd)
480 = (char *) (elf_local_got_refcounts (abfd) + symtab_hdr->sh_info);
481 }
482 elf_local_got_refcounts (abfd) [symndx] += 1;
483
484 return TRUE;
485}
486
487static bfd_boolean
488bad_static_reloc (bfd *abfd, unsigned r_type, struct elf_link_hash_entry *h)
489{
490 (*_bfd_error_handler)
491 (_("%B: relocation %s against `%s' can not be used when making a shared "
492 "object; recompile with -fPIC"),
493 abfd, riscv_elf_rtype_to_howto (r_type)->name,
494 h != NULL ? h->root.root.string : "a local symbol");
495 bfd_set_error (bfd_error_bad_value);
496 return FALSE;
497}
498/* Look through the relocs for a section during the first phase, and
499 allocate space in the global offset table or procedure linkage
500 table. */
501
502static bfd_boolean
503riscv_elf_check_relocs (bfd *abfd, struct bfd_link_info *info,
504 asection *sec, const Elf_Internal_Rela *relocs)
505{
506 struct riscv_elf_link_hash_table *htab;
507 Elf_Internal_Shdr *symtab_hdr;
508 struct elf_link_hash_entry **sym_hashes;
509 const Elf_Internal_Rela *rel;
510 asection *sreloc = NULL;
511
512 if (bfd_link_relocatable (info))
513 return TRUE;
514
515 htab = riscv_elf_hash_table (info);
516 symtab_hdr = &elf_tdata (abfd)->symtab_hdr;
517 sym_hashes = elf_sym_hashes (abfd);
518
519 if (htab->elf.dynobj == NULL)
520 htab->elf.dynobj = abfd;
521
522 for (rel = relocs; rel < relocs + sec->reloc_count; rel++)
523 {
524 unsigned int r_type;
d42c267e 525 unsigned int r_symndx;
e23eba97
NC
526 struct elf_link_hash_entry *h;
527
528 r_symndx = ELFNN_R_SYM (rel->r_info);
529 r_type = ELFNN_R_TYPE (rel->r_info);
530
531 if (r_symndx >= NUM_SHDR_ENTRIES (symtab_hdr))
532 {
533 (*_bfd_error_handler) (_("%B: bad symbol index: %d"),
534 abfd, r_symndx);
535 return FALSE;
536 }
537
538 if (r_symndx < symtab_hdr->sh_info)
539 h = NULL;
540 else
541 {
542 h = sym_hashes[r_symndx - symtab_hdr->sh_info];
543 while (h->root.type == bfd_link_hash_indirect
544 || h->root.type == bfd_link_hash_warning)
545 h = (struct elf_link_hash_entry *) h->root.u.i.link;
e23eba97
NC
546 }
547
548 switch (r_type)
549 {
550 case R_RISCV_TLS_GD_HI20:
551 if (!riscv_elf_record_got_reference (abfd, info, h, r_symndx)
552 || !riscv_elf_record_tls_type (abfd, h, r_symndx, GOT_TLS_GD))
553 return FALSE;
554 break;
555
556 case R_RISCV_TLS_GOT_HI20:
557 if (bfd_link_pic (info))
558 info->flags |= DF_STATIC_TLS;
559 if (!riscv_elf_record_got_reference (abfd, info, h, r_symndx)
560 || !riscv_elf_record_tls_type (abfd, h, r_symndx, GOT_TLS_IE))
561 return FALSE;
562 break;
563
564 case R_RISCV_GOT_HI20:
565 if (!riscv_elf_record_got_reference (abfd, info, h, r_symndx)
566 || !riscv_elf_record_tls_type (abfd, h, r_symndx, GOT_NORMAL))
567 return FALSE;
568 break;
569
570 case R_RISCV_CALL_PLT:
571 /* This symbol requires a procedure linkage table entry. We
572 actually build the entry in adjust_dynamic_symbol,
573 because this might be a case of linking PIC code without
574 linking in any dynamic objects, in which case we don't
575 need to generate a procedure linkage table after all. */
576
577 if (h != NULL)
578 {
579 h->needs_plt = 1;
580 h->plt.refcount += 1;
581 }
582 break;
583
584 case R_RISCV_CALL:
585 case R_RISCV_JAL:
586 case R_RISCV_BRANCH:
587 case R_RISCV_RVC_BRANCH:
588 case R_RISCV_RVC_JUMP:
589 case R_RISCV_PCREL_HI20:
590 /* In shared libraries, these relocs are known to bind locally. */
591 if (bfd_link_pic (info))
592 break;
593 goto static_reloc;
594
595 case R_RISCV_TPREL_HI20:
596 if (!bfd_link_executable (info))
597 return bad_static_reloc (abfd, r_type, h);
598 if (h != NULL)
599 riscv_elf_record_tls_type (abfd, h, r_symndx, GOT_TLS_LE);
600 goto static_reloc;
601
602 case R_RISCV_HI20:
603 if (bfd_link_pic (info))
604 return bad_static_reloc (abfd, r_type, h);
605 /* Fall through. */
606
607 case R_RISCV_COPY:
608 case R_RISCV_JUMP_SLOT:
609 case R_RISCV_RELATIVE:
610 case R_RISCV_64:
611 case R_RISCV_32:
612 /* Fall through. */
613
614 static_reloc:
615 /* This reloc might not bind locally. */
616 if (h != NULL)
617 h->non_got_ref = 1;
618
619 if (h != NULL && !bfd_link_pic (info))
620 {
621 /* We may need a .plt entry if the function this reloc
622 refers to is in a shared lib. */
623 h->plt.refcount += 1;
624 }
625
626 /* If we are creating a shared library, and this is a reloc
627 against a global symbol, or a non PC relative reloc
628 against a local symbol, then we need to copy the reloc
629 into the shared library. However, if we are linking with
630 -Bsymbolic, we do not need to copy a reloc against a
631 global symbol which is defined in an object we are
632 including in the link (i.e., DEF_REGULAR is set). At
633 this point we have not seen all the input files, so it is
634 possible that DEF_REGULAR is not set now but will be set
635 later (it is never cleared). In case of a weak definition,
636 DEF_REGULAR may be cleared later by a strong definition in
637 a shared library. We account for that possibility below by
638 storing information in the relocs_copied field of the hash
639 table entry. A similar situation occurs when creating
640 shared libraries and symbol visibility changes render the
641 symbol local.
642
643 If on the other hand, we are creating an executable, we
644 may need to keep relocations for symbols satisfied by a
645 dynamic library if we manage to avoid copy relocs for the
646 symbol. */
647 if ((bfd_link_pic (info)
648 && (sec->flags & SEC_ALLOC) != 0
649 && (! riscv_elf_rtype_to_howto (r_type)->pc_relative
650 || (h != NULL
651 && (! info->symbolic
652 || h->root.type == bfd_link_hash_defweak
653 || !h->def_regular))))
654 || (!bfd_link_pic (info)
655 && (sec->flags & SEC_ALLOC) != 0
656 && h != NULL
657 && (h->root.type == bfd_link_hash_defweak
658 || !h->def_regular)))
659 {
660 struct riscv_elf_dyn_relocs *p;
661 struct riscv_elf_dyn_relocs **head;
662
663 /* When creating a shared object, we must copy these
664 relocs into the output file. We create a reloc
665 section in dynobj and make room for the reloc. */
666 if (sreloc == NULL)
667 {
668 sreloc = _bfd_elf_make_dynamic_reloc_section
669 (sec, htab->elf.dynobj, RISCV_ELF_LOG_WORD_BYTES,
670 abfd, /*rela?*/ TRUE);
671
672 if (sreloc == NULL)
673 return FALSE;
674 }
675
676 /* If this is a global symbol, we count the number of
677 relocations we need for this symbol. */
678 if (h != NULL)
679 head = &((struct riscv_elf_link_hash_entry *) h)->dyn_relocs;
680 else
681 {
682 /* Track dynamic relocs needed for local syms too.
683 We really need local syms available to do this
684 easily. Oh well. */
685
686 asection *s;
687 void *vpp;
688 Elf_Internal_Sym *isym;
689
690 isym = bfd_sym_from_r_symndx (&htab->sym_cache,
691 abfd, r_symndx);
692 if (isym == NULL)
693 return FALSE;
694
695 s = bfd_section_from_elf_index (abfd, isym->st_shndx);
696 if (s == NULL)
697 s = sec;
698
699 vpp = &elf_section_data (s)->local_dynrel;
700 head = (struct riscv_elf_dyn_relocs **) vpp;
701 }
702
703 p = *head;
704 if (p == NULL || p->sec != sec)
705 {
706 bfd_size_type amt = sizeof *p;
707 p = ((struct riscv_elf_dyn_relocs *)
708 bfd_alloc (htab->elf.dynobj, amt));
709 if (p == NULL)
710 return FALSE;
711 p->next = *head;
712 *head = p;
713 p->sec = sec;
714 p->count = 0;
715 p->pc_count = 0;
716 }
717
718 p->count += 1;
719 p->pc_count += riscv_elf_rtype_to_howto (r_type)->pc_relative;
720 }
721
722 break;
723
724 case R_RISCV_GNU_VTINHERIT:
725 if (!bfd_elf_gc_record_vtinherit (abfd, sec, h, rel->r_offset))
726 return FALSE;
727 break;
728
729 case R_RISCV_GNU_VTENTRY:
730 if (!bfd_elf_gc_record_vtentry (abfd, sec, h, rel->r_addend))
731 return FALSE;
732 break;
733
734 default:
735 break;
736 }
737 }
738
739 return TRUE;
740}
741
742static asection *
743riscv_elf_gc_mark_hook (asection *sec,
744 struct bfd_link_info *info,
745 Elf_Internal_Rela *rel,
746 struct elf_link_hash_entry *h,
747 Elf_Internal_Sym *sym)
748{
749 if (h != NULL)
750 switch (ELFNN_R_TYPE (rel->r_info))
751 {
752 case R_RISCV_GNU_VTINHERIT:
753 case R_RISCV_GNU_VTENTRY:
754 return NULL;
755 }
756
757 return _bfd_elf_gc_mark_hook (sec, info, rel, h, sym);
758}
759
e23eba97
NC
760/* Adjust a symbol defined by a dynamic object and referenced by a
761 regular object. The current definition is in some section of the
762 dynamic object, but we're not including those sections. We have to
763 change the definition to something the rest of the link can
764 understand. */
765
766static bfd_boolean
767riscv_elf_adjust_dynamic_symbol (struct bfd_link_info *info,
768 struct elf_link_hash_entry *h)
769{
770 struct riscv_elf_link_hash_table *htab;
771 struct riscv_elf_link_hash_entry * eh;
772 struct riscv_elf_dyn_relocs *p;
773 bfd *dynobj;
5474d94f 774 asection *s, *srel;
e23eba97
NC
775
776 htab = riscv_elf_hash_table (info);
777 BFD_ASSERT (htab != NULL);
778
779 dynobj = htab->elf.dynobj;
780
781 /* Make sure we know what is going on here. */
782 BFD_ASSERT (dynobj != NULL
783 && (h->needs_plt
784 || h->type == STT_GNU_IFUNC
60d67dc8 785 || h->is_weakalias
e23eba97
NC
786 || (h->def_dynamic
787 && h->ref_regular
788 && !h->def_regular)));
789
790 /* If this is a function, put it in the procedure linkage table. We
791 will fill in the contents of the procedure linkage table later
792 (although we could actually do it here). */
793 if (h->type == STT_FUNC || h->type == STT_GNU_IFUNC || h->needs_plt)
794 {
795 if (h->plt.refcount <= 0
796 || SYMBOL_CALLS_LOCAL (info, h)
797 || (ELF_ST_VISIBILITY (h->other) != STV_DEFAULT
798 && h->root.type == bfd_link_hash_undefweak))
799 {
800 /* This case can occur if we saw a R_RISCV_CALL_PLT reloc in an
801 input file, but the symbol was never referred to by a dynamic
802 object, or if all references were garbage collected. In such
803 a case, we don't actually need to build a PLT entry. */
804 h->plt.offset = (bfd_vma) -1;
805 h->needs_plt = 0;
806 }
807
808 return TRUE;
809 }
810 else
811 h->plt.offset = (bfd_vma) -1;
812
813 /* If this is a weak symbol, and there is a real definition, the
814 processor independent code will have arranged for us to see the
815 real definition first, and we can just use the same value. */
60d67dc8 816 if (h->is_weakalias)
e23eba97 817 {
60d67dc8
AM
818 struct elf_link_hash_entry *def = weakdef (h);
819 BFD_ASSERT (def->root.type == bfd_link_hash_defined);
820 h->root.u.def.section = def->root.u.def.section;
821 h->root.u.def.value = def->root.u.def.value;
e23eba97
NC
822 return TRUE;
823 }
824
825 /* This is a reference to a symbol defined by a dynamic object which
826 is not a function. */
827
828 /* If we are creating a shared library, we must presume that the
829 only references to the symbol are via the global offset table.
830 For such cases we need not do anything here; the relocations will
831 be handled correctly by relocate_section. */
832 if (bfd_link_pic (info))
833 return TRUE;
834
835 /* If there are no references to this symbol that do not use the
836 GOT, we don't need to generate a copy reloc. */
837 if (!h->non_got_ref)
838 return TRUE;
839
840 /* If -z nocopyreloc was given, we won't generate them either. */
841 if (info->nocopyreloc)
842 {
843 h->non_got_ref = 0;
844 return TRUE;
845 }
846
847 eh = (struct riscv_elf_link_hash_entry *) h;
848 for (p = eh->dyn_relocs; p != NULL; p = p->next)
849 {
850 s = p->sec->output_section;
851 if (s != NULL && (s->flags & SEC_READONLY) != 0)
852 break;
853 }
854
855 /* If we didn't find any dynamic relocs in read-only sections, then
856 we'll be keeping the dynamic relocs and avoiding the copy reloc. */
857 if (p == NULL)
858 {
859 h->non_got_ref = 0;
860 return TRUE;
861 }
862
863 /* We must allocate the symbol in our .dynbss section, which will
864 become part of the .bss section of the executable. There will be
865 an entry for this symbol in the .dynsym section. The dynamic
866 object will contain position independent code, so all references
867 from the dynamic object to this symbol will go through the global
868 offset table. The dynamic linker will use the .dynsym entry to
869 determine the address it must put in the global offset table, so
870 both the dynamic object and the regular object will refer to the
871 same memory location for the variable. */
872
873 /* We must generate a R_RISCV_COPY reloc to tell the dynamic linker
874 to copy the initial value out of the dynamic object and into the
875 runtime process image. We need to remember the offset into the
876 .rel.bss section we are going to use. */
3df5cd13
AW
877 if (eh->tls_type & ~GOT_NORMAL)
878 {
879 s = htab->sdyntdata;
880 srel = htab->elf.srelbss;
881 }
882 else if ((h->root.u.def.section->flags & SEC_READONLY) != 0)
5474d94f
AM
883 {
884 s = htab->elf.sdynrelro;
885 srel = htab->elf.sreldynrelro;
886 }
887 else
888 {
889 s = htab->elf.sdynbss;
890 srel = htab->elf.srelbss;
891 }
e23eba97
NC
892 if ((h->root.u.def.section->flags & SEC_ALLOC) != 0 && h->size != 0)
893 {
5474d94f 894 srel->size += sizeof (ElfNN_External_Rela);
e23eba97
NC
895 h->needs_copy = 1;
896 }
897
5474d94f 898 return _bfd_elf_adjust_dynamic_copy (info, h, s);
e23eba97
NC
899}
900
901/* Allocate space in .plt, .got and associated reloc sections for
902 dynamic relocs. */
903
904static bfd_boolean
905allocate_dynrelocs (struct elf_link_hash_entry *h, void *inf)
906{
907 struct bfd_link_info *info;
908 struct riscv_elf_link_hash_table *htab;
909 struct riscv_elf_link_hash_entry *eh;
910 struct riscv_elf_dyn_relocs *p;
911
912 if (h->root.type == bfd_link_hash_indirect)
913 return TRUE;
914
915 info = (struct bfd_link_info *) inf;
916 htab = riscv_elf_hash_table (info);
917 BFD_ASSERT (htab != NULL);
918
919 if (htab->elf.dynamic_sections_created
920 && h->plt.refcount > 0)
921 {
922 /* Make sure this symbol is output as a dynamic symbol.
923 Undefined weak syms won't yet be marked as dynamic. */
924 if (h->dynindx == -1
925 && !h->forced_local)
926 {
927 if (! bfd_elf_link_record_dynamic_symbol (info, h))
928 return FALSE;
929 }
930
931 if (WILL_CALL_FINISH_DYNAMIC_SYMBOL (1, bfd_link_pic (info), h))
932 {
933 asection *s = htab->elf.splt;
934
935 if (s->size == 0)
936 s->size = PLT_HEADER_SIZE;
937
938 h->plt.offset = s->size;
939
940 /* Make room for this entry. */
941 s->size += PLT_ENTRY_SIZE;
942
943 /* We also need to make an entry in the .got.plt section. */
944 htab->elf.sgotplt->size += GOT_ENTRY_SIZE;
945
946 /* We also need to make an entry in the .rela.plt section. */
947 htab->elf.srelplt->size += sizeof (ElfNN_External_Rela);
948
949 /* If this symbol is not defined in a regular file, and we are
950 not generating a shared library, then set the symbol to this
951 location in the .plt. This is required to make function
952 pointers compare as equal between the normal executable and
953 the shared library. */
954 if (! bfd_link_pic (info)
955 && !h->def_regular)
956 {
957 h->root.u.def.section = s;
958 h->root.u.def.value = h->plt.offset;
959 }
960 }
961 else
962 {
963 h->plt.offset = (bfd_vma) -1;
964 h->needs_plt = 0;
965 }
966 }
967 else
968 {
969 h->plt.offset = (bfd_vma) -1;
970 h->needs_plt = 0;
971 }
972
973 if (h->got.refcount > 0)
974 {
975 asection *s;
976 bfd_boolean dyn;
977 int tls_type = riscv_elf_hash_entry (h)->tls_type;
978
979 /* Make sure this symbol is output as a dynamic symbol.
980 Undefined weak syms won't yet be marked as dynamic. */
981 if (h->dynindx == -1
982 && !h->forced_local)
983 {
984 if (! bfd_elf_link_record_dynamic_symbol (info, h))
985 return FALSE;
986 }
987
988 s = htab->elf.sgot;
989 h->got.offset = s->size;
990 dyn = htab->elf.dynamic_sections_created;
991 if (tls_type & (GOT_TLS_GD | GOT_TLS_IE))
992 {
993 /* TLS_GD needs two dynamic relocs and two GOT slots. */
994 if (tls_type & GOT_TLS_GD)
995 {
996 s->size += 2 * RISCV_ELF_WORD_BYTES;
997 htab->elf.srelgot->size += 2 * sizeof (ElfNN_External_Rela);
998 }
999
1000 /* TLS_IE needs one dynamic reloc and one GOT slot. */
1001 if (tls_type & GOT_TLS_IE)
1002 {
1003 s->size += RISCV_ELF_WORD_BYTES;
1004 htab->elf.srelgot->size += sizeof (ElfNN_External_Rela);
1005 }
1006 }
1007 else
1008 {
1009 s->size += RISCV_ELF_WORD_BYTES;
1010 if (WILL_CALL_FINISH_DYNAMIC_SYMBOL (dyn, bfd_link_pic (info), h))
1011 htab->elf.srelgot->size += sizeof (ElfNN_External_Rela);
1012 }
1013 }
1014 else
1015 h->got.offset = (bfd_vma) -1;
1016
1017 eh = (struct riscv_elf_link_hash_entry *) h;
1018 if (eh->dyn_relocs == NULL)
1019 return TRUE;
1020
1021 /* In the shared -Bsymbolic case, discard space allocated for
1022 dynamic pc-relative relocs against symbols which turn out to be
1023 defined in regular objects. For the normal shared case, discard
1024 space for pc-relative relocs that have become local due to symbol
1025 visibility changes. */
1026
1027 if (bfd_link_pic (info))
1028 {
1029 if (SYMBOL_CALLS_LOCAL (info, h))
1030 {
1031 struct riscv_elf_dyn_relocs **pp;
1032
1033 for (pp = &eh->dyn_relocs; (p = *pp) != NULL; )
1034 {
1035 p->count -= p->pc_count;
1036 p->pc_count = 0;
1037 if (p->count == 0)
1038 *pp = p->next;
1039 else
1040 pp = &p->next;
1041 }
1042 }
1043
1044 /* Also discard relocs on undefined weak syms with non-default
1045 visibility. */
1046 if (eh->dyn_relocs != NULL
1047 && h->root.type == bfd_link_hash_undefweak)
1048 {
1049 if (ELF_ST_VISIBILITY (h->other) != STV_DEFAULT)
1050 eh->dyn_relocs = NULL;
1051
1052 /* Make sure undefined weak symbols are output as a dynamic
1053 symbol in PIEs. */
1054 else if (h->dynindx == -1
1055 && !h->forced_local)
1056 {
1057 if (! bfd_elf_link_record_dynamic_symbol (info, h))
1058 return FALSE;
1059 }
1060 }
1061 }
1062 else
1063 {
1064 /* For the non-shared case, discard space for relocs against
1065 symbols which turn out to need copy relocs or are not
1066 dynamic. */
1067
1068 if (!h->non_got_ref
1069 && ((h->def_dynamic
1070 && !h->def_regular)
1071 || (htab->elf.dynamic_sections_created
1072 && (h->root.type == bfd_link_hash_undefweak
1073 || h->root.type == bfd_link_hash_undefined))))
1074 {
1075 /* Make sure this symbol is output as a dynamic symbol.
1076 Undefined weak syms won't yet be marked as dynamic. */
1077 if (h->dynindx == -1
1078 && !h->forced_local)
1079 {
1080 if (! bfd_elf_link_record_dynamic_symbol (info, h))
1081 return FALSE;
1082 }
1083
1084 /* If that succeeded, we know we'll be keeping all the
1085 relocs. */
1086 if (h->dynindx != -1)
1087 goto keep;
1088 }
1089
1090 eh->dyn_relocs = NULL;
1091
1092 keep: ;
1093 }
1094
1095 /* Finally, allocate space. */
1096 for (p = eh->dyn_relocs; p != NULL; p = p->next)
1097 {
1098 asection *sreloc = elf_section_data (p->sec)->sreloc;
1099 sreloc->size += p->count * sizeof (ElfNN_External_Rela);
1100 }
1101
1102 return TRUE;
1103}
1104
1105/* Find any dynamic relocs that apply to read-only sections. */
1106
1107static bfd_boolean
1108readonly_dynrelocs (struct elf_link_hash_entry *h, void *inf)
1109{
1110 struct riscv_elf_link_hash_entry *eh;
1111 struct riscv_elf_dyn_relocs *p;
1112
1113 eh = (struct riscv_elf_link_hash_entry *) h;
1114 for (p = eh->dyn_relocs; p != NULL; p = p->next)
1115 {
1116 asection *s = p->sec->output_section;
1117
1118 if (s != NULL && (s->flags & SEC_READONLY) != 0)
1119 {
1120 ((struct bfd_link_info *) inf)->flags |= DF_TEXTREL;
1121 return FALSE;
1122 }
1123 }
1124 return TRUE;
1125}
1126
1127static bfd_boolean
1128riscv_elf_size_dynamic_sections (bfd *output_bfd, struct bfd_link_info *info)
1129{
1130 struct riscv_elf_link_hash_table *htab;
1131 bfd *dynobj;
1132 asection *s;
1133 bfd *ibfd;
1134
1135 htab = riscv_elf_hash_table (info);
1136 BFD_ASSERT (htab != NULL);
1137 dynobj = htab->elf.dynobj;
1138 BFD_ASSERT (dynobj != NULL);
1139
1140 if (elf_hash_table (info)->dynamic_sections_created)
1141 {
1142 /* Set the contents of the .interp section to the interpreter. */
1143 if (bfd_link_executable (info) && !info->nointerp)
1144 {
1145 s = bfd_get_linker_section (dynobj, ".interp");
1146 BFD_ASSERT (s != NULL);
1147 s->size = strlen (ELFNN_DYNAMIC_INTERPRETER) + 1;
1148 s->contents = (unsigned char *) ELFNN_DYNAMIC_INTERPRETER;
1149 }
1150 }
1151
1152 /* Set up .got offsets for local syms, and space for local dynamic
1153 relocs. */
1154 for (ibfd = info->input_bfds; ibfd != NULL; ibfd = ibfd->link.next)
1155 {
1156 bfd_signed_vma *local_got;
1157 bfd_signed_vma *end_local_got;
1158 char *local_tls_type;
1159 bfd_size_type locsymcount;
1160 Elf_Internal_Shdr *symtab_hdr;
1161 asection *srel;
1162
1163 if (! is_riscv_elf (ibfd))
1164 continue;
1165
1166 for (s = ibfd->sections; s != NULL; s = s->next)
1167 {
1168 struct riscv_elf_dyn_relocs *p;
1169
1170 for (p = elf_section_data (s)->local_dynrel; p != NULL; p = p->next)
1171 {
1172 if (!bfd_is_abs_section (p->sec)
1173 && bfd_is_abs_section (p->sec->output_section))
1174 {
1175 /* Input section has been discarded, either because
1176 it is a copy of a linkonce section or due to
1177 linker script /DISCARD/, so we'll be discarding
1178 the relocs too. */
1179 }
1180 else if (p->count != 0)
1181 {
1182 srel = elf_section_data (p->sec)->sreloc;
1183 srel->size += p->count * sizeof (ElfNN_External_Rela);
1184 if ((p->sec->output_section->flags & SEC_READONLY) != 0)
1185 info->flags |= DF_TEXTREL;
1186 }
1187 }
1188 }
1189
1190 local_got = elf_local_got_refcounts (ibfd);
1191 if (!local_got)
1192 continue;
1193
1194 symtab_hdr = &elf_symtab_hdr (ibfd);
1195 locsymcount = symtab_hdr->sh_info;
1196 end_local_got = local_got + locsymcount;
1197 local_tls_type = _bfd_riscv_elf_local_got_tls_type (ibfd);
1198 s = htab->elf.sgot;
1199 srel = htab->elf.srelgot;
1200 for (; local_got < end_local_got; ++local_got, ++local_tls_type)
1201 {
1202 if (*local_got > 0)
1203 {
1204 *local_got = s->size;
1205 s->size += RISCV_ELF_WORD_BYTES;
1206 if (*local_tls_type & GOT_TLS_GD)
1207 s->size += RISCV_ELF_WORD_BYTES;
1208 if (bfd_link_pic (info)
1209 || (*local_tls_type & (GOT_TLS_GD | GOT_TLS_IE)))
1210 srel->size += sizeof (ElfNN_External_Rela);
1211 }
1212 else
1213 *local_got = (bfd_vma) -1;
1214 }
1215 }
1216
1217 /* Allocate global sym .plt and .got entries, and space for global
1218 sym dynamic relocs. */
1219 elf_link_hash_traverse (&htab->elf, allocate_dynrelocs, info);
1220
1221 if (htab->elf.sgotplt)
1222 {
1223 struct elf_link_hash_entry *got;
1224 got = elf_link_hash_lookup (elf_hash_table (info),
1225 "_GLOBAL_OFFSET_TABLE_",
1226 FALSE, FALSE, FALSE);
1227
1228 /* Don't allocate .got.plt section if there are no GOT nor PLT
1229 entries and there is no refeence to _GLOBAL_OFFSET_TABLE_. */
1230 if ((got == NULL
1231 || !got->ref_regular_nonweak)
1232 && (htab->elf.sgotplt->size == GOTPLT_HEADER_SIZE)
1233 && (htab->elf.splt == NULL
1234 || htab->elf.splt->size == 0)
1235 && (htab->elf.sgot == NULL
1236 || (htab->elf.sgot->size
1237 == get_elf_backend_data (output_bfd)->got_header_size)))
1238 htab->elf.sgotplt->size = 0;
1239 }
1240
1241 /* The check_relocs and adjust_dynamic_symbol entry points have
1242 determined the sizes of the various dynamic sections. Allocate
1243 memory for them. */
1244 for (s = dynobj->sections; s != NULL; s = s->next)
1245 {
1246 if ((s->flags & SEC_LINKER_CREATED) == 0)
1247 continue;
1248
1249 if (s == htab->elf.splt
1250 || s == htab->elf.sgot
1251 || s == htab->elf.sgotplt
5474d94f
AM
1252 || s == htab->elf.sdynbss
1253 || s == htab->elf.sdynrelro)
e23eba97
NC
1254 {
1255 /* Strip this section if we don't need it; see the
1256 comment below. */
1257 }
1258 else if (strncmp (s->name, ".rela", 5) == 0)
1259 {
1260 if (s->size != 0)
1261 {
1262 /* We use the reloc_count field as a counter if we need
1263 to copy relocs into the output file. */
1264 s->reloc_count = 0;
1265 }
1266 }
1267 else
1268 {
1269 /* It's not one of our sections. */
1270 continue;
1271 }
1272
1273 if (s->size == 0)
1274 {
1275 /* If we don't need this section, strip it from the
1276 output file. This is mostly to handle .rela.bss and
1277 .rela.plt. We must create both sections in
1278 create_dynamic_sections, because they must be created
1279 before the linker maps input sections to output
1280 sections. The linker does that before
1281 adjust_dynamic_symbol is called, and it is that
1282 function which decides whether anything needs to go
1283 into these sections. */
1284 s->flags |= SEC_EXCLUDE;
1285 continue;
1286 }
1287
1288 if ((s->flags & SEC_HAS_CONTENTS) == 0)
1289 continue;
1290
1291 /* Allocate memory for the section contents. Zero the memory
1292 for the benefit of .rela.plt, which has 4 unused entries
1293 at the beginning, and we don't want garbage. */
1294 s->contents = (bfd_byte *) bfd_zalloc (dynobj, s->size);
1295 if (s->contents == NULL)
1296 return FALSE;
1297 }
1298
1299 if (elf_hash_table (info)->dynamic_sections_created)
1300 {
1301 /* Add some entries to the .dynamic section. We fill in the
1302 values later, in riscv_elf_finish_dynamic_sections, but we
1303 must add the entries now so that we get the correct size for
1304 the .dynamic section. The DT_DEBUG entry is filled in by the
1305 dynamic linker and used by the debugger. */
1306#define add_dynamic_entry(TAG, VAL) \
1307 _bfd_elf_add_dynamic_entry (info, TAG, VAL)
1308
1309 if (bfd_link_executable (info))
1310 {
1311 if (!add_dynamic_entry (DT_DEBUG, 0))
1312 return FALSE;
1313 }
1314
1315 if (htab->elf.srelplt->size != 0)
1316 {
1317 if (!add_dynamic_entry (DT_PLTGOT, 0)
1318 || !add_dynamic_entry (DT_PLTRELSZ, 0)
1319 || !add_dynamic_entry (DT_PLTREL, DT_RELA)
1320 || !add_dynamic_entry (DT_JMPREL, 0))
1321 return FALSE;
1322 }
1323
1324 if (!add_dynamic_entry (DT_RELA, 0)
1325 || !add_dynamic_entry (DT_RELASZ, 0)
1326 || !add_dynamic_entry (DT_RELAENT, sizeof (ElfNN_External_Rela)))
1327 return FALSE;
1328
1329 /* If any dynamic relocs apply to a read-only section,
1330 then we need a DT_TEXTREL entry. */
1331 if ((info->flags & DF_TEXTREL) == 0)
1332 elf_link_hash_traverse (&htab->elf, readonly_dynrelocs, info);
1333
1334 if (info->flags & DF_TEXTREL)
1335 {
1336 if (!add_dynamic_entry (DT_TEXTREL, 0))
1337 return FALSE;
1338 }
1339 }
1340#undef add_dynamic_entry
1341
1342 return TRUE;
1343}
1344
1345#define TP_OFFSET 0
1346#define DTP_OFFSET 0x800
1347
1348/* Return the relocation value for a TLS dtp-relative reloc. */
1349
1350static bfd_vma
1351dtpoff (struct bfd_link_info *info, bfd_vma address)
1352{
1353 /* If tls_sec is NULL, we should have signalled an error already. */
1354 if (elf_hash_table (info)->tls_sec == NULL)
1355 return 0;
1356 return address - elf_hash_table (info)->tls_sec->vma - DTP_OFFSET;
1357}
1358
1359/* Return the relocation value for a static TLS tp-relative relocation. */
1360
1361static bfd_vma
1362tpoff (struct bfd_link_info *info, bfd_vma address)
1363{
1364 /* If tls_sec is NULL, we should have signalled an error already. */
1365 if (elf_hash_table (info)->tls_sec == NULL)
1366 return 0;
1367 return address - elf_hash_table (info)->tls_sec->vma - TP_OFFSET;
1368}
1369
1370/* Return the global pointer's value, or 0 if it is not in use. */
1371
1372static bfd_vma
1373riscv_global_pointer_value (struct bfd_link_info *info)
1374{
1375 struct bfd_link_hash_entry *h;
1376
b5292032 1377 h = bfd_link_hash_lookup (info->hash, RISCV_GP_SYMBOL, FALSE, FALSE, TRUE);
e23eba97
NC
1378 if (h == NULL || h->type != bfd_link_hash_defined)
1379 return 0;
1380
1381 return h->u.def.value + sec_addr (h->u.def.section);
1382}
1383
1384/* Emplace a static relocation. */
1385
1386static bfd_reloc_status_type
1387perform_relocation (const reloc_howto_type *howto,
1388 const Elf_Internal_Rela *rel,
1389 bfd_vma value,
1390 asection *input_section,
1391 bfd *input_bfd,
1392 bfd_byte *contents)
1393{
1394 if (howto->pc_relative)
1395 value -= sec_addr (input_section) + rel->r_offset;
1396 value += rel->r_addend;
1397
1398 switch (ELFNN_R_TYPE (rel->r_info))
1399 {
1400 case R_RISCV_HI20:
1401 case R_RISCV_TPREL_HI20:
1402 case R_RISCV_PCREL_HI20:
1403 case R_RISCV_GOT_HI20:
1404 case R_RISCV_TLS_GOT_HI20:
1405 case R_RISCV_TLS_GD_HI20:
1406 if (ARCH_SIZE > 32 && !VALID_UTYPE_IMM (RISCV_CONST_HIGH_PART (value)))
1407 return bfd_reloc_overflow;
1408 value = ENCODE_UTYPE_IMM (RISCV_CONST_HIGH_PART (value));
1409 break;
1410
1411 case R_RISCV_LO12_I:
1412 case R_RISCV_GPREL_I:
1413 case R_RISCV_TPREL_LO12_I:
45f76423 1414 case R_RISCV_TPREL_I:
e23eba97
NC
1415 case R_RISCV_PCREL_LO12_I:
1416 value = ENCODE_ITYPE_IMM (value);
1417 break;
1418
1419 case R_RISCV_LO12_S:
1420 case R_RISCV_GPREL_S:
1421 case R_RISCV_TPREL_LO12_S:
45f76423 1422 case R_RISCV_TPREL_S:
e23eba97
NC
1423 case R_RISCV_PCREL_LO12_S:
1424 value = ENCODE_STYPE_IMM (value);
1425 break;
1426
1427 case R_RISCV_CALL:
1428 case R_RISCV_CALL_PLT:
1429 if (ARCH_SIZE > 32 && !VALID_UTYPE_IMM (RISCV_CONST_HIGH_PART (value)))
1430 return bfd_reloc_overflow;
1431 value = ENCODE_UTYPE_IMM (RISCV_CONST_HIGH_PART (value))
1432 | (ENCODE_ITYPE_IMM (value) << 32);
1433 break;
1434
1435 case R_RISCV_JAL:
1436 if (!VALID_UJTYPE_IMM (value))
1437 return bfd_reloc_overflow;
1438 value = ENCODE_UJTYPE_IMM (value);
1439 break;
1440
1441 case R_RISCV_BRANCH:
1442 if (!VALID_SBTYPE_IMM (value))
1443 return bfd_reloc_overflow;
1444 value = ENCODE_SBTYPE_IMM (value);
1445 break;
1446
1447 case R_RISCV_RVC_BRANCH:
1448 if (!VALID_RVC_B_IMM (value))
1449 return bfd_reloc_overflow;
1450 value = ENCODE_RVC_B_IMM (value);
1451 break;
1452
1453 case R_RISCV_RVC_JUMP:
1454 if (!VALID_RVC_J_IMM (value))
1455 return bfd_reloc_overflow;
1456 value = ENCODE_RVC_J_IMM (value);
1457 break;
1458
1459 case R_RISCV_RVC_LUI:
1460 if (!VALID_RVC_LUI_IMM (RISCV_CONST_HIGH_PART (value)))
1461 return bfd_reloc_overflow;
1462 value = ENCODE_RVC_LUI_IMM (RISCV_CONST_HIGH_PART (value));
1463 break;
1464
1465 case R_RISCV_32:
1466 case R_RISCV_64:
1467 case R_RISCV_ADD8:
1468 case R_RISCV_ADD16:
1469 case R_RISCV_ADD32:
1470 case R_RISCV_ADD64:
45f76423 1471 case R_RISCV_SUB6:
e23eba97
NC
1472 case R_RISCV_SUB8:
1473 case R_RISCV_SUB16:
1474 case R_RISCV_SUB32:
1475 case R_RISCV_SUB64:
45f76423
AW
1476 case R_RISCV_SET6:
1477 case R_RISCV_SET8:
1478 case R_RISCV_SET16:
1479 case R_RISCV_SET32:
a6cbf936 1480 case R_RISCV_32_PCREL:
e23eba97
NC
1481 case R_RISCV_TLS_DTPREL32:
1482 case R_RISCV_TLS_DTPREL64:
1483 break;
1484
ff6f4d9b
PD
1485 case R_RISCV_DELETE:
1486 return bfd_reloc_ok;
1487
e23eba97
NC
1488 default:
1489 return bfd_reloc_notsupported;
1490 }
1491
1492 bfd_vma word = bfd_get (howto->bitsize, input_bfd, contents + rel->r_offset);
1493 word = (word & ~howto->dst_mask) | (value & howto->dst_mask);
1494 bfd_put (howto->bitsize, input_bfd, word, contents + rel->r_offset);
1495
1496 return bfd_reloc_ok;
1497}
1498
1499/* Remember all PC-relative high-part relocs we've encountered to help us
1500 later resolve the corresponding low-part relocs. */
1501
1502typedef struct
1503{
1504 bfd_vma address;
1505 bfd_vma value;
1506} riscv_pcrel_hi_reloc;
1507
1508typedef struct riscv_pcrel_lo_reloc
1509{
1510 asection * input_section;
1511 struct bfd_link_info * info;
1512 reloc_howto_type * howto;
1513 const Elf_Internal_Rela * reloc;
1514 bfd_vma addr;
1515 const char * name;
1516 bfd_byte * contents;
1517 struct riscv_pcrel_lo_reloc * next;
1518} riscv_pcrel_lo_reloc;
1519
1520typedef struct
1521{
1522 htab_t hi_relocs;
1523 riscv_pcrel_lo_reloc *lo_relocs;
1524} riscv_pcrel_relocs;
1525
1526static hashval_t
1527riscv_pcrel_reloc_hash (const void *entry)
1528{
1529 const riscv_pcrel_hi_reloc *e = entry;
1530 return (hashval_t)(e->address >> 2);
1531}
1532
1533static bfd_boolean
1534riscv_pcrel_reloc_eq (const void *entry1, const void *entry2)
1535{
1536 const riscv_pcrel_hi_reloc *e1 = entry1, *e2 = entry2;
1537 return e1->address == e2->address;
1538}
1539
1540static bfd_boolean
1541riscv_init_pcrel_relocs (riscv_pcrel_relocs *p)
1542{
1543
1544 p->lo_relocs = NULL;
1545 p->hi_relocs = htab_create (1024, riscv_pcrel_reloc_hash,
1546 riscv_pcrel_reloc_eq, free);
1547 return p->hi_relocs != NULL;
1548}
1549
1550static void
1551riscv_free_pcrel_relocs (riscv_pcrel_relocs *p)
1552{
1553 riscv_pcrel_lo_reloc *cur = p->lo_relocs;
1554
1555 while (cur != NULL)
1556 {
1557 riscv_pcrel_lo_reloc *next = cur->next;
1558 free (cur);
1559 cur = next;
1560 }
1561
1562 htab_delete (p->hi_relocs);
1563}
1564
1565static bfd_boolean
b1308d2c
PD
1566riscv_zero_pcrel_hi_reloc (Elf_Internal_Rela *rel,
1567 struct bfd_link_info *info,
1568 bfd_vma pc,
1569 bfd_vma addr,
1570 bfd_byte *contents,
1571 const reloc_howto_type *howto,
1572 bfd *input_bfd)
e23eba97 1573{
b1308d2c
PD
1574 /* We may need to reference low addreses in PC-relative modes even when the
1575 * PC is far away from these addresses. For example, undefweak references
1576 * need to produce the address 0 when linked. As 0 is far from the arbitrary
1577 * addresses that we can link PC-relative programs at, the linker can't
1578 * actually relocate references to those symbols. In order to allow these
1579 * programs to work we simply convert the PC-relative auipc sequences to
1580 * 0-relative lui sequences. */
1581 if (bfd_link_pic (info))
1582 return FALSE;
1583
1584 /* If it's possible to reference the symbol using auipc we do so, as that's
1585 * more in the spirit of the PC-relative relocations we're processing. */
1586 bfd_vma offset = addr - pc;
1587 if (ARCH_SIZE == 32 || VALID_UTYPE_IMM (RISCV_CONST_HIGH_PART (offset)))
1588 return FALSE;
1589
1590 /* If it's impossible to reference this with a LUI-based offset then don't
1591 * bother to convert it at all so users still see the PC-relative relocation
1592 * in the truncation message. */
1593 if (ARCH_SIZE > 32 && !VALID_UTYPE_IMM (RISCV_CONST_HIGH_PART (addr)))
1594 return FALSE;
1595
1596 rel->r_info = ELFNN_R_INFO(addr, R_RISCV_HI20);
1597
1598 bfd_vma insn = bfd_get(howto->bitsize, input_bfd, contents + rel->r_offset);
1599 insn = (insn & ~MASK_AUIPC) | MATCH_LUI;
1600 bfd_put(howto->bitsize, input_bfd, insn, contents + rel->r_offset);
1601 return TRUE;
1602}
1603
1604static bfd_boolean
1605riscv_record_pcrel_hi_reloc (riscv_pcrel_relocs *p, bfd_vma addr,
1606 bfd_vma value, bfd_boolean absolute)
1607{
1608 bfd_vma offset = absolute ? value : value - addr;
1609 riscv_pcrel_hi_reloc entry = {addr, offset};
e23eba97
NC
1610 riscv_pcrel_hi_reloc **slot =
1611 (riscv_pcrel_hi_reloc **) htab_find_slot (p->hi_relocs, &entry, INSERT);
1612
1613 BFD_ASSERT (*slot == NULL);
1614 *slot = (riscv_pcrel_hi_reloc *) bfd_malloc (sizeof (riscv_pcrel_hi_reloc));
1615 if (*slot == NULL)
1616 return FALSE;
1617 **slot = entry;
1618 return TRUE;
1619}
1620
1621static bfd_boolean
1622riscv_record_pcrel_lo_reloc (riscv_pcrel_relocs *p,
1623 asection *input_section,
1624 struct bfd_link_info *info,
1625 reloc_howto_type *howto,
1626 const Elf_Internal_Rela *reloc,
1627 bfd_vma addr,
1628 const char *name,
1629 bfd_byte *contents)
1630{
1631 riscv_pcrel_lo_reloc *entry;
1632 entry = (riscv_pcrel_lo_reloc *) bfd_malloc (sizeof (riscv_pcrel_lo_reloc));
1633 if (entry == NULL)
1634 return FALSE;
1635 *entry = (riscv_pcrel_lo_reloc) {input_section, info, howto, reloc, addr,
1636 name, contents, p->lo_relocs};
1637 p->lo_relocs = entry;
1638 return TRUE;
1639}
1640
1641static bfd_boolean
1642riscv_resolve_pcrel_lo_relocs (riscv_pcrel_relocs *p)
1643{
1644 riscv_pcrel_lo_reloc *r;
1645
1646 for (r = p->lo_relocs; r != NULL; r = r->next)
1647 {
1648 bfd *input_bfd = r->input_section->owner;
1649
1650 riscv_pcrel_hi_reloc search = {r->addr, 0};
1651 riscv_pcrel_hi_reloc *entry = htab_find (p->hi_relocs, &search);
1652 if (entry == NULL)
1653 {
1654 ((*r->info->callbacks->reloc_overflow)
1655 (r->info, NULL, r->name, r->howto->name, (bfd_vma) 0,
1656 input_bfd, r->input_section, r->reloc->r_offset));
1657 return TRUE;
1658 }
1659
1660 perform_relocation (r->howto, r->reloc, entry->value, r->input_section,
1661 input_bfd, r->contents);
1662 }
1663
1664 return TRUE;
1665}
1666
1667/* Relocate a RISC-V ELF section.
1668
1669 The RELOCATE_SECTION function is called by the new ELF backend linker
1670 to handle the relocations for a section.
1671
1672 The relocs are always passed as Rela structures.
1673
1674 This function is responsible for adjusting the section contents as
1675 necessary, and (if generating a relocatable output file) adjusting
1676 the reloc addend as necessary.
1677
1678 This function does not have to worry about setting the reloc
1679 address or the reloc symbol index.
1680
1681 LOCAL_SYMS is a pointer to the swapped in local symbols.
1682
1683 LOCAL_SECTIONS is an array giving the section in the input file
1684 corresponding to the st_shndx field of each local symbol.
1685
1686 The global hash table entry for the global symbols can be found
1687 via elf_sym_hashes (input_bfd).
1688
1689 When generating relocatable output, this function must handle
1690 STB_LOCAL/STT_SECTION symbols specially. The output symbol is
1691 going to be the section symbol corresponding to the output
1692 section, which means that the addend must be adjusted
1693 accordingly. */
1694
1695static bfd_boolean
1696riscv_elf_relocate_section (bfd *output_bfd,
1697 struct bfd_link_info *info,
1698 bfd *input_bfd,
1699 asection *input_section,
1700 bfd_byte *contents,
1701 Elf_Internal_Rela *relocs,
1702 Elf_Internal_Sym *local_syms,
1703 asection **local_sections)
1704{
1705 Elf_Internal_Rela *rel;
1706 Elf_Internal_Rela *relend;
1707 riscv_pcrel_relocs pcrel_relocs;
1708 bfd_boolean ret = FALSE;
1709 asection *sreloc = elf_section_data (input_section)->sreloc;
1710 struct riscv_elf_link_hash_table *htab = riscv_elf_hash_table (info);
1711 Elf_Internal_Shdr *symtab_hdr = &elf_symtab_hdr (input_bfd);
1712 struct elf_link_hash_entry **sym_hashes = elf_sym_hashes (input_bfd);
1713 bfd_vma *local_got_offsets = elf_local_got_offsets (input_bfd);
b1308d2c 1714 bfd_boolean absolute;
e23eba97
NC
1715
1716 if (!riscv_init_pcrel_relocs (&pcrel_relocs))
1717 return FALSE;
1718
1719 relend = relocs + input_section->reloc_count;
1720 for (rel = relocs; rel < relend; rel++)
1721 {
1722 unsigned long r_symndx;
1723 struct elf_link_hash_entry *h;
1724 Elf_Internal_Sym *sym;
1725 asection *sec;
1726 bfd_vma relocation;
1727 bfd_reloc_status_type r = bfd_reloc_ok;
1728 const char *name;
1729 bfd_vma off, ie_off;
1730 bfd_boolean unresolved_reloc, is_ie = FALSE;
1731 bfd_vma pc = sec_addr (input_section) + rel->r_offset;
1732 int r_type = ELFNN_R_TYPE (rel->r_info), tls_type;
1733 reloc_howto_type *howto = riscv_elf_rtype_to_howto (r_type);
1734 const char *msg = NULL;
1735
1736 if (r_type == R_RISCV_GNU_VTINHERIT || r_type == R_RISCV_GNU_VTENTRY)
1737 continue;
1738
1739 /* This is a final link. */
1740 r_symndx = ELFNN_R_SYM (rel->r_info);
1741 h = NULL;
1742 sym = NULL;
1743 sec = NULL;
1744 unresolved_reloc = FALSE;
1745 if (r_symndx < symtab_hdr->sh_info)
1746 {
1747 sym = local_syms + r_symndx;
1748 sec = local_sections[r_symndx];
1749 relocation = _bfd_elf_rela_local_sym (output_bfd, sym, &sec, rel);
1750 }
1751 else
1752 {
1753 bfd_boolean warned, ignored;
1754
1755 RELOC_FOR_GLOBAL_SYMBOL (info, input_bfd, input_section, rel,
1756 r_symndx, symtab_hdr, sym_hashes,
1757 h, sec, relocation,
1758 unresolved_reloc, warned, ignored);
1759 if (warned)
1760 {
1761 /* To avoid generating warning messages about truncated
1762 relocations, set the relocation's address to be the same as
1763 the start of this section. */
1764 if (input_section->output_section != NULL)
1765 relocation = input_section->output_section->vma;
1766 else
1767 relocation = 0;
1768 }
1769 }
1770
1771 if (sec != NULL && discarded_section (sec))
1772 RELOC_AGAINST_DISCARDED_SECTION (info, input_bfd, input_section,
1773 rel, 1, relend, howto, 0, contents);
1774
1775 if (bfd_link_relocatable (info))
1776 continue;
1777
1778 if (h != NULL)
1779 name = h->root.root.string;
1780 else
1781 {
1782 name = (bfd_elf_string_from_elf_section
1783 (input_bfd, symtab_hdr->sh_link, sym->st_name));
1784 if (name == NULL || *name == '\0')
1785 name = bfd_section_name (input_bfd, sec);
1786 }
1787
1788 switch (r_type)
1789 {
1790 case R_RISCV_NONE:
45f76423 1791 case R_RISCV_RELAX:
e23eba97
NC
1792 case R_RISCV_TPREL_ADD:
1793 case R_RISCV_COPY:
1794 case R_RISCV_JUMP_SLOT:
1795 case R_RISCV_RELATIVE:
1796 /* These require nothing of us at all. */
1797 continue;
1798
1799 case R_RISCV_HI20:
1800 case R_RISCV_BRANCH:
1801 case R_RISCV_RVC_BRANCH:
1802 case R_RISCV_RVC_LUI:
1803 case R_RISCV_LO12_I:
1804 case R_RISCV_LO12_S:
45f76423
AW
1805 case R_RISCV_SET6:
1806 case R_RISCV_SET8:
1807 case R_RISCV_SET16:
1808 case R_RISCV_SET32:
a6cbf936 1809 case R_RISCV_32_PCREL:
ff6f4d9b 1810 case R_RISCV_DELETE:
e23eba97
NC
1811 /* These require no special handling beyond perform_relocation. */
1812 break;
1813
1814 case R_RISCV_GOT_HI20:
1815 if (h != NULL)
1816 {
1817 bfd_boolean dyn, pic;
1818
1819 off = h->got.offset;
1820 BFD_ASSERT (off != (bfd_vma) -1);
1821 dyn = elf_hash_table (info)->dynamic_sections_created;
1822 pic = bfd_link_pic (info);
1823
1824 if (! WILL_CALL_FINISH_DYNAMIC_SYMBOL (dyn, pic, h)
1825 || (pic && SYMBOL_REFERENCES_LOCAL (info, h)))
1826 {
1827 /* This is actually a static link, or it is a
1828 -Bsymbolic link and the symbol is defined
1829 locally, or the symbol was forced to be local
1830 because of a version file. We must initialize
1831 this entry in the global offset table. Since the
1832 offset must always be a multiple of the word size,
1833 we use the least significant bit to record whether
1834 we have initialized it already.
1835
1836 When doing a dynamic link, we create a .rela.got
1837 relocation entry to initialize the value. This
1838 is done in the finish_dynamic_symbol routine. */
1839 if ((off & 1) != 0)
1840 off &= ~1;
1841 else
1842 {
1843 bfd_put_NN (output_bfd, relocation,
1844 htab->elf.sgot->contents + off);
1845 h->got.offset |= 1;
1846 }
1847 }
1848 else
1849 unresolved_reloc = FALSE;
1850 }
1851 else
1852 {
1853 BFD_ASSERT (local_got_offsets != NULL
1854 && local_got_offsets[r_symndx] != (bfd_vma) -1);
1855
1856 off = local_got_offsets[r_symndx];
1857
1858 /* The offset must always be a multiple of the word size.
1859 So, we can use the least significant bit to record
1860 whether we have already processed this entry. */
1861 if ((off & 1) != 0)
1862 off &= ~1;
1863 else
1864 {
1865 if (bfd_link_pic (info))
1866 {
1867 asection *s;
1868 Elf_Internal_Rela outrel;
1869
1870 /* We need to generate a R_RISCV_RELATIVE reloc
1871 for the dynamic linker. */
1872 s = htab->elf.srelgot;
1873 BFD_ASSERT (s != NULL);
1874
1875 outrel.r_offset = sec_addr (htab->elf.sgot) + off;
1876 outrel.r_info =
1877 ELFNN_R_INFO (0, R_RISCV_RELATIVE);
1878 outrel.r_addend = relocation;
1879 relocation = 0;
1880 riscv_elf_append_rela (output_bfd, s, &outrel);
1881 }
1882
1883 bfd_put_NN (output_bfd, relocation,
1884 htab->elf.sgot->contents + off);
1885 local_got_offsets[r_symndx] |= 1;
1886 }
1887 }
1888 relocation = sec_addr (htab->elf.sgot) + off;
b1308d2c
PD
1889 absolute = riscv_zero_pcrel_hi_reloc (rel,
1890 info,
1891 pc,
1892 relocation,
1893 contents,
1894 howto,
1895 input_bfd);
1896 r_type = ELFNN_R_TYPE (rel->r_info);
1897 howto = riscv_elf_rtype_to_howto (r_type);
1898 if (!riscv_record_pcrel_hi_reloc (&pcrel_relocs, pc,
1899 relocation, absolute))
e23eba97
NC
1900 r = bfd_reloc_overflow;
1901 break;
1902
1903 case R_RISCV_ADD8:
1904 case R_RISCV_ADD16:
1905 case R_RISCV_ADD32:
1906 case R_RISCV_ADD64:
1907 {
1908 bfd_vma old_value = bfd_get (howto->bitsize, input_bfd,
1909 contents + rel->r_offset);
1910 relocation = old_value + relocation;
1911 }
1912 break;
1913
45f76423 1914 case R_RISCV_SUB6:
e23eba97
NC
1915 case R_RISCV_SUB8:
1916 case R_RISCV_SUB16:
1917 case R_RISCV_SUB32:
1918 case R_RISCV_SUB64:
1919 {
1920 bfd_vma old_value = bfd_get (howto->bitsize, input_bfd,
1921 contents + rel->r_offset);
1922 relocation = old_value - relocation;
1923 }
1924 break;
1925
1926 case R_RISCV_CALL_PLT:
1927 case R_RISCV_CALL:
1928 case R_RISCV_JAL:
1929 case R_RISCV_RVC_JUMP:
1930 if (bfd_link_pic (info) && h != NULL && h->plt.offset != MINUS_ONE)
1931 {
1932 /* Refer to the PLT entry. */
1933 relocation = sec_addr (htab->elf.splt) + h->plt.offset;
1934 unresolved_reloc = FALSE;
1935 }
1936 break;
1937
1938 case R_RISCV_TPREL_HI20:
1939 relocation = tpoff (info, relocation);
1940 break;
1941
1942 case R_RISCV_TPREL_LO12_I:
1943 case R_RISCV_TPREL_LO12_S:
45f76423
AW
1944 relocation = tpoff (info, relocation);
1945 break;
1946
1947 case R_RISCV_TPREL_I:
1948 case R_RISCV_TPREL_S:
e23eba97
NC
1949 relocation = tpoff (info, relocation);
1950 if (VALID_ITYPE_IMM (relocation + rel->r_addend))
1951 {
1952 /* We can use tp as the base register. */
1953 bfd_vma insn = bfd_get_32 (input_bfd, contents + rel->r_offset);
1954 insn &= ~(OP_MASK_RS1 << OP_SH_RS1);
1955 insn |= X_TP << OP_SH_RS1;
1956 bfd_put_32 (input_bfd, insn, contents + rel->r_offset);
1957 }
45f76423
AW
1958 else
1959 r = bfd_reloc_overflow;
e23eba97
NC
1960 break;
1961
1962 case R_RISCV_GPREL_I:
1963 case R_RISCV_GPREL_S:
1964 {
1965 bfd_vma gp = riscv_global_pointer_value (info);
1966 bfd_boolean x0_base = VALID_ITYPE_IMM (relocation + rel->r_addend);
1967 if (x0_base || VALID_ITYPE_IMM (relocation + rel->r_addend - gp))
1968 {
1969 /* We can use x0 or gp as the base register. */
1970 bfd_vma insn = bfd_get_32 (input_bfd, contents + rel->r_offset);
1971 insn &= ~(OP_MASK_RS1 << OP_SH_RS1);
1972 if (!x0_base)
1973 {
1974 rel->r_addend -= gp;
1975 insn |= X_GP << OP_SH_RS1;
1976 }
1977 bfd_put_32 (input_bfd, insn, contents + rel->r_offset);
1978 }
1979 else
1980 r = bfd_reloc_overflow;
1981 break;
1982 }
1983
1984 case R_RISCV_PCREL_HI20:
b1308d2c
PD
1985 absolute = riscv_zero_pcrel_hi_reloc (rel,
1986 info,
1987 pc,
1988 relocation,
1989 contents,
1990 howto,
1991 input_bfd);
1992 r_type = ELFNN_R_TYPE (rel->r_info);
1993 howto = riscv_elf_rtype_to_howto (r_type);
e23eba97 1994 if (!riscv_record_pcrel_hi_reloc (&pcrel_relocs, pc,
b1308d2c
PD
1995 relocation + rel->r_addend,
1996 absolute))
e23eba97
NC
1997 r = bfd_reloc_overflow;
1998 break;
1999
2000 case R_RISCV_PCREL_LO12_I:
2001 case R_RISCV_PCREL_LO12_S:
2002 if (riscv_record_pcrel_lo_reloc (&pcrel_relocs, input_section, info,
2003 howto, rel, relocation, name,
2004 contents))
2005 continue;
2006 r = bfd_reloc_overflow;
2007 break;
2008
2009 case R_RISCV_TLS_DTPREL32:
2010 case R_RISCV_TLS_DTPREL64:
2011 relocation = dtpoff (info, relocation);
2012 break;
2013
2014 case R_RISCV_32:
2015 case R_RISCV_64:
2016 if ((input_section->flags & SEC_ALLOC) == 0)
2017 break;
2018
2019 if ((bfd_link_pic (info)
2020 && (h == NULL
2021 || ELF_ST_VISIBILITY (h->other) == STV_DEFAULT
2022 || h->root.type != bfd_link_hash_undefweak)
2023 && (! howto->pc_relative
2024 || !SYMBOL_CALLS_LOCAL (info, h)))
2025 || (!bfd_link_pic (info)
2026 && h != NULL
2027 && h->dynindx != -1
2028 && !h->non_got_ref
2029 && ((h->def_dynamic
2030 && !h->def_regular)
2031 || h->root.type == bfd_link_hash_undefweak
2032 || h->root.type == bfd_link_hash_undefined)))
2033 {
2034 Elf_Internal_Rela outrel;
2035 bfd_boolean skip_static_relocation, skip_dynamic_relocation;
2036
2037 /* When generating a shared object, these relocations
2038 are copied into the output file to be resolved at run
2039 time. */
2040
2041 outrel.r_offset =
2042 _bfd_elf_section_offset (output_bfd, info, input_section,
2043 rel->r_offset);
2044 skip_static_relocation = outrel.r_offset != (bfd_vma) -2;
2045 skip_dynamic_relocation = outrel.r_offset >= (bfd_vma) -2;
2046 outrel.r_offset += sec_addr (input_section);
2047
2048 if (skip_dynamic_relocation)
2049 memset (&outrel, 0, sizeof outrel);
2050 else if (h != NULL && h->dynindx != -1
2051 && !(bfd_link_pic (info)
2052 && SYMBOLIC_BIND (info, h)
2053 && h->def_regular))
2054 {
2055 outrel.r_info = ELFNN_R_INFO (h->dynindx, r_type);
2056 outrel.r_addend = rel->r_addend;
2057 }
2058 else
2059 {
2060 outrel.r_info = ELFNN_R_INFO (0, R_RISCV_RELATIVE);
2061 outrel.r_addend = relocation + rel->r_addend;
2062 }
2063
2064 riscv_elf_append_rela (output_bfd, sreloc, &outrel);
2065 if (skip_static_relocation)
2066 continue;
2067 }
2068 break;
2069
2070 case R_RISCV_TLS_GOT_HI20:
2071 is_ie = TRUE;
2072 /* Fall through. */
2073
2074 case R_RISCV_TLS_GD_HI20:
2075 if (h != NULL)
2076 {
2077 off = h->got.offset;
2078 h->got.offset |= 1;
2079 }
2080 else
2081 {
2082 off = local_got_offsets[r_symndx];
2083 local_got_offsets[r_symndx] |= 1;
2084 }
2085
2086 tls_type = _bfd_riscv_elf_tls_type (input_bfd, h, r_symndx);
2087 BFD_ASSERT (tls_type & (GOT_TLS_IE | GOT_TLS_GD));
2088 /* If this symbol is referenced by both GD and IE TLS, the IE
2089 reference's GOT slot follows the GD reference's slots. */
2090 ie_off = 0;
2091 if ((tls_type & GOT_TLS_GD) && (tls_type & GOT_TLS_IE))
2092 ie_off = 2 * GOT_ENTRY_SIZE;
2093
2094 if ((off & 1) != 0)
2095 off &= ~1;
2096 else
2097 {
2098 Elf_Internal_Rela outrel;
2099 int indx = 0;
2100 bfd_boolean need_relocs = FALSE;
2101
2102 if (htab->elf.srelgot == NULL)
2103 abort ();
2104
2105 if (h != NULL)
2106 {
2107 bfd_boolean dyn, pic;
2108 dyn = htab->elf.dynamic_sections_created;
2109 pic = bfd_link_pic (info);
2110
2111 if (WILL_CALL_FINISH_DYNAMIC_SYMBOL (dyn, pic, h)
2112 && (!pic || !SYMBOL_REFERENCES_LOCAL (info, h)))
2113 indx = h->dynindx;
2114 }
2115
2116 /* The GOT entries have not been initialized yet. Do it
2117 now, and emit any relocations. */
2118 if ((bfd_link_pic (info) || indx != 0)
2119 && (h == NULL
2120 || ELF_ST_VISIBILITY (h->other) == STV_DEFAULT
2121 || h->root.type != bfd_link_hash_undefweak))
2122 need_relocs = TRUE;
2123
2124 if (tls_type & GOT_TLS_GD)
2125 {
2126 if (need_relocs)
2127 {
2128 outrel.r_offset = sec_addr (htab->elf.sgot) + off;
2129 outrel.r_addend = 0;
2130 outrel.r_info = ELFNN_R_INFO (indx, R_RISCV_TLS_DTPMODNN);
2131 bfd_put_NN (output_bfd, 0,
2132 htab->elf.sgot->contents + off);
2133 riscv_elf_append_rela (output_bfd, htab->elf.srelgot, &outrel);
2134 if (indx == 0)
2135 {
2136 BFD_ASSERT (! unresolved_reloc);
2137 bfd_put_NN (output_bfd,
2138 dtpoff (info, relocation),
2139 (htab->elf.sgot->contents + off +
2140 RISCV_ELF_WORD_BYTES));
2141 }
2142 else
2143 {
2144 bfd_put_NN (output_bfd, 0,
2145 (htab->elf.sgot->contents + off +
2146 RISCV_ELF_WORD_BYTES));
2147 outrel.r_info = ELFNN_R_INFO (indx, R_RISCV_TLS_DTPRELNN);
2148 outrel.r_offset += RISCV_ELF_WORD_BYTES;
2149 riscv_elf_append_rela (output_bfd, htab->elf.srelgot, &outrel);
2150 }
2151 }
2152 else
2153 {
2154 /* If we are not emitting relocations for a
2155 general dynamic reference, then we must be in a
2156 static link or an executable link with the
2157 symbol binding locally. Mark it as belonging
2158 to module 1, the executable. */
2159 bfd_put_NN (output_bfd, 1,
2160 htab->elf.sgot->contents + off);
2161 bfd_put_NN (output_bfd,
2162 dtpoff (info, relocation),
2163 (htab->elf.sgot->contents + off +
2164 RISCV_ELF_WORD_BYTES));
2165 }
2166 }
2167
2168 if (tls_type & GOT_TLS_IE)
2169 {
2170 if (need_relocs)
2171 {
2172 bfd_put_NN (output_bfd, 0,
2173 htab->elf.sgot->contents + off + ie_off);
2174 outrel.r_offset = sec_addr (htab->elf.sgot)
2175 + off + ie_off;
2176 outrel.r_addend = 0;
2177 if (indx == 0)
2178 outrel.r_addend = tpoff (info, relocation);
2179 outrel.r_info = ELFNN_R_INFO (indx, R_RISCV_TLS_TPRELNN);
2180 riscv_elf_append_rela (output_bfd, htab->elf.srelgot, &outrel);
2181 }
2182 else
2183 {
2184 bfd_put_NN (output_bfd, tpoff (info, relocation),
2185 htab->elf.sgot->contents + off + ie_off);
2186 }
2187 }
2188 }
2189
2190 BFD_ASSERT (off < (bfd_vma) -2);
2191 relocation = sec_addr (htab->elf.sgot) + off + (is_ie ? ie_off : 0);
b1308d2c
PD
2192 if (!riscv_record_pcrel_hi_reloc (&pcrel_relocs, pc,
2193 relocation, FALSE))
e23eba97
NC
2194 r = bfd_reloc_overflow;
2195 unresolved_reloc = FALSE;
2196 break;
2197
2198 default:
2199 r = bfd_reloc_notsupported;
2200 }
2201
2202 /* Dynamic relocs are not propagated for SEC_DEBUGGING sections
2203 because such sections are not SEC_ALLOC and thus ld.so will
2204 not process them. */
2205 if (unresolved_reloc
2206 && !((input_section->flags & SEC_DEBUGGING) != 0
2207 && h->def_dynamic)
2208 && _bfd_elf_section_offset (output_bfd, info, input_section,
2209 rel->r_offset) != (bfd_vma) -1)
2210 {
2211 (*_bfd_error_handler)
d42c267e 2212 (_("%B(%A+%#Lx): unresolvable %s relocation against symbol `%s'"),
e23eba97
NC
2213 input_bfd,
2214 input_section,
d42c267e 2215 rel->r_offset,
e23eba97
NC
2216 howto->name,
2217 h->root.root.string);
2218 continue;
2219 }
2220
2221 if (r == bfd_reloc_ok)
2222 r = perform_relocation (howto, rel, relocation, input_section,
2223 input_bfd, contents);
2224
2225 switch (r)
2226 {
2227 case bfd_reloc_ok:
2228 continue;
2229
2230 case bfd_reloc_overflow:
2231 info->callbacks->reloc_overflow
2232 (info, (h ? &h->root : NULL), name, howto->name,
2233 (bfd_vma) 0, input_bfd, input_section, rel->r_offset);
2234 break;
2235
2236 case bfd_reloc_undefined:
2237 info->callbacks->undefined_symbol
2238 (info, name, input_bfd, input_section, rel->r_offset,
2239 TRUE);
2240 break;
2241
2242 case bfd_reloc_outofrange:
2243 msg = _("internal error: out of range error");
2244 break;
2245
2246 case bfd_reloc_notsupported:
2247 msg = _("internal error: unsupported relocation error");
2248 break;
2249
2250 case bfd_reloc_dangerous:
2251 msg = _("internal error: dangerous relocation");
2252 break;
2253
2254 default:
2255 msg = _("internal error: unknown error");
2256 break;
2257 }
2258
2259 if (msg)
2260 info->callbacks->warning
2261 (info, msg, name, input_bfd, input_section, rel->r_offset);
2262 goto out;
2263 }
2264
2265 ret = riscv_resolve_pcrel_lo_relocs (&pcrel_relocs);
2266out:
2267 riscv_free_pcrel_relocs (&pcrel_relocs);
2268 return ret;
2269}
2270
2271/* Finish up dynamic symbol handling. We set the contents of various
2272 dynamic sections here. */
2273
2274static bfd_boolean
2275riscv_elf_finish_dynamic_symbol (bfd *output_bfd,
2276 struct bfd_link_info *info,
2277 struct elf_link_hash_entry *h,
2278 Elf_Internal_Sym *sym)
2279{
2280 struct riscv_elf_link_hash_table *htab = riscv_elf_hash_table (info);
2281 const struct elf_backend_data *bed = get_elf_backend_data (output_bfd);
2282
2283 if (h->plt.offset != (bfd_vma) -1)
2284 {
2285 /* We've decided to create a PLT entry for this symbol. */
2286 bfd_byte *loc;
2287 bfd_vma i, header_address, plt_idx, got_address;
2288 uint32_t plt_entry[PLT_ENTRY_INSNS];
2289 Elf_Internal_Rela rela;
2290
2291 BFD_ASSERT (h->dynindx != -1);
2292
2293 /* Calculate the address of the PLT header. */
2294 header_address = sec_addr (htab->elf.splt);
2295
2296 /* Calculate the index of the entry. */
2297 plt_idx = (h->plt.offset - PLT_HEADER_SIZE) / PLT_ENTRY_SIZE;
2298
2299 /* Calculate the address of the .got.plt entry. */
2300 got_address = riscv_elf_got_plt_val (plt_idx, info);
2301
2302 /* Find out where the .plt entry should go. */
2303 loc = htab->elf.splt->contents + h->plt.offset;
2304
2305 /* Fill in the PLT entry itself. */
2306 riscv_make_plt_entry (got_address, header_address + h->plt.offset,
2307 plt_entry);
2308 for (i = 0; i < PLT_ENTRY_INSNS; i++)
2309 bfd_put_32 (output_bfd, plt_entry[i], loc + 4*i);
2310
2311 /* Fill in the initial value of the .got.plt entry. */
2312 loc = htab->elf.sgotplt->contents
2313 + (got_address - sec_addr (htab->elf.sgotplt));
2314 bfd_put_NN (output_bfd, sec_addr (htab->elf.splt), loc);
2315
2316 /* Fill in the entry in the .rela.plt section. */
2317 rela.r_offset = got_address;
2318 rela.r_addend = 0;
2319 rela.r_info = ELFNN_R_INFO (h->dynindx, R_RISCV_JUMP_SLOT);
2320
2321 loc = htab->elf.srelplt->contents + plt_idx * sizeof (ElfNN_External_Rela);
2322 bed->s->swap_reloca_out (output_bfd, &rela, loc);
2323
2324 if (!h->def_regular)
2325 {
2326 /* Mark the symbol as undefined, rather than as defined in
2327 the .plt section. Leave the value alone. */
2328 sym->st_shndx = SHN_UNDEF;
2329 /* If the symbol is weak, we do need to clear the value.
2330 Otherwise, the PLT entry would provide a definition for
2331 the symbol even if the symbol wasn't defined anywhere,
2332 and so the symbol would never be NULL. */
2333 if (!h->ref_regular_nonweak)
2334 sym->st_value = 0;
2335 }
2336 }
2337
2338 if (h->got.offset != (bfd_vma) -1
1d65abb5 2339 && !(riscv_elf_hash_entry (h)->tls_type & (GOT_TLS_GD | GOT_TLS_IE)))
e23eba97
NC
2340 {
2341 asection *sgot;
2342 asection *srela;
2343 Elf_Internal_Rela rela;
2344
2345 /* This symbol has an entry in the GOT. Set it up. */
2346
2347 sgot = htab->elf.sgot;
2348 srela = htab->elf.srelgot;
2349 BFD_ASSERT (sgot != NULL && srela != NULL);
2350
2351 rela.r_offset = sec_addr (sgot) + (h->got.offset &~ (bfd_vma) 1);
2352
2353 /* If this is a -Bsymbolic link, and the symbol is defined
2354 locally, we just want to emit a RELATIVE reloc. Likewise if
2355 the symbol was forced to be local because of a version file.
2356 The entry in the global offset table will already have been
2357 initialized in the relocate_section function. */
2358 if (bfd_link_pic (info)
2359 && (info->symbolic || h->dynindx == -1)
2360 && h->def_regular)
2361 {
2362 asection *sec = h->root.u.def.section;
2363 rela.r_info = ELFNN_R_INFO (0, R_RISCV_RELATIVE);
2364 rela.r_addend = (h->root.u.def.value
2365 + sec->output_section->vma
2366 + sec->output_offset);
2367 }
2368 else
2369 {
2370 BFD_ASSERT (h->dynindx != -1);
2371 rela.r_info = ELFNN_R_INFO (h->dynindx, R_RISCV_NN);
2372 rela.r_addend = 0;
2373 }
2374
2375 bfd_put_NN (output_bfd, 0,
2376 sgot->contents + (h->got.offset & ~(bfd_vma) 1));
2377 riscv_elf_append_rela (output_bfd, srela, &rela);
2378 }
2379
2380 if (h->needs_copy)
2381 {
2382 Elf_Internal_Rela rela;
5474d94f 2383 asection *s;
e23eba97
NC
2384
2385 /* This symbols needs a copy reloc. Set it up. */
2386 BFD_ASSERT (h->dynindx != -1);
2387
2388 rela.r_offset = sec_addr (h->root.u.def.section) + h->root.u.def.value;
2389 rela.r_info = ELFNN_R_INFO (h->dynindx, R_RISCV_COPY);
2390 rela.r_addend = 0;
afbf7e8e 2391 if (h->root.u.def.section == htab->elf.sdynrelro)
5474d94f
AM
2392 s = htab->elf.sreldynrelro;
2393 else
2394 s = htab->elf.srelbss;
2395 riscv_elf_append_rela (output_bfd, s, &rela);
e23eba97
NC
2396 }
2397
2398 /* Mark some specially defined symbols as absolute. */
2399 if (h == htab->elf.hdynamic
2400 || (h == htab->elf.hgot || h == htab->elf.hplt))
2401 sym->st_shndx = SHN_ABS;
2402
2403 return TRUE;
2404}
2405
2406/* Finish up the dynamic sections. */
2407
2408static bfd_boolean
2409riscv_finish_dyn (bfd *output_bfd, struct bfd_link_info *info,
2410 bfd *dynobj, asection *sdyn)
2411{
2412 struct riscv_elf_link_hash_table *htab = riscv_elf_hash_table (info);
2413 const struct elf_backend_data *bed = get_elf_backend_data (output_bfd);
2414 size_t dynsize = bed->s->sizeof_dyn;
2415 bfd_byte *dyncon, *dynconend;
2416
2417 dynconend = sdyn->contents + sdyn->size;
2418 for (dyncon = sdyn->contents; dyncon < dynconend; dyncon += dynsize)
2419 {
2420 Elf_Internal_Dyn dyn;
2421 asection *s;
2422
2423 bed->s->swap_dyn_in (dynobj, dyncon, &dyn);
2424
2425 switch (dyn.d_tag)
2426 {
2427 case DT_PLTGOT:
2428 s = htab->elf.sgotplt;
2429 dyn.d_un.d_ptr = s->output_section->vma + s->output_offset;
2430 break;
2431 case DT_JMPREL:
2432 s = htab->elf.srelplt;
2433 dyn.d_un.d_ptr = s->output_section->vma + s->output_offset;
2434 break;
2435 case DT_PLTRELSZ:
2436 s = htab->elf.srelplt;
2437 dyn.d_un.d_val = s->size;
2438 break;
2439 default:
2440 continue;
2441 }
2442
2443 bed->s->swap_dyn_out (output_bfd, &dyn, dyncon);
2444 }
2445 return TRUE;
2446}
2447
2448static bfd_boolean
2449riscv_elf_finish_dynamic_sections (bfd *output_bfd,
2450 struct bfd_link_info *info)
2451{
2452 bfd *dynobj;
2453 asection *sdyn;
2454 struct riscv_elf_link_hash_table *htab;
2455
2456 htab = riscv_elf_hash_table (info);
2457 BFD_ASSERT (htab != NULL);
2458 dynobj = htab->elf.dynobj;
2459
2460 sdyn = bfd_get_linker_section (dynobj, ".dynamic");
2461
2462 if (elf_hash_table (info)->dynamic_sections_created)
2463 {
2464 asection *splt;
2465 bfd_boolean ret;
2466
2467 splt = htab->elf.splt;
2468 BFD_ASSERT (splt != NULL && sdyn != NULL);
2469
2470 ret = riscv_finish_dyn (output_bfd, info, dynobj, sdyn);
2471
535b785f 2472 if (!ret)
e23eba97
NC
2473 return ret;
2474
2475 /* Fill in the head and tail entries in the procedure linkage table. */
2476 if (splt->size > 0)
2477 {
2478 int i;
2479 uint32_t plt_header[PLT_HEADER_INSNS];
2480 riscv_make_plt_header (sec_addr (htab->elf.sgotplt),
2481 sec_addr (splt), plt_header);
2482
2483 for (i = 0; i < PLT_HEADER_INSNS; i++)
2484 bfd_put_32 (output_bfd, plt_header[i], splt->contents + 4*i);
e23eba97 2485
cc162427
AW
2486 elf_section_data (splt->output_section)->this_hdr.sh_entsize
2487 = PLT_ENTRY_SIZE;
2488 }
e23eba97
NC
2489 }
2490
2491 if (htab->elf.sgotplt)
2492 {
2493 asection *output_section = htab->elf.sgotplt->output_section;
2494
2495 if (bfd_is_abs_section (output_section))
2496 {
2497 (*_bfd_error_handler)
2498 (_("discarded output section: `%A'"), htab->elf.sgotplt);
2499 return FALSE;
2500 }
2501
2502 if (htab->elf.sgotplt->size > 0)
2503 {
2504 /* Write the first two entries in .got.plt, needed for the dynamic
2505 linker. */
2506 bfd_put_NN (output_bfd, (bfd_vma) -1, htab->elf.sgotplt->contents);
2507 bfd_put_NN (output_bfd, (bfd_vma) 0,
2508 htab->elf.sgotplt->contents + GOT_ENTRY_SIZE);
2509 }
2510
2511 elf_section_data (output_section)->this_hdr.sh_entsize = GOT_ENTRY_SIZE;
2512 }
2513
2514 if (htab->elf.sgot)
2515 {
2516 asection *output_section = htab->elf.sgot->output_section;
2517
2518 if (htab->elf.sgot->size > 0)
2519 {
2520 /* Set the first entry in the global offset table to the address of
2521 the dynamic section. */
2522 bfd_vma val = sdyn ? sec_addr (sdyn) : 0;
2523 bfd_put_NN (output_bfd, val, htab->elf.sgot->contents);
2524 }
2525
2526 elf_section_data (output_section)->this_hdr.sh_entsize = GOT_ENTRY_SIZE;
2527 }
2528
2529 return TRUE;
2530}
2531
2532/* Return address for Ith PLT stub in section PLT, for relocation REL
2533 or (bfd_vma) -1 if it should not be included. */
2534
2535static bfd_vma
2536riscv_elf_plt_sym_val (bfd_vma i, const asection *plt,
2537 const arelent *rel ATTRIBUTE_UNUSED)
2538{
2539 return plt->vma + PLT_HEADER_SIZE + i * PLT_ENTRY_SIZE;
2540}
2541
2542static enum elf_reloc_type_class
2543riscv_reloc_type_class (const struct bfd_link_info *info ATTRIBUTE_UNUSED,
2544 const asection *rel_sec ATTRIBUTE_UNUSED,
2545 const Elf_Internal_Rela *rela)
2546{
2547 switch (ELFNN_R_TYPE (rela->r_info))
2548 {
2549 case R_RISCV_RELATIVE:
2550 return reloc_class_relative;
2551 case R_RISCV_JUMP_SLOT:
2552 return reloc_class_plt;
2553 case R_RISCV_COPY:
2554 return reloc_class_copy;
2555 default:
2556 return reloc_class_normal;
2557 }
2558}
2559
2560/* Merge backend specific data from an object file to the output
2561 object file when linking. */
2562
2563static bfd_boolean
2564_bfd_riscv_elf_merge_private_bfd_data (bfd *ibfd, struct bfd_link_info *info)
2565{
2566 bfd *obfd = info->output_bfd;
2567 flagword new_flags = elf_elfheader (ibfd)->e_flags;
2568 flagword old_flags = elf_elfheader (obfd)->e_flags;
2569
2570 if (!is_riscv_elf (ibfd) || !is_riscv_elf (obfd))
2571 return TRUE;
2572
2573 if (strcmp (bfd_get_target (ibfd), bfd_get_target (obfd)) != 0)
2574 {
2575 (*_bfd_error_handler)
96b0927d
PD
2576 (_("%B: ABI is incompatible with that of the selected emulation:\n"
2577 " target emulation `%s' does not match `%s'"),
2578 ibfd, bfd_get_target (ibfd), bfd_get_target (obfd));
e23eba97
NC
2579 return FALSE;
2580 }
2581
2582 if (!_bfd_elf_merge_object_attributes (ibfd, info))
2583 return FALSE;
2584
2585 if (! elf_flags_init (obfd))
2586 {
2587 elf_flags_init (obfd) = TRUE;
2588 elf_elfheader (obfd)->e_flags = new_flags;
2589 return TRUE;
2590 }
2591
2922d21d
AW
2592 /* Disallow linking different float ABIs. */
2593 if ((old_flags ^ new_flags) & EF_RISCV_FLOAT_ABI)
e23eba97
NC
2594 {
2595 (*_bfd_error_handler)
2596 (_("%B: can't link hard-float modules with soft-float modules"), ibfd);
2597 goto fail;
2598 }
2599
2600 /* Allow linking RVC and non-RVC, and keep the RVC flag. */
2601 elf_elfheader (obfd)->e_flags |= new_flags & EF_RISCV_RVC;
2602
2603 return TRUE;
2604
2605fail:
2606 bfd_set_error (bfd_error_bad_value);
2607 return FALSE;
2608}
2609
2610/* Delete some bytes from a section while relaxing. */
2611
2612static bfd_boolean
2613riscv_relax_delete_bytes (bfd *abfd, asection *sec, bfd_vma addr, size_t count)
2614{
2615 unsigned int i, symcount;
2616 bfd_vma toaddr = sec->size;
2617 struct elf_link_hash_entry **sym_hashes = elf_sym_hashes (abfd);
2618 Elf_Internal_Shdr *symtab_hdr = &elf_tdata (abfd)->symtab_hdr;
2619 unsigned int sec_shndx = _bfd_elf_section_from_bfd_section (abfd, sec);
2620 struct bfd_elf_section_data *data = elf_section_data (sec);
2621 bfd_byte *contents = data->this_hdr.contents;
2622
2623 /* Actually delete the bytes. */
2624 sec->size -= count;
2625 memmove (contents + addr, contents + addr + count, toaddr - addr - count);
2626
2627 /* Adjust the location of all of the relocs. Note that we need not
2628 adjust the addends, since all PC-relative references must be against
2629 symbols, which we will adjust below. */
2630 for (i = 0; i < sec->reloc_count; i++)
2631 if (data->relocs[i].r_offset > addr && data->relocs[i].r_offset < toaddr)
2632 data->relocs[i].r_offset -= count;
2633
2634 /* Adjust the local symbols defined in this section. */
2635 for (i = 0; i < symtab_hdr->sh_info; i++)
2636 {
2637 Elf_Internal_Sym *sym = (Elf_Internal_Sym *) symtab_hdr->contents + i;
2638 if (sym->st_shndx == sec_shndx)
2639 {
2640 /* If the symbol is in the range of memory we just moved, we
2641 have to adjust its value. */
2642 if (sym->st_value > addr && sym->st_value <= toaddr)
2643 sym->st_value -= count;
2644
2645 /* If the symbol *spans* the bytes we just deleted (i.e. its
2646 *end* is in the moved bytes but its *start* isn't), then we
2647 must adjust its size. */
2648 if (sym->st_value <= addr
2649 && sym->st_value + sym->st_size > addr
2650 && sym->st_value + sym->st_size <= toaddr)
2651 sym->st_size -= count;
2652 }
2653 }
2654
2655 /* Now adjust the global symbols defined in this section. */
2656 symcount = ((symtab_hdr->sh_size / sizeof (ElfNN_External_Sym))
2657 - symtab_hdr->sh_info);
2658
2659 for (i = 0; i < symcount; i++)
2660 {
2661 struct elf_link_hash_entry *sym_hash = sym_hashes[i];
2662
2663 if ((sym_hash->root.type == bfd_link_hash_defined
2664 || sym_hash->root.type == bfd_link_hash_defweak)
2665 && sym_hash->root.u.def.section == sec)
2666 {
2667 /* As above, adjust the value if needed. */
2668 if (sym_hash->root.u.def.value > addr
2669 && sym_hash->root.u.def.value <= toaddr)
2670 sym_hash->root.u.def.value -= count;
2671
2672 /* As above, adjust the size if needed. */
2673 if (sym_hash->root.u.def.value <= addr
2674 && sym_hash->root.u.def.value + sym_hash->size > addr
2675 && sym_hash->root.u.def.value + sym_hash->size <= toaddr)
2676 sym_hash->size -= count;
2677 }
2678 }
2679
2680 return TRUE;
2681}
2682
9d06997a
PD
2683/* A second format for recording PC-relative hi relocations. This stores the
2684 information required to relax them to GP-relative addresses. */
2685
2686typedef struct riscv_pcgp_hi_reloc riscv_pcgp_hi_reloc;
2687struct riscv_pcgp_hi_reloc
2688{
2689 bfd_vma hi_sec_off;
2690 bfd_vma hi_addend;
2691 bfd_vma hi_addr;
2692 unsigned hi_sym;
2693 asection *sym_sec;
2694 riscv_pcgp_hi_reloc *next;
2695};
2696
2697typedef struct riscv_pcgp_lo_reloc riscv_pcgp_lo_reloc;
2698struct riscv_pcgp_lo_reloc
2699{
2700 bfd_vma hi_sec_off;
2701 riscv_pcgp_lo_reloc *next;
2702};
2703
2704typedef struct
2705{
2706 riscv_pcgp_hi_reloc *hi;
2707 riscv_pcgp_lo_reloc *lo;
2708} riscv_pcgp_relocs;
2709
2710static bfd_boolean
2711riscv_init_pcgp_relocs (riscv_pcgp_relocs *p)
2712{
2713 p->hi = NULL;
2714 p->lo = NULL;
2715 return TRUE;
2716}
2717
2718static void
2719riscv_free_pcgp_relocs (riscv_pcgp_relocs *p,
2720 bfd *abfd ATTRIBUTE_UNUSED,
2721 asection *sec ATTRIBUTE_UNUSED)
2722{
2723 riscv_pcgp_hi_reloc *c;
2724 riscv_pcgp_lo_reloc *l;
2725
2726 for (c = p->hi; c != NULL;)
2727 {
2728 riscv_pcgp_hi_reloc *next = c->next;
2729 free (c);
2730 c = next;
2731 }
2732
2733 for (l = p->lo; l != NULL;)
2734 {
2735 riscv_pcgp_lo_reloc *next = l->next;
2736 free (l);
2737 l = next;
2738 }
2739}
2740
2741static bfd_boolean
2742riscv_record_pcgp_hi_reloc (riscv_pcgp_relocs *p, bfd_vma hi_sec_off,
2743 bfd_vma hi_addend, bfd_vma hi_addr,
2744 unsigned hi_sym, asection *sym_sec)
2745{
2746 riscv_pcgp_hi_reloc *new = bfd_malloc (sizeof(*new));
2747 if (!new)
2748 return FALSE;
2749 new->hi_sec_off = hi_sec_off;
2750 new->hi_addend = hi_addend;
2751 new->hi_addr = hi_addr;
2752 new->hi_sym = hi_sym;
2753 new->sym_sec = sym_sec;
2754 new->next = p->hi;
2755 p->hi = new;
2756 return TRUE;
2757}
2758
2759static riscv_pcgp_hi_reloc *
2760riscv_find_pcgp_hi_reloc(riscv_pcgp_relocs *p, bfd_vma hi_sec_off)
2761{
2762 riscv_pcgp_hi_reloc *c;
2763
2764 for (c = p->hi; c != NULL; c = c->next)
2765 if (c->hi_sec_off == hi_sec_off)
2766 return c;
2767 return NULL;
2768}
2769
2770static bfd_boolean
2771riscv_delete_pcgp_hi_reloc(riscv_pcgp_relocs *p, bfd_vma hi_sec_off)
2772{
2773 bfd_boolean out = FALSE;
2774 riscv_pcgp_hi_reloc *c;
2775
2776 for (c = p->hi; c != NULL; c = c->next)
2777 if (c->hi_sec_off == hi_sec_off)
2778 out = TRUE;
2779
2780 return out;
2781}
2782
2783static bfd_boolean
2784riscv_use_pcgp_hi_reloc(riscv_pcgp_relocs *p, bfd_vma hi_sec_off)
2785{
2786 bfd_boolean out = FALSE;
2787 riscv_pcgp_hi_reloc *c;
2788
2789 for (c = p->hi; c != NULL; c = c->next)
2790 if (c->hi_sec_off == hi_sec_off)
2791 out = TRUE;
2792
2793 return out;
2794}
2795
2796static bfd_boolean
2797riscv_record_pcgp_lo_reloc (riscv_pcgp_relocs *p, bfd_vma hi_sec_off)
2798{
2799 riscv_pcgp_lo_reloc *new = bfd_malloc (sizeof(*new));
2800 if (!new)
2801 return FALSE;
2802 new->hi_sec_off = hi_sec_off;
2803 new->next = p->lo;
2804 p->lo = new;
2805 return TRUE;
2806}
2807
2808static bfd_boolean
2809riscv_find_pcgp_lo_reloc (riscv_pcgp_relocs *p, bfd_vma hi_sec_off)
2810{
2811 riscv_pcgp_lo_reloc *c;
2812
2813 for (c = p->lo; c != NULL; c = c->next)
2814 if (c->hi_sec_off == hi_sec_off)
2815 return TRUE;
2816 return FALSE;
2817}
2818
2819static bfd_boolean
2820riscv_delete_pcgp_lo_reloc (riscv_pcgp_relocs *p ATTRIBUTE_UNUSED,
2821 bfd_vma lo_sec_off ATTRIBUTE_UNUSED,
2822 size_t bytes ATTRIBUTE_UNUSED)
2823{
2824 return TRUE;
2825}
2826
45f76423
AW
2827typedef bfd_boolean (*relax_func_t) (bfd *, asection *, asection *,
2828 struct bfd_link_info *,
2829 Elf_Internal_Rela *,
9d06997a
PD
2830 bfd_vma, bfd_vma, bfd_vma, bfd_boolean *,
2831 riscv_pcgp_relocs *);
45f76423 2832
e23eba97
NC
2833/* Relax AUIPC + JALR into JAL. */
2834
2835static bfd_boolean
2836_bfd_riscv_relax_call (bfd *abfd, asection *sec, asection *sym_sec,
2837 struct bfd_link_info *link_info,
2838 Elf_Internal_Rela *rel,
2839 bfd_vma symval,
45f76423
AW
2840 bfd_vma max_alignment,
2841 bfd_vma reserve_size ATTRIBUTE_UNUSED,
9d06997a
PD
2842 bfd_boolean *again,
2843 riscv_pcgp_relocs *pcgp_relocs ATTRIBUTE_UNUSED)
e23eba97
NC
2844{
2845 bfd_byte *contents = elf_section_data (sec)->this_hdr.contents;
2846 bfd_signed_vma foff = symval - (sec_addr (sec) + rel->r_offset);
2847 bfd_boolean near_zero = (symval + RISCV_IMM_REACH/2) < RISCV_IMM_REACH;
2848 bfd_vma auipc, jalr;
2849 int rd, r_type, len = 4, rvc = elf_elfheader (abfd)->e_flags & EF_RISCV_RVC;
2850
2851 /* If the call crosses section boundaries, an alignment directive could
2852 cause the PC-relative offset to later increase. */
2853 if (VALID_UJTYPE_IMM (foff) && sym_sec->output_section != sec->output_section)
2854 foff += (foff < 0 ? -max_alignment : max_alignment);
2855
2856 /* See if this function call can be shortened. */
2857 if (!VALID_UJTYPE_IMM (foff) && !(!bfd_link_pic (link_info) && near_zero))
2858 return TRUE;
2859
2860 /* Shorten the function call. */
2861 BFD_ASSERT (rel->r_offset + 8 <= sec->size);
2862
2863 auipc = bfd_get_32 (abfd, contents + rel->r_offset);
2864 jalr = bfd_get_32 (abfd, contents + rel->r_offset + 4);
2865 rd = (jalr >> OP_SH_RD) & OP_MASK_RD;
2866 rvc = rvc && VALID_RVC_J_IMM (foff) && ARCH_SIZE == 32;
2867
2868 if (rvc && (rd == 0 || rd == X_RA))
2869 {
2870 /* Relax to C.J[AL] rd, addr. */
2871 r_type = R_RISCV_RVC_JUMP;
2872 auipc = rd == 0 ? MATCH_C_J : MATCH_C_JAL;
2873 len = 2;
2874 }
2875 else if (VALID_UJTYPE_IMM (foff))
2876 {
2877 /* Relax to JAL rd, addr. */
2878 r_type = R_RISCV_JAL;
2879 auipc = MATCH_JAL | (rd << OP_SH_RD);
2880 }
2881 else /* near_zero */
2882 {
2883 /* Relax to JALR rd, x0, addr. */
2884 r_type = R_RISCV_LO12_I;
2885 auipc = MATCH_JALR | (rd << OP_SH_RD);
2886 }
2887
2888 /* Replace the R_RISCV_CALL reloc. */
2889 rel->r_info = ELFNN_R_INFO (ELFNN_R_SYM (rel->r_info), r_type);
2890 /* Replace the AUIPC. */
2891 bfd_put (8 * len, abfd, auipc, contents + rel->r_offset);
2892
2893 /* Delete unnecessary JALR. */
2894 *again = TRUE;
2895 return riscv_relax_delete_bytes (abfd, sec, rel->r_offset + len, 8 - len);
2896}
2897
2898/* Traverse all output sections and return the max alignment. */
2899
1d61f794 2900static bfd_vma
e23eba97
NC
2901_bfd_riscv_get_max_alignment (asection *sec)
2902{
2903 unsigned int max_alignment_power = 0;
2904 asection *o;
2905
2906 for (o = sec->output_section->owner->sections; o != NULL; o = o->next)
2907 {
2908 if (o->alignment_power > max_alignment_power)
2909 max_alignment_power = o->alignment_power;
2910 }
2911
1d61f794 2912 return (bfd_vma) 1 << max_alignment_power;
e23eba97
NC
2913}
2914
2915/* Relax non-PIC global variable references. */
2916
2917static bfd_boolean
2918_bfd_riscv_relax_lui (bfd *abfd,
2919 asection *sec,
2920 asection *sym_sec,
2921 struct bfd_link_info *link_info,
2922 Elf_Internal_Rela *rel,
2923 bfd_vma symval,
45f76423
AW
2924 bfd_vma max_alignment,
2925 bfd_vma reserve_size,
9d06997a
PD
2926 bfd_boolean *again,
2927 riscv_pcgp_relocs *pcgp_relocs ATTRIBUTE_UNUSED)
e23eba97
NC
2928{
2929 bfd_byte *contents = elf_section_data (sec)->this_hdr.contents;
2930 bfd_vma gp = riscv_global_pointer_value (link_info);
2931 int use_rvc = elf_elfheader (abfd)->e_flags & EF_RISCV_RVC;
2932
2933 /* Mergeable symbols and code might later move out of range. */
2934 if (sym_sec->flags & (SEC_MERGE | SEC_CODE))
2935 return TRUE;
2936
2937 BFD_ASSERT (rel->r_offset + 4 <= sec->size);
2938
d0f744f9
AW
2939 if (gp)
2940 {
2941 /* If gp and the symbol are in the same output section, then
2942 consider only that section's alignment. */
2943 struct bfd_link_hash_entry *h =
b5292032
PD
2944 bfd_link_hash_lookup (link_info->hash, RISCV_GP_SYMBOL, FALSE, FALSE,
2945 TRUE);
d0f744f9
AW
2946 if (h->u.def.section->output_section == sym_sec->output_section)
2947 max_alignment = (bfd_vma) 1 << sym_sec->output_section->alignment_power;
2948 }
2949
e23eba97
NC
2950 /* Is the reference in range of x0 or gp?
2951 Valid gp range conservatively because of alignment issue. */
2952 if (VALID_ITYPE_IMM (symval)
45f76423
AW
2953 || (symval >= gp
2954 && VALID_ITYPE_IMM (symval - gp + max_alignment + reserve_size))
2955 || (symval < gp
2956 && VALID_ITYPE_IMM (symval - gp - max_alignment - reserve_size)))
e23eba97
NC
2957 {
2958 unsigned sym = ELFNN_R_SYM (rel->r_info);
2959 switch (ELFNN_R_TYPE (rel->r_info))
2960 {
2961 case R_RISCV_LO12_I:
2962 rel->r_info = ELFNN_R_INFO (sym, R_RISCV_GPREL_I);
2963 return TRUE;
2964
2965 case R_RISCV_LO12_S:
2966 rel->r_info = ELFNN_R_INFO (sym, R_RISCV_GPREL_S);
2967 return TRUE;
2968
2969 case R_RISCV_HI20:
2970 /* We can delete the unnecessary LUI and reloc. */
2971 rel->r_info = ELFNN_R_INFO (0, R_RISCV_NONE);
2972 *again = TRUE;
2973 return riscv_relax_delete_bytes (abfd, sec, rel->r_offset, 4);
2974
2975 default:
2976 abort ();
2977 }
2978 }
2979
2980 /* Can we relax LUI to C.LUI? Alignment might move the section forward;
2981 account for this assuming page alignment at worst. */
2982 if (use_rvc
2983 && ELFNN_R_TYPE (rel->r_info) == R_RISCV_HI20
2984 && VALID_RVC_LUI_IMM (RISCV_CONST_HIGH_PART (symval))
2985 && VALID_RVC_LUI_IMM (RISCV_CONST_HIGH_PART (symval + ELF_MAXPAGESIZE)))
2986 {
3342be5d 2987 /* Replace LUI with C.LUI if legal (i.e., rd != x0 and rd != x2/sp). */
e23eba97 2988 bfd_vma lui = bfd_get_32 (abfd, contents + rel->r_offset);
3342be5d
AW
2989 unsigned rd = ((unsigned)lui >> OP_SH_RD) & OP_MASK_RD;
2990 if (rd == 0 || rd == X_SP)
e23eba97
NC
2991 return TRUE;
2992
2993 lui = (lui & (OP_MASK_RD << OP_SH_RD)) | MATCH_C_LUI;
2994 bfd_put_32 (abfd, lui, contents + rel->r_offset);
2995
2996 /* Replace the R_RISCV_HI20 reloc. */
2997 rel->r_info = ELFNN_R_INFO (ELFNN_R_SYM (rel->r_info), R_RISCV_RVC_LUI);
2998
2999 *again = TRUE;
3000 return riscv_relax_delete_bytes (abfd, sec, rel->r_offset + 2, 2);
3001 }
3002
3003 return TRUE;
3004}
3005
3006/* Relax non-PIC TLS references. */
3007
3008static bfd_boolean
3009_bfd_riscv_relax_tls_le (bfd *abfd,
3010 asection *sec,
3011 asection *sym_sec ATTRIBUTE_UNUSED,
3012 struct bfd_link_info *link_info,
3013 Elf_Internal_Rela *rel,
3014 bfd_vma symval,
45f76423
AW
3015 bfd_vma max_alignment ATTRIBUTE_UNUSED,
3016 bfd_vma reserve_size ATTRIBUTE_UNUSED,
9d06997a
PD
3017 bfd_boolean *again,
3018 riscv_pcgp_relocs *prcel_relocs ATTRIBUTE_UNUSED)
e23eba97
NC
3019{
3020 /* See if this symbol is in range of tp. */
3021 if (RISCV_CONST_HIGH_PART (tpoff (link_info, symval)) != 0)
3022 return TRUE;
3023
e23eba97 3024 BFD_ASSERT (rel->r_offset + 4 <= sec->size);
45f76423
AW
3025 switch (ELFNN_R_TYPE (rel->r_info))
3026 {
3027 case R_RISCV_TPREL_LO12_I:
3028 rel->r_info = ELFNN_R_INFO (ELFNN_R_SYM (rel->r_info), R_RISCV_TPREL_I);
3029 return TRUE;
e23eba97 3030
45f76423
AW
3031 case R_RISCV_TPREL_LO12_S:
3032 rel->r_info = ELFNN_R_INFO (ELFNN_R_SYM (rel->r_info), R_RISCV_TPREL_S);
3033 return TRUE;
3034
3035 case R_RISCV_TPREL_HI20:
3036 case R_RISCV_TPREL_ADD:
3037 /* We can delete the unnecessary instruction and reloc. */
3038 rel->r_info = ELFNN_R_INFO (0, R_RISCV_NONE);
3039 *again = TRUE;
3040 return riscv_relax_delete_bytes (abfd, sec, rel->r_offset, 4);
3041
3042 default:
3043 abort ();
3044 }
e23eba97
NC
3045}
3046
3047/* Implement R_RISCV_ALIGN by deleting excess alignment NOPs. */
3048
3049static bfd_boolean
3050_bfd_riscv_relax_align (bfd *abfd, asection *sec,
9eb7b0ac 3051 asection *sym_sec,
e23eba97
NC
3052 struct bfd_link_info *link_info ATTRIBUTE_UNUSED,
3053 Elf_Internal_Rela *rel,
3054 bfd_vma symval,
45f76423
AW
3055 bfd_vma max_alignment ATTRIBUTE_UNUSED,
3056 bfd_vma reserve_size ATTRIBUTE_UNUSED,
9d06997a
PD
3057 bfd_boolean *again ATTRIBUTE_UNUSED,
3058 riscv_pcgp_relocs *pcrel_relocs ATTRIBUTE_UNUSED)
e23eba97
NC
3059{
3060 bfd_byte *contents = elf_section_data (sec)->this_hdr.contents;
3061 bfd_vma alignment = 1, pos;
3062 while (alignment <= rel->r_addend)
3063 alignment *= 2;
3064
3065 symval -= rel->r_addend;
3066 bfd_vma aligned_addr = ((symval - 1) & ~(alignment - 1)) + alignment;
3067 bfd_vma nop_bytes = aligned_addr - symval;
3068
3069 /* Once we've handled an R_RISCV_ALIGN, we can't relax anything else. */
3070 sec->sec_flg0 = TRUE;
3071
3072 /* Make sure there are enough NOPs to actually achieve the alignment. */
3073 if (rel->r_addend < nop_bytes)
9eb7b0ac
PD
3074 {
3075 (*_bfd_error_handler)
671275c3 3076 (_("%B(%A+0x%lx): %d bytes required for alignment "
9eb7b0ac
PD
3077 "to %d-byte boundary, but only %d present"),
3078 abfd, sym_sec, rel->r_offset, nop_bytes, alignment, rel->r_addend);
3079 bfd_set_error (bfd_error_bad_value);
3080 return FALSE;
3081 }
e23eba97
NC
3082
3083 /* Delete the reloc. */
3084 rel->r_info = ELFNN_R_INFO (0, R_RISCV_NONE);
3085
3086 /* If the number of NOPs is already correct, there's nothing to do. */
3087 if (nop_bytes == rel->r_addend)
3088 return TRUE;
3089
3090 /* Write as many RISC-V NOPs as we need. */
3091 for (pos = 0; pos < (nop_bytes & -4); pos += 4)
3092 bfd_put_32 (abfd, RISCV_NOP, contents + rel->r_offset + pos);
3093
3094 /* Write a final RVC NOP if need be. */
3095 if (nop_bytes % 4 != 0)
3096 bfd_put_16 (abfd, RVC_NOP, contents + rel->r_offset + pos);
3097
3098 /* Delete the excess bytes. */
3099 return riscv_relax_delete_bytes (abfd, sec, rel->r_offset + nop_bytes,
3100 rel->r_addend - nop_bytes);
3101}
3102
ff6f4d9b
PD
3103/* Relax PC-relative references to GP-relative references. */
3104
9d06997a
PD
3105static bfd_boolean
3106_bfd_riscv_relax_pc (bfd *abfd,
3107 asection *sec,
3108 asection *sym_sec,
3109 struct bfd_link_info *link_info,
3110 Elf_Internal_Rela *rel,
3111 bfd_vma symval,
3112 bfd_vma max_alignment,
3113 bfd_vma reserve_size,
3114 bfd_boolean *again ATTRIBUTE_UNUSED,
3115 riscv_pcgp_relocs *pcgp_relocs)
3116{
3117 bfd_vma gp = riscv_global_pointer_value (link_info);
3118
3119 BFD_ASSERT (rel->r_offset + 4 <= sec->size);
3120
3121 /* Chain the _LO relocs to their cooresponding _HI reloc to compute the
3122 * actual target address. */
3123 riscv_pcgp_hi_reloc hi_reloc = {0};
3124 switch (ELFNN_R_TYPE (rel->r_info))
3125 {
3126 case R_RISCV_PCREL_LO12_I:
3127 case R_RISCV_PCREL_LO12_S:
3128 {
3129 riscv_pcgp_hi_reloc *hi = riscv_find_pcgp_hi_reloc (pcgp_relocs,
3130 symval - sec_addr(sym_sec));
3131 if (hi == NULL)
3132 {
3133 riscv_record_pcgp_lo_reloc (pcgp_relocs, symval - sec_addr(sym_sec));
3134 return TRUE;
3135 }
3136
3137 hi_reloc = *hi;
3138 symval = hi_reloc.hi_addr;
3139 sym_sec = hi_reloc.sym_sec;
3140 if (!riscv_use_pcgp_hi_reloc(pcgp_relocs, hi->hi_sec_off))
3141 (*_bfd_error_handler)
3142 (_("%B(%A+0x%lx): Unable to clear RISCV_PCREL_HI20 reloc"
3143 "for cooresponding RISCV_PCREL_LO12 reloc"),
3144 abfd, sec, rel->r_offset);
3145 }
3146 break;
3147
3148 case R_RISCV_PCREL_HI20:
3149 /* Mergeable symbols and code might later move out of range. */
3150 if (sym_sec->flags & (SEC_MERGE | SEC_CODE))
3151 return TRUE;
3152
3153 /* If the cooresponding lo relocation has already been seen then it's not
3154 * safe to relax this relocation. */
3155 if (riscv_find_pcgp_lo_reloc (pcgp_relocs, rel->r_offset))
3156 return TRUE;
3157
3158 break;
3159
3160 default:
3161 abort ();
3162 }
3163
3164 if (gp)
3165 {
3166 /* If gp and the symbol are in the same output section, then
3167 consider only that section's alignment. */
3168 struct bfd_link_hash_entry *h =
3169 bfd_link_hash_lookup (link_info->hash, RISCV_GP_SYMBOL, FALSE, FALSE, TRUE);
3170 if (h->u.def.section->output_section == sym_sec->output_section)
3171 max_alignment = (bfd_vma) 1 << sym_sec->output_section->alignment_power;
3172 }
3173
3174 /* Is the reference in range of x0 or gp?
3175 Valid gp range conservatively because of alignment issue. */
3176 if (VALID_ITYPE_IMM (symval)
3177 || (symval >= gp
3178 && VALID_ITYPE_IMM (symval - gp + max_alignment + reserve_size))
3179 || (symval < gp
3180 && VALID_ITYPE_IMM (symval - gp - max_alignment - reserve_size)))
3181 {
3182 unsigned sym = hi_reloc.hi_sym;
3183 switch (ELFNN_R_TYPE (rel->r_info))
3184 {
3185 case R_RISCV_PCREL_LO12_I:
3186 rel->r_info = ELFNN_R_INFO (sym, R_RISCV_GPREL_I);
3187 rel->r_addend += hi_reloc.hi_addend;
3188 return riscv_delete_pcgp_lo_reloc (pcgp_relocs, rel->r_offset, 4);
3189
3190 case R_RISCV_PCREL_LO12_S:
3191 rel->r_info = ELFNN_R_INFO (sym, R_RISCV_GPREL_S);
3192 rel->r_addend += hi_reloc.hi_addend;
3193 return riscv_delete_pcgp_lo_reloc (pcgp_relocs, rel->r_offset, 4);
3194
3195 case R_RISCV_PCREL_HI20:
3196 riscv_record_pcgp_hi_reloc (pcgp_relocs,
3197 rel->r_offset,
3198 rel->r_addend,
3199 symval,
3200 ELFNN_R_SYM(rel->r_info),
3201 sym_sec);
3202 /* We can delete the unnecessary AUIPC and reloc. */
3203 rel->r_info = ELFNN_R_INFO (0, R_RISCV_DELETE);
3204 rel->r_addend = 4;
3205 return riscv_delete_pcgp_hi_reloc (pcgp_relocs, rel->r_offset);
3206
3207 default:
3208 abort ();
3209 }
3210 }
3211
3212 return TRUE;
3213}
3214
3215/* Relax PC-relative references to GP-relative references. */
3216
ff6f4d9b
PD
3217static bfd_boolean
3218_bfd_riscv_relax_delete (bfd *abfd,
3219 asection *sec,
3220 asection *sym_sec ATTRIBUTE_UNUSED,
3221 struct bfd_link_info *link_info ATTRIBUTE_UNUSED,
3222 Elf_Internal_Rela *rel,
3223 bfd_vma symval ATTRIBUTE_UNUSED,
3224 bfd_vma max_alignment ATTRIBUTE_UNUSED,
3225 bfd_vma reserve_size ATTRIBUTE_UNUSED,
9d06997a
PD
3226 bfd_boolean *again ATTRIBUTE_UNUSED,
3227 riscv_pcgp_relocs *pcgp_relocs ATTRIBUTE_UNUSED)
ff6f4d9b
PD
3228{
3229 if (!riscv_relax_delete_bytes(abfd, sec, rel->r_offset, rel->r_addend))
3230 return FALSE;
3231 rel->r_info = ELFNN_R_INFO(0, R_RISCV_NONE);
3232 return TRUE;
3233}
3234
3235/* Relax a section. Pass 0 shortens code sequences unless disabled. Pass 1
3236 deletes the bytes that pass 0 made obselete. Pass 2, which cannot be
3237 disabled, handles code alignment directives. */
e23eba97
NC
3238
3239static bfd_boolean
3240_bfd_riscv_relax_section (bfd *abfd, asection *sec,
3241 struct bfd_link_info *info,
3242 bfd_boolean *again)
3243{
3244 Elf_Internal_Shdr *symtab_hdr = &elf_symtab_hdr (abfd);
3245 struct riscv_elf_link_hash_table *htab = riscv_elf_hash_table (info);
3246 struct bfd_elf_section_data *data = elf_section_data (sec);
3247 Elf_Internal_Rela *relocs;
3248 bfd_boolean ret = FALSE;
3249 unsigned int i;
45f76423 3250 bfd_vma max_alignment, reserve_size = 0;
9d06997a 3251 riscv_pcgp_relocs pcgp_relocs;
e23eba97
NC
3252
3253 *again = FALSE;
3254
3255 if (bfd_link_relocatable (info)
3256 || sec->sec_flg0
3257 || (sec->flags & SEC_RELOC) == 0
3258 || sec->reloc_count == 0
3259 || (info->disable_target_specific_optimizations
3260 && info->relax_pass == 0))
3261 return TRUE;
3262
9d06997a
PD
3263 riscv_init_pcgp_relocs (&pcgp_relocs);
3264
e23eba97
NC
3265 /* Read this BFD's relocs if we haven't done so already. */
3266 if (data->relocs)
3267 relocs = data->relocs;
3268 else if (!(relocs = _bfd_elf_link_read_relocs (abfd, sec, NULL, NULL,
3269 info->keep_memory)))
3270 goto fail;
3271
fc3c5343
L
3272 if (htab)
3273 {
3274 max_alignment = htab->max_alignment;
3275 if (max_alignment == (bfd_vma) -1)
3276 {
3277 max_alignment = _bfd_riscv_get_max_alignment (sec);
3278 htab->max_alignment = max_alignment;
3279 }
3280 }
3281 else
3282 max_alignment = _bfd_riscv_get_max_alignment (sec);
e23eba97
NC
3283
3284 /* Examine and consider relaxing each reloc. */
3285 for (i = 0; i < sec->reloc_count; i++)
3286 {
3287 asection *sym_sec;
3288 Elf_Internal_Rela *rel = relocs + i;
45f76423 3289 relax_func_t relax_func;
e23eba97
NC
3290 int type = ELFNN_R_TYPE (rel->r_info);
3291 bfd_vma symval;
3292
ff6f4d9b 3293 relax_func = NULL;
e23eba97
NC
3294 if (info->relax_pass == 0)
3295 {
3296 if (type == R_RISCV_CALL || type == R_RISCV_CALL_PLT)
3297 relax_func = _bfd_riscv_relax_call;
3298 else if (type == R_RISCV_HI20
3299 || type == R_RISCV_LO12_I
3300 || type == R_RISCV_LO12_S)
3301 relax_func = _bfd_riscv_relax_lui;
9d06997a
PD
3302 else if (!bfd_link_pic(info)
3303 && (type == R_RISCV_PCREL_HI20
3304 || type == R_RISCV_PCREL_LO12_I
3305 || type == R_RISCV_PCREL_LO12_S))
3306 relax_func = _bfd_riscv_relax_pc;
45f76423
AW
3307 else if (type == R_RISCV_TPREL_HI20
3308 || type == R_RISCV_TPREL_ADD
3309 || type == R_RISCV_TPREL_LO12_I
3310 || type == R_RISCV_TPREL_LO12_S)
e23eba97 3311 relax_func = _bfd_riscv_relax_tls_le;
45f76423
AW
3312 else
3313 continue;
3314
3315 /* Only relax this reloc if it is paired with R_RISCV_RELAX. */
3316 if (i == sec->reloc_count - 1
3317 || ELFNN_R_TYPE ((rel + 1)->r_info) != R_RISCV_RELAX
3318 || rel->r_offset != (rel + 1)->r_offset)
3319 continue;
3320
3321 /* Skip over the R_RISCV_RELAX. */
3322 i++;
e23eba97 3323 }
ff6f4d9b
PD
3324 else if (info->relax_pass == 1 && type == R_RISCV_DELETE)
3325 relax_func = _bfd_riscv_relax_delete;
3326 else if (info->relax_pass == 2 && type == R_RISCV_ALIGN)
e23eba97 3327 relax_func = _bfd_riscv_relax_align;
45f76423 3328 else
e23eba97
NC
3329 continue;
3330
3331 data->relocs = relocs;
3332
3333 /* Read this BFD's contents if we haven't done so already. */
3334 if (!data->this_hdr.contents
3335 && !bfd_malloc_and_get_section (abfd, sec, &data->this_hdr.contents))
3336 goto fail;
3337
3338 /* Read this BFD's symbols if we haven't done so already. */
3339 if (symtab_hdr->sh_info != 0
3340 && !symtab_hdr->contents
3341 && !(symtab_hdr->contents =
3342 (unsigned char *) bfd_elf_get_elf_syms (abfd, symtab_hdr,
3343 symtab_hdr->sh_info,
3344 0, NULL, NULL, NULL)))
3345 goto fail;
3346
3347 /* Get the value of the symbol referred to by the reloc. */
3348 if (ELFNN_R_SYM (rel->r_info) < symtab_hdr->sh_info)
3349 {
3350 /* A local symbol. */
3351 Elf_Internal_Sym *isym = ((Elf_Internal_Sym *) symtab_hdr->contents
3352 + ELFNN_R_SYM (rel->r_info));
45f76423
AW
3353 reserve_size = (isym->st_size - rel->r_addend) > isym->st_size
3354 ? 0 : isym->st_size - rel->r_addend;
e23eba97
NC
3355
3356 if (isym->st_shndx == SHN_UNDEF)
3357 sym_sec = sec, symval = sec_addr (sec) + rel->r_offset;
3358 else
3359 {
3360 BFD_ASSERT (isym->st_shndx < elf_numsections (abfd));
3361 sym_sec = elf_elfsections (abfd)[isym->st_shndx]->bfd_section;
3362 if (sec_addr (sym_sec) == 0)
3363 continue;
3364 symval = sec_addr (sym_sec) + isym->st_value;
3365 }
3366 }
3367 else
3368 {
3369 unsigned long indx;
3370 struct elf_link_hash_entry *h;
3371
3372 indx = ELFNN_R_SYM (rel->r_info) - symtab_hdr->sh_info;
3373 h = elf_sym_hashes (abfd)[indx];
3374
3375 while (h->root.type == bfd_link_hash_indirect
3376 || h->root.type == bfd_link_hash_warning)
3377 h = (struct elf_link_hash_entry *) h->root.u.i.link;
3378
3379 if (h->plt.offset != MINUS_ONE)
3380 symval = sec_addr (htab->elf.splt) + h->plt.offset;
3381 else if (h->root.u.def.section->output_section == NULL
3382 || (h->root.type != bfd_link_hash_defined
3383 && h->root.type != bfd_link_hash_defweak))
3384 continue;
3385 else
3386 symval = sec_addr (h->root.u.def.section) + h->root.u.def.value;
3387
45f76423
AW
3388 if (h->type != STT_FUNC)
3389 reserve_size =
3390 (h->size - rel->r_addend) > h->size ? 0 : h->size - rel->r_addend;
e23eba97
NC
3391 sym_sec = h->root.u.def.section;
3392 }
3393
3394 symval += rel->r_addend;
3395
3396 if (!relax_func (abfd, sec, sym_sec, info, rel, symval,
9d06997a
PD
3397 max_alignment, reserve_size, again,
3398 &pcgp_relocs))
e23eba97
NC
3399 goto fail;
3400 }
3401
3402 ret = TRUE;
3403
3404fail:
3405 if (relocs != data->relocs)
3406 free (relocs);
9d06997a 3407 riscv_free_pcgp_relocs(&pcgp_relocs, abfd, sec);
e23eba97
NC
3408
3409 return ret;
3410}
3411
3412#if ARCH_SIZE == 32
3413# define PRSTATUS_SIZE 0 /* FIXME */
3414# define PRSTATUS_OFFSET_PR_CURSIG 12
3415# define PRSTATUS_OFFSET_PR_PID 24
3416# define PRSTATUS_OFFSET_PR_REG 72
3417# define ELF_GREGSET_T_SIZE 128
3418# define PRPSINFO_SIZE 128
3419# define PRPSINFO_OFFSET_PR_PID 16
3420# define PRPSINFO_OFFSET_PR_FNAME 32
3421# define PRPSINFO_OFFSET_PR_PSARGS 48
3422#else
3423# define PRSTATUS_SIZE 376
3424# define PRSTATUS_OFFSET_PR_CURSIG 12
3425# define PRSTATUS_OFFSET_PR_PID 32
3426# define PRSTATUS_OFFSET_PR_REG 112
3427# define ELF_GREGSET_T_SIZE 256
3428# define PRPSINFO_SIZE 136
3429# define PRPSINFO_OFFSET_PR_PID 24
3430# define PRPSINFO_OFFSET_PR_FNAME 40
3431# define PRPSINFO_OFFSET_PR_PSARGS 56
3432#endif
3433
3434/* Support for core dump NOTE sections. */
3435
3436static bfd_boolean
3437riscv_elf_grok_prstatus (bfd *abfd, Elf_Internal_Note *note)
3438{
3439 switch (note->descsz)
3440 {
3441 default:
3442 return FALSE;
3443
3444 case PRSTATUS_SIZE: /* sizeof(struct elf_prstatus) on Linux/RISC-V. */
3445 /* pr_cursig */
3446 elf_tdata (abfd)->core->signal
3447 = bfd_get_16 (abfd, note->descdata + PRSTATUS_OFFSET_PR_CURSIG);
3448
3449 /* pr_pid */
3450 elf_tdata (abfd)->core->lwpid
3451 = bfd_get_32 (abfd, note->descdata + PRSTATUS_OFFSET_PR_PID);
3452 break;
3453 }
3454
3455 /* Make a ".reg/999" section. */
3456 return _bfd_elfcore_make_pseudosection (abfd, ".reg", ELF_GREGSET_T_SIZE,
3457 note->descpos + PRSTATUS_OFFSET_PR_REG);
3458}
3459
3460static bfd_boolean
3461riscv_elf_grok_psinfo (bfd *abfd, Elf_Internal_Note *note)
3462{
3463 switch (note->descsz)
3464 {
3465 default:
3466 return FALSE;
3467
3468 case PRPSINFO_SIZE: /* sizeof(struct elf_prpsinfo) on Linux/RISC-V. */
3469 /* pr_pid */
3470 elf_tdata (abfd)->core->pid
3471 = bfd_get_32 (abfd, note->descdata + PRPSINFO_OFFSET_PR_PID);
3472
3473 /* pr_fname */
3474 elf_tdata (abfd)->core->program = _bfd_elfcore_strndup
3475 (abfd, note->descdata + PRPSINFO_OFFSET_PR_FNAME, 16);
3476
3477 /* pr_psargs */
3478 elf_tdata (abfd)->core->command = _bfd_elfcore_strndup
3479 (abfd, note->descdata + PRPSINFO_OFFSET_PR_PSARGS, 80);
3480 break;
3481 }
3482
3483 /* Note that for some reason, a spurious space is tacked
3484 onto the end of the args in some (at least one anyway)
3485 implementations, so strip it off if it exists. */
3486
3487 {
3488 char *command = elf_tdata (abfd)->core->command;
3489 int n = strlen (command);
3490
3491 if (0 < n && command[n - 1] == ' ')
3492 command[n - 1] = '\0';
3493 }
3494
3495 return TRUE;
3496}
3497
640d6bfd
KLC
3498/* Set the right mach type. */
3499static bfd_boolean
3500riscv_elf_object_p (bfd *abfd)
3501{
3502 /* There are only two mach types in RISCV currently. */
3503 if (strcmp (abfd->xvec->name, "elf32-littleriscv") == 0)
3504 bfd_default_set_arch_mach (abfd, bfd_arch_riscv, bfd_mach_riscv32);
3505 else
3506 bfd_default_set_arch_mach (abfd, bfd_arch_riscv, bfd_mach_riscv64);
3507
3508 return TRUE;
3509}
3510
e23eba97
NC
3511
3512#define TARGET_LITTLE_SYM riscv_elfNN_vec
3513#define TARGET_LITTLE_NAME "elfNN-littleriscv"
3514
3515#define elf_backend_reloc_type_class riscv_reloc_type_class
3516
3517#define bfd_elfNN_bfd_reloc_name_lookup riscv_reloc_name_lookup
3518#define bfd_elfNN_bfd_link_hash_table_create riscv_elf_link_hash_table_create
3519#define bfd_elfNN_bfd_reloc_type_lookup riscv_reloc_type_lookup
3520#define bfd_elfNN_bfd_merge_private_bfd_data \
3521 _bfd_riscv_elf_merge_private_bfd_data
3522
3523#define elf_backend_copy_indirect_symbol riscv_elf_copy_indirect_symbol
3524#define elf_backend_create_dynamic_sections riscv_elf_create_dynamic_sections
3525#define elf_backend_check_relocs riscv_elf_check_relocs
3526#define elf_backend_adjust_dynamic_symbol riscv_elf_adjust_dynamic_symbol
3527#define elf_backend_size_dynamic_sections riscv_elf_size_dynamic_sections
3528#define elf_backend_relocate_section riscv_elf_relocate_section
3529#define elf_backend_finish_dynamic_symbol riscv_elf_finish_dynamic_symbol
3530#define elf_backend_finish_dynamic_sections riscv_elf_finish_dynamic_sections
3531#define elf_backend_gc_mark_hook riscv_elf_gc_mark_hook
e23eba97
NC
3532#define elf_backend_plt_sym_val riscv_elf_plt_sym_val
3533#define elf_backend_grok_prstatus riscv_elf_grok_prstatus
3534#define elf_backend_grok_psinfo riscv_elf_grok_psinfo
640d6bfd 3535#define elf_backend_object_p riscv_elf_object_p
e23eba97
NC
3536#define elf_info_to_howto_rel NULL
3537#define elf_info_to_howto riscv_info_to_howto_rela
3538#define bfd_elfNN_bfd_relax_section _bfd_riscv_relax_section
3539
3540#define elf_backend_init_index_section _bfd_elf_init_1_index_section
3541
3542#define elf_backend_can_gc_sections 1
3543#define elf_backend_can_refcount 1
3544#define elf_backend_want_got_plt 1
3545#define elf_backend_plt_readonly 1
3546#define elf_backend_plt_alignment 4
3547#define elf_backend_want_plt_sym 1
3548#define elf_backend_got_header_size (ARCH_SIZE / 8)
5474d94f 3549#define elf_backend_want_dynrelro 1
e23eba97
NC
3550#define elf_backend_rela_normal 1
3551#define elf_backend_default_execstack 0
3552
3553#include "elfNN-target.h"
This page took 0.228121 seconds and 4 git commands to generate.