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