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

diff --git a/coregrind/m_gdbserver/valgrind-low-arm64.c b/coregrind/m_gdbserver/valgrind-low-arm64.c
index f701f4b020fe95edcc92ddeb5b69441db48efbf4..ff65378defafd4d41dc6ae059aa8820bc539993f 100644 (file)
--- a/coregrind/m_gdbserver/valgrind-low-arm64.c
+++ b/coregrind/m_gdbserver/valgrind-low-arm64.c
@@ -232,6 +232,9 @@ void transfer_register (ThreadId tid, int abs_regno, void * buf,
          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;
    }