From 2a7aa9ae00c4e472b59004f14f89fb228fd7c90e Mon Sep 17 00:00:00 2001
From: Mark Wielaard <mark@klomp.org>
Date: Mon, 12 Oct 2015 14:30:58 +0000
Subject: [PATCH] Bug 278744 cvtps2pd with redundant RexW

git-svn-id: svn://svn.valgrind.org/vex/trunk@3198
---
 VEX/priv/guest_amd64_toIR.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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;
       }
-- 
2.47.2