(for x86 and amd64): Change the type of the shadow regs for floating point registers

Similar to r12444 (see Log below), but this is doing it for x86 and amd64.
The xmm registers are using uint32 or uint64 for their float
union components. For the i387 80 bits float registers, as there is
no uint80, a struct uint16 + uint64 is defined.

  Log:
    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@12445

diff --git a/NEWS b/NEWS
index a4da32f210ae7fccf8cf439c48afb0796c757750..f3d75ed0c60ea24d2d1bd6db4fa78db85284ef37 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -3,7 +3,7 @@ Release 3.8.0 (????)
 
 * ================== PLATFORM CHANGES =================
 
-* Support for AES instructions (AESKEYGENASSIST, AESENC, AESENCLAST,
+* Support for amd64 AES instructions (AESKEYGENASSIST, AESENC, AESENCLAST,
   AESDEC, AESDECLAST, AESIMC).
 
 * ==================== TOOL CHANGES ====================
@@ -38,6 +38,10 @@ Release 3.8.0 (????)
 
 * Support to run Valgrind on Valgrind has been improved.
 
+* gdbserver now shows the float shadow registers as integer
+  rather than float values, as the shadow values are mostly
+  used as bit patterns.
+
 * ==================== FIXED BUGS ====================
 
 The following bugs have been fixed or resolved.  Note that "n-i-bz"

diff --git a/coregrind/m_gdbserver/32bit-core-valgrind-s1.xml b/coregrind/m_gdbserver/32bit-core-valgrind-s1.xml
index 9a0582f5221ac42d8fd855752b48d3be1cada451..a29701fb94186df94ccc06025e5758f91cea119d 100644 (file)
--- a/coregrind/m_gdbserver/32bit-core-valgrind-s1.xml
+++ b/coregrind/m_gdbserver/32bit-core-valgrind-s1.xml
@@ -27,6 +27,11 @@
     <field name="ID" start="21" end="21"/>
   </flags>
 
+  <struct id="i387_ext_s">
+    <field name="b64" type="uint64"/>
+    <field name="b16" type="uint16"/>
+  </struct>
+
   <reg name="eaxs1" bitsize="32" type="int32"/>
   <reg name="ecxs1" bitsize="32" type="int32"/>
   <reg name="edxs1" bitsize="32" type="int32"/>
@@ -45,14 +50,14 @@
   <reg name="fss1" bitsize="32" type="int32"/>
   <reg name="gss1" bitsize="32" type="int32"/>
 
-  <reg name="st0s1" bitsize="80" type="i387_ext"/>
-  <reg name="st1s1" bitsize="80" type="i387_ext"/>
-  <reg name="st2s1" bitsize="80" type="i387_ext"/>
-  <reg name="st3s1" bitsize="80" type="i387_ext"/>
-  <reg name="st4s1" bitsize="80" type="i387_ext"/>
-  <reg name="st5s1" bitsize="80" type="i387_ext"/>
-  <reg name="st6s1" bitsize="80" type="i387_ext"/>
-  <reg name="st7s1" bitsize="80" type="i387_ext"/>
+  <reg name="st0s1" bitsize="80" type="i387_ext_s"/>
+  <reg name="st1s1" bitsize="80" type="i387_ext_s"/>
+  <reg name="st2s1" bitsize="80" type="i387_ext_s"/>
+  <reg name="st3s1" bitsize="80" type="i387_ext_s"/>
+  <reg name="st4s1" bitsize="80" type="i387_ext_s"/>
+  <reg name="st5s1" bitsize="80" type="i387_ext_s"/>
+  <reg name="st6s1" bitsize="80" type="i387_ext_s"/>
+  <reg name="st7s1" bitsize="80" type="i387_ext_s"/>
 
   <reg name="fctrls1" bitsize="32" type="int" group="float"/>
   <reg name="fstats1" bitsize="32" type="int" group="float"/>

diff --git a/coregrind/m_gdbserver/32bit-core-valgrind-s2.xml b/coregrind/m_gdbserver/32bit-core-valgrind-s2.xml
index 1b272c55dc539b47772e7aecd3fd9920ab8c3cd2..7ea14824466e9013a25d8e1970bdec7f6ce348e2 100644 (file)
--- a/coregrind/m_gdbserver/32bit-core-valgrind-s2.xml
+++ b/coregrind/m_gdbserver/32bit-core-valgrind-s2.xml
@@ -27,6 +27,11 @@
     <field name="ID" start="21" end="21"/>
   </flags>
 
+  <struct id="i387_ext_s">
+    <field name="b64" type="uint64"/>
+    <field name="b16" type="uint16"/>
+  </struct>
+
   <reg name="eaxs2" bitsize="32" type="int32"/>
   <reg name="ecxs2" bitsize="32" type="int32"/>
   <reg name="edxs2" bitsize="32" type="int32"/>
@@ -45,14 +50,14 @@
   <reg name="fss2" bitsize="32" type="int32"/>
   <reg name="gss2" bitsize="32" type="int32"/>
 
-  <reg name="st0s2" bitsize="80" type="i387_ext"/>
-  <reg name="st1s2" bitsize="80" type="i387_ext"/>
-  <reg name="st2s2" bitsize="80" type="i387_ext"/>
-  <reg name="st3s2" bitsize="80" type="i387_ext"/>
-  <reg name="st4s2" bitsize="80" type="i387_ext"/>
-  <reg name="st5s2" bitsize="80" type="i387_ext"/>
-  <reg name="st6s2" bitsize="80" type="i387_ext"/>
-  <reg name="st7s2" bitsize="80" type="i387_ext"/>
+  <reg name="st0s2" bitsize="80" type="i387_ext_s"/>
+  <reg name="st1s2" bitsize="80" type="i387_ext_s"/>
+  <reg name="st2s2" bitsize="80" type="i387_ext_s"/>
+  <reg name="st3s2" bitsize="80" type="i387_ext_s"/>
+  <reg name="st4s2" bitsize="80" type="i387_ext_s"/>
+  <reg name="st5s2" bitsize="80" type="i387_ext_s"/>
+  <reg name="st6s2" bitsize="80" type="i387_ext_s"/>
+  <reg name="st7s2" bitsize="80" type="i387_ext_s"/>
 
   <reg name="fctrls2" bitsize="32" type="int" group="float"/>
   <reg name="fstats2" bitsize="32" type="int" group="float"/>

diff --git a/coregrind/m_gdbserver/32bit-sse-valgrind-s1.xml b/coregrind/m_gdbserver/32bit-sse-valgrind-s1.xml
index 1a368c4eae4e4959f9ecfe3d49c18ae6fb3a59b1..a650b16963ec98bdee7e77abbf21c7f462ae7f5c 100644 (file)
--- a/coregrind/m_gdbserver/32bit-sse-valgrind-s1.xml
+++ b/coregrind/m_gdbserver/32bit-sse-valgrind-s1.xml
@@ -7,15 +7,15 @@
 
 <!DOCTYPE feature SYSTEM "gdb-target.dtd">
 <feature name="org.gnu.gdb.i386.sse.valgrind.s1">
-  <vector id="v4f" type="ieee_single" count="4"/>
-  <vector id="v2d" type="ieee_double" count="2"/>
+  <vector id="v4f_s" type="uint32" count="4"/>
+  <vector id="v2d_s" type="uint64" count="2"/>
   <vector id="v16i8" type="int8" count="16"/>
   <vector id="v8i16" type="int16" count="8"/>
   <vector id="v4i32" type="int32" count="4"/>
   <vector id="v2i64" type="int64" count="2"/>
-  <union id="vec128">
-    <field name="v4_float" type="v4f"/>
-    <field name="v2_double" type="v2d"/>
+  <union id="vec128_s">
+    <field name="v4_float" type="v4f_s"/>
+    <field name="v2_double" type="v2d_s"/>
     <field name="v16_int8" type="v16i8"/>
     <field name="v8_int16" type="v8i16"/>
     <field name="v4_int32" type="v4i32"/>
@@ -39,14 +39,14 @@
     <field name="FZ" start="15" end="15"/>
   </flags>
 
-  <reg name="xmm0s1" bitsize="128" type="vec128"/>
-  <reg name="xmm1s1" bitsize="128" type="vec128"/>
-  <reg name="xmm2s1" bitsize="128" type="vec128"/>
-  <reg name="xmm3s1" bitsize="128" type="vec128"/>
-  <reg name="xmm4s1" bitsize="128" type="vec128"/>
-  <reg name="xmm5s1" bitsize="128" type="vec128"/>
-  <reg name="xmm6s1" bitsize="128" type="vec128"/>
-  <reg name="xmm7s1" bitsize="128" type="vec128"/>
+  <reg name="xmm0s1" bitsize="128" type="vec128_s"/>
+  <reg name="xmm1s1" bitsize="128" type="vec128_s"/>
+  <reg name="xmm2s1" bitsize="128" type="vec128_s"/>
+  <reg name="xmm3s1" bitsize="128" type="vec128_s"/>
+  <reg name="xmm4s1" bitsize="128" type="vec128_s"/>
+  <reg name="xmm5s1" bitsize="128" type="vec128_s"/>
+  <reg name="xmm6s1" bitsize="128" type="vec128_s"/>
+  <reg name="xmm7s1" bitsize="128" type="vec128_s"/>
 
   <reg name="mxcsrs1" bitsize="32" type="i386_mxcsr" group="vector"/>
 </feature>

diff --git a/coregrind/m_gdbserver/32bit-sse-valgrind-s2.xml b/coregrind/m_gdbserver/32bit-sse-valgrind-s2.xml
index c69da70f243942e94e31fb79c96fbb5a788279f7..b3b1ac47fdc971492743b2a76c76d24129ee7a12 100644 (file)
--- a/coregrind/m_gdbserver/32bit-sse-valgrind-s2.xml
+++ b/coregrind/m_gdbserver/32bit-sse-valgrind-s2.xml
@@ -7,15 +7,15 @@
 
 <!DOCTYPE feature SYSTEM "gdb-target.dtd">
 <feature name="org.gnu.gdb.i386.sse.valgrind.s2">
-  <vector id="v4f" type="ieee_single" count="4"/>
-  <vector id="v2d" type="ieee_double" count="2"/>
+  <vector id="v4f_s" type="uint32" count="4"/>
+  <vector id="v2d_s" type="uint64" count="2"/>
   <vector id="v16i8" type="int8" count="16"/>
   <vector id="v8i16" type="int16" count="8"/>
   <vector id="v4i32" type="int32" count="4"/>
   <vector id="v2i64" type="int64" count="2"/>
-  <union id="vec128">
-    <field name="v4_float" type="v4f"/>
-    <field name="v2_double" type="v2d"/>
+  <union id="vec128_s">
+    <field name="v4_float" type="v4f_s"/>
+    <field name="v2_double" type="v2d_s"/>
     <field name="v16_int8" type="v16i8"/>
     <field name="v8_int16" type="v8i16"/>
     <field name="v4_int32" type="v4i32"/>
@@ -39,14 +39,14 @@
     <field name="FZ" start="15" end="15"/>
   </flags>
 
-  <reg name="xmm0s2" bitsize="128" type="vec128"/>
-  <reg name="xmm1s2" bitsize="128" type="vec128"/>
-  <reg name="xmm2s2" bitsize="128" type="vec128"/>
-  <reg name="xmm3s2" bitsize="128" type="vec128"/>
-  <reg name="xmm4s2" bitsize="128" type="vec128"/>
-  <reg name="xmm5s2" bitsize="128" type="vec128"/>
-  <reg name="xmm6s2" bitsize="128" type="vec128"/>
-  <reg name="xmm7s2" bitsize="128" type="vec128"/>
+  <reg name="xmm0s2" bitsize="128" type="vec128_s"/>
+  <reg name="xmm1s2" bitsize="128" type="vec128_s"/>
+  <reg name="xmm2s2" bitsize="128" type="vec128_s"/>
+  <reg name="xmm3s2" bitsize="128" type="vec128_s"/>
+  <reg name="xmm4s2" bitsize="128" type="vec128_s"/>
+  <reg name="xmm5s2" bitsize="128" type="vec128_s"/>
+  <reg name="xmm6s2" bitsize="128" type="vec128_s"/>
+  <reg name="xmm7s2" bitsize="128" type="vec128_s"/>
 
   <reg name="mxcsrs2" bitsize="32" type="i386_mxcsr" group="vector"/>
 </feature>

diff --git a/coregrind/m_gdbserver/64bit-core-valgrind-s1.xml b/coregrind/m_gdbserver/64bit-core-valgrind-s1.xml
index 67b497f15b4bb4bf59f4df0ead13549813594dcd..8c3b5043118d6f1bce97406f4ba94ee40c1504ee 100644 (file)
--- a/coregrind/m_gdbserver/64bit-core-valgrind-s1.xml
+++ b/coregrind/m_gdbserver/64bit-core-valgrind-s1.xml
@@ -27,6 +27,11 @@
     <field name="ID" start="21" end="21"/>
   </flags>
 
+  <struct id="i387_ext_s">
+    <field name="b64" type="uint64"/>
+    <field name="b16" type="uint16"/>
+  </struct>
+
   <reg name="raxs1" bitsize="64" type="int64"/>
   <reg name="rbxs1" bitsize="64" type="int64"/>
   <reg name="rcxs1" bitsize="64" type="int64"/>
@@ -53,14 +58,14 @@
   <reg name="fss1" bitsize="32" type="int32"/>
   <reg name="gss1" bitsize="32" type="int32"/>
 
-  <reg name="st0s1" bitsize="80" type="i387_ext"/>
-  <reg name="st1s1" bitsize="80" type="i387_ext"/>
-  <reg name="st2s1" bitsize="80" type="i387_ext"/>
-  <reg name="st3s1" bitsize="80" type="i387_ext"/>
-  <reg name="st4s1" bitsize="80" type="i387_ext"/>
-  <reg name="st5s1" bitsize="80" type="i387_ext"/>
-  <reg name="st6s1" bitsize="80" type="i387_ext"/>
-  <reg name="st7s1" bitsize="80" type="i387_ext"/>
+  <reg name="st0s1" bitsize="80" type="i387_ext_s"/>
+  <reg name="st1s1" bitsize="80" type="i387_ext_s"/>
+  <reg name="st2s1" bitsize="80" type="i387_ext_s"/>
+  <reg name="st3s1" bitsize="80" type="i387_ext_s"/>
+  <reg name="st4s1" bitsize="80" type="i387_ext_s"/>
+  <reg name="st5s1" bitsize="80" type="i387_ext_s"/>
+  <reg name="st6s1" bitsize="80" type="i387_ext_s"/>
+  <reg name="st7s1" bitsize="80" type="i387_ext_s"/>
 
   <reg name="fctrls1" bitsize="32" type="int" group="float"/>
   <reg name="fstats1" bitsize="32" type="int" group="float"/>

diff --git a/coregrind/m_gdbserver/64bit-core-valgrind-s2.xml b/coregrind/m_gdbserver/64bit-core-valgrind-s2.xml
index 14f2726018854780f7d6fc0bd6d277643fdd4501..b1bcba8e84be95fa7d9103540fe378a3753533bb 100644 (file)
--- a/coregrind/m_gdbserver/64bit-core-valgrind-s2.xml
+++ b/coregrind/m_gdbserver/64bit-core-valgrind-s2.xml
@@ -27,6 +27,11 @@
     <field name="ID" start="21" end="21"/>
   </flags>
 
+  <struct id="i387_ext_s">
+    <field name="b64" type="uint64"/>
+    <field name="b16" type="uint16"/>
+  </struct>
+
   <reg name="raxs2" bitsize="64" type="int64"/>
   <reg name="rbxs2" bitsize="64" type="int64"/>
   <reg name="rcxs2" bitsize="64" type="int64"/>
@@ -53,14 +58,14 @@
   <reg name="fss2" bitsize="32" type="int32"/>
   <reg name="gss2" bitsize="32" type="int32"/>
 
-  <reg name="st0s2" bitsize="80" type="i387_ext"/>
-  <reg name="st1s2" bitsize="80" type="i387_ext"/>
-  <reg name="st2s2" bitsize="80" type="i387_ext"/>
-  <reg name="st3s2" bitsize="80" type="i387_ext"/>
-  <reg name="st4s2" bitsize="80" type="i387_ext"/>
-  <reg name="st5s2" bitsize="80" type="i387_ext"/>
-  <reg name="st6s2" bitsize="80" type="i387_ext"/>
-  <reg name="st7s2" bitsize="80" type="i387_ext"/>
+  <reg name="st0s2" bitsize="80" type="i387_ext_s"/>
+  <reg name="st1s2" bitsize="80" type="i387_ext_s"/>
+  <reg name="st2s2" bitsize="80" type="i387_ext_s"/>
+  <reg name="st3s2" bitsize="80" type="i387_ext_s"/>
+  <reg name="st4s2" bitsize="80" type="i387_ext_s"/>
+  <reg name="st5s2" bitsize="80" type="i387_ext_s"/>
+  <reg name="st6s2" bitsize="80" type="i387_ext_s"/>
+  <reg name="st7s2" bitsize="80" type="i387_ext_s"/>
 
   <reg name="fctrls2" bitsize="32" type="int" group="float"/>
   <reg name="fstats2" bitsize="32" type="int" group="float"/>

diff --git a/coregrind/m_gdbserver/64bit-sse-valgrind-s1.xml b/coregrind/m_gdbserver/64bit-sse-valgrind-s1.xml
index 9db6c746f62d652c69ed24cd91741a00e05152f5..eb012615498e6d49ba84ce974d0de2448965b20a 100644 (file)
--- a/coregrind/m_gdbserver/64bit-sse-valgrind-s1.xml
+++ b/coregrind/m_gdbserver/64bit-sse-valgrind-s1.xml
@@ -7,15 +7,15 @@
 
 <!DOCTYPE feature SYSTEM "gdb-target.dtd">
 <feature name="org.gnu.gdb.i386.sse.valgrind.s1">
-  <vector id="v4f" type="ieee_single" count="4"/>
-  <vector id="v2d" type="ieee_double" count="2"/>
+  <vector id="v4f_s" type="uint32" count="4"/>
+  <vector id="v2d_s" type="uint64" count="2"/>
   <vector id="v16i8" type="int8" count="16"/>
   <vector id="v8i16" type="int16" count="8"/>
   <vector id="v4i32" type="int32" count="4"/>
   <vector id="v2i64" type="int64" count="2"/>
-  <union id="vec128">
-    <field name="v4_float" type="v4f"/>
-    <field name="v2_double" type="v2d"/>
+  <union id="vec128_s">
+    <field name="v4_float" type="v4f_s"/>
+    <field name="v2_double" type="v2d_s"/>
     <field name="v16_int8" type="v16i8"/>
     <field name="v8_int16" type="v8i16"/>
     <field name="v4_int32" type="v4i32"/>
@@ -39,22 +39,22 @@
     <field name="FZ" start="15" end="15"/>
   </flags>
 
-  <reg name="xmm0s1" bitsize="128" type="vec128"/>
-  <reg name="xmm1s1" bitsize="128" type="vec128"/>
-  <reg name="xmm2s1" bitsize="128" type="vec128"/>
-  <reg name="xmm3s1" bitsize="128" type="vec128"/>
-  <reg name="xmm4s1" bitsize="128" type="vec128"/>
-  <reg name="xmm5s1" bitsize="128" type="vec128"/>
-  <reg name="xmm6s1" bitsize="128" type="vec128"/>
-  <reg name="xmm7s1" bitsize="128" type="vec128"/>
-  <reg name="xmm8s1" bitsize="128" type="vec128"/>
-  <reg name="xmm9s1" bitsize="128" type="vec128"/>
-  <reg name="xmm10s1" bitsize="128" type="vec128"/>
-  <reg name="xmm11s1" bitsize="128" type="vec128"/>
-  <reg name="xmm12s1" bitsize="128" type="vec128"/>
-  <reg name="xmm13s1" bitsize="128" type="vec128"/>
-  <reg name="xmm14s1" bitsize="128" type="vec128"/>
-  <reg name="xmm15s1" bitsize="128" type="vec128"/>
+  <reg name="xmm0s1" bitsize="128" type="vec128_s"/>
+  <reg name="xmm1s1" bitsize="128" type="vec128_s"/>
+  <reg name="xmm2s1" bitsize="128" type="vec128_s"/>
+  <reg name="xmm3s1" bitsize="128" type="vec128_s"/>
+  <reg name="xmm4s1" bitsize="128" type="vec128_s"/>
+  <reg name="xmm5s1" bitsize="128" type="vec128_s"/>
+  <reg name="xmm6s1" bitsize="128" type="vec128_s"/>
+  <reg name="xmm7s1" bitsize="128" type="vec128_s"/>
+  <reg name="xmm8s1" bitsize="128" type="vec128_s"/>
+  <reg name="xmm9s1" bitsize="128" type="vec128_s"/>
+  <reg name="xmm10s1" bitsize="128" type="vec128_s"/>
+  <reg name="xmm11s1" bitsize="128" type="vec128_s"/>
+  <reg name="xmm12s1" bitsize="128" type="vec128_s"/>
+  <reg name="xmm13s1" bitsize="128" type="vec128_s"/>
+  <reg name="xmm14s1" bitsize="128" type="vec128_s"/>
+  <reg name="xmm15s1" bitsize="128" type="vec128_s"/>
 
   <reg name="mxcsrs1" bitsize="32" type="i386_mxcsr" group="vector"/>
 </feature>

diff --git a/coregrind/m_gdbserver/64bit-sse-valgrind-s2.xml b/coregrind/m_gdbserver/64bit-sse-valgrind-s2.xml
index 189910e80f009c7e81c1f5f07444e8e392b3ce3f..c4a66f1e27c0a897ee447c4bf29fefb505c7f104 100644 (file)
--- a/coregrind/m_gdbserver/64bit-sse-valgrind-s2.xml
+++ b/coregrind/m_gdbserver/64bit-sse-valgrind-s2.xml
@@ -7,15 +7,15 @@
 
 <!DOCTYPE feature SYSTEM "gdb-target.dtd">
 <feature name="org.gnu.gdb.i386.sse.valgrind.s2">
-  <vector id="v4f" type="ieee_single" count="4"/>
-  <vector id="v2d" type="ieee_double" count="2"/>
+  <vector id="v4f_s" type="uint32" count="4"/>
+  <vector id="v2d_s" type="uint64" count="2"/>
   <vector id="v16i8" type="int8" count="16"/>
   <vector id="v8i16" type="int16" count="8"/>
   <vector id="v4i32" type="int32" count="4"/>
   <vector id="v2i64" type="int64" count="2"/>
-  <union id="vec128">
-    <field name="v4_float" type="v4f"/>
-    <field name="v2_double" type="v2d"/>
+  <union id="vec128_s">
+    <field name="v4_float" type="v4f_s"/>
+    <field name="v2_double" type="v2d_s"/>
     <field name="v16_int8" type="v16i8"/>
     <field name="v8_int16" type="v8i16"/>
     <field name="v4_int32" type="v4i32"/>
@@ -39,22 +39,22 @@
     <field name="FZ" start="15" end="15"/>
   </flags>
 
-  <reg name="xmm0s2" bitsize="128" type="vec128"/>
-  <reg name="xmm1s2" bitsize="128" type="vec128"/>
-  <reg name="xmm2s2" bitsize="128" type="vec128"/>
-  <reg name="xmm3s2" bitsize="128" type="vec128"/>
-  <reg name="xmm4s2" bitsize="128" type="vec128"/>
-  <reg name="xmm5s2" bitsize="128" type="vec128"/>
-  <reg name="xmm6s2" bitsize="128" type="vec128"/>
-  <reg name="xmm7s2" bitsize="128" type="vec128"/>
-  <reg name="xmm8s2" bitsize="128" type="vec128"/>
-  <reg name="xmm9s2" bitsize="128" type="vec128"/>
-  <reg name="xmm10s2" bitsize="128" type="vec128"/>
-  <reg name="xmm11s2" bitsize="128" type="vec128"/>
-  <reg name="xmm12s2" bitsize="128" type="vec128"/>
-  <reg name="xmm13s2" bitsize="128" type="vec128"/>
-  <reg name="xmm14s2" bitsize="128" type="vec128"/>
-  <reg name="xmm15s2" bitsize="128" type="vec128"/>
+  <reg name="xmm0s2" bitsize="128" type="vec128_s"/>
+  <reg name="xmm1s2" bitsize="128" type="vec128_s"/>
+  <reg name="xmm2s2" bitsize="128" type="vec128_s"/>
+  <reg name="xmm3s2" bitsize="128" type="vec128_s"/>
+  <reg name="xmm4s2" bitsize="128" type="vec128_s"/>
+  <reg name="xmm5s2" bitsize="128" type="vec128_s"/>
+  <reg name="xmm6s2" bitsize="128" type="vec128_s"/>
+  <reg name="xmm7s2" bitsize="128" type="vec128_s"/>
+  <reg name="xmm8s2" bitsize="128" type="vec128_s"/>
+  <reg name="xmm9s2" bitsize="128" type="vec128_s"/>
+  <reg name="xmm10s2" bitsize="128" type="vec128_s"/>
+  <reg name="xmm11s2" bitsize="128" type="vec128_s"/>
+  <reg name="xmm12s2" bitsize="128" type="vec128_s"/>
+  <reg name="xmm13s2" bitsize="128" type="vec128_s"/>
+  <reg name="xmm14s2" bitsize="128" type="vec128_s"/>
+  <reg name="xmm15s2" bitsize="128" type="vec128_s"/>
 
   <reg name="mxcsrs2" bitsize="32" type="i386_mxcsr" group="vector"/>
 </feature>

diff --git a/docs/xml/manual-core-adv.xml b/docs/xml/manual-core-adv.xml
index 526351b8f41d856adb7a1530effca13d5be34d5e..2758ce5b9d1d68da172e583fc475b5fdbf9970aa 100644 (file)
--- a/docs/xml/manual-core-adv.xml
+++ b/docs/xml/manual-core-adv.xml
@@ -676,7 +676,7 @@ the Valgrind scheduler thread state:</para>
 <para> When the option <option>--vgdb-shadow-registers=yes</option> is
 given, the Valgrind gdbserver will let GDB examine and/or modify
 Valgrind's shadow registers.  GDB version 7.1 or later is needed for this
-to work.</para>
+to work. For x86 and amd64, GDB version 7.2 or later is needed.</para>
 
 <para>For each CPU register, the Valgrind core maintains two
 shadow register sets.  These shadow registers can be accessed from
@@ -696,6 +696,10 @@ $3 = 0
 (gdb) 
 ]]></programlisting>
 
+<para>Float shadow registers are shown by GDB as unsigned integer
+values instead of float values, as it is expected that these
+shadow values are mostly used for memcheck validity bits. </para>
+
 </sect2>