From: Julian Seward <jseward@acm.org>
Date: Sun, 2 Sep 2012 20:12:14 +0000 (+0000)
Subject: Merge from trunk, r12885 (Fix propagation of undefinedness for
X-Git-Tag: svn/VALGRIND_3_8_1~18
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0344fa5c61bc9ce1877b96d096a8f5e211745faf;p=thirdparty%2Fvalgrind.git

Merge from trunk, r12885 (Fix propagation of undefinedness for
Iop_DPBtoBCD and Iop_BCDtoDPB.)


git-svn-id: svn://svn.valgrind.org/valgrind/branches/VALGRIND_3_8_BRANCH@12938
---

diff --git a/memcheck/mc_translate.c b/memcheck/mc_translate.c
index 102c9699bb..8ab5a9de95 100644
--- a/memcheck/mc_translate.c
+++ b/memcheck/mc_translate.c
@@ -3628,6 +3628,8 @@ IRExpr* expr2vbits_Unop ( MCEnv* mce, IROp op, IRAtom* atom )
       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:
@@ -3704,8 +3706,6 @@ IRExpr* expr2vbits_Unop ( MCEnv* mce, IROp op, IRAtom* atom )
       case Iop_ReinterpF32asI32:
       case Iop_ReinterpI64asD64:
       case Iop_ReinterpD64asI64:
-      case Iop_DPBtoBCD:
-      case Iop_BCDtoDPB:
       case Iop_NotV256:
       case Iop_NotV128:
       case Iop_Not64: