From: Pierrick Bouvier <pierrick.bouvier@linaro.org>
To: "Alex Bennée" <alex.bennee@linaro.org>, qemu-devel@nongnu.org
Cc: "Peter Maydell" <peter.maydell@linaro.org>,
"Juan Quintela" <quintela@redhat.com>,
"Ilya Leoshkevich" <iii@linux.ibm.com>,
"Thomas Huth" <thuth@redhat.com>,
"Akihiko Odaki" <akihiko.odaki@daynix.com>,
qemu-ppc@nongnu.org, "David Gibson" <david@gibson.dropbear.id.au>,
qemu-s390x@nongnu.org,
"Wainer dos Santos Moschetta" <wainersm@redhat.com>,
"Peter Xu" <peterx@redhat.com>,
"Markus Armbruster" <armbru@redhat.com>,
"Daniel P. Berrangé" <berrange@redhat.com>,
"Cédric Le Goater" <clg@kaod.org>,
"Daniel Henrique Barboza" <danielhb413@gmail.com>,
"David Hildenbrand" <david@redhat.com>,
"Yonggang Luo" <luoyonggang@gmail.com>,
"Richard Henderson" <richard.henderson@linaro.org>,
"Beraldo Leal" <bleal@redhat.com>,
qemu-arm@nongnu.org, "Greg Kurz" <groug@kaod.org>,
"Philippe Mathieu-Daudé" <philmd@linaro.org>,
"Nicholas Piggin" <npiggin@gmail.com>,
"Paolo Bonzini" <pbonzini@redhat.com>,
"Edgar E. Iglesias" <edgar.iglesias@gmail.com>
Subject: Re: [PATCH 00/10] gdbstub: conversion to runtime endianess helpers
Date: Thu, 20 Mar 2025 13:16:48 -0700 [thread overview]
Message-ID: <7444c007-d8f1-4c55-ab4a-15becdf1c932@linaro.org> (raw)
In-Reply-To: <0bc36324-4fb7-41ee-a9f1-3a7de4ad7fa4@linaro.org>
On 3/20/25 12:52, Pierrick Bouvier wrote:
> On 3/19/25 11:22, Alex Bennée wrote:
>> The aim of this work is to get rid of the endian aware helpers in
>> gdbstub/helpers.h which due to their use of tswap() mean target
>> gdbstubs need to be built multiple times. While this series doesn't
>> actually build each stub once it introduces a new helper -
>> gdb_get_register_value() which takes a MemOp which can describe the
>> current endian state of the system. This will be a lot easier to
>> dynamically feed from a helper function.
>>
>> The most complex example is PPC which has a helper called
>> ppc_maybe_bswap_register() which was doing this.
>>
>> This is still an RFC so I'm interested in feedback:
>>
>> - is the API sane
>> - can we avoid lots of (uint8_t *) casting?
>
> Even though the series has a good intent, the fact we make everything
> "generic" makes that we lose all guarantees we could get by relying on
> static typing, and that we had possibility of mistakes when passing size
> (which happened in patch 4 if I'm correct). And explicit casting comes
> as a *strong* warning about that.
>
> By patch 7, I was really feeling it's not a win vs explicit functions
> per size.
>
> If the goal of the series is to get rid of endian aware helpers, well,
> this can be fixed in the helpers themselves, without needing to
> introduce a "generic" size helper. Maybe we are trying to solve two
> different problems here?
>
>> - should we have a reverse helper for setting registers
>>
>> If this seems like the right approach I can have a go at more of the
>> frontends later.
>>
Looking at include/gdbstub/helpers.h, gdb_get_reg128 can be solved by
using target_words_bigendian() instead of TARGET_BIG_ENDIAN, which is
already what tswap primitives are doing.
For gdb_get_regl, I would get rid of it completely, by editing all
targets gdbstub.c, and replacing with gdb_get_reg32 or gdb_get_reg64
explicit calls.
ppc is a very naughty boy, because registers are defined as
target_ulong, while other arch use fixed types. The solution might be as
simple as changing ppc registers definition to uint64_t.
If it's too complicated, you can postpone the problem by leaving
gdb_get_regl defined only in ppc gdbstub, and clean up all other arch.
Thanks to static typing, it will be easy to spot a wrong gdb_get_regl
conversion, so it's a no-risk operaton.
For ldtul_p, ldtul_le_p, and ldtul_be_p, it's a similar game. It's
harder because only return type will differ, and you might miss occurences.
A safe way could be to replace ldtul_p by call to a function taking
return value through pointer in parameter. This way, you can replace
easily with l and q variants, without any risk off implicit conversion.
And for the one left depending on target_ulong/target_long, leave that
for now, and move ldtul*_p to a target-helper.h included only for archs
needing this.
>> There are a few other misc clean-ups I did on the way which might be
>> worth cherry picking for 10.0 but I'll leave that up to maintainers.
>>
>> Alex.
>>
>> Alex Bennée (10):
>> include/gdbstub: fix include guard in commands.h
>> gdbstub: introduce target independent gdb register helper
>> target/arm: convert 32 bit gdbstub to new helper
>> target/arm: convert 64 bit gdbstub to new helper
>> target/ppc: expand comment on FP/VMX/VSX access functions
>> target/ppc: make ppc_maybe_bswap_register static
>> target/ppc: convert gdbstub to new helper (!hacky)
>> gdbstub: assert earlier in handle_read_all_regs
>> include/exec: fix assert in size_memop
>> target/microblaze: convert gdbstub to new helper
>>
>> include/exec/memop.h | 4 +-
>> include/gdbstub/commands.h | 2 +-
>> include/gdbstub/registers.h | 30 ++++++
>> target/ppc/cpu.h | 8 +-
>> gdbstub/gdbstub.c | 24 ++++-
>> target/arm/gdbstub.c | 57 +++++++----
>> target/arm/gdbstub64.c | 53 ++++++----
>> target/microblaze/gdbstub.c | 44 ++++----
>> target/ppc/gdbstub.c | 194 ++++++++++++++++++++----------------
>> 9 files changed, 257 insertions(+), 159 deletions(-)
>> create mode 100644 include/gdbstub/registers.h
>>
>
next prev parent reply other threads:[~2025-03-20 20:18 UTC|newest]
Thread overview: 41+ messages / expand[flat|nested] mbox.gz Atom feed top
2025-03-19 18:22 [PATCH 00/10] gdbstub: conversion to runtime endianess helpers Alex Bennée
2025-03-19 18:22 ` [PATCH 01/10] include/gdbstub: fix include guard in commands.h Alex Bennée
2025-03-20 7:09 ` Philippe Mathieu-Daudé
2025-03-20 19:37 ` Pierrick Bouvier
2025-03-19 18:22 ` [PATCH 02/10] gdbstub: introduce target independent gdb register helper Alex Bennée
2025-03-20 6:19 ` Akihiko Odaki
2025-03-20 7:24 ` Philippe Mathieu-Daudé
2025-03-20 7:16 ` Philippe Mathieu-Daudé
2025-03-20 19:30 ` Pierrick Bouvier
2025-03-20 19:36 ` Pierrick Bouvier
2025-03-21 11:36 ` Alex Bennée
2025-03-21 17:24 ` Pierrick Bouvier
2025-03-20 19:37 ` Pierrick Bouvier
2025-03-19 18:22 ` [PATCH 03/10] target/arm: convert 32 bit gdbstub to new helper Alex Bennée
2025-03-20 6:21 ` Akihiko Odaki
2025-03-20 19:38 ` Pierrick Bouvier
2025-03-19 18:22 ` [PATCH 04/10] target/arm: convert 64 " Alex Bennée
2025-03-20 7:39 ` Philippe Mathieu-Daudé
2025-03-20 19:42 ` Pierrick Bouvier
2025-03-21 11:38 ` Alex Bennée
2025-03-19 18:22 ` [PATCH 05/10] target/ppc: expand comment on FP/VMX/VSX access functions Alex Bennée
2025-03-20 19:42 ` Pierrick Bouvier
2025-03-19 18:22 ` [PATCH 06/10] target/ppc: make ppc_maybe_bswap_register static Alex Bennée
2025-03-20 6:55 ` Philippe Mathieu-Daudé
2025-03-20 19:42 ` Pierrick Bouvier
2025-03-19 18:22 ` [PATCH 07/10] target/ppc: convert gdbstub to new helper (!hacky) Alex Bennée
2025-03-19 18:22 ` [PATCH 08/10] gdbstub: assert earlier in handle_read_all_regs Alex Bennée
2025-03-20 6:57 ` Philippe Mathieu-Daudé
2025-03-19 18:22 ` [PATCH 09/10] include/exec: fix assert in size_memop Alex Bennée
2025-03-20 6:29 ` Akihiko Odaki
2025-03-20 7:30 ` Philippe Mathieu-Daudé
2025-03-19 18:22 ` [PATCH 10/10] target/microblaze: convert gdbstub to new helper Alex Bennée
2025-03-20 7:09 ` Philippe Mathieu-Daudé
2025-03-20 19:52 ` [PATCH 00/10] gdbstub: conversion to runtime endianess helpers Pierrick Bouvier
2025-03-20 20:16 ` Pierrick Bouvier [this message]
2025-03-21 13:02 ` Philippe Mathieu-Daudé
2025-03-21 17:27 ` Pierrick Bouvier
2025-03-21 11:46 ` Alex Bennée
2025-03-21 17:31 ` Pierrick Bouvier
2025-03-23 15:41 ` Philippe Mathieu-Daudé
2025-03-23 17:32 ` Pierrick Bouvier
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=7444c007-d8f1-4c55-ab4a-15becdf1c932@linaro.org \
--to=pierrick.bouvier@linaro.org \
--cc=akihiko.odaki@daynix.com \
--cc=alex.bennee@linaro.org \
--cc=armbru@redhat.com \
--cc=berrange@redhat.com \
--cc=bleal@redhat.com \
--cc=clg@kaod.org \
--cc=danielhb413@gmail.com \
--cc=david@gibson.dropbear.id.au \
--cc=david@redhat.com \
--cc=edgar.iglesias@gmail.com \
--cc=groug@kaod.org \
--cc=iii@linux.ibm.com \
--cc=luoyonggang@gmail.com \
--cc=npiggin@gmail.com \
--cc=pbonzini@redhat.com \
--cc=peter.maydell@linaro.org \
--cc=peterx@redhat.com \
--cc=philmd@linaro.org \
--cc=qemu-arm@nongnu.org \
--cc=qemu-devel@nongnu.org \
--cc=qemu-ppc@nongnu.org \
--cc=qemu-s390x@nongnu.org \
--cc=quintela@redhat.com \
--cc=richard.henderson@linaro.org \
--cc=thuth@redhat.com \
--cc=wainersm@redhat.com \
/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;
as well as URLs for NNTP newsgroup(s).