b355f08a37
Currently we send VFP XML which includes D0..D15 or D0..D31, plus FPSID, FPSCR and FPEXC. The upstream GDB tolerates this, but its definition of this XML feature does not include FPSID or FPEXC. In particular, for M-profile cores there are no FPSID or FPEXC registers, so advertising those is wrong. Move FPSID and FPEXC into their own bit of XML which we only send for A and R profile cores. This brings our definition of the XML org.gnu.gdb.arm.vfp feature into line with GDB's own (at least for non-Neon cores...) and means we don't claim to have FPSID and FPEXC on M-profile. (It seems unlikely to me that any gdbstub users really care about being able to look at FPEXC and FPSID; but we've supplied them to gdb for a decade and it's not hard to keep doing so.) Signed-off-by: Peter Maydell <peter.maydell@linaro.org> Reviewed-by: Richard Henderson <richard.henderson@linaro.org> Message-id: 20210921162901.17508-5-peter.maydell@linaro.org
18 lines
729 B
XML
18 lines
729 B
XML
<?xml version="1.0"?>
|
|
<!-- Copyright (C) 2021 Linaro Ltd.
|
|
|
|
Copying and distribution of this file, with or without modification,
|
|
are permitted in any medium without royalty provided the copyright
|
|
notice and this notice are preserved.
|
|
|
|
These are A/R profile VFP system registers. Debugger users probably
|
|
don't really care about these, but because we used to (incorrectly)
|
|
provide them to gdb in the org.gnu.gdb.arm.vfp XML we continue
|
|
to do so via this separate XML.
|
|
-->
|
|
<!DOCTYPE feature SYSTEM "gdb-target.dtd">
|
|
<feature name="org.qemu.gdb.arm.vfp-sysregs">
|
|
<reg name="fpsid" bitsize="32" type="int" group="float"/>
|
|
<reg name="fpexc" bitsize="32" type="int" group="float"/>
|
|
</feature>
|