[valgrind] [Bug 438640] vex x86->IR: unhandled instruction bytes: 0xF2 0xF 0x38 0xF1 (CRC, SSE4.2)

[Mark Wielaard]

https://bugs.kde.org/show_bug.cgi?id=438640

--- Comment #15 from Mark Wielaard <m...@klomp.org> ---
(In reply to mcermak from comment #11)
> Created attachment 193045 [details]
> proposed patch

Two small typos in the implementation:

diff --git a/VEX/priv/guest_x86_toIR.c b/VEX/priv/guest_x86_toIR.c
index f610b0672d04..1a64b5b176d5 100644
--- a/VEX/priv/guest_x86_toIR.c
+++ b/VEX/priv/guest_x86_toIR.c
@@ -13893,7 +13893,7 @@ DisResult disInstr_X86_WRK (

       IRType tyE = szToITy(sz);
       IRTemp valE = newTemp(tyE);
-      modrm = insn[3];
+      modrm = insn[4];

       if (epartIsReg(modrm)) {
          assign(valE, getIReg(sz, eregOfRM(modrm)));
@@ -13922,7 +13922,7 @@ DisResult disInstr_X86_WRK (
       IRTemp valG1 = newTemp(Ity_I32);
       assign(valG1,
              mkIRExprCCall(Ity_I32, 0, nm, fn,
-             mkIRExprVec_1(mkexpr(valG0))));
+             mkIRExprVec_2(mkexpr(valG0), widenUto32(mkexpr(valE)))));

       putIReg(4, gregOfRM(modrm), mkexpr(valG1));
       goto decode_success;

-- 
You are receiving this mail because:
You are watching all bug changes.