|
From: <sv...@va...> - 2014-07-31 20:13:40
|
Author: philippe
Date: Thu Jul 31 20:13:23 2014
New Revision: 14225
Log:
ensure the regcache is in sync with the fpsr part VEX represents
when fpsr is modified from gdb
Modified:
trunk/coregrind/m_gdbserver/valgrind-low-arm64.c
Modified: trunk/coregrind/m_gdbserver/valgrind-low-arm64.c
==============================================================================
--- trunk/coregrind/m_gdbserver/valgrind-low-arm64.c (original)
+++ trunk/coregrind/m_gdbserver/valgrind-low-arm64.c Thu Jul 31 20:13:23 2014
@@ -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;
}
|