1 /* RISC-V-specific support for ELF.
2 Copyright (C) 2011-2021 Free Software Foundation, Inc.
4 Contributed by Andrew Waterman (andrew@sifive.com).
5 Based on TILE-Gx and MIPS targets.
7 This file is part of BFD, the Binary File Descriptor library.
9 This program is free software; you can redistribute it and/or modify
10 it under the terms of the GNU General Public License as published by
11 the Free Software Foundation; either version 3 of the License, or
12 (at your option) any later version.
14 This program is distributed in the hope that it will be useful,
15 but WITHOUT ANY WARRANTY; without even the implied warranty of
16 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
17 GNU General Public License for more details.
19 You should have received a copy of the GNU General Public License
20 along with this program; see the file COPYING3. If not,
21 see <http://www.gnu.org/licenses/>. */
27 #include "elf/riscv.h"
28 #include "opcode/riscv.h"
29 #include "libiberty.h"
30 #include "elfxx-riscv.h"
31 #include "safe-ctype.h"
32 #include "cpu-riscv.h"
34 #define MINUS_ONE ((bfd_vma)0 - 1)
36 /* Special handler for ADD/SUB relocations that allows them to be filled out
37 both in the pre-linked and post-linked file. This is necessary to make
38 pre-linked debug info work, as due to linker relaxations we need to emit
39 relocations for the debug info. */
40 static bfd_reloc_status_type riscv_elf_add_sub_reloc
41 (bfd
*, arelent
*, asymbol
*, void *, asection
*, bfd
*, char **);
43 /* The relocation table used for SHT_RELA sections. */
45 static reloc_howto_type howto_table
[] =
48 HOWTO (R_RISCV_NONE
, /* type */
52 false, /* pc_relative */
54 complain_overflow_dont
, /* complain_on_overflow */
55 bfd_elf_generic_reloc
, /* special_function */
56 "R_RISCV_NONE", /* name */
57 false, /* partial_inplace */
60 false), /* pcrel_offset */
62 /* 32 bit relocation. */
63 HOWTO (R_RISCV_32
, /* type */
67 false, /* pc_relative */
69 complain_overflow_dont
, /* complain_on_overflow */
70 bfd_elf_generic_reloc
, /* special_function */
71 "R_RISCV_32", /* name */
72 false, /* partial_inplace */
74 0xffffffff, /* dst_mask */
75 false), /* pcrel_offset */
77 /* 64 bit relocation. */
78 HOWTO (R_RISCV_64
, /* type */
82 false, /* pc_relative */
84 complain_overflow_dont
, /* complain_on_overflow */
85 bfd_elf_generic_reloc
, /* special_function */
86 "R_RISCV_64", /* name */
87 false, /* partial_inplace */
89 MINUS_ONE
, /* dst_mask */
90 false), /* pcrel_offset */
92 /* Relocation against a local symbol in a shared object. */
93 HOWTO (R_RISCV_RELATIVE
, /* type */
97 false, /* pc_relative */
99 complain_overflow_dont
, /* complain_on_overflow */
100 bfd_elf_generic_reloc
, /* special_function */
101 "R_RISCV_RELATIVE", /* name */
102 false, /* partial_inplace */
104 0xffffffff, /* dst_mask */
105 false), /* pcrel_offset */
107 HOWTO (R_RISCV_COPY
, /* type */
109 0, /* this one is variable size */
111 false, /* pc_relative */
113 complain_overflow_bitfield
, /* complain_on_overflow */
114 bfd_elf_generic_reloc
, /* special_function */
115 "R_RISCV_COPY", /* name */
116 false, /* partial_inplace */
119 false), /* pcrel_offset */
121 HOWTO (R_RISCV_JUMP_SLOT
, /* type */
125 false, /* pc_relative */
127 complain_overflow_bitfield
, /* complain_on_overflow */
128 bfd_elf_generic_reloc
, /* special_function */
129 "R_RISCV_JUMP_SLOT", /* name */
130 false, /* partial_inplace */
133 false), /* pcrel_offset */
135 /* Dynamic TLS relocations. */
136 HOWTO (R_RISCV_TLS_DTPMOD32
, /* type */
140 false, /* pc_relative */
142 complain_overflow_dont
, /* complain_on_overflow */
143 bfd_elf_generic_reloc
, /* special_function */
144 "R_RISCV_TLS_DTPMOD32", /* name */
145 false, /* partial_inplace */
147 0xffffffff, /* dst_mask */
148 false), /* pcrel_offset */
150 HOWTO (R_RISCV_TLS_DTPMOD64
, /* type */
154 false, /* pc_relative */
156 complain_overflow_dont
, /* complain_on_overflow */
157 bfd_elf_generic_reloc
, /* special_function */
158 "R_RISCV_TLS_DTPMOD64", /* name */
159 false, /* partial_inplace */
161 MINUS_ONE
, /* dst_mask */
162 false), /* pcrel_offset */
164 HOWTO (R_RISCV_TLS_DTPREL32
, /* type */
168 false, /* pc_relative */
170 complain_overflow_dont
, /* complain_on_overflow */
171 bfd_elf_generic_reloc
, /* special_function */
172 "R_RISCV_TLS_DTPREL32", /* name */
173 true, /* partial_inplace */
175 0xffffffff, /* dst_mask */
176 false), /* pcrel_offset */
178 HOWTO (R_RISCV_TLS_DTPREL64
, /* type */
182 false, /* pc_relative */
184 complain_overflow_dont
, /* complain_on_overflow */
185 bfd_elf_generic_reloc
, /* special_function */
186 "R_RISCV_TLS_DTPREL64", /* name */
187 true, /* partial_inplace */
189 MINUS_ONE
, /* dst_mask */
190 false), /* pcrel_offset */
192 HOWTO (R_RISCV_TLS_TPREL32
, /* type */
196 false, /* pc_relative */
198 complain_overflow_dont
, /* complain_on_overflow */
199 bfd_elf_generic_reloc
, /* special_function */
200 "R_RISCV_TLS_TPREL32", /* name */
201 false, /* partial_inplace */
203 0xffffffff, /* dst_mask */
204 false), /* pcrel_offset */
206 HOWTO (R_RISCV_TLS_TPREL64
, /* type */
210 false, /* pc_relative */
212 complain_overflow_dont
, /* complain_on_overflow */
213 bfd_elf_generic_reloc
, /* special_function */
214 "R_RISCV_TLS_TPREL64", /* name */
215 false, /* partial_inplace */
217 MINUS_ONE
, /* dst_mask */
218 false), /* pcrel_offset */
220 /* Reserved for future relocs that the dynamic linker must understand. */
226 /* 12-bit PC-relative branch offset. */
227 HOWTO (R_RISCV_BRANCH
, /* type */
231 true, /* pc_relative */
233 complain_overflow_signed
, /* complain_on_overflow */
234 bfd_elf_generic_reloc
, /* special_function */
235 "R_RISCV_BRANCH", /* name */
236 false, /* partial_inplace */
238 ENCODE_BTYPE_IMM (-1U), /* dst_mask */
239 true), /* pcrel_offset */
241 /* 20-bit PC-relative jump offset. */
242 HOWTO (R_RISCV_JAL
, /* type */
246 true, /* pc_relative */
248 complain_overflow_dont
, /* complain_on_overflow */
249 bfd_elf_generic_reloc
, /* special_function */
250 "R_RISCV_JAL", /* name */
251 false, /* partial_inplace */
253 ENCODE_JTYPE_IMM (-1U), /* dst_mask */
254 true), /* pcrel_offset */
256 /* 32-bit PC-relative function call (AUIPC/JALR). */
257 HOWTO (R_RISCV_CALL
, /* type */
261 true, /* pc_relative */
263 complain_overflow_dont
, /* complain_on_overflow */
264 bfd_elf_generic_reloc
, /* special_function */
265 "R_RISCV_CALL", /* name */
266 false, /* partial_inplace */
268 ENCODE_UTYPE_IMM (-1U) | ((bfd_vma
) ENCODE_ITYPE_IMM (-1U) << 32),
270 true), /* pcrel_offset */
272 /* Like R_RISCV_CALL, but not locally binding. */
273 HOWTO (R_RISCV_CALL_PLT
, /* type */
277 true, /* pc_relative */
279 complain_overflow_dont
, /* complain_on_overflow */
280 bfd_elf_generic_reloc
, /* special_function */
281 "R_RISCV_CALL_PLT", /* name */
282 false, /* partial_inplace */
284 ENCODE_UTYPE_IMM (-1U) | ((bfd_vma
) ENCODE_ITYPE_IMM (-1U) << 32),
286 true), /* pcrel_offset */
288 /* High 20 bits of 32-bit PC-relative GOT access. */
289 HOWTO (R_RISCV_GOT_HI20
, /* type */
293 true, /* pc_relative */
295 complain_overflow_dont
, /* complain_on_overflow */
296 bfd_elf_generic_reloc
, /* special_function */
297 "R_RISCV_GOT_HI20", /* name */
298 false, /* partial_inplace */
300 ENCODE_UTYPE_IMM (-1U), /* dst_mask */
301 false), /* pcrel_offset */
303 /* High 20 bits of 32-bit PC-relative TLS IE GOT access. */
304 HOWTO (R_RISCV_TLS_GOT_HI20
, /* type */
308 true, /* pc_relative */
310 complain_overflow_dont
, /* complain_on_overflow */
311 bfd_elf_generic_reloc
, /* special_function */
312 "R_RISCV_TLS_GOT_HI20", /* name */
313 false, /* partial_inplace */
315 ENCODE_UTYPE_IMM (-1U), /* dst_mask */
316 false), /* pcrel_offset */
318 /* High 20 bits of 32-bit PC-relative TLS GD GOT reference. */
319 HOWTO (R_RISCV_TLS_GD_HI20
, /* type */
323 true, /* pc_relative */
325 complain_overflow_dont
, /* complain_on_overflow */
326 bfd_elf_generic_reloc
, /* special_function */
327 "R_RISCV_TLS_GD_HI20", /* name */
328 false, /* partial_inplace */
330 ENCODE_UTYPE_IMM (-1U), /* dst_mask */
331 false), /* pcrel_offset */
333 /* High 20 bits of 32-bit PC-relative reference. */
334 HOWTO (R_RISCV_PCREL_HI20
, /* type */
338 true, /* pc_relative */
340 complain_overflow_dont
, /* complain_on_overflow */
341 bfd_elf_generic_reloc
, /* special_function */
342 "R_RISCV_PCREL_HI20", /* name */
343 false, /* partial_inplace */
345 ENCODE_UTYPE_IMM (-1U), /* dst_mask */
346 true), /* pcrel_offset */
348 /* Low 12 bits of a 32-bit PC-relative load or add. */
349 HOWTO (R_RISCV_PCREL_LO12_I
, /* type */
353 false, /* pc_relative */
355 complain_overflow_dont
, /* complain_on_overflow */
356 bfd_elf_generic_reloc
, /* special_function */
357 "R_RISCV_PCREL_LO12_I", /* name */
358 false, /* partial_inplace */
360 ENCODE_ITYPE_IMM (-1U), /* dst_mask */
361 false), /* pcrel_offset */
363 /* Low 12 bits of a 32-bit PC-relative store. */
364 HOWTO (R_RISCV_PCREL_LO12_S
, /* type */
368 false, /* pc_relative */
370 complain_overflow_dont
, /* complain_on_overflow */
371 bfd_elf_generic_reloc
, /* special_function */
372 "R_RISCV_PCREL_LO12_S", /* name */
373 false, /* partial_inplace */
375 ENCODE_STYPE_IMM (-1U), /* dst_mask */
376 false), /* pcrel_offset */
378 /* High 20 bits of 32-bit absolute address. */
379 HOWTO (R_RISCV_HI20
, /* type */
383 false, /* pc_relative */
385 complain_overflow_dont
, /* complain_on_overflow */
386 bfd_elf_generic_reloc
, /* special_function */
387 "R_RISCV_HI20", /* name */
388 false, /* partial_inplace */
390 ENCODE_UTYPE_IMM (-1U), /* dst_mask */
391 false), /* pcrel_offset */
393 /* High 12 bits of 32-bit load or add. */
394 HOWTO (R_RISCV_LO12_I
, /* type */
398 false, /* pc_relative */
400 complain_overflow_dont
, /* complain_on_overflow */
401 bfd_elf_generic_reloc
, /* special_function */
402 "R_RISCV_LO12_I", /* name */
403 false, /* partial_inplace */
405 ENCODE_ITYPE_IMM (-1U), /* dst_mask */
406 false), /* pcrel_offset */
408 /* High 12 bits of 32-bit store. */
409 HOWTO (R_RISCV_LO12_S
, /* type */
413 false, /* pc_relative */
415 complain_overflow_dont
, /* complain_on_overflow */
416 bfd_elf_generic_reloc
, /* special_function */
417 "R_RISCV_LO12_S", /* name */
418 false, /* partial_inplace */
420 ENCODE_STYPE_IMM (-1U), /* dst_mask */
421 false), /* pcrel_offset */
423 /* High 20 bits of TLS LE thread pointer offset. */
424 HOWTO (R_RISCV_TPREL_HI20
, /* type */
428 false, /* pc_relative */
430 complain_overflow_signed
, /* complain_on_overflow */
431 bfd_elf_generic_reloc
, /* special_function */
432 "R_RISCV_TPREL_HI20", /* name */
433 true, /* partial_inplace */
435 ENCODE_UTYPE_IMM (-1U), /* dst_mask */
436 false), /* pcrel_offset */
438 /* Low 12 bits of TLS LE thread pointer offset for loads and adds. */
439 HOWTO (R_RISCV_TPREL_LO12_I
, /* type */
443 false, /* pc_relative */
445 complain_overflow_signed
, /* complain_on_overflow */
446 bfd_elf_generic_reloc
, /* special_function */
447 "R_RISCV_TPREL_LO12_I", /* name */
448 false, /* partial_inplace */
450 ENCODE_ITYPE_IMM (-1U), /* dst_mask */
451 false), /* pcrel_offset */
453 /* Low 12 bits of TLS LE thread pointer offset for stores. */
454 HOWTO (R_RISCV_TPREL_LO12_S
, /* type */
458 false, /* pc_relative */
460 complain_overflow_signed
, /* complain_on_overflow */
461 bfd_elf_generic_reloc
, /* special_function */
462 "R_RISCV_TPREL_LO12_S", /* name */
463 false, /* partial_inplace */
465 ENCODE_STYPE_IMM (-1U), /* dst_mask */
466 false), /* pcrel_offset */
468 /* TLS LE thread pointer usage. May be relaxed. */
469 HOWTO (R_RISCV_TPREL_ADD
, /* type */
473 false, /* pc_relative */
475 complain_overflow_dont
, /* complain_on_overflow */
476 bfd_elf_generic_reloc
, /* special_function */
477 "R_RISCV_TPREL_ADD", /* name */
478 false, /* partial_inplace */
481 false), /* pcrel_offset */
483 /* 8-bit in-place addition, for local label subtraction. */
484 HOWTO (R_RISCV_ADD8
, /* type */
488 false, /* pc_relative */
490 complain_overflow_dont
, /* complain_on_overflow */
491 riscv_elf_add_sub_reloc
, /* special_function */
492 "R_RISCV_ADD8", /* name */
493 false, /* partial_inplace */
496 false), /* pcrel_offset */
498 /* 16-bit in-place addition, for local label subtraction. */
499 HOWTO (R_RISCV_ADD16
, /* type */
503 false, /* pc_relative */
505 complain_overflow_dont
, /* complain_on_overflow */
506 riscv_elf_add_sub_reloc
, /* special_function */
507 "R_RISCV_ADD16", /* name */
508 false, /* partial_inplace */
510 0xffff, /* dst_mask */
511 false), /* pcrel_offset */
513 /* 32-bit in-place addition, for local label subtraction. */
514 HOWTO (R_RISCV_ADD32
, /* type */
518 false, /* pc_relative */
520 complain_overflow_dont
, /* complain_on_overflow */
521 riscv_elf_add_sub_reloc
, /* special_function */
522 "R_RISCV_ADD32", /* name */
523 false, /* partial_inplace */
525 0xffffffff, /* dst_mask */
526 false), /* pcrel_offset */
528 /* 64-bit in-place addition, for local label subtraction. */
529 HOWTO (R_RISCV_ADD64
, /* type */
533 false, /* pc_relative */
535 complain_overflow_dont
, /* complain_on_overflow */
536 riscv_elf_add_sub_reloc
, /* special_function */
537 "R_RISCV_ADD64", /* name */
538 false, /* partial_inplace */
540 MINUS_ONE
, /* dst_mask */
541 false), /* pcrel_offset */
543 /* 8-bit in-place addition, for local label subtraction. */
544 HOWTO (R_RISCV_SUB8
, /* type */
548 false, /* pc_relative */
550 complain_overflow_dont
, /* complain_on_overflow */
551 riscv_elf_add_sub_reloc
, /* special_function */
552 "R_RISCV_SUB8", /* name */
553 false, /* partial_inplace */
556 false), /* pcrel_offset */
558 /* 16-bit in-place addition, for local label subtraction. */
559 HOWTO (R_RISCV_SUB16
, /* type */
563 false, /* pc_relative */
565 complain_overflow_dont
, /* complain_on_overflow */
566 riscv_elf_add_sub_reloc
, /* special_function */
567 "R_RISCV_SUB16", /* name */
568 false, /* partial_inplace */
570 0xffff, /* dst_mask */
571 false), /* pcrel_offset */
573 /* 32-bit in-place addition, for local label subtraction. */
574 HOWTO (R_RISCV_SUB32
, /* type */
578 false, /* pc_relative */
580 complain_overflow_dont
, /* complain_on_overflow */
581 riscv_elf_add_sub_reloc
, /* special_function */
582 "R_RISCV_SUB32", /* name */
583 false, /* partial_inplace */
585 0xffffffff, /* dst_mask */
586 false), /* pcrel_offset */
588 /* 64-bit in-place addition, for local label subtraction. */
589 HOWTO (R_RISCV_SUB64
, /* type */
593 false, /* pc_relative */
595 complain_overflow_dont
, /* complain_on_overflow */
596 riscv_elf_add_sub_reloc
, /* special_function */
597 "R_RISCV_SUB64", /* name */
598 false, /* partial_inplace */
600 MINUS_ONE
, /* dst_mask */
601 false), /* pcrel_offset */
603 /* GNU extension to record C++ vtable hierarchy */
604 HOWTO (R_RISCV_GNU_VTINHERIT
, /* type */
608 false, /* pc_relative */
610 complain_overflow_dont
, /* complain_on_overflow */
611 NULL
, /* special_function */
612 "R_RISCV_GNU_VTINHERIT", /* name */
613 false, /* partial_inplace */
616 false), /* pcrel_offset */
618 /* GNU extension to record C++ vtable member usage */
619 HOWTO (R_RISCV_GNU_VTENTRY
, /* type */
623 false, /* pc_relative */
625 complain_overflow_dont
, /* complain_on_overflow */
626 _bfd_elf_rel_vtable_reloc_fn
, /* special_function */
627 "R_RISCV_GNU_VTENTRY", /* name */
628 false, /* partial_inplace */
631 false), /* pcrel_offset */
633 /* Indicates an alignment statement. The addend field encodes how many
634 bytes of NOPs follow the statement. The desired alignment is the
635 addend rounded up to the next power of two. */
636 HOWTO (R_RISCV_ALIGN
, /* type */
640 false, /* pc_relative */
642 complain_overflow_dont
, /* complain_on_overflow */
643 bfd_elf_generic_reloc
, /* special_function */
644 "R_RISCV_ALIGN", /* name */
645 false, /* partial_inplace */
648 false), /* pcrel_offset */
650 /* 8-bit PC-relative branch offset. */
651 HOWTO (R_RISCV_RVC_BRANCH
, /* type */
655 true, /* pc_relative */
657 complain_overflow_signed
, /* complain_on_overflow */
658 bfd_elf_generic_reloc
, /* special_function */
659 "R_RISCV_RVC_BRANCH", /* name */
660 false, /* partial_inplace */
662 ENCODE_CBTYPE_IMM (-1U), /* dst_mask */
663 true), /* pcrel_offset */
665 /* 11-bit PC-relative jump offset. */
666 HOWTO (R_RISCV_RVC_JUMP
, /* type */
670 true, /* pc_relative */
672 complain_overflow_dont
, /* complain_on_overflow */
673 bfd_elf_generic_reloc
, /* special_function */
674 "R_RISCV_RVC_JUMP", /* name */
675 false, /* partial_inplace */
677 ENCODE_CJTYPE_IMM (-1U), /* dst_mask */
678 true), /* pcrel_offset */
680 /* High 6 bits of 18-bit absolute address. */
681 HOWTO (R_RISCV_RVC_LUI
, /* type */
685 false, /* pc_relative */
687 complain_overflow_dont
, /* complain_on_overflow */
688 bfd_elf_generic_reloc
, /* special_function */
689 "R_RISCV_RVC_LUI", /* name */
690 false, /* partial_inplace */
692 ENCODE_CITYPE_IMM (-1U), /* dst_mask */
693 false), /* pcrel_offset */
695 /* GP-relative load. */
696 HOWTO (R_RISCV_GPREL_I
, /* type */
700 false, /* pc_relative */
702 complain_overflow_dont
, /* complain_on_overflow */
703 bfd_elf_generic_reloc
, /* special_function */
704 "R_RISCV_GPREL_I", /* name */
705 false, /* partial_inplace */
707 ENCODE_ITYPE_IMM (-1U), /* dst_mask */
708 false), /* pcrel_offset */
710 /* GP-relative store. */
711 HOWTO (R_RISCV_GPREL_S
, /* type */
715 false, /* pc_relative */
717 complain_overflow_dont
, /* complain_on_overflow */
718 bfd_elf_generic_reloc
, /* special_function */
719 "R_RISCV_GPREL_S", /* name */
720 false, /* partial_inplace */
722 ENCODE_STYPE_IMM (-1U), /* dst_mask */
723 false), /* pcrel_offset */
725 /* TP-relative TLS LE load. */
726 HOWTO (R_RISCV_TPREL_I
, /* type */
730 false, /* pc_relative */
732 complain_overflow_signed
, /* complain_on_overflow */
733 bfd_elf_generic_reloc
, /* special_function */
734 "R_RISCV_TPREL_I", /* name */
735 false, /* partial_inplace */
737 ENCODE_ITYPE_IMM (-1U), /* dst_mask */
738 false), /* pcrel_offset */
740 /* TP-relative TLS LE store. */
741 HOWTO (R_RISCV_TPREL_S
, /* type */
745 false, /* pc_relative */
747 complain_overflow_signed
, /* complain_on_overflow */
748 bfd_elf_generic_reloc
, /* special_function */
749 "R_RISCV_TPREL_S", /* name */
750 false, /* partial_inplace */
752 ENCODE_STYPE_IMM (-1U), /* dst_mask */
753 false), /* pcrel_offset */
755 /* The paired relocation may be relaxed. */
756 HOWTO (R_RISCV_RELAX
, /* type */
760 false, /* pc_relative */
762 complain_overflow_dont
, /* complain_on_overflow */
763 bfd_elf_generic_reloc
, /* special_function */
764 "R_RISCV_RELAX", /* name */
765 false, /* partial_inplace */
768 false), /* pcrel_offset */
770 /* 6-bit in-place addition, for local label subtraction. */
771 HOWTO (R_RISCV_SUB6
, /* type */
775 false, /* pc_relative */
777 complain_overflow_dont
, /* complain_on_overflow */
778 riscv_elf_add_sub_reloc
, /* special_function */
779 "R_RISCV_SUB6", /* name */
780 false, /* partial_inplace */
783 false), /* pcrel_offset */
785 /* 6-bit in-place setting, for local label subtraction. */
786 HOWTO (R_RISCV_SET6
, /* type */
790 false, /* pc_relative */
792 complain_overflow_dont
, /* complain_on_overflow */
793 bfd_elf_generic_reloc
, /* special_function */
794 "R_RISCV_SET6", /* name */
795 false, /* partial_inplace */
798 false), /* pcrel_offset */
800 /* 8-bit in-place setting, for local label subtraction. */
801 HOWTO (R_RISCV_SET8
, /* type */
805 false, /* pc_relative */
807 complain_overflow_dont
, /* complain_on_overflow */
808 bfd_elf_generic_reloc
, /* special_function */
809 "R_RISCV_SET8", /* name */
810 false, /* partial_inplace */
813 false), /* pcrel_offset */
815 /* 16-bit in-place setting, for local label subtraction. */
816 HOWTO (R_RISCV_SET16
, /* type */
820 false, /* pc_relative */
822 complain_overflow_dont
, /* complain_on_overflow */
823 bfd_elf_generic_reloc
, /* special_function */
824 "R_RISCV_SET16", /* name */
825 false, /* partial_inplace */
827 0xffff, /* dst_mask */
828 false), /* pcrel_offset */
830 /* 32-bit in-place setting, for local label subtraction. */
831 HOWTO (R_RISCV_SET32
, /* type */
835 false, /* pc_relative */
837 complain_overflow_dont
, /* complain_on_overflow */
838 bfd_elf_generic_reloc
, /* special_function */
839 "R_RISCV_SET32", /* name */
840 false, /* partial_inplace */
842 0xffffffff, /* dst_mask */
843 false), /* pcrel_offset */
845 /* 32-bit PC relative. */
846 HOWTO (R_RISCV_32_PCREL
, /* type */
850 true, /* pc_relative */
852 complain_overflow_dont
, /* complain_on_overflow */
853 bfd_elf_generic_reloc
, /* special_function */
854 "R_RISCV_32_PCREL", /* name */
855 false, /* partial_inplace */
857 0xffffffff, /* dst_mask */
858 false), /* pcrel_offset */
860 /* Relocation against a local ifunc symbol in a shared object. */
861 HOWTO (R_RISCV_IRELATIVE
, /* type */
865 false, /* pc_relative */
867 complain_overflow_dont
, /* complain_on_overflow */
868 bfd_elf_generic_reloc
, /* special_function */
869 "R_RISCV_IRELATIVE", /* name */
870 false, /* partial_inplace */
872 0xffffffff, /* dst_mask */
873 false), /* pcrel_offset */
876 /* A mapping from BFD reloc types to RISC-V ELF reloc types. */
879 bfd_reloc_code_real_type bfd_val
;
880 enum elf_riscv_reloc_type elf_val
;
883 static const struct elf_reloc_map riscv_reloc_map
[] =
885 { BFD_RELOC_NONE
, R_RISCV_NONE
},
886 { BFD_RELOC_32
, R_RISCV_32
},
887 { BFD_RELOC_64
, R_RISCV_64
},
888 { BFD_RELOC_RISCV_ADD8
, R_RISCV_ADD8
},
889 { BFD_RELOC_RISCV_ADD16
, R_RISCV_ADD16
},
890 { BFD_RELOC_RISCV_ADD32
, R_RISCV_ADD32
},
891 { BFD_RELOC_RISCV_ADD64
, R_RISCV_ADD64
},
892 { BFD_RELOC_RISCV_SUB8
, R_RISCV_SUB8
},
893 { BFD_RELOC_RISCV_SUB16
, R_RISCV_SUB16
},
894 { BFD_RELOC_RISCV_SUB32
, R_RISCV_SUB32
},
895 { BFD_RELOC_RISCV_SUB64
, R_RISCV_SUB64
},
896 { BFD_RELOC_CTOR
, R_RISCV_64
},
897 { BFD_RELOC_12_PCREL
, R_RISCV_BRANCH
},
898 { BFD_RELOC_RISCV_HI20
, R_RISCV_HI20
},
899 { BFD_RELOC_RISCV_LO12_I
, R_RISCV_LO12_I
},
900 { BFD_RELOC_RISCV_LO12_S
, R_RISCV_LO12_S
},
901 { BFD_RELOC_RISCV_PCREL_LO12_I
, R_RISCV_PCREL_LO12_I
},
902 { BFD_RELOC_RISCV_PCREL_LO12_S
, R_RISCV_PCREL_LO12_S
},
903 { BFD_RELOC_RISCV_CALL
, R_RISCV_CALL
},
904 { BFD_RELOC_RISCV_CALL_PLT
, R_RISCV_CALL_PLT
},
905 { BFD_RELOC_RISCV_PCREL_HI20
, R_RISCV_PCREL_HI20
},
906 { BFD_RELOC_RISCV_JMP
, R_RISCV_JAL
},
907 { BFD_RELOC_RISCV_GOT_HI20
, R_RISCV_GOT_HI20
},
908 { BFD_RELOC_RISCV_TLS_DTPMOD32
, R_RISCV_TLS_DTPMOD32
},
909 { BFD_RELOC_RISCV_TLS_DTPREL32
, R_RISCV_TLS_DTPREL32
},
910 { BFD_RELOC_RISCV_TLS_DTPMOD64
, R_RISCV_TLS_DTPMOD64
},
911 { BFD_RELOC_RISCV_TLS_DTPREL64
, R_RISCV_TLS_DTPREL64
},
912 { BFD_RELOC_RISCV_TLS_TPREL32
, R_RISCV_TLS_TPREL32
},
913 { BFD_RELOC_RISCV_TLS_TPREL64
, R_RISCV_TLS_TPREL64
},
914 { BFD_RELOC_RISCV_TPREL_HI20
, R_RISCV_TPREL_HI20
},
915 { BFD_RELOC_RISCV_TPREL_ADD
, R_RISCV_TPREL_ADD
},
916 { BFD_RELOC_RISCV_TPREL_LO12_S
, R_RISCV_TPREL_LO12_S
},
917 { BFD_RELOC_RISCV_TPREL_LO12_I
, R_RISCV_TPREL_LO12_I
},
918 { BFD_RELOC_RISCV_TLS_GOT_HI20
, R_RISCV_TLS_GOT_HI20
},
919 { BFD_RELOC_RISCV_TLS_GD_HI20
, R_RISCV_TLS_GD_HI20
},
920 { BFD_RELOC_RISCV_ALIGN
, R_RISCV_ALIGN
},
921 { BFD_RELOC_RISCV_RVC_BRANCH
, R_RISCV_RVC_BRANCH
},
922 { BFD_RELOC_RISCV_RVC_JUMP
, R_RISCV_RVC_JUMP
},
923 { BFD_RELOC_RISCV_RVC_LUI
, R_RISCV_RVC_LUI
},
924 { BFD_RELOC_RISCV_GPREL_I
, R_RISCV_GPREL_I
},
925 { BFD_RELOC_RISCV_GPREL_S
, R_RISCV_GPREL_S
},
926 { BFD_RELOC_RISCV_TPREL_I
, R_RISCV_TPREL_I
},
927 { BFD_RELOC_RISCV_TPREL_S
, R_RISCV_TPREL_S
},
928 { BFD_RELOC_RISCV_RELAX
, R_RISCV_RELAX
},
929 { BFD_RELOC_RISCV_SUB6
, R_RISCV_SUB6
},
930 { BFD_RELOC_RISCV_SET6
, R_RISCV_SET6
},
931 { BFD_RELOC_RISCV_SET8
, R_RISCV_SET8
},
932 { BFD_RELOC_RISCV_SET16
, R_RISCV_SET16
},
933 { BFD_RELOC_RISCV_SET32
, R_RISCV_SET32
},
934 { BFD_RELOC_RISCV_32_PCREL
, R_RISCV_32_PCREL
},
937 /* Given a BFD reloc type, return a howto structure. */
940 riscv_reloc_type_lookup (bfd
*abfd ATTRIBUTE_UNUSED
,
941 bfd_reloc_code_real_type code
)
945 for (i
= 0; i
< ARRAY_SIZE (riscv_reloc_map
); i
++)
946 if (riscv_reloc_map
[i
].bfd_val
== code
)
947 return &howto_table
[(int) riscv_reloc_map
[i
].elf_val
];
949 bfd_set_error (bfd_error_bad_value
);
954 riscv_reloc_name_lookup (bfd
*abfd ATTRIBUTE_UNUSED
, const char *r_name
)
958 for (i
= 0; i
< ARRAY_SIZE (howto_table
); i
++)
959 if (howto_table
[i
].name
&& strcasecmp (howto_table
[i
].name
, r_name
) == 0)
960 return &howto_table
[i
];
966 riscv_elf_rtype_to_howto (bfd
*abfd
, unsigned int r_type
)
968 if (r_type
>= ARRAY_SIZE (howto_table
))
970 (*_bfd_error_handler
) (_("%pB: unsupported relocation type %#x"),
972 bfd_set_error (bfd_error_bad_value
);
975 return &howto_table
[r_type
];
978 /* Special_function of RISCV_ADD and RISCV_SUB relocations. */
980 static bfd_reloc_status_type
981 riscv_elf_add_sub_reloc (bfd
*abfd
,
982 arelent
*reloc_entry
,
985 asection
*input_section
,
987 char **error_message ATTRIBUTE_UNUSED
)
989 reloc_howto_type
*howto
= reloc_entry
->howto
;
992 if (output_bfd
!= NULL
993 && (symbol
->flags
& BSF_SECTION_SYM
) == 0
994 && (!reloc_entry
->howto
->partial_inplace
|| reloc_entry
->addend
== 0))
996 reloc_entry
->address
+= input_section
->output_offset
;
1000 if (output_bfd
!= NULL
)
1001 return bfd_reloc_continue
;
1003 relocation
= symbol
->value
+ symbol
->section
->output_section
->vma
1004 + symbol
->section
->output_offset
+ reloc_entry
->addend
;
1005 bfd_vma old_value
= bfd_get (howto
->bitsize
, abfd
,
1006 data
+ reloc_entry
->address
);
1008 switch (howto
->type
)
1014 relocation
= old_value
+ relocation
;
1021 relocation
= old_value
- relocation
;
1024 bfd_put (howto
->bitsize
, abfd
, relocation
, data
+ reloc_entry
->address
);
1026 return bfd_reloc_ok
;
1029 #define RISCV_UNKNOWN_VERSION -1
1031 /* Lists of prefixed class extensions that binutils should know about.
1032 Whether or not a particular entry is in these lists will dictate if
1033 gas/ld will accept its presence in the architecture string.
1035 Please add the extensions to the lists in lower case. However, keep
1036 these subsets in alphabetical order in these tables is recommended,
1037 although there is no impact on the current implementation. */
1039 static const char * const riscv_std_z_ext_strtab
[] =
1041 "zba", "zbb", "zbc", "zicsr", "zifencei", "zihintpause", NULL
1044 static const char * const riscv_std_s_ext_strtab
[] =
1049 static const char * const riscv_std_h_ext_strtab
[] =
1054 static const char * const riscv_std_zxm_ext_strtab
[] =
1059 /* ISA extension prefixed name class. Must define them in parsing order. */
1060 enum riscv_prefix_ext_class
1067 RV_ISA_CLASS_UNKNOWN
1070 /* Record the strings of the prefixed extensions, and their corresponding
1071 classes. The more letters of the prefix string, the more forward it must
1072 be defined. Otherwise, the riscv_get_prefix_class will map it to the
1074 struct riscv_parse_prefix_config
1076 /* Class of the extension. */
1077 enum riscv_prefix_ext_class
class;
1079 /* Prefix string for error printing and internal parser usage. */
1082 static const struct riscv_parse_prefix_config parse_config
[] =
1084 {RV_ISA_CLASS_ZXM
, "zxm"},
1085 {RV_ISA_CLASS_Z
, "z"},
1086 {RV_ISA_CLASS_S
, "s"},
1087 {RV_ISA_CLASS_H
, "h"},
1088 {RV_ISA_CLASS_X
, "x"},
1089 {RV_ISA_CLASS_UNKNOWN
, NULL
}
1092 /* Get the prefixed name class for the extensions, the class also
1093 means the order of the prefixed extensions. */
1095 static enum riscv_prefix_ext_class
1096 riscv_get_prefix_class (const char *arch
)
1099 while (parse_config
[i
].class != RV_ISA_CLASS_UNKNOWN
)
1101 if (strncmp (arch
, parse_config
[i
].prefix
,
1102 strlen (parse_config
[i
].prefix
)) == 0)
1103 return parse_config
[i
].class;
1106 return RV_ISA_CLASS_UNKNOWN
;
1109 /* Check KNOWN_EXTS to see if the EXT is supported. */
1112 riscv_known_prefixed_ext (const char *ext
,
1113 const char *const *known_exts
)
1116 for (i
= 0; known_exts
[i
]; ++i
)
1117 if (strcmp (ext
, known_exts
[i
]) == 0)
1122 /* Check whether the prefixed extension is valid or not. Return
1123 true if valid, otehrwise return false. */
1126 riscv_valid_prefixed_ext (const char *ext
)
1128 enum riscv_prefix_ext_class
class = riscv_get_prefix_class (ext
);
1131 case RV_ISA_CLASS_Z
:
1132 return riscv_known_prefixed_ext (ext
, riscv_std_z_ext_strtab
);
1133 case RV_ISA_CLASS_ZXM
:
1134 return riscv_known_prefixed_ext (ext
, riscv_std_zxm_ext_strtab
);
1135 case RV_ISA_CLASS_S
:
1136 return riscv_known_prefixed_ext (ext
, riscv_std_s_ext_strtab
);
1137 case RV_ISA_CLASS_H
:
1138 return riscv_known_prefixed_ext (ext
, riscv_std_h_ext_strtab
);
1139 case RV_ISA_CLASS_X
:
1140 /* Only the single x is invalid. */
1141 if (strcmp (ext
, "x") != 0)
1149 /* Array is used to compare the orders of standard extensions quickly. */
1150 static int riscv_ext_order
[26] = {0};
1152 /* Init the riscv_ext_order array. */
1155 riscv_init_ext_order (void)
1157 static bool inited
= false;
1158 const char *std_base_exts
= "eig";
1159 const char *std_remain_exts
= riscv_supported_std_ext ();
1166 /* The orders of all standard extensions are positive. */
1169 /* Init the standard base extensions first. */
1170 for (ext
= std_base_exts
; *ext
; ext
++)
1171 riscv_ext_order
[(*ext
- 'a')] = order
++;
1173 /* Init the standard remaining extensions. */
1174 for (ext
= std_remain_exts
; *ext
; ext
++)
1175 riscv_ext_order
[(*ext
- 'a')] = order
++;
1177 /* Some of the prefixed keyword are not single letter, so we set
1178 their prefixed orders in the riscv_compare_subsets directly,
1179 not through the riscv_ext_order. */
1184 /* Similar to the strcmp. It returns an integer less than, equal to,
1185 or greater than zero if `subset2` is found, respectively, to be less
1186 than, to match, or be greater than `subset1`.
1189 Zero: Preserved keywords.
1190 Positive number: Standard extensions.
1191 Negative number: Prefixed keywords. */
1194 riscv_compare_subsets (const char *subset1
, const char *subset2
)
1196 int order1
= riscv_ext_order
[(*subset1
- 'a')];
1197 int order2
= riscv_ext_order
[(*subset2
- 'a')];
1199 /* Compare the standard extension first. */
1200 if (order1
> 0 && order2
> 0)
1201 return order1
- order2
;
1203 /* Set the prefixed orders to negative numbers. */
1204 enum riscv_prefix_ext_class class1
= riscv_get_prefix_class (subset1
);
1205 enum riscv_prefix_ext_class class2
= riscv_get_prefix_class (subset2
);
1207 if (class1
!= RV_ISA_CLASS_UNKNOWN
)
1208 order1
= - (int) class1
;
1209 if (class2
!= RV_ISA_CLASS_UNKNOWN
)
1210 order2
= - (int) class2
;
1212 if (order1
== order2
)
1214 /* Compare the standard addition z extensions. */
1215 if (class1
== RV_ISA_CLASS_Z
)
1217 order1
= riscv_ext_order
[(*++subset1
- 'a')];
1218 order2
= riscv_ext_order
[(*++subset2
- 'a')];
1219 if (order1
!= order2
)
1220 return order1
- order2
;
1222 return strcasecmp (++subset1
, ++subset2
);
1225 return order2
- order1
;
1228 /* Find subset in the list. Return TRUE and set `current` to the subset
1229 if it is found. Otherwise, return FALSE and set `current` to the place
1230 where we should insert the subset. However, return FALSE with the NULL
1231 `current` means we should insert the subset at the head of subset list,
1235 riscv_lookup_subset (const riscv_subset_list_t
*subset_list
,
1237 riscv_subset_t
**current
)
1239 riscv_subset_t
*s
, *pre_s
= NULL
;
1241 for (s
= subset_list
->head
;
1243 pre_s
= s
, s
= s
->next
)
1245 int cmp
= riscv_compare_subsets (s
->name
, subset
);
1258 /* Add extension from ISA string to the last of the subset list. */
1261 riscv_add_subset (riscv_subset_list_t
*subset_list
,
1266 riscv_subset_t
*s
= xmalloc (sizeof *s
);
1268 if (subset_list
->head
== NULL
)
1269 subset_list
->head
= s
;
1271 s
->name
= xstrdup (subset
);
1272 s
->major_version
= major
;
1273 s
->minor_version
= minor
;
1276 if (subset_list
->tail
!= NULL
)
1277 subset_list
->tail
->next
= s
;
1278 subset_list
->tail
= s
;
1281 /* Add the implicit extension to the subset list. Search the
1282 list first, and then find the right place to add. */
1285 riscv_add_implicit_subset (riscv_subset_list_t
*subset_list
,
1290 riscv_subset_t
*current
, *new;
1292 if (riscv_lookup_subset (subset_list
, subset
, ¤t
))
1295 new = xmalloc (sizeof *new);
1296 new->name
= xstrdup (subset
);
1297 new->major_version
= major
;
1298 new->minor_version
= minor
;
1301 if (current
!= NULL
)
1303 new->next
= current
->next
;
1304 current
->next
= new;
1308 new->next
= subset_list
->head
;
1309 subset_list
->head
= new;
1313 /* These extensions are added to the subset list for special purposes,
1314 with the explicit versions or the RISCV_UNKNOWN_VERSION versions.
1315 Therefore, we won't output them to the output ISA string in the
1316 riscv_arch_str1, if the versions are unknown. */
1319 riscv_ext_dont_care_version (const char *subset
)
1321 if (strcmp (subset
, "g") == 0
1322 || strcmp (subset
, "zicsr") == 0
1323 || strcmp (subset
, "zifencei") == 0)
1328 /* We have to add all extensions from ISA string first, and then start to
1329 add their implicit extensions. The extensions from ISA string must be
1330 set in order, so we can add them to the last of the subset list
1331 directly, without searching.
1333 Find the default versions for the extension before adding them to
1334 the subset list, if their versions are RISCV_UNKNOWN_VERSION.
1335 Afterwards, report errors if we can not find their default versions. */
1338 riscv_parse_add_subset (riscv_parse_subset_t
*rps
,
1344 int major_version
= major
;
1345 int minor_version
= minor
;
1347 if ((major_version
== RISCV_UNKNOWN_VERSION
1348 || minor_version
== RISCV_UNKNOWN_VERSION
)
1349 && rps
->get_default_version
!= NULL
)
1350 rps
->get_default_version (subset
, &major_version
, &minor_version
);
1352 if (!riscv_ext_dont_care_version (subset
)
1353 && (major_version
== RISCV_UNKNOWN_VERSION
1354 || minor_version
== RISCV_UNKNOWN_VERSION
))
1356 /* We only add the implicit extension if it is supported in the
1361 if (subset
[0] == 'x')
1363 (_("x ISA extension `%s' must be set with the versions"),
1367 (_("cannot find default versions of the ISA extension `%s'"),
1373 riscv_add_subset (rps
->subset_list
, subset
,
1374 major_version
, minor_version
);
1376 riscv_add_implicit_subset (rps
->subset_list
, subset
,
1377 major_version
, minor_version
);
1380 /* Release subset list. */
1383 riscv_release_subset_list (riscv_subset_list_t
*subset_list
)
1385 while (subset_list
->head
!= NULL
)
1387 riscv_subset_t
*next
= subset_list
->head
->next
;
1388 free ((void *)subset_list
->head
->name
);
1389 free (subset_list
->head
);
1390 subset_list
->head
= next
;
1393 subset_list
->tail
= NULL
;
1396 /* Parsing extension version.
1399 Points to the end of version
1402 `rps`: Hooks and status for parsing extensions.
1403 `march`: Full ISA string.
1404 `p`: Curent parsing position.
1405 `major_version`: Parsed major version.
1406 `minor_version`: Parsed minor version.
1407 `std_ext_p`: True if parsing standard extension. */
1410 riscv_parsing_subset_version (riscv_parse_subset_t
*rps
,
1417 bool major_p
= true;
1431 /* Might be beginning of `p` extension. */
1434 *major_version
= version
;
1441 (_("-march=%s: expect number after `%dp'"),
1447 *major_version
= version
;
1451 else if (ISDIGIT (*p
))
1452 version
= (version
* 10) + (*p
- '0');
1458 *major_version
= version
;
1460 *minor_version
= version
;
1462 /* We can not find any version in string. */
1463 if (*major_version
== 0 && *minor_version
== 0)
1465 *major_version
= RISCV_UNKNOWN_VERSION
;
1466 *minor_version
= RISCV_UNKNOWN_VERSION
;
1472 /* Return string which contain all supported standard extensions in
1476 riscv_supported_std_ext (void)
1478 return "mafdqlcbjtpvn";
1481 /* Parsing function for standard extensions.
1484 Points to the end of extensions.
1487 `rps`: Hooks and status for parsing extensions.
1488 `march`: Full ISA string.
1489 `p`: Curent parsing position. */
1492 riscv_parse_std_ext (riscv_parse_subset_t
*rps
,
1496 const char *all_std_exts
= riscv_supported_std_ext ();
1497 const char *std_exts
= all_std_exts
;
1500 char subset
[2] = {0, 0};
1502 /* First letter must start with i, e or g. */
1506 p
= riscv_parsing_subset_version (rps
, march
, ++p
,
1508 &minor_version
, true);
1509 riscv_parse_add_subset (rps
, "i",
1511 minor_version
, false);
1515 p
= riscv_parsing_subset_version (rps
, march
, ++p
,
1517 &minor_version
, true);
1518 riscv_parse_add_subset (rps
, "e",
1520 minor_version
, false);
1521 /* i-ext must be enabled. */
1522 riscv_parse_add_subset (rps
, "i",
1523 RISCV_UNKNOWN_VERSION
,
1524 RISCV_UNKNOWN_VERSION
, false);
1526 if (*rps
->xlen
> 32)
1529 (_("-march=%s: rv%de is not a valid base ISA"),
1536 p
= riscv_parsing_subset_version (rps
, march
, ++p
,
1538 &minor_version
, true);
1539 /* i-ext must be enabled. */
1540 riscv_parse_add_subset (rps
, "i",
1541 RISCV_UNKNOWN_VERSION
,
1542 RISCV_UNKNOWN_VERSION
, false);
1543 /* g-ext is used to add the implicit extensions, but will
1544 not be output to the ISA string. */
1545 riscv_parse_add_subset (rps
, "g",
1547 minor_version
, false);
1548 for ( ; *std_exts
!= 'q'; std_exts
++)
1550 subset
[0] = *std_exts
;
1551 riscv_parse_add_subset (rps
, subset
,
1552 RISCV_UNKNOWN_VERSION
,
1553 RISCV_UNKNOWN_VERSION
, false);
1559 (_("-march=%s: first ISA extension must be `e', `i' or `g'"),
1564 while (p
!= NULL
&& *p
!= '\0')
1566 /* Stop when we parsed the known prefix class. */
1567 enum riscv_prefix_ext_class
class = riscv_get_prefix_class (p
);
1568 if (class != RV_ISA_CLASS_UNKNOWN
)
1577 /* Checking canonical order. */
1579 while (*std_exts
&& std_ext
!= *std_exts
)
1582 if (std_ext
!= *std_exts
)
1584 if (riscv_ext_order
[(std_ext
- 'a')] == 0)
1586 (_("-march=%s: unknown standard and prefixed ISA "
1587 "extension `%s'"), march
, p
);
1590 (_("-march=%s: standard ISA extension `%c' is not "
1591 "in canonical order"), march
, std_ext
);
1596 subset
[0] = std_ext
;
1597 p
= riscv_parsing_subset_version (rps
, march
, ++p
,
1599 &minor_version
, true);
1600 riscv_parse_add_subset (rps
, subset
,
1602 minor_version
, false);
1608 /* Parsing function for prefixed extensions.
1611 Points to the end of extension.
1614 `rps`: Hooks and status for parsing extensions.
1615 `march`: Full ISA string.
1616 `p`: Curent parsing position.
1617 `config`: What class and predicate function to use for the
1621 riscv_parse_prefixed_ext (riscv_parse_subset_t
*rps
,
1627 const char *last_name
;
1628 enum riscv_prefix_ext_class
class;
1638 class = riscv_get_prefix_class (p
);
1639 if (class == RV_ISA_CLASS_UNKNOWN
)
1642 (_("-march=%s: unknown prefix class for the ISA extension `%s'"),
1647 char *subset
= xstrdup (p
);
1649 const char *end_of_version
;
1651 while (*++q
!= '\0' && *q
!= '_' && !ISDIGIT (*q
))
1655 riscv_parsing_subset_version (rps
, march
, q
,
1657 &minor_version
, false);
1660 if (end_of_version
== NULL
)
1666 /* Check if the prefix extension is known.
1667 For 'x', anything goes but it cannot simply be 'x'.
1668 For 's', it must be known from a list and cannot simply be 's'.
1669 For 'h', it must be known from a list and cannot simply be 'h'.
1670 For 'z', it must be known from a list and cannot simply be 'z'. */
1672 /* Check that the extension name is well-formed. */
1673 if (!riscv_valid_prefixed_ext (subset
))
1676 (_("-march=%s: unknown prefixed ISA extension `%s'"),
1682 /* Check that the extension isn't duplicate. */
1683 last_name
= rps
->subset_list
->tail
->name
;
1684 if (!strcasecmp (last_name
, subset
))
1687 (_("-march=%s: duplicate prefixed ISA extension `%s'"),
1693 /* Check that the extension is in expected order. */
1694 if (riscv_compare_subsets (last_name
, subset
) > 0)
1697 (_("-march=%s: prefixed ISA extension `%s' is not in expected "
1698 "order. It must come before `%s'"),
1699 march
, subset
, last_name
);
1704 riscv_parse_add_subset (rps
, subset
,
1706 minor_version
, false);
1707 p
+= end_of_version
- subset
;
1710 if (*p
!= '\0' && *p
!= '_')
1713 (_("-march=%s: prefixed ISA extension must separate with _"),
1722 /* Add the implicit extensions. */
1725 riscv_parse_add_implicit_subsets (riscv_parse_subset_t
*rps
)
1727 riscv_subset_t
*subset
= NULL
;
1729 /* Add the zicsr and zifencei only when the i's version less than 2.1. */
1730 if ((riscv_lookup_subset (rps
->subset_list
, "i", &subset
))
1731 && (subset
->major_version
< 2
1732 || (subset
->major_version
== 2
1733 && subset
->minor_version
< 1)))
1735 riscv_parse_add_subset (rps
, "zicsr",
1736 RISCV_UNKNOWN_VERSION
,
1737 RISCV_UNKNOWN_VERSION
, true);
1738 riscv_parse_add_subset (rps
, "zifencei",
1739 RISCV_UNKNOWN_VERSION
,
1740 RISCV_UNKNOWN_VERSION
, true);
1743 if ((riscv_lookup_subset (rps
->subset_list
, "q", &subset
)))
1745 riscv_parse_add_subset (rps
, "d",
1746 RISCV_UNKNOWN_VERSION
,
1747 RISCV_UNKNOWN_VERSION
, true);
1748 riscv_parse_add_subset (rps
, "f",
1749 RISCV_UNKNOWN_VERSION
,
1750 RISCV_UNKNOWN_VERSION
, true);
1751 riscv_parse_add_subset (rps
, "zicsr",
1752 RISCV_UNKNOWN_VERSION
,
1753 RISCV_UNKNOWN_VERSION
, true);
1755 else if ((riscv_lookup_subset (rps
->subset_list
, "d", &subset
)))
1757 riscv_parse_add_subset (rps
, "f",
1758 RISCV_UNKNOWN_VERSION
,
1759 RISCV_UNKNOWN_VERSION
, true);
1760 riscv_parse_add_subset (rps
, "zicsr",
1761 RISCV_UNKNOWN_VERSION
,
1762 RISCV_UNKNOWN_VERSION
, true);
1764 else if ((riscv_lookup_subset (rps
->subset_list
, "f", &subset
)))
1765 riscv_parse_add_subset (rps
, "zicsr",
1766 RISCV_UNKNOWN_VERSION
,
1767 RISCV_UNKNOWN_VERSION
, true);
1769 if ((riscv_lookup_subset (rps
->subset_list
, "g", &subset
)))
1771 riscv_parse_add_subset (rps
, "zicsr",
1772 RISCV_UNKNOWN_VERSION
,
1773 RISCV_UNKNOWN_VERSION
, true);
1774 riscv_parse_add_subset (rps
, "zifencei",
1775 RISCV_UNKNOWN_VERSION
,
1776 RISCV_UNKNOWN_VERSION
, true);
1780 /* Function for parsing ISA string.
1783 Return TRUE on success.
1786 `rps`: Hooks and status for parsing extensions.
1787 `arch`: Full ISA string. */
1790 riscv_parse_subset (riscv_parse_subset_t
*rps
,
1793 riscv_subset_t
*subset
= NULL
;
1795 bool no_conflict
= true;
1797 for (p
= arch
; *p
!= '\0'; p
++)
1802 (_("-march=%s: ISA string cannot contain uppercase letters"),
1809 if (startswith (p
, "rv32"))
1814 else if (startswith (p
, "rv64"))
1821 /* ISA string shouldn't be NULL or empty here. However,
1822 it might be empty only when we failed to merge the ISA
1823 string in the riscv_merge_attributes. We have already
1824 issued the correct error message in another side, so do
1825 not issue this error when the ISA string is empty. */
1827 rps
->error_handler (
1828 _("-march=%s: ISA string must begin with rv32 or rv64"),
1833 /* Init the riscv_ext_order array to compare the order of extensions
1835 riscv_init_ext_order ();
1837 /* Parsing standard extension. */
1838 p
= riscv_parse_std_ext (rps
, arch
, p
);
1843 /* Parse the different classes of extensions in the specified order. */
1846 p
= riscv_parse_prefixed_ext (rps
, arch
, p
);
1852 /* Finally add implicit extensions according to the current
1854 riscv_parse_add_implicit_subsets (rps
);
1856 /* Check the conflicts. */
1857 if (riscv_lookup_subset (rps
->subset_list
, "e", &subset
)
1858 && riscv_lookup_subset (rps
->subset_list
, "f", &subset
))
1861 (_("-march=%s: rv32e does not support the `f' extension"),
1863 no_conflict
= false;
1865 if (riscv_lookup_subset (rps
->subset_list
, "q", &subset
)
1869 (_("-march=%s: rv32 does not support the `q' extension"),
1871 no_conflict
= false;
1876 /* Return the number of digits for the input. */
1879 riscv_estimate_digit (unsigned num
)
1885 for (digit
= 0; num
; num
/= 10)
1891 /* Auxiliary function to estimate string length of subset list. */
1894 riscv_estimate_arch_strlen1 (const riscv_subset_t
*subset
)
1897 return 6; /* For rv32/rv64/rv128 and string terminator. */
1899 return riscv_estimate_arch_strlen1 (subset
->next
)
1900 + strlen (subset
->name
)
1901 + riscv_estimate_digit (subset
->major_version
)
1902 + 1 /* For version seperator 'p'. */
1903 + riscv_estimate_digit (subset
->minor_version
)
1904 + 1 /* For underscore. */;
1907 /* Estimate the string length of this subset list. */
1910 riscv_estimate_arch_strlen (const riscv_subset_list_t
*subset_list
)
1912 return riscv_estimate_arch_strlen1 (subset_list
->head
);
1915 /* Auxiliary function to convert subset info to string. */
1918 riscv_arch_str1 (riscv_subset_t
*subset
,
1919 char *attr_str
, char *buf
, size_t bufsz
)
1921 const char *underline
= "_";
1922 riscv_subset_t
*subset_t
= subset
;
1924 if (subset_t
== NULL
)
1927 /* No underline between rvXX and i/e. */
1928 if ((strcasecmp (subset_t
->name
, "i") == 0)
1929 || (strcasecmp (subset_t
->name
, "e") == 0))
1932 snprintf (buf
, bufsz
, "%s%s%dp%d",
1935 subset_t
->major_version
,
1936 subset_t
->minor_version
);
1938 strncat (attr_str
, buf
, bufsz
);
1940 /* Skip 'i' extension after 'e', or skip extensions which
1941 versions are unknown. */
1942 while (subset_t
->next
1943 && ((strcmp (subset_t
->name
, "e") == 0
1944 && strcmp (subset_t
->next
->name
, "i") == 0)
1945 || subset_t
->next
->major_version
== RISCV_UNKNOWN_VERSION
1946 || subset_t
->next
->minor_version
== RISCV_UNKNOWN_VERSION
))
1947 subset_t
= subset_t
->next
;
1949 riscv_arch_str1 (subset_t
->next
, attr_str
, buf
, bufsz
);
1952 /* Convert subset information into string with explicit versions. */
1955 riscv_arch_str (unsigned xlen
, const riscv_subset_list_t
*subset
)
1957 size_t arch_str_len
= riscv_estimate_arch_strlen (subset
);
1958 char *attr_str
= xmalloc (arch_str_len
);
1959 char *buf
= xmalloc (arch_str_len
);
1961 snprintf (attr_str
, arch_str_len
, "rv%u", xlen
);
1963 riscv_arch_str1 (subset
->head
, attr_str
, buf
, arch_str_len
);