--- valgrind/VEX/priv/guest_amd64_toIR.c.jj 2012-10-16 09:53:54.000000000 +0200 +++ valgrind/VEX/priv/guest_amd64_toIR.c 2012-10-16 11:06:26.007515653 +0200 @@ -20117,6 +20117,14 @@ Long dis_ESC_0F ( delta = dis_movx_E_G ( vbi, pfx, delta, 2, sz, True ); return delta; + case 0xC0: { /* XADD Gb,Eb */ + Bool decode_OK = False; + delta = dis_xadd_G_E ( &decode_OK, vbi, pfx, 1, delta ); + if (!decode_OK) + goto decode_failure; + return delta; + } + case 0xC1: { /* XADD Gv,Ev */ Bool decode_OK = False; delta = dis_xadd_G_E ( &decode_OK, vbi, pfx, sz, delta ); @@ -26992,14 +27000,6 @@ DisResult disInstr_AMD64_WRK ( /* =-=-=-=-=-=-=-=-=- XADD -=-=-=-=-=-=-=-=-=-= */ - case 0xC0: { /* XADD Gb,Eb */ - Bool decode_OK = False; - delta = dis_xadd_G_E ( &decode_OK, vbi, pfx, 1, delta ); - if (!decode_OK) - goto decode_failure; - break; - } - /* =-=-=-=-=-=-=-=-=- SGDT and SIDT =-=-=-=-=-=-=-=-=-=-= */ /* =-=-=-=-=-=-=-=-=- unimp2 =-=-=-=-=-=-=-=-=-=-= */