Ignore redundant addr16 prefix on relative call

BZ#384230

diff --git a/NEWS b/NEWS
index 4b9824e558e27d7184e6b323e83404f8c282cbe5..3d04b75943098a9700a68551f525151ee409d897 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -71,6 +71,7 @@ where XXXXXX is the bug number as listed below.
 382998  xml-socket doesn't work
 383275  massif valgrind: m_xarray.c:162 (ensureSpaceXA): Assertion '!xa->arr' failed
 384096  Mention AddrCheck at Memcheck's command line option --undef-value-errors=no
+384230  vex x86->IR: unhandled instruction bytes: 0x67 0xE8 0xAB 0x68
 384526  reduce number of spill instructions generated by VEX register allocator v3
 384584  Callee saved registers listed first for AMD64, X86, and PPC architectures
 384633  Add a simple progress-reporting facility

diff --git a/VEX/priv/guest_x86_toIR.c b/VEX/priv/guest_x86_toIR.c
index 9f6a41abf9942e3cb824bd82639a0438fb35e2cc..ad1f8d83851908d8639b2ec5fae1bd942b1c729a 100644 (file)
--- a/VEX/priv/guest_x86_toIR.c
+++ b/VEX/priv/guest_x86_toIR.c
@@ -13067,6 +13067,11 @@ DisResult disInstr_X86_WRK (
        goto decode_success;
    }
 
+   /* 67 E8 = CALL with redundant addr16 prefix */
+   if (insn[0] == 0x67 && insn[1] == 0xE8) {
+      delta++;
+   }
+
    /* ---------------------------------------------------- */
    /* --- start of the baseline insn decoder            -- */
    /* ---------------------------------------------------- */