|
From: <sv...@va...> - 2013-05-31 15:44:14
|
florian 2013-05-31 16:44:06 +0100 (Fri, 31 May 2013)
New Revision: 13413
Log:
s390x: The CC_DEP1 field is accessed as a whole or bits [0:31]
in case the field holds a 32-bit floating point value.
Patch by Maran Pakkirisamy (ma...@li...).
Part of fixing BZ 307113.
Modified files:
trunk/memcheck/mc_machine.c
Modified: trunk/memcheck/mc_machine.c (+3 -1)
===================================================================
--- trunk/memcheck/mc_machine.c 2013-05-29 11:50:31 +01:00 (rev 13412)
+++ trunk/memcheck/mc_machine.c 2013-05-31 16:44:06 +01:00 (rev 13413)
@@ -817,7 +817,9 @@
if (o == GOF(EMNOTE) && sz == 4) return -1;
if (o == GOF(CC_OP) && sz == 8) return -1;
- if (o == GOF(CC_DEP1) && sz == 8) return o;
+ /* We access CC_DEP1 either fully or bits [0:31] */
+ if (o == GOF(CC_DEP1) && (sz == 8 || sz ==4))
+ return o;
if (o == GOF(CC_DEP2) && sz == 8) return o;
if (o == GOF(CC_NDEP) && sz == 8) return -1;
if (o == GOF(TISTART) && sz == 8) return -1;
|