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