ensure the regcache is in sync with the fpsr part VEX represents
when fpsr is modified from gdb
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@14225 a5019735-40e9-0310-863c-91ae7b9d1cf9
diff --git a/coregrind/m_gdbserver/valgrind-low-arm64.c b/coregrind/m_gdbserver/valgrind-low-arm64.c
index f701f4b..ff65378 100644
--- a/coregrind/m_gdbserver/valgrind-low-arm64.c
+++ b/coregrind/m_gdbserver/valgrind-low-arm64.c
@@ -232,6 +232,9 @@
ULong fpsr = 0;
VG_(transfer) ((UInt*)&fpsr, buf, dir, size, mod);
LibVEX_GuestARM64_set_fpsr(arm, fpsr);
+ /* resync the cache with the part of fpsr that VEX represents. */
+ fpsr = LibVEX_GuestARM64_get_fpsr(arm);
+ VG_(transfer) ((UInt*)&fpsr, buf, valgrind_to_gdbserver, size, mod);
}
break;
}