* [PATCH 1/5] gdb/aarch64: Implement software single stepping for MOPS instructions
2024-05-04 0:05 [PATCH 0/5] Add support for AArch64 MOPS instructions Thiago Jung Bauermann
@ 2024-05-04 0:05 ` Thiago Jung Bauermann
2024-05-06 9:29 ` Christophe Lyon
2024-05-04 0:05 ` [PATCH 2/5] gdb/aarch64: Add record support " Thiago Jung Bauermann
` (3 subsequent siblings)
4 siblings, 1 reply; 10+ messages in thread
From: Thiago Jung Bauermann @ 2024-05-04 0:05 UTC (permalink / raw)
To: gdb-patches
The AArch64 MOPS (Memory Operation) instructions provide a standardised
instruction sequence to perform a memset, memcpy or memmove. A sequence is
always composed of three instructions: a prologue instruction, a main
instruction and an epilogue instruction. As an illustration, here are the
implementations of these memory operations in glibc 2.39:
(gdb) disassemble/r
Dump of assembler code for function __memset_mops:
=> 0x0000fffff7e8d780 <+0>: d503201f nop
0x0000fffff7e8d784 <+4>: aa0003e3 mov x3, x0
0x0000fffff7e8d788 <+8>: 19c10443 setp [x3]!, x2!, x1
0x0000fffff7e8d78c <+12>: 19c14443 setm [x3]!, x2!, x1
0x0000fffff7e8d790 <+16>: 19c18443 sete [x3]!, x2!, x1
0x0000fffff7e8d794 <+20>: d65f03c0 ret
End of assembler dump.
(gdb) disassemble/r
Dump of assembler code for function __memcpy_mops:
=> 0x0000fffff7e8c580 <+0>: d503201f nop
0x0000fffff7e8c584 <+4>: aa0003e3 mov x3, x0
0x0000fffff7e8c588 <+8>: 19010443 cpyfp [x3]!, [x1]!, x2!
0x0000fffff7e8c58c <+12>: 19410443 cpyfm [x3]!, [x1]!, x2!
0x0000fffff7e8c590 <+16>: 19810443 cpyfe [x3]!, [x1]!, x2!
0x0000fffff7e8c594 <+20>: d65f03c0 ret
End of assembler dump.
(gdb) disassemble/r
Dump of assembler code for function __memmove_mops:
=> 0x0000fffff7e8d180 <+0>: d503201f nop
0x0000fffff7e8d184 <+4>: aa0003e3 mov x3, x0
0x0000fffff7e8d188 <+8>: 1d010443 cpyp [x3]!, [x1]!, x2!
0x0000fffff7e8d18c <+12>: 1d410443 cpym [x3]!, [x1]!, x2!
0x0000fffff7e8d190 <+16>: 1d810443 cpye [x3]!, [x1]!, x2!
0x0000fffff7e8d194 <+20>: d65f03c0 ret
End of assembler dump.
The Arm Architecture Reference Manual says that "the prologue, main, and
epilogue instructions are expected to be run in succession and to appear
consecutively in memory". Therefore GDB needs to treat them as an atomic
instruction sequence, and also can't do displaced stepping with them.
This patch implements support for executing the sequence atomically, and
also disables displaced step on them.
PR tdep/31666
Bug: https://sourceware.org/bugzilla/show_bug.cgi?id=31666
---
gdb/aarch64-tdep.c | 107 ++++++++++++++++++++++++++++++++++++++++++++-
1 file changed, 105 insertions(+), 2 deletions(-)
diff --git a/gdb/aarch64-tdep.c b/gdb/aarch64-tdep.c
index 8d0553f3d7cd..e920cea49066 100644
--- a/gdb/aarch64-tdep.c
+++ b/gdb/aarch64-tdep.c
@@ -3444,6 +3444,104 @@ value_of_aarch64_user_reg (const frame_info_ptr &frame, const void *baton)
return value_of_register (*reg_p, get_next_frame_sentinel_okay (frame));
}
+/* Single step through MOPS instruction sequences on AArch64. */
+
+static std::vector<CORE_ADDR>
+aarch64_software_single_step_mops (struct regcache *regcache, CORE_ADDR loc,
+ uint32_t insn)
+{
+ const int insn_size = 4;
+ struct gdbarch *gdbarch = regcache->arch ();
+ enum bfd_endian byte_order_for_code = gdbarch_byte_order_for_code (gdbarch);
+ uint8_t o0 = bit (insn, 21);
+ uint8_t op1 = bits (insn, 22, 23);
+ uint8_t op2 = bits (insn, 12, 15);
+
+ /* Look for the prologue instruction that begins the sequence. */
+
+ /* CPYFP* */
+ if (!((o0 == 0 && op1 == 0)
+ /* SETP* */
+ || (o0 == 0 && op1 == 3 && op2 < 4)
+ /* CPYP* */
+ || (o0 == 1 && op1 == 0)
+ /* SETGP* */
+ || (o0 == 1 && op1 == 3 && op2 < 4)))
+ /* Prologue instruction not found. */
+ return {};
+
+ /* Now look for the main instruction in the middle of the sequence. */
+
+ loc += insn_size;
+ ULONGEST insn_from_memory;
+ if (!safe_read_memory_unsigned_integer (loc, insn_size,
+ byte_order_for_code,
+ &insn_from_memory))
+ {
+ /* Assume we don't have a MOPS sequence, as we couldn't read the
+ instruction in this location. */
+ return {};
+ }
+
+ insn = insn_from_memory;
+ aarch64_inst inst;
+ if (aarch64_decode_insn (insn, &inst, 1, nullptr) != 0)
+ return {};
+ if (!AARCH64_CPU_HAS_FEATURE (*inst.opcode->avariant, MOPS))
+ return {};
+
+ o0 = bit (insn, 21);
+ op1 = bits (insn, 22, 23);
+ op2 = bits (insn, 12, 15);
+
+ /* CPYFM* */
+ if (!((o0 == 0 && op1 == 1)
+ /* SETM* */
+ || (o0 == 0 && op1 == 3 && op2 >= 4 && op2 < 8)
+ /* CPYM* */
+ || (o0 == 1 && op1 == 1)
+ /* SETGM* */
+ || (o0 == 1 && op1 == 3 && op2 >= 4 && op2 < 8)))
+ /* Main instruction not found. */
+ return {};
+
+ /* Now look for the epilogue instruction that ends the sequence. */
+
+ loc += insn_size;
+ if (!safe_read_memory_unsigned_integer (loc, insn_size,
+ byte_order_for_code,
+ &insn_from_memory))
+ {
+ /* Assume we don't have a MOPS sequence, as we couldn't read the
+ instruction in this location. */
+ return {};
+ }
+
+ insn = insn_from_memory;
+ if (aarch64_decode_insn (insn, &inst, 1, nullptr) != 0)
+ return {};
+ if (!AARCH64_CPU_HAS_FEATURE (*inst.opcode->avariant, MOPS))
+ return {};
+
+ o0 = bit (insn, 21);
+ op1 = bits (insn, 22, 23);
+ op2 = bits (insn, 12, 15);
+
+ /* CPYFE* */
+ if (!((o0 == 0 && op1 == 2)
+ /* SETE* (op2 >= 12 is unallocated space) */
+ || (o0 == 0 && op1 == 3 && op2 >= 8 && op2 < 12)
+ /* CPYE* */
+ || (o0 == 1 && op1 == 2)
+ /* SETGE* (op2 >= 12 is unallocated space) */
+ || (o0 == 1 && op1 == 3 && op2 >= 8 && op2 < 12)))
+ /* Epilogue instruction not found. */
+ return {};
+
+ /* Insert breakpoint after the end of the atomic sequence. */
+ return { loc + insn_size };
+}
+
/* Implement the "software_single_step" gdbarch method, needed to
single step through atomic sequences on AArch64. */
@@ -3479,6 +3577,9 @@ aarch64_software_single_step (struct regcache *regcache)
if (aarch64_decode_insn (insn, &inst, 1, NULL) != 0)
return {};
+ if (AARCH64_CPU_HAS_FEATURE (*inst.opcode->avariant, MOPS))
+ return aarch64_software_single_step_mops (regcache, loc, insn);
+
/* Look for a Load Exclusive instruction which begins the sequence. */
if (inst.opcode->iclass != ldstexcl || bit (insn, 22) == 0)
return {};
@@ -3808,8 +3909,10 @@ aarch64_displaced_step_copy_insn (struct gdbarch *gdbarch,
if (aarch64_decode_insn (insn, &inst, 1, NULL) != 0)
return NULL;
- /* Look for a Load Exclusive instruction which begins the sequence. */
- if (inst.opcode->iclass == ldstexcl && bit (insn, 22))
+ /* Look for a Load Exclusive instruction which begins the sequence,
+ or for a MOPS instruction. */
+ if ((inst.opcode->iclass == ldstexcl && bit (insn, 22))
+ || AARCH64_CPU_HAS_FEATURE (*inst.opcode->avariant, MOPS))
{
/* We can't displaced step atomic sequences. */
return NULL;
^ permalink raw reply [flat|nested] 10+ messages in thread* Re: [PATCH 1/5] gdb/aarch64: Implement software single stepping for MOPS instructions
2024-05-04 0:05 ` [PATCH 1/5] gdb/aarch64: Implement software single stepping for " Thiago Jung Bauermann
@ 2024-05-06 9:29 ` Christophe Lyon
2024-05-07 0:56 ` Thiago Jung Bauermann
0 siblings, 1 reply; 10+ messages in thread
From: Christophe Lyon @ 2024-05-06 9:29 UTC (permalink / raw)
To: Thiago Jung Bauermann; +Cc: gdb-patches
On Sat, 4 May 2024 at 02:05, Thiago Jung Bauermann
<thiago.bauermann@linaro.org> wrote:
>
> The AArch64 MOPS (Memory Operation) instructions provide a standardised
> instruction sequence to perform a memset, memcpy or memmove. A sequence is
> always composed of three instructions: a prologue instruction, a main
> instruction and an epilogue instruction. As an illustration, here are the
> implementations of these memory operations in glibc 2.39:
>
> (gdb) disassemble/r
> Dump of assembler code for function __memset_mops:
> => 0x0000fffff7e8d780 <+0>: d503201f nop
> 0x0000fffff7e8d784 <+4>: aa0003e3 mov x3, x0
> 0x0000fffff7e8d788 <+8>: 19c10443 setp [x3]!, x2!, x1
> 0x0000fffff7e8d78c <+12>: 19c14443 setm [x3]!, x2!, x1
> 0x0000fffff7e8d790 <+16>: 19c18443 sete [x3]!, x2!, x1
> 0x0000fffff7e8d794 <+20>: d65f03c0 ret
> End of assembler dump.
>
> (gdb) disassemble/r
> Dump of assembler code for function __memcpy_mops:
> => 0x0000fffff7e8c580 <+0>: d503201f nop
> 0x0000fffff7e8c584 <+4>: aa0003e3 mov x3, x0
> 0x0000fffff7e8c588 <+8>: 19010443 cpyfp [x3]!, [x1]!, x2!
> 0x0000fffff7e8c58c <+12>: 19410443 cpyfm [x3]!, [x1]!, x2!
> 0x0000fffff7e8c590 <+16>: 19810443 cpyfe [x3]!, [x1]!, x2!
> 0x0000fffff7e8c594 <+20>: d65f03c0 ret
> End of assembler dump.
>
> (gdb) disassemble/r
> Dump of assembler code for function __memmove_mops:
> => 0x0000fffff7e8d180 <+0>: d503201f nop
> 0x0000fffff7e8d184 <+4>: aa0003e3 mov x3, x0
> 0x0000fffff7e8d188 <+8>: 1d010443 cpyp [x3]!, [x1]!, x2!
> 0x0000fffff7e8d18c <+12>: 1d410443 cpym [x3]!, [x1]!, x2!
> 0x0000fffff7e8d190 <+16>: 1d810443 cpye [x3]!, [x1]!, x2!
> 0x0000fffff7e8d194 <+20>: d65f03c0 ret
> End of assembler dump.
>
> The Arm Architecture Reference Manual says that "the prologue, main, and
> epilogue instructions are expected to be run in succession and to appear
> consecutively in memory". Therefore GDB needs to treat them as an atomic
> instruction sequence, and also can't do displaced stepping with them.
>
> This patch implements support for executing the sequence atomically, and
> also disables displaced step on them.
>
> PR tdep/31666
> Bug: https://sourceware.org/bugzilla/show_bug.cgi?id=31666
> ---
> gdb/aarch64-tdep.c | 107 ++++++++++++++++++++++++++++++++++++++++++++-
> 1 file changed, 105 insertions(+), 2 deletions(-)
>
> diff --git a/gdb/aarch64-tdep.c b/gdb/aarch64-tdep.c
> index 8d0553f3d7cd..e920cea49066 100644
> --- a/gdb/aarch64-tdep.c
> +++ b/gdb/aarch64-tdep.c
> @@ -3444,6 +3444,104 @@ value_of_aarch64_user_reg (const frame_info_ptr &frame, const void *baton)
> return value_of_register (*reg_p, get_next_frame_sentinel_okay (frame));
> }
>
> +/* Single step through MOPS instruction sequences on AArch64. */
> +
> +static std::vector<CORE_ADDR>
> +aarch64_software_single_step_mops (struct regcache *regcache, CORE_ADDR loc,
> + uint32_t insn)
> +{
> + const int insn_size = 4;
> + struct gdbarch *gdbarch = regcache->arch ();
> + enum bfd_endian byte_order_for_code = gdbarch_byte_order_for_code (gdbarch);
> + uint8_t o0 = bit (insn, 21);
> + uint8_t op1 = bits (insn, 22, 23);
> + uint8_t op2 = bits (insn, 12, 15);
> +
> + /* Look for the prologue instruction that begins the sequence. */
> +
> + /* CPYFP* */
> + if (!((o0 == 0 && op1 == 0)
> + /* SETP* */
> + || (o0 == 0 && op1 == 3 && op2 < 4)
> + /* CPYP* */
> + || (o0 == 1 && op1 == 0)
> + /* SETGP* */
> + || (o0 == 1 && op1 == 3 && op2 < 4)))
> + /* Prologue instruction not found. */
> + return {};
> +
> + /* Now look for the main instruction in the middle of the sequence. */
> +
> + loc += insn_size;
> + ULONGEST insn_from_memory;
> + if (!safe_read_memory_unsigned_integer (loc, insn_size,
> + byte_order_for_code,
> + &insn_from_memory))
> + {
> + /* Assume we don't have a MOPS sequence, as we couldn't read the
> + instruction in this location. */
> + return {};
> + }
> +
> + insn = insn_from_memory;
> + aarch64_inst inst;
> + if (aarch64_decode_insn (insn, &inst, 1, nullptr) != 0)
> + return {};
> + if (!AARCH64_CPU_HAS_FEATURE (*inst.opcode->avariant, MOPS))
> + return {};
> +
> + o0 = bit (insn, 21);
> + op1 = bits (insn, 22, 23);
> + op2 = bits (insn, 12, 15);
> +
> + /* CPYFM* */
> + if (!((o0 == 0 && op1 == 1)
> + /* SETM* */
> + || (o0 == 0 && op1 == 3 && op2 >= 4 && op2 < 8)
> + /* CPYM* */
> + || (o0 == 1 && op1 == 1)
> + /* SETGM* */
> + || (o0 == 1 && op1 == 3 && op2 >= 4 && op2 < 8)))
> + /* Main instruction not found. */
> + return {};
> +
> + /* Now look for the epilogue instruction that ends the sequence. */
> +
> + loc += insn_size;
> + if (!safe_read_memory_unsigned_integer (loc, insn_size,
> + byte_order_for_code,
> + &insn_from_memory))
> + {
> + /* Assume we don't have a MOPS sequence, as we couldn't read the
> + instruction in this location. */
> + return {};
> + }
> +
> + insn = insn_from_memory;
> + if (aarch64_decode_insn (insn, &inst, 1, nullptr) != 0)
> + return {};
> + if (!AARCH64_CPU_HAS_FEATURE (*inst.opcode->avariant, MOPS))
> + return {};
> +
> + o0 = bit (insn, 21);
> + op1 = bits (insn, 22, 23);
> + op2 = bits (insn, 12, 15);
> +
> + /* CPYFE* */
> + if (!((o0 == 0 && op1 == 2)
> + /* SETE* (op2 >= 12 is unallocated space) */
> + || (o0 == 0 && op1 == 3 && op2 >= 8 && op2 < 12)
> + /* CPYE* */
> + || (o0 == 1 && op1 == 2)
> + /* SETGE* (op2 >= 12 is unallocated space) */
> + || (o0 == 1 && op1 == 3 && op2 >= 8 && op2 < 12)))
> + /* Epilogue instruction not found. */
> + return {};
> +
> + /* Insert breakpoint after the end of the atomic sequence. */
> + return { loc + insn_size };
> +}
> +
> /* Implement the "software_single_step" gdbarch method, needed to
> single step through atomic sequences on AArch64. */
>
> @@ -3479,6 +3577,9 @@ aarch64_software_single_step (struct regcache *regcache)
> if (aarch64_decode_insn (insn, &inst, 1, NULL) != 0)
> return {};
>
> + if (AARCH64_CPU_HAS_FEATURE (*inst.opcode->avariant, MOPS))
> + return aarch64_software_single_step_mops (regcache, loc, insn);
> +
> /* Look for a Load Exclusive instruction which begins the sequence. */
> if (inst.opcode->iclass != ldstexcl || bit (insn, 22) == 0)
> return {};
> @@ -3808,8 +3909,10 @@ aarch64_displaced_step_copy_insn (struct gdbarch *gdbarch,
> if (aarch64_decode_insn (insn, &inst, 1, NULL) != 0)
> return NULL;
>
> - /* Look for a Load Exclusive instruction which begins the sequence. */
> - if (inst.opcode->iclass == ldstexcl && bit (insn, 22))
> + /* Look for a Load Exclusive instruction which begins the sequence,
> + or for a MOPS instruction. */
> + if ((inst.opcode->iclass == ldstexcl && bit (insn, 22))
> + || AARCH64_CPU_HAS_FEATURE (*inst.opcode->avariant, MOPS))
Sorry for the naive question: doesn't this check that the CPU supports
MOPS, rather than the instruction sequence is a MOPS one?
Thanks,
Christophe
> {
> /* We can't displaced step atomic sequences. */
> return NULL;
^ permalink raw reply [flat|nested] 10+ messages in thread* Re: [PATCH 1/5] gdb/aarch64: Implement software single stepping for MOPS instructions
2024-05-06 9:29 ` Christophe Lyon
@ 2024-05-07 0:56 ` Thiago Jung Bauermann
0 siblings, 0 replies; 10+ messages in thread
From: Thiago Jung Bauermann @ 2024-05-07 0:56 UTC (permalink / raw)
To: Christophe Lyon; +Cc: gdb-patches
Hello Christophe,
Thanks for the patch review!
Christophe Lyon <christophe.lyon@linaro.org> writes:
> On Sat, 4 May 2024 at 02:05, Thiago Jung Bauermann
> <thiago.bauermann@linaro.org> wrote:
>>
>> @@ -3808,8 +3909,10 @@ aarch64_displaced_step_copy_insn (struct gdbarch *gdbarch,
>> if (aarch64_decode_insn (insn, &inst, 1, NULL) != 0)
>> return NULL;
>>
>> - /* Look for a Load Exclusive instruction which begins the sequence. */
>> - if (inst.opcode->iclass == ldstexcl && bit (insn, 22))
>> + /* Look for a Load Exclusive instruction which begins the sequence,
>> + or for a MOPS instruction. */
>> + if ((inst.opcode->iclass == ldstexcl && bit (insn, 22))
>> + || AARCH64_CPU_HAS_FEATURE (*inst.opcode->avariant, MOPS))
>
> Sorry for the naive question: doesn't this check that the CPU supports
> MOPS, rather than the instruction sequence is a MOPS one?
It's an interesting question actually, at least for me because it's my
first time calling opcode functions. You're right that
AARCH64_CPU_HAS_FEATURE checks whether the given CPU supports the given
feature. But the call above uses the inst.opcode->avariant "CPU":
/* Which architecture variant provides this instruction. */
const aarch64_feature_set *avariant;
For MOPS instructions that field points to aarch64_feature_mops, defined
in opcodes/aarch64-tbl.h as:
static const aarch64_feature_set aarch64_feature_mops =
AARCH64_FEATURE (MOPS);
Which defines a CPU containing only the MOPS feature.
I also checked — just to be sure — that whether or not the VM's CPU
support the MOPS feature, the above description holds and the check
returns true for a MOPS instruction and false otherwise.
>> {
>> /* We can't displaced step atomic sequences. */
>> return NULL;
--
Thiago
^ permalink raw reply [flat|nested] 10+ messages in thread
* [PATCH 2/5] gdb/aarch64: Add record support for MOPS instructions.
2024-05-04 0:05 [PATCH 0/5] Add support for AArch64 MOPS instructions Thiago Jung Bauermann
2024-05-04 0:05 ` [PATCH 1/5] gdb/aarch64: Implement software single stepping for " Thiago Jung Bauermann
@ 2024-05-04 0:05 ` Thiago Jung Bauermann
2024-05-04 0:05 ` [PATCH 3/5] gdb/testsuite: Add gdb.arch/aarch64-mops-watchpoint.exp Thiago Jung Bauermann
` (2 subsequent siblings)
4 siblings, 0 replies; 10+ messages in thread
From: Thiago Jung Bauermann @ 2024-05-04 0:05 UTC (permalink / raw)
To: gdb-patches
There are two kinds of MOPS instructions: set instructions and copy
instructions. Within each group there are variants with minor
differences in how they read or write to memory — e.g., non-temporal
read and/or write, unprivileged read and/or write and permutations of
those — but they work in the same way in terms of the registers and
regions of memory that they modify.
PR tdep/31666
Bug: https://sourceware.org/bugzilla/show_bug.cgi?id=31666
---
gdb/aarch64-tdep.c | 84 ++++++++++++++++++++++++++++++++++++++++++++++
1 file changed, 84 insertions(+)
diff --git a/gdb/aarch64-tdep.c b/gdb/aarch64-tdep.c
index e920cea49066..c60c5d6e0ec2 100644
--- a/gdb/aarch64-tdep.c
+++ b/gdb/aarch64-tdep.c
@@ -5289,6 +5289,86 @@ aarch64_record_asimd_load_store (aarch64_insn_decode_record *aarch64_insn_r)
return AARCH64_RECORD_SUCCESS;
}
+/* Record handler for Memory Copy and Memory Set instructions. */
+
+static unsigned int
+aarch64_record_memcopy_memset (aarch64_insn_decode_record *aarch64_insn_r)
+{
+ if (record_debug)
+ debug_printf ("Process record: memory copy and memory set\n");
+
+ uint8_t op1 = bits (aarch64_insn_r->aarch64_insn, 22, 23);
+ uint8_t op2 = bits (aarch64_insn_r->aarch64_insn, 12, 15);
+ uint32_t reg_rd = bits (aarch64_insn_r->aarch64_insn, 0, 4);
+ uint32_t reg_rn = bits (aarch64_insn_r->aarch64_insn, 5, 9);
+ uint32_t record_buf[3];
+ uint64_t record_buf_mem[4];
+
+ if (op1 != 3)
+ {
+ /* Copy instructions. */
+ uint32_t reg_rs = bits (aarch64_insn_r->aarch64_insn, 16, 20);
+
+ record_buf[0] = reg_rd;
+ record_buf[1] = reg_rn;
+ record_buf[2] = reg_rs;
+ aarch64_insn_r->reg_rec_count = 3;
+
+ ULONGEST dest_addr;
+ regcache_raw_read_unsigned (aarch64_insn_r->regcache, reg_rd,
+ &dest_addr);
+ ULONGEST source_addr;
+ regcache_raw_read_unsigned (aarch64_insn_r->regcache, reg_rs,
+ &source_addr);
+ LONGEST length;
+ regcache_raw_read_signed (aarch64_insn_r->regcache, reg_rn,
+ &length);
+
+ /* In a processor using algorithm option A, the length in Rn has an
+ inverted sign. */
+ if (length < 0)
+ length *= -1;
+
+ record_buf_mem[0] = length;
+ record_buf_mem[1] = dest_addr;
+ record_buf_mem[2] = length;
+ record_buf_mem[3] = source_addr;
+ aarch64_insn_r->mem_rec_count = 2;
+ }
+ else if ((op1 == 3 && op2 < 12) || (op1 == 3 && op2 < 12))
+ {
+ /* Set instructions. */
+ record_buf[0] = reg_rd;
+ record_buf[1] = reg_rn;
+ aarch64_insn_r->reg_rec_count = 2;
+
+ ULONGEST address;
+ regcache_raw_read_unsigned (aarch64_insn_r->regcache, reg_rd,
+ &address);
+
+ LONGEST length;
+ regcache_raw_read_signed (aarch64_insn_r->regcache, reg_rn,
+ &length);
+
+ /* In a processor using algorithm option B, the length in Rn has an
+ inverted sign. */
+ if (length < 0)
+ length *= -1;
+
+ record_buf_mem[0] = length;
+ record_buf_mem[1] = address;
+ aarch64_insn_r->mem_rec_count = 1;
+ }
+ else
+ return AARCH64_RECORD_UNKNOWN;
+
+ MEM_ALLOC (aarch64_insn_r->aarch64_mems, aarch64_insn_r->mem_rec_count,
+ record_buf_mem);
+ REG_ALLOC (aarch64_insn_r->aarch64_regs, aarch64_insn_r->reg_rec_count,
+ record_buf);
+ return AARCH64_RECORD_SUCCESS;
+}
+
/* Record handler for load and store instructions. */
static unsigned int
@@ -5566,6 +5646,10 @@ aarch64_record_load_store (aarch64_insn_decode_record *aarch64_insn_r)
if (insn_bits10_11 == 0x01 || insn_bits10_11 == 0x03)
record_buf[aarch64_insn_r->reg_rec_count++] = reg_rn;
}
+ /* Memory Copy and Memory Set instructions. */
+ else if ((insn_bits24_27 & 1) == 1 && insn_bits28_29 == 1
+ && insn_bits10_11 == 1 && !insn_bit21)
+ return aarch64_record_memcopy_memset (aarch64_insn_r);
/* Advanced SIMD load/store instructions. */
else
return aarch64_record_asimd_load_store (aarch64_insn_r);
^ permalink raw reply [flat|nested] 10+ messages in thread* [PATCH 3/5] gdb/testsuite: Add gdb.arch/aarch64-mops-watchpoint.exp
2024-05-04 0:05 [PATCH 0/5] Add support for AArch64 MOPS instructions Thiago Jung Bauermann
2024-05-04 0:05 ` [PATCH 1/5] gdb/aarch64: Implement software single stepping for " Thiago Jung Bauermann
2024-05-04 0:05 ` [PATCH 2/5] gdb/aarch64: Add record support " Thiago Jung Bauermann
@ 2024-05-04 0:05 ` Thiago Jung Bauermann
2024-05-04 0:05 ` [PATCH 4/5] gdb/testsuite: Add gdb.arch/aarch64-mops-atomic-inst.exp Thiago Jung Bauermann
2024-05-04 0:05 ` [PATCH 5/5] gdb/testsuite: Add gdb.reverse/aarch64-mops.exp Thiago Jung Bauermann
4 siblings, 0 replies; 10+ messages in thread
From: Thiago Jung Bauermann @ 2024-05-04 0:05 UTC (permalink / raw)
To: gdb-patches
Test behaviour of watchpoints triggered by MOPS instructions. This test
is similar to gdb.base/memops-watchpoint.exp, but specifically for MOPS
instructions rather than whatever instructions are used in the libc's
implementation of memset/memcpy/memmove.
There's a separate watched variable for each set of instructions so that
the testcase can test whether GDB correctly identified the watchpoint
that triggered in each case.
---
.../gdb.arch/aarch64-mops-watchpoint.c | 66 ++++++++++++++++
.../gdb.arch/aarch64-mops-watchpoint.exp | 79 +++++++++++++++++++
gdb/testsuite/lib/gdb.exp | 61 ++++++++++++++
3 files changed, 206 insertions(+)
create mode 100644 gdb/testsuite/gdb.arch/aarch64-mops-watchpoint.c
create mode 100644 gdb/testsuite/gdb.arch/aarch64-mops-watchpoint.exp
diff --git a/gdb/testsuite/gdb.arch/aarch64-mops-watchpoint.c b/gdb/testsuite/gdb.arch/aarch64-mops-watchpoint.c
new file mode 100644
index 000000000000..b981f033d210
--- /dev/null
+++ b/gdb/testsuite/gdb.arch/aarch64-mops-watchpoint.c
@@ -0,0 +1,66 @@
+/* This test program is part of GDB, the GNU debugger.
+
+ Copyright 2024 Free Software Foundation, Inc.
+
+ This program is free software; you can redistribute it and/or modify
+ it under the terms of the GNU General Public License as published by
+ the Free Software Foundation; either version 3 of the License, or
+ (at your option) any later version.
+
+ This program is distributed in the hope that it will be useful,
+ but WITHOUT ANY WARRANTY; without even the implied warranty of
+ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ GNU General Public License for more details.
+
+ You should have received a copy of the GNU General Public License
+ along with this program. If not, see <http://www.gnu.org/licenses/>. */
+
+int
+main (void)
+{
+ char source[40] __attribute__ ((aligned (8)))
+ = "This is a relatively long string...";
+ char a[40] __attribute__ ((aligned (8)))
+ = "String to be overwritten with zeroes";
+ char b[40] __attribute__ ((aligned (8)))
+ = "Another string to be memcopied...";
+ char c[40] __attribute__ ((aligned (8)))
+ = "Another string to be memmoved...";
+ char *p, *q;
+ long size, zero;
+
+ /* Break here. */
+ p = a;
+ size = sizeof (a);
+ zero = 0;
+ /* memset implemented in MOPS instructions. */
+ __asm__ volatile ("setp [%0]!, %1!, %2\n\t"
+ "setm [%0]!, %1!, %2\n\t"
+ "sete [%0]!, %1!, %2\n\t"
+ : "+&r"(p), "+&r"(size)
+ : "r"(zero)
+ : "memory");
+
+ p = b;
+ q = source;
+ size = sizeof (b);
+ /* memmove implemented in MOPS instructions. */
+ __asm__ volatile ("cpyp [%0]!, [%1]!, %2!\n\t"
+ "cpym [%0]!, [%1]!, %2!\n\t"
+ "cpye [%0]!, [%1]!, %2!\n\t"
+ : "+&r" (p), "+&r" (q), "+&r" (size)
+ :
+ : "memory");
+ p = c;
+ q = source;
+ size = sizeof (c);
+ /* memcpy implemented in MOPS instructions. */
+ __asm__ volatile ("cpyfp [%0]!, [%1]!, %2!\n\t"
+ "cpyfm [%0]!, [%1]!, %2!\n\t"
+ "cpyfe [%0]!, [%1]!, %2!\n\t"
+ : "+&r" (p), "+&r" (q), "+&r" (size)
+ :
+ : "memory");
+
+ return 0;
+}
diff --git a/gdb/testsuite/gdb.arch/aarch64-mops-watchpoint.exp b/gdb/testsuite/gdb.arch/aarch64-mops-watchpoint.exp
new file mode 100644
index 000000000000..9e210602d800
--- /dev/null
+++ b/gdb/testsuite/gdb.arch/aarch64-mops-watchpoint.exp
@@ -0,0 +1,79 @@
+# Copyright 2024 Free Software Foundation, Inc.
+
+# This program is free software; you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation; either version 3 of the License, or
+# (at your option) any later version.
+#
+# This program is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+# GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with this program. If not, see <http://www.gnu.org/licenses/>.
+
+# Test a binary that uses MOPS (Memory Operations) instructions.
+# This test is similar to gdb.base/memops-watchpoint.exp, but specifically
+# tests MOPS instructions rather than whatever instructions are used in the
+# system libc's implementation of memset/memcpy/memmove.
+
+require allow_hw_watchpoint_tests allow_aarch64_mops_tests
+
+standard_testfile
+
+if { [prepare_for_testing "failed to prepare" ${testfile} ${srcfile} \
+ [list debug additional_flags=-march=armv9.3-a]] } {
+ return -1
+}
+
+set linespec ${srcfile}:[gdb_get_line_number "Break here"]
+if ![runto ${linespec}] {
+ return -1
+}
+
+gdb_test "watch -location a\[28\]" \
+ "(Hardware w|W)atchpoint ${decimal}: -location a\\\[28\\\]" \
+ "set watch on a"
+gdb_test "watch -location b\[28\]" \
+ "(Hardware w|W)atchpoint ${decimal}: -location b\\\[28\\\]" \
+ "set watchpoint on b"
+gdb_test "watch -location c\[28\]" \
+ "(Hardware w|W)atchpoint ${decimal}: -location c\\\[28\\\]" \
+ "set watchpoint on c"
+
+gdb_test "continue" \
+ [multi_line \
+ "Continuing\\." \
+ "" \
+ "Hardware watchpoint ${decimal}: -location a\\\[28\\\]" \
+ "" \
+ "Old value = 104 'h'" \
+ "New value = 0 '\\\\000'" \
+ "$hex in main \\(\\) at .*aarch64-mops-watchpoint.c:$decimal" \
+ "${decimal}\\s+__asm__ volatile \\(\"setp.*\\\\n\\\\t\""] \
+ "continue until set watchpoint hits"
+
+gdb_test "continue" \
+ [multi_line \
+ "Continuing\\." \
+ "" \
+ "Hardware watchpoint ${decimal}: -location b\\\[28\\\]" \
+ "" \
+ "Old value = 101 'e'" \
+ "New value = 114 'r'" \
+ "$hex in main \\(\\) at .*aarch64-mops-watchpoint.c:$decimal" \
+ "${decimal}\\s+__asm__ volatile \\(\"cpyp.*\\\\n\\\\t\""] \
+ "continue until cpy watchpoint hits"
+
+gdb_test "continue" \
+ [multi_line \
+ "Continuing\\." \
+ "" \
+ "Hardware watchpoint ${decimal}: -location c\\\[28\\\]" \
+ "" \
+ "Old value = 100 'd'" \
+ "New value = 114 'r'" \
+ "$hex in main \\(\\) at .*aarch64-mops-watchpoint.c:$decimal" \
+ "${decimal}\\s+__asm__ volatile \\(\"cpyfp.*\\\\n\\\\t\""] \
+ "continue until cpyf watchpoint hits"
diff --git a/gdb/testsuite/lib/gdb.exp b/gdb/testsuite/lib/gdb.exp
index fe3f05c18df9..78c926ac80b6 100644
--- a/gdb/testsuite/lib/gdb.exp
+++ b/gdb/testsuite/lib/gdb.exp
@@ -4497,6 +4497,67 @@ proc aarch64_supports_sme_svl { length } {
return 1
}
+# Run a test on the target to see if it supports Aarch64 MOPS (Memory
+# Operations) extensions. Return 0 if so, 1 if it does not. Note this causes
+# a restart of GDB.
+
+gdb_caching_proc allow_aarch64_mops_tests {} {
+ global srcdir subdir gdb_prompt inferior_exited_re
+
+ set me "allow_aarch64_mops_tests"
+
+ if { ![is_aarch64_target]} {
+ return 0
+ }
+
+ # ARMv9.3-A contains the MOPS extension. The test program doesn't use it,
+ # but take the opportunity to check whether the toolchain knows about MOPS.
+ set compile_flags "{additional_flags=-march=armv9.3-a}"
+
+ # Compile a program that tests the MOPS feature.
+ set src {
+ #include <stdbool.h>
+ #include <sys/auxv.h>
+
+ #ifndef HWCAP2_MOPS
+ #define HWCAP2_MOPS (1UL << 43)
+ #endif
+
+ int main() {
+ bool mops_supported = getauxval (AT_HWCAP2) & HWCAP2_MOPS;
+
+ return !mops_supported;
+ }
+ }
+
+ if {![gdb_simple_compile $me $src executable $compile_flags]} {
+ return 0
+ }
+
+ # Compilation succeeded so now run it via gdb.
+ clean_restart $obj
+ gdb_run_cmd
+ gdb_expect {
+ -re ".*$inferior_exited_re with code 01.*${gdb_prompt} $" {
+ verbose -log "\n$me mops support not detected"
+ set allow_mops_tests 0
+ }
+ -re ".*$inferior_exited_re normally.*${gdb_prompt} $" {
+ verbose -log "\n$me: mops support detected"
+ set allow_mops_tests 1
+ }
+ default {
+ warning "\n$me: default case taken"
+ set allow_mops_tests 0
+ }
+ }
+ gdb_exit
+ remote_file build delete $obj
+
+ verbose "$me: returning $allow_mops_tests" 2
+ return $allow_mops_tests
+}
+
# A helper that compiles a test case to see if __int128 is supported.
proc gdb_int128_helper {lang} {
return [gdb_can_simple_compile "i128-for-$lang" {
^ permalink raw reply [flat|nested] 10+ messages in thread* [PATCH 4/5] gdb/testsuite: Add gdb.arch/aarch64-mops-atomic-inst.exp
2024-05-04 0:05 [PATCH 0/5] Add support for AArch64 MOPS instructions Thiago Jung Bauermann
` (2 preceding siblings ...)
2024-05-04 0:05 ` [PATCH 3/5] gdb/testsuite: Add gdb.arch/aarch64-mops-watchpoint.exp Thiago Jung Bauermann
@ 2024-05-04 0:05 ` Thiago Jung Bauermann
2024-05-06 9:42 ` Christophe Lyon
2024-05-04 0:05 ` [PATCH 5/5] gdb/testsuite: Add gdb.reverse/aarch64-mops.exp Thiago Jung Bauermann
4 siblings, 1 reply; 10+ messages in thread
From: Thiago Jung Bauermann @ 2024-05-04 0:05 UTC (permalink / raw)
To: gdb-patches
The testcase verifies that MOPS sequences are stepped over when stepping
the inferior instruction by instruction.
---
.../gdb.arch/aarch64-mops-atomic-inst.c | 62 ++++++++++++
.../gdb.arch/aarch64-mops-atomic-inst.exp | 97 +++++++++++++++++++
2 files changed, 159 insertions(+)
create mode 100644 gdb/testsuite/gdb.arch/aarch64-mops-atomic-inst.c
create mode 100644 gdb/testsuite/gdb.arch/aarch64-mops-atomic-inst.exp
diff --git a/gdb/testsuite/gdb.arch/aarch64-mops-atomic-inst.c b/gdb/testsuite/gdb.arch/aarch64-mops-atomic-inst.c
new file mode 100644
index 000000000000..211cfb21c37c
--- /dev/null
+++ b/gdb/testsuite/gdb.arch/aarch64-mops-atomic-inst.c
@@ -0,0 +1,62 @@
+/* This file is part of GDB, the GNU debugger.
+
+ Copyright 2024 Free Software Foundation, Inc.
+
+ This program is free software; you can redistribute it and/or modify
+ it under the terms of the GNU General Public License as published by
+ the Free Software Foundation; either version 3 of the License, or
+ (at your option) any later version.
+
+ This program is distributed in the hope that it will be useful,
+ but WITHOUT ANY WARRANTY; without even the implied warranty of
+ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ GNU General Public License for more details.
+
+ You should have received a copy of the GNU General Public License
+ along with this program. If not, see <http://www.gnu.org/licenses/>. */
+
+#define TEST_STRING "Just a test string."
+#define BUF_SIZE sizeof(TEST_STRING)
+
+int main(void)
+{
+ const char source[BUF_SIZE] = TEST_STRING;
+ char dest[BUF_SIZE];
+ char *p = dest;
+ const char *q;
+ const long zero = 0;
+ long size = BUF_SIZE;
+
+ /* Break memset. */
+ /* memset implemented in MOPS instructions. */
+ __asm__ volatile ("setp [%0]!, %1!, %2\n\t"
+ "setm [%0]!, %1!, %2\n\t"
+ "sete [%0]!, %1!, %2\n\t"
+ : "+&r"(p), "+&r"(size)
+ : "r"(zero)
+ : "memory");
+
+ p = dest;
+ q = source;
+ /* Break memcpy. */
+ /* memcpy implemented in MOPS instructions. */
+ __asm__ volatile ("cpyfp [%0]!, [%1]!, %2!\n\t"
+ "cpyfm [%0]!, [%1]!, %2!\n\t"
+ "cpyfe [%0]!, [%1]!, %2!\n\t"
+ : "+&r" (p), "+&r" (q), "+&r" (size)
+ :
+ : "memory");
+
+ p = dest;
+ q = source;
+ /* Break memmove. */
+ /* memmove implemented in MOPS instructions. */
+ __asm__ volatile ("cpyp [%0]!, [%1]!, %2!\n\t"
+ "cpym [%0]!, [%1]!, %2!\n\t"
+ "cpye [%0]!, [%1]!, %2!\n\t"
+ : "+&r" (p), "+&r" (q), "+&r" (size)
+ :
+ : "memory");
+
+ return 0;
+}
diff --git a/gdb/testsuite/gdb.arch/aarch64-mops-atomic-inst.exp b/gdb/testsuite/gdb.arch/aarch64-mops-atomic-inst.exp
new file mode 100644
index 000000000000..ad74795d5cfd
--- /dev/null
+++ b/gdb/testsuite/gdb.arch/aarch64-mops-atomic-inst.exp
@@ -0,0 +1,97 @@
+# Copyright 2024 Free Software Foundation, Inc.
+#
+# This program is free software; you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation; either version 3 of the License, or
+# (at your option) any later version.
+#
+# This program is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+# GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with this program. If not, see <http://www.gnu.org/licenses/>.
+#
+# This file is part of the GDB testsuite.
+
+# Test single stepping through MOPS (memory operations) atomic sequences.
+
+require allow_aarch64_mops_tests
+
+standard_testfile
+if { [prepare_for_testing "failed to prepare" ${testfile} ${srcfile} \
+ [list debug additional_flags=-march=armv9.3-a]] } {
+ return -1
+}
+
+proc is_at_instruction { instruction } {
+ global gdb_prompt hex
+
+ set test "pc points to $instruction"
+ gdb_test_multiple {x/i $pc} $test {
+ -re -wrap "=> $hex \[^\r\n\]+:\t$instruction\t\[^\r\n\]+" {
+ return 1
+ }
+ -re "\r\n$gdb_prompt $" {
+ return 0
+ }
+ }
+
+ return 0
+}
+
+proc arrive_at_instruction { instruction } {
+ set count 0
+
+ while { [is_at_instruction $instruction] != 1 } {
+ gdb_test -nopass "nexti" ".*__asm__ volatile.*" \
+ "nexti #$count to reach $instruction"
+ incr count
+
+ if { $count > 50 } {
+ fail "didn't reach $instruction"
+ return 0
+ }
+ }
+
+ return 1
+}
+
+if ![runto_main] {
+ return -1
+}
+
+gdb_breakpoint ${srcfile}:[gdb_get_line_number "Break memset"]
+gdb_breakpoint ${srcfile}:[gdb_get_line_number "Break memcpy"]
+gdb_breakpoint ${srcfile}:[gdb_get_line_number "Break memmove"]
+
+gdb_continue_to_breakpoint "memset breakpoint"
+
+if { [arrive_at_instruction setp] } {
+ # The nexti output isn't useful to detect whether we skipped the sequence.
+ gdb_test "nexti" "\[^\r\n\]+" "step through the memset sequence"
+ gdb_assert { [is_at_instruction setm] == 0 \
+ && [is_at_instruction sete] == 0 } \
+ "stepped through the memset sequence"
+}
+
+gdb_continue_to_breakpoint "memcpy breakpoint"
+
+if { [arrive_at_instruction cpyfp] } {
+ # The nexti output isn't useful to detect whether we skipped the sequence.
+ gdb_test "nexti" "\[^\r\n\]+" "step through the memcpy sequence"
+ gdb_assert { [is_at_instruction cpyfm] == 0 \
+ && [is_at_instruction cpyfe] == 0 } \
+ "stepped through the memcpy sequence"
+}
+
+gdb_continue_to_breakpoint "memmove breakpoint"
+
+if { [arrive_at_instruction cpyp] } {
+ # The nexti output isn't useful to detect whether we skipped the sequence.
+ gdb_test "nexti" "\[^\r\n\]+" "step through the memmove sequence"
+ gdb_assert { [is_at_instruction cpym] == 0 \
+ && [is_at_instruction cpye] == 0 } \
+ "stepped through the memmove sequence"
+}
^ permalink raw reply [flat|nested] 10+ messages in thread* Re: [PATCH 4/5] gdb/testsuite: Add gdb.arch/aarch64-mops-atomic-inst.exp
2024-05-04 0:05 ` [PATCH 4/5] gdb/testsuite: Add gdb.arch/aarch64-mops-atomic-inst.exp Thiago Jung Bauermann
@ 2024-05-06 9:42 ` Christophe Lyon
2024-05-07 2:10 ` Thiago Jung Bauermann
0 siblings, 1 reply; 10+ messages in thread
From: Christophe Lyon @ 2024-05-06 9:42 UTC (permalink / raw)
To: Thiago Jung Bauermann; +Cc: gdb-patches
Hi Thiago,
On Sat, 4 May 2024 at 02:06, Thiago Jung Bauermann
<thiago.bauermann@linaro.org> wrote:
>
> The testcase verifies that MOPS sequences are stepped over when stepping
> the inferior instruction by instruction.
> ---
> .../gdb.arch/aarch64-mops-atomic-inst.c | 62 ++++++++++++
> .../gdb.arch/aarch64-mops-atomic-inst.exp | 97 +++++++++++++++++++
> 2 files changed, 159 insertions(+)
> create mode 100644 gdb/testsuite/gdb.arch/aarch64-mops-atomic-inst.c
> create mode 100644 gdb/testsuite/gdb.arch/aarch64-mops-atomic-inst.exp
>
> diff --git a/gdb/testsuite/gdb.arch/aarch64-mops-atomic-inst.c b/gdb/testsuite/gdb.arch/aarch64-mops-atomic-inst.c
> new file mode 100644
> index 000000000000..211cfb21c37c
> --- /dev/null
> +++ b/gdb/testsuite/gdb.arch/aarch64-mops-atomic-inst.c
> @@ -0,0 +1,62 @@
> +/* This file is part of GDB, the GNU debugger.
> +
> + Copyright 2024 Free Software Foundation, Inc.
> +
> + This program is free software; you can redistribute it and/or modify
> + it under the terms of the GNU General Public License as published by
> + the Free Software Foundation; either version 3 of the License, or
> + (at your option) any later version.
> +
> + This program is distributed in the hope that it will be useful,
> + but WITHOUT ANY WARRANTY; without even the implied warranty of
> + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
> + GNU General Public License for more details.
> +
> + You should have received a copy of the GNU General Public License
> + along with this program. If not, see <http://www.gnu.org/licenses/>. */
> +
> +#define TEST_STRING "Just a test string."
> +#define BUF_SIZE sizeof(TEST_STRING)
> +
> +int main(void)
> +{
> + const char source[BUF_SIZE] = TEST_STRING;
> + char dest[BUF_SIZE];
> + char *p = dest;
> + const char *q;
> + const long zero = 0;
> + long size = BUF_SIZE;
> +
> + /* Break memset. */
> + /* memset implemented in MOPS instructions. */
> + __asm__ volatile ("setp [%0]!, %1!, %2\n\t"
> + "setm [%0]!, %1!, %2\n\t"
> + "sete [%0]!, %1!, %2\n\t"
> + : "+&r"(p), "+&r"(size)
> + : "r"(zero)
> + : "memory");
> +
> + p = dest;
> + q = source;
> + /* Break memcpy. */
> + /* memcpy implemented in MOPS instructions. */
> + __asm__ volatile ("cpyfp [%0]!, [%1]!, %2!\n\t"
> + "cpyfm [%0]!, [%1]!, %2!\n\t"
> + "cpyfe [%0]!, [%1]!, %2!\n\t"
> + : "+&r" (p), "+&r" (q), "+&r" (size)
> + :
> + : "memory");
> +
> + p = dest;
> + q = source;
> + /* Break memmove. */
> + /* memmove implemented in MOPS instructions. */
> + __asm__ volatile ("cpyp [%0]!, [%1]!, %2!\n\t"
> + "cpym [%0]!, [%1]!, %2!\n\t"
> + "cpye [%0]!, [%1]!, %2!\n\t"
> + : "+&r" (p), "+&r" (q), "+&r" (size)
> + :
> + : "memory");
> +
> + return 0;
> +}
> diff --git a/gdb/testsuite/gdb.arch/aarch64-mops-atomic-inst.exp b/gdb/testsuite/gdb.arch/aarch64-mops-atomic-inst.exp
> new file mode 100644
> index 000000000000..ad74795d5cfd
> --- /dev/null
> +++ b/gdb/testsuite/gdb.arch/aarch64-mops-atomic-inst.exp
> @@ -0,0 +1,97 @@
> +# Copyright 2024 Free Software Foundation, Inc.
> +#
> +# This program is free software; you can redistribute it and/or modify
> +# it under the terms of the GNU General Public License as published by
> +# the Free Software Foundation; either version 3 of the License, or
> +# (at your option) any later version.
> +#
> +# This program is distributed in the hope that it will be useful,
> +# but WITHOUT ANY WARRANTY; without even the implied warranty of
> +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
> +# GNU General Public License for more details.
> +#
> +# You should have received a copy of the GNU General Public License
> +# along with this program. If not, see <http://www.gnu.org/licenses/>.
> +#
> +# This file is part of the GDB testsuite.
> +
> +# Test single stepping through MOPS (memory operations) atomic sequences.
> +
> +require allow_aarch64_mops_tests
> +
> +standard_testfile
> +if { [prepare_for_testing "failed to prepare" ${testfile} ${srcfile} \
> + [list debug additional_flags=-march=armv9.3-a]] } {
> + return -1
> +}
> +
> +proc is_at_instruction { instruction } {
> + global gdb_prompt hex
> +
> + set test "pc points to $instruction"
> + gdb_test_multiple {x/i $pc} $test {
> + -re -wrap "=> $hex \[^\r\n\]+:\t$instruction\t\[^\r\n\]+" {
> + return 1
> + }
> + -re "\r\n$gdb_prompt $" {
> + return 0
> + }
> + }
> +
> + return 0
> +}
> +
> +proc arrive_at_instruction { instruction } {
> + set count 0
> +
> + while { [is_at_instruction $instruction] != 1 } {
> + gdb_test -nopass "nexti" ".*__asm__ volatile.*" \
> + "nexti #$count to reach $instruction"
> + incr count
> +
> + if { $count > 50 } {
> + fail "didn't reach $instruction"
> + return 0
> + }
> + }
> +
> + return 1
> +}
> +
> +if ![runto_main] {
> + return -1
> +}
> +
> +gdb_breakpoint ${srcfile}:[gdb_get_line_number "Break memset"]
> +gdb_breakpoint ${srcfile}:[gdb_get_line_number "Break memcpy"]
> +gdb_breakpoint ${srcfile}:[gdb_get_line_number "Break memmove"]
> +
> +gdb_continue_to_breakpoint "memset breakpoint"
> +
> +if { [arrive_at_instruction setp] } {
> + # The nexti output isn't useful to detect whether we skipped the sequence.
> + gdb_test "nexti" "\[^\r\n\]+" "step through the memset sequence"
> + gdb_assert { [is_at_instruction setm] == 0 \
> + && [is_at_instruction sete] == 0 } \
> + "stepped through the memset sequence"
> +}
> +
> +gdb_continue_to_breakpoint "memcpy breakpoint"
> +
> +if { [arrive_at_instruction cpyfp] } {
> + # The nexti output isn't useful to detect whether we skipped the sequence.
> + gdb_test "nexti" "\[^\r\n\]+" "step through the memcpy sequence"
> + gdb_assert { [is_at_instruction cpyfm] == 0 \
> + && [is_at_instruction cpyfe] == 0 } \
> + "stepped through the memcpy sequence"
> +}
> +
> +gdb_continue_to_breakpoint "memmove breakpoint"
> +
> +if { [arrive_at_instruction cpyp] } {
> + # The nexti output isn't useful to detect whether we skipped the sequence.
> + gdb_test "nexti" "\[^\r\n\]+" "step through the memmove sequence"
> + gdb_assert { [is_at_instruction cpym] == 0 \
> + && [is_at_instruction cpye] == 0 } \
> + "stepped through the memmove sequence"
> +}
I don't know how easy it is nor if it's feasible in the GDB testsuite,
but maybe you could also assert that we stop on the first instruction
after the sequence (so this asm for 'p = dest' and 'return 0'), but I
suspect this would be fragile?
Thanks,
Christophe
^ permalink raw reply [flat|nested] 10+ messages in thread* Re: [PATCH 4/5] gdb/testsuite: Add gdb.arch/aarch64-mops-atomic-inst.exp
2024-05-06 9:42 ` Christophe Lyon
@ 2024-05-07 2:10 ` Thiago Jung Bauermann
0 siblings, 0 replies; 10+ messages in thread
From: Thiago Jung Bauermann @ 2024-05-07 2:10 UTC (permalink / raw)
To: Christophe Lyon; +Cc: gdb-patches
Hello Christophe,
Christophe Lyon <christophe.lyon@linaro.org> writes:
> On Sat, 4 May 2024 at 02:06, Thiago Jung Bauermann
> <thiago.bauermann@linaro.org> wrote:
>>
>> +gdb_continue_to_breakpoint "memset breakpoint"
>> +
>> +if { [arrive_at_instruction setp] } {
>> + # The nexti output isn't useful to detect whether we skipped the sequence.
>> + gdb_test "nexti" "\[^\r\n\]+" "step through the memset sequence"
>> + gdb_assert { [is_at_instruction setm] == 0 \
>> + && [is_at_instruction sete] == 0 } \
>> + "stepped through the memset sequence"
>> +}
>> +
>> +gdb_continue_to_breakpoint "memcpy breakpoint"
>> +
>> +if { [arrive_at_instruction cpyfp] } {
>> + # The nexti output isn't useful to detect whether we skipped the sequence.
>> + gdb_test "nexti" "\[^\r\n\]+" "step through the memcpy sequence"
>> + gdb_assert { [is_at_instruction cpyfm] == 0 \
>> + && [is_at_instruction cpyfe] == 0 } \
>> + "stepped through the memcpy sequence"
>> +}
>> +
>> +gdb_continue_to_breakpoint "memmove breakpoint"
>> +
>> +if { [arrive_at_instruction cpyp] } {
>> + # The nexti output isn't useful to detect whether we skipped the sequence.
>> + gdb_test "nexti" "\[^\r\n\]+" "step through the memmove sequence"
>> + gdb_assert { [is_at_instruction cpym] == 0 \
>> + && [is_at_instruction cpye] == 0 } \
>> + "stepped through the memmove sequence"
>> +}
>
> I don't know how easy it is nor if it's feasible in the GDB testsuite,
> but maybe you could also assert that we stop on the first instruction
> after the sequence (so this asm for 'p = dest' and 'return 0'), but I
> suspect this would be fragile?
It's feasible, but you are right that it would be fragile: the first
instruction after the sequence is "str x1, [sp, #72]", which isn't
very remarkable and can occur at many places in the program.
Your comment gave me an idea though: I can put an uncommon instruction
right after the epilogue instruction and check for it in the test. I
chose "prfm" which is "Prefetch Memory" so it's both uncommon and
basically a NOP. I'll send a v2 with the change. Thanks for pointing
this out!
--
Thiago
^ permalink raw reply [flat|nested] 10+ messages in thread
* [PATCH 5/5] gdb/testsuite: Add gdb.reverse/aarch64-mops.exp
2024-05-04 0:05 [PATCH 0/5] Add support for AArch64 MOPS instructions Thiago Jung Bauermann
` (3 preceding siblings ...)
2024-05-04 0:05 ` [PATCH 4/5] gdb/testsuite: Add gdb.arch/aarch64-mops-atomic-inst.exp Thiago Jung Bauermann
@ 2024-05-04 0:05 ` Thiago Jung Bauermann
4 siblings, 0 replies; 10+ messages in thread
From: Thiago Jung Bauermann @ 2024-05-04 0:05 UTC (permalink / raw)
To: gdb-patches
The testcase verifies that MOPS instructions are recorded and correctly
reversed. Not all variants of the copy and set instructions are tested,
since there are many and the record and replay target processes them in
the same way.
---
gdb/testsuite/gdb.reverse/aarch64-mops.c | 71 +++++++++
gdb/testsuite/gdb.reverse/aarch64-mops.exp | 171 +++++++++++++++++++++
2 files changed, 242 insertions(+)
create mode 100644 gdb/testsuite/gdb.reverse/aarch64-mops.c
create mode 100644 gdb/testsuite/gdb.reverse/aarch64-mops.exp
diff --git a/gdb/testsuite/gdb.reverse/aarch64-mops.c b/gdb/testsuite/gdb.reverse/aarch64-mops.c
new file mode 100644
index 000000000000..513f324b9dd6
--- /dev/null
+++ b/gdb/testsuite/gdb.reverse/aarch64-mops.c
@@ -0,0 +1,71 @@
+/* This test program is part of GDB, the GNU debugger.
+
+ Copyright 2024 Free Software Foundation, Inc.
+
+ This program is free software; you can redistribute it and/or modify
+ it under the terms of the GNU General Public License as published by
+ the Free Software Foundation; either version 3 of the License, or
+ (at your option) any later version.
+
+ This program is distributed in the hope that it will be useful,
+ but WITHOUT ANY WARRANTY; without even the implied warranty of
+ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ GNU General Public License for more details.
+
+ You should have received a copy of the GNU General Public License
+ along with this program. If not, see <http://www.gnu.org/licenses/>. */
+
+#define TEST_STRING "Just a test string."
+#define BUF_SIZE sizeof(TEST_STRING)
+
+int
+main (void)
+{
+ char dest[BUF_SIZE];
+ char source[BUF_SIZE] = TEST_STRING;
+ register char *p asm ("x19");
+ register char *q asm ("x20");
+ register long size asm ("x21");
+ register long zero asm ("x22");
+
+ p = dest;
+ size = BUF_SIZE;
+ zero = 0;
+ /* Before setp. */
+ /* memset implemented in MOPS instructions. */
+ __asm__ volatile ("setp [%0]!, %1!, %2\n\t"
+ "setm [%0]!, %1!, %2\n\t"
+ "sete [%0]!, %1!, %2\n\t"
+ : "+&r"(p), "+&r"(size)
+ : "r"(zero)
+ : "memory");
+
+ /* After sete. */
+ p = dest;
+ q = source;
+ size = BUF_SIZE;
+ /* Before cpyp. */
+ /* memmove implemented in MOPS instructions. */
+ __asm__ volatile ("cpyp [%0]!, [%1]!, %2!\n\t"
+ "cpym [%0]!, [%1]!, %2!\n\t"
+ "cpye [%0]!, [%1]!, %2!\n\t"
+ : "+&r" (p), "+&r" (q), "+&r" (size)
+ :
+ : "memory");
+ /* After cpye. */
+ p = dest;
+ q = source;
+ size = BUF_SIZE;
+ /* Before cpyfp. */
+ /* memcpy implemented in MOPS instructions. */
+ __asm__ volatile ("cpyfp [%0]!, [%1]!, %2!\n\t"
+ "cpyfm [%0]!, [%1]!, %2!\n\t"
+ "cpyfe [%0]!, [%1]!, %2!\n\t"
+ : "+&r" (p), "+&r" (q), "+&r" (size)
+ :
+ : "memory");
+ /* After cpyfe. */
+ p = dest;
+
+ return 0;
+}
diff --git a/gdb/testsuite/gdb.reverse/aarch64-mops.exp b/gdb/testsuite/gdb.reverse/aarch64-mops.exp
new file mode 100644
index 000000000000..f9c1257e0b11
--- /dev/null
+++ b/gdb/testsuite/gdb.reverse/aarch64-mops.exp
@@ -0,0 +1,171 @@
+# Copyright 2024 Free Software Foundation, Inc.
+
+# This program is free software; you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation; either version 3 of the License, or
+# (at your option) any later version.
+#
+# This program is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+# GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with this program. If not, see <http://www.gnu.org/licenses/>.
+
+# Test instruction record for AArch64 FEAT_MOPS instructions.
+# Based on gdb.reverse/ppc_record_test_isa_3_1.exp
+#
+# The basic flow of the record tests are:
+# 1) Stop before executing the instructions of interest. Record
+# the initial value of the registers that the instruction will
+# change, i.e. the destination register.
+# 2) Execute the instructions. Record the new value of the
+# registers that changed.
+# 3) Reverse the direction of the execution and execute back to
+# just before the instructions of interest. Record the final
+# value of the registers of interest.
+# 4) Check that the initial and new values of the registers are
+# different, i.e. the instruction changed the registers as expected.
+# 5) Check that the initial and final values of the registers are
+# the same, i.e. GDB record restored the registers to their
+# original values.
+
+require allow_aarch64_mops_tests
+
+standard_testfile
+
+if { [prepare_for_testing "failed to prepare" ${testfile} ${srcfile} \
+ [list debug additional_flags=-march=armv9.3-a]] } {
+ return -1
+}
+
+if ![runto_main] {
+ return -1
+}
+
+gdb_test_no_output "record full"
+
+proc do_test { insn_prefix } {
+ global decimal hex
+
+ set before_seq [gdb_get_line_number "Before ${insn_prefix}p"]
+ set after_seq [gdb_get_line_number "After ${insn_prefix}e"]
+
+ with_test_prefix $insn_prefix {
+ gdb_test "break $before_seq" \
+ "Breakpoint $decimal at $hex: file .*/aarch64-mops.c, line $decimal\\." \
+ "break before instruction sequence"
+ gdb_test "continue" \
+ [multi_line \
+ "Continuing\\." \
+ "" \
+ "Breakpoint $decimal, main \\(\\) at .*/aarch64-mops.c:$decimal" \
+ "$decimal\[ \t\]+__asm__ volatile \\(\"${insn_prefix}p \[^\r\n\]+\""] \
+ "about to execute instruction sequence"
+
+ # Record the initial register values.
+ set x19_initial [capture_command_output "info register x19" ""]
+ set x21_initial [capture_command_output "info register x21" ""]
+
+ # The set instructions use the ZERO variable, but not Q, and the other
+ # instructions are the opposite.
+ if {[string compare $insn_prefix "set"] == 0} {
+ set x22_initial [capture_command_output "info register x22" ""]
+ } else {
+ set x20_initial [capture_command_output "info register x20" ""]
+ }
+
+ gdb_test "break $after_seq" \
+ "Breakpoint $decimal at $hex: file .*/aarch64-mops.c, line $decimal\\." \
+ "break after instruction sequence"
+ gdb_test "continue" \
+ [multi_line \
+ "Continuing\\." \
+ "" \
+ "Breakpoint $decimal, main \\(\\) at .*/aarch64-mops.c:$decimal" \
+ "$decimal\[ \t\]+p = dest;"] \
+ "executed instruction sequence"
+
+ # Record the new register values.
+ set x19_new [capture_command_output "info register x19" ""]
+ set x21_new [capture_command_output "info register x21" ""]
+
+ if {[string compare $insn_prefix "set"] == 0} {
+ set x22_new [capture_command_output "info register x22" ""]
+ } else {
+ set x20_new [capture_command_output "info register x20" ""]
+ }
+
+ # Execute in reverse to before the instruction sequence.
+ gdb_test_no_output "set exec-direction reverse"
+
+ gdb_test "continue" \
+ [multi_line \
+ "Continuing\\." \
+ "" \
+ "Breakpoint $decimal, main \\(\\) at .*/aarch64-mops.c:$decimal" \
+ "$decimal\[ \t\]+__asm__ volatile \\(\"${insn_prefix}p \[^\r\n\]+\""] \
+ "reversed execution of instruction sequence"
+
+ # Record the final register values.
+ set x19_final [capture_command_output "info register x19" ""]
+ set x21_final [capture_command_output "info register x21" ""]
+
+ if {[string compare $insn_prefix "set"] == 0} {
+ set x22_final [capture_command_output "info register x22" ""]
+ } else {
+ set x20_final [capture_command_output "info register x20" ""]
+ }
+
+ # Check initial and new values of x19 are different.
+ gdb_assert [string compare $x19_initial $x19_new] \
+ "check x19 initial value versus x19 new value"
+
+ # Check initial and new values of x21 are different.
+ gdb_assert [string compare $x21_initial $x21_new] \
+ "check x21 initial value versus x21 new value"
+
+ if {[string compare $insn_prefix "set"] == 0} {
+ # Check initial and new values of x22 are the same.
+ # The register with the value to set shouldn't change.
+ gdb_assert ![string compare $x22_initial $x22_new] \
+ "check x22 initial value versus x22 new value"
+ } else {
+ # Check initial and new values of x20 are different.
+ gdb_assert [string compare $x20_initial $x20_new] \
+ "check x20 initial value versus x20 new value"
+ }
+
+ # Check initial and final values of x19 are the same.
+ gdb_assert ![string compare $x19_initial $x19_final] \
+ "check x19 initial value versus x19 final value"
+
+ # Check initial and final values of x21 are the same.
+ gdb_assert ![string compare $x21_initial $x21_final] \
+ "check x21 initial value versus x21 final value"
+
+ if {[string compare $insn_prefix "set"] == 0} {
+ # Check initial and final values of x22 are the same.
+ # The register with the value to set shouldn't change.
+ gdb_assert ![string compare $x22_initial $x22_final] \
+ "check x22 initial value versus x22 final value"
+ } else {
+ # Check initial and final values of x20 are the same.
+ gdb_assert ![string compare $x20_initial $x20_final] \
+ "check x20 initial value versus x20 final value"
+ }
+
+ # Restore forward execution and go to end of recording.
+ gdb_test_no_output "set exec-direction forward"
+ gdb_test "record goto end" \
+ [multi_line \
+ "Go forward to insn number $decimal" \
+ "#0 main \\(\\) at .*/aarch64-mops.c:$decimal" \
+ "$decimal\[ \t\]+p = dest;"]
+ }
+}
+
+do_test "set"
+do_test "cpy"
+do_test "cpyf"
^ permalink raw reply [flat|nested] 10+ messages in thread