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