|
From: <sv...@va...> - 2012-08-22 18:09:17
|
florian 2012-08-22 19:09:07 +0100 (Wed, 22 Aug 2012)
New Revision: 12885
Log:
Fix propagation of undefinedness for Iop_DPBtoBCD and Iop_BCDtoDPB.
Any undefined input bit will cause all output bits to be undefined.
Modified files:
trunk/memcheck/mc_translate.c
Modified: trunk/memcheck/mc_translate.c (+2 -2)
===================================================================
--- trunk/memcheck/mc_translate.c 2012-08-20 17:51:39 +01:00 (rev 12884)
+++ trunk/memcheck/mc_translate.c 2012-08-22 19:09:07 +01:00 (rev 12885)
@@ -3631,6 +3631,8 @@
case Iop_D32toD64:
case Iop_ExtractExpD64: /* D64 -> I64 */
case Iop_ExtractExpD128: /* D128 -> I64 */
+ case Iop_DPBtoBCD:
+ case Iop_BCDtoDPB:
return mkPCastTo(mce, Ity_I64, vatom);
case Iop_D64toD128:
@@ -3706,8 +3708,6 @@
case Iop_ReinterpF32asI32:
case Iop_ReinterpI64asD64:
case Iop_ReinterpD64asI64:
- case Iop_DPBtoBCD:
- case Iop_BCDtoDPB:
case Iop_NotV256:
case Iop_NotV128:
case Iop_Not64:
|