1 /* Target-dependent code for BPF.
3 Copyright (C) 2020-2022 Free Software Foundation, Inc.
5 This file is part of GDB.
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.
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.
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/>. */
21 #include "arch-utils.h"
24 #include "frame-unwind.h"
25 #include "trad-frame.h"
29 #include "breakpoint.h"
33 #include "dwarf2/frame.h"
35 #include "target-descriptions.h"
44 BPF_R0_REGNUM
, /* return value */
54 BPF_R10_REGNUM
, /* sp */
58 #define BPF_NUM_REGS (BPF_PC_REGNUM + 1)
60 /* Target-dependent structure in gdbarch. */
61 struct bpf_gdbarch_tdep
: gdbarch_tdep_base
66 /* Internal debugging facilities. */
68 /* When this is set to non-zero debugging information will be
71 static unsigned int bpf_debug_flag
= 0;
73 /* The show callback for 'show debug bpf'. */
76 show_bpf_debug (struct ui_file
*file
, int from_tty
,
77 struct cmd_list_element
*c
, const char *value
)
79 gdb_printf (file
, _("Debugging of BPF is %s.\n"), value
);
85 static const char *bpf_register_names
[] =
87 "r0", "r1", "r2", "r3", "r4", "r5", "r6", "r7",
88 "r8", "r9", "r10", "pc"
91 /* Return the name of register REGNUM. */
94 bpf_register_name (struct gdbarch
*gdbarch
, int reg
)
96 if (reg
>= 0 && reg
< BPF_NUM_REGS
)
97 return bpf_register_names
[reg
];
101 /* Return the GDB type of register REGNUM. */
104 bpf_register_type (struct gdbarch
*gdbarch
, int reg
)
106 if (reg
== BPF_R10_REGNUM
)
107 return builtin_type (gdbarch
)->builtin_data_ptr
;
108 else if (reg
== BPF_PC_REGNUM
)
109 return builtin_type (gdbarch
)->builtin_func_ptr
;
110 return builtin_type (gdbarch
)->builtin_int64
;
113 /* Return the GDB register number corresponding to DWARF's REG. */
116 bpf_dwarf2_reg_to_regnum (struct gdbarch
*gdbarch
, int reg
)
118 if (reg
>= 0 && reg
< BPF_NUM_REGS
)
123 /* Implement the "print_insn" gdbarch method. */
126 bpf_gdb_print_insn (bfd_vma memaddr
, disassemble_info
*info
)
128 info
->symbols
= NULL
;
129 return default_print_insn (memaddr
, info
);
133 /* Return PC of first real instruction of the function starting at
137 bpf_skip_prologue (struct gdbarch
*gdbarch
, CORE_ADDR start_pc
)
139 gdb_printf (gdb_stdlog
,
140 "Skipping prologue: start_pc=%s\n",
141 paddress (gdbarch
, start_pc
));
142 /* XXX: to be completed. */
149 XXX it is not clear how to unwind in eBPF, since the stack is not
150 guaranteed to be contiguous, and therefore no relative stack
151 addressing can be done in the callee in order to access the
152 caller's stack frame. To explore with xBPF, which will relax this
155 /* Given THIS_FRAME, return its ID. */
158 bpf_frame_this_id (struct frame_info
*this_frame
,
159 void **this_prologue_cache
,
160 struct frame_id
*this_id
)
162 /* Note that THIS_ID defaults to the outermost frame if we don't set
163 anything here. See frame.c:compute_frame_id. */
166 /* Return the reason why we can't unwind past THIS_FRAME. */
168 static enum unwind_stop_reason
169 bpf_frame_unwind_stop_reason (struct frame_info
*this_frame
,
172 return UNWIND_OUTERMOST
;
175 /* Ask THIS_FRAME to unwind its register. */
177 static struct value
*
178 bpf_frame_prev_register (struct frame_info
*this_frame
,
179 void **this_prologue_cache
, int regnum
)
181 return frame_unwind_got_register (this_frame
, regnum
, regnum
);
184 /* Frame unwinder machinery for BPF. */
186 static const struct frame_unwind bpf_frame_unwind
=
190 bpf_frame_unwind_stop_reason
,
192 bpf_frame_prev_register
,
194 default_frame_sniffer
200 /* Enum describing the different kinds of breakpoints. We currently
201 just support one, implemented by the brkpt xbpf instruction. */
203 enum bpf_breakpoint_kinds
205 BPF_BP_KIND_BRKPT
= 0,
208 /* Implement the breakpoint_kind_from_pc gdbarch method. */
211 bpf_breakpoint_kind_from_pc (struct gdbarch
*gdbarch
, CORE_ADDR
*start_pc
)
213 /* We support just one kind of breakpoint. */
214 return BPF_BP_KIND_BRKPT
;
217 /* Implement the sw_breakpoint_from_kind gdbarch method. */
219 static const gdb_byte
*
220 bpf_sw_breakpoint_from_kind (struct gdbarch
*gdbarch
, int kind
, int *size
)
222 static unsigned char brkpt_insn
[]
223 = {0x8c, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00};
227 case BPF_BP_KIND_BRKPT
:
231 gdb_assert_not_reached ("unexpected BPF breakpoint kind");
236 /* Assuming THIS_FRAME is a dummy frame, return its frame ID. */
238 static struct frame_id
239 bpf_dummy_id (struct gdbarch
*gdbarch
, struct frame_info
*this_frame
)
241 CORE_ADDR sp
= get_frame_register_unsigned (this_frame
,
242 gdbarch_sp_regnum (gdbarch
));
243 return frame_id_build (sp
, get_frame_pc (this_frame
));
246 /* Implement the push dummy call gdbarch callback. */
249 bpf_push_dummy_call (struct gdbarch
*gdbarch
, struct value
*function
,
250 struct regcache
*regcache
, CORE_ADDR bp_addr
,
251 int nargs
, struct value
**args
, CORE_ADDR sp
,
252 function_call_return_method return_method
,
253 CORE_ADDR struct_addr
)
255 gdb_printf (gdb_stdlog
, "Pushing dummy call: sp=%s\n",
256 paddress (gdbarch
, sp
));
261 /* Extract a function return value of TYPE from REGCACHE,
262 and copy it into VALBUF. */
265 bpf_extract_return_value (struct type
*type
, struct regcache
*regcache
,
268 int len
= type
->length ();
271 gdb_assert (len
<= 8);
272 regcache
->cooked_read (BPF_R0_REGNUM
, vbuf
);
273 memcpy (valbuf
, vbuf
+ 8 - len
, len
);
276 /* Store the function return value of type TYPE from VALBUF into REGNAME. */
279 bpf_store_return_value (struct type
*type
, struct regcache
*regcache
,
280 const gdb_byte
*valbuf
)
282 int len
= type
->length ();
285 gdb_assert (len
<= 8);
286 memset (vbuf
, 0, sizeof (vbuf
));
287 memcpy (vbuf
+ 8 - len
, valbuf
, len
);
288 regcache
->cooked_write (BPF_R0_REGNUM
, vbuf
);
291 /* Handle function's return value. */
293 static enum return_value_convention
294 bpf_return_value (struct gdbarch
*gdbarch
, struct value
*function
,
295 struct type
*type
, struct regcache
*regcache
,
296 gdb_byte
*readbuf
, const gdb_byte
*writebuf
)
298 int len
= type
->length ();
301 return RETURN_VALUE_STRUCT_CONVENTION
;
304 bpf_extract_return_value (type
, regcache
, readbuf
);
305 if (writebuf
!= NULL
)
306 bpf_store_return_value (type
, regcache
, writebuf
);
308 return RETURN_VALUE_REGISTER_CONVENTION
;
312 /* Initialize the current architecture based on INFO. If possible, re-use an
313 architecture from ARCHES, which is a list of architectures already created
314 during this debugging session. */
316 static struct gdbarch
*
317 bpf_gdbarch_init (struct gdbarch_info info
, struct gdbarch_list
*arches
)
319 /* If there is already a candidate, use it. */
320 arches
= gdbarch_list_lookup_by_info (arches
, &info
);
322 return arches
->gdbarch
;
324 /* Allocate space for the new architecture. */
325 bpf_gdbarch_tdep
*tdep
= new bpf_gdbarch_tdep
;
326 struct gdbarch
*gdbarch
= gdbarch_alloc (&info
, tdep
);
328 /* Information about registers, etc. */
329 set_gdbarch_num_regs (gdbarch
, BPF_NUM_REGS
);
330 set_gdbarch_register_name (gdbarch
, bpf_register_name
);
331 set_gdbarch_register_type (gdbarch
, bpf_register_type
);
333 /* Register numbers of various important registers. */
334 set_gdbarch_sp_regnum (gdbarch
, BPF_R10_REGNUM
);
335 set_gdbarch_pc_regnum (gdbarch
, BPF_PC_REGNUM
);
337 /* Map DWARF2 registers to GDB registers. */
338 set_gdbarch_dwarf2_reg_to_regnum (gdbarch
, bpf_dwarf2_reg_to_regnum
);
340 /* Call dummy code. */
341 set_gdbarch_call_dummy_location (gdbarch
, ON_STACK
);
342 set_gdbarch_dummy_id (gdbarch
, bpf_dummy_id
);
343 set_gdbarch_push_dummy_call (gdbarch
, bpf_push_dummy_call
);
345 /* Returning results. */
346 set_gdbarch_return_value (gdbarch
, bpf_return_value
);
348 /* Advance PC across function entry code. */
349 set_gdbarch_skip_prologue (gdbarch
, bpf_skip_prologue
);
351 /* Stack grows downward. */
352 set_gdbarch_inner_than (gdbarch
, core_addr_lessthan
);
354 /* Breakpoint manipulation. */
355 set_gdbarch_breakpoint_kind_from_pc (gdbarch
, bpf_breakpoint_kind_from_pc
);
356 set_gdbarch_sw_breakpoint_from_kind (gdbarch
, bpf_sw_breakpoint_from_kind
);
358 /* Frame handling. */
359 set_gdbarch_frame_args_skip (gdbarch
, 8);
362 set_gdbarch_print_insn (gdbarch
, bpf_gdb_print_insn
);
364 /* Hook in ABI-specific overrides, if they have been registered. */
365 gdbarch_init_osabi (info
, gdbarch
);
367 /* Install unwinders. */
368 frame_unwind_append_unwinder (gdbarch
, &bpf_frame_unwind
);
373 void _initialize_bpf_tdep ();
375 _initialize_bpf_tdep ()
377 gdbarch_register (bfd_arch_bpf
, bpf_gdbarch_init
);
379 /* Add commands 'set/show debug bpf'. */
380 add_setshow_zuinteger_cmd ("bpf", class_maintenance
,
382 _("Set BPF debugging."),
383 _("Show BPF debugging."),
384 _("Enables BPF specific debugging output."),
387 &setdebuglist
, &showdebuglist
);