Fix error message in compile-object-load.c
[deliverable/binutils-gdb.git] / gdb / riscv-tdep.c
CommitLineData
dbbb1059
AB
1/* Target-dependent code for the RISC-V architecture, for GDB.
2
b811d2c2 3 Copyright (C) 2018-2020 Free Software Foundation, Inc.
dbbb1059 4
dbbb1059
AB
5 This file is part of GDB.
6
7 This program is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 3 of the License, or
10 (at your option) any later version.
11
12 This program is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
16
17 You should have received a copy of the GNU General Public License
18 along with this program. If not, see <http://www.gnu.org/licenses/>. */
19
20#include "defs.h"
21#include "frame.h"
22#include "inferior.h"
23#include "symtab.h"
24#include "value.h"
25#include "gdbcmd.h"
26#include "language.h"
27#include "gdbcore.h"
28#include "symfile.h"
29#include "objfiles.h"
30#include "gdbtypes.h"
31#include "target.h"
32#include "arch-utils.h"
33#include "regcache.h"
34#include "osabi.h"
35#include "riscv-tdep.h"
36#include "block.h"
37#include "reggroups.h"
38#include "opcode/riscv.h"
39#include "elf/riscv.h"
40#include "elf-bfd.h"
41#include "symcat.h"
42#include "dis-asm.h"
43#include "frame-unwind.h"
44#include "frame-base.h"
45#include "trad-frame.h"
46#include "infcall.h"
47#include "floatformat.h"
48#include "remote.h"
49#include "target-descriptions.h"
82ca8957 50#include "dwarf2/frame.h"
dbbb1059
AB
51#include "user-regs.h"
52#include "valprint.h"
268a13a5 53#include "gdbsupport/common-defs.h"
dbbb1059
AB
54#include "opcode/riscv-opc.h"
55#include "cli/cli-decode.h"
76727919 56#include "observable.h"
78a3b0fa 57#include "prologue-value.h"
b5ffee31 58#include "arch/riscv.h"
db3ad2f0 59#include "riscv-ravenscar-thread.h"
dbbb1059
AB
60
61/* The stack must be 16-byte aligned. */
62#define SP_ALIGNMENT 16
63
ef2de9e7
JW
64/* The biggest alignment that the target supports. */
65#define BIGGEST_ALIGNMENT 16
66
dbbb1059
AB
67/* Define a series of is_XXX_insn functions to check if the value INSN
68 is an instance of instruction XXX. */
69#define DECLARE_INSN(INSN_NAME, INSN_MATCH, INSN_MASK) \
70static inline bool is_ ## INSN_NAME ## _insn (long insn) \
71{ \
72 return (insn & INSN_MASK) == INSN_MATCH; \
73}
74#include "opcode/riscv-opc.h"
75#undef DECLARE_INSN
76
78a3b0fa
AB
77/* Cached information about a frame. */
78
79struct riscv_unwind_cache
80{
81 /* The register from which we can calculate the frame base. This is
82 usually $sp or $fp. */
83 int frame_base_reg;
84
85 /* The offset from the current value in register FRAME_BASE_REG to the
86 actual frame base address. */
87 int frame_base_offset;
88
89 /* Information about previous register values. */
90 struct trad_frame_saved_reg *regs;
91
92 /* The id for this frame. */
93 struct frame_id this_id;
94
95 /* The base (stack) address for this frame. This is the stack pointer
96 value on entry to this frame before any adjustments are made. */
97 CORE_ADDR frame_base;
98};
99
b5ffee31 100/* RISC-V specific register group for CSRs. */
dbbb1059 101
b5ffee31 102static reggroup *csr_reggroup = NULL;
dbbb1059 103
b5ffee31
AB
104/* A set of registers that we expect to find in a tdesc_feature. These
105 are use in RISCV_GDBARCH_INIT when processing the target description. */
dbbb1059 106
b5ffee31 107struct riscv_register_feature
dbbb1059 108{
b5ffee31
AB
109 /* Information for a single register. */
110 struct register_info
111 {
112 /* The GDB register number for this register. */
113 int regnum;
114
115 /* List of names for this register. The first name in this list is the
116 preferred name, the name GDB should use when describing this
117 register. */
118 std::vector <const char *> names;
119
120 /* When true this register is required in this feature set. */
121 bool required_p;
122 };
123
124 /* The name for this feature. This is the name used to find this feature
125 within the target description. */
dbbb1059
AB
126 const char *name;
127
b5ffee31
AB
128 /* List of all the registers that we expect that we might find in this
129 register set. */
130 std::vector <struct register_info> registers;
131};
132
133/* The general x-registers feature set. */
134
135static const struct riscv_register_feature riscv_xreg_feature =
136{
137 "org.gnu.gdb.riscv.cpu",
138 {
139 { RISCV_ZERO_REGNUM + 0, { "zero", "x0" }, true },
140 { RISCV_ZERO_REGNUM + 1, { "ra", "x1" }, true },
141 { RISCV_ZERO_REGNUM + 2, { "sp", "x2" }, true },
142 { RISCV_ZERO_REGNUM + 3, { "gp", "x3" }, true },
143 { RISCV_ZERO_REGNUM + 4, { "tp", "x4" }, true },
144 { RISCV_ZERO_REGNUM + 5, { "t0", "x5" }, true },
145 { RISCV_ZERO_REGNUM + 6, { "t1", "x6" }, true },
146 { RISCV_ZERO_REGNUM + 7, { "t2", "x7" }, true },
147 { RISCV_ZERO_REGNUM + 8, { "fp", "x8", "s0" }, true },
148 { RISCV_ZERO_REGNUM + 9, { "s1", "x9" }, true },
149 { RISCV_ZERO_REGNUM + 10, { "a0", "x10" }, true },
150 { RISCV_ZERO_REGNUM + 11, { "a1", "x11" }, true },
151 { RISCV_ZERO_REGNUM + 12, { "a2", "x12" }, true },
152 { RISCV_ZERO_REGNUM + 13, { "a3", "x13" }, true },
153 { RISCV_ZERO_REGNUM + 14, { "a4", "x14" }, true },
154 { RISCV_ZERO_REGNUM + 15, { "a5", "x15" }, true },
155 { RISCV_ZERO_REGNUM + 16, { "a6", "x16" }, true },
156 { RISCV_ZERO_REGNUM + 17, { "a7", "x17" }, true },
157 { RISCV_ZERO_REGNUM + 18, { "s2", "x18" }, true },
158 { RISCV_ZERO_REGNUM + 19, { "s3", "x19" }, true },
159 { RISCV_ZERO_REGNUM + 20, { "s4", "x20" }, true },
160 { RISCV_ZERO_REGNUM + 21, { "s5", "x21" }, true },
161 { RISCV_ZERO_REGNUM + 22, { "s6", "x22" }, true },
162 { RISCV_ZERO_REGNUM + 23, { "s7", "x23" }, true },
163 { RISCV_ZERO_REGNUM + 24, { "s8", "x24" }, true },
164 { RISCV_ZERO_REGNUM + 25, { "s9", "x25" }, true },
165 { RISCV_ZERO_REGNUM + 26, { "s10", "x26" }, true },
166 { RISCV_ZERO_REGNUM + 27, { "s11", "x27" }, true },
167 { RISCV_ZERO_REGNUM + 28, { "t3", "x28" }, true },
168 { RISCV_ZERO_REGNUM + 29, { "t4", "x29" }, true },
169 { RISCV_ZERO_REGNUM + 30, { "t5", "x30" }, true },
170 { RISCV_ZERO_REGNUM + 31, { "t6", "x31" }, true },
171 { RISCV_ZERO_REGNUM + 32, { "pc" }, true }
172 }
173};
174
175/* The f-registers feature set. */
176
177static const struct riscv_register_feature riscv_freg_feature =
178{
179 "org.gnu.gdb.riscv.fpu",
180 {
181 { RISCV_FIRST_FP_REGNUM + 0, { "ft0", "f0" }, true },
182 { RISCV_FIRST_FP_REGNUM + 1, { "ft1", "f1" }, true },
183 { RISCV_FIRST_FP_REGNUM + 2, { "ft2", "f2" }, true },
184 { RISCV_FIRST_FP_REGNUM + 3, { "ft3", "f3" }, true },
185 { RISCV_FIRST_FP_REGNUM + 4, { "ft4", "f4" }, true },
186 { RISCV_FIRST_FP_REGNUM + 5, { "ft5", "f5" }, true },
187 { RISCV_FIRST_FP_REGNUM + 6, { "ft6", "f6" }, true },
188 { RISCV_FIRST_FP_REGNUM + 7, { "ft7", "f7" }, true },
592d8c0a 189 { RISCV_FIRST_FP_REGNUM + 8, { "fs0", "f8" }, true },
b5ffee31
AB
190 { RISCV_FIRST_FP_REGNUM + 9, { "fs1", "f9" }, true },
191 { RISCV_FIRST_FP_REGNUM + 10, { "fa0", "f10" }, true },
192 { RISCV_FIRST_FP_REGNUM + 11, { "fa1", "f11" }, true },
193 { RISCV_FIRST_FP_REGNUM + 12, { "fa2", "f12" }, true },
194 { RISCV_FIRST_FP_REGNUM + 13, { "fa3", "f13" }, true },
195 { RISCV_FIRST_FP_REGNUM + 14, { "fa4", "f14" }, true },
196 { RISCV_FIRST_FP_REGNUM + 15, { "fa5", "f15" }, true },
197 { RISCV_FIRST_FP_REGNUM + 16, { "fa6", "f16" }, true },
198 { RISCV_FIRST_FP_REGNUM + 17, { "fa7", "f17" }, true },
199 { RISCV_FIRST_FP_REGNUM + 18, { "fs2", "f18" }, true },
200 { RISCV_FIRST_FP_REGNUM + 19, { "fs3", "f19" }, true },
201 { RISCV_FIRST_FP_REGNUM + 20, { "fs4", "f20" }, true },
202 { RISCV_FIRST_FP_REGNUM + 21, { "fs5", "f21" }, true },
203 { RISCV_FIRST_FP_REGNUM + 22, { "fs6", "f22" }, true },
204 { RISCV_FIRST_FP_REGNUM + 23, { "fs7", "f23" }, true },
205 { RISCV_FIRST_FP_REGNUM + 24, { "fs8", "f24" }, true },
206 { RISCV_FIRST_FP_REGNUM + 25, { "fs9", "f25" }, true },
207 { RISCV_FIRST_FP_REGNUM + 26, { "fs10", "f26" }, true },
208 { RISCV_FIRST_FP_REGNUM + 27, { "fs11", "f27" }, true },
209 { RISCV_FIRST_FP_REGNUM + 28, { "ft8", "f28" }, true },
210 { RISCV_FIRST_FP_REGNUM + 29, { "ft9", "f29" }, true },
211 { RISCV_FIRST_FP_REGNUM + 30, { "ft10", "f30" }, true },
212 { RISCV_FIRST_FP_REGNUM + 31, { "ft11", "f31" }, true },
213
214 { RISCV_CSR_FFLAGS_REGNUM, { "fflags" }, true },
215 { RISCV_CSR_FRM_REGNUM, { "frm" }, true },
216 { RISCV_CSR_FCSR_REGNUM, { "fcsr" }, true },
217
218 }
219};
220
221/* Set of virtual registers. These are not physical registers on the
222 hardware, but might be available from the target. These are not pseudo
223 registers, reading these really does result in a register read from the
224 target, it is just that there might not be a physical register backing
225 the result. */
226
227static const struct riscv_register_feature riscv_virtual_feature =
228{
229 "org.gnu.gdb.riscv.virtual",
230 {
231 { RISCV_PRIV_REGNUM, { "priv" }, false }
232 }
dbbb1059
AB
233};
234
b5ffee31
AB
235/* Feature set for CSRs. This set is NOT constant as the register names
236 list for each register is not complete. The aliases are computed
237 during RISCV_CREATE_CSR_ALIASES. */
238
239static struct riscv_register_feature riscv_csr_feature =
240{
241 "org.gnu.gdb.riscv.csr",
242 {
bd0cf5a6 243#define DECLARE_CSR(NAME,VALUE,CLASS) \
b5ffee31
AB
244 { RISCV_ ## VALUE ## _REGNUM, { # NAME }, false },
245#include "opcode/riscv-opc.h"
246#undef DECLARE_CSR
247 }
dbbb1059
AB
248};
249
b5ffee31
AB
250/* Complete RISCV_CSR_FEATURE, building the CSR alias names and adding them
251 to the name list for each register. */
252
253static void
254riscv_create_csr_aliases ()
255{
256 for (auto &reg : riscv_csr_feature.registers)
257 {
258 int csr_num = reg.regnum - RISCV_FIRST_CSR_REGNUM;
259 const char *alias = xstrprintf ("csr%d", csr_num);
260 reg.names.push_back (alias);
261 }
262}
263
dbbb1059
AB
264/* Controls whether we place compressed breakpoints or not. When in auto
265 mode GDB tries to determine if the target supports compressed
266 breakpoints, and uses them if it does. */
267
268static enum auto_boolean use_compressed_breakpoints;
269
270/* The show callback for 'show riscv use-compressed-breakpoints'. */
271
272static void
273show_use_compressed_breakpoints (struct ui_file *file, int from_tty,
274 struct cmd_list_element *c,
275 const char *value)
276{
dbbb1059
AB
277 fprintf_filtered (file,
278 _("Debugger's use of compressed breakpoints is set "
f37bc8b1 279 "to %s.\n"), value);
dbbb1059
AB
280}
281
282/* The set and show lists for 'set riscv' and 'show riscv' prefixes. */
283
284static struct cmd_list_element *setriscvcmdlist = NULL;
285static struct cmd_list_element *showriscvcmdlist = NULL;
286
287/* The show callback for the 'show riscv' prefix command. */
288
289static void
290show_riscv_command (const char *args, int from_tty)
291{
292 help_list (showriscvcmdlist, "show riscv ", all_commands, gdb_stdout);
293}
294
295/* The set callback for the 'set riscv' prefix command. */
296
297static void
298set_riscv_command (const char *args, int from_tty)
299{
300 printf_unfiltered
301 (_("\"set riscv\" must be followed by an appropriate subcommand.\n"));
302 help_list (setriscvcmdlist, "set riscv ", all_commands, gdb_stdout);
303}
304
305/* The set and show lists for 'set riscv' and 'show riscv' prefixes. */
306
307static struct cmd_list_element *setdebugriscvcmdlist = NULL;
308static struct cmd_list_element *showdebugriscvcmdlist = NULL;
309
310/* The show callback for the 'show debug riscv' prefix command. */
311
312static void
313show_debug_riscv_command (const char *args, int from_tty)
314{
315 help_list (showdebugriscvcmdlist, "show debug riscv ", all_commands, gdb_stdout);
316}
317
318/* The set callback for the 'set debug riscv' prefix command. */
319
320static void
321set_debug_riscv_command (const char *args, int from_tty)
322{
323 printf_unfiltered
324 (_("\"set debug riscv\" must be followed by an appropriate subcommand.\n"));
325 help_list (setdebugriscvcmdlist, "set debug riscv ", all_commands, gdb_stdout);
326}
327
328/* The show callback for all 'show debug riscv VARNAME' variables. */
329
330static void
331show_riscv_debug_variable (struct ui_file *file, int from_tty,
332 struct cmd_list_element *c,
333 const char *value)
334{
335 fprintf_filtered (file,
336 _("RiscV debug variable `%s' is set to: %s\n"),
337 c->name, value);
338}
339
f37bc8b1
JB
340/* When this is set to non-zero debugging information about breakpoint
341 kinds will be printed. */
342
343static unsigned int riscv_debug_breakpoints = 0;
344
dbbb1059
AB
345/* When this is set to non-zero debugging information about inferior calls
346 will be printed. */
347
348static unsigned int riscv_debug_infcall = 0;
349
78a3b0fa
AB
350/* When this is set to non-zero debugging information about stack unwinding
351 will be printed. */
352
353static unsigned int riscv_debug_unwinder = 0;
354
b5ffee31
AB
355/* When this is set to non-zero debugging information about gdbarch
356 initialisation will be printed. */
dbbb1059 357
b5ffee31 358static unsigned int riscv_debug_gdbarch = 0;
dbbb1059 359
8a613826 360/* See riscv-tdep.h. */
dbbb1059 361
411baa47 362int
dbbb1059
AB
363riscv_isa_xlen (struct gdbarch *gdbarch)
364{
113b7b81
AB
365 return gdbarch_tdep (gdbarch)->isa_features.xlen;
366}
367
368/* See riscv-tdep.h. */
369
370int
371riscv_abi_xlen (struct gdbarch *gdbarch)
372{
373 return gdbarch_tdep (gdbarch)->abi_features.xlen;
dbbb1059
AB
374}
375
8a613826 376/* See riscv-tdep.h. */
dbbb1059 377
8a613826 378int
dbbb1059
AB
379riscv_isa_flen (struct gdbarch *gdbarch)
380{
113b7b81
AB
381 return gdbarch_tdep (gdbarch)->isa_features.flen;
382}
383
384/* See riscv-tdep.h. */
385
386int
387riscv_abi_flen (struct gdbarch *gdbarch)
388{
389 return gdbarch_tdep (gdbarch)->abi_features.flen;
dbbb1059
AB
390}
391
392/* Return true if the target for GDBARCH has floating point hardware. */
393
394static bool
395riscv_has_fp_regs (struct gdbarch *gdbarch)
396{
397 return (riscv_isa_flen (gdbarch) > 0);
398}
399
400/* Return true if GDBARCH is using any of the floating point hardware ABIs. */
401
402static bool
403riscv_has_fp_abi (struct gdbarch *gdbarch)
404{
113b7b81 405 return gdbarch_tdep (gdbarch)->abi_features.flen > 0;
dbbb1059
AB
406}
407
8c49aa89
AB
408/* Return true if REGNO is a floating pointer register. */
409
410static bool
411riscv_is_fp_regno_p (int regno)
412{
413 return (regno >= RISCV_FIRST_FP_REGNUM
414 && regno <= RISCV_LAST_FP_REGNUM);
415}
416
dbbb1059
AB
417/* Implement the breakpoint_kind_from_pc gdbarch method. */
418
419static int
420riscv_breakpoint_kind_from_pc (struct gdbarch *gdbarch, CORE_ADDR *pcptr)
421{
422 if (use_compressed_breakpoints == AUTO_BOOLEAN_AUTO)
423 {
3ba2ee38 424 bool unaligned_p = false;
f37bc8b1
JB
425 gdb_byte buf[1];
426
3ba2ee38
JW
427 /* Some targets don't support unaligned reads. The address can only
428 be unaligned if the C extension is supported. So it is safe to
429 use a compressed breakpoint in this case. */
430 if (*pcptr & 0x2)
431 unaligned_p = true;
432 else
433 {
c01660c6
AB
434 /* Read the opcode byte to determine the instruction length. If
435 the read fails this may be because we tried to set the
436 breakpoint at an invalid address, in this case we provide a
437 fake result which will give a breakpoint length of 4.
438 Hopefully when we try to actually insert the breakpoint we
439 will see a failure then too which will be reported to the
440 user. */
441 if (target_read_code (*pcptr, buf, 1) == -1)
442 buf[0] = 0;
3ba2ee38
JW
443 read_code (*pcptr, buf, 1);
444 }
f37bc8b1
JB
445
446 if (riscv_debug_breakpoints)
3ba2ee38
JW
447 {
448 const char *bp = (unaligned_p || riscv_insn_length (buf[0]) == 2
449 ? "C.EBREAK" : "EBREAK");
450
451 fprintf_unfiltered (gdb_stdlog, "Using %s for breakpoint at %s ",
452 bp, paddress (gdbarch, *pcptr));
453 if (unaligned_p)
454 fprintf_unfiltered (gdb_stdlog, "(unaligned address)\n");
455 else
456 fprintf_unfiltered (gdb_stdlog, "(instruction length %d)\n",
457 riscv_insn_length (buf[0]));
458 }
459 if (unaligned_p || riscv_insn_length (buf[0]) == 2)
dbbb1059
AB
460 return 2;
461 else
462 return 4;
463 }
464 else if (use_compressed_breakpoints == AUTO_BOOLEAN_TRUE)
465 return 2;
466 else
467 return 4;
468}
469
470/* Implement the sw_breakpoint_from_kind gdbarch method. */
471
472static const gdb_byte *
473riscv_sw_breakpoint_from_kind (struct gdbarch *gdbarch, int kind, int *size)
474{
475 static const gdb_byte ebreak[] = { 0x73, 0x00, 0x10, 0x00, };
476 static const gdb_byte c_ebreak[] = { 0x02, 0x90 };
477
478 *size = kind;
479 switch (kind)
480 {
481 case 2:
482 return c_ebreak;
483 case 4:
484 return ebreak;
485 default:
89a3b63e 486 gdb_assert_not_reached (_("unhandled breakpoint kind"));
dbbb1059
AB
487 }
488}
489
490/* Callback function for user_reg_add. */
491
492static struct value *
493value_of_riscv_user_reg (struct frame_info *frame, const void *baton)
494{
495 const int *reg_p = (const int *) baton;
496 return value_of_register (*reg_p, frame);
497}
498
b5ffee31
AB
499/* Implement the register_name gdbarch method. This is used instead of
500 the function supplied by calling TDESC_USE_REGISTERS so that we can
501 ensure the preferred names are offered. */
dbbb1059
AB
502
503static const char *
504riscv_register_name (struct gdbarch *gdbarch, int regnum)
505{
b5ffee31
AB
506 /* Lookup the name through the target description. If we get back NULL
507 then this is an unknown register. If we do get a name back then we
508 look up the registers preferred name below. */
509 const char *name = tdesc_register_name (gdbarch, regnum);
510 if (name == NULL || name[0] == '\0')
511 return NULL;
512
513 if (regnum >= RISCV_ZERO_REGNUM && regnum < RISCV_FIRST_FP_REGNUM)
514 {
515 gdb_assert (regnum < riscv_xreg_feature.registers.size ());
516 return riscv_xreg_feature.registers[regnum].names[0];
517 }
518
519 if (regnum >= RISCV_FIRST_FP_REGNUM && regnum <= RISCV_LAST_FP_REGNUM)
dbbb1059 520 {
b5ffee31
AB
521 if (riscv_has_fp_regs (gdbarch))
522 {
523 regnum -= RISCV_FIRST_FP_REGNUM;
524 gdb_assert (regnum < riscv_freg_feature.registers.size ());
525 return riscv_freg_feature.registers[regnum].names[0];
526 }
527 else
528 return NULL;
dbbb1059
AB
529 }
530
0dbfcfff
AB
531 /* Check that there's no gap between the set of registers handled above,
532 and the set of registers handled next. */
533 gdb_assert ((RISCV_LAST_FP_REGNUM + 1) == RISCV_FIRST_CSR_REGNUM);
dbbb1059
AB
534
535 if (regnum >= RISCV_FIRST_CSR_REGNUM && regnum <= RISCV_LAST_CSR_REGNUM)
536 {
bd0cf5a6 537#define DECLARE_CSR(NAME,VALUE,CLASS) \
420ecd9c 538 case RISCV_ ## VALUE ## _REGNUM: return # NAME;
dbbb1059 539
420ecd9c
AB
540 switch (regnum)
541 {
69cb2952 542#include "opcode/riscv-opc.h"
420ecd9c
AB
543 }
544#undef DECLARE_CSR
dbbb1059
AB
545 }
546
547 if (regnum == RISCV_PRIV_REGNUM)
548 return "priv";
549
b5ffee31
AB
550 /* It is possible that that the target provides some registers that GDB
551 is unaware of, in that case just return the NAME from the target
552 description. */
553 return name;
dbbb1059
AB
554}
555
270b9329
JW
556/* Construct a type for 64-bit FP registers. */
557
558static struct type *
559riscv_fpreg_d_type (struct gdbarch *gdbarch)
560{
561 struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
562
563 if (tdep->riscv_fpreg_d_type == nullptr)
564 {
565 const struct builtin_type *bt = builtin_type (gdbarch);
566
567 /* The type we're building is this: */
568#if 0
569 union __gdb_builtin_type_fpreg_d
570 {
571 float f;
572 double d;
573 };
574#endif
575
576 struct type *t;
577
578 t = arch_composite_type (gdbarch,
579 "__gdb_builtin_type_fpreg_d", TYPE_CODE_UNION);
580 append_composite_type_field (t, "float", bt->builtin_float);
581 append_composite_type_field (t, "double", bt->builtin_double);
582 TYPE_VECTOR (t) = 1;
583 TYPE_NAME (t) = "builtin_type_fpreg_d";
584 tdep->riscv_fpreg_d_type = t;
585 }
586
587 return tdep->riscv_fpreg_d_type;
588}
589
b5ffee31
AB
590/* Implement the register_type gdbarch method. This is installed as an
591 for the override setup by TDESC_USE_REGISTERS, for most registers we
592 delegate the type choice to the target description, but for a few
593 registers we try to improve the types if the target description has
594 taken a simplistic approach. */
270b9329
JW
595
596static struct type *
b5ffee31 597riscv_register_type (struct gdbarch *gdbarch, int regnum)
270b9329 598{
b5ffee31
AB
599 struct type *type = tdesc_register_type (gdbarch, regnum);
600 int xlen = riscv_isa_xlen (gdbarch);
270b9329 601
b5ffee31
AB
602 /* We want to perform some specific type "fixes" in cases where we feel
603 that we really can do better than the target description. For all
604 other cases we just return what the target description says. */
605 if (riscv_is_fp_regno_p (regnum))
270b9329 606 {
b5ffee31
AB
607 /* This spots the case for RV64 where the double is defined as
608 either 'ieee_double' or 'float' (which is the generic name that
609 converts to 'double' on 64-bit). In these cases its better to
610 present the registers using a union type. */
611 int flen = riscv_isa_flen (gdbarch);
612 if (flen == 8
613 && TYPE_CODE (type) == TYPE_CODE_FLT
614 && TYPE_LENGTH (type) == flen
615 && (strcmp (TYPE_NAME (type), "builtin_type_ieee_double") == 0
616 || strcmp (TYPE_NAME (type), "double") == 0))
617 type = riscv_fpreg_d_type (gdbarch);
270b9329
JW
618 }
619
b5ffee31
AB
620 if ((regnum == gdbarch_pc_regnum (gdbarch)
621 || regnum == RISCV_RA_REGNUM
622 || regnum == RISCV_FP_REGNUM
623 || regnum == RISCV_SP_REGNUM
624 || regnum == RISCV_GP_REGNUM
625 || regnum == RISCV_TP_REGNUM)
626 && TYPE_CODE (type) == TYPE_CODE_INT
627 && TYPE_LENGTH (type) == xlen)
dbbb1059 628 {
b5ffee31
AB
629 /* This spots the case where some interesting registers are defined
630 as simple integers of the expected size, we force these registers
631 to be pointers as we believe that is more useful. */
dbbb1059 632 if (regnum == gdbarch_pc_regnum (gdbarch)
b5ffee31
AB
633 || regnum == RISCV_RA_REGNUM)
634 type = builtin_type (gdbarch)->builtin_func_ptr;
635 else if (regnum == RISCV_FP_REGNUM
636 || regnum == RISCV_SP_REGNUM
637 || regnum == RISCV_GP_REGNUM
638 || regnum == RISCV_TP_REGNUM)
639 type = builtin_type (gdbarch)->builtin_data_ptr;
dbbb1059 640 }
dbbb1059 641
b5ffee31 642 return type;
dbbb1059
AB
643}
644
645/* Helper for riscv_print_registers_info, prints info for a single register
646 REGNUM. */
647
648static void
649riscv_print_one_register_info (struct gdbarch *gdbarch,
650 struct ui_file *file,
651 struct frame_info *frame,
652 int regnum)
653{
654 const char *name = gdbarch_register_name (gdbarch, regnum);
b5ffee31
AB
655 struct value *val;
656 struct type *regtype;
dbbb1059
AB
657 int print_raw_format;
658 enum tab_stops { value_column_1 = 15 };
659
660 fputs_filtered (name, file);
661 print_spaces_filtered (value_column_1 - strlen (name), file);
662
a70b8144 663 try
b5ffee31
AB
664 {
665 val = value_of_register (regnum, frame);
666 regtype = value_type (val);
667 }
230d2906 668 catch (const gdb_exception_error &ex)
b5ffee31
AB
669 {
670 /* Handle failure to read a register without interrupting the entire
671 'info registers' flow. */
3d6e9d23 672 fprintf_filtered (file, "%s\n", ex.what ());
b5ffee31
AB
673 return;
674 }
b5ffee31 675
dbbb1059
AB
676 print_raw_format = (value_entirely_available (val)
677 && !value_optimized_out (val));
678
270b9329
JW
679 if (TYPE_CODE (regtype) == TYPE_CODE_FLT
680 || (TYPE_CODE (regtype) == TYPE_CODE_UNION
681 && TYPE_NFIELDS (regtype) == 2
682 && TYPE_CODE (TYPE_FIELD_TYPE (regtype, 0)) == TYPE_CODE_FLT
683 && TYPE_CODE (TYPE_FIELD_TYPE (regtype, 1)) == TYPE_CODE_FLT)
684 || (TYPE_CODE (regtype) == TYPE_CODE_UNION
685 && TYPE_NFIELDS (regtype) == 3
686 && TYPE_CODE (TYPE_FIELD_TYPE (regtype, 0)) == TYPE_CODE_FLT
687 && TYPE_CODE (TYPE_FIELD_TYPE (regtype, 1)) == TYPE_CODE_FLT
688 && TYPE_CODE (TYPE_FIELD_TYPE (regtype, 2)) == TYPE_CODE_FLT))
dbbb1059
AB
689 {
690 struct value_print_options opts;
691 const gdb_byte *valaddr = value_contents_for_printing (val);
34877895 692 enum bfd_endian byte_order = type_byte_order (regtype);
dbbb1059
AB
693
694 get_user_print_options (&opts);
695 opts.deref_ref = 1;
696
040f66bd 697 common_val_print (val, file, 0, &opts, current_language);
dbbb1059
AB
698
699 if (print_raw_format)
700 {
701 fprintf_filtered (file, "\t(raw ");
702 print_hex_chars (file, valaddr, TYPE_LENGTH (regtype), byte_order,
703 true);
704 fprintf_filtered (file, ")");
705 }
706 }
707 else
708 {
709 struct value_print_options opts;
710
711 /* Print the register in hex. */
712 get_formatted_print_options (&opts, 'x');
713 opts.deref_ref = 1;
040f66bd 714 common_val_print (val, file, 0, &opts, current_language);
dbbb1059
AB
715
716 if (print_raw_format)
717 {
718 if (regnum == RISCV_CSR_MSTATUS_REGNUM)
719 {
720 LONGEST d;
721 int size = register_size (gdbarch, regnum);
722 unsigned xlen;
723
b7c8601a
JW
724 /* The SD field is always in the upper bit of MSTATUS, regardless
725 of the number of bits in MSTATUS. */
dbbb1059 726 d = value_as_long (val);
b7c8601a 727 xlen = size * 8;
dbbb1059
AB
728 fprintf_filtered (file,
729 "\tSD:%X VM:%02X MXR:%X PUM:%X MPRV:%X XS:%X "
730 "FS:%X MPP:%x HPP:%X SPP:%X MPIE:%X HPIE:%X "
731 "SPIE:%X UPIE:%X MIE:%X HIE:%X SIE:%X UIE:%X",
732 (int) ((d >> (xlen - 1)) & 0x1),
733 (int) ((d >> 24) & 0x1f),
734 (int) ((d >> 19) & 0x1),
735 (int) ((d >> 18) & 0x1),
736 (int) ((d >> 17) & 0x1),
737 (int) ((d >> 15) & 0x3),
738 (int) ((d >> 13) & 0x3),
739 (int) ((d >> 11) & 0x3),
740 (int) ((d >> 9) & 0x3),
741 (int) ((d >> 8) & 0x1),
742 (int) ((d >> 7) & 0x1),
743 (int) ((d >> 6) & 0x1),
744 (int) ((d >> 5) & 0x1),
745 (int) ((d >> 4) & 0x1),
746 (int) ((d >> 3) & 0x1),
747 (int) ((d >> 2) & 0x1),
748 (int) ((d >> 1) & 0x1),
749 (int) ((d >> 0) & 0x1));
750 }
751 else if (regnum == RISCV_CSR_MISA_REGNUM)
752 {
753 int base;
754 unsigned xlen, i;
755 LONGEST d;
b7c8601a 756 int size = register_size (gdbarch, regnum);
dbbb1059 757
b7c8601a
JW
758 /* The MXL field is always in the upper two bits of MISA,
759 regardless of the number of bits in MISA. Mask out other
760 bits to ensure we have a positive value. */
dbbb1059 761 d = value_as_long (val);
b7c8601a 762 base = (d >> ((size * 8) - 2)) & 0x3;
dbbb1059
AB
763 xlen = 16;
764
765 for (; base > 0; base--)
766 xlen *= 2;
767 fprintf_filtered (file, "\tRV%d", xlen);
768
769 for (i = 0; i < 26; i++)
770 {
771 if (d & (1 << i))
772 fprintf_filtered (file, "%c", 'A' + i);
773 }
774 }
775 else if (regnum == RISCV_CSR_FCSR_REGNUM
776 || regnum == RISCV_CSR_FFLAGS_REGNUM
777 || regnum == RISCV_CSR_FRM_REGNUM)
778 {
779 LONGEST d;
780
781 d = value_as_long (val);
782
783 fprintf_filtered (file, "\t");
784 if (regnum != RISCV_CSR_FRM_REGNUM)
785 fprintf_filtered (file,
786 "RD:%01X NV:%d DZ:%d OF:%d UF:%d NX:%d",
787 (int) ((d >> 5) & 0x7),
788 (int) ((d >> 4) & 0x1),
789 (int) ((d >> 3) & 0x1),
790 (int) ((d >> 2) & 0x1),
791 (int) ((d >> 1) & 0x1),
792 (int) ((d >> 0) & 0x1));
793
794 if (regnum != RISCV_CSR_FFLAGS_REGNUM)
795 {
796 static const char * const sfrm[] =
797 {
798 "RNE (round to nearest; ties to even)",
799 "RTZ (Round towards zero)",
800 "RDN (Round down towards -INF)",
801 "RUP (Round up towards +INF)",
802 "RMM (Round to nearest; ties to max magnitude)",
803 "INVALID[5]",
804 "INVALID[6]",
805 "dynamic rounding mode",
806 };
807 int frm = ((regnum == RISCV_CSR_FCSR_REGNUM)
808 ? (d >> 5) : d) & 0x3;
809
810 fprintf_filtered (file, "%sFRM:%i [%s]",
811 (regnum == RISCV_CSR_FCSR_REGNUM
812 ? " " : ""),
813 frm, sfrm[frm]);
814 }
815 }
816 else if (regnum == RISCV_PRIV_REGNUM)
817 {
818 LONGEST d;
819 uint8_t priv;
820
821 d = value_as_long (val);
822 priv = d & 0xff;
823
824 if (priv < 4)
825 {
826 static const char * const sprv[] =
827 {
828 "User/Application",
829 "Supervisor",
830 "Hypervisor",
831 "Machine"
832 };
833 fprintf_filtered (file, "\tprv:%d [%s]",
834 priv, sprv[priv]);
835 }
836 else
837 fprintf_filtered (file, "\tprv:%d [INVALID]", priv);
838 }
839 else
840 {
841 /* If not a vector register, print it also according to its
842 natural format. */
843 if (TYPE_VECTOR (regtype) == 0)
844 {
845 get_user_print_options (&opts);
846 opts.deref_ref = 1;
847 fprintf_filtered (file, "\t");
040f66bd 848 common_val_print (val, file, 0, &opts, current_language);
dbbb1059
AB
849 }
850 }
851 }
852 }
853 fprintf_filtered (file, "\n");
854}
855
0dbfcfff
AB
856/* Return true if REGNUM is a valid CSR register. The CSR register space
857 is sparsely populated, so not every number is a named CSR. */
858
859static bool
860riscv_is_regnum_a_named_csr (int regnum)
861{
862 gdb_assert (regnum >= RISCV_FIRST_CSR_REGNUM
863 && regnum <= RISCV_LAST_CSR_REGNUM);
864
865 switch (regnum)
866 {
bd0cf5a6 867#define DECLARE_CSR(name, num, class) case RISCV_ ## num ## _REGNUM:
0dbfcfff
AB
868#include "opcode/riscv-opc.h"
869#undef DECLARE_CSR
870 return true;
871
872 default:
873 return false;
874 }
875}
876
dbbb1059
AB
877/* Implement the register_reggroup_p gdbarch method. Is REGNUM a member
878 of REGGROUP? */
879
880static int
881riscv_register_reggroup_p (struct gdbarch *gdbarch, int regnum,
882 struct reggroup *reggroup)
883{
dbbb1059
AB
884 /* Used by 'info registers' and 'info registers <groupname>'. */
885
886 if (gdbarch_register_name (gdbarch, regnum) == NULL
887 || gdbarch_register_name (gdbarch, regnum)[0] == '\0')
888 return 0;
889
b5ffee31
AB
890 if (regnum > RISCV_LAST_REGNUM)
891 {
892 int ret = tdesc_register_in_reggroup_p (gdbarch, regnum, reggroup);
893 if (ret != -1)
894 return ret;
895
896 return default_register_reggroup_p (gdbarch, regnum, reggroup);
897 }
898
dbbb1059
AB
899 if (reggroup == all_reggroup)
900 {
901 if (regnum < RISCV_FIRST_CSR_REGNUM || regnum == RISCV_PRIV_REGNUM)
902 return 1;
0dbfcfff
AB
903 if (riscv_is_regnum_a_named_csr (regnum))
904 return 1;
dbbb1059
AB
905 return 0;
906 }
907 else if (reggroup == float_reggroup)
8c49aa89
AB
908 return (riscv_is_fp_regno_p (regnum)
909 || regnum == RISCV_CSR_FCSR_REGNUM
910 || regnum == RISCV_CSR_FFLAGS_REGNUM
911 || regnum == RISCV_CSR_FRM_REGNUM);
dbbb1059
AB
912 else if (reggroup == general_reggroup)
913 return regnum < RISCV_FIRST_FP_REGNUM;
914 else if (reggroup == restore_reggroup || reggroup == save_reggroup)
915 {
916 if (riscv_has_fp_regs (gdbarch))
ecc82c05
AB
917 return (regnum <= RISCV_LAST_FP_REGNUM
918 || regnum == RISCV_CSR_FCSR_REGNUM
919 || regnum == RISCV_CSR_FFLAGS_REGNUM
920 || regnum == RISCV_CSR_FRM_REGNUM);
dbbb1059
AB
921 else
922 return regnum < RISCV_FIRST_FP_REGNUM;
923 }
b5ffee31 924 else if (reggroup == system_reggroup || reggroup == csr_reggroup)
dbbb1059
AB
925 {
926 if (regnum == RISCV_PRIV_REGNUM)
927 return 1;
928 if (regnum < RISCV_FIRST_CSR_REGNUM || regnum > RISCV_LAST_CSR_REGNUM)
929 return 0;
0dbfcfff
AB
930 if (riscv_is_regnum_a_named_csr (regnum))
931 return 1;
dbbb1059
AB
932 return 0;
933 }
934 else if (reggroup == vector_reggroup)
935 return 0;
936 else
937 return 0;
938}
939
940/* Implement the print_registers_info gdbarch method. This is used by
941 'info registers' and 'info all-registers'. */
942
943static void
944riscv_print_registers_info (struct gdbarch *gdbarch,
945 struct ui_file *file,
946 struct frame_info *frame,
947 int regnum, int print_all)
948{
949 if (regnum != -1)
950 {
951 /* Print one specified register. */
dbbb1059
AB
952 if (gdbarch_register_name (gdbarch, regnum) == NULL
953 || *(gdbarch_register_name (gdbarch, regnum)) == '\0')
954 error (_("Not a valid register for the current processor type"));
955 riscv_print_one_register_info (gdbarch, file, frame, regnum);
956 }
957 else
958 {
959 struct reggroup *reggroup;
960
961 if (print_all)
962 reggroup = all_reggroup;
963 else
964 reggroup = general_reggroup;
965
966 for (regnum = 0; regnum <= RISCV_LAST_REGNUM; ++regnum)
967 {
968 /* Zero never changes, so might as well hide by default. */
969 if (regnum == RISCV_ZERO_REGNUM && !print_all)
970 continue;
971
972 /* Registers with no name are not valid on this ISA. */
973 if (gdbarch_register_name (gdbarch, regnum) == NULL
974 || *(gdbarch_register_name (gdbarch, regnum)) == '\0')
975 continue;
976
977 /* Is the register in the group we're interested in? */
b5ffee31 978 if (!gdbarch_register_reggroup_p (gdbarch, regnum, reggroup))
dbbb1059
AB
979 continue;
980
981 riscv_print_one_register_info (gdbarch, file, frame, regnum);
982 }
983 }
984}
985
986/* Class that handles one decoded RiscV instruction. */
987
988class riscv_insn
989{
990public:
991
992 /* Enum of all the opcodes that GDB cares about during the prologue scan. */
993 enum opcode
994 {
995 /* Unknown value is used at initialisation time. */
996 UNKNOWN = 0,
997
998 /* These instructions are all the ones we are interested in during the
999 prologue scan. */
1000 ADD,
1001 ADDI,
1002 ADDIW,
1003 ADDW,
1004 AUIPC,
1005 LUI,
1006 SD,
1007 SW,
405feb71 1008 /* These are needed for software breakpoint support. */
5c720ed8
JW
1009 JAL,
1010 JALR,
1011 BEQ,
1012 BNE,
1013 BLT,
1014 BGE,
1015 BLTU,
1016 BGEU,
1017 /* These are needed for stepping over atomic sequences. */
1018 LR,
1019 SC,
dbbb1059
AB
1020
1021 /* Other instructions are not interesting during the prologue scan, and
1022 are ignored. */
1023 OTHER
1024 };
1025
1026 riscv_insn ()
1027 : m_length (0),
1028 m_opcode (OTHER),
1029 m_rd (0),
1030 m_rs1 (0),
1031 m_rs2 (0)
1032 {
1033 /* Nothing. */
1034 }
1035
1036 void decode (struct gdbarch *gdbarch, CORE_ADDR pc);
1037
1038 /* Get the length of the instruction in bytes. */
1039 int length () const
1040 { return m_length; }
1041
1042 /* Get the opcode for this instruction. */
1043 enum opcode opcode () const
1044 { return m_opcode; }
1045
1046 /* Get destination register field for this instruction. This is only
1047 valid if the OPCODE implies there is such a field for this
1048 instruction. */
1049 int rd () const
1050 { return m_rd; }
1051
1052 /* Get the RS1 register field for this instruction. This is only valid
1053 if the OPCODE implies there is such a field for this instruction. */
1054 int rs1 () const
1055 { return m_rs1; }
1056
1057 /* Get the RS2 register field for this instruction. This is only valid
1058 if the OPCODE implies there is such a field for this instruction. */
1059 int rs2 () const
1060 { return m_rs2; }
1061
1062 /* Get the immediate for this instruction in signed form. This is only
1063 valid if the OPCODE implies there is such a field for this
1064 instruction. */
1065 int imm_signed () const
1066 { return m_imm.s; }
1067
1068private:
1069
1070 /* Extract 5 bit register field at OFFSET from instruction OPCODE. */
1071 int decode_register_index (unsigned long opcode, int offset)
1072 {
1073 return (opcode >> offset) & 0x1F;
1074 }
1075
5c720ed8
JW
1076 /* Extract 5 bit register field at OFFSET from instruction OPCODE. */
1077 int decode_register_index_short (unsigned long opcode, int offset)
1078 {
1079 return ((opcode >> offset) & 0x7) + 8;
1080 }
1081
dbbb1059
AB
1082 /* Helper for DECODE, decode 32-bit R-type instruction. */
1083 void decode_r_type_insn (enum opcode opcode, ULONGEST ival)
1084 {
1085 m_opcode = opcode;
1086 m_rd = decode_register_index (ival, OP_SH_RD);
1087 m_rs1 = decode_register_index (ival, OP_SH_RS1);
1088 m_rs2 = decode_register_index (ival, OP_SH_RS2);
1089 }
1090
1091 /* Helper for DECODE, decode 16-bit compressed R-type instruction. */
1092 void decode_cr_type_insn (enum opcode opcode, ULONGEST ival)
1093 {
1094 m_opcode = opcode;
1095 m_rd = m_rs1 = decode_register_index (ival, OP_SH_CRS1S);
1096 m_rs2 = decode_register_index (ival, OP_SH_CRS2);
1097 }
1098
1099 /* Helper for DECODE, decode 32-bit I-type instruction. */
1100 void decode_i_type_insn (enum opcode opcode, ULONGEST ival)
1101 {
1102 m_opcode = opcode;
1103 m_rd = decode_register_index (ival, OP_SH_RD);
1104 m_rs1 = decode_register_index (ival, OP_SH_RS1);
1105 m_imm.s = EXTRACT_ITYPE_IMM (ival);
1106 }
1107
1108 /* Helper for DECODE, decode 16-bit compressed I-type instruction. */
1109 void decode_ci_type_insn (enum opcode opcode, ULONGEST ival)
1110 {
1111 m_opcode = opcode;
1112 m_rd = m_rs1 = decode_register_index (ival, OP_SH_CRS1S);
1113 m_imm.s = EXTRACT_RVC_IMM (ival);
1114 }
1115
1116 /* Helper for DECODE, decode 32-bit S-type instruction. */
1117 void decode_s_type_insn (enum opcode opcode, ULONGEST ival)
1118 {
1119 m_opcode = opcode;
1120 m_rs1 = decode_register_index (ival, OP_SH_RS1);
1121 m_rs2 = decode_register_index (ival, OP_SH_RS2);
1122 m_imm.s = EXTRACT_STYPE_IMM (ival);
1123 }
1124
ff3a05b3
AB
1125 /* Helper for DECODE, decode 16-bit CS-type instruction. The immediate
1126 encoding is different for each CS format instruction, so extracting
1127 the immediate is left up to the caller, who should pass the extracted
1128 immediate value through in IMM. */
1129 void decode_cs_type_insn (enum opcode opcode, ULONGEST ival, int imm)
1130 {
1131 m_opcode = opcode;
1132 m_imm.s = imm;
1133 m_rs1 = decode_register_index_short (ival, OP_SH_CRS1S);
1134 m_rs2 = decode_register_index_short (ival, OP_SH_CRS2S);
1135 }
1136
1137 /* Helper for DECODE, decode 16-bit CSS-type instruction. The immediate
1138 encoding is different for each CSS format instruction, so extracting
1139 the immediate is left up to the caller, who should pass the extracted
1140 immediate value through in IMM. */
1141 void decode_css_type_insn (enum opcode opcode, ULONGEST ival, int imm)
1142 {
1143 m_opcode = opcode;
1144 m_imm.s = imm;
1145 m_rs1 = RISCV_SP_REGNUM;
1146 /* Not a compressed register number in this case. */
1147 m_rs2 = decode_register_index (ival, OP_SH_CRS2);
1148 }
1149
dbbb1059
AB
1150 /* Helper for DECODE, decode 32-bit U-type instruction. */
1151 void decode_u_type_insn (enum opcode opcode, ULONGEST ival)
1152 {
1153 m_opcode = opcode;
1154 m_rd = decode_register_index (ival, OP_SH_RD);
1155 m_imm.s = EXTRACT_UTYPE_IMM (ival);
1156 }
1157
5c720ed8
JW
1158 /* Helper for DECODE, decode 32-bit J-type instruction. */
1159 void decode_j_type_insn (enum opcode opcode, ULONGEST ival)
1160 {
1161 m_opcode = opcode;
1162 m_rd = decode_register_index (ival, OP_SH_RD);
1163 m_imm.s = EXTRACT_UJTYPE_IMM (ival);
1164 }
1165
1166 /* Helper for DECODE, decode 32-bit J-type instruction. */
1167 void decode_cj_type_insn (enum opcode opcode, ULONGEST ival)
1168 {
1169 m_opcode = opcode;
1170 m_imm.s = EXTRACT_RVC_J_IMM (ival);
1171 }
1172
1173 void decode_b_type_insn (enum opcode opcode, ULONGEST ival)
1174 {
1175 m_opcode = opcode;
1176 m_rs1 = decode_register_index (ival, OP_SH_RS1);
1177 m_rs2 = decode_register_index (ival, OP_SH_RS2);
1178 m_imm.s = EXTRACT_SBTYPE_IMM (ival);
1179 }
1180
1181 void decode_cb_type_insn (enum opcode opcode, ULONGEST ival)
1182 {
1183 m_opcode = opcode;
1184 m_rs1 = decode_register_index_short (ival, OP_SH_CRS1S);
1185 m_imm.s = EXTRACT_RVC_B_IMM (ival);
1186 }
1187
dbbb1059
AB
1188 /* Fetch instruction from target memory at ADDR, return the content of
1189 the instruction, and update LEN with the instruction length. */
1190 static ULONGEST fetch_instruction (struct gdbarch *gdbarch,
1191 CORE_ADDR addr, int *len);
1192
1193 /* The length of the instruction in bytes. Should be 2 or 4. */
1194 int m_length;
1195
1196 /* The instruction opcode. */
1197 enum opcode m_opcode;
1198
1199 /* The three possible registers an instruction might reference. Not
1200 every instruction fills in all of these registers. Which fields are
1201 valid depends on the opcode. The naming of these fields matches the
1202 naming in the riscv isa manual. */
1203 int m_rd;
1204 int m_rs1;
1205 int m_rs2;
1206
1207 /* Possible instruction immediate. This is only valid if the instruction
1208 format contains an immediate, not all instruction, whether this is
1209 valid depends on the opcode. Despite only having one format for now
1210 the immediate is packed into a union, later instructions might require
1211 an unsigned formatted immediate, having the union in place now will
1212 reduce the need for code churn later. */
1213 union riscv_insn_immediate
1214 {
1215 riscv_insn_immediate ()
1216 : s (0)
1217 {
1218 /* Nothing. */
1219 }
1220
1221 int s;
1222 } m_imm;
1223};
1224
1225/* Fetch instruction from target memory at ADDR, return the content of the
1226 instruction, and update LEN with the instruction length. */
1227
1228ULONGEST
1229riscv_insn::fetch_instruction (struct gdbarch *gdbarch,
1230 CORE_ADDR addr, int *len)
1231{
1232 enum bfd_endian byte_order = gdbarch_byte_order_for_code (gdbarch);
1233 gdb_byte buf[8];
1234 int instlen, status;
1235
1236 /* All insns are at least 16 bits. */
1237 status = target_read_memory (addr, buf, 2);
1238 if (status)
1239 memory_error (TARGET_XFER_E_IO, addr);
1240
1241 /* If we need more, grab it now. */
1242 instlen = riscv_insn_length (buf[0]);
89a3b63e 1243 gdb_assert (instlen <= sizeof (buf));
dbbb1059 1244 *len = instlen;
89a3b63e
AB
1245
1246 if (instlen > 2)
dbbb1059
AB
1247 {
1248 status = target_read_memory (addr + 2, buf + 2, instlen - 2);
1249 if (status)
1250 memory_error (TARGET_XFER_E_IO, addr + 2);
1251 }
1252
1253 return extract_unsigned_integer (buf, instlen, byte_order);
1254}
1255
17cf2897
AB
1256/* Fetch from target memory an instruction at PC and decode it. This can
1257 throw an error if the memory access fails, callers are responsible for
1258 handling this error if that is appropriate. */
dbbb1059
AB
1259
1260void
1261riscv_insn::decode (struct gdbarch *gdbarch, CORE_ADDR pc)
1262{
1263 ULONGEST ival;
1264
1265 /* Fetch the instruction, and the instructions length. */
1266 ival = fetch_instruction (gdbarch, pc, &m_length);
1267
1268 if (m_length == 4)
1269 {
1270 if (is_add_insn (ival))
1271 decode_r_type_insn (ADD, ival);
1272 else if (is_addw_insn (ival))
1273 decode_r_type_insn (ADDW, ival);
1274 else if (is_addi_insn (ival))
1275 decode_i_type_insn (ADDI, ival);
1276 else if (is_addiw_insn (ival))
1277 decode_i_type_insn (ADDIW, ival);
1278 else if (is_auipc_insn (ival))
1279 decode_u_type_insn (AUIPC, ival);
1280 else if (is_lui_insn (ival))
1281 decode_u_type_insn (LUI, ival);
1282 else if (is_sd_insn (ival))
1283 decode_s_type_insn (SD, ival);
1284 else if (is_sw_insn (ival))
1285 decode_s_type_insn (SW, ival);
5c720ed8
JW
1286 else if (is_jal_insn (ival))
1287 decode_j_type_insn (JAL, ival);
1288 else if (is_jalr_insn (ival))
1289 decode_i_type_insn (JALR, ival);
1290 else if (is_beq_insn (ival))
1291 decode_b_type_insn (BEQ, ival);
1292 else if (is_bne_insn (ival))
1293 decode_b_type_insn (BNE, ival);
1294 else if (is_blt_insn (ival))
1295 decode_b_type_insn (BLT, ival);
1296 else if (is_bge_insn (ival))
1297 decode_b_type_insn (BGE, ival);
1298 else if (is_bltu_insn (ival))
1299 decode_b_type_insn (BLTU, ival);
1300 else if (is_bgeu_insn (ival))
1301 decode_b_type_insn (BGEU, ival);
1302 else if (is_lr_w_insn (ival))
1303 decode_r_type_insn (LR, ival);
1304 else if (is_lr_d_insn (ival))
1305 decode_r_type_insn (LR, ival);
1306 else if (is_sc_w_insn (ival))
1307 decode_r_type_insn (SC, ival);
1308 else if (is_sc_d_insn (ival))
1309 decode_r_type_insn (SC, ival);
dbbb1059
AB
1310 else
1311 /* None of the other fields are valid in this case. */
1312 m_opcode = OTHER;
1313 }
1314 else if (m_length == 2)
1315 {
5c720ed8
JW
1316 int xlen = riscv_isa_xlen (gdbarch);
1317
1318 /* C_ADD and C_JALR have the same opcode. If RS2 is 0, then this is a
1319 C_JALR. So must try to match C_JALR first as it has more bits in
1320 mask. */
1321 if (is_c_jalr_insn (ival))
1322 decode_cr_type_insn (JALR, ival);
1323 else if (is_c_add_insn (ival))
dbbb1059 1324 decode_cr_type_insn (ADD, ival);
5c720ed8
JW
1325 /* C_ADDW is RV64 and RV128 only. */
1326 else if (xlen != 4 && is_c_addw_insn (ival))
dbbb1059
AB
1327 decode_cr_type_insn (ADDW, ival);
1328 else if (is_c_addi_insn (ival))
1329 decode_ci_type_insn (ADDI, ival);
5c720ed8
JW
1330 /* C_ADDIW and C_JAL have the same opcode. C_ADDIW is RV64 and RV128
1331 only and C_JAL is RV32 only. */
1332 else if (xlen != 4 && is_c_addiw_insn (ival))
dbbb1059 1333 decode_ci_type_insn (ADDIW, ival);
5c720ed8
JW
1334 else if (xlen == 4 && is_c_jal_insn (ival))
1335 decode_cj_type_insn (JAL, ival);
1336 /* C_ADDI16SP and C_LUI have the same opcode. If RD is 2, then this is a
1337 C_ADDI16SP. So must try to match C_ADDI16SP first as it has more bits
1338 in mask. */
dbbb1059
AB
1339 else if (is_c_addi16sp_insn (ival))
1340 {
1341 m_opcode = ADDI;
1342 m_rd = m_rs1 = decode_register_index (ival, OP_SH_RD);
1343 m_imm.s = EXTRACT_RVC_ADDI16SP_IMM (ival);
1344 }
ff3a05b3
AB
1345 else if (is_c_addi4spn_insn (ival))
1346 {
1347 m_opcode = ADDI;
1348 m_rd = decode_register_index_short (ival, OP_SH_CRS2S);
1349 m_rs1 = RISCV_SP_REGNUM;
1350 m_imm.s = EXTRACT_RVC_ADDI4SPN_IMM (ival);
1351 }
5c720ed8 1352 else if (is_c_lui_insn (ival))
d354055e
AB
1353 {
1354 m_opcode = LUI;
1355 m_rd = decode_register_index (ival, OP_SH_CRS1S);
1356 m_imm.s = EXTRACT_RVC_LUI_IMM (ival);
1357 }
5c720ed8
JW
1358 /* C_SD and C_FSW have the same opcode. C_SD is RV64 and RV128 only,
1359 and C_FSW is RV32 only. */
1360 else if (xlen != 4 && is_c_sd_insn (ival))
ff3a05b3 1361 decode_cs_type_insn (SD, ival, EXTRACT_RVC_LD_IMM (ival));
5c720ed8 1362 else if (is_c_sw_insn (ival))
ff3a05b3
AB
1363 decode_cs_type_insn (SW, ival, EXTRACT_RVC_LW_IMM (ival));
1364 else if (is_c_swsp_insn (ival))
1365 decode_css_type_insn (SW, ival, EXTRACT_RVC_SWSP_IMM (ival));
1366 else if (xlen != 4 && is_c_sdsp_insn (ival))
1367 decode_css_type_insn (SW, ival, EXTRACT_RVC_SDSP_IMM (ival));
5c720ed8
JW
1368 /* C_JR and C_MV have the same opcode. If RS2 is 0, then this is a C_JR.
1369 So must try to match C_JR first as it ahs more bits in mask. */
1370 else if (is_c_jr_insn (ival))
1371 decode_cr_type_insn (JALR, ival);
1372 else if (is_c_j_insn (ival))
1373 decode_cj_type_insn (JAL, ival);
1374 else if (is_c_beqz_insn (ival))
1375 decode_cb_type_insn (BEQ, ival);
1376 else if (is_c_bnez_insn (ival))
1377 decode_cb_type_insn (BNE, ival);
dbbb1059
AB
1378 else
1379 /* None of the other fields of INSN are valid in this case. */
1380 m_opcode = OTHER;
1381 }
1382 else
312617a3
AB
1383 {
1384 /* This must be a 6 or 8 byte instruction, we don't currently decode
1385 any of these, so just ignore it. */
1386 gdb_assert (m_length == 6 || m_length == 8);
1387 m_opcode = OTHER;
1388 }
dbbb1059
AB
1389}
1390
1391/* The prologue scanner. This is currently only used for skipping the
1392 prologue of a function when the DWARF information is not sufficient.
1393 However, it is written with filling of the frame cache in mind, which
1394 is why different groups of stack setup instructions are split apart
1395 during the core of the inner loop. In the future, the intention is to
1396 extend this function to fully support building up a frame cache that
1397 can unwind register values when there is no DWARF information. */
1398
1399static CORE_ADDR
1400riscv_scan_prologue (struct gdbarch *gdbarch,
78a3b0fa
AB
1401 CORE_ADDR start_pc, CORE_ADDR end_pc,
1402 struct riscv_unwind_cache *cache)
dbbb1059 1403{
78a3b0fa 1404 CORE_ADDR cur_pc, next_pc, after_prologue_pc;
dbbb1059
AB
1405 CORE_ADDR end_prologue_addr = 0;
1406
78a3b0fa
AB
1407 /* Find an upper limit on the function prologue using the debug
1408 information. If the debug information could not be used to provide
1409 that bound, then use an arbitrary large number as the upper bound. */
1410 after_prologue_pc = skip_prologue_using_sal (gdbarch, start_pc);
1411 if (after_prologue_pc == 0)
1412 after_prologue_pc = start_pc + 100; /* Arbitrary large number. */
1413 if (after_prologue_pc < end_pc)
1414 end_pc = after_prologue_pc;
1415
1416 pv_t regs[RISCV_NUM_INTEGER_REGS]; /* Number of GPR. */
1417 for (int regno = 0; regno < RISCV_NUM_INTEGER_REGS; regno++)
1418 regs[regno] = pv_register (regno, 0);
1419 pv_area stack (RISCV_SP_REGNUM, gdbarch_addr_bit (gdbarch));
1420
1421 if (riscv_debug_unwinder)
1422 fprintf_unfiltered
1423 (gdb_stdlog,
1424 "Prologue scan for function starting at %s (limit %s)\n",
1425 core_addr_to_string (start_pc),
1426 core_addr_to_string (end_pc));
1427
1428 for (next_pc = cur_pc = start_pc; cur_pc < end_pc; cur_pc = next_pc)
dbbb1059
AB
1429 {
1430 struct riscv_insn insn;
1431
1432 /* Decode the current instruction, and decide where the next
1433 instruction lives based on the size of this instruction. */
1434 insn.decode (gdbarch, cur_pc);
1435 gdb_assert (insn.length () > 0);
1436 next_pc = cur_pc + insn.length ();
1437
1438 /* Look for common stack adjustment insns. */
1439 if ((insn.opcode () == riscv_insn::ADDI
1440 || insn.opcode () == riscv_insn::ADDIW)
1441 && insn.rd () == RISCV_SP_REGNUM
1442 && insn.rs1 () == RISCV_SP_REGNUM)
1443 {
1444 /* Handle: addi sp, sp, -i
1445 or: addiw sp, sp, -i */
78a3b0fa
AB
1446 gdb_assert (insn.rd () < RISCV_NUM_INTEGER_REGS);
1447 gdb_assert (insn.rs1 () < RISCV_NUM_INTEGER_REGS);
1448 regs[insn.rd ()]
1449 = pv_add_constant (regs[insn.rs1 ()], insn.imm_signed ());
dbbb1059
AB
1450 }
1451 else if ((insn.opcode () == riscv_insn::SW
1452 || insn.opcode () == riscv_insn::SD)
1453 && (insn.rs1 () == RISCV_SP_REGNUM
1454 || insn.rs1 () == RISCV_FP_REGNUM))
1455 {
1456 /* Handle: sw reg, offset(sp)
1457 or: sd reg, offset(sp)
1458 or: sw reg, offset(s0)
1459 or: sd reg, offset(s0) */
1460 /* Instruction storing a register onto the stack. */
78a3b0fa
AB
1461 gdb_assert (insn.rs1 () < RISCV_NUM_INTEGER_REGS);
1462 gdb_assert (insn.rs2 () < RISCV_NUM_INTEGER_REGS);
1463 stack.store (pv_add_constant (regs[insn.rs1 ()], insn.imm_signed ()),
1464 (insn.opcode () == riscv_insn::SW ? 4 : 8),
1465 regs[insn.rs2 ()]);
dbbb1059
AB
1466 }
1467 else if (insn.opcode () == riscv_insn::ADDI
1468 && insn.rd () == RISCV_FP_REGNUM
1469 && insn.rs1 () == RISCV_SP_REGNUM)
1470 {
1471 /* Handle: addi s0, sp, size */
1472 /* Instructions setting up the frame pointer. */
78a3b0fa
AB
1473 gdb_assert (insn.rd () < RISCV_NUM_INTEGER_REGS);
1474 gdb_assert (insn.rs1 () < RISCV_NUM_INTEGER_REGS);
1475 regs[insn.rd ()]
1476 = pv_add_constant (regs[insn.rs1 ()], insn.imm_signed ());
dbbb1059
AB
1477 }
1478 else if ((insn.opcode () == riscv_insn::ADD
1479 || insn.opcode () == riscv_insn::ADDW)
1480 && insn.rd () == RISCV_FP_REGNUM
1481 && insn.rs1 () == RISCV_SP_REGNUM
1482 && insn.rs2 () == RISCV_ZERO_REGNUM)
1483 {
1484 /* Handle: add s0, sp, 0
1485 or: addw s0, sp, 0 */
1486 /* Instructions setting up the frame pointer. */
78a3b0fa
AB
1487 gdb_assert (insn.rd () < RISCV_NUM_INTEGER_REGS);
1488 gdb_assert (insn.rs1 () < RISCV_NUM_INTEGER_REGS);
1489 regs[insn.rd ()] = pv_add_constant (regs[insn.rs1 ()], 0);
dbbb1059 1490 }
d354055e
AB
1491 else if ((insn.opcode () == riscv_insn::ADDI
1492 && insn.rd () == RISCV_ZERO_REGNUM
1493 && insn.rs1 () == RISCV_ZERO_REGNUM
1494 && insn.imm_signed () == 0))
dbbb1059 1495 {
d354055e 1496 /* Handle: add x0, x0, 0 (NOP) */
dbbb1059 1497 }
d354055e
AB
1498 else if (insn.opcode () == riscv_insn::AUIPC)
1499 {
1500 gdb_assert (insn.rd () < RISCV_NUM_INTEGER_REGS);
1501 regs[insn.rd ()] = pv_constant (cur_pc + insn.imm_signed ());
1502 }
1503 else if (insn.opcode () == riscv_insn::LUI)
1504 {
1505 /* Handle: lui REG, n
1506 Where REG is not gp register. */
1507 gdb_assert (insn.rd () < RISCV_NUM_INTEGER_REGS);
1508 regs[insn.rd ()] = pv_constant (insn.imm_signed ());
1509 }
1510 else if (insn.opcode () == riscv_insn::ADDI)
1511 {
1512 /* Handle: addi REG1, REG2, IMM */
1513 gdb_assert (insn.rd () < RISCV_NUM_INTEGER_REGS);
1514 gdb_assert (insn.rs1 () < RISCV_NUM_INTEGER_REGS);
1515 regs[insn.rd ()]
1516 = pv_add_constant (regs[insn.rs1 ()], insn.imm_signed ());
1517 }
1518 else if (insn.opcode () == riscv_insn::ADD)
1519 {
1520 /* Handle: addi REG1, REG2, IMM */
1521 gdb_assert (insn.rd () < RISCV_NUM_INTEGER_REGS);
1522 gdb_assert (insn.rs1 () < RISCV_NUM_INTEGER_REGS);
1523 gdb_assert (insn.rs2 () < RISCV_NUM_INTEGER_REGS);
1524 regs[insn.rd ()] = pv_add (regs[insn.rs1 ()], regs[insn.rs2 ()]);
1525 }
dbbb1059
AB
1526 else
1527 {
78a3b0fa
AB
1528 end_prologue_addr = cur_pc;
1529 break;
dbbb1059
AB
1530 }
1531 }
1532
1533 if (end_prologue_addr == 0)
1534 end_prologue_addr = cur_pc;
1535
78a3b0fa
AB
1536 if (riscv_debug_unwinder)
1537 fprintf_unfiltered (gdb_stdlog, "End of prologue at %s\n",
1538 core_addr_to_string (end_prologue_addr));
1539
1540 if (cache != NULL)
1541 {
1542 /* Figure out if it is a frame pointer or just a stack pointer. Also
1543 the offset held in the pv_t is from the original register value to
1544 the current value, which for a grows down stack means a negative
1545 value. The FRAME_BASE_OFFSET is the negation of this, how to get
1546 from the current value to the original value. */
1547 if (pv_is_register (regs[RISCV_FP_REGNUM], RISCV_SP_REGNUM))
1548 {
1549 cache->frame_base_reg = RISCV_FP_REGNUM;
1550 cache->frame_base_offset = -regs[RISCV_FP_REGNUM].k;
1551 }
1552 else
1553 {
1554 cache->frame_base_reg = RISCV_SP_REGNUM;
1555 cache->frame_base_offset = -regs[RISCV_SP_REGNUM].k;
1556 }
1557
1558 /* Assign offset from old SP to all saved registers. As we don't
1559 have the previous value for the frame base register at this
1560 point, we store the offset as the address in the trad_frame, and
1561 then convert this to an actual address later. */
1562 for (int i = 0; i <= RISCV_NUM_INTEGER_REGS; i++)
1563 {
1564 CORE_ADDR offset;
1565 if (stack.find_reg (gdbarch, i, &offset))
1566 {
1567 if (riscv_debug_unwinder)
a96bd1cc
AB
1568 {
1569 /* Display OFFSET as a signed value, the offsets are from
1570 the frame base address to the registers location on
1571 the stack, with a descending stack this means the
1572 offsets are always negative. */
1573 fprintf_unfiltered (gdb_stdlog,
1574 "Register $%s at stack offset %s\n",
1575 gdbarch_register_name (gdbarch, i),
1576 plongest ((LONGEST) offset));
1577 }
78a3b0fa
AB
1578 trad_frame_set_addr (cache->regs, i, offset);
1579 }
1580 }
1581 }
1582
dbbb1059
AB
1583 return end_prologue_addr;
1584}
1585
1586/* Implement the riscv_skip_prologue gdbarch method. */
1587
1588static CORE_ADDR
78a3b0fa 1589riscv_skip_prologue (struct gdbarch *gdbarch, CORE_ADDR pc)
dbbb1059 1590{
dbbb1059
AB
1591 CORE_ADDR func_addr;
1592
1593 /* See if we can determine the end of the prologue via the symbol
1594 table. If so, then return either PC, or the PC after the
1595 prologue, whichever is greater. */
1596 if (find_pc_partial_function (pc, NULL, &func_addr, NULL))
1597 {
1598 CORE_ADDR post_prologue_pc
1599 = skip_prologue_using_sal (gdbarch, func_addr);
1600
1601 if (post_prologue_pc != 0)
1602 return std::max (pc, post_prologue_pc);
1603 }
1604
1605 /* Can't determine prologue from the symbol table, need to examine
78a3b0fa
AB
1606 instructions. Pass -1 for the end address to indicate the prologue
1607 scanner can scan as far as it needs to find the end of the prologue. */
1608 return riscv_scan_prologue (gdbarch, pc, ((CORE_ADDR) -1), NULL);
dbbb1059
AB
1609}
1610
1611/* Implement the gdbarch push dummy code callback. */
1612
1613static CORE_ADDR
1614riscv_push_dummy_code (struct gdbarch *gdbarch, CORE_ADDR sp,
1615 CORE_ADDR funaddr, struct value **args, int nargs,
1616 struct type *value_type, CORE_ADDR *real_pc,
1617 CORE_ADDR *bp_addr, struct regcache *regcache)
1618{
01e175fe
AB
1619 /* A nop instruction is 'add x0, x0, 0'. */
1620 static const gdb_byte nop_insn[] = { 0x13, 0x00, 0x00, 0x00 };
1621
dbbb1059 1622 /* Allocate space for a breakpoint, and keep the stack correctly
01e175fe
AB
1623 aligned. The space allocated here must be at least big enough to
1624 accommodate the NOP_INSN defined above. */
dbbb1059
AB
1625 sp -= 16;
1626 *bp_addr = sp;
1627 *real_pc = funaddr;
01e175fe
AB
1628
1629 /* When we insert a breakpoint we select whether to use a compressed
1630 breakpoint or not based on the existing contents of the memory.
1631
1632 If the breakpoint is being placed onto the stack as part of setting up
1633 for an inferior call from GDB, then the existing stack contents may
1634 randomly appear to be a compressed instruction, causing GDB to insert
1635 a compressed breakpoint. If this happens on a target that does not
1636 support compressed instructions then this could cause problems.
1637
1638 To prevent this issue we write an uncompressed nop onto the stack at
1639 the location where the breakpoint will be inserted. In this way we
1640 ensure that we always use an uncompressed breakpoint, which should
1641 work on all targets.
1642
1643 We call TARGET_WRITE_MEMORY here so that if the write fails we don't
1644 throw an exception. Instead we ignore the error and move on. The
1645 assumption is that either GDB will error later when actually trying to
1646 insert a software breakpoint, or GDB will use hardware breakpoints and
1647 there will be no need to write to memory later. */
1648 int status = target_write_memory (*bp_addr, nop_insn, sizeof (nop_insn));
1649
1650 if (riscv_debug_breakpoints || riscv_debug_infcall)
1651 fprintf_unfiltered (gdb_stdlog,
a83d4ef6
JW
1652 "Writing %s-byte nop instruction to %s: %s\n",
1653 plongest (sizeof (nop_insn)),
01e175fe
AB
1654 paddress (gdbarch, *bp_addr),
1655 (status == 0 ? "success" : "failed"));
1656
dbbb1059
AB
1657 return sp;
1658}
1659
a9158a86
AB
1660/* Implement the gdbarch type alignment method, overrides the generic
1661 alignment algorithm for anything that is RISC-V specific. */
dbbb1059 1662
a9158a86
AB
1663static ULONGEST
1664riscv_type_align (gdbarch *gdbarch, type *type)
dbbb1059 1665{
a9158a86
AB
1666 type = check_typedef (type);
1667 if (TYPE_CODE (type) == TYPE_CODE_ARRAY && TYPE_VECTOR (type))
1668 return std::min (TYPE_LENGTH (type), (ULONGEST) BIGGEST_ALIGNMENT);
dbbb1059 1669
a9158a86
AB
1670 /* Anything else will be aligned by the generic code. */
1671 return 0;
dbbb1059
AB
1672}
1673
1674/* Holds information about a single argument either being passed to an
1675 inferior function, or returned from an inferior function. This includes
1676 information about the size, type, etc of the argument, and also
1677 information about how the argument will be passed (or returned). */
1678
1679struct riscv_arg_info
1680{
1681 /* Contents of the argument. */
1682 const gdb_byte *contents;
1683
1684 /* Length of argument. */
1685 int length;
1686
1687 /* Alignment required for an argument of this type. */
1688 int align;
1689
1690 /* The type for this argument. */
1691 struct type *type;
1692
1693 /* Each argument can have either 1 or 2 locations assigned to it. Each
1694 location describes where part of the argument will be placed. The
1695 second location is valid based on the LOC_TYPE and C_LENGTH fields
1696 of the first location (which is always valid). */
1697 struct location
1698 {
1699 /* What type of location this is. */
1700 enum location_type
1701 {
1702 /* Argument passed in a register. */
1703 in_reg,
1704
1705 /* Argument passed as an on stack argument. */
1706 on_stack,
1707
1708 /* Argument passed by reference. The second location is always
1709 valid for a BY_REF argument, and describes where the address
1710 of the BY_REF argument should be placed. */
1711 by_ref
1712 } loc_type;
1713
1714 /* Information that depends on the location type. */
1715 union
1716 {
1717 /* Which register number to use. */
1718 int regno;
1719
1720 /* The offset into the stack region. */
1721 int offset;
1722 } loc_data;
1723
1724 /* The length of contents covered by this location. If this is less
1725 than the total length of the argument, then the second location
1726 will be valid, and will describe where the rest of the argument
1727 will go. */
1728 int c_length;
1729
dd895392
AB
1730 /* The offset within CONTENTS for this part of the argument. This can
1731 be non-zero even for the first part (the first field of a struct can
1732 have a non-zero offset due to padding). For the second part of the
dbbb1059
AB
1733 argument, this might be the C_LENGTH value of the first part,
1734 however, if we are passing a structure in two registers, and there's
1735 is padding between the first and second field, then this offset
1736 might be greater than the length of the first argument part. When
1737 the second argument location is not holding part of the argument
1738 value, but is instead holding the address of a reference argument,
1739 then this offset will be set to 0. */
1740 int c_offset;
1741 } argloc[2];
8b2d40cb
JW
1742
1743 /* TRUE if this is an unnamed argument. */
1744 bool is_unnamed;
dbbb1059
AB
1745};
1746
1747/* Information about a set of registers being used for passing arguments as
1748 part of a function call. The register set must be numerically
1749 sequential from NEXT_REGNUM to LAST_REGNUM. The register set can be
1750 disabled from use by setting NEXT_REGNUM greater than LAST_REGNUM. */
1751
1752struct riscv_arg_reg
1753{
1754 riscv_arg_reg (int first, int last)
1755 : next_regnum (first),
1756 last_regnum (last)
1757 {
1758 /* Nothing. */
1759 }
1760
1761 /* The GDB register number to use in this set. */
1762 int next_regnum;
1763
1764 /* The last GDB register number to use in this set. */
1765 int last_regnum;
1766};
1767
1768/* Arguments can be passed as on stack arguments, or by reference. The
1769 on stack arguments must be in a continuous region starting from $sp,
1770 while the by reference arguments can be anywhere, but we'll put them
1771 on the stack after (at higher address) the on stack arguments.
1772
1773 This might not be the right approach to take. The ABI is clear that
1774 an argument passed by reference can be modified by the callee, which
1775 us placing the argument (temporarily) onto the stack will not achieve
1776 (changes will be lost). There's also the possibility that very large
1777 arguments could overflow the stack.
1778
1779 This struct is used to track offset into these two areas for where
1780 arguments are to be placed. */
1781struct riscv_memory_offsets
1782{
1783 riscv_memory_offsets ()
1784 : arg_offset (0),
1785 ref_offset (0)
1786 {
1787 /* Nothing. */
1788 }
1789
1790 /* Offset into on stack argument area. */
1791 int arg_offset;
1792
1793 /* Offset into the pass by reference area. */
1794 int ref_offset;
1795};
1796
1797/* Holds information about where arguments to a call will be placed. This
1798 is updated as arguments are added onto the call, and can be used to
1799 figure out where the next argument should be placed. */
1800
1801struct riscv_call_info
1802{
1803 riscv_call_info (struct gdbarch *gdbarch)
1804 : int_regs (RISCV_A0_REGNUM, RISCV_A0_REGNUM + 7),
1805 float_regs (RISCV_FA0_REGNUM, RISCV_FA0_REGNUM + 7)
1806 {
113b7b81
AB
1807 xlen = riscv_abi_xlen (gdbarch);
1808 flen = riscv_abi_flen (gdbarch);
dbbb1059
AB
1809
1810 /* Disable use of floating point registers if needed. */
1811 if (!riscv_has_fp_abi (gdbarch))
1812 float_regs.next_regnum = float_regs.last_regnum + 1;
1813 }
1814
1815 /* Track the memory areas used for holding in-memory arguments to a
1816 call. */
1817 struct riscv_memory_offsets memory;
1818
1819 /* Holds information about the next integer register to use for passing
1820 an argument. */
1821 struct riscv_arg_reg int_regs;
1822
1823 /* Holds information about the next floating point register to use for
1824 passing an argument. */
1825 struct riscv_arg_reg float_regs;
1826
1827 /* The XLEN and FLEN are copied in to this structure for convenience, and
113b7b81 1828 are just the results of calling RISCV_ABI_XLEN and RISCV_ABI_FLEN. */
dbbb1059
AB
1829 int xlen;
1830 int flen;
1831};
1832
1833/* Return the number of registers available for use as parameters in the
1834 register set REG. Returned value can be 0 or more. */
1835
1836static int
1837riscv_arg_regs_available (struct riscv_arg_reg *reg)
1838{
1839 if (reg->next_regnum > reg->last_regnum)
1840 return 0;
1841
1842 return (reg->last_regnum - reg->next_regnum + 1);
1843}
1844
1845/* If there is at least one register available in the register set REG then
1846 the next register from REG is assigned to LOC and the length field of
1847 LOC is updated to LENGTH. The register set REG is updated to indicate
1848 that the assigned register is no longer available and the function
1849 returns true.
1850
1851 If there are no registers available in REG then the function returns
1852 false, and LOC and REG are unchanged. */
1853
1854static bool
1855riscv_assign_reg_location (struct riscv_arg_info::location *loc,
1856 struct riscv_arg_reg *reg,
1857 int length, int offset)
1858{
1859 if (reg->next_regnum <= reg->last_regnum)
1860 {
1861 loc->loc_type = riscv_arg_info::location::in_reg;
1862 loc->loc_data.regno = reg->next_regnum;
1863 reg->next_regnum++;
1864 loc->c_length = length;
1865 loc->c_offset = offset;
1866 return true;
1867 }
1868
1869 return false;
1870}
1871
1872/* Assign LOC a location as the next stack parameter, and update MEMORY to
1873 record that an area of stack has been used to hold the parameter
1874 described by LOC.
1875
1876 The length field of LOC is updated to LENGTH, the length of the
1877 parameter being stored, and ALIGN is the alignment required by the
1878 parameter, which will affect how memory is allocated out of MEMORY. */
1879
1880static void
1881riscv_assign_stack_location (struct riscv_arg_info::location *loc,
1882 struct riscv_memory_offsets *memory,
1883 int length, int align)
1884{
1885 loc->loc_type = riscv_arg_info::location::on_stack;
1886 memory->arg_offset
1887 = align_up (memory->arg_offset, align);
1888 loc->loc_data.offset = memory->arg_offset;
1889 memory->arg_offset += length;
1890 loc->c_length = length;
1891
1892 /* Offset is always 0, either we're the first location part, in which
1893 case we're reading content from the start of the argument, or we're
1894 passing the address of a reference argument, so 0. */
1895 loc->c_offset = 0;
1896}
1897
1898/* Update AINFO, which describes an argument that should be passed or
1899 returned using the integer ABI. The argloc fields within AINFO are
1900 updated to describe the location in which the argument will be passed to
1901 a function, or returned from a function.
1902
1903 The CINFO structure contains the ongoing call information, the holds
1904 information such as which argument registers are remaining to be
1905 assigned to parameter, and how much memory has been used by parameters
1906 so far.
1907
1908 By examining the state of CINFO a suitable location can be selected,
1909 and assigned to AINFO. */
1910
1911static void
1912riscv_call_arg_scalar_int (struct riscv_arg_info *ainfo,
1913 struct riscv_call_info *cinfo)
1914{
1915 if (ainfo->length > (2 * cinfo->xlen))
1916 {
1917 /* Argument is going to be passed by reference. */
1918 ainfo->argloc[0].loc_type
1919 = riscv_arg_info::location::by_ref;
1920 cinfo->memory.ref_offset
1921 = align_up (cinfo->memory.ref_offset, ainfo->align);
1922 ainfo->argloc[0].loc_data.offset = cinfo->memory.ref_offset;
1923 cinfo->memory.ref_offset += ainfo->length;
1924 ainfo->argloc[0].c_length = ainfo->length;
1925
1926 /* The second location for this argument is given over to holding the
1927 address of the by-reference data. Pass 0 for the offset as this
1928 is not part of the actual argument value. */
1929 if (!riscv_assign_reg_location (&ainfo->argloc[1],
1930 &cinfo->int_regs,
1931 cinfo->xlen, 0))
1932 riscv_assign_stack_location (&ainfo->argloc[1],
1933 &cinfo->memory, cinfo->xlen,
1934 cinfo->xlen);
1935 }
1936 else
1937 {
174f8ac8
JW
1938 int len = std::min (ainfo->length, cinfo->xlen);
1939 int align = std::max (ainfo->align, cinfo->xlen);
dbbb1059 1940
8b2d40cb
JW
1941 /* Unnamed arguments in registers that require 2*XLEN alignment are
1942 passed in an aligned register pair. */
1943 if (ainfo->is_unnamed && (align == cinfo->xlen * 2)
1944 && cinfo->int_regs.next_regnum & 1)
1945 cinfo->int_regs.next_regnum++;
1946
dbbb1059
AB
1947 if (!riscv_assign_reg_location (&ainfo->argloc[0],
1948 &cinfo->int_regs, len, 0))
1949 riscv_assign_stack_location (&ainfo->argloc[0],
174f8ac8 1950 &cinfo->memory, len, align);
dbbb1059
AB
1951
1952 if (len < ainfo->length)
1953 {
1954 len = ainfo->length - len;
1955 if (!riscv_assign_reg_location (&ainfo->argloc[1],
1956 &cinfo->int_regs, len,
1957 cinfo->xlen))
1958 riscv_assign_stack_location (&ainfo->argloc[1],
1959 &cinfo->memory, len, cinfo->xlen);
1960 }
1961 }
1962}
1963
1964/* Like RISCV_CALL_ARG_SCALAR_INT, except the argument described by AINFO
1965 is being passed with the floating point ABI. */
1966
1967static void
1968riscv_call_arg_scalar_float (struct riscv_arg_info *ainfo,
1969 struct riscv_call_info *cinfo)
1970{
4de3d8d0 1971 if (ainfo->length > cinfo->flen || ainfo->is_unnamed)
dbbb1059
AB
1972 return riscv_call_arg_scalar_int (ainfo, cinfo);
1973 else
1974 {
1975 if (!riscv_assign_reg_location (&ainfo->argloc[0],
1976 &cinfo->float_regs,
1977 ainfo->length, 0))
1978 return riscv_call_arg_scalar_int (ainfo, cinfo);
1979 }
1980}
1981
1982/* Like RISCV_CALL_ARG_SCALAR_INT, except the argument described by AINFO
1983 is a complex floating point argument, and is therefore handled
1984 differently to other argument types. */
1985
1986static void
1987riscv_call_arg_complex_float (struct riscv_arg_info *ainfo,
1988 struct riscv_call_info *cinfo)
1989{
1990 if (ainfo->length <= (2 * cinfo->flen)
4de3d8d0
AB
1991 && riscv_arg_regs_available (&cinfo->float_regs) >= 2
1992 && !ainfo->is_unnamed)
dbbb1059
AB
1993 {
1994 bool result;
1995 int len = ainfo->length / 2;
1996
1997 result = riscv_assign_reg_location (&ainfo->argloc[0],
9f0272f8 1998 &cinfo->float_regs, len, 0);
dbbb1059
AB
1999 gdb_assert (result);
2000
2001 result = riscv_assign_reg_location (&ainfo->argloc[1],
2002 &cinfo->float_regs, len, len);
2003 gdb_assert (result);
2004 }
2005 else
2006 return riscv_call_arg_scalar_int (ainfo, cinfo);
2007}
2008
2009/* A structure used for holding information about a structure type within
2010 the inferior program. The RiscV ABI has special rules for handling some
2011 structures with a single field or with two fields. The counting of
2012 fields here is done after flattening out all nested structures. */
2013
2014class riscv_struct_info
2015{
2016public:
2017 riscv_struct_info ()
2018 : m_number_of_fields (0),
9f0272f8
AB
2019 m_types { nullptr, nullptr },
2020 m_offsets { 0, 0 }
dbbb1059
AB
2021 {
2022 /* Nothing. */
2023 }
2024
2025 /* Analyse TYPE descending into nested structures, count the number of
2026 scalar fields and record the types of the first two fields found. */
9f0272f8
AB
2027 void analyse (struct type *type)
2028 {
2029 analyse_inner (type, 0);
2030 }
dbbb1059
AB
2031
2032 /* The number of scalar fields found in the analysed type. This is
2033 currently only accurate if the value returned is 0, 1, or 2 as the
2034 analysis stops counting when the number of fields is 3. This is
2035 because the RiscV ABI only has special cases for 1 or 2 fields,
2036 anything else we just don't care about. */
2037 int number_of_fields () const
2038 { return m_number_of_fields; }
2039
2040 /* Return the type for scalar field INDEX within the analysed type. Will
2041 return nullptr if there is no field at that index. Only INDEX values
2042 0 and 1 can be requested as the RiscV ABI only has special cases for
2043 structures with 1 or 2 fields. */
2044 struct type *field_type (int index) const
2045 {
2046 gdb_assert (index < (sizeof (m_types) / sizeof (m_types[0])));
2047 return m_types[index];
2048 }
2049
9f0272f8
AB
2050 /* Return the offset of scalar field INDEX within the analysed type. Will
2051 return 0 if there is no field at that index. Only INDEX values 0 and
2052 1 can be requested as the RiscV ABI only has special cases for
2053 structures with 1 or 2 fields. */
2054 int field_offset (int index) const
2055 {
2056 gdb_assert (index < (sizeof (m_offsets) / sizeof (m_offsets[0])));
2057 return m_offsets[index];
2058 }
2059
dbbb1059
AB
2060private:
2061 /* The number of scalar fields found within the structure after recursing
2062 into nested structures. */
2063 int m_number_of_fields;
2064
2065 /* The types of the first two scalar fields found within the structure
2066 after recursing into nested structures. */
2067 struct type *m_types[2];
9f0272f8
AB
2068
2069 /* The offsets of the first two scalar fields found within the structure
2070 after recursing into nested structures. */
2071 int m_offsets[2];
2072
2073 /* Recursive core for ANALYSE, the OFFSET parameter tracks the byte
2074 offset from the start of the top level structure being analysed. */
2075 void analyse_inner (struct type *type, int offset);
dbbb1059
AB
2076};
2077
9f0272f8 2078/* See description in class declaration. */
dbbb1059
AB
2079
2080void
9f0272f8 2081riscv_struct_info::analyse_inner (struct type *type, int offset)
dbbb1059
AB
2082{
2083 unsigned int count = TYPE_NFIELDS (type);
2084 unsigned int i;
2085
2086 for (i = 0; i < count; ++i)
2087 {
2088 if (TYPE_FIELD_LOC_KIND (type, i) != FIELD_LOC_KIND_BITPOS)
2089 continue;
2090
2091 struct type *field_type = TYPE_FIELD_TYPE (type, i);
2092 field_type = check_typedef (field_type);
9f0272f8
AB
2093 int field_offset
2094 = offset + TYPE_FIELD_BITPOS (type, i) / TARGET_CHAR_BIT;
dbbb1059
AB
2095
2096 switch (TYPE_CODE (field_type))
2097 {
2098 case TYPE_CODE_STRUCT:
9f0272f8 2099 analyse_inner (field_type, field_offset);
dbbb1059
AB
2100 break;
2101
2102 default:
2103 /* RiscV only flattens out structures. Anything else does not
2104 need to be flattened, we just record the type, and when we
2105 look at the analysis results we'll realise this is not a
2106 structure we can special case, and pass the structure in
2107 memory. */
2108 if (m_number_of_fields < 2)
9f0272f8
AB
2109 {
2110 m_types[m_number_of_fields] = field_type;
2111 m_offsets[m_number_of_fields] = field_offset;
2112 }
dbbb1059
AB
2113 m_number_of_fields++;
2114 break;
2115 }
2116
2117 /* RiscV only has special handling for structures with 1 or 2 scalar
2118 fields, any more than that and the structure is just passed in
2119 memory. We can safely drop out early when we find 3 or more
2120 fields then. */
2121
2122 if (m_number_of_fields > 2)
2123 return;
2124 }
2125}
2126
2127/* Like RISCV_CALL_ARG_SCALAR_INT, except the argument described by AINFO
2128 is a structure. Small structures on RiscV have some special case
2129 handling in order that the structure might be passed in register.
2130 Larger structures are passed in memory. After assigning location
2131 information to AINFO, CINFO will have been updated. */
2132
2133static void
2134riscv_call_arg_struct (struct riscv_arg_info *ainfo,
2135 struct riscv_call_info *cinfo)
2136{
2137 if (riscv_arg_regs_available (&cinfo->float_regs) >= 1)
2138 {
2139 struct riscv_struct_info sinfo;
2140
2141 sinfo.analyse (ainfo->type);
2142 if (sinfo.number_of_fields () == 1
2143 && TYPE_CODE (sinfo.field_type (0)) == TYPE_CODE_COMPLEX)
2144 {
9f0272f8
AB
2145 /* The following is similar to RISCV_CALL_ARG_COMPLEX_FLOAT,
2146 except we use the type of the complex field instead of the
2147 type from AINFO, and the first location might be at a non-zero
2148 offset. */
2149 if (TYPE_LENGTH (sinfo.field_type (0)) <= (2 * cinfo->flen)
2150 && riscv_arg_regs_available (&cinfo->float_regs) >= 2
2151 && !ainfo->is_unnamed)
2152 {
2153 bool result;
2154 int len = TYPE_LENGTH (sinfo.field_type (0)) / 2;
2155 int offset = sinfo.field_offset (0);
2156
2157 result = riscv_assign_reg_location (&ainfo->argloc[0],
2158 &cinfo->float_regs, len,
2159 offset);
2160 gdb_assert (result);
2161
2162 result = riscv_assign_reg_location (&ainfo->argloc[1],
2163 &cinfo->float_regs, len,
2164 (offset + len));
2165 gdb_assert (result);
2166 }
2167 else
2168 riscv_call_arg_scalar_int (ainfo, cinfo);
2169 return;
dbbb1059
AB
2170 }
2171
2172 if (sinfo.number_of_fields () == 1
2173 && TYPE_CODE (sinfo.field_type (0)) == TYPE_CODE_FLT)
2174 {
9f0272f8
AB
2175 /* The following is similar to RISCV_CALL_ARG_SCALAR_FLOAT,
2176 except we use the type of the first scalar field instead of
2177 the type from AINFO. Also the location might be at a non-zero
2178 offset. */
2179 if (TYPE_LENGTH (sinfo.field_type (0)) > cinfo->flen
2180 || ainfo->is_unnamed)
2181 riscv_call_arg_scalar_int (ainfo, cinfo);
2182 else
2183 {
2184 int offset = sinfo.field_offset (0);
2185 int len = TYPE_LENGTH (sinfo.field_type (0));
2186
2187 if (!riscv_assign_reg_location (&ainfo->argloc[0],
2188 &cinfo->float_regs,
2189 len, offset))
2190 riscv_call_arg_scalar_int (ainfo, cinfo);
2191 }
2192 return;
dbbb1059
AB
2193 }
2194
2195 if (sinfo.number_of_fields () == 2
2196 && TYPE_CODE (sinfo.field_type (0)) == TYPE_CODE_FLT
2197 && TYPE_LENGTH (sinfo.field_type (0)) <= cinfo->flen
2198 && TYPE_CODE (sinfo.field_type (1)) == TYPE_CODE_FLT
2199 && TYPE_LENGTH (sinfo.field_type (1)) <= cinfo->flen
2200 && riscv_arg_regs_available (&cinfo->float_regs) >= 2)
2201 {
9f0272f8
AB
2202 int len0 = TYPE_LENGTH (sinfo.field_type (0));
2203 int offset = sinfo.field_offset (0);
dbbb1059 2204 if (!riscv_assign_reg_location (&ainfo->argloc[0],
9f0272f8 2205 &cinfo->float_regs, len0, offset))
dbbb1059
AB
2206 error (_("failed during argument setup"));
2207
9f0272f8
AB
2208 int len1 = TYPE_LENGTH (sinfo.field_type (1));
2209 offset = sinfo.field_offset (1);
dbbb1059
AB
2210 gdb_assert (len1 <= (TYPE_LENGTH (ainfo->type)
2211 - TYPE_LENGTH (sinfo.field_type (0))));
2212
2213 if (!riscv_assign_reg_location (&ainfo->argloc[1],
2214 &cinfo->float_regs,
2215 len1, offset))
2216 error (_("failed during argument setup"));
2217 return;
2218 }
2219
2220 if (sinfo.number_of_fields () == 2
2221 && riscv_arg_regs_available (&cinfo->int_regs) >= 1
2222 && (TYPE_CODE (sinfo.field_type (0)) == TYPE_CODE_FLT
2223 && TYPE_LENGTH (sinfo.field_type (0)) <= cinfo->flen
2224 && is_integral_type (sinfo.field_type (1))
2225 && TYPE_LENGTH (sinfo.field_type (1)) <= cinfo->xlen))
2226 {
9f0272f8
AB
2227 int len0 = TYPE_LENGTH (sinfo.field_type (0));
2228 int offset = sinfo.field_offset (0);
dbbb1059 2229 if (!riscv_assign_reg_location (&ainfo->argloc[0],
9f0272f8 2230 &cinfo->float_regs, len0, offset))
dbbb1059
AB
2231 error (_("failed during argument setup"));
2232
9f0272f8
AB
2233 int len1 = TYPE_LENGTH (sinfo.field_type (1));
2234 offset = sinfo.field_offset (1);
dbbb1059
AB
2235 gdb_assert (len1 <= cinfo->xlen);
2236 if (!riscv_assign_reg_location (&ainfo->argloc[1],
2237 &cinfo->int_regs, len1, offset))
2238 error (_("failed during argument setup"));
2239 return;
2240 }
2241
2242 if (sinfo.number_of_fields () == 2
2243 && riscv_arg_regs_available (&cinfo->int_regs) >= 1
2244 && (is_integral_type (sinfo.field_type (0))
2245 && TYPE_LENGTH (sinfo.field_type (0)) <= cinfo->xlen
2246 && TYPE_CODE (sinfo.field_type (1)) == TYPE_CODE_FLT
2247 && TYPE_LENGTH (sinfo.field_type (1)) <= cinfo->flen))
2248 {
9f0272f8
AB
2249 int len0 = TYPE_LENGTH (sinfo.field_type (0));
2250 int len1 = TYPE_LENGTH (sinfo.field_type (1));
dbbb1059
AB
2251
2252 gdb_assert (len0 <= cinfo->xlen);
2253 gdb_assert (len1 <= cinfo->flen);
2254
9f0272f8 2255 int offset = sinfo.field_offset (0);
dbbb1059 2256 if (!riscv_assign_reg_location (&ainfo->argloc[0],
9f0272f8 2257 &cinfo->int_regs, len0, offset))
dbbb1059
AB
2258 error (_("failed during argument setup"));
2259
9f0272f8 2260 offset = sinfo.field_offset (1);
dbbb1059
AB
2261 if (!riscv_assign_reg_location (&ainfo->argloc[1],
2262 &cinfo->float_regs,
2263 len1, offset))
2264 error (_("failed during argument setup"));
2265
2266 return;
2267 }
2268 }
2269
2270 /* Non of the structure flattening cases apply, so we just pass using
2271 the integer ABI. */
dbbb1059
AB
2272 riscv_call_arg_scalar_int (ainfo, cinfo);
2273}
2274
2275/* Assign a location to call (or return) argument AINFO, the location is
2276 selected from CINFO which holds information about what call argument
2277 locations are available for use next. The TYPE is the type of the
2278 argument being passed, this information is recorded into AINFO (along
8b2d40cb
JW
2279 with some additional information derived from the type). IS_UNNAMED
2280 is true if this is an unnamed (stdarg) argument, this info is also
2281 recorded into AINFO.
dbbb1059
AB
2282
2283 After assigning a location to AINFO, CINFO will have been updated. */
2284
2285static void
2286riscv_arg_location (struct gdbarch *gdbarch,
2287 struct riscv_arg_info *ainfo,
2288 struct riscv_call_info *cinfo,
8b2d40cb 2289 struct type *type, bool is_unnamed)
dbbb1059
AB
2290{
2291 ainfo->type = type;
2292 ainfo->length = TYPE_LENGTH (ainfo->type);
a9158a86 2293 ainfo->align = type_align (ainfo->type);
8b2d40cb 2294 ainfo->is_unnamed = is_unnamed;
dbbb1059 2295 ainfo->contents = nullptr;
9f0272f8
AB
2296 ainfo->argloc[0].c_length = 0;
2297 ainfo->argloc[1].c_length = 0;
dbbb1059
AB
2298
2299 switch (TYPE_CODE (ainfo->type))
2300 {
2301 case TYPE_CODE_INT:
2302 case TYPE_CODE_BOOL:
2303 case TYPE_CODE_CHAR:
2304 case TYPE_CODE_RANGE:
2305 case TYPE_CODE_ENUM:
2306 case TYPE_CODE_PTR:
2307 if (ainfo->length <= cinfo->xlen)
2308 {
2309 ainfo->type = builtin_type (gdbarch)->builtin_long;
2310 ainfo->length = cinfo->xlen;
2311 }
2312 else if (ainfo->length <= (2 * cinfo->xlen))
2313 {
2314 ainfo->type = builtin_type (gdbarch)->builtin_long_long;
2315 ainfo->length = 2 * cinfo->xlen;
2316 }
2317
2318 /* Recalculate the alignment requirement. */
a9158a86 2319 ainfo->align = type_align (ainfo->type);
dbbb1059
AB
2320 riscv_call_arg_scalar_int (ainfo, cinfo);
2321 break;
2322
2323 case TYPE_CODE_FLT:
2324 riscv_call_arg_scalar_float (ainfo, cinfo);
2325 break;
2326
2327 case TYPE_CODE_COMPLEX:
2328 riscv_call_arg_complex_float (ainfo, cinfo);
2329 break;
2330
2331 case TYPE_CODE_STRUCT:
2332 riscv_call_arg_struct (ainfo, cinfo);
2333 break;
2334
2335 default:
2336 riscv_call_arg_scalar_int (ainfo, cinfo);
2337 break;
2338 }
2339}
2340
cab5bb9d
AB
2341/* Used for printing debug information about the call argument location in
2342 INFO to STREAM. The addresses in SP_REFS and SP_ARGS are the base
2343 addresses for the location of pass-by-reference and
2344 arguments-on-the-stack memory areas. */
2345
dbbb1059 2346static void
cab5bb9d 2347riscv_print_arg_location (ui_file *stream, struct gdbarch *gdbarch,
dbbb1059
AB
2348 struct riscv_arg_info *info,
2349 CORE_ADDR sp_refs, CORE_ADDR sp_args)
2350{
cab5bb9d 2351 fprintf_unfiltered (stream, "type: '%s', length: 0x%x, alignment: 0x%x",
42ecac17 2352 TYPE_SAFE_NAME (info->type), info->length, info->align);
dbbb1059
AB
2353 switch (info->argloc[0].loc_type)
2354 {
2355 case riscv_arg_info::location::in_reg:
cab5bb9d
AB
2356 fprintf_unfiltered
2357 (stream, ", register %s",
2358 gdbarch_register_name (gdbarch, info->argloc[0].loc_data.regno));
dbbb1059
AB
2359 if (info->argloc[0].c_length < info->length)
2360 {
2361 switch (info->argloc[1].loc_type)
2362 {
2363 case riscv_arg_info::location::in_reg:
cab5bb9d
AB
2364 fprintf_unfiltered
2365 (stream, ", register %s",
2366 gdbarch_register_name (gdbarch,
2367 info->argloc[1].loc_data.regno));
dbbb1059
AB
2368 break;
2369
2370 case riscv_arg_info::location::on_stack:
cab5bb9d
AB
2371 fprintf_unfiltered (stream, ", on stack at offset 0x%x",
2372 info->argloc[1].loc_data.offset);
dbbb1059
AB
2373 break;
2374
2375 case riscv_arg_info::location::by_ref:
2376 default:
2377 /* The second location should never be a reference, any
2378 argument being passed by reference just places its address
2379 in the first location and is done. */
2380 error (_("invalid argument location"));
2381 break;
2382 }
2383
2384 if (info->argloc[1].c_offset > info->argloc[0].c_length)
cab5bb9d
AB
2385 fprintf_unfiltered (stream, " (offset 0x%x)",
2386 info->argloc[1].c_offset);
dbbb1059
AB
2387 }
2388 break;
2389
2390 case riscv_arg_info::location::on_stack:
cab5bb9d
AB
2391 fprintf_unfiltered (stream, ", on stack at offset 0x%x",
2392 info->argloc[0].loc_data.offset);
dbbb1059
AB
2393 break;
2394
2395 case riscv_arg_info::location::by_ref:
cab5bb9d
AB
2396 fprintf_unfiltered
2397 (stream, ", by reference, data at offset 0x%x (%s)",
2398 info->argloc[0].loc_data.offset,
2399 core_addr_to_string (sp_refs + info->argloc[0].loc_data.offset));
dbbb1059
AB
2400 if (info->argloc[1].loc_type
2401 == riscv_arg_info::location::in_reg)
cab5bb9d
AB
2402 fprintf_unfiltered
2403 (stream, ", address in register %s",
2404 gdbarch_register_name (gdbarch, info->argloc[1].loc_data.regno));
dbbb1059
AB
2405 else
2406 {
2407 gdb_assert (info->argloc[1].loc_type
2408 == riscv_arg_info::location::on_stack);
cab5bb9d
AB
2409 fprintf_unfiltered
2410 (stream, ", address on stack at offset 0x%x (%s)",
2411 info->argloc[1].loc_data.offset,
2412 core_addr_to_string (sp_args + info->argloc[1].loc_data.offset));
dbbb1059
AB
2413 }
2414 break;
2415
2416 default:
89a3b63e 2417 gdb_assert_not_reached (_("unknown argument location type"));
dbbb1059
AB
2418 }
2419}
2420
dd895392
AB
2421/* Wrapper around REGCACHE->cooked_write. Places the LEN bytes of DATA
2422 into a buffer that is at least as big as the register REGNUM, padding
2423 out the DATA with either 0x00, or 0xff. For floating point registers
2424 0xff is used, for everyone else 0x00 is used. */
2425
2426static void
2427riscv_regcache_cooked_write (int regnum, const gdb_byte *data, int len,
2428 struct regcache *regcache, int flen)
2429{
2430 gdb_byte tmp [sizeof (ULONGEST)];
2431
2432 /* FP values in FP registers must be NaN-boxed. */
2433 if (riscv_is_fp_regno_p (regnum) && len < flen)
2434 memset (tmp, -1, sizeof (tmp));
2435 else
2436 memset (tmp, 0, sizeof (tmp));
2437 memcpy (tmp, data, len);
2438 regcache->cooked_write (regnum, tmp);
2439}
2440
dbbb1059
AB
2441/* Implement the push dummy call gdbarch callback. */
2442
2443static CORE_ADDR
2444riscv_push_dummy_call (struct gdbarch *gdbarch,
2445 struct value *function,
2446 struct regcache *regcache,
2447 CORE_ADDR bp_addr,
2448 int nargs,
2449 struct value **args,
2450 CORE_ADDR sp,
cf84fa6b 2451 function_call_return_method return_method,
dbbb1059
AB
2452 CORE_ADDR struct_addr)
2453{
2454 int i;
2455 CORE_ADDR sp_args, sp_refs;
2456 enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
dbbb1059
AB
2457
2458 struct riscv_arg_info *arg_info =
2459 (struct riscv_arg_info *) alloca (nargs * sizeof (struct riscv_arg_info));
dbbb1059
AB
2460
2461 struct riscv_call_info call_info (gdbarch);
2462
2463 CORE_ADDR osp = sp;
2464
8b2d40cb
JW
2465 struct type *ftype = check_typedef (value_type (function));
2466
2467 if (TYPE_CODE (ftype) == TYPE_CODE_PTR)
2468 ftype = check_typedef (TYPE_TARGET_TYPE (ftype));
2469
dbbb1059 2470 /* We'll use register $a0 if we're returning a struct. */
cf84fa6b 2471 if (return_method == return_method_struct)
dbbb1059
AB
2472 ++call_info.int_regs.next_regnum;
2473
b926417a 2474 for (i = 0; i < nargs; ++i)
dbbb1059
AB
2475 {
2476 struct value *arg_value;
2477 struct type *arg_type;
b926417a 2478 struct riscv_arg_info *info = &arg_info[i];
dbbb1059
AB
2479
2480 arg_value = args[i];
2481 arg_type = check_typedef (value_type (arg_value));
2482
8b2d40cb
JW
2483 riscv_arg_location (gdbarch, info, &call_info, arg_type,
2484 TYPE_VARARGS (ftype) && i >= TYPE_NFIELDS (ftype));
dbbb1059
AB
2485
2486 if (info->type != arg_type)
2487 arg_value = value_cast (info->type, arg_value);
2488 info->contents = value_contents (arg_value);
2489 }
2490
2491 /* Adjust the stack pointer and align it. */
2492 sp = sp_refs = align_down (sp - call_info.memory.ref_offset, SP_ALIGNMENT);
2493 sp = sp_args = align_down (sp - call_info.memory.arg_offset, SP_ALIGNMENT);
2494
2495 if (riscv_debug_infcall > 0)
2496 {
2497 fprintf_unfiltered (gdb_stdlog, "dummy call args:\n");
2498 fprintf_unfiltered (gdb_stdlog, ": floating point ABI %s in use\n",
2499 (riscv_has_fp_abi (gdbarch) ? "is" : "is not"));
2500 fprintf_unfiltered (gdb_stdlog, ": xlen: %d\n: flen: %d\n",
2501 call_info.xlen, call_info.flen);
cf84fa6b 2502 if (return_method == return_method_struct)
dbbb1059
AB
2503 fprintf_unfiltered (gdb_stdlog,
2504 "[*] struct return pointer in register $A0\n");
2505 for (i = 0; i < nargs; ++i)
2506 {
2507 struct riscv_arg_info *info = &arg_info [i];
2508
2509 fprintf_unfiltered (gdb_stdlog, "[%2d] ", i);
cab5bb9d 2510 riscv_print_arg_location (gdb_stdlog, gdbarch, info, sp_refs, sp_args);
dbbb1059
AB
2511 fprintf_unfiltered (gdb_stdlog, "\n");
2512 }
2513 if (call_info.memory.arg_offset > 0
2514 || call_info.memory.ref_offset > 0)
2515 {
cab5bb9d
AB
2516 fprintf_unfiltered (gdb_stdlog, " Original sp: %s\n",
2517 core_addr_to_string (osp));
dbbb1059 2518 fprintf_unfiltered (gdb_stdlog, "Stack required (for args): 0x%x\n",
cab5bb9d 2519 call_info.memory.arg_offset);
dbbb1059 2520 fprintf_unfiltered (gdb_stdlog, "Stack required (for refs): 0x%x\n",
cab5bb9d 2521 call_info.memory.ref_offset);
fb294655
AB
2522 fprintf_unfiltered (gdb_stdlog, " Stack allocated: %s\n",
2523 core_addr_to_string_nz (osp - sp));
dbbb1059
AB
2524 }
2525 }
2526
2527 /* Now load the argument into registers, or onto the stack. */
2528
cf84fa6b 2529 if (return_method == return_method_struct)
dbbb1059
AB
2530 {
2531 gdb_byte buf[sizeof (LONGEST)];
2532
2533 store_unsigned_integer (buf, call_info.xlen, byte_order, struct_addr);
b66f5587 2534 regcache->cooked_write (RISCV_A0_REGNUM, buf);
dbbb1059
AB
2535 }
2536
2537 for (i = 0; i < nargs; ++i)
2538 {
2539 CORE_ADDR dst;
2540 int second_arg_length = 0;
2541 const gdb_byte *second_arg_data;
2542 struct riscv_arg_info *info = &arg_info [i];
2543
2544 gdb_assert (info->length > 0);
2545
2546 switch (info->argloc[0].loc_type)
2547 {
2548 case riscv_arg_info::location::in_reg:
2549 {
dbbb1059 2550 gdb_assert (info->argloc[0].c_length <= info->length);
dd895392
AB
2551
2552 riscv_regcache_cooked_write (info->argloc[0].loc_data.regno,
2553 (info->contents
2554 + info->argloc[0].c_offset),
2555 info->argloc[0].c_length,
2556 regcache, call_info.flen);
dbbb1059 2557 second_arg_length =
9f0272f8 2558 (((info->argloc[0].c_length + info->argloc[0].c_offset) < info->length)
dbbb1059
AB
2559 ? info->argloc[1].c_length : 0);
2560 second_arg_data = info->contents + info->argloc[1].c_offset;
2561 }
2562 break;
2563
2564 case riscv_arg_info::location::on_stack:
2565 dst = sp_args + info->argloc[0].loc_data.offset;
2566 write_memory (dst, info->contents, info->length);
2567 second_arg_length = 0;
2568 break;
2569
2570 case riscv_arg_info::location::by_ref:
2571 dst = sp_refs + info->argloc[0].loc_data.offset;
2572 write_memory (dst, info->contents, info->length);
2573
2574 second_arg_length = call_info.xlen;
2575 second_arg_data = (gdb_byte *) &dst;
2576 break;
2577
2578 default:
89a3b63e 2579 gdb_assert_not_reached (_("unknown argument location type"));
dbbb1059
AB
2580 }
2581
2582 if (second_arg_length > 0)
2583 {
2584 switch (info->argloc[1].loc_type)
2585 {
2586 case riscv_arg_info::location::in_reg:
2587 {
8c49aa89
AB
2588 gdb_assert ((riscv_is_fp_regno_p (info->argloc[1].loc_data.regno)
2589 && second_arg_length <= call_info.flen)
2590 || second_arg_length <= call_info.xlen);
dd895392
AB
2591 riscv_regcache_cooked_write (info->argloc[1].loc_data.regno,
2592 second_arg_data,
2593 second_arg_length,
2594 regcache, call_info.flen);
dbbb1059
AB
2595 }
2596 break;
2597
2598 case riscv_arg_info::location::on_stack:
2599 {
2600 CORE_ADDR arg_addr;
2601
2602 arg_addr = sp_args + info->argloc[1].loc_data.offset;
2603 write_memory (arg_addr, second_arg_data, second_arg_length);
2604 break;
2605 }
2606
2607 case riscv_arg_info::location::by_ref:
2608 default:
2609 /* The second location should never be a reference, any
2610 argument being passed by reference just places its address
2611 in the first location and is done. */
2612 error (_("invalid argument location"));
2613 break;
2614 }
2615 }
2616 }
2617
2618 /* Set the dummy return value to bp_addr.
2619 A dummy breakpoint will be setup to execute the call. */
2620
2621 if (riscv_debug_infcall > 0)
cab5bb9d
AB
2622 fprintf_unfiltered (gdb_stdlog, ": writing $ra = %s\n",
2623 core_addr_to_string (bp_addr));
dbbb1059
AB
2624 regcache_cooked_write_unsigned (regcache, RISCV_RA_REGNUM, bp_addr);
2625
2626 /* Finally, update the stack pointer. */
2627
2628 if (riscv_debug_infcall > 0)
cab5bb9d
AB
2629 fprintf_unfiltered (gdb_stdlog, ": writing $sp = %s\n",
2630 core_addr_to_string (sp));
dbbb1059
AB
2631 regcache_cooked_write_unsigned (regcache, RISCV_SP_REGNUM, sp);
2632
2633 return sp;
2634}
2635
2636/* Implement the return_value gdbarch method. */
2637
2638static enum return_value_convention
2639riscv_return_value (struct gdbarch *gdbarch,
2640 struct value *function,
2641 struct type *type,
2642 struct regcache *regcache,
2643 gdb_byte *readbuf,
2644 const gdb_byte *writebuf)
2645{
dbbb1059
AB
2646 struct riscv_call_info call_info (gdbarch);
2647 struct riscv_arg_info info;
2648 struct type *arg_type;
2649
2650 arg_type = check_typedef (type);
8b2d40cb 2651 riscv_arg_location (gdbarch, &info, &call_info, arg_type, false);
dbbb1059
AB
2652
2653 if (riscv_debug_infcall > 0)
2654 {
2655 fprintf_unfiltered (gdb_stdlog, "riscv return value:\n");
2656 fprintf_unfiltered (gdb_stdlog, "[R] ");
cab5bb9d 2657 riscv_print_arg_location (gdb_stdlog, gdbarch, &info, 0, 0);
dbbb1059
AB
2658 fprintf_unfiltered (gdb_stdlog, "\n");
2659 }
2660
2661 if (readbuf != nullptr || writebuf != nullptr)
2662 {
74e3300d
AB
2663 unsigned int arg_len;
2664 struct value *abi_val;
2665 gdb_byte *old_readbuf = nullptr;
2666 int regnum;
2667
2668 /* We only do one thing at a time. */
2669 gdb_assert (readbuf == nullptr || writebuf == nullptr);
2670
2671 /* In some cases the argument is not returned as the declared type,
2672 and we need to cast to or from the ABI type in order to
2673 correctly access the argument. When writing to the machine we
2674 do the cast here, when reading from the machine the cast occurs
2675 later, after extracting the value. As the ABI type can be
2676 larger than the declared type, then the read or write buffers
2677 passed in might be too small. Here we ensure that we are using
2678 buffers of sufficient size. */
2679 if (writebuf != nullptr)
2680 {
2681 struct value *arg_val = value_from_contents (arg_type, writebuf);
2682 abi_val = value_cast (info.type, arg_val);
2683 writebuf = value_contents_raw (abi_val);
2684 }
2685 else
2686 {
2687 abi_val = allocate_value (info.type);
2688 old_readbuf = readbuf;
2689 readbuf = value_contents_raw (abi_val);
2690 }
2691 arg_len = TYPE_LENGTH (info.type);
dbbb1059
AB
2692
2693 switch (info.argloc[0].loc_type)
2694 {
2695 /* Return value in register(s). */
2696 case riscv_arg_info::location::in_reg:
2697 {
2698 regnum = info.argloc[0].loc_data.regno;
74e3300d
AB
2699 gdb_assert (info.argloc[0].c_length <= arg_len);
2700 gdb_assert (info.argloc[0].c_length
2701 <= register_size (gdbarch, regnum));
dbbb1059
AB
2702
2703 if (readbuf)
9f0272f8
AB
2704 {
2705 gdb_byte *ptr = readbuf + info.argloc[0].c_offset;
2706 regcache->cooked_read_part (regnum, 0,
2707 info.argloc[0].c_length,
2708 ptr);
2709 }
dbbb1059
AB
2710
2711 if (writebuf)
9f0272f8
AB
2712 {
2713 const gdb_byte *ptr = writebuf + info.argloc[0].c_offset;
dd895392 2714 riscv_regcache_cooked_write (regnum, ptr,
9f0272f8 2715 info.argloc[0].c_length,
dd895392 2716 regcache, call_info.flen);
9f0272f8 2717 }
dbbb1059
AB
2718
2719 /* A return value in register can have a second part in a
2720 second register. */
9f0272f8 2721 if (info.argloc[1].c_length > 0)
dbbb1059
AB
2722 {
2723 switch (info.argloc[1].loc_type)
2724 {
2725 case riscv_arg_info::location::in_reg:
2726 regnum = info.argloc[1].loc_data.regno;
2727
74e3300d
AB
2728 gdb_assert ((info.argloc[0].c_length
2729 + info.argloc[1].c_length) <= arg_len);
2730 gdb_assert (info.argloc[1].c_length
2731 <= register_size (gdbarch, regnum));
2732
dbbb1059
AB
2733 if (readbuf)
2734 {
2735 readbuf += info.argloc[1].c_offset;
74e3300d
AB
2736 regcache->cooked_read_part (regnum, 0,
2737 info.argloc[1].c_length,
2738 readbuf);
dbbb1059
AB
2739 }
2740
2741 if (writebuf)
2742 {
dd895392
AB
2743 const gdb_byte *ptr
2744 = writebuf + info.argloc[1].c_offset;
2745 riscv_regcache_cooked_write
2746 (regnum, ptr, info.argloc[1].c_length,
2747 regcache, call_info.flen);
dbbb1059
AB
2748 }
2749 break;
2750
2751 case riscv_arg_info::location::by_ref:
2752 case riscv_arg_info::location::on_stack:
2753 default:
2754 error (_("invalid argument location"));
2755 break;
2756 }
2757 }
2758 }
2759 break;
2760
2761 /* Return value by reference will have its address in A0. */
2762 case riscv_arg_info::location::by_ref:
2763 {
b2970c23 2764 ULONGEST addr;
dbbb1059
AB
2765
2766 regcache_cooked_read_unsigned (regcache, RISCV_A0_REGNUM,
2767 &addr);
2768 if (readbuf != nullptr)
2769 read_memory (addr, readbuf, info.length);
2770 if (writebuf != nullptr)
2771 write_memory (addr, writebuf, info.length);
2772 }
2773 break;
2774
2775 case riscv_arg_info::location::on_stack:
2776 default:
2777 error (_("invalid argument location"));
2778 break;
2779 }
74e3300d
AB
2780
2781 /* This completes the cast from abi type back to the declared type
2782 in the case that we are reading from the machine. See the
2783 comment at the head of this block for more details. */
2784 if (readbuf != nullptr)
2785 {
2786 struct value *arg_val = value_cast (arg_type, abi_val);
2787 memcpy (old_readbuf, value_contents_raw (arg_val),
2788 TYPE_LENGTH (arg_type));
2789 }
dbbb1059
AB
2790 }
2791
2792 switch (info.argloc[0].loc_type)
2793 {
2794 case riscv_arg_info::location::in_reg:
2795 return RETURN_VALUE_REGISTER_CONVENTION;
2796 case riscv_arg_info::location::by_ref:
2797 return RETURN_VALUE_ABI_RETURNS_ADDRESS;
2798 case riscv_arg_info::location::on_stack:
2799 default:
2800 error (_("invalid argument location"));
2801 }
2802}
2803
2804/* Implement the frame_align gdbarch method. */
2805
2806static CORE_ADDR
2807riscv_frame_align (struct gdbarch *gdbarch, CORE_ADDR addr)
2808{
2809 return align_down (addr, 16);
2810}
2811
dbbb1059
AB
2812/* Generate, or return the cached frame cache for the RiscV frame
2813 unwinder. */
2814
78a3b0fa 2815static struct riscv_unwind_cache *
dbbb1059
AB
2816riscv_frame_cache (struct frame_info *this_frame, void **this_cache)
2817{
78a3b0fa
AB
2818 CORE_ADDR pc, start_addr;
2819 struct riscv_unwind_cache *cache;
dbbb1059 2820 struct gdbarch *gdbarch = get_frame_arch (this_frame);
78a3b0fa 2821 int numregs, regno;
dbbb1059
AB
2822
2823 if ((*this_cache) != NULL)
78a3b0fa 2824 return (struct riscv_unwind_cache *) *this_cache;
dbbb1059 2825
78a3b0fa
AB
2826 cache = FRAME_OBSTACK_ZALLOC (struct riscv_unwind_cache);
2827 cache->regs = trad_frame_alloc_saved_regs (this_frame);
2828 (*this_cache) = cache;
dbbb1059 2829
78a3b0fa
AB
2830 /* Scan the prologue, filling in the cache. */
2831 start_addr = get_frame_func (this_frame);
dbbb1059 2832 pc = get_frame_pc (this_frame);
78a3b0fa
AB
2833 riscv_scan_prologue (gdbarch, start_addr, pc, cache);
2834
2835 /* We can now calculate the frame base address. */
2836 cache->frame_base
6c9d681b
AB
2837 = (get_frame_register_signed (this_frame, cache->frame_base_reg)
2838 + cache->frame_base_offset);
78a3b0fa
AB
2839 if (riscv_debug_unwinder)
2840 fprintf_unfiltered (gdb_stdlog, "Frame base is %s ($%s + 0x%x)\n",
2841 core_addr_to_string (cache->frame_base),
2842 gdbarch_register_name (gdbarch,
2843 cache->frame_base_reg),
2844 cache->frame_base_offset);
2845
2846 /* The prologue scanner sets the address of registers stored to the stack
2847 as the offset of that register from the frame base. The prologue
2848 scanner doesn't know the actual frame base value, and so is unable to
2849 compute the exact address. We do now know the frame base value, so
2850 update the address of registers stored to the stack. */
2851 numregs = gdbarch_num_regs (gdbarch) + gdbarch_num_pseudo_regs (gdbarch);
2852 for (regno = 0; regno < numregs; ++regno)
2853 {
2854 if (trad_frame_addr_p (cache->regs, regno))
2855 cache->regs[regno].addr += cache->frame_base;
2856 }
2857
2858 /* The previous $pc can be found wherever the $ra value can be found.
2859 The previous $ra value is gone, this would have been stored be the
2860 previous frame if required. */
2861 cache->regs[gdbarch_pc_regnum (gdbarch)] = cache->regs[RISCV_RA_REGNUM];
2862 trad_frame_set_unknown (cache->regs, RISCV_RA_REGNUM);
2863
2864 /* Build the frame id. */
2865 cache->this_id = frame_id_build (cache->frame_base, start_addr);
dbbb1059 2866
78a3b0fa
AB
2867 /* The previous $sp value is the frame base value. */
2868 trad_frame_set_value (cache->regs, gdbarch_sp_regnum (gdbarch),
2869 cache->frame_base);
dbbb1059 2870
78a3b0fa 2871 return cache;
dbbb1059
AB
2872}
2873
2874/* Implement the this_id callback for RiscV frame unwinder. */
2875
2876static void
2877riscv_frame_this_id (struct frame_info *this_frame,
2878 void **prologue_cache,
2879 struct frame_id *this_id)
2880{
78a3b0fa 2881 struct riscv_unwind_cache *cache;
dbbb1059 2882
a70b8144 2883 try
17cf2897
AB
2884 {
2885 cache = riscv_frame_cache (this_frame, prologue_cache);
2886 *this_id = cache->this_id;
2887 }
230d2906 2888 catch (const gdb_exception_error &ex)
17cf2897
AB
2889 {
2890 /* Ignore errors, this leaves the frame id as the predefined outer
2891 frame id which terminates the backtrace at this point. */
2892 }
dbbb1059
AB
2893}
2894
2895/* Implement the prev_register callback for RiscV frame unwinder. */
2896
2897static struct value *
2898riscv_frame_prev_register (struct frame_info *this_frame,
2899 void **prologue_cache,
2900 int regnum)
2901{
78a3b0fa 2902 struct riscv_unwind_cache *cache;
dbbb1059 2903
78a3b0fa
AB
2904 cache = riscv_frame_cache (this_frame, prologue_cache);
2905 return trad_frame_get_prev_register (this_frame, cache->regs, regnum);
dbbb1059
AB
2906}
2907
2908/* Structure defining the RiscV normal frame unwind functions. Since we
2909 are the fallback unwinder (DWARF unwinder is used first), we use the
2910 default frame sniffer, which always accepts the frame. */
2911
2912static const struct frame_unwind riscv_frame_unwind =
2913{
2914 /*.type =*/ NORMAL_FRAME,
2915 /*.stop_reason =*/ default_frame_unwind_stop_reason,
2916 /*.this_id =*/ riscv_frame_this_id,
2917 /*.prev_register =*/ riscv_frame_prev_register,
2918 /*.unwind_data =*/ NULL,
2919 /*.sniffer =*/ default_frame_sniffer,
2920 /*.dealloc_cache =*/ NULL,
2921 /*.prev_arch =*/ NULL,
2922};
2923
90af0679
AB
2924/* Extract a set of required target features out of INFO, specifically the
2925 bfd being executed is examined to see what target features it requires.
2926 IF there is no current bfd, or the bfd doesn't indicate any useful
2927 features then a RISCV_GDBARCH_FEATURES is returned in its default state. */
dbbb1059 2928
90af0679
AB
2929static struct riscv_gdbarch_features
2930riscv_features_from_gdbarch_info (const struct gdbarch_info info)
dbbb1059 2931{
b5ffee31 2932 struct riscv_gdbarch_features features;
dbbb1059 2933
b5ffee31
AB
2934 /* Now try to improve on the defaults by looking at the binary we are
2935 going to execute. We assume the user knows what they are doing and
2936 that the target will match the binary. Remember, this code path is
2937 only used at all if the target hasn't given us a description, so this
2938 is really a last ditched effort to do something sane before giving
2939 up. */
dbbb1059
AB
2940 if (info.abfd != NULL
2941 && bfd_get_flavour (info.abfd) == bfd_target_elf_flavour)
2942 {
2943 unsigned char eclass = elf_elfheader (info.abfd)->e_ident[EI_CLASS];
2944 int e_flags = elf_elfheader (info.abfd)->e_flags;
2945
2946 if (eclass == ELFCLASS32)
b5ffee31 2947 features.xlen = 4;
dbbb1059 2948 else if (eclass == ELFCLASS64)
b5ffee31 2949 features.xlen = 8;
dbbb1059 2950 else
b5ffee31 2951 internal_error (__FILE__, __LINE__,
dbbb1059
AB
2952 _("unknown ELF header class %d"), eclass);
2953
dbbb1059 2954 if (e_flags & EF_RISCV_FLOAT_ABI_DOUBLE)
113b7b81 2955 features.flen = 8;
dbbb1059 2956 else if (e_flags & EF_RISCV_FLOAT_ABI_SINGLE)
113b7b81 2957 features.flen = 4;
dbbb1059 2958 }
dbbb1059 2959
90af0679
AB
2960 return features;
2961}
2962
2963/* Find a suitable default target description. Use the contents of INFO,
2964 specifically the bfd object being executed, to guide the selection of a
2965 suitable default target description. */
2966
2967static const struct target_desc *
2968riscv_find_default_target_description (const struct gdbarch_info info)
2969{
2970 /* Extract desired feature set from INFO. */
2971 struct riscv_gdbarch_features features
2972 = riscv_features_from_gdbarch_info (info);
2973
2974 /* If the XLEN field is still 0 then we got nothing useful from INFO. In
2975 this case we fall back to a minimal useful target, 8-byte x-registers,
2976 with no floating point. */
2977 if (features.xlen == 0)
2978 features.xlen = 8;
2979
b5ffee31 2980 /* Now build a target description based on the feature set. */
d1c9b20f 2981 return riscv_lookup_target_description (features);
b5ffee31
AB
2982}
2983
2984/* All of the registers in REG_SET are checked for in FEATURE, TDESC_DATA
2985 is updated with the register numbers for each register as listed in
2986 REG_SET. If any register marked as required in REG_SET is not found in
2987 FEATURE then this function returns false, otherwise, it returns true. */
2988
2989static bool
2990riscv_check_tdesc_feature (struct tdesc_arch_data *tdesc_data,
2991 const struct tdesc_feature *feature,
2992 const struct riscv_register_feature *reg_set)
2993{
2994 for (const auto &reg : reg_set->registers)
2995 {
2996 bool found = false;
2997
2998 for (const char *name : reg.names)
2999 {
3000 found =
3001 tdesc_numbered_register (feature, tdesc_data, reg.regnum, name);
3002
3003 if (found)
3004 break;
3005 }
3006
3007 if (!found && reg.required_p)
3008 return false;
3009 }
3010
3011 return true;
3012}
3013
3014/* Add all the expected register sets into GDBARCH. */
3015
3016static void
3017riscv_add_reggroups (struct gdbarch *gdbarch)
3018{
3019 /* Add predefined register groups. */
3020 reggroup_add (gdbarch, all_reggroup);
3021 reggroup_add (gdbarch, save_reggroup);
3022 reggroup_add (gdbarch, restore_reggroup);
3023 reggroup_add (gdbarch, system_reggroup);
3024 reggroup_add (gdbarch, vector_reggroup);
3025 reggroup_add (gdbarch, general_reggroup);
3026 reggroup_add (gdbarch, float_reggroup);
3027
3028 /* Add RISC-V specific register groups. */
3029 reggroup_add (gdbarch, csr_reggroup);
3030}
3031
3032/* Create register aliases for all the alternative names that exist for
3033 registers in REG_SET. */
3034
3035static void
3036riscv_setup_register_aliases (struct gdbarch *gdbarch,
3037 const struct riscv_register_feature *reg_set)
3038{
3039 for (auto &reg : reg_set->registers)
3040 {
3041 /* The first item in the names list is the preferred name for the
3042 register, this is what RISCV_REGISTER_NAME returns, and so we
3043 don't need to create an alias with that name here. */
3044 for (int i = 1; i < reg.names.size (); ++i)
3045 user_reg_add (gdbarch, reg.names[i], value_of_riscv_user_reg,
3046 &reg.regnum);
3047 }
3048}
3049
fb44d95a
AB
3050/* Implement the "dwarf2_reg_to_regnum" gdbarch method. */
3051
3052static int
3053riscv_dwarf_reg_to_regnum (struct gdbarch *gdbarch, int reg)
3054{
3055 if (reg < RISCV_DWARF_REGNUM_X31)
3056 return RISCV_ZERO_REGNUM + (reg - RISCV_DWARF_REGNUM_X0);
3057
3058 else if (reg < RISCV_DWARF_REGNUM_F31)
3059 return RISCV_FIRST_FP_REGNUM + (reg - RISCV_DWARF_REGNUM_F0);
3060
3061 return -1;
3062}
3063
ff371ec9
JW
3064/* Implement the gcc_target_options method. We have to select the arch and abi
3065 from the feature info. We have enough feature info to select the abi, but
3066 not enough info for the arch given all of the possible architecture
3067 extensions. So choose reasonable defaults for now. */
3068
3069static std::string
3070riscv_gcc_target_options (struct gdbarch *gdbarch)
3071{
3072 int isa_xlen = riscv_isa_xlen (gdbarch);
3073 int isa_flen = riscv_isa_flen (gdbarch);
3074 int abi_xlen = riscv_abi_xlen (gdbarch);
3075 int abi_flen = riscv_abi_flen (gdbarch);
3076 std::string target_options;
3077
3078 target_options = "-march=rv";
3079 if (isa_xlen == 8)
3080 target_options += "64";
3081 else
3082 target_options += "32";
3083 if (isa_flen == 8)
3084 target_options += "gc";
3085 else if (isa_flen == 4)
3086 target_options += "imafc";
3087 else
3088 target_options += "imac";
3089
3090 target_options += " -mabi=";
3091 if (abi_xlen == 8)
3092 target_options += "lp64";
3093 else
3094 target_options += "ilp32";
3095 if (abi_flen == 8)
3096 target_options += "d";
3097 else if (abi_flen == 4)
3098 target_options += "f";
3099
3100 /* The gdb loader doesn't handle link-time relaxation relocations. */
3101 target_options += " -mno-relax";
3102
3103 return target_options;
3104}
3105
3106/* Implement the gnu_triplet_regexp method. A single compiler supports both
3107 32-bit and 64-bit code, and may be named riscv32 or riscv64 or (not
3108 recommended) riscv. */
3109
3110static const char *
3111riscv_gnu_triplet_regexp (struct gdbarch *gdbarch)
3112{
3113 return "riscv(32|64)?";
3114}
3115
b5ffee31
AB
3116/* Initialize the current architecture based on INFO. If possible,
3117 re-use an architecture from ARCHES, which is a list of
3118 architectures already created during this debugging session.
3119
3120 Called e.g. at program startup, when reading a core file, and when
3121 reading a binary file. */
3122
3123static struct gdbarch *
3124riscv_gdbarch_init (struct gdbarch_info info,
3125 struct gdbarch_list *arches)
3126{
3127 struct gdbarch *gdbarch;
3128 struct gdbarch_tdep *tdep;
3129 struct riscv_gdbarch_features features;
3130 const struct target_desc *tdesc = info.target_desc;
3131
3132 /* Ensure we always have a target description. */
3133 if (!tdesc_has_registers (tdesc))
3134 tdesc = riscv_find_default_target_description (info);
3135 gdb_assert (tdesc);
3136
3137 if (riscv_debug_gdbarch)
3138 fprintf_unfiltered (gdb_stdlog, "Have got a target description\n");
3139
3140 const struct tdesc_feature *feature_cpu
3141 = tdesc_find_feature (tdesc, riscv_xreg_feature.name);
3142 const struct tdesc_feature *feature_fpu
3143 = tdesc_find_feature (tdesc, riscv_freg_feature.name);
3144 const struct tdesc_feature *feature_virtual
3145 = tdesc_find_feature (tdesc, riscv_virtual_feature.name);
3146 const struct tdesc_feature *feature_csr
3147 = tdesc_find_feature (tdesc, riscv_csr_feature.name);
3148
3149 if (feature_cpu == NULL)
3150 return NULL;
3151
3152 struct tdesc_arch_data *tdesc_data = tdesc_data_alloc ();
3153
3154 bool valid_p = riscv_check_tdesc_feature (tdesc_data,
3155 feature_cpu,
3156 &riscv_xreg_feature);
3157 if (valid_p)
3158 {
3159 /* Check that all of the core cpu registers have the same bitsize. */
3160 int xlen_bitsize = tdesc_register_bitsize (feature_cpu, "pc");
3161
3162 for (auto &tdesc_reg : feature_cpu->registers)
3163 valid_p &= (tdesc_reg->bitsize == xlen_bitsize);
3164
3165 if (riscv_debug_gdbarch)
3166 fprintf_filtered
3167 (gdb_stdlog,
3168 "From target-description, xlen = %d\n", xlen_bitsize);
3169
3170 features.xlen = (xlen_bitsize / 8);
3171 }
3172
3173 if (feature_fpu != NULL)
3174 {
3175 valid_p &= riscv_check_tdesc_feature (tdesc_data, feature_fpu,
3176 &riscv_freg_feature);
3177
0a5954bd
SC
3178 /* Search for the first floating point register (by any alias), to
3179 determine the bitsize. */
3180 int bitsize = -1;
3181 const auto &fp0 = riscv_freg_feature.registers[0];
3182
3183 for (const char *name : fp0.names)
3184 {
3185 if (tdesc_unnumbered_register (feature_fpu, name))
3186 {
3187 bitsize = tdesc_register_bitsize (feature_fpu, name);
3188 break;
3189 }
3190 }
3191
3192 gdb_assert (bitsize != -1);
b5ffee31 3193 features.flen = (bitsize / 8);
b5ffee31
AB
3194
3195 if (riscv_debug_gdbarch)
3196 fprintf_filtered
3197 (gdb_stdlog,
3198 "From target-description, flen = %d\n", bitsize);
3199 }
3200 else
3201 {
3202 features.flen = 0;
b5ffee31
AB
3203
3204 if (riscv_debug_gdbarch)
3205 fprintf_filtered
3206 (gdb_stdlog,
3207 "No FPU in target-description, assume soft-float ABI\n");
3208 }
3209
3210 if (feature_virtual)
3211 riscv_check_tdesc_feature (tdesc_data, feature_virtual,
3212 &riscv_virtual_feature);
3213
3214 if (feature_csr)
3215 riscv_check_tdesc_feature (tdesc_data, feature_csr,
3216 &riscv_csr_feature);
3217
3218 if (!valid_p)
3219 {
3220 if (riscv_debug_gdbarch)
3221 fprintf_unfiltered (gdb_stdlog, "Target description is not valid\n");
3222 tdesc_data_cleanup (tdesc_data);
3223 return NULL;
3224 }
3225
90af0679
AB
3226 /* Have a look at what the supplied (if any) bfd object requires of the
3227 target, then check that this matches with what the target is
3228 providing. */
113b7b81 3229 struct riscv_gdbarch_features abi_features
90af0679 3230 = riscv_features_from_gdbarch_info (info);
113b7b81
AB
3231 /* In theory a binary compiled for RV32 could run on an RV64 target,
3232 however, this has not been tested in GDB yet, so for now we require
3233 that the requested xlen match the targets xlen. */
3234 if (abi_features.xlen != 0 && abi_features.xlen != features.xlen)
90af0679 3235 error (_("bfd requires xlen %d, but target has xlen %d"),
113b7b81
AB
3236 abi_features.xlen, features.xlen);
3237 /* We do support running binaries compiled for 32-bit float on targets
3238 with 64-bit float, so we only complain if the binary requires more
3239 than the target has available. */
3240 if (abi_features.flen > features.flen)
90af0679 3241 error (_("bfd requires flen %d, but target has flen %d"),
113b7b81 3242 abi_features.flen, features.flen);
90af0679 3243
113b7b81
AB
3244 /* If the ABI_FEATURES xlen is 0 then this indicates we got no useful abi
3245 features from the INFO object. In this case we assume that the xlen
3246 abi matches the hardware. */
3247 if (abi_features.xlen == 0)
3248 abi_features.xlen = features.xlen;
90af0679 3249
dbbb1059
AB
3250 /* Find a candidate among the list of pre-declared architectures. */
3251 for (arches = gdbarch_list_lookup_by_info (arches, &info);
3252 arches != NULL;
3253 arches = gdbarch_list_lookup_by_info (arches->next, &info))
b5ffee31
AB
3254 {
3255 /* Check that the feature set of the ARCHES matches the feature set
3256 we are looking for. If it doesn't then we can't reuse this
3257 gdbarch. */
3258 struct gdbarch_tdep *other_tdep = gdbarch_tdep (arches->gdbarch);
3259
113b7b81
AB
3260 if (other_tdep->isa_features != features
3261 || other_tdep->abi_features != abi_features)
b5ffee31
AB
3262 continue;
3263
3264 break;
3265 }
3266
3267 if (arches != NULL)
3268 {
3269 tdesc_data_cleanup (tdesc_data);
dbbb1059 3270 return arches->gdbarch;
b5ffee31 3271 }
dbbb1059
AB
3272
3273 /* None found, so create a new architecture from the information provided. */
b5ffee31 3274 tdep = new (struct gdbarch_tdep);
dbbb1059 3275 gdbarch = gdbarch_alloc (&info, tdep);
113b7b81
AB
3276 tdep->isa_features = features;
3277 tdep->abi_features = abi_features;
dbbb1059
AB
3278
3279 /* Target data types. */
3280 set_gdbarch_short_bit (gdbarch, 16);
3281 set_gdbarch_int_bit (gdbarch, 32);
3282 set_gdbarch_long_bit (gdbarch, riscv_isa_xlen (gdbarch) * 8);
3283 set_gdbarch_long_long_bit (gdbarch, 64);
3284 set_gdbarch_float_bit (gdbarch, 32);
3285 set_gdbarch_double_bit (gdbarch, 64);
3286 set_gdbarch_long_double_bit (gdbarch, 128);
3287 set_gdbarch_long_double_format (gdbarch, floatformats_ia64_quad);
3288 set_gdbarch_ptr_bit (gdbarch, riscv_isa_xlen (gdbarch) * 8);
3289 set_gdbarch_char_signed (gdbarch, 0);
a9158a86 3290 set_gdbarch_type_align (gdbarch, riscv_type_align);
dbbb1059
AB
3291
3292 /* Information about the target architecture. */
3293 set_gdbarch_return_value (gdbarch, riscv_return_value);
3294 set_gdbarch_breakpoint_kind_from_pc (gdbarch, riscv_breakpoint_kind_from_pc);
3295 set_gdbarch_sw_breakpoint_from_kind (gdbarch, riscv_sw_breakpoint_from_kind);
5a77b1b4 3296 set_gdbarch_have_nonsteppable_watchpoint (gdbarch, 1);
dbbb1059 3297
dbbb1059 3298 /* Functions to analyze frames. */
dbbb1059
AB
3299 set_gdbarch_skip_prologue (gdbarch, riscv_skip_prologue);
3300 set_gdbarch_inner_than (gdbarch, core_addr_lessthan);
3301 set_gdbarch_frame_align (gdbarch, riscv_frame_align);
3302
dbbb1059
AB
3303 /* Functions handling dummy frames. */
3304 set_gdbarch_call_dummy_location (gdbarch, ON_STACK);
3305 set_gdbarch_push_dummy_code (gdbarch, riscv_push_dummy_code);
3306 set_gdbarch_push_dummy_call (gdbarch, riscv_push_dummy_call);
dbbb1059
AB
3307
3308 /* Frame unwinders. Use DWARF debug info if available, otherwise use our own
3309 unwinder. */
3310 dwarf2_append_unwinders (gdbarch);
3311 frame_unwind_append_unwinder (gdbarch, &riscv_frame_unwind);
3312
b5ffee31
AB
3313 /* Register architecture. */
3314 riscv_add_reggroups (gdbarch);
3315
fb44d95a
AB
3316 /* Internal <-> external register number maps. */
3317 set_gdbarch_dwarf2_reg_to_regnum (gdbarch, riscv_dwarf_reg_to_regnum);
3318
b5ffee31
AB
3319 /* We reserve all possible register numbers for the known registers.
3320 This means the target description mechanism will add any target
3321 specific registers after this number. This helps make debugging GDB
3322 just a little easier. */
3323 set_gdbarch_num_regs (gdbarch, RISCV_LAST_REGNUM + 1);
3324
3325 /* We don't have to provide the count of 0 here (its the default) but
3326 include this line to make it explicit that, right now, we don't have
3327 any pseudo registers on RISC-V. */
3328 set_gdbarch_num_pseudo_regs (gdbarch, 0);
3329
3330 /* Some specific register numbers GDB likes to know about. */
3331 set_gdbarch_sp_regnum (gdbarch, RISCV_SP_REGNUM);
3332 set_gdbarch_pc_regnum (gdbarch, RISCV_PC_REGNUM);
3333
3334 set_gdbarch_print_registers_info (gdbarch, riscv_print_registers_info);
3335
3336 /* Finalise the target description registers. */
3337 tdesc_use_registers (gdbarch, tdesc, tdesc_data);
3338
3339 /* Override the register type callback setup by the target description
3340 mechanism. This allows us to provide special type for floating point
3341 registers. */
3342 set_gdbarch_register_type (gdbarch, riscv_register_type);
3343
3344 /* Override the register name callback setup by the target description
3345 mechanism. This allows us to force our preferred names for the
3346 registers, no matter what the target description called them. */
3347 set_gdbarch_register_name (gdbarch, riscv_register_name);
3348
3349 /* Override the register group callback setup by the target description
3350 mechanism. This allows us to force registers into the groups we
3351 want, ignoring what the target tells us. */
3352 set_gdbarch_register_reggroup_p (gdbarch, riscv_register_reggroup_p);
3353
3354 /* Create register aliases for alternative register names. */
3355 riscv_setup_register_aliases (gdbarch, &riscv_xreg_feature);
3356 if (riscv_has_fp_regs (gdbarch))
3357 riscv_setup_register_aliases (gdbarch, &riscv_freg_feature);
3358 riscv_setup_register_aliases (gdbarch, &riscv_csr_feature);
dbbb1059 3359
ff371ec9
JW
3360 /* Compile command hooks. */
3361 set_gdbarch_gcc_target_options (gdbarch, riscv_gcc_target_options);
3362 set_gdbarch_gnu_triplet_regexp (gdbarch, riscv_gnu_triplet_regexp);
3363
117a0e99
JW
3364 /* Hook in OS ABI-specific overrides, if they have been registered. */
3365 gdbarch_init_osabi (info, gdbarch);
3366
db3ad2f0
TT
3367 register_riscv_ravenscar_ops (gdbarch);
3368
dbbb1059
AB
3369 return gdbarch;
3370}
3371
5c720ed8
JW
3372/* This decodes the current instruction and determines the address of the
3373 next instruction. */
3374
3375static CORE_ADDR
3376riscv_next_pc (struct regcache *regcache, CORE_ADDR pc)
3377{
3378 struct gdbarch *gdbarch = regcache->arch ();
3379 struct riscv_insn insn;
3380 CORE_ADDR next_pc;
3381
3382 insn.decode (gdbarch, pc);
3383 next_pc = pc + insn.length ();
3384
3385 if (insn.opcode () == riscv_insn::JAL)
3386 next_pc = pc + insn.imm_signed ();
3387 else if (insn.opcode () == riscv_insn::JALR)
3388 {
3389 LONGEST source;
3390 regcache->cooked_read (insn.rs1 (), &source);
3391 next_pc = (source + insn.imm_signed ()) & ~(CORE_ADDR) 0x1;
3392 }
3393 else if (insn.opcode () == riscv_insn::BEQ)
3394 {
3395 LONGEST src1, src2;
3396 regcache->cooked_read (insn.rs1 (), &src1);
3397 regcache->cooked_read (insn.rs2 (), &src2);
3398 if (src1 == src2)
3399 next_pc = pc + insn.imm_signed ();
3400 }
3401 else if (insn.opcode () == riscv_insn::BNE)
3402 {
3403 LONGEST src1, src2;
3404 regcache->cooked_read (insn.rs1 (), &src1);
3405 regcache->cooked_read (insn.rs2 (), &src2);
3406 if (src1 != src2)
3407 next_pc = pc + insn.imm_signed ();
3408 }
3409 else if (insn.opcode () == riscv_insn::BLT)
3410 {
3411 LONGEST src1, src2;
3412 regcache->cooked_read (insn.rs1 (), &src1);
3413 regcache->cooked_read (insn.rs2 (), &src2);
3414 if (src1 < src2)
3415 next_pc = pc + insn.imm_signed ();
3416 }
3417 else if (insn.opcode () == riscv_insn::BGE)
3418 {
3419 LONGEST src1, src2;
3420 regcache->cooked_read (insn.rs1 (), &src1);
3421 regcache->cooked_read (insn.rs2 (), &src2);
3422 if (src1 >= src2)
3423 next_pc = pc + insn.imm_signed ();
3424 }
3425 else if (insn.opcode () == riscv_insn::BLTU)
3426 {
3427 ULONGEST src1, src2;
3428 regcache->cooked_read (insn.rs1 (), &src1);
3429 regcache->cooked_read (insn.rs2 (), &src2);
3430 if (src1 < src2)
3431 next_pc = pc + insn.imm_signed ();
3432 }
3433 else if (insn.opcode () == riscv_insn::BGEU)
3434 {
3435 ULONGEST src1, src2;
3436 regcache->cooked_read (insn.rs1 (), &src1);
3437 regcache->cooked_read (insn.rs2 (), &src2);
3438 if (src1 >= src2)
3439 next_pc = pc + insn.imm_signed ();
3440 }
3441
3442 return next_pc;
3443}
3444
3445/* We can't put a breakpoint in the middle of a lr/sc atomic sequence, so look
3446 for the end of the sequence and put the breakpoint there. */
3447
3448static bool
3449riscv_next_pc_atomic_sequence (struct regcache *regcache, CORE_ADDR pc,
3450 CORE_ADDR *next_pc)
3451{
3452 struct gdbarch *gdbarch = regcache->arch ();
3453 struct riscv_insn insn;
3454 CORE_ADDR cur_step_pc = pc;
3455 CORE_ADDR last_addr = 0;
3456
3457 /* First instruction has to be a load reserved. */
3458 insn.decode (gdbarch, cur_step_pc);
3459 if (insn.opcode () != riscv_insn::LR)
3460 return false;
3461 cur_step_pc = cur_step_pc + insn.length ();
3462
3463 /* Next instruction should be branch to exit. */
3464 insn.decode (gdbarch, cur_step_pc);
3465 if (insn.opcode () != riscv_insn::BNE)
3466 return false;
3467 last_addr = cur_step_pc + insn.imm_signed ();
3468 cur_step_pc = cur_step_pc + insn.length ();
3469
3470 /* Next instruction should be store conditional. */
3471 insn.decode (gdbarch, cur_step_pc);
3472 if (insn.opcode () != riscv_insn::SC)
3473 return false;
3474 cur_step_pc = cur_step_pc + insn.length ();
3475
3476 /* Next instruction should be branch to start. */
3477 insn.decode (gdbarch, cur_step_pc);
3478 if (insn.opcode () != riscv_insn::BNE)
3479 return false;
3480 if (pc != (cur_step_pc + insn.imm_signed ()))
3481 return false;
3482 cur_step_pc = cur_step_pc + insn.length ();
3483
3484 /* We should now be at the end of the sequence. */
3485 if (cur_step_pc != last_addr)
3486 return false;
3487
3488 *next_pc = cur_step_pc;
3489 return true;
3490}
3491
3492/* This is called just before we want to resume the inferior, if we want to
3493 single-step it but there is no hardware or kernel single-step support. We
3494 find the target of the coming instruction and breakpoint it. */
3495
3496std::vector<CORE_ADDR>
3497riscv_software_single_step (struct regcache *regcache)
3498{
3499 CORE_ADDR pc, next_pc;
3500
3501 pc = regcache_read_pc (regcache);
3502
3503 if (riscv_next_pc_atomic_sequence (regcache, pc, &next_pc))
3504 return {next_pc};
3505
3506 next_pc = riscv_next_pc (regcache, pc);
3507
3508 return {next_pc};
3509}
3510
b5ffee31
AB
3511/* Create RISC-V specific reggroups. */
3512
3513static void
3514riscv_init_reggroups ()
3515{
3516 csr_reggroup = reggroup_new ("csr", USER_REGGROUP);
3517}
3518
6c265988 3519void _initialize_riscv_tdep ();
dbbb1059 3520void
6c265988 3521_initialize_riscv_tdep ()
dbbb1059 3522{
b5ffee31
AB
3523 riscv_create_csr_aliases ();
3524 riscv_init_reggroups ();
3525
dbbb1059
AB
3526 gdbarch_register (bfd_arch_riscv, riscv_gdbarch_init, NULL);
3527
dbbb1059
AB
3528 /* Add root prefix command for all "set debug riscv" and "show debug
3529 riscv" commands. */
3530 add_prefix_cmd ("riscv", no_class, set_debug_riscv_command,
3531 _("RISC-V specific debug commands."),
3532 &setdebugriscvcmdlist, "set debug riscv ", 0,
3533 &setdebuglist);
3534
3535 add_prefix_cmd ("riscv", no_class, show_debug_riscv_command,
3536 _("RISC-V specific debug commands."),
3537 &showdebugriscvcmdlist, "show debug riscv ", 0,
3538 &showdebuglist);
3539
f37bc8b1
JB
3540 add_setshow_zuinteger_cmd ("breakpoints", class_maintenance,
3541 &riscv_debug_breakpoints, _("\
3542Set riscv breakpoint debugging."), _("\
3543Show riscv breakpoint debugging."), _("\
3544When non-zero, print debugging information for the riscv specific parts\n\
3545of the breakpoint mechanism."),
3546 NULL,
3547 show_riscv_debug_variable,
3548 &setdebugriscvcmdlist, &showdebugriscvcmdlist);
3549
dbbb1059
AB
3550 add_setshow_zuinteger_cmd ("infcall", class_maintenance,
3551 &riscv_debug_infcall, _("\
3552Set riscv inferior call debugging."), _("\
3553Show riscv inferior call debugging."), _("\
3554When non-zero, print debugging information for the riscv specific parts\n\
3555of the inferior call mechanism."),
3556 NULL,
3557 show_riscv_debug_variable,
3558 &setdebugriscvcmdlist, &showdebugriscvcmdlist);
78a3b0fa
AB
3559
3560 add_setshow_zuinteger_cmd ("unwinder", class_maintenance,
3561 &riscv_debug_unwinder, _("\
3562Set riscv stack unwinding debugging."), _("\
3563Show riscv stack unwinding debugging."), _("\
3564When non-zero, print debugging information for the riscv specific parts\n\
3565of the stack unwinding mechanism."),
3566 NULL,
3567 show_riscv_debug_variable,
3568 &setdebugriscvcmdlist, &showdebugriscvcmdlist);
b5ffee31
AB
3569
3570 add_setshow_zuinteger_cmd ("gdbarch", class_maintenance,
3571 &riscv_debug_gdbarch, _("\
3572Set riscv gdbarch initialisation debugging."), _("\
3573Show riscv gdbarch initialisation debugging."), _("\
3574When non-zero, print debugging information for the riscv gdbarch\n\
3575initialisation process."),
3576 NULL,
3577 show_riscv_debug_variable,
3578 &setdebugriscvcmdlist, &showdebugriscvcmdlist);
dbbb1059
AB
3579
3580 /* Add root prefix command for all "set riscv" and "show riscv" commands. */
3581 add_prefix_cmd ("riscv", no_class, set_riscv_command,
3582 _("RISC-V specific commands."),
3583 &setriscvcmdlist, "set riscv ", 0, &setlist);
3584
3585 add_prefix_cmd ("riscv", no_class, show_riscv_command,
3586 _("RISC-V specific commands."),
3587 &showriscvcmdlist, "show riscv ", 0, &showlist);
3588
3589
3590 use_compressed_breakpoints = AUTO_BOOLEAN_AUTO;
3591 add_setshow_auto_boolean_cmd ("use-compressed-breakpoints", no_class,
3592 &use_compressed_breakpoints,
3593 _("\
3594Set debugger's use of compressed breakpoints."), _(" \
3595Show debugger's use of compressed breakpoints."), _("\
f37bc8b1
JB
3596Debugging compressed code requires compressed breakpoints to be used. If\n\
3597left to 'auto' then gdb will use them if the existing instruction is a\n\
3598compressed instruction. If that doesn't give the correct behavior, then\n\
3599this option can be used."),
dbbb1059
AB
3600 NULL,
3601 show_use_compressed_breakpoints,
3602 &setriscvcmdlist,
3603 &showriscvcmdlist);
3604}
This page took 0.426151 seconds and 4 git commands to generate.