Implement Ada operator overloading
[deliverable/binutils-gdb.git] / gdb / record-full.c
CommitLineData
d02ed0bb
MM
1/* Process record and replay target for GDB, the GNU debugger.
2
3666a048 3 Copyright (C) 2013-2021 Free Software Foundation, Inc.
d02ed0bb
MM
4
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 "gdbcmd.h"
22#include "regcache.h"
23#include "gdbthread.h"
00431a78 24#include "inferior.h"
d02ed0bb 25#include "event-top.h"
d02ed0bb
MM
26#include "completer.h"
27#include "arch-utils.h"
28#include "gdbcore.h"
29#include "exec.h"
30#include "record.h"
31#include "record-full.h"
32#include "elf-bfd.h"
33#include "gcore.h"
400b5eca 34#include "gdbsupport/event-loop.h"
d02ed0bb
MM
35#include "inf-loop.h"
36#include "gdb_bfd.h"
76727919 37#include "observable.h"
45741a9c 38#include "infrun.h"
268a13a5
TT
39#include "gdbsupport/gdb_unlinker.h"
40#include "gdbsupport/byte-vector.h"
93b54c8e 41#include "async-event.h"
d02ed0bb
MM
42
43#include <signal.h>
44
45/* This module implements "target record-full", also known as "process
46 record and replay". This target sits on top of a "normal" target
47 (a target that "has execution"), and provides a record and replay
48 functionality, including reverse debugging.
49
50 Target record has two modes: recording, and replaying.
51
f6ac5f3d 52 In record mode, we intercept the resume and wait methods.
d02ed0bb
MM
53 Whenever gdb resumes the target, we run the target in single step
54 mode, and we build up an execution log in which, for each executed
55 instruction, we record all changes in memory and register state.
56 This is invisible to the user, to whom it just looks like an
30baf67b 57 ordinary debugging session (except for performance degradation).
d02ed0bb
MM
58
59 In replay mode, instead of actually letting the inferior run as a
60 process, we simulate its execution by playing back the recorded
61 execution log. For each instruction in the log, we simulate the
62 instruction's side effects by duplicating the changes that it would
63 have made on memory and registers. */
64
88d1aa9d 65#define DEFAULT_RECORD_FULL_INSN_MAX_NUM 200000
d02ed0bb 66
88d1aa9d 67#define RECORD_FULL_IS_REPLAY \
f6ac5f3d 68 (record_full_list->next || ::execution_direction == EXEC_REVERSE)
d02ed0bb 69
88d1aa9d 70#define RECORD_FULL_FILE_MAGIC netorder32(0x20091016)
d02ed0bb
MM
71
72/* These are the core structs of the process record functionality.
73
88d1aa9d
MM
74 A record_full_entry is a record of the value change of a register
75 ("record_full_reg") or a part of memory ("record_full_mem"). And each
76 instruction must have a struct record_full_entry ("record_full_end")
77 that indicates that this is the last struct record_full_entry of this
d02ed0bb
MM
78 instruction.
79
88d1aa9d
MM
80 Each struct record_full_entry is linked to "record_full_list" by "prev"
81 and "next" pointers. */
d02ed0bb 82
88d1aa9d 83struct record_full_mem_entry
d02ed0bb
MM
84{
85 CORE_ADDR addr;
86 int len;
87 /* Set this flag if target memory for this entry
88 can no longer be accessed. */
89 int mem_entry_not_accessible;
90 union
91 {
92 gdb_byte *ptr;
93 gdb_byte buf[sizeof (gdb_byte *)];
94 } u;
95};
96
88d1aa9d 97struct record_full_reg_entry
d02ed0bb
MM
98{
99 unsigned short num;
100 unsigned short len;
101 union
102 {
103 gdb_byte *ptr;
104 gdb_byte buf[2 * sizeof (gdb_byte *)];
105 } u;
106};
107
88d1aa9d 108struct record_full_end_entry
d02ed0bb
MM
109{
110 enum gdb_signal sigval;
111 ULONGEST insn_num;
112};
113
88d1aa9d 114enum record_full_type
d02ed0bb 115{
88d1aa9d
MM
116 record_full_end = 0,
117 record_full_reg,
118 record_full_mem
d02ed0bb
MM
119};
120
121/* This is the data structure that makes up the execution log.
122
123 The execution log consists of a single linked list of entries
88d1aa9d 124 of type "struct record_full_entry". It is doubly linked so that it
d02ed0bb
MM
125 can be traversed in either direction.
126
127 The start of the list is anchored by a struct called
88d1aa9d
MM
128 "record_full_first". The pointer "record_full_list" either points
129 to the last entry that was added to the list (in record mode), or to
130 the next entry in the list that will be executed (in replay mode).
d02ed0bb 131
88d1aa9d
MM
132 Each list element (struct record_full_entry), in addition to next
133 and prev pointers, consists of a union of three entry types: mem,
134 reg, and end. A field called "type" determines which entry type is
d02ed0bb
MM
135 represented by a given list element.
136
137 Each instruction that is added to the execution log is represented
138 by a variable number of list elements ('entries'). The instruction
139 will have one "reg" entry for each register that is changed by
140 executing the instruction (including the PC in every case). It
141 will also have one "mem" entry for each memory change. Finally,
142 each instruction will have an "end" entry that separates it from
143 the changes associated with the next instruction. */
144
88d1aa9d 145struct record_full_entry
d02ed0bb 146{
88d1aa9d
MM
147 struct record_full_entry *prev;
148 struct record_full_entry *next;
149 enum record_full_type type;
d02ed0bb
MM
150 union
151 {
152 /* reg */
88d1aa9d 153 struct record_full_reg_entry reg;
d02ed0bb 154 /* mem */
88d1aa9d 155 struct record_full_mem_entry mem;
d02ed0bb 156 /* end */
88d1aa9d 157 struct record_full_end_entry end;
d02ed0bb
MM
158 } u;
159};
160
161/* If true, query if PREC cannot record memory
162 change of next instruction. */
491144b5 163bool record_full_memory_query = false;
d02ed0bb 164
88d1aa9d 165struct record_full_core_buf_entry
d02ed0bb 166{
88d1aa9d 167 struct record_full_core_buf_entry *prev;
d02ed0bb
MM
168 struct target_section *p;
169 bfd_byte *buf;
170};
171
172/* Record buf with core target. */
c8ec2f33 173static detached_regcache *record_full_core_regbuf = NULL;
bb2a6777 174static target_section_table record_full_core_sections;
88d1aa9d 175static struct record_full_core_buf_entry *record_full_core_buf_list = NULL;
d02ed0bb
MM
176
177/* The following variables are used for managing the linked list that
178 represents the execution log.
179
88d1aa9d
MM
180 record_full_first is the anchor that holds down the beginning of
181 the list.
d02ed0bb 182
88d1aa9d 183 record_full_list serves two functions:
d02ed0bb
MM
184 1) In record mode, it anchors the end of the list.
185 2) In replay mode, it traverses the list and points to
dda83cd7 186 the next instruction that must be emulated.
d02ed0bb 187
88d1aa9d
MM
188 record_full_arch_list_head and record_full_arch_list_tail are used
189 to manage a separate list, which is used to build up the change
190 elements of the currently executing instruction during record mode.
191 When this instruction has been completely annotated in the "arch
192 list", it will be appended to the main execution log. */
d02ed0bb 193
88d1aa9d
MM
194static struct record_full_entry record_full_first;
195static struct record_full_entry *record_full_list = &record_full_first;
196static struct record_full_entry *record_full_arch_list_head = NULL;
197static struct record_full_entry *record_full_arch_list_tail = NULL;
d02ed0bb 198
491144b5
CB
199/* true ask user. false auto delete the last struct record_full_entry. */
200static bool record_full_stop_at_limit = true;
d02ed0bb 201/* Maximum allowed number of insns in execution log. */
88d1aa9d
MM
202static unsigned int record_full_insn_max_num
203 = DEFAULT_RECORD_FULL_INSN_MAX_NUM;
d02ed0bb 204/* Actual count of insns presently in execution log. */
7ee70bf5 205static unsigned int record_full_insn_num = 0;
d02ed0bb
MM
206/* Count of insns logged so far (may be larger
207 than count of insns presently in execution log). */
88d1aa9d 208static ULONGEST record_full_insn_count;
d02ed0bb 209
d9f719f1
PA
210static const char record_longname[]
211 = N_("Process record and replay target");
212static const char record_doc[]
213 = N_("Log program while executing and replay execution from log.");
214
f6ac5f3d
PA
215/* Base class implementing functionality common to both the
216 "record-full" and "record-core" targets. */
217
218class record_full_base_target : public target_ops
219{
220public:
d9f719f1 221 const target_info &info () const override = 0;
f6ac5f3d 222
66b4deae
PA
223 strata stratum () const override { return record_stratum; }
224
f6ac5f3d
PA
225 void close () override;
226 void async (int) override;
b60cea74 227 ptid_t wait (ptid_t, struct target_waitstatus *, target_wait_flags) override;
57810aa7
PA
228 bool stopped_by_watchpoint () override;
229 bool stopped_data_address (CORE_ADDR *) override;
f6ac5f3d 230
57810aa7
PA
231 bool stopped_by_sw_breakpoint () override;
232 bool supports_stopped_by_sw_breakpoint () override;
f6ac5f3d 233
57810aa7
PA
234 bool stopped_by_hw_breakpoint () override;
235 bool supports_stopped_by_hw_breakpoint () override;
f6ac5f3d 236
57810aa7 237 bool can_execute_reverse () override;
f6ac5f3d
PA
238
239 /* Add bookmark target methods. */
240 gdb_byte *get_bookmark (const char *, int) override;
241 void goto_bookmark (const gdb_byte *, int) override;
242 enum exec_direction_kind execution_direction () override;
243 enum record_method record_method (ptid_t ptid) override;
244 void info_record () override;
245 void save_record (const char *filename) override;
246 bool supports_delete_record () override;
247 void delete_record () override;
57810aa7
PA
248 bool record_is_replaying (ptid_t ptid) override;
249 bool record_will_replay (ptid_t ptid, int dir) override;
f6ac5f3d
PA
250 void record_stop_replaying () override;
251 void goto_record_begin () override;
252 void goto_record_end () override;
253 void goto_record (ULONGEST insn) override;
254};
255
256/* The "record-full" target. */
257
d9f719f1
PA
258static const target_info record_full_target_info = {
259 "record-full",
260 record_longname,
261 record_doc,
262};
263
f6ac5f3d
PA
264class record_full_target final : public record_full_base_target
265{
266public:
d9f719f1
PA
267 const target_info &info () const override
268 { return record_full_target_info; }
f6ac5f3d 269
f6ac5f3d
PA
270 void resume (ptid_t, int, enum gdb_signal) override;
271 void disconnect (const char *, int) override;
272 void detach (inferior *, int) override;
273 void mourn_inferior () override;
274 void kill () override;
275 void store_registers (struct regcache *, int) override;
276 enum target_xfer_status xfer_partial (enum target_object object,
277 const char *annex,
278 gdb_byte *readbuf,
279 const gdb_byte *writebuf,
280 ULONGEST offset, ULONGEST len,
281 ULONGEST *xfered_len) override;
282 int insert_breakpoint (struct gdbarch *,
283 struct bp_target_info *) override;
284 int remove_breakpoint (struct gdbarch *,
285 struct bp_target_info *,
286 enum remove_bp_reason) override;
287};
288
289/* The "record-core" target. */
290
d9f719f1
PA
291static const target_info record_full_core_target_info = {
292 "record-core",
293 record_longname,
294 record_doc,
295};
296
f6ac5f3d
PA
297class record_full_core_target final : public record_full_base_target
298{
299public:
d9f719f1
PA
300 const target_info &info () const override
301 { return record_full_core_target_info; }
f6ac5f3d
PA
302
303 void resume (ptid_t, int, enum gdb_signal) override;
304 void disconnect (const char *, int) override;
305 void kill () override;
306 void fetch_registers (struct regcache *regcache, int regno) override;
307 void prepare_to_store (struct regcache *regcache) override;
308 void store_registers (struct regcache *, int) override;
309 enum target_xfer_status xfer_partial (enum target_object object,
310 const char *annex,
311 gdb_byte *readbuf,
312 const gdb_byte *writebuf,
313 ULONGEST offset, ULONGEST len,
314 ULONGEST *xfered_len) override;
315 int insert_breakpoint (struct gdbarch *,
316 struct bp_target_info *) override;
317 int remove_breakpoint (struct gdbarch *,
318 struct bp_target_info *,
319 enum remove_bp_reason) override;
320
5018ce90 321 bool has_execution (inferior *inf) override;
f6ac5f3d
PA
322};
323
324static record_full_target record_full_ops;
325static record_full_core_target record_full_core_ops;
326
327void
328record_full_target::detach (inferior *inf, int from_tty)
329{
330 record_detach (this, inf, from_tty);
331}
332
333void
334record_full_target::disconnect (const char *args, int from_tty)
335{
336 record_disconnect (this, args, from_tty);
337}
338
339void
340record_full_core_target::disconnect (const char *args, int from_tty)
341{
342 record_disconnect (this, args, from_tty);
343}
344
345void
346record_full_target::mourn_inferior ()
347{
348 record_mourn_inferior (this);
349}
350
351void
352record_full_target::kill ()
353{
354 record_kill (this);
355}
d02ed0bb 356
8213266a
PA
357/* See record-full.h. */
358
359int
360record_full_is_used (void)
361{
362 struct target_ops *t;
363
364 t = find_record_target ();
365 return (t == &record_full_ops
366 || t == &record_full_core_ops);
367}
368
369
d02ed0bb
MM
370/* Command lists for "set/show record full". */
371static struct cmd_list_element *set_record_full_cmdlist;
372static struct cmd_list_element *show_record_full_cmdlist;
373
374/* Command list for "record full". */
375static struct cmd_list_element *record_full_cmdlist;
376
88d1aa9d
MM
377static void record_full_goto_insn (struct record_full_entry *entry,
378 enum exec_direction_kind dir);
88d1aa9d
MM
379
380/* Alloc and free functions for record_full_reg, record_full_mem, and
381 record_full_end entries. */
382
383/* Alloc a record_full_reg record entry. */
384
385static inline struct record_full_entry *
386record_full_reg_alloc (struct regcache *regcache, int regnum)
387{
388 struct record_full_entry *rec;
ac7936df 389 struct gdbarch *gdbarch = regcache->arch ();
d02ed0bb 390
8d749320 391 rec = XCNEW (struct record_full_entry);
88d1aa9d 392 rec->type = record_full_reg;
d02ed0bb
MM
393 rec->u.reg.num = regnum;
394 rec->u.reg.len = register_size (gdbarch, regnum);
395 if (rec->u.reg.len > sizeof (rec->u.reg.u.buf))
396 rec->u.reg.u.ptr = (gdb_byte *) xmalloc (rec->u.reg.len);
397
398 return rec;
399}
400
88d1aa9d 401/* Free a record_full_reg record entry. */
d02ed0bb
MM
402
403static inline void
88d1aa9d 404record_full_reg_release (struct record_full_entry *rec)
d02ed0bb 405{
88d1aa9d 406 gdb_assert (rec->type == record_full_reg);
d02ed0bb
MM
407 if (rec->u.reg.len > sizeof (rec->u.reg.u.buf))
408 xfree (rec->u.reg.u.ptr);
409 xfree (rec);
410}
411
88d1aa9d 412/* Alloc a record_full_mem record entry. */
d02ed0bb 413
88d1aa9d
MM
414static inline struct record_full_entry *
415record_full_mem_alloc (CORE_ADDR addr, int len)
d02ed0bb 416{
88d1aa9d 417 struct record_full_entry *rec;
d02ed0bb 418
8d749320 419 rec = XCNEW (struct record_full_entry);
88d1aa9d 420 rec->type = record_full_mem;
d02ed0bb
MM
421 rec->u.mem.addr = addr;
422 rec->u.mem.len = len;
423 if (rec->u.mem.len > sizeof (rec->u.mem.u.buf))
424 rec->u.mem.u.ptr = (gdb_byte *) xmalloc (len);
425
426 return rec;
427}
428
88d1aa9d 429/* Free a record_full_mem record entry. */
d02ed0bb
MM
430
431static inline void
88d1aa9d 432record_full_mem_release (struct record_full_entry *rec)
d02ed0bb 433{
88d1aa9d 434 gdb_assert (rec->type == record_full_mem);
d02ed0bb
MM
435 if (rec->u.mem.len > sizeof (rec->u.mem.u.buf))
436 xfree (rec->u.mem.u.ptr);
437 xfree (rec);
438}
439
88d1aa9d 440/* Alloc a record_full_end record entry. */
d02ed0bb 441
88d1aa9d
MM
442static inline struct record_full_entry *
443record_full_end_alloc (void)
d02ed0bb 444{
88d1aa9d 445 struct record_full_entry *rec;
d02ed0bb 446
8d749320 447 rec = XCNEW (struct record_full_entry);
88d1aa9d 448 rec->type = record_full_end;
d02ed0bb
MM
449
450 return rec;
451}
452
88d1aa9d 453/* Free a record_full_end record entry. */
d02ed0bb
MM
454
455static inline void
88d1aa9d 456record_full_end_release (struct record_full_entry *rec)
d02ed0bb
MM
457{
458 xfree (rec);
459}
460
461/* Free one record entry, any type.
462 Return entry->type, in case caller wants to know. */
463
88d1aa9d
MM
464static inline enum record_full_type
465record_full_entry_release (struct record_full_entry *rec)
d02ed0bb 466{
88d1aa9d 467 enum record_full_type type = rec->type;
d02ed0bb
MM
468
469 switch (type) {
88d1aa9d
MM
470 case record_full_reg:
471 record_full_reg_release (rec);
d02ed0bb 472 break;
88d1aa9d
MM
473 case record_full_mem:
474 record_full_mem_release (rec);
d02ed0bb 475 break;
88d1aa9d
MM
476 case record_full_end:
477 record_full_end_release (rec);
d02ed0bb
MM
478 break;
479 }
480 return type;
481}
482
483/* Free all record entries in list pointed to by REC. */
484
485static void
88d1aa9d 486record_full_list_release (struct record_full_entry *rec)
d02ed0bb
MM
487{
488 if (!rec)
489 return;
490
491 while (rec->next)
492 rec = rec->next;
493
494 while (rec->prev)
495 {
496 rec = rec->prev;
88d1aa9d 497 record_full_entry_release (rec->next);
d02ed0bb
MM
498 }
499
88d1aa9d 500 if (rec == &record_full_first)
d02ed0bb 501 {
88d1aa9d
MM
502 record_full_insn_num = 0;
503 record_full_first.next = NULL;
d02ed0bb
MM
504 }
505 else
88d1aa9d 506 record_full_entry_release (rec);
d02ed0bb
MM
507}
508
509/* Free all record entries forward of the given list position. */
510
511static void
88d1aa9d 512record_full_list_release_following (struct record_full_entry *rec)
d02ed0bb 513{
88d1aa9d 514 struct record_full_entry *tmp = rec->next;
d02ed0bb
MM
515
516 rec->next = NULL;
517 while (tmp)
518 {
519 rec = tmp->next;
88d1aa9d 520 if (record_full_entry_release (tmp) == record_full_end)
d02ed0bb 521 {
88d1aa9d
MM
522 record_full_insn_num--;
523 record_full_insn_count--;
d02ed0bb
MM
524 }
525 tmp = rec;
526 }
527}
528
529/* Delete the first instruction from the beginning of the log, to make
530 room for adding a new instruction at the end of the log.
531
88d1aa9d 532 Note -- this function does not modify record_full_insn_num. */
d02ed0bb
MM
533
534static void
88d1aa9d 535record_full_list_release_first (void)
d02ed0bb 536{
88d1aa9d 537 struct record_full_entry *tmp;
d02ed0bb 538
88d1aa9d 539 if (!record_full_first.next)
d02ed0bb
MM
540 return;
541
88d1aa9d 542 /* Loop until a record_full_end. */
d02ed0bb
MM
543 while (1)
544 {
88d1aa9d
MM
545 /* Cut record_full_first.next out of the linked list. */
546 tmp = record_full_first.next;
547 record_full_first.next = tmp->next;
548 tmp->next->prev = &record_full_first;
d02ed0bb
MM
549
550 /* tmp is now isolated, and can be deleted. */
88d1aa9d
MM
551 if (record_full_entry_release (tmp) == record_full_end)
552 break; /* End loop at first record_full_end. */
d02ed0bb 553
88d1aa9d 554 if (!record_full_first.next)
d02ed0bb 555 {
88d1aa9d 556 gdb_assert (record_full_insn_num == 1);
d02ed0bb
MM
557 break; /* End loop when list is empty. */
558 }
559 }
560}
561
88d1aa9d 562/* Add a struct record_full_entry to record_full_arch_list. */
d02ed0bb
MM
563
564static void
88d1aa9d 565record_full_arch_list_add (struct record_full_entry *rec)
d02ed0bb
MM
566{
567 if (record_debug > 1)
568 fprintf_unfiltered (gdb_stdlog,
88d1aa9d 569 "Process record: record_full_arch_list_add %s.\n",
d02ed0bb
MM
570 host_address_to_string (rec));
571
88d1aa9d 572 if (record_full_arch_list_tail)
d02ed0bb 573 {
88d1aa9d
MM
574 record_full_arch_list_tail->next = rec;
575 rec->prev = record_full_arch_list_tail;
576 record_full_arch_list_tail = rec;
d02ed0bb
MM
577 }
578 else
579 {
88d1aa9d
MM
580 record_full_arch_list_head = rec;
581 record_full_arch_list_tail = rec;
d02ed0bb
MM
582 }
583}
584
585/* Return the value storage location of a record entry. */
586static inline gdb_byte *
88d1aa9d 587record_full_get_loc (struct record_full_entry *rec)
d02ed0bb
MM
588{
589 switch (rec->type) {
88d1aa9d 590 case record_full_mem:
d02ed0bb
MM
591 if (rec->u.mem.len > sizeof (rec->u.mem.u.buf))
592 return rec->u.mem.u.ptr;
593 else
594 return rec->u.mem.u.buf;
88d1aa9d 595 case record_full_reg:
d02ed0bb
MM
596 if (rec->u.reg.len > sizeof (rec->u.reg.u.buf))
597 return rec->u.reg.u.ptr;
598 else
599 return rec->u.reg.u.buf;
88d1aa9d 600 case record_full_end:
d02ed0bb 601 default:
88d1aa9d 602 gdb_assert_not_reached ("unexpected record_full_entry type");
d02ed0bb
MM
603 return NULL;
604 }
605}
606
88d1aa9d 607/* Record the value of a register NUM to record_full_arch_list. */
d02ed0bb
MM
608
609int
25ea693b 610record_full_arch_list_add_reg (struct regcache *regcache, int regnum)
d02ed0bb 611{
88d1aa9d 612 struct record_full_entry *rec;
d02ed0bb
MM
613
614 if (record_debug > 1)
615 fprintf_unfiltered (gdb_stdlog,
616 "Process record: add register num = %d to "
617 "record list.\n",
618 regnum);
619
88d1aa9d 620 rec = record_full_reg_alloc (regcache, regnum);
d02ed0bb 621
0b883586 622 regcache->raw_read (regnum, record_full_get_loc (rec));
d02ed0bb 623
88d1aa9d 624 record_full_arch_list_add (rec);
d02ed0bb
MM
625
626 return 0;
627}
628
629/* Record the value of a region of memory whose address is ADDR and
88d1aa9d 630 length is LEN to record_full_arch_list. */
d02ed0bb
MM
631
632int
25ea693b 633record_full_arch_list_add_mem (CORE_ADDR addr, int len)
d02ed0bb 634{
88d1aa9d 635 struct record_full_entry *rec;
d02ed0bb
MM
636
637 if (record_debug > 1)
638 fprintf_unfiltered (gdb_stdlog,
639 "Process record: add mem addr = %s len = %d to "
640 "record list.\n",
641 paddress (target_gdbarch (), addr), len);
642
643 if (!addr) /* FIXME: Why? Some arch must permit it... */
644 return 0;
645
88d1aa9d 646 rec = record_full_mem_alloc (addr, len);
d02ed0bb 647
88d1aa9d
MM
648 if (record_read_memory (target_gdbarch (), addr,
649 record_full_get_loc (rec), len))
d02ed0bb 650 {
88d1aa9d 651 record_full_mem_release (rec);
d02ed0bb
MM
652 return -1;
653 }
654
88d1aa9d 655 record_full_arch_list_add (rec);
d02ed0bb
MM
656
657 return 0;
658}
659
88d1aa9d
MM
660/* Add a record_full_end type struct record_full_entry to
661 record_full_arch_list. */
d02ed0bb
MM
662
663int
25ea693b 664record_full_arch_list_add_end (void)
d02ed0bb 665{
88d1aa9d 666 struct record_full_entry *rec;
d02ed0bb
MM
667
668 if (record_debug > 1)
669 fprintf_unfiltered (gdb_stdlog,
670 "Process record: add end to arch list.\n");
671
88d1aa9d 672 rec = record_full_end_alloc ();
d02ed0bb 673 rec->u.end.sigval = GDB_SIGNAL_0;
88d1aa9d 674 rec->u.end.insn_num = ++record_full_insn_count;
d02ed0bb 675
88d1aa9d 676 record_full_arch_list_add (rec);
d02ed0bb
MM
677
678 return 0;
679}
680
681static void
651ce16a 682record_full_check_insn_num (void)
d02ed0bb 683{
7ee70bf5 684 if (record_full_insn_num == record_full_insn_max_num)
d02ed0bb 685 {
7ee70bf5
PA
686 /* Ask user what to do. */
687 if (record_full_stop_at_limit)
d02ed0bb 688 {
651ce16a 689 if (!yquery (_("Do you want to auto delete previous execution "
7ee70bf5 690 "log entries when record/replay buffer becomes "
651ce16a 691 "full (record full stop-at-limit)?")))
7ee70bf5 692 error (_("Process record: stopped by user."));
651ce16a 693 record_full_stop_at_limit = 0;
d02ed0bb
MM
694 }
695 }
696}
697
d02ed0bb
MM
698/* Before inferior step (when GDB record the running message, inferior
699 only can step), GDB will call this function to record the values to
88d1aa9d 700 record_full_list. This function will call gdbarch_process_record to
d02ed0bb 701 record the running message of inferior and set them to
88d1aa9d 702 record_full_arch_list, and add it to record_full_list. */
d02ed0bb 703
bf469271 704static void
88d1aa9d 705record_full_message (struct regcache *regcache, enum gdb_signal signal)
d02ed0bb
MM
706{
707 int ret;
ac7936df 708 struct gdbarch *gdbarch = regcache->arch ();
d02ed0bb 709
a70b8144 710 try
1ddbba9d
TT
711 {
712 record_full_arch_list_head = NULL;
713 record_full_arch_list_tail = NULL;
d02ed0bb 714
1ddbba9d
TT
715 /* Check record_full_insn_num. */
716 record_full_check_insn_num ();
717
718 /* If gdb sends a signal value to target_resume,
719 save it in the 'end' field of the previous instruction.
d02ed0bb 720
1ddbba9d
TT
721 Maybe process record should record what really happened,
722 rather than what gdb pretends has happened.
d02ed0bb 723
1ddbba9d
TT
724 So if Linux delivered the signal to the child process during
725 the record mode, we will record it and deliver it again in
726 the replay mode.
d02ed0bb 727
1ddbba9d
TT
728 If user says "ignore this signal" during the record mode, then
729 it will be ignored again during the replay mode (no matter if
730 the user says something different, like "deliver this signal"
731 during the replay mode).
d02ed0bb 732
1ddbba9d
TT
733 User should understand that nothing he does during the replay
734 mode will change the behavior of the child. If he tries,
735 then that is a user error.
d02ed0bb 736
1ddbba9d
TT
737 But we should still deliver the signal to gdb during the replay,
738 if we delivered it during the recording. Therefore we should
739 record the signal during record_full_wait, not
740 record_full_resume. */
741 if (record_full_list != &record_full_first) /* FIXME better way
742 to check */
743 {
744 gdb_assert (record_full_list->type == record_full_end);
745 record_full_list->u.end.sigval = signal;
746 }
d02ed0bb 747
1ddbba9d
TT
748 if (signal == GDB_SIGNAL_0
749 || !gdbarch_process_record_signal_p (gdbarch))
750 ret = gdbarch_process_record (gdbarch,
751 regcache,
752 regcache_read_pc (regcache));
753 else
754 ret = gdbarch_process_record_signal (gdbarch,
755 regcache,
756 signal);
757
758 if (ret > 0)
759 error (_("Process record: inferior program stopped."));
760 if (ret < 0)
761 error (_("Process record: failed to record execution log."));
762 }
230d2906 763 catch (const gdb_exception &ex)
d02ed0bb 764 {
1ddbba9d 765 record_full_list_release (record_full_arch_list_tail);
eedc3f4f 766 throw;
d02ed0bb 767 }
d02ed0bb 768
88d1aa9d
MM
769 record_full_list->next = record_full_arch_list_head;
770 record_full_arch_list_head->prev = record_full_list;
771 record_full_list = record_full_arch_list_tail;
d02ed0bb 772
7ee70bf5 773 if (record_full_insn_num == record_full_insn_max_num)
88d1aa9d 774 record_full_list_release_first ();
d02ed0bb 775 else
88d1aa9d 776 record_full_insn_num++;
d02ed0bb
MM
777}
778
bf469271 779static bool
88d1aa9d
MM
780record_full_message_wrapper_safe (struct regcache *regcache,
781 enum gdb_signal signal)
d02ed0bb 782{
a70b8144 783 try
bf469271
PA
784 {
785 record_full_message (regcache, signal);
786 }
230d2906 787 catch (const gdb_exception &ex)
bf469271
PA
788 {
789 exception_print (gdb_stderr, ex);
790 return false;
791 }
d02ed0bb 792
bf469271 793 return true;
d02ed0bb
MM
794}
795
88d1aa9d 796/* Set to 1 if record_full_store_registers and record_full_xfer_partial
d02ed0bb
MM
797 doesn't need record. */
798
88d1aa9d 799static int record_full_gdb_operation_disable = 0;
d02ed0bb 800
07036511 801scoped_restore_tmpl<int>
25ea693b 802record_full_gdb_operation_disable_set (void)
d02ed0bb 803{
07036511 804 return make_scoped_restore (&record_full_gdb_operation_disable, 1);
d02ed0bb
MM
805}
806
807/* Flag set to TRUE for target_stopped_by_watchpoint. */
9e8915c6
PA
808static enum target_stop_reason record_full_stop_reason
809 = TARGET_STOPPED_BY_NO_REASON;
d02ed0bb
MM
810
811/* Execute one instruction from the record log. Each instruction in
812 the log will be represented by an arbitrary sequence of register
813 entries and memory entries, followed by an 'end' entry. */
814
815static inline void
88d1aa9d
MM
816record_full_exec_insn (struct regcache *regcache,
817 struct gdbarch *gdbarch,
818 struct record_full_entry *entry)
d02ed0bb
MM
819{
820 switch (entry->type)
821 {
88d1aa9d 822 case record_full_reg: /* reg */
d02ed0bb 823 {
d7dcbefc 824 gdb::byte_vector reg (entry->u.reg.len);
d02ed0bb 825
dda83cd7
SM
826 if (record_debug > 1)
827 fprintf_unfiltered (gdb_stdlog,
828 "Process record: record_full_reg %s to "
829 "inferior num = %d.\n",
830 host_address_to_string (entry),
831 entry->u.reg.num);
d02ed0bb 832
dda83cd7
SM
833 regcache->cooked_read (entry->u.reg.num, reg.data ());
834 regcache->cooked_write (entry->u.reg.num, record_full_get_loc (entry));
835 memcpy (record_full_get_loc (entry), reg.data (), entry->u.reg.len);
d02ed0bb
MM
836 }
837 break;
838
88d1aa9d 839 case record_full_mem: /* mem */
d02ed0bb
MM
840 {
841 /* Nothing to do if the entry is flagged not_accessible. */
dda83cd7
SM
842 if (!entry->u.mem.mem_entry_not_accessible)
843 {
a2b2bc12 844 gdb::byte_vector mem (entry->u.mem.len);
d02ed0bb 845
dda83cd7
SM
846 if (record_debug > 1)
847 fprintf_unfiltered (gdb_stdlog,
848 "Process record: record_full_mem %s to "
849 "inferior addr = %s len = %d.\n",
850 host_address_to_string (entry),
851 paddress (gdbarch, entry->u.mem.addr),
852 entry->u.mem.len);
d02ed0bb 853
dda83cd7 854 if (record_read_memory (gdbarch,
a2b2bc12
TT
855 entry->u.mem.addr, mem.data (),
856 entry->u.mem.len))
d02ed0bb 857 entry->u.mem.mem_entry_not_accessible = 1;
dda83cd7
SM
858 else
859 {
860 if (target_write_memory (entry->u.mem.addr,
88d1aa9d 861 record_full_get_loc (entry),
d02ed0bb 862 entry->u.mem.len))
dda83cd7
SM
863 {
864 entry->u.mem.mem_entry_not_accessible = 1;
865 if (record_debug)
866 warning (_("Process record: error writing memory at "
d02ed0bb 867 "addr = %s len = %d."),
dda83cd7
SM
868 paddress (gdbarch, entry->u.mem.addr),
869 entry->u.mem.len);
870 }
871 else
d02ed0bb 872 {
a2b2bc12 873 memcpy (record_full_get_loc (entry), mem.data (),
88d1aa9d 874 entry->u.mem.len);
d02ed0bb
MM
875
876 /* We've changed memory --- check if a hardware
877 watchpoint should trap. Note that this
878 presently assumes the target beneath supports
879 continuable watchpoints. On non-continuable
880 watchpoints target, we'll want to check this
881 _before_ actually doing the memory change, and
882 not doing the change at all if the watchpoint
883 traps. */
884 if (hardware_watchpoint_inserted_in_range
a01bda52 885 (regcache->aspace (),
d02ed0bb 886 entry->u.mem.addr, entry->u.mem.len))
9e8915c6 887 record_full_stop_reason = TARGET_STOPPED_BY_WATCHPOINT;
d02ed0bb 888 }
dda83cd7
SM
889 }
890 }
d02ed0bb
MM
891 }
892 break;
893 }
894}
895
88d1aa9d 896static void record_full_restore (void);
d02ed0bb
MM
897
898/* Asynchronous signal handle registered as event loop source for when
899 we have pending events ready to be passed to the core. */
900
88d1aa9d 901static struct async_event_handler *record_full_async_inferior_event_token;
d02ed0bb
MM
902
903static void
88d1aa9d 904record_full_async_inferior_event_handler (gdb_client_data data)
d02ed0bb 905{
b1a35af2 906 inferior_event_handler (INF_REG_EVENT);
d02ed0bb
MM
907}
908
d9f719f1 909/* Open the process record target for 'core' files. */
d02ed0bb
MM
910
911static void
014f9477 912record_full_core_open_1 (const char *name, int from_tty)
d02ed0bb
MM
913{
914 struct regcache *regcache = get_current_regcache ();
ac7936df 915 int regnum = gdbarch_num_regs (regcache->arch ());
d02ed0bb
MM
916 int i;
917
88d1aa9d 918 /* Get record_full_core_regbuf. */
d02ed0bb 919 target_fetch_registers (regcache, -1);
c8ec2f33
YQ
920 record_full_core_regbuf = new detached_regcache (regcache->arch (), false);
921
d02ed0bb 922 for (i = 0; i < regnum; i ++)
c8ec2f33 923 record_full_core_regbuf->raw_supply (i, *regcache);
d02ed0bb 924
2d128614 925 record_full_core_sections = build_section_table (core_bfd);
d02ed0bb 926
88d1aa9d
MM
927 push_target (&record_full_core_ops);
928 record_full_restore ();
d02ed0bb
MM
929}
930
d9f719f1 931/* Open the process record target for 'live' processes. */
d02ed0bb
MM
932
933static void
014f9477 934record_full_open_1 (const char *name, int from_tty)
d02ed0bb
MM
935{
936 if (record_debug)
0a0640e3 937 fprintf_unfiltered (gdb_stdlog, "Process record: record_full_open_1\n");
d02ed0bb
MM
938
939 /* check exec */
55f6301a 940 if (!target_has_execution ())
d02ed0bb
MM
941 error (_("Process record: the program is not being run."));
942 if (non_stop)
943 error (_("Process record target can't debug inferior in non-stop mode "
944 "(non-stop)."));
945
946 if (!gdbarch_process_record_p (target_gdbarch ()))
947 error (_("Process record: the current architecture doesn't support "
948 "record function."));
949
88d1aa9d 950 push_target (&record_full_ops);
d02ed0bb
MM
951}
952
88d1aa9d 953static void record_full_init_record_breakpoints (void);
d02ed0bb 954
d9f719f1 955/* Open the process record target. */
d02ed0bb 956
d9f719f1
PA
957static void
958record_full_open (const char *name, int from_tty)
d02ed0bb 959{
d02ed0bb 960 if (record_debug)
88d1aa9d 961 fprintf_unfiltered (gdb_stdlog, "Process record: record_full_open\n");
d02ed0bb 962
8213266a 963 record_preopen ();
d02ed0bb 964
d02ed0bb 965 /* Reset */
88d1aa9d
MM
966 record_full_insn_num = 0;
967 record_full_insn_count = 0;
968 record_full_list = &record_full_first;
969 record_full_list->next = NULL;
d02ed0bb 970
d02ed0bb 971 if (core_bfd)
88d1aa9d 972 record_full_core_open_1 (name, from_tty);
d02ed0bb 973 else
88d1aa9d 974 record_full_open_1 (name, from_tty);
d02ed0bb
MM
975
976 /* Register extra event sources in the event loop. */
88d1aa9d
MM
977 record_full_async_inferior_event_token
978 = create_async_event_handler (record_full_async_inferior_event_handler,
db20ebdf 979 NULL, "record-full");
d02ed0bb 980
88d1aa9d 981 record_full_init_record_breakpoints ();
d02ed0bb 982
76727919 983 gdb::observers::record_changed.notify (current_inferior (), 1, "full", NULL);
d02ed0bb
MM
984}
985
f6ac5f3d 986/* "close" target method. Close the process record target. */
d02ed0bb 987
f6ac5f3d
PA
988void
989record_full_base_target::close ()
d02ed0bb 990{
88d1aa9d 991 struct record_full_core_buf_entry *entry;
d02ed0bb
MM
992
993 if (record_debug)
88d1aa9d 994 fprintf_unfiltered (gdb_stdlog, "Process record: record_full_close\n");
d02ed0bb 995
88d1aa9d 996 record_full_list_release (record_full_list);
d02ed0bb 997
88d1aa9d
MM
998 /* Release record_full_core_regbuf. */
999 if (record_full_core_regbuf)
d02ed0bb 1000 {
c8ec2f33 1001 delete record_full_core_regbuf;
88d1aa9d 1002 record_full_core_regbuf = NULL;
d02ed0bb
MM
1003 }
1004
88d1aa9d 1005 /* Release record_full_core_buf_list. */
ec70d8db 1006 while (record_full_core_buf_list)
d02ed0bb 1007 {
ec70d8db
PW
1008 entry = record_full_core_buf_list;
1009 record_full_core_buf_list = record_full_core_buf_list->prev;
1010 xfree (entry);
d02ed0bb
MM
1011 }
1012
88d1aa9d
MM
1013 if (record_full_async_inferior_event_token)
1014 delete_async_event_handler (&record_full_async_inferior_event_token);
d02ed0bb
MM
1015}
1016
f6ac5f3d 1017/* "async" target method. */
b7d2e916 1018
f6ac5f3d
PA
1019void
1020record_full_base_target::async (int enable)
b7d2e916 1021{
6a3753b3 1022 if (enable)
b7d2e916
PA
1023 mark_async_event_handler (record_full_async_inferior_event_token);
1024 else
1025 clear_async_event_handler (record_full_async_inferior_event_token);
1026
b6a8c27b 1027 beneath ()->async (enable);
b7d2e916
PA
1028}
1029
ec506636
PA
1030/* The PTID and STEP arguments last passed to
1031 record_full_target::resume. */
1032static ptid_t record_full_resume_ptid = null_ptid;
88d1aa9d 1033static int record_full_resume_step = 0;
d02ed0bb 1034
88d1aa9d
MM
1035/* True if we've been resumed, and so each record_full_wait call should
1036 advance execution. If this is false, record_full_wait will return a
d02ed0bb 1037 TARGET_WAITKIND_IGNORE. */
88d1aa9d 1038static int record_full_resumed = 0;
d02ed0bb
MM
1039
1040/* The execution direction of the last resume we got. This is
1041 necessary for async mode. Vis (order is not strictly accurate):
1042
1043 1. user has the global execution direction set to forward
1044 2. user does a reverse-step command
88d1aa9d 1045 3. record_full_resume is called with global execution direction
d02ed0bb
MM
1046 temporarily switched to reverse
1047 4. GDB's execution direction is reverted back to forward
1048 5. target record notifies event loop there's an event to handle
1049 6. infrun asks the target which direction was it going, and switches
1050 the global execution direction accordingly (to reverse)
1051 7. infrun polls an event out of the record target, and handles it
1052 8. GDB goes back to the event loop, and goto #4.
1053*/
88d1aa9d 1054static enum exec_direction_kind record_full_execution_dir = EXEC_FORWARD;
d02ed0bb 1055
f6ac5f3d 1056/* "resume" target method. Resume the process record target. */
d02ed0bb 1057
f6ac5f3d
PA
1058void
1059record_full_target::resume (ptid_t ptid, int step, enum gdb_signal signal)
d02ed0bb 1060{
ec506636 1061 record_full_resume_ptid = inferior_ptid;
88d1aa9d
MM
1062 record_full_resume_step = step;
1063 record_full_resumed = 1;
f6ac5f3d 1064 record_full_execution_dir = ::execution_direction;
d02ed0bb 1065
88d1aa9d 1066 if (!RECORD_FULL_IS_REPLAY)
d02ed0bb
MM
1067 {
1068 struct gdbarch *gdbarch = target_thread_architecture (ptid);
1069
88d1aa9d 1070 record_full_message (get_current_regcache (), signal);
d02ed0bb
MM
1071
1072 if (!step)
dda83cd7
SM
1073 {
1074 /* This is not hard single step. */
1075 if (!gdbarch_software_single_step_p (gdbarch))
1076 {
1077 /* This is a normal continue. */
1078 step = 1;
1079 }
1080 else
1081 {
1082 /* This arch supports soft single step. */
1083 if (thread_has_single_step_breakpoints_set (inferior_thread ()))
1084 {
1085 /* This is a soft single step. */
1086 record_full_resume_step = 1;
1087 }
1088 else
93f9a11f 1089 step = !insert_single_step_breakpoints (gdbarch);
dda83cd7
SM
1090 }
1091 }
d02ed0bb
MM
1092
1093 /* Make sure the target beneath reports all signals. */
adc6a863 1094 target_pass_signals ({});
d02ed0bb 1095
b6a8c27b 1096 this->beneath ()->resume (ptid, step, signal);
d02ed0bb
MM
1097 }
1098
1099 /* We are about to start executing the inferior (or simulate it),
1100 let's register it with the event loop. */
1101 if (target_can_async_p ())
6a3753b3 1102 target_async (1);
d02ed0bb
MM
1103}
1104
88d1aa9d 1105static int record_full_get_sig = 0;
d02ed0bb 1106
f6ac5f3d 1107/* SIGINT signal handler, registered by "wait" method. */
d02ed0bb
MM
1108
1109static void
88d1aa9d 1110record_full_sig_handler (int signo)
d02ed0bb
MM
1111{
1112 if (record_debug)
1113 fprintf_unfiltered (gdb_stdlog, "Process record: get a signal\n");
1114
1115 /* It will break the running inferior in replay mode. */
88d1aa9d 1116 record_full_resume_step = 1;
d02ed0bb 1117
88d1aa9d 1118 /* It will let record_full_wait set inferior status to get the signal
d02ed0bb 1119 SIGINT. */
88d1aa9d 1120 record_full_get_sig = 1;
d02ed0bb
MM
1121}
1122
f6ac5f3d 1123/* "wait" target method for process record target.
d02ed0bb
MM
1124
1125 In record mode, the target is always run in singlestep mode
f6ac5f3d 1126 (even when gdb says to continue). The wait method intercepts
d02ed0bb
MM
1127 the stop events and determines which ones are to be passed on to
1128 gdb. Most stop events are just singlestep events that gdb is not
f6ac5f3d 1129 to know about, so the wait method just records them and keeps
d02ed0bb
MM
1130 singlestepping.
1131
1132 In replay mode, this function emulates the recorded execution log,
1133 one instruction at a time (forward or backward), and determines
1134 where to stop. */
1135
1136static ptid_t
88d1aa9d
MM
1137record_full_wait_1 (struct target_ops *ops,
1138 ptid_t ptid, struct target_waitstatus *status,
b60cea74 1139 target_wait_flags options)
d02ed0bb 1140{
07036511
TT
1141 scoped_restore restore_operation_disable
1142 = record_full_gdb_operation_disable_set ();
d02ed0bb
MM
1143
1144 if (record_debug)
1145 fprintf_unfiltered (gdb_stdlog,
88d1aa9d
MM
1146 "Process record: record_full_wait "
1147 "record_full_resume_step = %d, "
1148 "record_full_resumed = %d, direction=%s\n",
1149 record_full_resume_step, record_full_resumed,
1150 record_full_execution_dir == EXEC_FORWARD
1151 ? "forward" : "reverse");
1152
1153 if (!record_full_resumed)
d02ed0bb
MM
1154 {
1155 gdb_assert ((options & TARGET_WNOHANG) != 0);
1156
1157 /* No interesting event. */
1158 status->kind = TARGET_WAITKIND_IGNORE;
1159 return minus_one_ptid;
1160 }
1161
88d1aa9d
MM
1162 record_full_get_sig = 0;
1163 signal (SIGINT, record_full_sig_handler);
d02ed0bb 1164
9e8915c6
PA
1165 record_full_stop_reason = TARGET_STOPPED_BY_NO_REASON;
1166
88d1aa9d 1167 if (!RECORD_FULL_IS_REPLAY && ops != &record_full_core_ops)
d02ed0bb 1168 {
88d1aa9d 1169 if (record_full_resume_step)
d02ed0bb
MM
1170 {
1171 /* This is a single step. */
b6a8c27b 1172 return ops->beneath ()->wait (ptid, status, options);
d02ed0bb
MM
1173 }
1174 else
1175 {
1176 /* This is not a single step. */
1177 ptid_t ret;
1178 CORE_ADDR tmp_pc;
ec506636
PA
1179 struct gdbarch *gdbarch
1180 = target_thread_architecture (record_full_resume_ptid);
d02ed0bb
MM
1181
1182 while (1)
1183 {
b6a8c27b 1184 ret = ops->beneath ()->wait (ptid, status, options);
d02ed0bb
MM
1185 if (status->kind == TARGET_WAITKIND_IGNORE)
1186 {
1187 if (record_debug)
1188 fprintf_unfiltered (gdb_stdlog,
88d1aa9d 1189 "Process record: record_full_wait "
d02ed0bb
MM
1190 "target beneath not done yet\n");
1191 return ret;
1192 }
1193
08036331 1194 for (thread_info *tp : all_non_exited_threads ())
dda83cd7 1195 delete_single_step_breakpoints (tp);
d02ed0bb 1196
88d1aa9d 1197 if (record_full_resume_step)
d02ed0bb
MM
1198 return ret;
1199
1200 /* Is this a SIGTRAP? */
1201 if (status->kind == TARGET_WAITKIND_STOPPED
1202 && status->value.sig == GDB_SIGNAL_TRAP)
1203 {
1204 struct regcache *regcache;
9e8915c6
PA
1205 enum target_stop_reason *stop_reason_p
1206 = &record_full_stop_reason;
d02ed0bb
MM
1207
1208 /* Yes -- this is likely our single-step finishing,
1209 but check if there's any reason the core would be
1210 interested in the event. */
1211
1212 registers_changed ();
5b6d1e4f
PA
1213 switch_to_thread (current_inferior ()->process_target (),
1214 ret);
d02ed0bb
MM
1215 regcache = get_current_regcache ();
1216 tmp_pc = regcache_read_pc (regcache);
8b86c959 1217 const struct address_space *aspace = regcache->aspace ();
d02ed0bb
MM
1218
1219 if (target_stopped_by_watchpoint ())
1220 {
1221 /* Always interested in watchpoints. */
1222 }
9e8915c6
PA
1223 else if (record_check_stopped_by_breakpoint (aspace, tmp_pc,
1224 stop_reason_p))
d02ed0bb
MM
1225 {
1226 /* There is a breakpoint here. Let the core
1227 handle it. */
d02ed0bb
MM
1228 }
1229 else
1230 {
1231 /* This is a single-step trap. Record the
dda83cd7
SM
1232 insn and issue another step.
1233 FIXME: this part can be a random SIGTRAP too.
1234 But GDB cannot handle it. */
1235 int step = 1;
d02ed0bb 1236
88d1aa9d
MM
1237 if (!record_full_message_wrapper_safe (regcache,
1238 GDB_SIGNAL_0))
d02ed0bb 1239 {
dda83cd7
SM
1240 status->kind = TARGET_WAITKIND_STOPPED;
1241 status->value.sig = GDB_SIGNAL_0;
1242 break;
d02ed0bb
MM
1243 }
1244
dda83cd7 1245 if (gdbarch_software_single_step_p (gdbarch))
d02ed0bb 1246 {
5b6d1e4f
PA
1247 process_stratum_target *proc_target
1248 = current_inferior ()->process_target ();
1249
d02ed0bb
MM
1250 /* Try to insert the software single step breakpoint.
1251 If insert success, set step to 0. */
719546c4 1252 set_executing (proc_target, inferior_ptid, false);
d02ed0bb 1253 reinit_frame_cache ();
93f9a11f
YQ
1254
1255 step = !insert_single_step_breakpoints (gdbarch);
1256
719546c4 1257 set_executing (proc_target, inferior_ptid, true);
d02ed0bb
MM
1258 }
1259
1260 if (record_debug)
1261 fprintf_unfiltered (gdb_stdlog,
88d1aa9d
MM
1262 "Process record: record_full_wait "
1263 "issuing one more step in the "
1264 "target beneath\n");
b6a8c27b
PA
1265 ops->beneath ()->resume (ptid, step, GDB_SIGNAL_0);
1266 ops->beneath ()->commit_resume ();
d02ed0bb
MM
1267 continue;
1268 }
1269 }
1270
1271 /* The inferior is broken by a breakpoint or a signal. */
1272 break;
1273 }
1274
1275 return ret;
1276 }
1277 }
1278 else
1279 {
5b6d1e4f
PA
1280 switch_to_thread (current_inferior ()->process_target (),
1281 record_full_resume_ptid);
d02ed0bb 1282 struct regcache *regcache = get_current_regcache ();
ac7936df 1283 struct gdbarch *gdbarch = regcache->arch ();
8b86c959 1284 const struct address_space *aspace = regcache->aspace ();
d02ed0bb 1285 int continue_flag = 1;
88d1aa9d 1286 int first_record_full_end = 1;
d02ed0bb 1287
a70b8144 1288 try
d02ed0bb 1289 {
1ddbba9d 1290 CORE_ADDR tmp_pc;
d02ed0bb 1291
1ddbba9d
TT
1292 record_full_stop_reason = TARGET_STOPPED_BY_NO_REASON;
1293 status->kind = TARGET_WAITKIND_STOPPED;
d02ed0bb 1294
1ddbba9d
TT
1295 /* Check breakpoint when forward execute. */
1296 if (execution_direction == EXEC_FORWARD)
d02ed0bb 1297 {
1ddbba9d
TT
1298 tmp_pc = regcache_read_pc (regcache);
1299 if (record_check_stopped_by_breakpoint (aspace, tmp_pc,
1300 &record_full_stop_reason))
1301 {
1302 if (record_debug)
1303 fprintf_unfiltered (gdb_stdlog,
1304 "Process record: break at %s.\n",
1305 paddress (gdbarch, tmp_pc));
1306 goto replay_out;
1307 }
d02ed0bb
MM
1308 }
1309
1ddbba9d
TT
1310 /* If GDB is in terminal_inferior mode, it will not get the
1311 signal. And in GDB replay mode, GDB doesn't need to be
1312 in terminal_inferior mode, because inferior will not
1313 executed. Then set it to terminal_ours to make GDB get
1314 the signal. */
1315 target_terminal::ours ();
1316
1317 /* In EXEC_FORWARD mode, record_full_list points to the tail of prev
1318 instruction. */
1319 if (execution_direction == EXEC_FORWARD && record_full_list->next)
1320 record_full_list = record_full_list->next;
1321
1322 /* Loop over the record_full_list, looking for the next place to
1323 stop. */
1324 do
d02ed0bb 1325 {
1ddbba9d
TT
1326 /* Check for beginning and end of log. */
1327 if (execution_direction == EXEC_REVERSE
1328 && record_full_list == &record_full_first)
d02ed0bb 1329 {
1ddbba9d
TT
1330 /* Hit beginning of record log in reverse. */
1331 status->kind = TARGET_WAITKIND_NO_HISTORY;
1332 break;
d02ed0bb 1333 }
1ddbba9d
TT
1334 if (execution_direction != EXEC_REVERSE
1335 && !record_full_list->next)
1336 {
1337 /* Hit end of record log going forward. */
1338 status->kind = TARGET_WAITKIND_NO_HISTORY;
1339 break;
1340 }
1341
1342 record_full_exec_insn (regcache, gdbarch, record_full_list);
1343
1344 if (record_full_list->type == record_full_end)
d02ed0bb 1345 {
1ddbba9d
TT
1346 if (record_debug > 1)
1347 fprintf_unfiltered
1348 (gdb_stdlog,
1349 "Process record: record_full_end %s to "
1350 "inferior.\n",
1351 host_address_to_string (record_full_list));
1352
1353 if (first_record_full_end
1354 && execution_direction == EXEC_REVERSE)
d02ed0bb 1355 {
85102364 1356 /* When reverse execute, the first
1ddbba9d
TT
1357 record_full_end is the part of current
1358 instruction. */
1359 first_record_full_end = 0;
d02ed0bb 1360 }
1ddbba9d 1361 else
d02ed0bb 1362 {
1ddbba9d
TT
1363 /* In EXEC_REVERSE mode, this is the
1364 record_full_end of prev instruction. In
1365 EXEC_FORWARD mode, this is the
1366 record_full_end of current instruction. */
1367 /* step */
1368 if (record_full_resume_step)
1369 {
1370 if (record_debug > 1)
1371 fprintf_unfiltered (gdb_stdlog,
1372 "Process record: step.\n");
1373 continue_flag = 0;
1374 }
9e8915c6 1375
1ddbba9d
TT
1376 /* check breakpoint */
1377 tmp_pc = regcache_read_pc (regcache);
1378 if (record_check_stopped_by_breakpoint
1379 (aspace, tmp_pc, &record_full_stop_reason))
1380 {
1381 if (record_debug)
1382 fprintf_unfiltered (gdb_stdlog,
1383 "Process record: break "
1384 "at %s.\n",
1385 paddress (gdbarch, tmp_pc));
d02ed0bb 1386
1ddbba9d
TT
1387 continue_flag = 0;
1388 }
1389
1390 if (record_full_stop_reason
1391 == TARGET_STOPPED_BY_WATCHPOINT)
1392 {
1393 if (record_debug)
1394 fprintf_unfiltered (gdb_stdlog,
1395 "Process record: hit hw "
1396 "watchpoint.\n");
1397 continue_flag = 0;
1398 }
1399 /* Check target signal */
1400 if (record_full_list->u.end.sigval != GDB_SIGNAL_0)
1401 /* FIXME: better way to check */
1402 continue_flag = 0;
d02ed0bb 1403 }
d02ed0bb 1404 }
d02ed0bb 1405
1ddbba9d 1406 if (continue_flag)
d02ed0bb 1407 {
1ddbba9d
TT
1408 if (execution_direction == EXEC_REVERSE)
1409 {
1410 if (record_full_list->prev)
1411 record_full_list = record_full_list->prev;
1412 }
1413 else
1414 {
1415 if (record_full_list->next)
1416 record_full_list = record_full_list->next;
1417 }
d02ed0bb
MM
1418 }
1419 }
1ddbba9d
TT
1420 while (continue_flag);
1421
1422 replay_out:
1423 if (record_full_get_sig)
1424 status->value.sig = GDB_SIGNAL_INT;
1425 else if (record_full_list->u.end.sigval != GDB_SIGNAL_0)
1426 /* FIXME: better way to check */
1427 status->value.sig = record_full_list->u.end.sigval;
1428 else
1429 status->value.sig = GDB_SIGNAL_TRAP;
d02ed0bb 1430 }
230d2906 1431 catch (const gdb_exception &ex)
1ddbba9d
TT
1432 {
1433 if (execution_direction == EXEC_REVERSE)
1434 {
1435 if (record_full_list->next)
1436 record_full_list = record_full_list->next;
1437 }
1438 else
1439 record_full_list = record_full_list->prev;
d02ed0bb 1440
eedc3f4f 1441 throw;
1ddbba9d 1442 }
d02ed0bb
MM
1443 }
1444
1445 signal (SIGINT, handle_sigint);
1446
d02ed0bb
MM
1447 return inferior_ptid;
1448}
1449
f6ac5f3d
PA
1450ptid_t
1451record_full_base_target::wait (ptid_t ptid, struct target_waitstatus *status,
b60cea74 1452 target_wait_flags options)
d02ed0bb
MM
1453{
1454 ptid_t return_ptid;
1455
fdbc5215
SM
1456 clear_async_event_handler (record_full_async_inferior_event_token);
1457
f6ac5f3d 1458 return_ptid = record_full_wait_1 (this, ptid, status, options);
d02ed0bb
MM
1459 if (status->kind != TARGET_WAITKIND_IGNORE)
1460 {
1461 /* We're reporting a stop. Make sure any spurious
1462 target_wait(WNOHANG) doesn't advance the target until the
1463 core wants us resumed again. */
88d1aa9d 1464 record_full_resumed = 0;
d02ed0bb
MM
1465 }
1466 return return_ptid;
1467}
1468
57810aa7 1469bool
f6ac5f3d 1470record_full_base_target::stopped_by_watchpoint ()
d02ed0bb 1471{
88d1aa9d 1472 if (RECORD_FULL_IS_REPLAY)
9e8915c6 1473 return record_full_stop_reason == TARGET_STOPPED_BY_WATCHPOINT;
d02ed0bb 1474 else
b6a8c27b 1475 return beneath ()->stopped_by_watchpoint ();
d02ed0bb
MM
1476}
1477
57810aa7 1478bool
f6ac5f3d 1479record_full_base_target::stopped_data_address (CORE_ADDR *addr_p)
d02ed0bb 1480{
88d1aa9d 1481 if (RECORD_FULL_IS_REPLAY)
57810aa7 1482 return false;
d02ed0bb 1483 else
b6a8c27b 1484 return this->beneath ()->stopped_data_address (addr_p);
d02ed0bb
MM
1485}
1486
f6ac5f3d 1487/* The stopped_by_sw_breakpoint method of target record-full. */
9e8915c6 1488
57810aa7 1489bool
f6ac5f3d 1490record_full_base_target::stopped_by_sw_breakpoint ()
9e8915c6
PA
1491{
1492 return record_full_stop_reason == TARGET_STOPPED_BY_SW_BREAKPOINT;
1493}
1494
f6ac5f3d 1495/* The supports_stopped_by_sw_breakpoint method of target
9e8915c6
PA
1496 record-full. */
1497
57810aa7 1498bool
f6ac5f3d 1499record_full_base_target::supports_stopped_by_sw_breakpoint ()
9e8915c6 1500{
57810aa7 1501 return true;
9e8915c6
PA
1502}
1503
f6ac5f3d 1504/* The stopped_by_hw_breakpoint method of target record-full. */
9e8915c6 1505
57810aa7 1506bool
f6ac5f3d 1507record_full_base_target::stopped_by_hw_breakpoint ()
9e8915c6
PA
1508{
1509 return record_full_stop_reason == TARGET_STOPPED_BY_HW_BREAKPOINT;
1510}
1511
f6ac5f3d 1512/* The supports_stopped_by_sw_breakpoint method of target
9e8915c6
PA
1513 record-full. */
1514
57810aa7 1515bool
f6ac5f3d 1516record_full_base_target::supports_stopped_by_hw_breakpoint ()
9e8915c6 1517{
57810aa7 1518 return true;
9e8915c6
PA
1519}
1520
d02ed0bb
MM
1521/* Record registers change (by user or by GDB) to list as an instruction. */
1522
1523static void
88d1aa9d 1524record_full_registers_change (struct regcache *regcache, int regnum)
d02ed0bb 1525{
88d1aa9d 1526 /* Check record_full_insn_num. */
651ce16a 1527 record_full_check_insn_num ();
d02ed0bb 1528
88d1aa9d
MM
1529 record_full_arch_list_head = NULL;
1530 record_full_arch_list_tail = NULL;
d02ed0bb
MM
1531
1532 if (regnum < 0)
1533 {
1534 int i;
1535
ac7936df 1536 for (i = 0; i < gdbarch_num_regs (regcache->arch ()); i++)
d02ed0bb 1537 {
25ea693b 1538 if (record_full_arch_list_add_reg (regcache, i))
d02ed0bb 1539 {
88d1aa9d 1540 record_full_list_release (record_full_arch_list_tail);
d02ed0bb
MM
1541 error (_("Process record: failed to record execution log."));
1542 }
1543 }
1544 }
1545 else
1546 {
25ea693b 1547 if (record_full_arch_list_add_reg (regcache, regnum))
d02ed0bb 1548 {
88d1aa9d 1549 record_full_list_release (record_full_arch_list_tail);
d02ed0bb
MM
1550 error (_("Process record: failed to record execution log."));
1551 }
1552 }
25ea693b 1553 if (record_full_arch_list_add_end ())
d02ed0bb 1554 {
88d1aa9d 1555 record_full_list_release (record_full_arch_list_tail);
d02ed0bb
MM
1556 error (_("Process record: failed to record execution log."));
1557 }
88d1aa9d
MM
1558 record_full_list->next = record_full_arch_list_head;
1559 record_full_arch_list_head->prev = record_full_list;
1560 record_full_list = record_full_arch_list_tail;
d02ed0bb 1561
7ee70bf5 1562 if (record_full_insn_num == record_full_insn_max_num)
88d1aa9d 1563 record_full_list_release_first ();
d02ed0bb 1564 else
88d1aa9d 1565 record_full_insn_num++;
d02ed0bb
MM
1566}
1567
f6ac5f3d 1568/* "store_registers" method for process record target. */
d02ed0bb 1569
f6ac5f3d
PA
1570void
1571record_full_target::store_registers (struct regcache *regcache, int regno)
d02ed0bb 1572{
88d1aa9d 1573 if (!record_full_gdb_operation_disable)
d02ed0bb 1574 {
88d1aa9d 1575 if (RECORD_FULL_IS_REPLAY)
d02ed0bb
MM
1576 {
1577 int n;
1578
1579 /* Let user choose if he wants to write register or not. */
1580 if (regno < 0)
1581 n =
1582 query (_("Because GDB is in replay mode, changing the "
1583 "value of a register will make the execution "
1584 "log unusable from this point onward. "
1585 "Change all registers?"));
1586 else
1587 n =
1588 query (_("Because GDB is in replay mode, changing the value "
1589 "of a register will make the execution log unusable "
1590 "from this point onward. Change register %s?"),
ac7936df 1591 gdbarch_register_name (regcache->arch (),
d02ed0bb
MM
1592 regno));
1593
1594 if (!n)
1595 {
1596 /* Invalidate the value of regcache that was set in function
dda83cd7 1597 "regcache_raw_write". */
d02ed0bb
MM
1598 if (regno < 0)
1599 {
1600 int i;
1601
1602 for (i = 0;
ac7936df 1603 i < gdbarch_num_regs (regcache->arch ());
d02ed0bb 1604 i++)
6aa7d724 1605 regcache->invalidate (i);
d02ed0bb
MM
1606 }
1607 else
6aa7d724 1608 regcache->invalidate (regno);
d02ed0bb
MM
1609
1610 error (_("Process record canceled the operation."));
1611 }
1612
1613 /* Destroy the record from here forward. */
88d1aa9d 1614 record_full_list_release_following (record_full_list);
d02ed0bb
MM
1615 }
1616
88d1aa9d 1617 record_full_registers_change (regcache, regno);
d02ed0bb 1618 }
b6a8c27b 1619 this->beneath ()->store_registers (regcache, regno);
d02ed0bb
MM
1620}
1621
f6ac5f3d 1622/* "xfer_partial" method. Behavior is conditional on
88d1aa9d 1623 RECORD_FULL_IS_REPLAY.
d02ed0bb
MM
1624 In replay mode, we cannot write memory unles we are willing to
1625 invalidate the record/replay log from this point forward. */
1626
f6ac5f3d
PA
1627enum target_xfer_status
1628record_full_target::xfer_partial (enum target_object object,
1629 const char *annex, gdb_byte *readbuf,
1630 const gdb_byte *writebuf, ULONGEST offset,
1631 ULONGEST len, ULONGEST *xfered_len)
d02ed0bb 1632{
88d1aa9d 1633 if (!record_full_gdb_operation_disable
d02ed0bb
MM
1634 && (object == TARGET_OBJECT_MEMORY
1635 || object == TARGET_OBJECT_RAW_MEMORY) && writebuf)
1636 {
88d1aa9d 1637 if (RECORD_FULL_IS_REPLAY)
d02ed0bb
MM
1638 {
1639 /* Let user choose if he wants to write memory or not. */
1640 if (!query (_("Because GDB is in replay mode, writing to memory "
dda83cd7
SM
1641 "will make the execution log unusable from this "
1642 "point onward. Write memory at address %s?"),
d02ed0bb
MM
1643 paddress (target_gdbarch (), offset)))
1644 error (_("Process record canceled the operation."));
1645
1646 /* Destroy the record from here forward. */
88d1aa9d 1647 record_full_list_release_following (record_full_list);
d02ed0bb
MM
1648 }
1649
88d1aa9d 1650 /* Check record_full_insn_num */
651ce16a 1651 record_full_check_insn_num ();
d02ed0bb
MM
1652
1653 /* Record registers change to list as an instruction. */
88d1aa9d
MM
1654 record_full_arch_list_head = NULL;
1655 record_full_arch_list_tail = NULL;
25ea693b 1656 if (record_full_arch_list_add_mem (offset, len))
d02ed0bb 1657 {
88d1aa9d 1658 record_full_list_release (record_full_arch_list_tail);
d02ed0bb
MM
1659 if (record_debug)
1660 fprintf_unfiltered (gdb_stdlog,
1661 "Process record: failed to record "
1662 "execution log.");
2ed4b548 1663 return TARGET_XFER_E_IO;
d02ed0bb 1664 }
25ea693b 1665 if (record_full_arch_list_add_end ())
d02ed0bb 1666 {
88d1aa9d 1667 record_full_list_release (record_full_arch_list_tail);
d02ed0bb
MM
1668 if (record_debug)
1669 fprintf_unfiltered (gdb_stdlog,
1670 "Process record: failed to record "
1671 "execution log.");
2ed4b548 1672 return TARGET_XFER_E_IO;
d02ed0bb 1673 }
88d1aa9d
MM
1674 record_full_list->next = record_full_arch_list_head;
1675 record_full_arch_list_head->prev = record_full_list;
1676 record_full_list = record_full_arch_list_tail;
d02ed0bb 1677
7ee70bf5 1678 if (record_full_insn_num == record_full_insn_max_num)
88d1aa9d 1679 record_full_list_release_first ();
d02ed0bb 1680 else
88d1aa9d 1681 record_full_insn_num++;
d02ed0bb
MM
1682 }
1683
b6a8c27b
PA
1684 return this->beneath ()->xfer_partial (object, annex, readbuf, writebuf,
1685 offset, len, xfered_len);
d02ed0bb
MM
1686}
1687
1688/* This structure represents a breakpoint inserted while the record
1689 target is active. We use this to know when to install/remove
1690 breakpoints in/from the target beneath. For example, a breakpoint
1691 may be inserted while recording, but removed when not replaying nor
1692 recording. In that case, the breakpoint had not been inserted on
1693 the target beneath, so we should not try to remove it there. */
1694
88d1aa9d 1695struct record_full_breakpoint
d02ed0bb 1696{
219605fd
TT
1697 record_full_breakpoint (struct address_space *address_space_,
1698 CORE_ADDR addr_,
1699 bool in_target_beneath_)
1700 : address_space (address_space_),
1701 addr (addr_),
1702 in_target_beneath (in_target_beneath_)
1703 {
1704 }
1705
d02ed0bb
MM
1706 /* The address and address space the breakpoint was set at. */
1707 struct address_space *address_space;
1708 CORE_ADDR addr;
1709
1710 /* True when the breakpoint has been also installed in the target
1711 beneath. This will be false for breakpoints set during replay or
1712 when recording. */
219605fd 1713 bool in_target_beneath;
d02ed0bb
MM
1714};
1715
d02ed0bb
MM
1716/* The list of breakpoints inserted while the record target is
1717 active. */
219605fd 1718static std::vector<record_full_breakpoint> record_full_breakpoints;
d02ed0bb
MM
1719
1720static void
88d1aa9d 1721record_full_sync_record_breakpoints (struct bp_location *loc, void *data)
d02ed0bb
MM
1722{
1723 if (loc->loc_type != bp_loc_software_breakpoint)
1724 return;
1725
1726 if (loc->inserted)
1727 {
219605fd
TT
1728 record_full_breakpoints.emplace_back
1729 (loc->target_info.placed_address_space,
1730 loc->target_info.placed_address,
1731 1);
d02ed0bb
MM
1732 }
1733}
1734
88d1aa9d 1735/* Sync existing breakpoints to record_full_breakpoints. */
d02ed0bb
MM
1736
1737static void
88d1aa9d 1738record_full_init_record_breakpoints (void)
d02ed0bb 1739{
219605fd 1740 record_full_breakpoints.clear ();
d02ed0bb 1741
88d1aa9d 1742 iterate_over_bp_locations (record_full_sync_record_breakpoints);
d02ed0bb
MM
1743}
1744
88d1aa9d 1745/* Behavior is conditional on RECORD_FULL_IS_REPLAY. We will not actually
d02ed0bb
MM
1746 insert or remove breakpoints in the real target when replaying, nor
1747 when recording. */
1748
f6ac5f3d
PA
1749int
1750record_full_target::insert_breakpoint (struct gdbarch *gdbarch,
1751 struct bp_target_info *bp_tgt)
d02ed0bb 1752{
219605fd 1753 bool in_target_beneath = false;
d02ed0bb 1754
88d1aa9d 1755 if (!RECORD_FULL_IS_REPLAY)
d02ed0bb
MM
1756 {
1757 /* When recording, we currently always single-step, so we don't
1758 really need to install regular breakpoints in the inferior.
1759 However, we do have to insert software single-step
1760 breakpoints, in case the target can't hardware step. To keep
f99bd5f2 1761 things simple, we always insert. */
d02ed0bb 1762
07036511
TT
1763 scoped_restore restore_operation_disable
1764 = record_full_gdb_operation_disable_set ();
d02ed0bb 1765
b6a8c27b 1766 int ret = this->beneath ()->insert_breakpoint (gdbarch, bp_tgt);
d02ed0bb
MM
1767 if (ret != 0)
1768 return ret;
1769
219605fd 1770 in_target_beneath = true;
d02ed0bb
MM
1771 }
1772
e390720b
YQ
1773 /* Use the existing entries if found in order to avoid duplication
1774 in record_full_breakpoints. */
1775
19f3f25f 1776 for (const record_full_breakpoint &bp : record_full_breakpoints)
e390720b 1777 {
219605fd
TT
1778 if (bp.addr == bp_tgt->placed_address
1779 && bp.address_space == bp_tgt->placed_address_space)
e390720b 1780 {
219605fd 1781 gdb_assert (bp.in_target_beneath == in_target_beneath);
e390720b
YQ
1782 return 0;
1783 }
1784 }
1785
219605fd
TT
1786 record_full_breakpoints.emplace_back (bp_tgt->placed_address_space,
1787 bp_tgt->placed_address,
1788 in_target_beneath);
d02ed0bb
MM
1789 return 0;
1790}
1791
f6ac5f3d 1792/* "remove_breakpoint" method for process record target. */
d02ed0bb 1793
f6ac5f3d
PA
1794int
1795record_full_target::remove_breakpoint (struct gdbarch *gdbarch,
1796 struct bp_target_info *bp_tgt,
1797 enum remove_bp_reason reason)
d02ed0bb 1798{
219605fd
TT
1799 for (auto iter = record_full_breakpoints.begin ();
1800 iter != record_full_breakpoints.end ();
1801 ++iter)
d02ed0bb 1802 {
219605fd
TT
1803 struct record_full_breakpoint &bp = *iter;
1804
1805 if (bp.addr == bp_tgt->placed_address
1806 && bp.address_space == bp_tgt->placed_address_space)
d02ed0bb 1807 {
219605fd 1808 if (bp.in_target_beneath)
d02ed0bb 1809 {
07036511
TT
1810 scoped_restore restore_operation_disable
1811 = record_full_gdb_operation_disable_set ();
f6ac5f3d 1812
b6a8c27b
PA
1813 int ret = this->beneath ()->remove_breakpoint (gdbarch, bp_tgt,
1814 reason);
d02ed0bb
MM
1815 if (ret != 0)
1816 return ret;
1817 }
1818
01d3dedf 1819 if (reason == REMOVE_BREAKPOINT)
219605fd 1820 unordered_remove (record_full_breakpoints, iter);
d02ed0bb
MM
1821 return 0;
1822 }
1823 }
1824
1825 gdb_assert_not_reached ("removing unknown breakpoint");
1826}
1827
f6ac5f3d 1828/* "can_execute_reverse" method for process record target. */
d02ed0bb 1829
57810aa7 1830bool
f6ac5f3d 1831record_full_base_target::can_execute_reverse ()
d02ed0bb 1832{
57810aa7 1833 return true;
d02ed0bb
MM
1834}
1835
f6ac5f3d 1836/* "get_bookmark" method for process record and prec over core. */
d02ed0bb 1837
f6ac5f3d
PA
1838gdb_byte *
1839record_full_base_target::get_bookmark (const char *args, int from_tty)
d02ed0bb 1840{
0f928d68 1841 char *ret = NULL;
d02ed0bb
MM
1842
1843 /* Return stringified form of instruction count. */
88d1aa9d
MM
1844 if (record_full_list && record_full_list->type == record_full_end)
1845 ret = xstrdup (pulongest (record_full_list->u.end.insn_num));
d02ed0bb
MM
1846
1847 if (record_debug)
1848 {
1849 if (ret)
1850 fprintf_unfiltered (gdb_stdlog,
88d1aa9d 1851 "record_full_get_bookmark returns %s\n", ret);
d02ed0bb
MM
1852 else
1853 fprintf_unfiltered (gdb_stdlog,
88d1aa9d 1854 "record_full_get_bookmark returns NULL\n");
d02ed0bb 1855 }
0f928d68 1856 return (gdb_byte *) ret;
d02ed0bb
MM
1857}
1858
f6ac5f3d 1859/* "goto_bookmark" method for process record and prec over core. */
d02ed0bb 1860
f6ac5f3d
PA
1861void
1862record_full_base_target::goto_bookmark (const gdb_byte *raw_bookmark,
1863 int from_tty)
d02ed0bb 1864{
c2bcbb1d 1865 const char *bookmark = (const char *) raw_bookmark;
0f928d68 1866
d02ed0bb
MM
1867 if (record_debug)
1868 fprintf_unfiltered (gdb_stdlog,
88d1aa9d 1869 "record_full_goto_bookmark receives %s\n", bookmark);
d02ed0bb 1870
a2b2bc12 1871 std::string name_holder;
d02ed0bb
MM
1872 if (bookmark[0] == '\'' || bookmark[0] == '\"')
1873 {
1874 if (bookmark[strlen (bookmark) - 1] != bookmark[0])
1875 error (_("Unbalanced quotes: %s"), bookmark);
1876
a2b2bc12
TT
1877 name_holder = std::string (bookmark + 1, strlen (bookmark) - 2);
1878 bookmark = name_holder.c_str ();
d02ed0bb
MM
1879 }
1880
c2bcbb1d 1881 record_goto (bookmark);
d02ed0bb
MM
1882}
1883
f6ac5f3d
PA
1884enum exec_direction_kind
1885record_full_base_target::execution_direction ()
d02ed0bb 1886{
88d1aa9d 1887 return record_full_execution_dir;
d02ed0bb
MM
1888}
1889
f6ac5f3d 1890/* The record_method method of target record-full. */
b158a20f
TW
1891
1892enum record_method
f6ac5f3d 1893record_full_base_target::record_method (ptid_t ptid)
b158a20f
TW
1894{
1895 return RECORD_METHOD_FULL;
1896}
1897
f6ac5f3d
PA
1898void
1899record_full_base_target::info_record ()
d02ed0bb 1900{
88d1aa9d 1901 struct record_full_entry *p;
d02ed0bb 1902
88d1aa9d 1903 if (RECORD_FULL_IS_REPLAY)
d02ed0bb
MM
1904 printf_filtered (_("Replay mode:\n"));
1905 else
1906 printf_filtered (_("Record mode:\n"));
1907
1908 /* Find entry for first actual instruction in the log. */
88d1aa9d
MM
1909 for (p = record_full_first.next;
1910 p != NULL && p->type != record_full_end;
d02ed0bb
MM
1911 p = p->next)
1912 ;
1913
1914 /* Do we have a log at all? */
88d1aa9d 1915 if (p != NULL && p->type == record_full_end)
d02ed0bb
MM
1916 {
1917 /* Display instruction number for first instruction in the log. */
1918 printf_filtered (_("Lowest recorded instruction number is %s.\n"),
1919 pulongest (p->u.end.insn_num));
1920
1921 /* If in replay mode, display where we are in the log. */
88d1aa9d 1922 if (RECORD_FULL_IS_REPLAY)
d02ed0bb 1923 printf_filtered (_("Current instruction number is %s.\n"),
88d1aa9d 1924 pulongest (record_full_list->u.end.insn_num));
d02ed0bb
MM
1925
1926 /* Display instruction number for last instruction in the log. */
1927 printf_filtered (_("Highest recorded instruction number is %s.\n"),
88d1aa9d 1928 pulongest (record_full_insn_count));
d02ed0bb
MM
1929
1930 /* Display log count. */
7ee70bf5 1931 printf_filtered (_("Log contains %u instructions.\n"),
88d1aa9d 1932 record_full_insn_num);
d02ed0bb
MM
1933 }
1934 else
1935 printf_filtered (_("No instructions have been logged.\n"));
1936
1937 /* Display max log size. */
7ee70bf5 1938 printf_filtered (_("Max logged instructions is %u.\n"),
88d1aa9d 1939 record_full_insn_max_num);
d02ed0bb
MM
1940}
1941
f6ac5f3d
PA
1942bool
1943record_full_base_target::supports_delete_record ()
1944{
1945 return true;
1946}
d02ed0bb 1947
f6ac5f3d
PA
1948/* The "delete_record" target method. */
1949
1950void
1951record_full_base_target::delete_record ()
d02ed0bb 1952{
88d1aa9d 1953 record_full_list_release_following (record_full_list);
d02ed0bb
MM
1954}
1955
f6ac5f3d 1956/* The "record_is_replaying" target method. */
d02ed0bb 1957
57810aa7 1958bool
f6ac5f3d 1959record_full_base_target::record_is_replaying (ptid_t ptid)
d02ed0bb 1960{
88d1aa9d 1961 return RECORD_FULL_IS_REPLAY;
d02ed0bb
MM
1962}
1963
f6ac5f3d 1964/* The "record_will_replay" target method. */
7ff27e9b 1965
57810aa7 1966bool
f6ac5f3d 1967record_full_base_target::record_will_replay (ptid_t ptid, int dir)
7ff27e9b
MM
1968{
1969 /* We can currently only record when executing forwards. Should we be able
1970 to record when executing backwards on targets that support reverse
1971 execution, this needs to be changed. */
1972
1973 return RECORD_FULL_IS_REPLAY || dir == EXEC_REVERSE;
1974}
1975
d02ed0bb
MM
1976/* Go to a specific entry. */
1977
1978static void
88d1aa9d 1979record_full_goto_entry (struct record_full_entry *p)
d02ed0bb
MM
1980{
1981 if (p == NULL)
1982 error (_("Target insn not found."));
88d1aa9d 1983 else if (p == record_full_list)
d02ed0bb 1984 error (_("Already at target insn."));
88d1aa9d 1985 else if (p->u.end.insn_num > record_full_list->u.end.insn_num)
d02ed0bb
MM
1986 {
1987 printf_filtered (_("Go forward to insn number %s\n"),
1988 pulongest (p->u.end.insn_num));
88d1aa9d 1989 record_full_goto_insn (p, EXEC_FORWARD);
d02ed0bb
MM
1990 }
1991 else
1992 {
1993 printf_filtered (_("Go backward to insn number %s\n"),
1994 pulongest (p->u.end.insn_num));
88d1aa9d 1995 record_full_goto_insn (p, EXEC_REVERSE);
d02ed0bb
MM
1996 }
1997
1998 registers_changed ();
1999 reinit_frame_cache ();
f2ffa92b
PA
2000 inferior_thread ()->suspend.stop_pc
2001 = regcache_read_pc (get_current_regcache ());
08d72866 2002 print_stack_frame (get_selected_frame (NULL), 1, SRC_AND_LOC, 1);
d02ed0bb
MM
2003}
2004
f6ac5f3d 2005/* The "goto_record_begin" target method. */
d02ed0bb 2006
f6ac5f3d
PA
2007void
2008record_full_base_target::goto_record_begin ()
d02ed0bb 2009{
88d1aa9d 2010 struct record_full_entry *p = NULL;
d02ed0bb 2011
88d1aa9d
MM
2012 for (p = &record_full_first; p != NULL; p = p->next)
2013 if (p->type == record_full_end)
d02ed0bb
MM
2014 break;
2015
88d1aa9d 2016 record_full_goto_entry (p);
d02ed0bb
MM
2017}
2018
f6ac5f3d 2019/* The "goto_record_end" target method. */
d02ed0bb 2020
f6ac5f3d
PA
2021void
2022record_full_base_target::goto_record_end ()
d02ed0bb 2023{
88d1aa9d 2024 struct record_full_entry *p = NULL;
d02ed0bb 2025
88d1aa9d 2026 for (p = record_full_list; p->next != NULL; p = p->next)
d02ed0bb
MM
2027 ;
2028 for (; p!= NULL; p = p->prev)
88d1aa9d 2029 if (p->type == record_full_end)
d02ed0bb
MM
2030 break;
2031
88d1aa9d 2032 record_full_goto_entry (p);
d02ed0bb
MM
2033}
2034
f6ac5f3d 2035/* The "goto_record" target method. */
d02ed0bb 2036
f6ac5f3d
PA
2037void
2038record_full_base_target::goto_record (ULONGEST target_insn)
d02ed0bb 2039{
88d1aa9d 2040 struct record_full_entry *p = NULL;
d02ed0bb 2041
88d1aa9d
MM
2042 for (p = &record_full_first; p != NULL; p = p->next)
2043 if (p->type == record_full_end && p->u.end.insn_num == target_insn)
d02ed0bb
MM
2044 break;
2045
88d1aa9d 2046 record_full_goto_entry (p);
d02ed0bb
MM
2047}
2048
f6ac5f3d 2049/* The "record_stop_replaying" target method. */
797094dd 2050
f6ac5f3d
PA
2051void
2052record_full_base_target::record_stop_replaying ()
797094dd 2053{
f6ac5f3d 2054 goto_record_end ();
797094dd
MM
2055}
2056
f6ac5f3d 2057/* "resume" method for prec over corefile. */
d02ed0bb 2058
f6ac5f3d
PA
2059void
2060record_full_core_target::resume (ptid_t ptid, int step,
2061 enum gdb_signal signal)
d02ed0bb 2062{
88d1aa9d
MM
2063 record_full_resume_step = step;
2064 record_full_resumed = 1;
f6ac5f3d 2065 record_full_execution_dir = ::execution_direction;
d02ed0bb
MM
2066
2067 /* We are about to start executing the inferior (or simulate it),
2068 let's register it with the event loop. */
2069 if (target_can_async_p ())
6a3753b3 2070 target_async (1);
d02ed0bb
MM
2071}
2072
f6ac5f3d 2073/* "kill" method for prec over corefile. */
d02ed0bb 2074
f6ac5f3d
PA
2075void
2076record_full_core_target::kill ()
d02ed0bb
MM
2077{
2078 if (record_debug)
88d1aa9d 2079 fprintf_unfiltered (gdb_stdlog, "Process record: record_full_core_kill\n");
d02ed0bb 2080
f6ac5f3d 2081 unpush_target (this);
d02ed0bb
MM
2082}
2083
f6ac5f3d 2084/* "fetch_registers" method for prec over corefile. */
d02ed0bb 2085
f6ac5f3d
PA
2086void
2087record_full_core_target::fetch_registers (struct regcache *regcache,
2088 int regno)
d02ed0bb
MM
2089{
2090 if (regno < 0)
2091 {
ac7936df 2092 int num = gdbarch_num_regs (regcache->arch ());
d02ed0bb
MM
2093 int i;
2094
2095 for (i = 0; i < num; i ++)
c8ec2f33 2096 regcache->raw_supply (i, *record_full_core_regbuf);
d02ed0bb
MM
2097 }
2098 else
c8ec2f33 2099 regcache->raw_supply (regno, *record_full_core_regbuf);
d02ed0bb
MM
2100}
2101
f6ac5f3d 2102/* "prepare_to_store" method for prec over corefile. */
d02ed0bb 2103
f6ac5f3d
PA
2104void
2105record_full_core_target::prepare_to_store (struct regcache *regcache)
d02ed0bb
MM
2106{
2107}
2108
f6ac5f3d 2109/* "store_registers" method for prec over corefile. */
d02ed0bb 2110
f6ac5f3d
PA
2111void
2112record_full_core_target::store_registers (struct regcache *regcache,
2113 int regno)
d02ed0bb 2114{
88d1aa9d 2115 if (record_full_gdb_operation_disable)
c8ec2f33 2116 record_full_core_regbuf->raw_supply (regno, *regcache);
d02ed0bb
MM
2117 else
2118 error (_("You can't do that without a process to debug."));
2119}
2120
f6ac5f3d 2121/* "xfer_partial" method for prec over corefile. */
d02ed0bb 2122
f6ac5f3d
PA
2123enum target_xfer_status
2124record_full_core_target::xfer_partial (enum target_object object,
2125 const char *annex, gdb_byte *readbuf,
2126 const gdb_byte *writebuf, ULONGEST offset,
2127 ULONGEST len, ULONGEST *xfered_len)
d02ed0bb
MM
2128{
2129 if (object == TARGET_OBJECT_MEMORY)
2130 {
88d1aa9d 2131 if (record_full_gdb_operation_disable || !writebuf)
d02ed0bb 2132 {
d7a78e5c 2133 for (target_section &p : record_full_core_sections)
d02ed0bb 2134 {
bb2a6777 2135 if (offset >= p.addr)
d02ed0bb 2136 {
88d1aa9d 2137 struct record_full_core_buf_entry *entry;
d02ed0bb
MM
2138 ULONGEST sec_offset;
2139
bb2a6777 2140 if (offset >= p.endaddr)
d02ed0bb
MM
2141 continue;
2142
bb2a6777
TT
2143 if (offset + len > p.endaddr)
2144 len = p.endaddr - offset;
d02ed0bb 2145
bb2a6777 2146 sec_offset = offset - p.addr;
d02ed0bb
MM
2147
2148 /* Read readbuf or write writebuf p, offset, len. */
2149 /* Check flags. */
bb2a6777
TT
2150 if (p.the_bfd_section->flags & SEC_CONSTRUCTOR
2151 || (p.the_bfd_section->flags & SEC_HAS_CONTENTS) == 0)
d02ed0bb
MM
2152 {
2153 if (readbuf)
2154 memset (readbuf, 0, len);
9b409511
YQ
2155
2156 *xfered_len = len;
2157 return TARGET_XFER_OK;
d02ed0bb 2158 }
88d1aa9d
MM
2159 /* Get record_full_core_buf_entry. */
2160 for (entry = record_full_core_buf_list; entry;
d02ed0bb 2161 entry = entry->prev)
bb2a6777 2162 if (entry->p == &p)
d02ed0bb
MM
2163 break;
2164 if (writebuf)
2165 {
2166 if (!entry)
2167 {
2168 /* Add a new entry. */
8d749320 2169 entry = XNEW (struct record_full_core_buf_entry);
bb2a6777 2170 entry->p = &p;
2b2848e2 2171 if (!bfd_malloc_and_get_section
dda83cd7 2172 (p.the_bfd_section->owner,
bb2a6777 2173 p.the_bfd_section,
2b2848e2 2174 &entry->buf))
d02ed0bb
MM
2175 {
2176 xfree (entry);
9b409511 2177 return TARGET_XFER_EOF;
d02ed0bb 2178 }
88d1aa9d
MM
2179 entry->prev = record_full_core_buf_list;
2180 record_full_core_buf_list = entry;
d02ed0bb
MM
2181 }
2182
2183 memcpy (entry->buf + sec_offset, writebuf,
2184 (size_t) len);
2185 }
2186 else
2187 {
2188 if (!entry)
b6a8c27b
PA
2189 return this->beneath ()->xfer_partial (object, annex,
2190 readbuf, writebuf,
2191 offset, len,
2192 xfered_len);
d02ed0bb
MM
2193
2194 memcpy (readbuf, entry->buf + sec_offset,
2195 (size_t) len);
2196 }
2197
9b409511
YQ
2198 *xfered_len = len;
2199 return TARGET_XFER_OK;
d02ed0bb
MM
2200 }
2201 }
2202
2ed4b548 2203 return TARGET_XFER_E_IO;
d02ed0bb
MM
2204 }
2205 else
2206 error (_("You can't do that without a process to debug."));
2207 }
2208
b6a8c27b
PA
2209 return this->beneath ()->xfer_partial (object, annex,
2210 readbuf, writebuf, offset, len,
2211 xfered_len);
d02ed0bb
MM
2212}
2213
f6ac5f3d 2214/* "insert_breakpoint" method for prec over corefile. */
d02ed0bb 2215
f6ac5f3d
PA
2216int
2217record_full_core_target::insert_breakpoint (struct gdbarch *gdbarch,
2218 struct bp_target_info *bp_tgt)
d02ed0bb
MM
2219{
2220 return 0;
2221}
2222
f6ac5f3d 2223/* "remove_breakpoint" method for prec over corefile. */
d02ed0bb 2224
f6ac5f3d
PA
2225int
2226record_full_core_target::remove_breakpoint (struct gdbarch *gdbarch,
2227 struct bp_target_info *bp_tgt,
2228 enum remove_bp_reason reason)
d02ed0bb
MM
2229{
2230 return 0;
2231}
2232
f6ac5f3d 2233/* "has_execution" method for prec over corefile. */
d02ed0bb 2234
57810aa7 2235bool
5018ce90 2236record_full_core_target::has_execution (inferior *inf)
d02ed0bb 2237{
57810aa7 2238 return true;
d02ed0bb
MM
2239}
2240
d02ed0bb
MM
2241/* Record log save-file format
2242 Version 1 (never released)
2243
2244 Header:
2245 4 bytes: magic number htonl(0x20090829).
2246 NOTE: be sure to change whenever this file format changes!
2247
2248 Records:
88d1aa9d
MM
2249 record_full_end:
2250 1 byte: record type (record_full_end, see enum record_full_type).
2251 record_full_reg:
2252 1 byte: record type (record_full_reg, see enum record_full_type).
d02ed0bb
MM
2253 8 bytes: register id (network byte order).
2254 MAX_REGISTER_SIZE bytes: register value.
88d1aa9d
MM
2255 record_full_mem:
2256 1 byte: record type (record_full_mem, see enum record_full_type).
d02ed0bb
MM
2257 8 bytes: memory length (network byte order).
2258 8 bytes: memory address (network byte order).
2259 n bytes: memory value (n == memory length).
2260
2261 Version 2
2262 4 bytes: magic number netorder32(0x20091016).
2263 NOTE: be sure to change whenever this file format changes!
2264
2265 Records:
88d1aa9d
MM
2266 record_full_end:
2267 1 byte: record type (record_full_end, see enum record_full_type).
d02ed0bb
MM
2268 4 bytes: signal
2269 4 bytes: instruction count
88d1aa9d
MM
2270 record_full_reg:
2271 1 byte: record type (record_full_reg, see enum record_full_type).
d02ed0bb
MM
2272 4 bytes: register id (network byte order).
2273 n bytes: register value (n == actual register size).
dda83cd7 2274 (eg. 4 bytes for x86 general registers).
88d1aa9d
MM
2275 record_full_mem:
2276 1 byte: record type (record_full_mem, see enum record_full_type).
d02ed0bb
MM
2277 4 bytes: memory length (network byte order).
2278 8 bytes: memory address (network byte order).
2279 n bytes: memory value (n == memory length).
2280
2281*/
2282
2283/* bfdcore_read -- read bytes from a core file section. */
2284
2285static inline void
2286bfdcore_read (bfd *obfd, asection *osec, void *buf, int len, int *offset)
2287{
2288 int ret = bfd_get_section_contents (obfd, osec, buf, *offset, len);
2289
2290 if (ret)
2291 *offset += len;
2292 else
2293 error (_("Failed to read %d bytes from core file %s ('%s')."),
2294 len, bfd_get_filename (obfd),
2295 bfd_errmsg (bfd_get_error ()));
2296}
2297
2298static inline uint64_t
2299netorder64 (uint64_t input)
2300{
2301 uint64_t ret;
2302
2303 store_unsigned_integer ((gdb_byte *) &ret, sizeof (ret),
2304 BFD_ENDIAN_BIG, input);
2305 return ret;
2306}
2307
2308static inline uint32_t
2309netorder32 (uint32_t input)
2310{
2311 uint32_t ret;
2312
d02ed0bb
MM
2313 store_unsigned_integer ((gdb_byte *) &ret, sizeof (ret),
2314 BFD_ENDIAN_BIG, input);
2315 return ret;
2316}
2317
2318/* Restore the execution log from a core_bfd file. */
2319static void
88d1aa9d 2320record_full_restore (void)
d02ed0bb
MM
2321{
2322 uint32_t magic;
88d1aa9d 2323 struct record_full_entry *rec;
d02ed0bb
MM
2324 asection *osec;
2325 uint32_t osec_size;
2326 int bfd_offset = 0;
2327 struct regcache *regcache;
2328
2329 /* We restore the execution log from the open core bfd,
2330 if there is one. */
2331 if (core_bfd == NULL)
2332 return;
2333
88d1aa9d
MM
2334 /* "record_full_restore" can only be called when record list is empty. */
2335 gdb_assert (record_full_first.next == NULL);
d02ed0bb
MM
2336
2337 if (record_debug)
2338 fprintf_unfiltered (gdb_stdlog, "Restoring recording from core file.\n");
2339
2340 /* Now need to find our special note section. */
2341 osec = bfd_get_section_by_name (core_bfd, "null0");
2342 if (record_debug)
2343 fprintf_unfiltered (gdb_stdlog, "Find precord section %s.\n",
2344 osec ? "succeeded" : "failed");
2345 if (osec == NULL)
2346 return;
fd361982 2347 osec_size = bfd_section_size (osec);
d02ed0bb 2348 if (record_debug)
fd361982 2349 fprintf_unfiltered (gdb_stdlog, "%s", bfd_section_name (osec));
d02ed0bb
MM
2350
2351 /* Check the magic code. */
2352 bfdcore_read (core_bfd, osec, &magic, sizeof (magic), &bfd_offset);
88d1aa9d 2353 if (magic != RECORD_FULL_FILE_MAGIC)
d02ed0bb
MM
2354 error (_("Version mis-match or file format error in core file %s."),
2355 bfd_get_filename (core_bfd));
2356 if (record_debug)
2357 fprintf_unfiltered (gdb_stdlog,
2358 " Reading 4-byte magic cookie "
88d1aa9d 2359 "RECORD_FULL_FILE_MAGIC (0x%s)\n",
d02ed0bb
MM
2360 phex_nz (netorder32 (magic), 4));
2361
88d1aa9d
MM
2362 /* Restore the entries in recfd into record_full_arch_list_head and
2363 record_full_arch_list_tail. */
2364 record_full_arch_list_head = NULL;
2365 record_full_arch_list_tail = NULL;
2366 record_full_insn_num = 0;
d02ed0bb 2367
a70b8144 2368 try
d02ed0bb 2369 {
1ddbba9d
TT
2370 regcache = get_current_regcache ();
2371
2372 while (1)
2373 {
2374 uint8_t rectype;
2375 uint32_t regnum, len, signal, count;
2376 uint64_t addr;
d02ed0bb 2377
1ddbba9d
TT
2378 /* We are finished when offset reaches osec_size. */
2379 if (bfd_offset >= osec_size)
2380 break;
2381 bfdcore_read (core_bfd, osec, &rectype, sizeof (rectype), &bfd_offset);
d02ed0bb 2382
1ddbba9d
TT
2383 switch (rectype)
2384 {
2385 case record_full_reg: /* reg */
2386 /* Get register number to regnum. */
2387 bfdcore_read (core_bfd, osec, &regnum,
2388 sizeof (regnum), &bfd_offset);
2389 regnum = netorder32 (regnum);
d02ed0bb 2390
1ddbba9d 2391 rec = record_full_reg_alloc (regcache, regnum);
d02ed0bb 2392
1ddbba9d
TT
2393 /* Get val. */
2394 bfdcore_read (core_bfd, osec, record_full_get_loc (rec),
2395 rec->u.reg.len, &bfd_offset);
d02ed0bb 2396
1ddbba9d
TT
2397 if (record_debug)
2398 fprintf_unfiltered (gdb_stdlog,
2399 " Reading register %d (1 "
2400 "plus %lu plus %d bytes)\n",
2401 rec->u.reg.num,
2402 (unsigned long) sizeof (regnum),
2403 rec->u.reg.len);
2404 break;
d02ed0bb 2405
1ddbba9d
TT
2406 case record_full_mem: /* mem */
2407 /* Get len. */
2408 bfdcore_read (core_bfd, osec, &len,
2409 sizeof (len), &bfd_offset);
2410 len = netorder32 (len);
d02ed0bb 2411
1ddbba9d
TT
2412 /* Get addr. */
2413 bfdcore_read (core_bfd, osec, &addr,
2414 sizeof (addr), &bfd_offset);
2415 addr = netorder64 (addr);
2416
2417 rec = record_full_mem_alloc (addr, len);
2418
2419 /* Get val. */
2420 bfdcore_read (core_bfd, osec, record_full_get_loc (rec),
2421 rec->u.mem.len, &bfd_offset);
2422
2423 if (record_debug)
2424 fprintf_unfiltered (gdb_stdlog,
2425 " Reading memory %s (1 plus "
2426 "%lu plus %lu plus %d bytes)\n",
2427 paddress (get_current_arch (),
2428 rec->u.mem.addr),
2429 (unsigned long) sizeof (addr),
2430 (unsigned long) sizeof (len),
2431 rec->u.mem.len);
2432 break;
2433
2434 case record_full_end: /* end */
2435 rec = record_full_end_alloc ();
2436 record_full_insn_num ++;
2437
2438 /* Get signal value. */
2439 bfdcore_read (core_bfd, osec, &signal,
2440 sizeof (signal), &bfd_offset);
2441 signal = netorder32 (signal);
2442 rec->u.end.sigval = (enum gdb_signal) signal;
2443
2444 /* Get insn count. */
2445 bfdcore_read (core_bfd, osec, &count,
2446 sizeof (count), &bfd_offset);
2447 count = netorder32 (count);
2448 rec->u.end.insn_num = count;
2449 record_full_insn_count = count + 1;
2450 if (record_debug)
2451 fprintf_unfiltered (gdb_stdlog,
2452 " Reading record_full_end (1 + "
2453 "%lu + %lu bytes), offset == %s\n",
2454 (unsigned long) sizeof (signal),
2455 (unsigned long) sizeof (count),
2456 paddress (get_current_arch (),
2457 bfd_offset));
2458 break;
2459
2460 default:
2461 error (_("Bad entry type in core file %s."),
2462 bfd_get_filename (core_bfd));
2463 break;
2464 }
d02ed0bb 2465
1ddbba9d
TT
2466 /* Add rec to record arch list. */
2467 record_full_arch_list_add (rec);
2468 }
2469 }
230d2906 2470 catch (const gdb_exception &ex)
1ddbba9d
TT
2471 {
2472 record_full_list_release (record_full_arch_list_tail);
eedc3f4f 2473 throw;
1ddbba9d 2474 }
d02ed0bb 2475
88d1aa9d
MM
2476 /* Add record_full_arch_list_head to the end of record list. */
2477 record_full_first.next = record_full_arch_list_head;
2478 record_full_arch_list_head->prev = &record_full_first;
2479 record_full_arch_list_tail->next = NULL;
2480 record_full_list = &record_full_first;
d02ed0bb 2481
88d1aa9d
MM
2482 /* Update record_full_insn_max_num. */
2483 if (record_full_insn_num > record_full_insn_max_num)
d02ed0bb 2484 {
88d1aa9d 2485 record_full_insn_max_num = record_full_insn_num;
7ee70bf5 2486 warning (_("Auto increase record/replay buffer limit to %u."),
dda83cd7 2487 record_full_insn_max_num);
d02ed0bb
MM
2488 }
2489
2490 /* Succeeded. */
2491 printf_filtered (_("Restored records from core file %s.\n"),
2492 bfd_get_filename (core_bfd));
2493
08d72866 2494 print_stack_frame (get_selected_frame (NULL), 1, SRC_AND_LOC, 1);
d02ed0bb
MM
2495}
2496
2497/* bfdcore_write -- write bytes into a core file section. */
2498
2499static inline void
2500bfdcore_write (bfd *obfd, asection *osec, void *buf, int len, int *offset)
2501{
2502 int ret = bfd_set_section_contents (obfd, osec, buf, *offset, len);
2503
2504 if (ret)
2505 *offset += len;
2506 else
2507 error (_("Failed to write %d bytes to core file %s ('%s')."),
2508 len, bfd_get_filename (obfd),
2509 bfd_errmsg (bfd_get_error ()));
2510}
2511
2512/* Restore the execution log from a file. We use a modified elf
2513 corefile format, with an extra section for our data. */
2514
2515static void
41243651 2516cmd_record_full_restore (const char *args, int from_tty)
d02ed0bb
MM
2517{
2518 core_file_command (args, from_tty);
d9f719f1 2519 record_full_open (args, from_tty);
d02ed0bb
MM
2520}
2521
d02ed0bb
MM
2522/* Save the execution log to a file. We use a modified elf corefile
2523 format, with an extra section for our data. */
2524
f6ac5f3d
PA
2525void
2526record_full_base_target::save_record (const char *recfilename)
d02ed0bb 2527{
88d1aa9d 2528 struct record_full_entry *cur_record_full_list;
d02ed0bb
MM
2529 uint32_t magic;
2530 struct regcache *regcache;
2531 struct gdbarch *gdbarch;
d02ed0bb
MM
2532 int save_size = 0;
2533 asection *osec = NULL;
2534 int bfd_offset = 0;
2535
2536 /* Open the save file. */
2537 if (record_debug)
2538 fprintf_unfiltered (gdb_stdlog, "Saving execution log to core file '%s'\n",
2539 recfilename);
2540
2541 /* Open the output file. */
bef155c3
TT
2542 gdb_bfd_ref_ptr obfd (create_gcore_bfd (recfilename));
2543
2544 /* Arrange to remove the output file on failure. */
2545 gdb::unlinker unlink_file (recfilename);
d02ed0bb 2546
88d1aa9d
MM
2547 /* Save the current record entry to "cur_record_full_list". */
2548 cur_record_full_list = record_full_list;
d02ed0bb
MM
2549
2550 /* Get the values of regcache and gdbarch. */
2551 regcache = get_current_regcache ();
ac7936df 2552 gdbarch = regcache->arch ();
d02ed0bb
MM
2553
2554 /* Disable the GDB operation record. */
07036511
TT
2555 scoped_restore restore_operation_disable
2556 = record_full_gdb_operation_disable_set ();
d02ed0bb
MM
2557
2558 /* Reverse execute to the begin of record list. */
2559 while (1)
2560 {
2561 /* Check for beginning and end of log. */
88d1aa9d 2562 if (record_full_list == &record_full_first)
dda83cd7 2563 break;
d02ed0bb 2564
88d1aa9d 2565 record_full_exec_insn (regcache, gdbarch, record_full_list);
d02ed0bb 2566
88d1aa9d 2567 if (record_full_list->prev)
dda83cd7 2568 record_full_list = record_full_list->prev;
d02ed0bb
MM
2569 }
2570
2571 /* Compute the size needed for the extra bfd section. */
2572 save_size = 4; /* magic cookie */
88d1aa9d
MM
2573 for (record_full_list = record_full_first.next; record_full_list;
2574 record_full_list = record_full_list->next)
2575 switch (record_full_list->type)
d02ed0bb 2576 {
88d1aa9d 2577 case record_full_end:
d02ed0bb
MM
2578 save_size += 1 + 4 + 4;
2579 break;
88d1aa9d
MM
2580 case record_full_reg:
2581 save_size += 1 + 4 + record_full_list->u.reg.len;
d02ed0bb 2582 break;
88d1aa9d
MM
2583 case record_full_mem:
2584 save_size += 1 + 4 + 8 + record_full_list->u.mem.len;
d02ed0bb
MM
2585 break;
2586 }
2587
2588 /* Make the new bfd section. */
bef155c3 2589 osec = bfd_make_section_anyway_with_flags (obfd.get (), "precord",
dda83cd7
SM
2590 SEC_HAS_CONTENTS
2591 | SEC_READONLY);
d02ed0bb
MM
2592 if (osec == NULL)
2593 error (_("Failed to create 'precord' section for corefile %s: %s"),
2594 recfilename,
dda83cd7 2595 bfd_errmsg (bfd_get_error ()));
fd361982
AM
2596 bfd_set_section_size (osec, save_size);
2597 bfd_set_section_vma (osec, 0);
2598 bfd_set_section_alignment (osec, 0);
d02ed0bb
MM
2599
2600 /* Save corefile state. */
bef155c3 2601 write_gcore_file (obfd.get ());
d02ed0bb
MM
2602
2603 /* Write out the record log. */
2604 /* Write the magic code. */
88d1aa9d 2605 magic = RECORD_FULL_FILE_MAGIC;
d02ed0bb
MM
2606 if (record_debug)
2607 fprintf_unfiltered (gdb_stdlog,
2608 " Writing 4-byte magic cookie "
88d1aa9d 2609 "RECORD_FULL_FILE_MAGIC (0x%s)\n",
d02ed0bb 2610 phex_nz (magic, 4));
bef155c3 2611 bfdcore_write (obfd.get (), osec, &magic, sizeof (magic), &bfd_offset);
d02ed0bb
MM
2612
2613 /* Save the entries to recfd and forward execute to the end of
2614 record list. */
88d1aa9d 2615 record_full_list = &record_full_first;
d02ed0bb
MM
2616 while (1)
2617 {
2618 /* Save entry. */
88d1aa9d 2619 if (record_full_list != &record_full_first)
dda83cd7 2620 {
d02ed0bb
MM
2621 uint8_t type;
2622 uint32_t regnum, len, signal, count;
dda83cd7 2623 uint64_t addr;
d02ed0bb 2624
88d1aa9d 2625 type = record_full_list->type;
dda83cd7 2626 bfdcore_write (obfd.get (), osec, &type, sizeof (type), &bfd_offset);
d02ed0bb 2627
dda83cd7
SM
2628 switch (record_full_list->type)
2629 {
2630 case record_full_reg: /* reg */
d02ed0bb
MM
2631 if (record_debug)
2632 fprintf_unfiltered (gdb_stdlog,
2633 " Writing register %d (1 "
2634 "plus %lu plus %d bytes)\n",
88d1aa9d 2635 record_full_list->u.reg.num,
d02ed0bb 2636 (unsigned long) sizeof (regnum),
88d1aa9d 2637 record_full_list->u.reg.len);
d02ed0bb 2638
dda83cd7
SM
2639 /* Write regnum. */
2640 regnum = netorder32 (record_full_list->u.reg.num);
2641 bfdcore_write (obfd.get (), osec, &regnum,
d02ed0bb
MM
2642 sizeof (regnum), &bfd_offset);
2643
dda83cd7
SM
2644 /* Write regval. */
2645 bfdcore_write (obfd.get (), osec,
88d1aa9d
MM
2646 record_full_get_loc (record_full_list),
2647 record_full_list->u.reg.len, &bfd_offset);
dda83cd7 2648 break;
d02ed0bb 2649
dda83cd7 2650 case record_full_mem: /* mem */
d02ed0bb
MM
2651 if (record_debug)
2652 fprintf_unfiltered (gdb_stdlog,
2653 " Writing memory %s (1 plus "
2654 "%lu plus %lu plus %d bytes)\n",
2655 paddress (gdbarch,
88d1aa9d 2656 record_full_list->u.mem.addr),
d02ed0bb
MM
2657 (unsigned long) sizeof (addr),
2658 (unsigned long) sizeof (len),
88d1aa9d 2659 record_full_list->u.mem.len);
d02ed0bb
MM
2660
2661 /* Write memlen. */
88d1aa9d 2662 len = netorder32 (record_full_list->u.mem.len);
bef155c3
TT
2663 bfdcore_write (obfd.get (), osec, &len, sizeof (len),
2664 &bfd_offset);
d02ed0bb
MM
2665
2666 /* Write memaddr. */
88d1aa9d 2667 addr = netorder64 (record_full_list->u.mem.addr);
bef155c3 2668 bfdcore_write (obfd.get (), osec, &addr,
d02ed0bb
MM
2669 sizeof (addr), &bfd_offset);
2670
2671 /* Write memval. */
bef155c3 2672 bfdcore_write (obfd.get (), osec,
88d1aa9d
MM
2673 record_full_get_loc (record_full_list),
2674 record_full_list->u.mem.len, &bfd_offset);
dda83cd7 2675 break;
d02ed0bb 2676
dda83cd7 2677 case record_full_end:
d02ed0bb
MM
2678 if (record_debug)
2679 fprintf_unfiltered (gdb_stdlog,
88d1aa9d 2680 " Writing record_full_end (1 + "
d02ed0bb
MM
2681 "%lu + %lu bytes)\n",
2682 (unsigned long) sizeof (signal),
2683 (unsigned long) sizeof (count));
2684 /* Write signal value. */
88d1aa9d 2685 signal = netorder32 (record_full_list->u.end.sigval);
bef155c3 2686 bfdcore_write (obfd.get (), osec, &signal,
d02ed0bb
MM
2687 sizeof (signal), &bfd_offset);
2688
2689 /* Write insn count. */
88d1aa9d 2690 count = netorder32 (record_full_list->u.end.insn_num);
bef155c3 2691 bfdcore_write (obfd.get (), osec, &count,
d02ed0bb 2692 sizeof (count), &bfd_offset);
dda83cd7
SM
2693 break;
2694 }
2695 }
d02ed0bb
MM
2696
2697 /* Execute entry. */
88d1aa9d 2698 record_full_exec_insn (regcache, gdbarch, record_full_list);
d02ed0bb 2699
88d1aa9d 2700 if (record_full_list->next)
dda83cd7 2701 record_full_list = record_full_list->next;
d02ed0bb 2702 else
dda83cd7 2703 break;
d02ed0bb
MM
2704 }
2705
88d1aa9d 2706 /* Reverse execute to cur_record_full_list. */
d02ed0bb
MM
2707 while (1)
2708 {
2709 /* Check for beginning and end of log. */
88d1aa9d 2710 if (record_full_list == cur_record_full_list)
dda83cd7 2711 break;
d02ed0bb 2712
88d1aa9d 2713 record_full_exec_insn (regcache, gdbarch, record_full_list);
d02ed0bb 2714
88d1aa9d 2715 if (record_full_list->prev)
dda83cd7 2716 record_full_list = record_full_list->prev;
d02ed0bb
MM
2717 }
2718
bef155c3 2719 unlink_file.keep ();
d02ed0bb
MM
2720
2721 /* Succeeded. */
2722 printf_filtered (_("Saved core file %s with execution log.\n"),
2723 recfilename);
2724}
2725
88d1aa9d 2726/* record_full_goto_insn -- rewind the record log (forward or backward,
d02ed0bb
MM
2727 depending on DIR) to the given entry, changing the program state
2728 correspondingly. */
2729
2730static void
88d1aa9d
MM
2731record_full_goto_insn (struct record_full_entry *entry,
2732 enum exec_direction_kind dir)
d02ed0bb 2733{
07036511
TT
2734 scoped_restore restore_operation_disable
2735 = record_full_gdb_operation_disable_set ();
d02ed0bb 2736 struct regcache *regcache = get_current_regcache ();
ac7936df 2737 struct gdbarch *gdbarch = regcache->arch ();
d02ed0bb
MM
2738
2739 /* Assume everything is valid: we will hit the entry,
2740 and we will not hit the end of the recording. */
2741
2742 if (dir == EXEC_FORWARD)
88d1aa9d 2743 record_full_list = record_full_list->next;
d02ed0bb
MM
2744
2745 do
2746 {
88d1aa9d 2747 record_full_exec_insn (regcache, gdbarch, record_full_list);
d02ed0bb 2748 if (dir == EXEC_REVERSE)
88d1aa9d 2749 record_full_list = record_full_list->prev;
d02ed0bb 2750 else
88d1aa9d
MM
2751 record_full_list = record_full_list->next;
2752 } while (record_full_list != entry);
d02ed0bb
MM
2753}
2754
2755/* Alias for "target record-full". */
2756
2757static void
981a3fb3 2758cmd_record_full_start (const char *args, int from_tty)
d02ed0bb 2759{
95a6b0a1 2760 execute_command ("target record-full", from_tty);
d02ed0bb
MM
2761}
2762
2763static void
eb4c3f4a 2764set_record_full_insn_max_num (const char *args, int from_tty,
88d1aa9d 2765 struct cmd_list_element *c)
d02ed0bb 2766{
7ee70bf5 2767 if (record_full_insn_num > record_full_insn_max_num)
d02ed0bb 2768 {
88d1aa9d
MM
2769 /* Count down record_full_insn_num while releasing records from list. */
2770 while (record_full_insn_num > record_full_insn_max_num)
d02ed0bb 2771 {
dda83cd7
SM
2772 record_full_list_release_first ();
2773 record_full_insn_num--;
d02ed0bb
MM
2774 }
2775 }
2776}
2777
6c265988 2778void _initialize_record_full ();
d02ed0bb 2779void
6c265988 2780_initialize_record_full ()
d02ed0bb
MM
2781{
2782 struct cmd_list_element *c;
2783
88d1aa9d
MM
2784 /* Init record_full_first. */
2785 record_full_first.prev = NULL;
2786 record_full_first.next = NULL;
2787 record_full_first.type = record_full_end;
d02ed0bb 2788
d9f719f1
PA
2789 add_target (record_full_target_info, record_full_open);
2790 add_deprecated_target_alias (record_full_target_info, "record");
2791 add_target (record_full_core_target_info, record_full_open);
d02ed0bb 2792
88d1aa9d 2793 add_prefix_cmd ("full", class_obscure, cmd_record_full_start,
d02ed0bb
MM
2794 _("Start full execution recording."), &record_full_cmdlist,
2795 "record full ", 0, &record_cmdlist);
2796
88d1aa9d 2797 c = add_cmd ("restore", class_obscure, cmd_record_full_restore,
d02ed0bb
MM
2798 _("Restore the execution log from a file.\n\
2799Argument is filename. File must be created with 'record save'."),
2800 &record_full_cmdlist);
2801 set_cmd_completer (c, filename_completer);
2802
2803 /* Deprecate the old version without "full" prefix. */
2804 c = add_alias_cmd ("restore", "full restore", class_obscure, 1,
2805 &record_cmdlist);
2806 set_cmd_completer (c, filename_completer);
2807 deprecate_cmd (c, "record full restore");
2808
0743fc83
TT
2809 add_basic_prefix_cmd ("full", class_support,
2810 _("Set record options."), &set_record_full_cmdlist,
2811 "set record full ", 0, &set_record_cmdlist);
d02ed0bb 2812
0743fc83
TT
2813 add_show_prefix_cmd ("full", class_support,
2814 _("Show record options."), &show_record_full_cmdlist,
2815 "show record full ", 0, &show_record_cmdlist);
d02ed0bb
MM
2816
2817 /* Record instructions number limit command. */
2818 add_setshow_boolean_cmd ("stop-at-limit", no_class,
88d1aa9d 2819 &record_full_stop_at_limit, _("\
d02ed0bb
MM
2820Set whether record/replay stops when record/replay buffer becomes full."), _("\
2821Show whether record/replay stops when record/replay buffer becomes full."),
2822 _("Default is ON.\n\
2823When ON, if the record/replay buffer becomes full, ask user what to do.\n\
2824When OFF, if the record/replay buffer becomes full,\n\
2825delete the oldest recorded instruction to make room for each new one."),
2826 NULL, NULL,
2827 &set_record_full_cmdlist, &show_record_full_cmdlist);
2828
2829 c = add_alias_cmd ("stop-at-limit", "full stop-at-limit", no_class, 1,
2830 &set_record_cmdlist);
2831 deprecate_cmd (c, "set record full stop-at-limit");
2832
2833 c = add_alias_cmd ("stop-at-limit", "full stop-at-limit", no_class, 1,
2834 &show_record_cmdlist);
2835 deprecate_cmd (c, "show record full stop-at-limit");
2836
88d1aa9d
MM
2837 add_setshow_uinteger_cmd ("insn-number-max", no_class,
2838 &record_full_insn_max_num,
d02ed0bb
MM
2839 _("Set record/replay buffer limit."),
2840 _("Show record/replay buffer limit."), _("\
2841Set the maximum number of instructions to be stored in the\n\
f81d1120
PA
2842record/replay buffer. A value of either \"unlimited\" or zero means no\n\
2843limit. Default is 200000."),
88d1aa9d 2844 set_record_full_insn_max_num,
d02ed0bb
MM
2845 NULL, &set_record_full_cmdlist,
2846 &show_record_full_cmdlist);
2847
2848 c = add_alias_cmd ("insn-number-max", "full insn-number-max", no_class, 1,
2849 &set_record_cmdlist);
2850 deprecate_cmd (c, "set record full insn-number-max");
2851
2852 c = add_alias_cmd ("insn-number-max", "full insn-number-max", no_class, 1,
2853 &show_record_cmdlist);
2854 deprecate_cmd (c, "show record full insn-number-max");
2855
88d1aa9d 2856 add_setshow_boolean_cmd ("memory-query", no_class,
25ea693b 2857 &record_full_memory_query, _("\
d02ed0bb 2858Set whether query if PREC cannot record memory change of next instruction."),
dda83cd7 2859 _("\
d02ed0bb 2860Show whether query if PREC cannot record memory change of next instruction."),
dda83cd7 2861 _("\
d02ed0bb
MM
2862Default is OFF.\n\
2863When ON, query if PREC cannot record memory change of next instruction."),
2864 NULL, NULL,
88d1aa9d
MM
2865 &set_record_full_cmdlist,
2866 &show_record_full_cmdlist);
d02ed0bb
MM
2867
2868 c = add_alias_cmd ("memory-query", "full memory-query", no_class, 1,
2869 &set_record_cmdlist);
2870 deprecate_cmd (c, "set record full memory-query");
2871
2872 c = add_alias_cmd ("memory-query", "full memory-query", no_class, 1,
2873 &show_record_cmdlist);
2874 deprecate_cmd (c, "show record full memory-query");
2875}
This page took 1.000013 seconds and 4 git commands to generate.