From: Mark Wielaard <mark@klomp.org>
Date: Mon, 12 Oct 2015 14:30:58 +0000 (+0000)
Subject: Bug 278744 cvtps2pd with redundant RexW
X-Git-Tag: svn/VALGRIND_3_12_0^2~68
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=2a7aa9ae00c4e472b59004f14f89fb228fd7c90e;p=thirdparty%2Fvalgrind.git

Bug 278744 cvtps2pd with redundant RexW

git-svn-id: svn://svn.valgrind.org/vex/trunk@3198
---

diff --git a/VEX/priv/guest_amd64_toIR.c b/VEX/priv/guest_amd64_toIR.c
index 98596d2a53..06552e8f83 100644
--- a/VEX/priv/guest_amd64_toIR.c
+++ b/VEX/priv/guest_amd64_toIR.c
@@ -13396,7 +13396,8 @@ Long dis_ESC_0F__SSE2 ( Bool* decode_OK,
    case 0x5A:
       /* 0F 5A = CVTPS2PD -- convert 2 x F32 in low half mem/xmm to 2 x
          F64 in xmm(G). */
-      if (haveNo66noF2noF3(pfx) && sz == 4) {
+      if (haveNo66noF2noF3(pfx)
+          && sz == 4 || /* ignore redundant REX.W */ sz == 8) {
          delta = dis_CVTPS2PD_128( vbi, pfx, delta, False/*!isAvx*/ );
          goto decode_success;
       }