diff --git a/VEX/priv/guest_amd64_toIR.c b/VEX/priv/guest_amd64_toIR.c index 98596d2..06552e8 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; } diff --git a/none/tests/amd64/redundantRexW.c b/none/tests/amd64/redundantRexW.c index e189267..0a50c3b 100644 --- a/none/tests/amd64/redundantRexW.c +++ b/none/tests/amd64/redundantRexW.c @@ -596,6 +596,23 @@ int main ( void ) after_test( "rex.WB subsd -0x8(%r13),%xmm1", regs, mem ); } + /* cvtps2pd mem, reg 48 0f 5a 07 rex.W cvtps2pd (%rdi),%xmm0 */ + { + before_test( regs, mem ); + __asm__ __volatile__( + "movq %0, %%r14\n" + "\tmovq %1, %%r15\n" + LOAD_XMMREGS_from_r14 + "\tmovq %%r15, %%rdi\n" + "\t.byte 0x48,0x0f,0x5a,0x07\n" + SAVE_XMMREGS_to_r14 + : /*out*/ : /*in*/ "r"(regs), "r"( -0 + (char*)&mem->dqw[2] ) + : /*trash*/ "r14","r15","memory", XMMREGS, + "rdi" + ); + after_test( "rex.W cvtps2pd (%rdi),%xmm0", regs, mem ); + } + free(regs); free(mem); return 0; diff --git a/none/tests/amd64/redundantRexW.stdout.exp b/none/tests/amd64/redundantRexW.stdout.exp index dd1697a..94b255a 100644 --- a/none/tests/amd64/redundantRexW.stdout.exp +++ b/none/tests/amd64/redundantRexW.stdout.exp @@ -648,3 +648,29 @@ after "rex.WB subsd -0x8(%r13),%xmm1" (xmms in order [15..0]) { %xmm15 ................................ } +after "rex.W cvtps2pd (%rdi),%xmm0" (dqws in order [15 .. 0]) { + [0] ................................ + [1] ................................ + [2] ................................ + [3] ................................ + [4] ................................ +} +after "rex.W cvtps2pd (%rdi),%xmm0" (xmms in order [15..0]) { + %xmm 0 113a1c7d5554535213bd9cffd4535251 + %xmm 1 ................................ + %xmm 2 ................................ + %xmm 3 ................................ + %xmm 4 ................................ + %xmm 5 ................................ + %xmm 6 ................................ + %xmm 7 ................................ + %xmm 8 ................................ + %xmm 9 ................................ + %xmm10 ................................ + %xmm11 ................................ + %xmm12 ................................ + %xmm13 ................................ + %xmm14 ................................ + %xmm15 ................................ +} +