riscv: Cache the max alignment of output sections
[external/binutils.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"