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