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