2 Copyright (C) 2011-2021 Free Software Foundation, Inc.
4 Contributed by Andrew Waterman (andrew@sifive.com).
7 This file is part of the GNU opcodes library.
9 This library 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, or (at your option)
14 It is distributed in the hope that it will be useful, but WITHOUT
15 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
16 or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public
17 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/>. */
24 #include "disassemble.h"
25 #include "libiberty.h"
26 #include "opcode/riscv.h"
29 #include "elf/riscv.h"
30 #include "elfxx-riscv.h"
32 #include "bfd_stdint.h"
35 static enum riscv_priv_spec_class default_priv_spec
= PRIV_SPEC_CLASS_NONE
;
37 struct riscv_private_data
41 bfd_vma hi_addr
[OP_MASK_RD
+ 1];
44 static const char * const *riscv_gpr_names
;
45 static const char * const *riscv_fpr_names
;
48 static int no_aliases
; /* If set disassemble as most general inst. */
51 set_default_riscv_dis_options (void)
53 riscv_gpr_names
= riscv_gpr_names_abi
;
54 riscv_fpr_names
= riscv_fpr_names_abi
;
59 parse_riscv_dis_option_without_args (const char *option
)
61 if (strcmp (option
, "no-aliases") == 0)
63 else if (strcmp (option
, "numeric") == 0)
65 riscv_gpr_names
= riscv_gpr_names_numeric
;
66 riscv_fpr_names
= riscv_fpr_names_numeric
;
74 parse_riscv_dis_option (const char *option
)
78 if (parse_riscv_dis_option_without_args (option
))
81 equal
= strchr (option
, '=');
84 /* The option without '=' should be defined above. */
85 opcodes_error_handler (_("unrecognized disassembler option: %s"), option
);
89 || *(equal
+ 1) == '\0')
91 /* Invalid options with '=', no option name before '=',
92 and no value after '='. */
93 opcodes_error_handler (_("unrecognized disassembler option with '=': %s"),
100 if (strcmp (option
, "priv-spec") == 0)
102 enum riscv_priv_spec_class priv_spec
= PRIV_SPEC_CLASS_NONE
;
103 if (!riscv_get_priv_spec_class (value
, &priv_spec
))
104 opcodes_error_handler (_("unknown privilege spec set by %s=%s"),
106 else if (default_priv_spec
== PRIV_SPEC_CLASS_NONE
)
107 default_priv_spec
= priv_spec
;
108 else if (default_priv_spec
!= priv_spec
)
109 opcodes_error_handler (_("mis-matched privilege spec set by %s=%s, "
110 "the elf privilege attribute is %s"),
112 riscv_get_priv_spec_name (default_priv_spec
));
116 /* xgettext:c-format */
117 opcodes_error_handler (_("unrecognized disassembler option: %s"), option
);
122 parse_riscv_dis_options (const char *opts_in
)
124 char *opts
= xstrdup (opts_in
), *opt
= opts
, *opt_end
= opts
;
126 set_default_riscv_dis_options ();
128 for ( ; opt_end
!= NULL
; opt
= opt_end
+ 1)
130 if ((opt_end
= strchr (opt
, ',')) != NULL
)
132 parse_riscv_dis_option (opt
);
138 /* Print one argument from an array. */
141 arg_print (struct disassemble_info
*info
, unsigned long val
,
142 const char* const* array
, size_t size
)
144 const char *s
= val
>= size
|| array
[val
] == NULL
? "unknown" : array
[val
];
145 (*info
->fprintf_func
) (info
->stream
, "%s", s
);
149 maybe_print_address (struct riscv_private_data
*pd
, int base_reg
, int offset
)
151 if (pd
->hi_addr
[base_reg
] != (bfd_vma
)-1)
153 pd
->print_addr
= (base_reg
!= 0 ? pd
->hi_addr
[base_reg
] : 0) + offset
;
154 pd
->hi_addr
[base_reg
] = -1;
156 else if (base_reg
== X_GP
&& pd
->gp
!= (bfd_vma
)-1)
157 pd
->print_addr
= pd
->gp
+ offset
;
158 else if (base_reg
== X_TP
|| base_reg
== 0)
159 pd
->print_addr
= offset
;
162 /* Print insn arguments for 32/64-bit code. */
165 print_insn_args (const char *d
, insn_t l
, bfd_vma pc
, disassemble_info
*info
)
167 struct riscv_private_data
*pd
= info
->private_data
;
168 int rs1
= (l
>> OP_SH_RS1
) & OP_MASK_RS1
;
169 int rd
= (l
>> OP_SH_RD
) & OP_MASK_RD
;
170 fprintf_ftype print
= info
->fprintf_func
;
173 print (info
->stream
, "\t");
175 for (; *d
!= '\0'; d
++)
182 case 's': /* RS1 x8-x15 */
183 case 'w': /* RS1 x8-x15 */
184 print (info
->stream
, "%s",
185 riscv_gpr_names
[EXTRACT_OPERAND (CRS1S
, l
) + 8]);
187 case 't': /* RS2 x8-x15 */
188 case 'x': /* RS2 x8-x15 */
189 print (info
->stream
, "%s",
190 riscv_gpr_names
[EXTRACT_OPERAND (CRS2S
, l
) + 8]);
192 case 'U': /* RS1, constrained to equal RD */
193 print (info
->stream
, "%s", riscv_gpr_names
[rd
]);
195 case 'c': /* RS1, constrained to equal sp */
196 print (info
->stream
, "%s", riscv_gpr_names
[X_SP
]);
199 print (info
->stream
, "%s",
200 riscv_gpr_names
[EXTRACT_OPERAND (CRS2
, l
)]);
203 print (info
->stream
, "%d", (int)EXTRACT_RVC_SIMM3 (l
));
207 print (info
->stream
, "%d", (int)EXTRACT_RVC_IMM (l
));
210 print (info
->stream
, "%d", (int)EXTRACT_RVC_LW_IMM (l
));
213 print (info
->stream
, "%d", (int)EXTRACT_RVC_LD_IMM (l
));
216 print (info
->stream
, "%d", (int)EXTRACT_RVC_LWSP_IMM (l
));
219 print (info
->stream
, "%d", (int)EXTRACT_RVC_LDSP_IMM (l
));
222 print (info
->stream
, "%d", (int)EXTRACT_RVC_ADDI4SPN_IMM (l
));
225 print (info
->stream
, "%d", (int)EXTRACT_RVC_ADDI16SP_IMM (l
));
228 print (info
->stream
, "%d", (int)EXTRACT_RVC_SWSP_IMM (l
));
231 print (info
->stream
, "%d", (int)EXTRACT_RVC_SDSP_IMM (l
));
234 info
->target
= EXTRACT_RVC_B_IMM (l
) + pc
;
235 (*info
->print_address_func
) (info
->target
, info
);
238 info
->target
= EXTRACT_RVC_J_IMM (l
) + pc
;
239 (*info
->print_address_func
) (info
->target
, info
);
242 print (info
->stream
, "0x%x",
243 (int)(EXTRACT_RVC_IMM (l
) & (RISCV_BIGIMM_REACH
-1)));
246 print (info
->stream
, "0x%x", (int)EXTRACT_RVC_IMM (l
) & 0x3f);
249 print (info
->stream
, "0x%x", (int)EXTRACT_RVC_IMM (l
) & 0x1f);
251 case 'T': /* floating-point RS2 */
252 print (info
->stream
, "%s",
253 riscv_fpr_names
[EXTRACT_OPERAND (CRS2
, l
)]);
255 case 'D': /* floating-point RS2 x8-x15 */
256 print (info
->stream
, "%s",
257 riscv_fpr_names
[EXTRACT_OPERAND (CRS2S
, l
) + 8]);
267 print (info
->stream
, "%c", *d
);
271 /* Only print constant 0 if it is the last argument */
273 print (info
->stream
, "0");
278 if ((l
& MASK_JALR
) == MATCH_JALR
)
279 maybe_print_address (pd
, rs1
, 0);
280 print (info
->stream
, "%s", riscv_gpr_names
[rs1
]);
284 print (info
->stream
, "%s",
285 riscv_gpr_names
[EXTRACT_OPERAND (RS2
, l
)]);
289 print (info
->stream
, "0x%x",
290 (unsigned)EXTRACT_UTYPE_IMM (l
) >> RISCV_IMM_BITS
);
294 arg_print (info
, EXTRACT_OPERAND (RM
, l
),
295 riscv_rm
, ARRAY_SIZE (riscv_rm
));
299 arg_print (info
, EXTRACT_OPERAND (PRED
, l
),
300 riscv_pred_succ
, ARRAY_SIZE (riscv_pred_succ
));
304 arg_print (info
, EXTRACT_OPERAND (SUCC
, l
),
305 riscv_pred_succ
, ARRAY_SIZE (riscv_pred_succ
));
309 maybe_print_address (pd
, rs1
, EXTRACT_ITYPE_IMM (l
));
312 if (((l
& MASK_ADDI
) == MATCH_ADDI
&& rs1
!= 0)
313 || (l
& MASK_JALR
) == MATCH_JALR
)
314 maybe_print_address (pd
, rs1
, EXTRACT_ITYPE_IMM (l
));
315 print (info
->stream
, "%d", (int)EXTRACT_ITYPE_IMM (l
));
319 maybe_print_address (pd
, rs1
, EXTRACT_STYPE_IMM (l
));
320 print (info
->stream
, "%d", (int)EXTRACT_STYPE_IMM (l
));
324 info
->target
= EXTRACT_UJTYPE_IMM (l
) + pc
;
325 (*info
->print_address_func
) (info
->target
, info
);
329 info
->target
= EXTRACT_SBTYPE_IMM (l
) + pc
;
330 (*info
->print_address_func
) (info
->target
, info
);
334 if ((l
& MASK_AUIPC
) == MATCH_AUIPC
)
335 pd
->hi_addr
[rd
] = pc
+ EXTRACT_UTYPE_IMM (l
);
336 else if ((l
& MASK_LUI
) == MATCH_LUI
)
337 pd
->hi_addr
[rd
] = EXTRACT_UTYPE_IMM (l
);
338 else if ((l
& MASK_C_LUI
) == MATCH_C_LUI
)
339 pd
->hi_addr
[rd
] = EXTRACT_RVC_LUI_IMM (l
);
340 print (info
->stream
, "%s", riscv_gpr_names
[rd
]);
344 print (info
->stream
, "%s", riscv_gpr_names
[0]);
348 print (info
->stream
, "0x%x", (int)EXTRACT_OPERAND (SHAMT
, l
));
352 print (info
->stream
, "0x%x", (int)EXTRACT_OPERAND (SHAMTW
, l
));
357 print (info
->stream
, "%s", riscv_fpr_names
[rs1
]);
361 print (info
->stream
, "%s", riscv_fpr_names
[EXTRACT_OPERAND (RS2
, l
)]);
365 print (info
->stream
, "%s", riscv_fpr_names
[rd
]);
369 print (info
->stream
, "%s", riscv_fpr_names
[EXTRACT_OPERAND (RS3
, l
)]);
374 static const char *riscv_csr_hash
[4096]; /* Total 2^12 CSR. */
375 static bfd_boolean init_csr
= FALSE
;
376 unsigned int csr
= EXTRACT_OPERAND (CSR
, l
);
381 for (i
= 0; i
< 4096; i
++)
382 riscv_csr_hash
[i
] = NULL
;
384 /* Set to the newest privilege version. */
385 if (default_priv_spec
== PRIV_SPEC_CLASS_NONE
)
386 default_priv_spec
= PRIV_SPEC_CLASS_DRAFT
- 1;
388 #define DECLARE_CSR(name, num, class, define_version, abort_version) \
389 if (riscv_csr_hash[num] == NULL \
390 && ((define_version == PRIV_SPEC_CLASS_NONE \
391 && abort_version == PRIV_SPEC_CLASS_NONE) \
392 || (default_priv_spec >= define_version \
393 && default_priv_spec < abort_version))) \
394 riscv_csr_hash[num] = #name;
395 #define DECLARE_CSR_ALIAS(name, num, class, define_version, abort_version) \
396 DECLARE_CSR (name, num, class, define_version, abort_version)
397 #include "opcode/riscv-opc.h"
401 if (riscv_csr_hash
[csr
] != NULL
)
402 print (info
->stream
, "%s", riscv_csr_hash
[csr
]);
404 print (info
->stream
, "0x%x", csr
);
409 print (info
->stream
, "%d", rs1
);
413 /* xgettext:c-format */
414 print (info
->stream
, _("# internal error, undefined modifier (%c)"),
421 /* Print the RISC-V instruction at address MEMADDR in debugged memory,
422 on using INFO. Returns length of the instruction, in bytes.
423 BIGENDIAN must be 1 if this is big-endian code, 0 if
424 this is little-endian code. */
427 riscv_disassemble_insn (bfd_vma memaddr
, insn_t word
, disassemble_info
*info
)
429 const struct riscv_opcode
*op
;
430 static bfd_boolean init
= 0;
431 static const struct riscv_opcode
*riscv_hash
[OP_MASK_OP
+ 1];
432 struct riscv_private_data
*pd
;
435 #define OP_HASH_IDX(i) ((i) & (riscv_insn_length (i) == 2 ? 0x3 : OP_MASK_OP))
437 /* Build a hash table to shorten the search time. */
440 for (op
= riscv_opcodes
; op
->name
; op
++)
441 if (!riscv_hash
[OP_HASH_IDX (op
->match
)])
442 riscv_hash
[OP_HASH_IDX (op
->match
)] = op
;
447 if (info
->private_data
== NULL
)
451 pd
= info
->private_data
= xcalloc (1, sizeof (struct riscv_private_data
));
454 for (i
= 0; i
< (int)ARRAY_SIZE (pd
->hi_addr
); i
++)
457 for (i
= 0; i
< info
->symtab_size
; i
++)
458 if (strcmp (bfd_asymbol_name (info
->symtab
[i
]), RISCV_GP_SYMBOL
) == 0)
459 pd
->gp
= bfd_asymbol_value (info
->symtab
[i
]);
462 pd
= info
->private_data
;
464 insnlen
= riscv_insn_length (word
);
466 /* RISC-V instructions are always little-endian. */
467 info
->endian_code
= BFD_ENDIAN_LITTLE
;
469 info
->bytes_per_chunk
= insnlen
% 4 == 0 ? 4 : 2;
470 info
->bytes_per_line
= 8;
471 /* We don't support constant pools, so this must be code. */
472 info
->display_endian
= info
->endian_code
;
473 info
->insn_info_valid
= 1;
474 info
->branch_delay_insns
= 0;
476 info
->insn_type
= dis_nonbranch
;
480 op
= riscv_hash
[OP_HASH_IDX (word
)];
485 /* If XLEN is not known, get its value from the ELF class. */
486 if (info
->mach
== bfd_mach_riscv64
)
488 else if (info
->mach
== bfd_mach_riscv32
)
490 else if (info
->section
!= NULL
)
492 Elf_Internal_Ehdr
*ehdr
= elf_elfheader (info
->section
->owner
);
493 xlen
= ehdr
->e_ident
[EI_CLASS
] == ELFCLASS64
? 64 : 32;
496 for (; op
->name
; op
++)
498 /* Does the opcode match? */
499 if (! (op
->match_func
) (op
, word
))
501 /* Is this a pseudo-instruction and may we print it as such? */
502 if (no_aliases
&& (op
->pinfo
& INSN_ALIAS
))
504 /* Is this instruction restricted to a certain value of XLEN? */
505 if ((op
->xlen_requirement
!= 0) && (op
->xlen_requirement
!= xlen
))
509 (*info
->fprintf_func
) (info
->stream
, "%s", op
->name
);
510 print_insn_args (op
->args
, word
, memaddr
, info
);
512 /* Try to disassemble multi-instruction addressing sequences. */
513 if (pd
->print_addr
!= (bfd_vma
)-1)
515 info
->target
= pd
->print_addr
;
516 (*info
->fprintf_func
) (info
->stream
, " # ");
517 (*info
->print_address_func
) (info
->target
, info
);
521 /* Finish filling out insn_info fields. */
522 switch (op
->pinfo
& INSN_TYPE
)
525 info
->insn_type
= dis_branch
;
527 case INSN_CONDBRANCH
:
528 info
->insn_type
= dis_condbranch
;
531 info
->insn_type
= dis_jsr
;
534 info
->insn_type
= dis_dref
;
540 if (op
->pinfo
& INSN_DATA_SIZE
)
542 int size
= ((op
->pinfo
& INSN_DATA_SIZE
)
543 >> INSN_DATA_SIZE_SHIFT
);
544 info
->data_size
= 1 << (size
- 1);
551 /* We did not find a match, so just print the instruction bits. */
552 info
->insn_type
= dis_noninsn
;
553 (*info
->fprintf_func
) (info
->stream
, "0x%llx", (unsigned long long)word
);
558 print_insn_riscv (bfd_vma memaddr
, struct disassemble_info
*info
)
565 if (info
->disassembler_options
!= NULL
)
567 parse_riscv_dis_options (info
->disassembler_options
);
568 /* Avoid repeatedly parsing the options. */
569 info
->disassembler_options
= NULL
;
571 else if (riscv_gpr_names
== NULL
)
572 set_default_riscv_dis_options ();
574 /* Instructions are a sequence of 2-byte packets in little-endian order. */
575 for (n
= 0; n
< sizeof (insn
) && n
< riscv_insn_length (insn
); n
+= 2)
577 status
= (*info
->read_memory_func
) (memaddr
+ n
, packet
, 2, info
);
580 /* Don't fail just because we fell off the end. */
583 (*info
->memory_error_func
) (status
, memaddr
, info
);
587 insn
|= ((insn_t
) bfd_getl16 (packet
)) << (8 * n
);
590 return riscv_disassemble_insn (memaddr
, insn
, info
);
594 riscv_get_disassembler (bfd
*abfd
)
596 /* If -Mpriv-spec= isn't set, then try to set it by checking the elf
597 privileged attributes. */
600 const char *sec_name
= get_elf_backend_data (abfd
)->obj_attrs_section
;
601 if (bfd_get_section_by_name (abfd
, sec_name
) != NULL
)
603 obj_attribute
*attr
= elf_known_obj_attributes_proc (abfd
);
604 unsigned int Tag_a
= Tag_RISCV_priv_spec
;
605 unsigned int Tag_b
= Tag_RISCV_priv_spec_minor
;
606 unsigned int Tag_c
= Tag_RISCV_priv_spec_revision
;
607 riscv_get_priv_spec_class_from_numbers (attr
[Tag_a
].i
,
613 return print_insn_riscv
;
616 /* Prevent use of the fake labels that are generated as part of the DWARF
617 and for relaxable relocations in the assembler. */
620 riscv_symbol_is_valid (asymbol
* sym
,
621 struct disassemble_info
* info ATTRIBUTE_UNUSED
)
628 name
= bfd_asymbol_name (sym
);
630 return (strcmp (name
, RISCV_FAKE_LABEL_NAME
) != 0);
634 print_riscv_disassembler_options (FILE *stream
)
636 fprintf (stream
, _("\n\
637 The following RISC-V-specific disassembler options are supported for use\n\
638 with the -M switch (multiple options should be separated by commas):\n"));
640 fprintf (stream
, _("\n\
641 numeric Print numeric register names, rather than ABI names.\n"));
643 fprintf (stream
, _("\n\
644 no-aliases Disassemble only into canonical instructions, rather\n\
645 than into pseudoinstructions.\n"));
647 fprintf (stream
, _("\n\
648 priv-spec=PRIV Print the CSR according to the chosen privilege spec\n\
649 (1.9, 1.9.1, 1.10, 1.11).\n"));
651 fprintf (stream
, _("\n"));