From 377f8f08bebea7cd44617b0ac0a2baf307f5f055 Mon Sep 17 00:00:00 2001 From: Philippe Mathieu-Daudé Date: Tue, 14 Apr 2020 21:06:27 +0100 Subject: gdbstub: Introduce gdb_get_float32() to get 32-bit float registers Since we now use a GByteArray, we can not use stfl_p() directly. Introduce the gdb_get_float32() helper to load a float32 register. Fixes: a010bdbe719 ("extend GByteArray to read register helpers") Signed-off-by: Philippe Mathieu-Daudé Signed-off-by: Alex Bennée Reviewed-by: Richard Henderson Message-Id: <20200414163853.12164-2-philmd@redhat.com> Message-Id: <20200414200631.12799-14-alex.bennee@linaro.org> --- include/exec/gdbstub.h | 9 +++++++++ 1 file changed, 9 insertions(+) (limited to 'include') diff --git a/include/exec/gdbstub.h b/include/exec/gdbstub.h index 3c452fc50c..20e1072692 100644 --- a/include/exec/gdbstub.h +++ b/include/exec/gdbstub.h @@ -125,6 +125,15 @@ static inline int gdb_get_reg128(GByteArray *buf, uint64_t val_hi, return 16; } +static inline int gdb_get_float32(GByteArray *array, float32 val) +{ + uint8_t buf[sizeof(CPU_FloatU)]; + + stfl_p(buf, val); + g_byte_array_append(array, buf, sizeof(buf)); + + return sizeof(buf); +} static inline int gdb_get_zeroes(GByteArray *array, size_t len) { guint oldlen = array->len; -- cgit v1.2.3-55-g7522