Merge from trunk, r2081 (Accept redundant REX.W for EXTRACTPS.)

git-svn-id: svn://svn.valgrind.org/vex/branches/VEX_3_6_BRANCH@2103

diff --git a/VEX/priv/guest_amd64_toIR.c b/VEX/priv/guest_amd64_toIR.c
index 7ccbb968dc2beb6eb84872024facb9fa492896b0..2013b6c224cba20a9296993f4cc6c62ed4b9f77b 100644 (file)
--- a/VEX/priv/guest_amd64_toIR.c
+++ b/VEX/priv/guest_amd64_toIR.c
@@ -14733,7 +14733,7 @@ DisResult disInstr_AMD64_WRK (
       identical to PEXTRD, except that REX.W appears to be ignored.
    */
    if ( have66noF2noF3( pfx ) 
-        && sz == 2  /* REX.W == 0; perhaps too strict? */
+        && (sz == 2 || /* ignore redundant REX.W */ sz == 8)
         && insn[0] == 0x0F && insn[1] == 0x3A && insn[2] == 0x17 ) {
 
       Int imm8_10;