From: Guinevere Larsen <guinevere@redhat.com>
To: gdb-patches@sourceware.org
Cc: Guinevere Larsen <guinevere@redhat.com>
Subject: [PATCH v4 2/8] gdb/record: factor out reading and writing the execution log to corefile
Date: Tue, 2 Jun 2026 11:33:36 -0300 [thread overview]
Message-ID: <20260602143342.12245-3-guinevere@redhat.com> (raw)
In-Reply-To: <20260602143342.12245-1-guinevere@redhat.com>
Before this commit, the functions to read and write the execution log to
a corefile would would have a large section dedicated to handling a
single entry from the log. This commit factors out those large sections
into their own functions, record_full_read_entry_from_bfd and
record_full_write_entry_to_bfd, respectively.
There should be no functional changes after this commit.
---
gdb/record-full.c | 279 ++++++++++++++++++++++++----------------------
1 file changed, 147 insertions(+), 132 deletions(-)
diff --git a/gdb/record-full.c b/gdb/record-full.c
index a6dfecd7d1f..7cfaab48aef 100644
--- a/gdb/record-full.c
+++ b/gdb/record-full.c
@@ -2186,6 +2186,83 @@ netorder32 (uint32_t input)
return ret;
}
+static void
+record_full_read_entry_from_bfd (bfd *cbfd, asection *osec, int *bfd_offset)
+{
+ uint8_t rectype;
+ uint32_t regnum, len;
+ uint64_t addr;
+ regcache *cache = get_thread_regcache (inferior_thread ());
+
+ bfdcore_read (cbfd, osec, &rectype, sizeof (rectype), bfd_offset);
+
+ switch (rectype)
+ {
+ case record_full_reg: /* reg */
+ {
+ /* Get register number to regnum. */
+ bfdcore_read (cbfd, osec, ®num, sizeof (regnum), bfd_offset);
+ regnum = netorder32 (regnum);
+
+ record_full_entry rec;
+
+ rec = record_full_reg_init (cache, regnum);
+
+ /* Get val. */
+ bfdcore_read (cbfd, osec, record_full_get_loc (&rec),
+ rec.u.reg.len, bfd_offset);
+
+ if (record_debug)
+ gdb_printf (gdb_stdlog,
+ " Reading register %d (1 "
+ "plus %lu plus %d bytes)\n",
+ rec.u.reg.num,
+ (unsigned long) sizeof (regnum),
+ rec.u.reg.len);
+
+ record_full_arch_list_add (rec);
+ break;
+ }
+
+ case record_full_mem: /* mem */
+ {
+ /* Get len. */
+ bfdcore_read (cbfd, osec, &len, sizeof (len), bfd_offset);
+ len = netorder32 (len);
+
+ /* Get addr. */
+ bfdcore_read (cbfd, osec, &addr, sizeof (addr), bfd_offset);
+ addr = netorder64 (addr);
+
+ record_full_entry rec;
+ rec = record_full_mem_init (addr, len);
+
+ /* Get val. */
+ bfdcore_read (cbfd, osec, record_full_get_loc (&rec),
+ len, bfd_offset);
+
+ if (record_debug)
+ gdb_printf (gdb_stdlog,
+ " Reading memory %s (1 plus "
+ "%lu plus %lu plus %d bytes)\n",
+ paddress (get_current_arch (),
+ rec.u.mem.addr),
+ (unsigned long) sizeof (addr),
+ (unsigned long) sizeof (len),
+ rec.u.mem.len);
+
+ record_full_arch_list_add (rec);
+ break;
+ }
+
+ default:
+ error (_("Bad entry type in core file %ps."),
+ styled_string (file_name_style.style (),
+ bfd_get_filename (cbfd)));
+ break;
+ }
+}
+
/* Restore the execution log from core file CBFD. */
static void
@@ -2229,13 +2306,10 @@ record_full_restore (struct bfd &cbfd)
try
{
- regcache *regcache = get_thread_regcache (inferior_thread ());
-
while (bfd_offset < osec_size)
{
- uint8_t rectype, sigval;
- uint32_t regnum, len, eff_count, insn_num;
- uint64_t addr;
+ uint8_t sigval;
+ uint32_t eff_count, insn_num;
record_full_reset_incomplete ();
@@ -2256,76 +2330,7 @@ record_full_restore (struct bfd &cbfd)
{
eff_count--;
- bfdcore_read (&cbfd, osec, &rectype, sizeof (rectype), &bfd_offset);
-
- switch (rectype)
- {
- case record_full_reg: /* reg */
- {
- /* Get register number to regnum. */
- bfdcore_read (&cbfd, osec, ®num, sizeof (regnum),
- &bfd_offset);
- regnum = netorder32 (regnum);
-
- record_full_entry rec;
-
- rec = record_full_reg_init (regcache, regnum);
-
- /* Get val. */
- bfdcore_read (&cbfd, osec, record_full_get_loc (&rec),
- rec.u.reg.len, &bfd_offset);
-
- if (record_debug)
- gdb_printf (gdb_stdlog,
- " Reading register %d (1 "
- "plus %lu plus %d bytes)\n",
- rec.u.reg.num,
- (unsigned long) sizeof (regnum),
- rec.u.reg.len);
-
- record_full_arch_list_add (rec);
- break;
- }
-
- case record_full_mem: /* mem */
- {
- /* Get len. */
- bfdcore_read (&cbfd, osec, &len, sizeof (len),
- &bfd_offset);
- len = netorder32 (len);
-
- /* Get addr. */
- bfdcore_read (&cbfd, osec, &addr, sizeof (addr),
- &bfd_offset);
- addr = netorder64 (addr);
-
- record_full_entry rec;
- rec = record_full_mem_init (addr, len);
-
- /* Get val. */
- bfdcore_read (&cbfd, osec, record_full_get_loc (&rec),
- len, &bfd_offset);
-
- if (record_debug)
- gdb_printf (gdb_stdlog,
- " Reading memory %s (1 plus "
- "%lu plus %lu plus %d bytes)\n",
- paddress (get_current_arch (),
- rec.u.mem.addr),
- (unsigned long) sizeof (addr),
- (unsigned long) sizeof (len),
- rec.u.mem.len);
-
- record_full_arch_list_add (rec);
- break;
- }
-
- default:
- error (_("Bad entry type in core file %ps."),
- styled_string (file_name_style.style (),
- bfd_get_filename (&cbfd)));
- break;
- }
+ record_full_read_entry_from_bfd (&cbfd, osec, &bfd_offset);
}
record_full_save_instruction ();
@@ -2382,6 +2387,71 @@ cmd_record_full_restore (const char *args, int from_tty)
record_full_open (nullptr, from_tty);
}
+static void
+record_full_write_entry_to_bfd (record_full_entry &entry,
+ gdb_bfd_ref_ptr obfd,
+ asection *osec, int *bfd_offset,
+ gdbarch *gdbarch)
+{
+ /* Save entry. */
+ uint8_t type;
+ uint32_t regnum, len;
+ uint64_t addr;
+
+ type = entry.type;
+ bfdcore_write (obfd.get (), osec, &type, sizeof (type), bfd_offset);
+
+ switch (entry.type)
+ {
+ case record_full_reg: /* reg */
+ if (record_debug)
+ gdb_printf (gdb_stdlog,
+ " Writing register %d (1 "
+ "plus %lu plus %d bytes)\n",
+ entry.u.reg.num,
+ (unsigned long) sizeof (regnum),
+ entry.u.reg.len);
+
+ /* Write regnum. */
+ regnum = netorder32 (entry.u.reg.num);
+ bfdcore_write (obfd.get (), osec, ®num,
+ sizeof (regnum), bfd_offset);
+
+ /* Write regval. */
+ bfdcore_write (obfd.get (), osec,
+ record_full_get_loc (&entry),
+ entry.u.reg.len, bfd_offset);
+ break;
+
+ case record_full_mem: /* mem */
+ if (record_debug)
+ gdb_printf (gdb_stdlog,
+ " Writing memory %s (1 plus "
+ "%lu plus %lu plus %d bytes)\n",
+ paddress (gdbarch,
+ entry.u.mem.addr),
+ (unsigned long) sizeof (addr),
+ (unsigned long) sizeof (len),
+ entry.u.mem.len);
+
+ /* Write memlen. */
+ len = netorder32 (entry.u.mem.len);
+ bfdcore_write (obfd.get (), osec, &len, sizeof (len),
+ bfd_offset);
+
+ /* Write memaddr. */
+ addr = netorder64 (entry.u.mem.addr);
+ bfdcore_write (obfd.get (), osec, &addr,
+ sizeof (addr), bfd_offset);
+
+ /* Write memval. */
+ bfdcore_write (obfd.get (), osec,
+ record_full_get_loc (&entry),
+ entry.u.mem.len, bfd_offset);
+ break;
+ }
+}
+
/* Save the execution log to a file. We use a modified elf corefile
format, with an extra section for our data. */
@@ -2483,63 +2553,8 @@ record_full_base_target::save_record (const char *recfilename)
for (auto &entry : record_full_list[i].effects)
{
- /* Save entry. */
- uint8_t type;
- uint32_t regnum, len;
- uint64_t addr;
-
- type = entry.type;
- bfdcore_write (obfd.get (), osec, &type, sizeof (type), &bfd_offset);
-
- switch (entry.type)
- {
- case record_full_reg: /* reg */
- if (record_debug)
- gdb_printf (gdb_stdlog,
- " Writing register %d (1 "
- "plus %lu plus %d bytes)\n",
- entry.u.reg.num,
- (unsigned long) sizeof (regnum),
- entry.u.reg.len);
-
- /* Write regnum. */
- regnum = netorder32 (entry.u.reg.num);
- bfdcore_write (obfd.get (), osec, ®num,
- sizeof (regnum), &bfd_offset);
-
- /* Write regval. */
- bfdcore_write (obfd.get (), osec,
- record_full_get_loc (&entry),
- entry.u.reg.len, &bfd_offset);
- break;
-
- case record_full_mem: /* mem */
- if (record_debug)
- gdb_printf (gdb_stdlog,
- " Writing memory %s (1 plus "
- "%lu plus %lu plus %d bytes)\n",
- paddress (gdbarch,
- entry.u.mem.addr),
- (unsigned long) sizeof (addr),
- (unsigned long) sizeof (len),
- entry.u.mem.len);
-
- /* Write memlen. */
- len = netorder32 (entry.u.mem.len);
- bfdcore_write (obfd.get (), osec, &len, sizeof (len),
- &bfd_offset);
-
- /* Write memaddr. */
- addr = netorder64 (entry.u.mem.addr);
- bfdcore_write (obfd.get (), osec, &addr,
- sizeof (addr), &bfd_offset);
-
- /* Write memval. */
- bfdcore_write (obfd.get (), osec,
- record_full_get_loc (&entry),
- entry.u.mem.len, &bfd_offset);
- break;
- }
+ record_full_write_entry_to_bfd (entry, obfd, osec, &bfd_offset,
+ gdbarch);
}
if (i < record_full_next_insn)
--
2.54.0
next prev parent reply other threads:[~2026-06-02 14:36 UTC|newest]
Thread overview: 20+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-06-02 14:33 [PATCH v4 0/8] refactor the internals of record-full Guinevere Larsen
2026-06-02 14:33 ` [PATCH v4 1/8] gdb/record: Refactor record history Guinevere Larsen
2026-06-10 14:39 ` Schimpe, Christina
2026-06-12 18:07 ` Guinevere Larsen
2026-06-02 14:33 ` Guinevere Larsen [this message]
2026-06-10 14:40 ` [PATCH v4 2/8] gdb/record: factor out reading and writing the execution log to corefile Schimpe, Christina
2026-06-02 14:33 ` [PATCH v4 3/8] gdb/record: remove record_full_insn_num Guinevere Larsen
2026-06-02 14:33 ` [PATCH v4 4/8] gdb/record: c++ify internal structures of record-full.c Guinevere Larsen
2026-06-10 14:46 ` Schimpe, Christina
2026-06-10 19:07 ` Guinevere Larsen
2026-06-11 7:21 ` Schimpe, Christina
2026-06-11 17:16 ` Guinevere Larsen
2026-06-15 7:49 ` Schimpe, Christina
2026-06-25 20:41 ` Guinevere Larsen
2026-07-06 8:35 ` Schimpe, Christina
2026-06-02 14:33 ` [PATCH v4 5/8] gdb/record: make record_full_history more c++-like Guinevere Larsen
2026-06-02 14:33 ` [PATCH v4 6/8] gdb/record: extract the PC to record_full_instruction Guinevere Larsen
2026-06-02 14:33 ` [PATCH v4 7/8] gdb/record: Define new version of the record-save section Guinevere Larsen
2026-06-10 14:49 ` Schimpe, Christina
2026-06-02 14:33 ` [PATCH v4 8/8] gdb/record: rename record_full_list to record_full_log Guinevere Larsen
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20260602143342.12245-3-guinevere@redhat.com \
--to=guinevere@redhat.com \
--cc=gdb-patches@sourceware.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox