Change the type of the shadow regs for floating point registers

to be uint64. Previously the value in such a shadow reg would
be interpreted by gdb as a floating point value which would
produce non-sensible output for e.g   p/x $f1s1.
This patch covers the power and arm architectures.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@12444

diff --git a/coregrind/m_gdbserver/arm-vfpv3-valgrind-s1.xml b/coregrind/m_gdbserver/arm-vfpv3-valgrind-s1.xml
index 619f73fc902f2a0f58e50b15129c6d28835af0d7..c91f9c182f3a168cd4b08e3d59bf4c8089e16f8f 100644 (file)
--- a/coregrind/m_gdbserver/arm-vfpv3-valgrind-s1.xml
+++ b/coregrind/m_gdbserver/arm-vfpv3-valgrind-s1.xml
@@ -7,38 +7,38 @@
 
 <!DOCTYPE feature SYSTEM "gdb-target.dtd">
 <feature name="org.gnu.gdb.arm.vfp.valgrind.s1">
-  <reg name="d0s1" bitsize="64" type="ieee_double"/>
-  <reg name="d1s1" bitsize="64" type="ieee_double"/>
-  <reg name="d2s1" bitsize="64" type="ieee_double"/>
-  <reg name="d3s1" bitsize="64" type="ieee_double"/>
-  <reg name="d4s1" bitsize="64" type="ieee_double"/>
-  <reg name="d5s1" bitsize="64" type="ieee_double"/>
-  <reg name="d6s1" bitsize="64" type="ieee_double"/>
-  <reg name="d7s1" bitsize="64" type="ieee_double"/>
-  <reg name="d8s1" bitsize="64" type="ieee_double"/>
-  <reg name="d9s1" bitsize="64" type="ieee_double"/>
-  <reg name="d10s1" bitsize="64" type="ieee_double"/>
-  <reg name="d11s1" bitsize="64" type="ieee_double"/>
-  <reg name="d12s1" bitsize="64" type="ieee_double"/>
-  <reg name="d13s1" bitsize="64" type="ieee_double"/>
-  <reg name="d14s1" bitsize="64" type="ieee_double"/>
-  <reg name="d15s1" bitsize="64" type="ieee_double"/>
-  <reg name="d16s1" bitsize="64" type="ieee_double"/>
-  <reg name="d17s1" bitsize="64" type="ieee_double"/>
-  <reg name="d18s1" bitsize="64" type="ieee_double"/>
-  <reg name="d19s1" bitsize="64" type="ieee_double"/>
-  <reg name="d20s1" bitsize="64" type="ieee_double"/>
-  <reg name="d21s1" bitsize="64" type="ieee_double"/>
-  <reg name="d22s1" bitsize="64" type="ieee_double"/>
-  <reg name="d23s1" bitsize="64" type="ieee_double"/>
-  <reg name="d24s1" bitsize="64" type="ieee_double"/>
-  <reg name="d25s1" bitsize="64" type="ieee_double"/>
-  <reg name="d26s1" bitsize="64" type="ieee_double"/>
-  <reg name="d27s1" bitsize="64" type="ieee_double"/>
-  <reg name="d28s1" bitsize="64" type="ieee_double"/>
-  <reg name="d29s1" bitsize="64" type="ieee_double"/>
-  <reg name="d30s1" bitsize="64" type="ieee_double"/>
-  <reg name="d31s1" bitsize="64" type="ieee_double"/>
+  <reg name="d0s1" bitsize="64" type="uint64"/>
+  <reg name="d1s1" bitsize="64" type="uint64"/>
+  <reg name="d2s1" bitsize="64" type="uint64"/>
+  <reg name="d3s1" bitsize="64" type="uint64"/>
+  <reg name="d4s1" bitsize="64" type="uint64"/>
+  <reg name="d5s1" bitsize="64" type="uint64"/>
+  <reg name="d6s1" bitsize="64" type="uint64"/>
+  <reg name="d7s1" bitsize="64" type="uint64"/>
+  <reg name="d8s1" bitsize="64" type="uint64"/>
+  <reg name="d9s1" bitsize="64" type="uint64"/>
+  <reg name="d10s1" bitsize="64" type="uint64"/>
+  <reg name="d11s1" bitsize="64" type="uint64"/>
+  <reg name="d12s1" bitsize="64" type="uint64"/>
+  <reg name="d13s1" bitsize="64" type="uint64"/>
+  <reg name="d14s1" bitsize="64" type="uint64"/>
+  <reg name="d15s1" bitsize="64" type="uint64"/>
+  <reg name="d16s1" bitsize="64" type="uint64"/>
+  <reg name="d17s1" bitsize="64" type="uint64"/>
+  <reg name="d18s1" bitsize="64" type="uint64"/>
+  <reg name="d19s1" bitsize="64" type="uint64"/>
+  <reg name="d20s1" bitsize="64" type="uint64"/>
+  <reg name="d21s1" bitsize="64" type="uint64"/>
+  <reg name="d22s1" bitsize="64" type="uint64"/>
+  <reg name="d23s1" bitsize="64" type="uint64"/>
+  <reg name="d24s1" bitsize="64" type="uint64"/>
+  <reg name="d25s1" bitsize="64" type="uint64"/>
+  <reg name="d26s1" bitsize="64" type="uint64"/>
+  <reg name="d27s1" bitsize="64" type="uint64"/>
+  <reg name="d28s1" bitsize="64" type="uint64"/>
+  <reg name="d29s1" bitsize="64" type="uint64"/>
+  <reg name="d30s1" bitsize="64" type="uint64"/>
+  <reg name="d31s1" bitsize="64" type="uint64"/>
 
   <reg name="fpscrs1" bitsize="32" type="int" group="float"/>
 </feature>

diff --git a/coregrind/m_gdbserver/arm-vfpv3-valgrind-s2.xml b/coregrind/m_gdbserver/arm-vfpv3-valgrind-s2.xml
index c0e867713dfcc838abcf1606278773b81a7422ad..9c0bc7adbde71013792565d78d52a1beb7dbd6bd 100644 (file)
--- a/coregrind/m_gdbserver/arm-vfpv3-valgrind-s2.xml
+++ b/coregrind/m_gdbserver/arm-vfpv3-valgrind-s2.xml
@@ -7,38 +7,38 @@
 
 <!DOCTYPE feature SYSTEM "gdb-target.dtd">
 <feature name="org.gnu.gdb.arm.vfp.valgrind.s2">
-  <reg name="d0s2" bitsize="64" type="ieee_double"/>
-  <reg name="d1s2" bitsize="64" type="ieee_double"/>
-  <reg name="d2s2" bitsize="64" type="ieee_double"/>
-  <reg name="d3s2" bitsize="64" type="ieee_double"/>
-  <reg name="d4s2" bitsize="64" type="ieee_double"/>
-  <reg name="d5s2" bitsize="64" type="ieee_double"/>
-  <reg name="d6s2" bitsize="64" type="ieee_double"/>
-  <reg name="d7s2" bitsize="64" type="ieee_double"/>
-  <reg name="d8s2" bitsize="64" type="ieee_double"/>
-  <reg name="d9s2" bitsize="64" type="ieee_double"/>
-  <reg name="d10s2" bitsize="64" type="ieee_double"/>
-  <reg name="d11s2" bitsize="64" type="ieee_double"/>
-  <reg name="d12s2" bitsize="64" type="ieee_double"/>
-  <reg name="d13s2" bitsize="64" type="ieee_double"/>
-  <reg name="d14s2" bitsize="64" type="ieee_double"/>
-  <reg name="d15s2" bitsize="64" type="ieee_double"/>
-  <reg name="d16s2" bitsize="64" type="ieee_double"/>
-  <reg name="d17s2" bitsize="64" type="ieee_double"/>
-  <reg name="d18s2" bitsize="64" type="ieee_double"/>
-  <reg name="d19s2" bitsize="64" type="ieee_double"/>
-  <reg name="d20s2" bitsize="64" type="ieee_double"/>
-  <reg name="d21s2" bitsize="64" type="ieee_double"/>
-  <reg name="d22s2" bitsize="64" type="ieee_double"/>
-  <reg name="d23s2" bitsize="64" type="ieee_double"/>
-  <reg name="d24s2" bitsize="64" type="ieee_double"/>
-  <reg name="d25s2" bitsize="64" type="ieee_double"/>
-  <reg name="d26s2" bitsize="64" type="ieee_double"/>
-  <reg name="d27s2" bitsize="64" type="ieee_double"/>
-  <reg name="d28s2" bitsize="64" type="ieee_double"/>
-  <reg name="d29s2" bitsize="64" type="ieee_double"/>
-  <reg name="d30s2" bitsize="64" type="ieee_double"/>
-  <reg name="d31s2" bitsize="64" type="ieee_double"/>
+  <reg name="d0s2" bitsize="64" type="uint64"/>
+  <reg name="d1s2" bitsize="64" type="uint64"/>
+  <reg name="d2s2" bitsize="64" type="uint64"/>
+  <reg name="d3s2" bitsize="64" type="uint64"/>
+  <reg name="d4s2" bitsize="64" type="uint64"/>
+  <reg name="d5s2" bitsize="64" type="uint64"/>
+  <reg name="d6s2" bitsize="64" type="uint64"/>
+  <reg name="d7s2" bitsize="64" type="uint64"/>
+  <reg name="d8s2" bitsize="64" type="uint64"/>
+  <reg name="d9s2" bitsize="64" type="uint64"/>
+  <reg name="d10s2" bitsize="64" type="uint64"/>
+  <reg name="d11s2" bitsize="64" type="uint64"/>
+  <reg name="d12s2" bitsize="64" type="uint64"/>
+  <reg name="d13s2" bitsize="64" type="uint64"/>
+  <reg name="d14s2" bitsize="64" type="uint64"/>
+  <reg name="d15s2" bitsize="64" type="uint64"/>
+  <reg name="d16s2" bitsize="64" type="uint64"/>
+  <reg name="d17s2" bitsize="64" type="uint64"/>
+  <reg name="d18s2" bitsize="64" type="uint64"/>
+  <reg name="d19s2" bitsize="64" type="uint64"/>
+  <reg name="d20s2" bitsize="64" type="uint64"/>
+  <reg name="d21s2" bitsize="64" type="uint64"/>
+  <reg name="d22s2" bitsize="64" type="uint64"/>
+  <reg name="d23s2" bitsize="64" type="uint64"/>
+  <reg name="d24s2" bitsize="64" type="uint64"/>
+  <reg name="d25s2" bitsize="64" type="uint64"/>
+  <reg name="d26s2" bitsize="64" type="uint64"/>
+  <reg name="d27s2" bitsize="64" type="uint64"/>
+  <reg name="d28s2" bitsize="64" type="uint64"/>
+  <reg name="d29s2" bitsize="64" type="uint64"/>
+  <reg name="d30s2" bitsize="64" type="uint64"/>
+  <reg name="d31s2" bitsize="64" type="uint64"/>
 
   <reg name="fpscrs2" bitsize="32" type="int" group="float"/>
 </feature>

diff --git a/coregrind/m_gdbserver/power-fpu-valgrind-s1.xml b/coregrind/m_gdbserver/power-fpu-valgrind-s1.xml
index 01b852e8fc12fca4eb3d00ca0f57a11606aa65d7..00d91085d74ff146510a9b29817d034b057d2db7 100644 (file)
--- a/coregrind/m_gdbserver/power-fpu-valgrind-s1.xml
+++ b/coregrind/m_gdbserver/power-fpu-valgrind-s1.xml
@@ -7,38 +7,38 @@
 
 <!DOCTYPE feature SYSTEM "gdb-target.dtd">
 <feature name="org.gnu.gdb.power.fpu-valgrind-s1">
-  <reg name="f0s1" bitsize="64" type="ieee_double" regnum="32"/>
-  <reg name="f1s1" bitsize="64" type="ieee_double"/>
-  <reg name="f2s1" bitsize="64" type="ieee_double"/>
-  <reg name="f3s1" bitsize="64" type="ieee_double"/>
-  <reg name="f4s1" bitsize="64" type="ieee_double"/>
-  <reg name="f5s1" bitsize="64" type="ieee_double"/>
-  <reg name="f6s1" bitsize="64" type="ieee_double"/>
-  <reg name="f7s1" bitsize="64" type="ieee_double"/>
-  <reg name="f8s1" bitsize="64" type="ieee_double"/>
-  <reg name="f9s1" bitsize="64" type="ieee_double"/>
-  <reg name="f10s1" bitsize="64" type="ieee_double"/>
-  <reg name="f11s1" bitsize="64" type="ieee_double"/>
-  <reg name="f12s1" bitsize="64" type="ieee_double"/>
-  <reg name="f13s1" bitsize="64" type="ieee_double"/>
-  <reg name="f14s1" bitsize="64" type="ieee_double"/>
-  <reg name="f15s1" bitsize="64" type="ieee_double"/>
-  <reg name="f16s1" bitsize="64" type="ieee_double"/>
-  <reg name="f17s1" bitsize="64" type="ieee_double"/>
-  <reg name="f18s1" bitsize="64" type="ieee_double"/>
-  <reg name="f19s1" bitsize="64" type="ieee_double"/>
-  <reg name="f20s1" bitsize="64" type="ieee_double"/>
-  <reg name="f21s1" bitsize="64" type="ieee_double"/>
-  <reg name="f22s1" bitsize="64" type="ieee_double"/>
-  <reg name="f23s1" bitsize="64" type="ieee_double"/>
-  <reg name="f24s1" bitsize="64" type="ieee_double"/>
-  <reg name="f25s1" bitsize="64" type="ieee_double"/>
-  <reg name="f26s1" bitsize="64" type="ieee_double"/>
-  <reg name="f27s1" bitsize="64" type="ieee_double"/>
-  <reg name="f28s1" bitsize="64" type="ieee_double"/>
-  <reg name="f29s1" bitsize="64" type="ieee_double"/>
-  <reg name="f30s1" bitsize="64" type="ieee_double"/>
-  <reg name="f31s1" bitsize="64" type="ieee_double"/>
+  <reg name="f0s1" bitsize="64" type="uint64" regnum="32"/>
+  <reg name="f1s1" bitsize="64" type="uint64"/>
+  <reg name="f2s1" bitsize="64" type="uint64"/>
+  <reg name="f3s1" bitsize="64" type="uint64"/>
+  <reg name="f4s1" bitsize="64" type="uint64"/>
+  <reg name="f5s1" bitsize="64" type="uint64"/>
+  <reg name="f6s1" bitsize="64" type="uint64"/>
+  <reg name="f7s1" bitsize="64" type="uint64"/>
+  <reg name="f8s1" bitsize="64" type="uint64"/>
+  <reg name="f9s1" bitsize="64" type="uint64"/>
+  <reg name="f10s1" bitsize="64" type="uint64"/>
+  <reg name="f11s1" bitsize="64" type="uint64"/>
+  <reg name="f12s1" bitsize="64" type="uint64"/>
+  <reg name="f13s1" bitsize="64" type="uint64"/>
+  <reg name="f14s1" bitsize="64" type="uint64"/>
+  <reg name="f15s1" bitsize="64" type="uint64"/>
+  <reg name="f16s1" bitsize="64" type="uint64"/>
+  <reg name="f17s1" bitsize="64" type="uint64"/>
+  <reg name="f18s1" bitsize="64" type="uint64"/>
+  <reg name="f19s1" bitsize="64" type="uint64"/>
+  <reg name="f20s1" bitsize="64" type="uint64"/>
+  <reg name="f21s1" bitsize="64" type="uint64"/>
+  <reg name="f22s1" bitsize="64" type="uint64"/>
+  <reg name="f23s1" bitsize="64" type="uint64"/>
+  <reg name="f24s1" bitsize="64" type="uint64"/>
+  <reg name="f25s1" bitsize="64" type="uint64"/>
+  <reg name="f26s1" bitsize="64" type="uint64"/>
+  <reg name="f27s1" bitsize="64" type="uint64"/>
+  <reg name="f28s1" bitsize="64" type="uint64"/>
+  <reg name="f29s1" bitsize="64" type="uint64"/>
+  <reg name="f30s1" bitsize="64" type="uint64"/>
+  <reg name="f31s1" bitsize="64" type="uint64"/>
 
   <reg name="fpscrs1" bitsize="32" group="float" regnum="70"/>
 </feature>

diff --git a/coregrind/m_gdbserver/power-fpu-valgrind-s2.xml b/coregrind/m_gdbserver/power-fpu-valgrind-s2.xml
index 2db1a4ab979f64cfd5cbeb5e6d4183b023ffe0f8..a12fa6eac2e572ad54f0cd71abe8617dd831bcee 100644 (file)
--- a/coregrind/m_gdbserver/power-fpu-valgrind-s2.xml
+++ b/coregrind/m_gdbserver/power-fpu-valgrind-s2.xml
@@ -7,38 +7,38 @@
 
 <!DOCTYPE feature SYSTEM "gdb-target.dtd">
 <feature name="org.gnu.gdb.power.fpu-valgrind-s2">
-  <reg name="f0s2" bitsize="64" type="ieee_double" regnum="32"/>
-  <reg name="f1s2" bitsize="64" type="ieee_double"/>
-  <reg name="f2s2" bitsize="64" type="ieee_double"/>
-  <reg name="f3s2" bitsize="64" type="ieee_double"/>
-  <reg name="f4s2" bitsize="64" type="ieee_double"/>
-  <reg name="f5s2" bitsize="64" type="ieee_double"/>
-  <reg name="f6s2" bitsize="64" type="ieee_double"/>
-  <reg name="f7s2" bitsize="64" type="ieee_double"/>
-  <reg name="f8s2" bitsize="64" type="ieee_double"/>
-  <reg name="f9s2" bitsize="64" type="ieee_double"/>
-  <reg name="f10s2" bitsize="64" type="ieee_double"/>
-  <reg name="f11s2" bitsize="64" type="ieee_double"/>
-  <reg name="f12s2" bitsize="64" type="ieee_double"/>
-  <reg name="f13s2" bitsize="64" type="ieee_double"/>
-  <reg name="f14s2" bitsize="64" type="ieee_double"/>
-  <reg name="f15s2" bitsize="64" type="ieee_double"/>
-  <reg name="f16s2" bitsize="64" type="ieee_double"/>
-  <reg name="f17s2" bitsize="64" type="ieee_double"/>
-  <reg name="f18s2" bitsize="64" type="ieee_double"/>
-  <reg name="f19s2" bitsize="64" type="ieee_double"/>
-  <reg name="f20s2" bitsize="64" type="ieee_double"/>
-  <reg name="f21s2" bitsize="64" type="ieee_double"/>
-  <reg name="f22s2" bitsize="64" type="ieee_double"/>
-  <reg name="f23s2" bitsize="64" type="ieee_double"/>
-  <reg name="f24s2" bitsize="64" type="ieee_double"/>
-  <reg name="f25s2" bitsize="64" type="ieee_double"/>
-  <reg name="f26s2" bitsize="64" type="ieee_double"/>
-  <reg name="f27s2" bitsize="64" type="ieee_double"/>
-  <reg name="f28s2" bitsize="64" type="ieee_double"/>
-  <reg name="f29s2" bitsize="64" type="ieee_double"/>
-  <reg name="f30s2" bitsize="64" type="ieee_double"/>
-  <reg name="f31s2" bitsize="64" type="ieee_double"/>
+  <reg name="f0s2" bitsize="64" type="uint64" regnum="32"/>
+  <reg name="f1s2" bitsize="64" type="uint64"/>
+  <reg name="f2s2" bitsize="64" type="uint64"/>
+  <reg name="f3s2" bitsize="64" type="uint64"/>
+  <reg name="f4s2" bitsize="64" type="uint64"/>
+  <reg name="f5s2" bitsize="64" type="uint64"/>
+  <reg name="f6s2" bitsize="64" type="uint64"/>
+  <reg name="f7s2" bitsize="64" type="uint64"/>
+  <reg name="f8s2" bitsize="64" type="uint64"/>
+  <reg name="f9s2" bitsize="64" type="uint64"/>
+  <reg name="f10s2" bitsize="64" type="uint64"/>
+  <reg name="f11s2" bitsize="64" type="uint64"/>
+  <reg name="f12s2" bitsize="64" type="uint64"/>
+  <reg name="f13s2" bitsize="64" type="uint64"/>
+  <reg name="f14s2" bitsize="64" type="uint64"/>
+  <reg name="f15s2" bitsize="64" type="uint64"/>
+  <reg name="f16s2" bitsize="64" type="uint64"/>
+  <reg name="f17s2" bitsize="64" type="uint64"/>
+  <reg name="f18s2" bitsize="64" type="uint64"/>
+  <reg name="f19s2" bitsize="64" type="uint64"/>
+  <reg name="f20s2" bitsize="64" type="uint64"/>
+  <reg name="f21s2" bitsize="64" type="uint64"/>
+  <reg name="f22s2" bitsize="64" type="uint64"/>
+  <reg name="f23s2" bitsize="64" type="uint64"/>
+  <reg name="f24s2" bitsize="64" type="uint64"/>
+  <reg name="f25s2" bitsize="64" type="uint64"/>
+  <reg name="f26s2" bitsize="64" type="uint64"/>
+  <reg name="f27s2" bitsize="64" type="uint64"/>
+  <reg name="f28s2" bitsize="64" type="uint64"/>
+  <reg name="f29s2" bitsize="64" type="uint64"/>
+  <reg name="f30s2" bitsize="64" type="uint64"/>
+  <reg name="f31s2" bitsize="64" type="uint64"/>
 
   <reg name="fpscrs2" bitsize="32" group="float" regnum="70"/>
 </feature>