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;
    }