1 /* RISC-V-specific support for ELF.
2 Copyright (C) 2011-2022 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"
33 #define MINUS_ONE ((bfd_vma)0 - 1)
35 /* Special handler for ADD/SUB relocations that allows them to be filled out
36 both in the pre-linked and post-linked file. This is necessary to make
37 pre-linked debug info work, as due to linker relaxations we need to emit
38 relocations for the debug info. */
39 static bfd_reloc_status_type riscv_elf_add_sub_reloc
40 (bfd
*, arelent
*, asymbol
*, void *, asection
*, bfd
*, char **);
42 /* The relocation table used for SHT_RELA sections. */
44 static reloc_howto_type howto_table
[] =
47 HOWTO (R_RISCV_NONE
, /* type */
51 false, /* pc_relative */
53 complain_overflow_dont
, /* complain_on_overflow */
54 bfd_elf_generic_reloc
, /* special_function */
55 "R_RISCV_NONE", /* name */
56 false, /* partial_inplace */
59 false), /* pcrel_offset */
61 /* 32 bit relocation. */
62 HOWTO (R_RISCV_32
, /* type */
66 false, /* pc_relative */
68 complain_overflow_dont
, /* complain_on_overflow */
69 bfd_elf_generic_reloc
, /* special_function */
70 "R_RISCV_32", /* name */
71 false, /* partial_inplace */
73 0xffffffff, /* dst_mask */
74 false), /* pcrel_offset */
76 /* 64 bit relocation. */
77 HOWTO (R_RISCV_64
, /* type */
81 false, /* pc_relative */
83 complain_overflow_dont
, /* complain_on_overflow */
84 bfd_elf_generic_reloc
, /* special_function */
85 "R_RISCV_64", /* name */
86 false, /* partial_inplace */
88 MINUS_ONE
, /* dst_mask */
89 false), /* pcrel_offset */
91 /* Relocation against a local symbol in a shared object. */
92 HOWTO (R_RISCV_RELATIVE
, /* type */
96 false, /* pc_relative */
98 complain_overflow_dont
, /* complain_on_overflow */
99 bfd_elf_generic_reloc
, /* special_function */
100 "R_RISCV_RELATIVE", /* name */
101 false, /* partial_inplace */
103 0xffffffff, /* dst_mask */
104 false), /* pcrel_offset */
106 HOWTO (R_RISCV_COPY
, /* type */
108 0, /* this one is variable size */
110 false, /* pc_relative */
112 complain_overflow_bitfield
, /* complain_on_overflow */
113 bfd_elf_generic_reloc
, /* special_function */
114 "R_RISCV_COPY", /* name */
115 false, /* partial_inplace */
118 false), /* pcrel_offset */
120 HOWTO (R_RISCV_JUMP_SLOT
, /* type */
124 false, /* pc_relative */
126 complain_overflow_bitfield
, /* complain_on_overflow */
127 bfd_elf_generic_reloc
, /* special_function */
128 "R_RISCV_JUMP_SLOT", /* name */
129 false, /* partial_inplace */
132 false), /* pcrel_offset */
134 /* Dynamic TLS relocations. */
135 HOWTO (R_RISCV_TLS_DTPMOD32
, /* type */
139 false, /* pc_relative */
141 complain_overflow_dont
, /* complain_on_overflow */
142 bfd_elf_generic_reloc
, /* special_function */
143 "R_RISCV_TLS_DTPMOD32", /* name */
144 false, /* partial_inplace */
146 0xffffffff, /* dst_mask */
147 false), /* pcrel_offset */
149 HOWTO (R_RISCV_TLS_DTPMOD64
, /* type */
153 false, /* pc_relative */
155 complain_overflow_dont
, /* complain_on_overflow */
156 bfd_elf_generic_reloc
, /* special_function */
157 "R_RISCV_TLS_DTPMOD64", /* name */
158 false, /* partial_inplace */
160 MINUS_ONE
, /* dst_mask */
161 false), /* pcrel_offset */
163 HOWTO (R_RISCV_TLS_DTPREL32
, /* type */
167 false, /* pc_relative */
169 complain_overflow_dont
, /* complain_on_overflow */
170 bfd_elf_generic_reloc
, /* special_function */
171 "R_RISCV_TLS_DTPREL32", /* name */
172 true, /* partial_inplace */
174 0xffffffff, /* dst_mask */
175 false), /* pcrel_offset */
177 HOWTO (R_RISCV_TLS_DTPREL64
, /* type */
181 false, /* pc_relative */
183 complain_overflow_dont
, /* complain_on_overflow */
184 bfd_elf_generic_reloc
, /* special_function */
185 "R_RISCV_TLS_DTPREL64", /* name */
186 true, /* partial_inplace */
188 MINUS_ONE
, /* dst_mask */
189 false), /* pcrel_offset */
191 HOWTO (R_RISCV_TLS_TPREL32
, /* type */
195 false, /* pc_relative */
197 complain_overflow_dont
, /* complain_on_overflow */
198 bfd_elf_generic_reloc
, /* special_function */
199 "R_RISCV_TLS_TPREL32", /* name */
200 false, /* partial_inplace */
202 0xffffffff, /* dst_mask */
203 false), /* pcrel_offset */
205 HOWTO (R_RISCV_TLS_TPREL64
, /* type */
209 false, /* pc_relative */
211 complain_overflow_dont
, /* complain_on_overflow */
212 bfd_elf_generic_reloc
, /* special_function */
213 "R_RISCV_TLS_TPREL64", /* name */
214 false, /* partial_inplace */
216 MINUS_ONE
, /* dst_mask */
217 false), /* pcrel_offset */
219 /* Reserved for future relocs that the dynamic linker must understand. */
225 /* 12-bit PC-relative branch offset. */
226 HOWTO (R_RISCV_BRANCH
, /* type */
230 true, /* pc_relative */
232 complain_overflow_signed
, /* complain_on_overflow */
233 bfd_elf_generic_reloc
, /* special_function */
234 "R_RISCV_BRANCH", /* name */
235 false, /* partial_inplace */
237 ENCODE_BTYPE_IMM (-1U), /* dst_mask */
238 true), /* pcrel_offset */
240 /* 20-bit PC-relative jump offset. */
241 HOWTO (R_RISCV_JAL
, /* type */
245 true, /* pc_relative */
247 complain_overflow_dont
, /* complain_on_overflow */
248 bfd_elf_generic_reloc
, /* special_function */
249 "R_RISCV_JAL", /* name */
250 false, /* partial_inplace */
252 ENCODE_JTYPE_IMM (-1U), /* dst_mask */
253 true), /* pcrel_offset */
255 /* 32-bit PC-relative function call (AUIPC/JALR). */
256 HOWTO (R_RISCV_CALL
, /* type */
260 true, /* pc_relative */
262 complain_overflow_dont
, /* complain_on_overflow */
263 bfd_elf_generic_reloc
, /* special_function */
264 "R_RISCV_CALL", /* name */
265 false, /* partial_inplace */
267 ENCODE_UTYPE_IMM (-1U) | ((bfd_vma
) ENCODE_ITYPE_IMM (-1U) << 32),
269 true), /* pcrel_offset */
271 /* Like R_RISCV_CALL, but not locally binding. */
272 HOWTO (R_RISCV_CALL_PLT
, /* type */
276 true, /* pc_relative */
278 complain_overflow_dont
, /* complain_on_overflow */
279 bfd_elf_generic_reloc
, /* special_function */
280 "R_RISCV_CALL_PLT", /* name */
281 false, /* partial_inplace */
283 ENCODE_UTYPE_IMM (-1U) | ((bfd_vma
) ENCODE_ITYPE_IMM (-1U) << 32),
285 true), /* pcrel_offset */
287 /* High 20 bits of 32-bit PC-relative GOT access. */
288 HOWTO (R_RISCV_GOT_HI20
, /* type */
292 true, /* pc_relative */
294 complain_overflow_dont
, /* complain_on_overflow */
295 bfd_elf_generic_reloc
, /* special_function */
296 "R_RISCV_GOT_HI20", /* name */
297 false, /* partial_inplace */
299 ENCODE_UTYPE_IMM (-1U), /* dst_mask */
300 false), /* pcrel_offset */
302 /* High 20 bits of 32-bit PC-relative TLS IE GOT access. */
303 HOWTO (R_RISCV_TLS_GOT_HI20
, /* type */
307 true, /* pc_relative */
309 complain_overflow_dont
, /* complain_on_overflow */
310 bfd_elf_generic_reloc
, /* special_function */
311 "R_RISCV_TLS_GOT_HI20", /* name */
312 false, /* partial_inplace */
314 ENCODE_UTYPE_IMM (-1U), /* dst_mask */
315 false), /* pcrel_offset */
317 /* High 20 bits of 32-bit PC-relative TLS GD GOT reference. */
318 HOWTO (R_RISCV_TLS_GD_HI20
, /* type */
322 true, /* pc_relative */
324 complain_overflow_dont
, /* complain_on_overflow */
325 bfd_elf_generic_reloc
, /* special_function */
326 "R_RISCV_TLS_GD_HI20", /* name */
327 false, /* partial_inplace */
329 ENCODE_UTYPE_IMM (-1U), /* dst_mask */
330 false), /* pcrel_offset */
332 /* High 20 bits of 32-bit PC-relative reference. */
333 HOWTO (R_RISCV_PCREL_HI20
, /* type */
337 true, /* pc_relative */
339 complain_overflow_dont
, /* complain_on_overflow */
340 bfd_elf_generic_reloc
, /* special_function */
341 "R_RISCV_PCREL_HI20", /* name */
342 false, /* partial_inplace */
344 ENCODE_UTYPE_IMM (-1U), /* dst_mask */
345 true), /* pcrel_offset */
347 /* Low 12 bits of a 32-bit PC-relative load or add. */
348 HOWTO (R_RISCV_PCREL_LO12_I
, /* type */
352 false, /* pc_relative */
354 complain_overflow_dont
, /* complain_on_overflow */
355 bfd_elf_generic_reloc
, /* special_function */
356 "R_RISCV_PCREL_LO12_I", /* name */
357 false, /* partial_inplace */
359 ENCODE_ITYPE_IMM (-1U), /* dst_mask */
360 false), /* pcrel_offset */
362 /* Low 12 bits of a 32-bit PC-relative store. */
363 HOWTO (R_RISCV_PCREL_LO12_S
, /* type */
367 false, /* pc_relative */
369 complain_overflow_dont
, /* complain_on_overflow */
370 bfd_elf_generic_reloc
, /* special_function */
371 "R_RISCV_PCREL_LO12_S", /* name */
372 false, /* partial_inplace */
374 ENCODE_STYPE_IMM (-1U), /* dst_mask */
375 false), /* pcrel_offset */
377 /* High 20 bits of 32-bit absolute address. */
378 HOWTO (R_RISCV_HI20
, /* type */
382 false, /* pc_relative */
384 complain_overflow_dont
, /* complain_on_overflow */
385 bfd_elf_generic_reloc
, /* special_function */
386 "R_RISCV_HI20", /* name */
387 false, /* partial_inplace */
389 ENCODE_UTYPE_IMM (-1U), /* dst_mask */
390 false), /* pcrel_offset */
392 /* High 12 bits of 32-bit load or add. */
393 HOWTO (R_RISCV_LO12_I
, /* type */
397 false, /* pc_relative */
399 complain_overflow_dont
, /* complain_on_overflow */
400 bfd_elf_generic_reloc
, /* special_function */
401 "R_RISCV_LO12_I", /* name */
402 false, /* partial_inplace */
404 ENCODE_ITYPE_IMM (-1U), /* dst_mask */
405 false), /* pcrel_offset */
407 /* High 12 bits of 32-bit store. */
408 HOWTO (R_RISCV_LO12_S
, /* type */
412 false, /* pc_relative */
414 complain_overflow_dont
, /* complain_on_overflow */
415 bfd_elf_generic_reloc
, /* special_function */
416 "R_RISCV_LO12_S", /* name */
417 false, /* partial_inplace */
419 ENCODE_STYPE_IMM (-1U), /* dst_mask */
420 false), /* pcrel_offset */
422 /* High 20 bits of TLS LE thread pointer offset. */
423 HOWTO (R_RISCV_TPREL_HI20
, /* type */
427 false, /* pc_relative */
429 complain_overflow_signed
, /* complain_on_overflow */
430 bfd_elf_generic_reloc
, /* special_function */
431 "R_RISCV_TPREL_HI20", /* name */
432 true, /* partial_inplace */
434 ENCODE_UTYPE_IMM (-1U), /* dst_mask */
435 false), /* pcrel_offset */
437 /* Low 12 bits of TLS LE thread pointer offset for loads and adds. */
438 HOWTO (R_RISCV_TPREL_LO12_I
, /* type */
442 false, /* pc_relative */
444 complain_overflow_signed
, /* complain_on_overflow */
445 bfd_elf_generic_reloc
, /* special_function */
446 "R_RISCV_TPREL_LO12_I", /* name */
447 false, /* partial_inplace */
449 ENCODE_ITYPE_IMM (-1U), /* dst_mask */
450 false), /* pcrel_offset */
452 /* Low 12 bits of TLS LE thread pointer offset for stores. */
453 HOWTO (R_RISCV_TPREL_LO12_S
, /* type */
457 false, /* pc_relative */
459 complain_overflow_signed
, /* complain_on_overflow */
460 bfd_elf_generic_reloc
, /* special_function */
461 "R_RISCV_TPREL_LO12_S", /* name */
462 false, /* partial_inplace */
464 ENCODE_STYPE_IMM (-1U), /* dst_mask */
465 false), /* pcrel_offset */
467 /* TLS LE thread pointer usage. May be relaxed. */
468 HOWTO (R_RISCV_TPREL_ADD
, /* type */
472 false, /* pc_relative */
474 complain_overflow_dont
, /* complain_on_overflow */
475 bfd_elf_generic_reloc
, /* special_function */
476 "R_RISCV_TPREL_ADD", /* name */
477 false, /* partial_inplace */
480 false), /* pcrel_offset */
482 /* 8-bit in-place addition, for local label subtraction. */
483 HOWTO (R_RISCV_ADD8
, /* type */
487 false, /* pc_relative */
489 complain_overflow_dont
, /* complain_on_overflow */
490 riscv_elf_add_sub_reloc
, /* special_function */
491 "R_RISCV_ADD8", /* name */
492 false, /* partial_inplace */
495 false), /* pcrel_offset */
497 /* 16-bit in-place addition, for local label subtraction. */
498 HOWTO (R_RISCV_ADD16
, /* type */
502 false, /* pc_relative */
504 complain_overflow_dont
, /* complain_on_overflow */
505 riscv_elf_add_sub_reloc
, /* special_function */
506 "R_RISCV_ADD16", /* name */
507 false, /* partial_inplace */
509 0xffff, /* dst_mask */
510 false), /* pcrel_offset */
512 /* 32-bit in-place addition, for local label subtraction. */
513 HOWTO (R_RISCV_ADD32
, /* type */
517 false, /* pc_relative */
519 complain_overflow_dont
, /* complain_on_overflow */
520 riscv_elf_add_sub_reloc
, /* special_function */
521 "R_RISCV_ADD32", /* name */
522 false, /* partial_inplace */
524 0xffffffff, /* dst_mask */
525 false), /* pcrel_offset */
527 /* 64-bit in-place addition, for local label subtraction. */
528 HOWTO (R_RISCV_ADD64
, /* type */
532 false, /* pc_relative */
534 complain_overflow_dont
, /* complain_on_overflow */
535 riscv_elf_add_sub_reloc
, /* special_function */
536 "R_RISCV_ADD64", /* name */
537 false, /* partial_inplace */
539 MINUS_ONE
, /* dst_mask */
540 false), /* pcrel_offset */
542 /* 8-bit in-place addition, for local label subtraction. */
543 HOWTO (R_RISCV_SUB8
, /* type */
547 false, /* pc_relative */
549 complain_overflow_dont
, /* complain_on_overflow */
550 riscv_elf_add_sub_reloc
, /* special_function */
551 "R_RISCV_SUB8", /* name */
552 false, /* partial_inplace */
555 false), /* pcrel_offset */
557 /* 16-bit in-place addition, for local label subtraction. */
558 HOWTO (R_RISCV_SUB16
, /* type */
562 false, /* pc_relative */
564 complain_overflow_dont
, /* complain_on_overflow */
565 riscv_elf_add_sub_reloc
, /* special_function */
566 "R_RISCV_SUB16", /* name */
567 false, /* partial_inplace */
569 0xffff, /* dst_mask */
570 false), /* pcrel_offset */
572 /* 32-bit in-place addition, for local label subtraction. */
573 HOWTO (R_RISCV_SUB32
, /* type */
577 false, /* pc_relative */
579 complain_overflow_dont
, /* complain_on_overflow */
580 riscv_elf_add_sub_reloc
, /* special_function */
581 "R_RISCV_SUB32", /* name */
582 false, /* partial_inplace */
584 0xffffffff, /* dst_mask */
585 false), /* pcrel_offset */
587 /* 64-bit in-place addition, for local label subtraction. */
588 HOWTO (R_RISCV_SUB64
, /* type */
592 false, /* pc_relative */
594 complain_overflow_dont
, /* complain_on_overflow */
595 riscv_elf_add_sub_reloc
, /* special_function */
596 "R_RISCV_SUB64", /* name */
597 false, /* partial_inplace */
599 MINUS_ONE
, /* dst_mask */
600 false), /* pcrel_offset */
602 /* 41 and 42 are reserved. */
606 /* Indicates an alignment statement. The addend field encodes how many
607 bytes of NOPs follow the statement. The desired alignment is the
608 addend rounded up to the next power of two. */
609 HOWTO (R_RISCV_ALIGN
, /* type */
613 false, /* pc_relative */
615 complain_overflow_dont
, /* complain_on_overflow */
616 bfd_elf_generic_reloc
, /* special_function */
617 "R_RISCV_ALIGN", /* name */
618 false, /* partial_inplace */
621 false), /* pcrel_offset */
623 /* 8-bit PC-relative branch offset. */
624 HOWTO (R_RISCV_RVC_BRANCH
, /* type */
628 true, /* pc_relative */
630 complain_overflow_signed
, /* complain_on_overflow */
631 bfd_elf_generic_reloc
, /* special_function */
632 "R_RISCV_RVC_BRANCH", /* name */
633 false, /* partial_inplace */
635 ENCODE_CBTYPE_IMM (-1U), /* dst_mask */
636 true), /* pcrel_offset */
638 /* 11-bit PC-relative jump offset. */
639 HOWTO (R_RISCV_RVC_JUMP
, /* type */
643 true, /* pc_relative */
645 complain_overflow_dont
, /* complain_on_overflow */
646 bfd_elf_generic_reloc
, /* special_function */
647 "R_RISCV_RVC_JUMP", /* name */
648 false, /* partial_inplace */
650 ENCODE_CJTYPE_IMM (-1U), /* dst_mask */
651 true), /* pcrel_offset */
653 /* High 6 bits of 18-bit absolute address. */
654 HOWTO (R_RISCV_RVC_LUI
, /* type */
658 false, /* pc_relative */
660 complain_overflow_dont
, /* complain_on_overflow */
661 bfd_elf_generic_reloc
, /* special_function */
662 "R_RISCV_RVC_LUI", /* name */
663 false, /* partial_inplace */
665 ENCODE_CITYPE_IMM (-1U), /* dst_mask */
666 false), /* pcrel_offset */
668 /* GP-relative load. */
669 HOWTO (R_RISCV_GPREL_I
, /* type */
673 false, /* pc_relative */
675 complain_overflow_dont
, /* complain_on_overflow */
676 bfd_elf_generic_reloc
, /* special_function */
677 "R_RISCV_GPREL_I", /* name */
678 false, /* partial_inplace */
680 ENCODE_ITYPE_IMM (-1U), /* dst_mask */
681 false), /* pcrel_offset */
683 /* GP-relative store. */
684 HOWTO (R_RISCV_GPREL_S
, /* type */
688 false, /* pc_relative */
690 complain_overflow_dont
, /* complain_on_overflow */
691 bfd_elf_generic_reloc
, /* special_function */
692 "R_RISCV_GPREL_S", /* name */
693 false, /* partial_inplace */
695 ENCODE_STYPE_IMM (-1U), /* dst_mask */
696 false), /* pcrel_offset */
698 /* TP-relative TLS LE load. */
699 HOWTO (R_RISCV_TPREL_I
, /* type */
703 false, /* pc_relative */
705 complain_overflow_signed
, /* complain_on_overflow */
706 bfd_elf_generic_reloc
, /* special_function */
707 "R_RISCV_TPREL_I", /* name */
708 false, /* partial_inplace */
710 ENCODE_ITYPE_IMM (-1U), /* dst_mask */
711 false), /* pcrel_offset */
713 /* TP-relative TLS LE store. */
714 HOWTO (R_RISCV_TPREL_S
, /* type */
718 false, /* pc_relative */
720 complain_overflow_signed
, /* complain_on_overflow */
721 bfd_elf_generic_reloc
, /* special_function */
722 "R_RISCV_TPREL_S", /* name */
723 false, /* partial_inplace */
725 ENCODE_STYPE_IMM (-1U), /* dst_mask */
726 false), /* pcrel_offset */
728 /* The paired relocation may be relaxed. */
729 HOWTO (R_RISCV_RELAX
, /* type */
733 false, /* pc_relative */
735 complain_overflow_dont
, /* complain_on_overflow */
736 bfd_elf_generic_reloc
, /* special_function */
737 "R_RISCV_RELAX", /* name */
738 false, /* partial_inplace */
741 false), /* pcrel_offset */
743 /* 6-bit in-place addition, for local label subtraction. */
744 HOWTO (R_RISCV_SUB6
, /* type */
748 false, /* pc_relative */
750 complain_overflow_dont
, /* complain_on_overflow */
751 riscv_elf_add_sub_reloc
, /* special_function */
752 "R_RISCV_SUB6", /* name */
753 false, /* partial_inplace */
756 false), /* pcrel_offset */
758 /* 6-bit in-place setting, for local label subtraction. */
759 HOWTO (R_RISCV_SET6
, /* type */
763 false, /* pc_relative */
765 complain_overflow_dont
, /* complain_on_overflow */
766 bfd_elf_generic_reloc
, /* special_function */
767 "R_RISCV_SET6", /* name */
768 false, /* partial_inplace */
771 false), /* pcrel_offset */
773 /* 8-bit in-place setting, for local label subtraction. */
774 HOWTO (R_RISCV_SET8
, /* type */
778 false, /* pc_relative */
780 complain_overflow_dont
, /* complain_on_overflow */
781 bfd_elf_generic_reloc
, /* special_function */
782 "R_RISCV_SET8", /* name */
783 false, /* partial_inplace */
786 false), /* pcrel_offset */
788 /* 16-bit in-place setting, for local label subtraction. */
789 HOWTO (R_RISCV_SET16
, /* type */
793 false, /* pc_relative */
795 complain_overflow_dont
, /* complain_on_overflow */
796 bfd_elf_generic_reloc
, /* special_function */
797 "R_RISCV_SET16", /* name */
798 false, /* partial_inplace */
800 0xffff, /* dst_mask */
801 false), /* pcrel_offset */
803 /* 32-bit in-place setting, for local label subtraction. */
804 HOWTO (R_RISCV_SET32
, /* type */
808 false, /* pc_relative */
810 complain_overflow_dont
, /* complain_on_overflow */
811 bfd_elf_generic_reloc
, /* special_function */
812 "R_RISCV_SET32", /* name */
813 false, /* partial_inplace */
815 0xffffffff, /* dst_mask */
816 false), /* pcrel_offset */
818 /* 32-bit PC relative. */
819 HOWTO (R_RISCV_32_PCREL
, /* type */
823 true, /* pc_relative */
825 complain_overflow_dont
, /* complain_on_overflow */
826 bfd_elf_generic_reloc
, /* special_function */
827 "R_RISCV_32_PCREL", /* name */
828 false, /* partial_inplace */
830 0xffffffff, /* dst_mask */
831 false), /* pcrel_offset */
833 /* Relocation against a local ifunc symbol in a shared object. */
834 HOWTO (R_RISCV_IRELATIVE
, /* type */
838 false, /* pc_relative */
840 complain_overflow_dont
, /* complain_on_overflow */
841 bfd_elf_generic_reloc
, /* special_function */
842 "R_RISCV_IRELATIVE", /* name */
843 false, /* partial_inplace */
845 0xffffffff, /* dst_mask */
846 false), /* pcrel_offset */
849 /* A mapping from BFD reloc types to RISC-V ELF reloc types. */
852 bfd_reloc_code_real_type bfd_val
;
853 enum elf_riscv_reloc_type elf_val
;
856 static const struct elf_reloc_map riscv_reloc_map
[] =
858 { BFD_RELOC_NONE
, R_RISCV_NONE
},
859 { BFD_RELOC_32
, R_RISCV_32
},
860 { BFD_RELOC_64
, R_RISCV_64
},
861 { BFD_RELOC_RISCV_ADD8
, R_RISCV_ADD8
},
862 { BFD_RELOC_RISCV_ADD16
, R_RISCV_ADD16
},
863 { BFD_RELOC_RISCV_ADD32
, R_RISCV_ADD32
},
864 { BFD_RELOC_RISCV_ADD64
, R_RISCV_ADD64
},
865 { BFD_RELOC_RISCV_SUB8
, R_RISCV_SUB8
},
866 { BFD_RELOC_RISCV_SUB16
, R_RISCV_SUB16
},
867 { BFD_RELOC_RISCV_SUB32
, R_RISCV_SUB32
},
868 { BFD_RELOC_RISCV_SUB64
, R_RISCV_SUB64
},
869 { BFD_RELOC_CTOR
, R_RISCV_64
},
870 { BFD_RELOC_12_PCREL
, R_RISCV_BRANCH
},
871 { BFD_RELOC_RISCV_HI20
, R_RISCV_HI20
},
872 { BFD_RELOC_RISCV_LO12_I
, R_RISCV_LO12_I
},
873 { BFD_RELOC_RISCV_LO12_S
, R_RISCV_LO12_S
},
874 { BFD_RELOC_RISCV_PCREL_LO12_I
, R_RISCV_PCREL_LO12_I
},
875 { BFD_RELOC_RISCV_PCREL_LO12_S
, R_RISCV_PCREL_LO12_S
},
876 { BFD_RELOC_RISCV_CALL
, R_RISCV_CALL
},
877 { BFD_RELOC_RISCV_CALL_PLT
, R_RISCV_CALL_PLT
},
878 { BFD_RELOC_RISCV_PCREL_HI20
, R_RISCV_PCREL_HI20
},
879 { BFD_RELOC_RISCV_JMP
, R_RISCV_JAL
},
880 { BFD_RELOC_RISCV_GOT_HI20
, R_RISCV_GOT_HI20
},
881 { BFD_RELOC_RISCV_TLS_DTPMOD32
, R_RISCV_TLS_DTPMOD32
},
882 { BFD_RELOC_RISCV_TLS_DTPREL32
, R_RISCV_TLS_DTPREL32
},
883 { BFD_RELOC_RISCV_TLS_DTPMOD64
, R_RISCV_TLS_DTPMOD64
},
884 { BFD_RELOC_RISCV_TLS_DTPREL64
, R_RISCV_TLS_DTPREL64
},
885 { BFD_RELOC_RISCV_TLS_TPREL32
, R_RISCV_TLS_TPREL32
},
886 { BFD_RELOC_RISCV_TLS_TPREL64
, R_RISCV_TLS_TPREL64
},
887 { BFD_RELOC_RISCV_TPREL_HI20
, R_RISCV_TPREL_HI20
},
888 { BFD_RELOC_RISCV_TPREL_ADD
, R_RISCV_TPREL_ADD
},
889 { BFD_RELOC_RISCV_TPREL_LO12_S
, R_RISCV_TPREL_LO12_S
},
890 { BFD_RELOC_RISCV_TPREL_LO12_I
, R_RISCV_TPREL_LO12_I
},
891 { BFD_RELOC_RISCV_TLS_GOT_HI20
, R_RISCV_TLS_GOT_HI20
},
892 { BFD_RELOC_RISCV_TLS_GD_HI20
, R_RISCV_TLS_GD_HI20
},
893 { BFD_RELOC_RISCV_ALIGN
, R_RISCV_ALIGN
},
894 { BFD_RELOC_RISCV_RVC_BRANCH
, R_RISCV_RVC_BRANCH
},
895 { BFD_RELOC_RISCV_RVC_JUMP
, R_RISCV_RVC_JUMP
},
896 { BFD_RELOC_RISCV_RVC_LUI
, R_RISCV_RVC_LUI
},
897 { BFD_RELOC_RISCV_GPREL_I
, R_RISCV_GPREL_I
},
898 { BFD_RELOC_RISCV_GPREL_S
, R_RISCV_GPREL_S
},
899 { BFD_RELOC_RISCV_TPREL_I
, R_RISCV_TPREL_I
},
900 { BFD_RELOC_RISCV_TPREL_S
, R_RISCV_TPREL_S
},
901 { BFD_RELOC_RISCV_RELAX
, R_RISCV_RELAX
},
902 { BFD_RELOC_RISCV_SUB6
, R_RISCV_SUB6
},
903 { BFD_RELOC_RISCV_SET6
, R_RISCV_SET6
},
904 { BFD_RELOC_RISCV_SET8
, R_RISCV_SET8
},
905 { BFD_RELOC_RISCV_SET16
, R_RISCV_SET16
},
906 { BFD_RELOC_RISCV_SET32
, R_RISCV_SET32
},
907 { BFD_RELOC_RISCV_32_PCREL
, R_RISCV_32_PCREL
},
910 /* Given a BFD reloc type, return a howto structure. */
913 riscv_reloc_type_lookup (bfd
*abfd ATTRIBUTE_UNUSED
,
914 bfd_reloc_code_real_type code
)
918 for (i
= 0; i
< ARRAY_SIZE (riscv_reloc_map
); i
++)
919 if (riscv_reloc_map
[i
].bfd_val
== code
)
920 return &howto_table
[(int) riscv_reloc_map
[i
].elf_val
];
922 bfd_set_error (bfd_error_bad_value
);
927 riscv_reloc_name_lookup (bfd
*abfd ATTRIBUTE_UNUSED
, const char *r_name
)
931 for (i
= 0; i
< ARRAY_SIZE (howto_table
); i
++)
932 if (howto_table
[i
].name
&& strcasecmp (howto_table
[i
].name
, r_name
) == 0)
933 return &howto_table
[i
];
939 riscv_elf_rtype_to_howto (bfd
*abfd
, unsigned int r_type
)
941 if (r_type
>= ARRAY_SIZE (howto_table
))
943 (*_bfd_error_handler
) (_("%pB: unsupported relocation type %#x"),
945 bfd_set_error (bfd_error_bad_value
);
948 return &howto_table
[r_type
];
951 /* Special_function of RISCV_ADD and RISCV_SUB relocations. */
953 static bfd_reloc_status_type
954 riscv_elf_add_sub_reloc (bfd
*abfd
,
955 arelent
*reloc_entry
,
958 asection
*input_section
,
960 char **error_message ATTRIBUTE_UNUSED
)
962 reloc_howto_type
*howto
= reloc_entry
->howto
;
965 if (output_bfd
!= NULL
966 && (symbol
->flags
& BSF_SECTION_SYM
) == 0
967 && (!reloc_entry
->howto
->partial_inplace
|| reloc_entry
->addend
== 0))
969 reloc_entry
->address
+= input_section
->output_offset
;
973 if (output_bfd
!= NULL
)
974 return bfd_reloc_continue
;
976 relocation
= symbol
->value
+ symbol
->section
->output_section
->vma
977 + symbol
->section
->output_offset
+ reloc_entry
->addend
;
979 bfd_size_type octets
= reloc_entry
->address
980 * bfd_octets_per_byte (abfd
, input_section
);
981 if (!bfd_reloc_offset_in_range (reloc_entry
->howto
, abfd
,
982 input_section
, octets
))
983 return bfd_reloc_outofrange
;
985 bfd_vma old_value
= bfd_get (howto
->bitsize
, abfd
,
986 data
+ reloc_entry
->address
);
994 relocation
= old_value
+ relocation
;
1001 relocation
= old_value
- relocation
;
1004 bfd_put (howto
->bitsize
, abfd
, relocation
, data
+ reloc_entry
->address
);
1006 return bfd_reloc_ok
;
1009 /* Always add the IMPLICIT for the SUBSET. */
1012 check_implicit_always (const char *implicit ATTRIBUTE_UNUSED
,
1013 riscv_subset_t
*subset ATTRIBUTE_UNUSED
)
1018 /* Add the IMPLICIT only when the version of SUBSET less than 2.1. */
1021 check_implicit_for_i (const char *implicit ATTRIBUTE_UNUSED
,
1022 riscv_subset_t
*subset
)
1024 return (subset
->major_version
< 2
1025 || (subset
->major_version
== 2
1026 && subset
->minor_version
< 1));
1029 /* Record all implicit information for the subsets. */
1030 struct riscv_implicit_subset
1032 const char *subset_name
;
1033 const char *implicit_name
;
1034 /* A function to determine if we need to add the implicit subset. */
1035 bool (*check_func
) (const char *, riscv_subset_t
*);
1037 static struct riscv_implicit_subset riscv_implicit_subsets
[] =
1039 {"e", "i", check_implicit_always
},
1040 {"i", "zicsr", check_implicit_for_i
},
1041 {"i", "zifencei", check_implicit_for_i
},
1042 {"g", "i", check_implicit_always
},
1043 {"g", "m", check_implicit_always
},
1044 {"g", "a", check_implicit_always
},
1045 {"g", "f", check_implicit_always
},
1046 {"g", "d", check_implicit_always
},
1047 {"g", "zicsr", check_implicit_always
},
1048 {"g", "zifencei", check_implicit_always
},
1049 {"m", "zmmul", check_implicit_always
},
1050 {"h", "zicsr", check_implicit_always
},
1051 {"q", "d", check_implicit_always
},
1052 {"v", "d", check_implicit_always
},
1053 {"v", "zve64d", check_implicit_always
},
1054 {"v", "zvl128b", check_implicit_always
},
1055 {"zve64d", "d", check_implicit_always
},
1056 {"zve64d", "zve64f", check_implicit_always
},
1057 {"zve64f", "zve32f", check_implicit_always
},
1058 {"zve64f", "zve64x", check_implicit_always
},
1059 {"zve64f", "zvl64b", check_implicit_always
},
1060 {"zve32f", "f", check_implicit_always
},
1061 {"zve32f", "zvl32b", check_implicit_always
},
1062 {"zve32f", "zve32x", check_implicit_always
},
1063 {"zve64x", "zve32x", check_implicit_always
},
1064 {"zve64x", "zvl64b", check_implicit_always
},
1065 {"zve32x", "zvl32b", check_implicit_always
},
1066 {"zvl65536b", "zvl32768b", check_implicit_always
},
1067 {"zvl32768b", "zvl16384b", check_implicit_always
},
1068 {"zvl16384b", "zvl8192b", check_implicit_always
},
1069 {"zvl8192b", "zvl4096b", check_implicit_always
},
1070 {"zvl4096b", "zvl2048b", check_implicit_always
},
1071 {"zvl2048b", "zvl1024b", check_implicit_always
},
1072 {"zvl1024b", "zvl512b", check_implicit_always
},
1073 {"zvl512b", "zvl256b", check_implicit_always
},
1074 {"zvl256b", "zvl128b", check_implicit_always
},
1075 {"zvl128b", "zvl64b", check_implicit_always
},
1076 {"zvl64b", "zvl32b", check_implicit_always
},
1077 {"d", "f", check_implicit_always
},
1078 {"zfh", "zfhmin", check_implicit_always
},
1079 {"zfhmin", "f", check_implicit_always
},
1080 {"f", "zicsr", check_implicit_always
},
1081 {"zqinx", "zdinx", check_implicit_always
},
1082 {"zdinx", "zfinx", check_implicit_always
},
1083 {"zhinx", "zhinxmin", check_implicit_always
},
1084 {"zhinxmin", "zfinx", check_implicit_always
},
1085 {"zfinx", "zicsr", check_implicit_always
},
1086 {"zk", "zkn", check_implicit_always
},
1087 {"zk", "zkr", check_implicit_always
},
1088 {"zk", "zkt", check_implicit_always
},
1089 {"zkn", "zbkb", check_implicit_always
},
1090 {"zkn", "zbkc", check_implicit_always
},
1091 {"zkn", "zbkx", check_implicit_always
},
1092 {"zkn", "zkne", check_implicit_always
},
1093 {"zkn", "zknd", check_implicit_always
},
1094 {"zkn", "zknh", check_implicit_always
},
1095 {"zks", "zbkb", check_implicit_always
},
1096 {"zks", "zbkc", check_implicit_always
},
1097 {"zks", "zbkx", check_implicit_always
},
1098 {"zks", "zksed", check_implicit_always
},
1099 {"zks", "zksh", check_implicit_always
},
1100 {"smepmp", "zicsr", check_implicit_always
},
1101 {"smstateen", "zicsr", check_implicit_always
},
1102 {"sscofpmf", "zicsr", check_implicit_always
},
1103 {"sstc", "zicsr", check_implicit_always
},
1107 /* For default_enable field, decide if the extension should
1108 be enbaled by default. */
1110 #define EXT_DEFAULT 0x1
1112 /* List all extensions that binutils should know about. */
1114 struct riscv_supported_ext
1117 enum riscv_spec_class isa_spec_class
;
1120 unsigned long default_enable
;
1123 /* The standard extensions must be added in canonical order. */
1125 static struct riscv_supported_ext riscv_supported_std_ext
[] =
1127 {"e", ISA_SPEC_CLASS_20191213
, 1, 9, 0 },
1128 {"e", ISA_SPEC_CLASS_20190608
, 1, 9, 0 },
1129 {"e", ISA_SPEC_CLASS_2P2
, 1, 9, 0 },
1130 {"i", ISA_SPEC_CLASS_20191213
, 2, 1, 0 },
1131 {"i", ISA_SPEC_CLASS_20190608
, 2, 1, 0 },
1132 {"i", ISA_SPEC_CLASS_2P2
, 2, 0, 0 },
1133 /* The g is a special case which we don't want to output it,
1134 but still need it when adding implicit extensions. */
1135 {"g", ISA_SPEC_CLASS_NONE
, RISCV_UNKNOWN_VERSION
, RISCV_UNKNOWN_VERSION
, EXT_DEFAULT
},
1136 {"m", ISA_SPEC_CLASS_20191213
, 2, 0, 0 },
1137 {"m", ISA_SPEC_CLASS_20190608
, 2, 0, 0 },
1138 {"m", ISA_SPEC_CLASS_2P2
, 2, 0, 0 },
1139 {"a", ISA_SPEC_CLASS_20191213
, 2, 1, 0 },
1140 {"a", ISA_SPEC_CLASS_20190608
, 2, 0, 0 },
1141 {"a", ISA_SPEC_CLASS_2P2
, 2, 0, 0 },
1142 {"f", ISA_SPEC_CLASS_20191213
, 2, 2, 0 },
1143 {"f", ISA_SPEC_CLASS_20190608
, 2, 2, 0 },
1144 {"f", ISA_SPEC_CLASS_2P2
, 2, 0, 0 },
1145 {"d", ISA_SPEC_CLASS_20191213
, 2, 2, 0 },
1146 {"d", ISA_SPEC_CLASS_20190608
, 2, 2, 0 },
1147 {"d", ISA_SPEC_CLASS_2P2
, 2, 0, 0 },
1148 {"q", ISA_SPEC_CLASS_20191213
, 2, 2, 0 },
1149 {"q", ISA_SPEC_CLASS_20190608
, 2, 2, 0 },
1150 {"q", ISA_SPEC_CLASS_2P2
, 2, 0, 0 },
1151 {"c", ISA_SPEC_CLASS_20191213
, 2, 0, 0 },
1152 {"c", ISA_SPEC_CLASS_20190608
, 2, 0, 0 },
1153 {"c", ISA_SPEC_CLASS_2P2
, 2, 0, 0 },
1154 {"v", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1155 {"h", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1159 static struct riscv_supported_ext riscv_supported_std_z_ext
[] =
1161 {"zicbom", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1162 {"zicbop", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1163 {"zicboz", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1164 {"zicsr", ISA_SPEC_CLASS_20191213
, 2, 0, 0 },
1165 {"zicsr", ISA_SPEC_CLASS_20190608
, 2, 0, 0 },
1166 {"zifencei", ISA_SPEC_CLASS_20191213
, 2, 0, 0 },
1167 {"zifencei", ISA_SPEC_CLASS_20190608
, 2, 0, 0 },
1168 {"zihintpause", ISA_SPEC_CLASS_DRAFT
, 2, 0, 0 },
1169 {"zmmul", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1170 {"zawrs", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1171 {"zfh", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1172 {"zfhmin", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1173 {"zfinx", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1174 {"zdinx", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1175 {"zqinx", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1176 {"zhinx", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1177 {"zhinxmin", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1178 {"zbb", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1179 {"zba", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1180 {"zbc", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1181 {"zbs", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1182 {"zbkb", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1183 {"zbkc", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1184 {"zbkx", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1185 {"zk", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1186 {"zkn", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1187 {"zknd", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1188 {"zkne", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1189 {"zknh", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1190 {"zkr", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1191 {"zks", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1192 {"zksed", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1193 {"zksh", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1194 {"zkt", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1195 {"zve32x", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1196 {"zve32f", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1197 {"zve32d", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1198 {"zve64x", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1199 {"zve64f", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1200 {"zve64d", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1201 {"zvl32b", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1202 {"zvl64b", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1203 {"zvl128b", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1204 {"zvl256b", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1205 {"zvl512b", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1206 {"zvl1024b", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1207 {"zvl2048b", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1208 {"zvl4096b", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1209 {"zvl8192b", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1210 {"zvl16384b", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1211 {"zvl32768b", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1212 {"zvl65536b", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1213 {"ztso", ISA_SPEC_CLASS_DRAFT
, 0, 1, 0 },
1217 static struct riscv_supported_ext riscv_supported_std_s_ext
[] =
1219 {"smepmp", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1220 {"smstateen", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1221 {"sscofpmf", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1222 {"sstc", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1223 {"svinval", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1224 {"svnapot", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1225 {"svpbmt", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1229 static struct riscv_supported_ext riscv_supported_std_zxm_ext
[] =
1234 static struct riscv_supported_ext riscv_supported_vendor_x_ext
[] =
1236 {"xtheadba", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1237 {"xtheadbb", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1238 {"xtheadbs", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1239 {"xtheadcmo", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1240 {"xtheadcondmov", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1241 {"xtheadfmemidx", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1242 {"xtheadfmv", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1243 {"xtheadint", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1244 {"xtheadmac", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1245 {"xtheadmemidx", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1246 {"xtheadmempair", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1247 {"xtheadsync", ISA_SPEC_CLASS_DRAFT
, 1, 0, 0 },
1251 const struct riscv_supported_ext
*riscv_all_supported_ext
[] =
1253 riscv_supported_std_ext
,
1254 riscv_supported_std_z_ext
,
1255 riscv_supported_std_s_ext
,
1256 riscv_supported_std_zxm_ext
,
1257 riscv_supported_vendor_x_ext
,
1261 /* ISA extension prefixed name class. Must define them in parsing order. */
1262 enum riscv_prefix_ext_class
1268 RV_ISA_CLASS_UNKNOWN
1271 /* Record the strings of the prefixed extensions, and their corresponding
1272 classes. The more letters of the prefix string, the more forward it must
1273 be defined. Otherwise, the riscv_get_prefix_class will map it to the
1275 struct riscv_parse_prefix_config
1277 /* Class of the extension. */
1278 enum riscv_prefix_ext_class
class;
1280 /* Prefix string for error printing and internal parser usage. */
1283 static const struct riscv_parse_prefix_config parse_config
[] =
1285 {RV_ISA_CLASS_ZXM
, "zxm"},
1286 {RV_ISA_CLASS_Z
, "z"},
1287 {RV_ISA_CLASS_S
, "s"},
1288 {RV_ISA_CLASS_X
, "x"},
1289 {RV_ISA_CLASS_UNKNOWN
, NULL
}
1292 /* Get the prefixed name class for the extensions, the class also
1293 means the order of the prefixed extensions. */
1295 static enum riscv_prefix_ext_class
1296 riscv_get_prefix_class (const char *arch
)
1299 while (parse_config
[i
].class != RV_ISA_CLASS_UNKNOWN
)
1301 if (strncmp (arch
, parse_config
[i
].prefix
,
1302 strlen (parse_config
[i
].prefix
)) == 0)
1303 return parse_config
[i
].class;
1306 return RV_ISA_CLASS_UNKNOWN
;
1309 /* Check KNOWN_EXTS to see if the EXT is supported. */
1312 riscv_known_prefixed_ext (const char *ext
,
1313 struct riscv_supported_ext
*known_exts
)
1316 for (i
= 0; known_exts
[i
].name
!= NULL
; ++i
)
1317 if (strcmp (ext
, known_exts
[i
].name
) == 0)
1322 /* Check whether the prefixed extension is recognized or not. Return
1323 true if recognized, otehrwise return false. */
1326 riscv_recognized_prefixed_ext (const char *ext
)
1328 enum riscv_prefix_ext_class
class = riscv_get_prefix_class (ext
);
1331 case RV_ISA_CLASS_Z
:
1332 return riscv_known_prefixed_ext (ext
, riscv_supported_std_z_ext
);
1333 case RV_ISA_CLASS_ZXM
:
1334 return riscv_known_prefixed_ext (ext
, riscv_supported_std_zxm_ext
);
1335 case RV_ISA_CLASS_S
:
1336 return riscv_known_prefixed_ext (ext
, riscv_supported_std_s_ext
);
1337 case RV_ISA_CLASS_X
:
1338 /* Only the single x is unrecognized. */
1339 if (strcmp (ext
, "x") != 0)
1347 /* Canonical order for single letter extensions. */
1348 static const char riscv_ext_canonical_order
[] = "eigmafdqlcbkjtpvnh";
1350 /* Array is used to compare the orders of standard extensions quickly. */
1351 static int riscv_ext_order
[26] = {0};
1353 /* Init the riscv_ext_order array. */
1356 riscv_init_ext_order (void)
1358 static bool inited
= false;
1362 /* The orders of all standard extensions are positive. */
1365 for (const char *ext
= &riscv_ext_canonical_order
[0]; *ext
; ++ext
)
1366 riscv_ext_order
[(*ext
- 'a')] = order
++;
1368 /* Some of the prefixed keyword are not single letter, so we set
1369 their prefixed orders in the riscv_compare_subsets directly,
1370 not through the riscv_ext_order. */
1375 /* Similar to the strcmp. It returns an integer less than, equal to,
1376 or greater than zero if `subset2` is found, respectively, to be less
1377 than, to match, or be greater than `subset1`.
1380 Zero: Preserved keywords.
1381 Positive number: Standard extensions.
1382 Negative number: Prefixed keywords. */
1385 riscv_compare_subsets (const char *subset1
, const char *subset2
)
1387 int order1
= riscv_ext_order
[(*subset1
- 'a')];
1388 int order2
= riscv_ext_order
[(*subset2
- 'a')];
1390 /* Compare the standard extension first. */
1391 if (order1
> 0 && order2
> 0)
1392 return order1
- order2
;
1394 /* Set the prefixed orders to negative numbers. */
1395 enum riscv_prefix_ext_class class1
= riscv_get_prefix_class (subset1
);
1396 enum riscv_prefix_ext_class class2
= riscv_get_prefix_class (subset2
);
1398 if (class1
!= RV_ISA_CLASS_UNKNOWN
)
1399 order1
= - (int) class1
;
1400 if (class2
!= RV_ISA_CLASS_UNKNOWN
)
1401 order2
= - (int) class2
;
1403 if (order1
== order2
)
1405 /* Compare the standard addition z extensions. */
1406 if (class1
== RV_ISA_CLASS_Z
)
1408 order1
= riscv_ext_order
[(*++subset1
- 'a')];
1409 order2
= riscv_ext_order
[(*++subset2
- 'a')];
1410 if (order1
!= order2
)
1411 return order1
- order2
;
1413 return strcasecmp (++subset1
, ++subset2
);
1416 return order2
- order1
;
1419 /* Find subset in the list. Return TRUE and set `current` to the subset
1420 if it is found. Otherwise, return FALSE and set `current` to the place
1421 where we should insert the subset. However, return FALSE with the NULL
1422 `current` means we should insert the subset at the head of subset list,
1426 riscv_lookup_subset (const riscv_subset_list_t
*subset_list
,
1428 riscv_subset_t
**current
)
1430 riscv_subset_t
*s
, *pre_s
= NULL
;
1432 /* If the subset is added in order, then just add it at the tail. */
1433 if (subset_list
->tail
!= NULL
1434 && riscv_compare_subsets (subset_list
->tail
->name
, subset
) < 0)
1436 *current
= subset_list
->tail
;
1440 for (s
= subset_list
->head
;
1442 pre_s
= s
, s
= s
->next
)
1444 int cmp
= riscv_compare_subsets (s
->name
, subset
);
1458 /* Add the extension to the subset list. Search the
1459 list first, and then find the right place to add. */
1462 riscv_add_subset (riscv_subset_list_t
*subset_list
,
1467 riscv_subset_t
*current
, *new;
1469 if (riscv_lookup_subset (subset_list
, subset
, ¤t
))
1472 new = xmalloc (sizeof *new);
1473 new->name
= xstrdup (subset
);
1474 new->major_version
= major
;
1475 new->minor_version
= minor
;
1478 if (current
!= NULL
)
1480 new->next
= current
->next
;
1481 current
->next
= new;
1485 new->next
= subset_list
->head
;
1486 subset_list
->head
= new;
1489 if (new->next
== NULL
)
1490 subset_list
->tail
= new;
1493 /* Get the default versions from the riscv_supported_*ext tables. */
1496 riscv_get_default_ext_version (enum riscv_spec_class
*default_isa_spec
,
1502 || default_isa_spec
== NULL
1503 || *default_isa_spec
== ISA_SPEC_CLASS_NONE
)
1506 struct riscv_supported_ext
*table
= NULL
;
1507 enum riscv_prefix_ext_class
class = riscv_get_prefix_class (name
);
1510 case RV_ISA_CLASS_ZXM
: table
= riscv_supported_std_zxm_ext
; break;
1511 case RV_ISA_CLASS_Z
: table
= riscv_supported_std_z_ext
; break;
1512 case RV_ISA_CLASS_S
: table
= riscv_supported_std_s_ext
; break;
1513 case RV_ISA_CLASS_X
: table
= riscv_supported_vendor_x_ext
; break;
1515 table
= riscv_supported_std_ext
;
1519 while (table
!= NULL
&& table
[i
].name
!= NULL
)
1521 if (strcmp (table
[i
].name
, name
) == 0
1522 && (table
[i
].isa_spec_class
== ISA_SPEC_CLASS_DRAFT
1523 || table
[i
].isa_spec_class
== *default_isa_spec
))
1525 *major_version
= table
[i
].major_version
;
1526 *minor_version
= table
[i
].minor_version
;
1533 /* Find the default versions for the extension before adding them to
1534 the subset list, if their versions are RISCV_UNKNOWN_VERSION.
1535 Afterwards, report errors if we can not find their default versions. */
1538 riscv_parse_add_subset (riscv_parse_subset_t
*rps
,
1544 int major_version
= major
;
1545 int minor_version
= minor
;
1547 if (major_version
== RISCV_UNKNOWN_VERSION
1548 || minor_version
== RISCV_UNKNOWN_VERSION
)
1549 riscv_get_default_ext_version (rps
->isa_spec
, subset
,
1550 &major_version
, &minor_version
);
1552 /* We don't care the versions of the implicit extensions. */
1554 && (major_version
== RISCV_UNKNOWN_VERSION
1555 || minor_version
== RISCV_UNKNOWN_VERSION
))
1557 if (subset
[0] == 'x')
1559 (_("x ISA extension `%s' must be set with the versions"),
1561 /* Allow old ISA spec can recognize zicsr and zifencei. */
1562 else if (strcmp (subset
, "zicsr") != 0
1563 && strcmp (subset
, "zifencei") != 0)
1565 (_("cannot find default versions of the ISA extension `%s'"),
1570 riscv_add_subset (rps
->subset_list
, subset
,
1571 major_version
, minor_version
);
1574 /* Release subset list. */
1577 riscv_release_subset_list (riscv_subset_list_t
*subset_list
)
1579 while (subset_list
->head
!= NULL
)
1581 riscv_subset_t
*next
= subset_list
->head
->next
;
1582 free ((void *)subset_list
->head
->name
);
1583 free (subset_list
->head
);
1584 subset_list
->head
= next
;
1587 subset_list
->tail
= NULL
;
1589 if (subset_list
->arch_str
!= NULL
)
1591 free ((void*) subset_list
->arch_str
);
1592 subset_list
->arch_str
= NULL
;
1596 /* Parsing extension version.
1599 Points to the end of version
1602 `p`: Curent parsing position.
1603 `major_version`: Parsed major version.
1604 `minor_version`: Parsed minor version. */
1607 riscv_parsing_subset_version (const char *p
,
1611 bool major_p
= true;
1623 /* Might be beginning of `p` extension. */
1627 *major_version
= version
;
1631 else if (ISDIGIT (*p
))
1632 version
= (version
* 10) + (*p
- '0');
1638 *major_version
= version
;
1640 *minor_version
= version
;
1642 /* We can not find any version in string. */
1643 if (*major_version
== 0 && *minor_version
== 0)
1645 *major_version
= RISCV_UNKNOWN_VERSION
;
1646 *minor_version
= RISCV_UNKNOWN_VERSION
;
1652 /* Parsing function for standard extensions.
1655 Points to the end of extensions.
1658 `rps`: Hooks and status for parsing extensions.
1659 `arch`: Full ISA string.
1660 `p`: Curent parsing position. */
1663 riscv_parse_std_ext (riscv_parse_subset_t
*rps
,
1667 /* First letter must start with i, e or g. */
1668 if (*p
!= 'e' && *p
!= 'i' && *p
!= 'g')
1671 (_("%s: first ISA extension must be `e', `i' or `g'"),
1676 while (p
!= NULL
&& *p
!= '\0')
1678 /* Stop when we parsed the known prefix class. */
1679 enum riscv_prefix_ext_class
class = riscv_get_prefix_class (p
);
1680 if (class != RV_ISA_CLASS_UNKNOWN
)
1689 bool implicit
= false;
1690 int major
= RISCV_UNKNOWN_VERSION
;
1691 int minor
= RISCV_UNKNOWN_VERSION
;
1692 char subset
[2] = {0, 0};
1696 /* Check if the standard extension is supported. */
1697 if (riscv_ext_order
[(subset
[0] - 'a')] == 0)
1700 (_("%s: unknown standard ISA extension `%c'"),
1705 /* Checking canonical order. */
1706 if (rps
->subset_list
->tail
!= NULL
1707 && riscv_compare_subsets (rps
->subset_list
->tail
->name
, subset
) > 0)
1710 (_("%s: standard ISA extension `%c' is not "
1711 "in canonical order"), arch
, subset
[0]);
1715 p
= riscv_parsing_subset_version (++p
, &major
, &minor
);
1716 /* Added g as an implicit extension. */
1717 if (subset
[0] == 'g')
1720 major
= RISCV_UNKNOWN_VERSION
;
1721 minor
= RISCV_UNKNOWN_VERSION
;
1723 riscv_parse_add_subset (rps
, subset
, major
, minor
, implicit
);
1729 /* Parsing function for prefixed extensions.
1732 Points to the end of extension.
1735 `rps`: Hooks and status for parsing extensions.
1736 `arch`: Full ISA string.
1737 `p`: Curent parsing position. */
1740 riscv_parse_prefixed_ext (riscv_parse_subset_t
*rps
,
1746 enum riscv_prefix_ext_class
class;
1756 class = riscv_get_prefix_class (p
);
1757 if (class == RV_ISA_CLASS_UNKNOWN
)
1760 (_("%s: unknown prefix class for the ISA extension `%s'"),
1765 char *subset
= xstrdup (p
);
1767 const char *end_of_version
;
1769 /* Extract the whole prefixed extension by '_'. */
1770 while (*++q
!= '\0' && *q
!= '_')
1772 /* Look forward to the first letter which is not <major>p<minor>. */
1773 bool find_any_version
= false;
1774 bool find_minor_version
= false;
1779 find_any_version
= true;
1780 else if (find_any_version
1781 && !find_minor_version
1783 && ISDIGIT (*(q
- 1)))
1784 find_minor_version
= true;
1790 /* Check if the end of extension is 'p' or not. If yes, then
1791 the second letter from the end cannot be number. */
1792 if (*(q
- 1) == 'p' && ISDIGIT (*(q
- 2)))
1796 (_("%s: invalid prefixed ISA extension `%s' ends with <number>p"),
1803 riscv_parsing_subset_version (q
, &major_version
, &minor_version
);
1805 if (end_of_version
== NULL
)
1811 /* Check that the extension name is well-formed. */
1812 if (rps
->check_unknown_prefixed_ext
1813 && !riscv_recognized_prefixed_ext (subset
))
1816 (_("%s: unknown prefixed ISA extension `%s'"),
1822 riscv_parse_add_subset (rps
, subset
,
1824 minor_version
, false);
1825 p
+= end_of_version
- subset
;
1828 if (*p
!= '\0' && *p
!= '_')
1831 (_("%s: prefixed ISA extension must separate with _"),
1840 /* Add the implicit extensions. */
1843 riscv_parse_add_implicit_subsets (riscv_parse_subset_t
*rps
)
1845 struct riscv_implicit_subset
*t
= riscv_implicit_subsets
;
1846 for (; t
->subset_name
; t
++)
1848 riscv_subset_t
*subset
= NULL
;
1849 if (riscv_lookup_subset (rps
->subset_list
, t
->subset_name
, &subset
)
1850 && t
->check_func (t
->implicit_name
, subset
))
1851 riscv_parse_add_subset (rps
, t
->implicit_name
,
1852 RISCV_UNKNOWN_VERSION
,
1853 RISCV_UNKNOWN_VERSION
, true);
1857 /* Check extensions conflicts. */
1860 riscv_parse_check_conflicts (riscv_parse_subset_t
*rps
)
1862 riscv_subset_t
*subset
= NULL
;
1863 int xlen
= *rps
->xlen
;
1864 bool no_conflict
= true;
1866 if (riscv_lookup_subset (rps
->subset_list
, "e", &subset
)
1870 (_("rv%d does not support the `e' extension"), xlen
);
1871 no_conflict
= false;
1873 if (riscv_lookup_subset (rps
->subset_list
, "q", &subset
)
1874 && (subset
->major_version
< 2 || (subset
->major_version
== 2
1875 && subset
->minor_version
< 2))
1878 rps
->error_handler (_("rv%d does not support the `q' extension"), xlen
);
1879 no_conflict
= false;
1881 if (riscv_lookup_subset (rps
->subset_list
, "zfinx", &subset
)
1882 && riscv_lookup_subset (rps
->subset_list
, "f", &subset
))
1885 (_("`zfinx' is conflict with the `f/d/q/zfh/zfhmin' extension"));
1886 no_conflict
= false;
1889 bool support_zve
= false;
1890 bool support_zvl
= false;
1891 riscv_subset_t
*s
= rps
->subset_list
->head
;
1892 for (; s
!= NULL
; s
= s
->next
)
1895 && strncmp (s
->name
, "zve", 3) == 0)
1898 && strncmp (s
->name
, "zvl", 3) == 0)
1900 if (support_zve
&& support_zvl
)
1903 if (support_zvl
&& !support_zve
)
1906 (_("zvl*b extensions need to enable either `v' or `zve' extension"));
1907 no_conflict
= false;
1913 /* Set the default subset list according to the default_enable field
1914 of riscv_supported_*ext tables. */
1917 riscv_set_default_arch (riscv_parse_subset_t
*rps
)
1919 unsigned long enable
= EXT_DEFAULT
;
1921 for (i
= 0; riscv_all_supported_ext
[i
] != NULL
; i
++)
1923 const struct riscv_supported_ext
*table
= riscv_all_supported_ext
[i
];
1924 for (j
= 0; table
[j
].name
!= NULL
; j
++)
1926 bool implicit
= false;
1927 if (strcmp (table
[j
].name
, "g") == 0)
1929 if (table
[j
].default_enable
& enable
)
1930 riscv_parse_add_subset (rps
, table
[j
].name
,
1931 RISCV_UNKNOWN_VERSION
,
1932 RISCV_UNKNOWN_VERSION
, implicit
);
1937 /* Function for parsing ISA string.
1940 Return TRUE on success.
1943 `rps`: Hooks and status for parsing extensions.
1944 `arch`: Full ISA string. */
1947 riscv_parse_subset (riscv_parse_subset_t
*rps
,
1952 /* Init the riscv_ext_order array to compare the order of extensions
1954 riscv_init_ext_order ();
1958 riscv_set_default_arch (rps
);
1959 riscv_parse_add_implicit_subsets (rps
);
1960 return riscv_parse_check_conflicts (rps
);
1963 for (p
= arch
; *p
!= '\0'; p
++)
1968 (_("%s: ISA string cannot contain uppercase letters"),
1975 if (startswith (p
, "rv32"))
1980 else if (startswith (p
, "rv64"))
1987 /* ISA string shouldn't be NULL or empty here. For linker,
1988 it might be empty when we failed to merge the ISA string
1989 in the riscv_merge_attributes. For assembler, we might
1990 give an empty string by .attribute arch, "" or -march=.
1991 However, We have already issued the correct error message
1992 in another side, so do not issue this error when the ISA
1995 rps
->error_handler (
1996 _("%s: ISA string must begin with rv32 or rv64"),
2001 /* Parsing standard extension. */
2002 p
= riscv_parse_std_ext (rps
, arch
, p
);
2007 /* Parse prefixed extensions. */
2008 p
= riscv_parse_prefixed_ext (rps
, arch
, p
);
2013 /* Finally add implicit extensions according to the current
2015 riscv_parse_add_implicit_subsets (rps
);
2017 /* Check the conflicts. */
2018 return riscv_parse_check_conflicts (rps
);
2021 /* Return the number of digits for the input. */
2024 riscv_estimate_digit (unsigned num
)
2030 for (digit
= 0; num
; num
/= 10)
2036 /* Auxiliary function to estimate string length of subset list. */
2039 riscv_estimate_arch_strlen1 (const riscv_subset_t
*subset
)
2042 return 6; /* For rv32/rv64/rv128 and string terminator. */
2044 return riscv_estimate_arch_strlen1 (subset
->next
)
2045 + strlen (subset
->name
)
2046 + riscv_estimate_digit (subset
->major_version
)
2047 + 1 /* For version seperator 'p'. */
2048 + riscv_estimate_digit (subset
->minor_version
)
2049 + 1 /* For underscore. */;
2052 /* Estimate the string length of this subset list. */
2055 riscv_estimate_arch_strlen (const riscv_subset_list_t
*subset_list
)
2057 return riscv_estimate_arch_strlen1 (subset_list
->head
);
2060 /* Auxiliary function to convert subset info to string. */
2063 riscv_arch_str1 (riscv_subset_t
*subset
,
2064 char *attr_str
, char *buf
, size_t bufsz
)
2066 const char *underline
= "_";
2067 riscv_subset_t
*subset_t
= subset
;
2069 if (subset_t
== NULL
)
2072 /* No underline between rvXX and i/e. */
2073 if ((strcasecmp (subset_t
->name
, "i") == 0)
2074 || (strcasecmp (subset_t
->name
, "e") == 0))
2077 snprintf (buf
, bufsz
, "%s%s%dp%d",
2080 subset_t
->major_version
,
2081 subset_t
->minor_version
);
2083 strncat (attr_str
, buf
, bufsz
);
2085 /* Skip 'i' extension after 'e', or skip extensions which
2086 versions are unknown. */
2087 while (subset_t
->next
2088 && ((strcmp (subset_t
->name
, "e") == 0
2089 && strcmp (subset_t
->next
->name
, "i") == 0)
2090 || subset_t
->next
->major_version
== RISCV_UNKNOWN_VERSION
2091 || subset_t
->next
->minor_version
== RISCV_UNKNOWN_VERSION
))
2092 subset_t
= subset_t
->next
;
2094 riscv_arch_str1 (subset_t
->next
, attr_str
, buf
, bufsz
);
2097 /* Convert subset information into string with explicit versions. */
2100 riscv_arch_str (unsigned xlen
, const riscv_subset_list_t
*subset
)
2102 size_t arch_str_len
= riscv_estimate_arch_strlen (subset
);
2103 char *attr_str
= xmalloc (arch_str_len
);
2104 char *buf
= xmalloc (arch_str_len
);
2106 snprintf (attr_str
, arch_str_len
, "rv%u", xlen
);
2108 riscv_arch_str1 (subset
->head
, attr_str
, buf
, arch_str_len
);
2114 /* Copy the subset in the subset list. */
2116 static struct riscv_subset_t
*
2117 riscv_copy_subset (riscv_subset_list_t
*subset_list
,
2118 riscv_subset_t
*subset
)
2123 riscv_subset_t
*new = xmalloc (sizeof *new);
2124 new->name
= xstrdup (subset
->name
);
2125 new->major_version
= subset
->major_version
;
2126 new->minor_version
= subset
->minor_version
;
2127 new->next
= riscv_copy_subset (subset_list
, subset
->next
);
2129 if (subset
->next
== NULL
)
2130 subset_list
->tail
= new;
2135 /* Copy the subset list. */
2137 riscv_subset_list_t
*
2138 riscv_copy_subset_list (riscv_subset_list_t
*subset_list
)
2140 riscv_subset_list_t
*new = xmalloc (sizeof *new);
2141 new->head
= riscv_copy_subset (new, subset_list
->head
);
2142 new->arch_str
= strdup (subset_list
->arch_str
);
2146 /* Remove the SUBSET from the subset list. */
2149 riscv_remove_subset (riscv_subset_list_t
*subset_list
,
2152 riscv_subset_t
*current
= subset_list
->head
;
2153 riscv_subset_t
*pre
= NULL
;
2154 for (; current
!= NULL
; pre
= current
, current
= current
->next
)
2156 if (strcmp (current
->name
, subset
) == 0)
2159 subset_list
->head
= current
->next
;
2161 pre
->next
= current
->next
;
2162 if (current
->next
== NULL
)
2163 subset_list
->tail
= pre
;
2164 free ((void *) current
->name
);
2171 /* Add/Remove an extension to/from the subset list. This is used for
2172 the .option rvc or norvc, and .option arch directives. */
2175 riscv_update_subset (riscv_parse_subset_t
*rps
,
2178 const char *p
= str
;
2182 int major_version
= RISCV_UNKNOWN_VERSION
;
2183 int minor_version
= RISCV_UNKNOWN_VERSION
;
2185 bool removed
= false;
2188 case '+': removed
= false; break;
2189 case '-': removed
= true; break;
2191 riscv_release_subset_list (rps
->subset_list
);
2192 return riscv_parse_subset (rps
, p
);
2196 char *subset
= xstrdup (p
);
2198 const char *end_of_version
;
2199 /* Extract the whole prefixed extension by ','. */
2200 while (*q
!= '\0' && *q
!= ',')
2203 /* Look forward to the first letter which is not <major>p<minor>. */
2204 bool find_any_version
= false;
2205 bool find_minor_version
= false;
2206 size_t len
= q
- subset
;
2208 for (i
= len
; i
> 0; i
--)
2212 find_any_version
= true;
2213 else if (find_any_version
2214 && !find_minor_version
2216 && ISDIGIT (*(q
- 1)))
2217 find_minor_version
= true;
2224 /* Check if the end of extension is 'p' or not. If yes, then
2225 the second letter from the end cannot be number. */
2226 if (len
> 1 && *(q
- 1) == 'p' && ISDIGIT (*(q
- 2)))
2230 (_("invalid ISA extension ends with <number>p "
2231 "in .option arch `%s'"), str
);
2237 riscv_parsing_subset_version (q
, &major_version
, &minor_version
);
2239 if (end_of_version
== NULL
)
2245 if (strlen (subset
) == 0
2246 || (strlen (subset
) == 1
2247 && riscv_ext_order
[(*subset
- 'a')] == 0)
2248 || (strlen (subset
) > 1
2249 && rps
->check_unknown_prefixed_ext
2250 && !riscv_recognized_prefixed_ext (subset
)))
2253 (_("unknown ISA extension `%s' in .option arch `%s'"),
2259 if (strcmp (subset
, "i") == 0
2260 || strcmp (subset
, "e") == 0
2261 || strcmp (subset
, "g") == 0)
2264 (_("cannot + or - base extension `%s' in .option "
2265 "arch `%s'"), subset
, str
);
2271 riscv_remove_subset (rps
->subset_list
, subset
);
2273 riscv_parse_add_subset (rps
, subset
, major_version
, minor_version
, true);
2274 p
+= end_of_version
- subset
;
2277 while (*p
++ == ',');
2279 riscv_parse_add_implicit_subsets (rps
);
2280 return riscv_parse_check_conflicts (rps
);
2283 /* Check if the FEATURE subset is supported or not in the subset list.
2284 Return true if it is supported; Otherwise, return false. */
2287 riscv_subset_supports (riscv_parse_subset_t
*rps
,
2288 const char *feature
)
2290 struct riscv_subset_t
*subset
;
2291 return riscv_lookup_subset (rps
->subset_list
, feature
, &subset
);
2294 /* Each instuction is belonged to an instruction class INSN_CLASS_*.
2295 Call riscv_subset_supports to make sure if the instuction is valid. */
2298 riscv_multi_subset_supports (riscv_parse_subset_t
*rps
,
2299 enum riscv_insn_class insn_class
)
2304 return riscv_subset_supports (rps
, "i");
2305 case INSN_CLASS_ZICBOM
:
2306 return riscv_subset_supports (rps
, "zicbom");
2307 case INSN_CLASS_ZICBOP
:
2308 return riscv_subset_supports (rps
, "zicbop");
2309 case INSN_CLASS_ZICBOZ
:
2310 return riscv_subset_supports (rps
, "zicboz");
2311 case INSN_CLASS_ZICSR
:
2312 return riscv_subset_supports (rps
, "zicsr");
2313 case INSN_CLASS_ZIFENCEI
:
2314 return riscv_subset_supports (rps
, "zifencei");
2315 case INSN_CLASS_ZIHINTPAUSE
:
2316 return riscv_subset_supports (rps
, "zihintpause");
2318 return riscv_subset_supports (rps
, "m");
2319 case INSN_CLASS_ZMMUL
:
2320 return riscv_subset_supports (rps
, "zmmul");
2322 return riscv_subset_supports (rps
, "a");
2323 case INSN_CLASS_ZAWRS
:
2324 return riscv_subset_supports (rps
, "zawrs");
2326 return riscv_subset_supports (rps
, "f");
2328 return riscv_subset_supports (rps
, "d");
2330 return riscv_subset_supports (rps
, "q");
2332 return riscv_subset_supports (rps
, "c");
2333 case INSN_CLASS_F_AND_C
:
2334 return (riscv_subset_supports (rps
, "f")
2335 && riscv_subset_supports (rps
, "c"));
2336 case INSN_CLASS_D_AND_C
:
2337 return (riscv_subset_supports (rps
, "d")
2338 && riscv_subset_supports (rps
, "c"));
2339 case INSN_CLASS_F_INX
:
2340 return (riscv_subset_supports (rps
, "f")
2341 || riscv_subset_supports (rps
, "zfinx"));
2342 case INSN_CLASS_D_INX
:
2343 return (riscv_subset_supports (rps
, "d")
2344 || riscv_subset_supports (rps
, "zdinx"));
2345 case INSN_CLASS_Q_INX
:
2346 return (riscv_subset_supports (rps
, "q")
2347 || riscv_subset_supports (rps
, "zqinx"));
2348 case INSN_CLASS_ZFH_INX
:
2349 return (riscv_subset_supports (rps
, "zfh")
2350 || riscv_subset_supports (rps
, "zhinx"));
2351 case INSN_CLASS_ZFHMIN
:
2352 return riscv_subset_supports (rps
, "zfhmin");
2353 case INSN_CLASS_ZFHMIN_INX
:
2354 return (riscv_subset_supports (rps
, "zfhmin")
2355 || riscv_subset_supports (rps
, "zhinxmin"));
2356 case INSN_CLASS_ZFHMIN_AND_D_INX
:
2357 return ((riscv_subset_supports (rps
, "zfhmin")
2358 && riscv_subset_supports (rps
, "d"))
2359 || (riscv_subset_supports (rps
, "zhinxmin")
2360 && riscv_subset_supports (rps
, "zdinx")));
2361 case INSN_CLASS_ZFHMIN_AND_Q_INX
:
2362 return ((riscv_subset_supports (rps
, "zfhmin")
2363 && riscv_subset_supports (rps
, "q"))
2364 || (riscv_subset_supports (rps
, "zhinxmin")
2365 && riscv_subset_supports (rps
, "zqinx")));
2366 case INSN_CLASS_ZBA
:
2367 return riscv_subset_supports (rps
, "zba");
2368 case INSN_CLASS_ZBB
:
2369 return riscv_subset_supports (rps
, "zbb");
2370 case INSN_CLASS_ZBC
:
2371 return riscv_subset_supports (rps
, "zbc");
2372 case INSN_CLASS_ZBS
:
2373 return riscv_subset_supports (rps
, "zbs");
2374 case INSN_CLASS_ZBKB
:
2375 return riscv_subset_supports (rps
, "zbkb");
2376 case INSN_CLASS_ZBKC
:
2377 return riscv_subset_supports (rps
, "zbkc");
2378 case INSN_CLASS_ZBKX
:
2379 return riscv_subset_supports (rps
, "zbkx");
2380 case INSN_CLASS_ZBB_OR_ZBKB
:
2381 return (riscv_subset_supports (rps
, "zbb")
2382 || riscv_subset_supports (rps
, "zbkb"));
2383 case INSN_CLASS_ZBC_OR_ZBKC
:
2384 return (riscv_subset_supports (rps
, "zbc")
2385 || riscv_subset_supports (rps
, "zbkc"));
2386 case INSN_CLASS_ZKND
:
2387 return riscv_subset_supports (rps
, "zknd");
2388 case INSN_CLASS_ZKNE
:
2389 return riscv_subset_supports (rps
, "zkne");
2390 case INSN_CLASS_ZKNH
:
2391 return riscv_subset_supports (rps
, "zknh");
2392 case INSN_CLASS_ZKND_OR_ZKNE
:
2393 return (riscv_subset_supports (rps
, "zknd")
2394 || riscv_subset_supports (rps
, "zkne"));
2395 case INSN_CLASS_ZKSED
:
2396 return riscv_subset_supports (rps
, "zksed");
2397 case INSN_CLASS_ZKSH
:
2398 return riscv_subset_supports (rps
, "zksh");
2400 return (riscv_subset_supports (rps
, "v")
2401 || riscv_subset_supports (rps
, "zve64x")
2402 || riscv_subset_supports (rps
, "zve32x"));
2403 case INSN_CLASS_ZVEF
:
2404 return (riscv_subset_supports (rps
, "v")
2405 || riscv_subset_supports (rps
, "zve64d")
2406 || riscv_subset_supports (rps
, "zve64f")
2407 || riscv_subset_supports (rps
, "zve32f"));
2408 case INSN_CLASS_SVINVAL
:
2409 return riscv_subset_supports (rps
, "svinval");
2411 return riscv_subset_supports (rps
, "h");
2412 case INSN_CLASS_XTHEADBA
:
2413 return riscv_subset_supports (rps
, "xtheadba");
2414 case INSN_CLASS_XTHEADBB
:
2415 return riscv_subset_supports (rps
, "xtheadbb");
2416 case INSN_CLASS_XTHEADBS
:
2417 return riscv_subset_supports (rps
, "xtheadbs");
2418 case INSN_CLASS_XTHEADCMO
:
2419 return riscv_subset_supports (rps
, "xtheadcmo");
2420 case INSN_CLASS_XTHEADCONDMOV
:
2421 return riscv_subset_supports (rps
, "xtheadcondmov");
2422 case INSN_CLASS_XTHEADFMEMIDX
:
2423 return riscv_subset_supports (rps
, "xtheadfmemidx");
2424 case INSN_CLASS_XTHEADFMV
:
2425 return riscv_subset_supports (rps
, "xtheadfmv");
2426 case INSN_CLASS_XTHEADINT
:
2427 return riscv_subset_supports (rps
, "xtheadint");
2428 case INSN_CLASS_XTHEADMAC
:
2429 return riscv_subset_supports (rps
, "xtheadmac");
2430 case INSN_CLASS_XTHEADMEMIDX
:
2431 return riscv_subset_supports (rps
, "xtheadmemidx");
2432 case INSN_CLASS_XTHEADMEMPAIR
:
2433 return riscv_subset_supports (rps
, "xtheadmempair");
2434 case INSN_CLASS_XTHEADSYNC
:
2435 return riscv_subset_supports (rps
, "xtheadsync");
2438 (_("internal: unreachable INSN_CLASS_*"));
2443 /* Each instuction is belonged to an instruction class INSN_CLASS_*.
2444 Call riscv_subset_supports_ext to determine the missing extension. */
2447 riscv_multi_subset_supports_ext (riscv_parse_subset_t
*rps
,
2448 enum riscv_insn_class insn_class
)
2454 case INSN_CLASS_ZICBOM
:
2456 case INSN_CLASS_ZICBOP
:
2458 case INSN_CLASS_ZICBOZ
:
2460 case INSN_CLASS_ZICSR
:
2462 case INSN_CLASS_ZIFENCEI
:
2464 case INSN_CLASS_ZIHINTPAUSE
:
2465 return "zihintpause";
2468 case INSN_CLASS_ZMMUL
:
2469 return _ ("m' or `zmmul");
2472 case INSN_CLASS_ZAWRS
:
2482 case INSN_CLASS_F_AND_C
:
2483 if (!riscv_subset_supports (rps
, "f")
2484 && !riscv_subset_supports (rps
, "c"))
2485 return _("f' and `c");
2486 else if (!riscv_subset_supports (rps
, "f"))
2490 case INSN_CLASS_D_AND_C
:
2491 if (!riscv_subset_supports (rps
, "d")
2492 && !riscv_subset_supports (rps
, "c"))
2493 return _("d' and `c");
2494 else if (!riscv_subset_supports (rps
, "d"))
2498 case INSN_CLASS_F_INX
:
2499 return _("f' or `zfinx");
2500 case INSN_CLASS_D_INX
:
2501 return _("d' or `zdinx");
2502 case INSN_CLASS_Q_INX
:
2503 return _("q' or `zqinx");
2504 case INSN_CLASS_ZFH_INX
:
2505 return _("zfh' or `zhinx");
2506 case INSN_CLASS_ZFHMIN
:
2508 case INSN_CLASS_ZFHMIN_INX
:
2509 return _("zfhmin' or `zhinxmin");
2510 case INSN_CLASS_ZFHMIN_AND_D_INX
:
2511 if (riscv_subset_supports (rps
, "zfhmin"))
2513 else if (riscv_subset_supports (rps
, "d"))
2515 else if (riscv_subset_supports (rps
, "zhinxmin"))
2517 else if (riscv_subset_supports (rps
, "zdinx"))
2520 return _("zfhmin' and `d', or `zhinxmin' and `zdinx");
2521 case INSN_CLASS_ZFHMIN_AND_Q_INX
:
2522 if (riscv_subset_supports (rps
, "zfhmin"))
2524 else if (riscv_subset_supports (rps
, "q"))
2526 else if (riscv_subset_supports (rps
, "zhinxmin"))
2528 else if (riscv_subset_supports (rps
, "zqinx"))
2531 return _("zfhmin' and `q', or `zhinxmin' and `zqinx");
2532 case INSN_CLASS_ZBA
:
2534 case INSN_CLASS_ZBB
:
2536 case INSN_CLASS_ZBC
:
2538 case INSN_CLASS_ZBS
:
2540 case INSN_CLASS_ZBKB
:
2542 case INSN_CLASS_ZBKC
:
2544 case INSN_CLASS_ZBKX
:
2546 case INSN_CLASS_ZBB_OR_ZBKB
:
2547 return _("zbb' or `zbkb");
2548 case INSN_CLASS_ZBC_OR_ZBKC
:
2549 return _("zbc' or `zbkc");
2550 case INSN_CLASS_ZKND
:
2552 case INSN_CLASS_ZKNE
:
2554 case INSN_CLASS_ZKNH
:
2556 case INSN_CLASS_ZKND_OR_ZKNE
:
2557 return _("zknd' or `zkne");
2558 case INSN_CLASS_ZKSED
:
2560 case INSN_CLASS_ZKSH
:
2563 return _("v' or `zve64x' or `zve32x");
2564 case INSN_CLASS_ZVEF
:
2565 return _("v' or `zve64d' or `zve64f' or `zve32f");
2566 case INSN_CLASS_SVINVAL
:
2570 case INSN_CLASS_XTHEADBA
:
2572 case INSN_CLASS_XTHEADBB
:
2574 case INSN_CLASS_XTHEADBS
:
2576 case INSN_CLASS_XTHEADCMO
:
2578 case INSN_CLASS_XTHEADCONDMOV
:
2579 return "xtheadcondmov";
2580 case INSN_CLASS_XTHEADFMEMIDX
:
2581 return "xtheadfmemidx";
2582 case INSN_CLASS_XTHEADFMV
:
2584 case INSN_CLASS_XTHEADINT
:
2586 case INSN_CLASS_XTHEADMAC
:
2588 case INSN_CLASS_XTHEADMEMIDX
:
2589 return "xtheadmemidx";
2590 case INSN_CLASS_XTHEADMEMPAIR
:
2591 return "xtheadmempair";
2592 case INSN_CLASS_XTHEADSYNC
:
2593 return "xtheadsync";
2596 (_("internal: unreachable INSN_CLASS_*"));