(* XCHG DWORD [EDI + EBP], DWORD ECX *)
val _ = x86_test "870C2F"
   [("EDI","08049BD4"), ("EBP","00000007"), ("ECX","FFFFFFFE"), ("8049BDB","ED"), ("8049BDC","B4"), ("8049BDD","43"), ("8049BDE","3C"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AB")]
   [("EDI","08049BD4"), ("EBP","00000007"), ("ECX","3C43B4ED"), ("8049BDB","FE"), ("8049BDC","FF"), ("8049BDD","FF"), ("8049BDE","FF"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AE")];

(* XCHG DWORD EAX, DWORD ESI *)
val _ = x86_test "96"
   [("EAX","00000001"), ("ESI","FFFFFFFF"), ("OF","T"), ("SF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("EIP","0804848B")]
   [("EAX","FFFFFFFF"), ("ESI","00000001"), ("OF","T"), ("SF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("EIP","0804848C")];

(* XCHG DWORD EAX, DWORD ECX *)
val _ = x86_test "91"
   [("EAX","00000001"), ("ECX","03A3132D"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EAX","03A3132D"), ("ECX","00000001"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804848C")];

(* XCHG DWORD EAX, DWORD ECX *)
val _ = x86_test "91"
   [("EAX","FFFFFFFF"), ("ECX","FFFFFFFE"), ("OF","T"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("EIP","0804848B")]
   [("EAX","FFFFFFFE"), ("ECX","FFFFFFFF"), ("OF","T"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("EIP","0804848C")];

(* XCHG DWORD EDX, DWORD ECX *)
val _ = x86_test "87D1"
   [("EDX","FFFFFFFE"), ("ECX","FFFFFFFE"), ("OF","T"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("EIP","0804848B")]
   [("EDX","FFFFFFFE"), ("ECX","FFFFFFFE"), ("OF","T"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("EIP","0804848D")];

(* XCHG DWORD EAX, DWORD EDI *)
val _ = x86_test "97"
   [("EAX","FFFFFFFF"), ("EDI","00000001"), ("OF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","0804848B")]
   [("EAX","00000001"), ("EDI","FFFFFFFF"), ("OF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","0804848C")];

(* XCHG DWORD EAX, DWORD EDI *)
val _ = x86_test "97"
   [("EAX","FFFFFFFF"), ("EDI","00000002"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EAX","00000002"), ("EDI","FFFFFFFF"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804848C")];

(* XCHG DWORD [EBP + ECX], DWORD EAX *)
val _ = x86_test "87440D00"
   [("EBP","08049BD4"), ("ECX","00000096"), ("EAX","FFFFFFFF"), ("8049C6A","FF"), ("8049C6B","FF"), ("8049C6C","FF"), ("8049C6D","FF"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AC")]
   [("EBP","08049BD4"), ("ECX","00000096"), ("EAX","FFFFFFFF"), ("8049C6A","FF"), ("8049C6B","FF"), ("8049C6C","FF"), ("8049C6D","FF"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484B0")];

(* XCHG DWORD EAX, DWORD EDI *)
val _ = x86_test "97"
   [("EAX","00000001"), ("EDI","00000001"), ("OF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","0804848B")]
   [("EAX","00000001"), ("EDI","00000001"), ("OF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","0804848C")];

(* XCHG DWORD EDI, DWORD EAX *)
val _ = x86_test "97"
   [("EDI","00000000"), ("EAX","FFFFFFFE"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EDI","FFFFFFFE"), ("EAX","00000000"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848C")];

(* XCHG DWORD EAX, DWORD EBP *)
val _ = x86_test "95"
   [("EAX","00000002"), ("EBP","00000002"), ("OF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","0804848B")]
   [("EAX","00000002"), ("EBP","00000002"), ("OF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","0804848C")];

(* XCHG DWORD [loc42], DWORD EBX *)
val _ = x86_test "871DC49B0408"
   [("EBX","FFFFFFFE"), ("8049BC4","02"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("OF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","080484A4")]
   [("EBX","00000002"), ("8049BC4","FE"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("OF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","080484AA")];

(* XCHG DWORD EAX, DWORD EDX *)
val _ = x86_test "92"
   [("EAX","FFFFFFFF"), ("EDX","FFFFFFFF"), ("SF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EAX","FFFFFFFF"), ("EDX","FFFFFFFF"), ("SF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804848C")];

(* XCHG DWORD EAX, DWORD ECX *)
val _ = x86_test "91"
   [("EAX","00000002"), ("ECX","00000000"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EAX","00000000"), ("ECX","00000002"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("OF","F"), ("EIP","0804848C")];

(* XCHG DWORD EAX, DWORD ESI *)
val _ = x86_test "96"
   [("EAX","FFFFFFFE"), ("ESI","00000000"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EAX","00000000"), ("ESI","FFFFFFFE"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804848C")];

(* XCHG DWORD EAX, DWORD ECX *)
val _ = x86_test "91"
   [("EAX","FFFFFFFF"), ("ECX","FFFFFFFF"), ("OF","T"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("EIP","0804848B")]
   [("EAX","FFFFFFFF"), ("ECX","FFFFFFFF"), ("OF","T"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("EIP","0804848C")];

(* XCHG DWORD [EAX + 4*EDI], DWORD EBX *)
val _ = x86_test "871CB8"
   [("EAX","08049BD4"), ("EDI","0000000A"), ("EBX","FFFFFFFE"), ("8049BFC","FE"), ("8049BFD","FF"), ("8049BFE","FF"), ("8049BFF","FF"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","080484AB")]
   [("EAX","08049BD4"), ("EDI","0000000A"), ("EBX","FFFFFFFE"), ("8049BFC","FE"), ("8049BFD","FF"), ("8049BFE","FF"), ("8049BFF","FF"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","080484AE")];

(* XCHG DWORD EAX, DWORD EDX *)
val _ = x86_test "92"
   [("EAX","FFFFFFFF"), ("EDX","75AE4A1C"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EAX","75AE4A1C"), ("EDX","FFFFFFFF"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("OF","F"), ("EIP","0804848C")];

(* XCHG DWORD [loc182], DWORD EAX *)
val _ = x86_test "8705C49B0408"
   [("EAX","FFFFFFFF"), ("8049BC4","FF"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484A4")]
   [("EAX","FFFFFFFF"), ("8049BC4","FF"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484AA")];

(* XCHG DWORD EBP, DWORD ECX *)
val _ = x86_test "87E9"
   [("EBP","00000000"), ("ECX","00000000"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EBP","00000000"), ("ECX","00000000"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("OF","F"), ("EIP","0804848D")];

(* XCHG DWORD [EBP + 8*ESI+16], DWORD EDI *)
val _ = x86_test "877CF510"
   [("EBP","08049BD4"), ("ESI","00000000"), ("EDI","FFFFFFFE"), ("8049BE4","FF"), ("8049BE5","FF"), ("8049BE6","FF"), ("8049BE7","FF"), ("OF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","080484AC")]
   [("EBP","08049BD4"), ("ESI","00000000"), ("EDI","FFFFFFFF"), ("8049BE4","FE"), ("8049BE5","FF"), ("8049BE6","FF"), ("8049BE7","FF"), ("OF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","080484B0")];

(* XCHG DWORD EAX, DWORD EBP *)
val _ = x86_test "95"
   [("EAX","00000002"), ("EBP","5AD45168"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EAX","5AD45168"), ("EBP","00000002"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("OF","F"), ("EIP","0804848C")];

(* XCHG DWORD [ECX + EBP+39], DWORD ESI *)
val _ = x86_test "87742927"
   [("ECX","08049BD4"), ("EBP","0000004B"), ("ESI","00000001"), ("8049C46","02"), ("8049C47","00"), ("8049C48","00"), ("8049C49","00"), ("OF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","080484AC")]
   [("ECX","08049BD4"), ("EBP","0000004B"), ("ESI","00000002"), ("8049C46","01"), ("8049C47","00"), ("8049C48","00"), ("8049C49","00"), ("OF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","080484B0")];

(* XCHG DWORD ESI, DWORD EAX *)
val _ = x86_test "96"
   [("ESI","00000002"), ("EAX","FFFFFFFF"), ("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("EIP","0804848B")]
   [("ESI","FFFFFFFF"), ("EAX","00000002"), ("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("EIP","0804848C")];

(* XCHG DWORD EAX, DWORD EDI *)
val _ = x86_test "97"
   [("EAX","FFFFFFFE"), ("EDI","FFFFFFFF"), ("OF","T"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("EIP","0804848B")]
   [("EAX","FFFFFFFF"), ("EDI","FFFFFFFE"), ("OF","T"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("EIP","0804848C")];

(* XCHG DWORD EDI, DWORD EAX *)
val _ = x86_test "97"
   [("EDI","3603DC9A"), ("EAX","00000001"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("EIP","0804848B")]
   [("EDI","00000001"), ("EAX","3603DC9A"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("EIP","0804848C")];

(* XCHG DWORD [ESI + 8*EBP+14], DWORD EDX *)
val _ = x86_test "8754EE0E"
   [("ESI","08049BD4"), ("EBP","00000004"), ("EDX","FFFFFFFE"), ("8049C02","01"), ("8049C03","00"), ("8049C04","00"), ("8049C05","00"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AC")]
   [("ESI","08049BD4"), ("EBP","00000004"), ("EDX","00000001"), ("8049C02","FE"), ("8049C03","FF"), ("8049C04","FF"), ("8049C05","FF"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484B0")];

(* XCHG DWORD [loc8], DWORD EDX *)
val _ = x86_test "8715C49B0408"
   [("EDX","FFFFFFFE"), ("8049BC4","88"), ("8049BC5","4C"), ("8049BC6","01"), ("8049BC7","3D"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("OF","F"), ("EIP","080484A4")]
   [("EDX","3D014C88"), ("8049BC4","FE"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("OF","F"), ("EIP","080484AA")];

(* XCHG DWORD EAX, DWORD EDX *)
val _ = x86_test "92"
   [("EAX","40F7B5CA"), ("EDX","FFFFFFFF"), ("OF","T"), ("SF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("EIP","0804848B")]
   [("EAX","FFFFFFFF"), ("EDX","40F7B5CA"), ("OF","T"), ("SF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("EIP","0804848C")];

(* XCHG DWORD EAX, DWORD EDX *)
val _ = x86_test "92"
   [("EAX","00000000"), ("EDX","75EAB400"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("EIP","0804848B")]
   [("EAX","75EAB400"), ("EDX","00000000"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("EIP","0804848C")];

(* XCHG DWORD EAX, DWORD ESI *)
val _ = x86_test "96"
   [("EAX","FFFFFFFF"), ("ESI","00000002"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("EIP","0804848B")]
   [("EAX","00000002"), ("ESI","FFFFFFFF"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("EIP","0804848C")];

(* XCHG DWORD EAX, DWORD ESI *)
val _ = x86_test "96"
   [("EAX","FFFFFFFE"), ("ESI","00000001"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EAX","00000001"), ("ESI","FFFFFFFE"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("OF","F"), ("EIP","0804848C")];

(* XCHG DWORD EAX, DWORD EDX *)
val _ = x86_test "92"
   [("EAX","FFFFFFFE"), ("EDX","FFFFFFFF"), ("OF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","0804848B")]
   [("EAX","FFFFFFFF"), ("EDX","FFFFFFFE"), ("OF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","0804848C")];

(* XCHG DWORD EBX, DWORD ESI *)
val _ = x86_test "87DE"
   [("EBX","00000000"), ("ESI","00000000"), ("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("EIP","0804848B")]
   [("EBX","00000000"), ("ESI","00000000"), ("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("EIP","0804848D")];

(* XCHG DWORD [loc8], DWORD ECX *)
val _ = x86_test "870DC49B0408"
   [("ECX","FFFFFFFE"), ("8049BC4","33"), ("8049BC5","E0"), ("8049BC6","CC"), ("8049BC7","26"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("OF","F"), ("EIP","080484A4")]
   [("ECX","26CCE033"), ("8049BC4","FE"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("OF","F"), ("EIP","080484AA")];

(* XCHG DWORD ESI, DWORD EDX *)
val _ = x86_test "87F2"
   [("ESI","00000000"), ("EDX","FFFFFFFE"), ("OF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","0804848B")]
   [("ESI","FFFFFFFE"), ("EDX","00000000"), ("OF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","0804848D")];

(* XCHG DWORD EAX, DWORD ESI *)
val _ = x86_test "96"
   [("EAX","FFFFFFFE"), ("ESI","00000002"), ("OF","T"), ("SF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("EIP","0804848B")]
   [("EAX","00000002"), ("ESI","FFFFFFFE"), ("OF","T"), ("SF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("EIP","0804848C")];

(* XCHG DWORD EAX, DWORD EBP *)
val _ = x86_test "95"
   [("EAX","FFFFFFFE"), ("EBP","00000001"), ("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EAX","00000001"), ("EBP","FFFFFFFE"), ("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804848C")];

(* XCHG DWORD [loc47], DWORD EDX *)
val _ = x86_test "8715C49B0408"
   [("EDX","00000001"), ("8049BC4","FF"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("OF","T"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("EIP","080484A4")]
   [("EDX","FFFFFFFF"), ("8049BC4","01"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("OF","T"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("EIP","080484AA")];

(* XCHG DWORD EAX, DWORD EDI *)
val _ = x86_test "97"
   [("EAX","00000002"), ("EDI","00000001"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EAX","00000001"), ("EDI","00000002"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804848C")];

(* XCHG DWORD EAX, DWORD EDI *)
val _ = x86_test "97"
   [("EAX","FFFFFFFE"), ("EDI","2C0CA351"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EAX","2C0CA351"), ("EDI","FFFFFFFE"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","0804848C")];

(* XCHG DWORD [loc84], DWORD ESI *)
val _ = x86_test "8735C49B0408"
   [("ESI","FFFFFFFF"), ("8049BC4","01"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("EIP","080484A4")]
   [("ESI","00000001"), ("8049BC4","FF"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("EIP","080484AA")];

(* XCHG DWORD [loc93], DWORD ESI *)
val _ = x86_test "8735C49B0408"
   [("ESI","00000000"), ("8049BC4","BA"), ("8049BC5","23"), ("8049BC6","CD"), ("8049BC7","3A"), ("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("EIP","080484A4")]
   [("ESI","3ACD23BA"), ("8049BC4","00"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("EIP","080484AA")];

(* XCHG DWORD EBX, DWORD ECX *)
val _ = x86_test "87D9"
   [("EBX","00000000"), ("ECX","00000000"), ("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EBX","00000000"), ("ECX","00000000"), ("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804848D")];

(* XCHG DWORD [EBP + 8*EAX+14], DWORD EDI *)
val _ = x86_test "877CC50E"
   [("EBP","08049BD4"), ("EAX","00000000"), ("EDI","00000001"), ("8049BE2","39"), ("8049BE3","11"), ("8049BE4","40"), ("8049BE5","1F"), ("SF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484AC")]
   [("EBP","08049BD4"), ("EAX","00000000"), ("EDI","1F401139"), ("8049BE2","01"), ("8049BE3","00"), ("8049BE4","00"), ("8049BE5","00"), ("SF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484B0")];

(* XCHG DWORD [loc104], DWORD ESI *)
val _ = x86_test "8735C49B0408"
   [("ESI","FFFFFFFF"), ("8049BC4","FF"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484A4")]
   [("ESI","FFFFFFFF"), ("8049BC4","FF"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484AA")];

(* XCHG DWORD EAX, DWORD ECX *)
val _ = x86_test "91"
   [("EAX","675CE359"), ("ECX","FFFFFFFE"), ("OF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","0804848B")]
   [("EAX","FFFFFFFE"), ("ECX","675CE359"), ("OF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","0804848C")];

(* XCHG DWORD EBX, DWORD ESI *)
val _ = x86_test "87DE"
   [("EBX","00000000"), ("ESI","00000002"), ("OF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","0804848B")]
   [("EBX","00000002"), ("ESI","00000000"), ("OF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","0804848D")];

(* XCHG DWORD EAX, DWORD EBX *)
val _ = x86_test "93"
   [("EAX","FFFFFFFE"), ("EBX","00000002"), ("OF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","0804848B")]
   [("EAX","00000002"), ("EBX","FFFFFFFE"), ("OF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","0804848C")];

(* XCHG DWORD [loc34], DWORD EBP *)
val _ = x86_test "872DC49B0408"
   [("EBP","7827E8EF"), ("8049BC4","01"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("OF","F"), ("EIP","080484A4")]
   [("EBP","00000001"), ("8049BC4","EF"), ("8049BC5","E8"), ("8049BC6","27"), ("8049BC7","78"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("OF","F"), ("EIP","080484AA")];

(* XCHG DWORD EAX, DWORD ESI *)
val _ = x86_test "96"
   [("EAX","00000000"), ("ESI","FFFFFFFE"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("EIP","0804848B")]
   [("EAX","FFFFFFFE"), ("ESI","00000000"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("EIP","0804848C")];

(* XCHG DWORD EAX, DWORD EBP *)
val _ = x86_test "95"
   [("EAX","00000001"), ("EBP","FFFFFFFE"), ("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EAX","FFFFFFFE"), ("EBP","00000001"), ("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804848C")];

(* XCHG DWORD EAX, DWORD EBX *)
val _ = x86_test "93"
   [("EAX","00000001"), ("EBX","FFFFFFFF"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("EIP","0804848B")]
   [("EAX","FFFFFFFF"), ("EBX","00000001"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("EIP","0804848C")];

(* XCHG DWORD EAX, DWORD ESI *)
val _ = x86_test "96"
   [("EAX","00000001"), ("ESI","00000000"), ("OF","T"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("EIP","0804848B")]
   [("EAX","00000000"), ("ESI","00000001"), ("OF","T"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("EIP","0804848C")];

(* XCHG DWORD EAX, DWORD EBX *)
val _ = x86_test "93"
   [("EAX","FFFFFFFE"), ("EBX","FFFFFFFE"), ("OF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("SF","F"), ("EIP","0804848B")]
   [("EAX","FFFFFFFE"), ("EBX","FFFFFFFE"), ("OF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("SF","F"), ("EIP","0804848C")];

(* XCHG DWORD EAX, DWORD EDI *)
val _ = x86_test "97"
   [("EAX","53B5CACA"), ("EDI","FFFFFFFF"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EAX","FFFFFFFF"), ("EDI","53B5CACA"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804848C")];

(* XCHG DWORD EAX, DWORD ECX *)
val _ = x86_test "91"
   [("EAX","FFFFFFFF"), ("ECX","FFFFFFFF"), ("OF","T"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("EIP","0804848B")]
   [("EAX","FFFFFFFF"), ("ECX","FFFFFFFF"), ("OF","T"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("EIP","0804848C")];

(* XCHG DWORD [loc52], DWORD ESI *)
val _ = x86_test "8735C49B0408"
   [("ESI","00000001"), ("8049BC4","FE"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","080484A4")]
   [("ESI","FFFFFFFE"), ("8049BC4","01"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","080484AA")];

(* XCHG DWORD [EAX + 8*ECX+39], DWORD EBP *)
val _ = x86_test "876CC827"
   [("EAX","08049BD4"), ("ECX","00000001"), ("EBP","FFFFFFFF"), ("8049C03","E2"), ("8049C04","C2"), ("8049C05","49"), ("8049C06","55"), ("OF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","080484AC")]
   [("EAX","08049BD4"), ("ECX","00000001"), ("EBP","5549C2E2"), ("8049C03","FF"), ("8049C04","FF"), ("8049C05","FF"), ("8049C06","FF"), ("OF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","080484B0")];

(* XCHG DWORD [EBX + 2*ESI+39], DWORD EDI *)
val _ = x86_test "877C7327"
   [("EBX","08049BD4"), ("ESI","00000016"), ("EDI","00000000"), ("8049C27","01"), ("8049C28","00"), ("8049C29","00"), ("8049C2A","00"), ("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("EIP","080484AC")]
   [("EBX","08049BD4"), ("ESI","00000016"), ("EDI","00000001"), ("8049C27","00"), ("8049C28","00"), ("8049C29","00"), ("8049C2A","00"), ("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("EIP","080484B0")];

(* XCHG DWORD ECX, DWORD EDI *)
val _ = x86_test "87CF"
   [("ECX","00000001"), ("EDI","00000002"), ("OF","T"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("EIP","0804848B")]
   [("ECX","00000002"), ("EDI","00000001"), ("OF","T"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("EIP","0804848D")];

(* XCHG DWORD EAX, DWORD ESI *)
val _ = x86_test "96"
   [("EAX","00000002"), ("ESI","00000002"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EAX","00000002"), ("ESI","00000002"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("OF","F"), ("EIP","0804848C")];

(* XCHG DWORD [loc8], DWORD EDX *)
val _ = x86_test "8715C49B0408"
   [("EDX","00000002"), ("8049BC4","02"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("OF","T"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("EIP","080484A4")]
   [("EDX","00000002"), ("8049BC4","02"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("OF","T"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("EIP","080484AA")];

(* XCHG DWORD [loc11], DWORD EAX *)
val _ = x86_test "8705C49B0408"
   [("EAX","00000000"), ("8049BC4","FE"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("EIP","080484A4")]
   [("EAX","FFFFFFFE"), ("8049BC4","00"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("EIP","080484AA")];

(* XCHG DWORD EAX, DWORD ECX *)
val _ = x86_test "91"
   [("EAX","00000000"), ("ECX","FFFFFFFF"), ("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EAX","FFFFFFFF"), ("ECX","00000000"), ("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804848C")];

(* XCHG DWORD [loc28], DWORD ESI *)
val _ = x86_test "8735C49B0408"
   [("ESI","00000001"), ("8049BC4","01"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484A4")]
   [("ESI","00000001"), ("8049BC4","01"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AA")];

(* XCHG DWORD EAX, DWORD EBX *)
val _ = x86_test "93"
   [("EAX","00000002"), ("EBX","FFFFFFFF"), ("OF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","0804848B")]
   [("EAX","FFFFFFFF"), ("EBX","00000002"), ("OF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","0804848C")];

(* XCHG DWORD [loc102], DWORD EDI *)
val _ = x86_test "873DC49B0408"
   [("EDI","00000002"), ("8049BC4","01"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("EIP","080484A4")]
   [("EDI","00000001"), ("8049BC4","02"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("EIP","080484AA")];

(* XCHG DWORD ECX, DWORD EBX *)
val _ = x86_test "87CB"
   [("ECX","FFFFFFFE"), ("EBX","0528A20E"), ("OF","T"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("EIP","0804848B")]
   [("ECX","0528A20E"), ("EBX","FFFFFFFE"), ("OF","T"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("EIP","0804848D")];

(* XCHG DWORD [loc105], DWORD EDX *)
val _ = x86_test "8715C49B0408"
   [("EDX","7FEA3163"), ("8049BC4","FE"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","080484A4")]
   [("EDX","FFFFFFFE"), ("8049BC4","63"), ("8049BC5","31"), ("8049BC6","EA"), ("8049BC7","7F"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","080484AA")];

(* XCHG DWORD EAX, DWORD ESI *)
val _ = x86_test "96"
   [("EAX","FFFFFFFF"), ("ESI","FFFFFFFF"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("EIP","0804848B")]
   [("EAX","FFFFFFFF"), ("ESI","FFFFFFFF"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("EIP","0804848C")];

(* XCHG DWORD EAX, DWORD EDI *)
val _ = x86_test "97"
   [("EAX","00000001"), ("EDI","00000000"), ("OF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","0804848B")]
   [("EAX","00000000"), ("EDI","00000001"), ("OF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","0804848C")];

(* XCHG DWORD EBP, DWORD EDI *)
val _ = x86_test "87EF"
   [("EBP","FFFFFFFE"), ("EDI","FFFFFFFF"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("EIP","0804848B")]
   [("EBP","FFFFFFFF"), ("EDI","FFFFFFFE"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("EIP","0804848D")];

(* XCHG DWORD EAX, DWORD EBP *)
val _ = x86_test "95"
   [("EAX","00000000"), ("EBP","35D68F2C"), ("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("EIP","0804848B")]
   [("EAX","35D68F2C"), ("EBP","00000000"), ("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("EIP","0804848C")];

(* XCHG DWORD [loc190], DWORD ECX *)
val _ = x86_test "870DC49B0408"
   [("ECX","FFFFFFFE"), ("8049BC4","00"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("OF","F"), ("EIP","080484A4")]
   [("ECX","00000000"), ("8049BC4","FE"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("OF","F"), ("EIP","080484AA")];

(* XCHG DWORD [ESI + 2*EBP], DWORD EDX *)
val _ = x86_test "87146E"
   [("ESI","08049BD4"), ("EBP","0000002A"), ("EDX","00000001"), ("8049C28","00"), ("8049C29","00"), ("8049C2A","00"), ("8049C2B","00"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AB")]
   [("ESI","08049BD4"), ("EBP","0000002A"), ("EDX","00000000"), ("8049C28","01"), ("8049C29","00"), ("8049C2A","00"), ("8049C2B","00"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AE")];

(* XCHG DWORD EBX, DWORD EDI *)
val _ = x86_test "87DF"
   [("EBX","00000002"), ("EDI","FFFFFFFE"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("EIP","0804848B")]
   [("EBX","FFFFFFFE"), ("EDI","00000002"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("EIP","0804848D")];

(* XCHG DWORD EAX, DWORD EDI *)
val _ = x86_test "97"
   [("EAX","FFFFFFFE"), ("EDI","00000000"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EAX","00000000"), ("EDI","FFFFFFFE"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848C")];

(* XCHG DWORD EAX, DWORD EDX *)
val _ = x86_test "92"
   [("EAX","00000001"), ("EDX","FFFFFFFE"), ("OF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("SF","F"), ("EIP","0804848B")]
   [("EAX","FFFFFFFE"), ("EDX","00000001"), ("OF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("SF","F"), ("EIP","0804848C")];

(* XCHG DWORD EDI, DWORD EDX *)
val _ = x86_test "87FA"
   [("EDI","FFFFFFFF"), ("EDX","FFFFFFFE"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("EIP","0804848B")]
   [("EDI","FFFFFFFE"), ("EDX","FFFFFFFF"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("EIP","0804848D")];

(* XCHG DWORD EAX, DWORD EDX *)
val _ = x86_test "92"
   [("EAX","00000002"), ("EDX","FFFFFFFF"), ("OF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","0804848B")]
   [("EAX","FFFFFFFF"), ("EDX","00000002"), ("OF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","0804848C")];

(* XCHG DWORD [EDX + 4*ESI+30], DWORD ECX *)
val _ = x86_test "874CB21E"
   [("EDX","08049BD4"), ("ESI","00000002"), ("ECX","FFFFFFFF"), ("8049BFA","78"), ("8049BFB","42"), ("8049BFC","1E"), ("8049BFD","47"), ("OF","T"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("EIP","080484AC")]
   [("EDX","08049BD4"), ("ESI","00000002"), ("ECX","471E4278"), ("8049BFA","FF"), ("8049BFB","FF"), ("8049BFC","FF"), ("8049BFD","FF"), ("OF","T"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("EIP","080484B0")];

(* XCHG DWORD [loc276], DWORD EDI *)
val _ = x86_test "873DC49B0408"
   [("EDI","00000000"), ("8049BC4","00"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("OF","T"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("EIP","080484A4")]
   [("EDI","00000000"), ("8049BC4","00"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("OF","T"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("EIP","080484AA")];

(* XCHG DWORD EAX, DWORD EDI *)
val _ = x86_test "97"
   [("EAX","561C4436"), ("EDI","FFFFFFFE"), ("SF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EAX","FFFFFFFE"), ("EDI","561C4436"), ("SF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804848C")];

(* XCHG DWORD [loc281], DWORD EBP *)
val _ = x86_test "872DC49B0408"
   [("EBP","00000002"), ("8049BC4","00"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("EIP","080484A4")]
   [("EBP","00000000"), ("8049BC4","02"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("EIP","080484AA")];

(* XCHG DWORD EAX, DWORD ECX *)
val _ = x86_test "91"
   [("EAX","39434096"), ("ECX","00000001"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EAX","00000001"), ("ECX","39434096"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","0804848C")];

(* XCHG DWORD EAX, DWORD ESI *)
val _ = x86_test "96"
   [("EAX","FFFFFFFF"), ("ESI","FFFFFFFE"), ("SF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EAX","FFFFFFFE"), ("ESI","FFFFFFFF"), ("SF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804848C")];

(* XCHG DWORD [EAX + EBX+31], DWORD EBP *)
val _ = x86_test "876C181F"
   [("EAX","08049BD4"), ("EBX","00000006"), ("EBP","00000000"), ("8049BF9","01"), ("8049BFA","00"), ("8049BFB","00"), ("8049BFC","00"), ("OF","T"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("EIP","080484AC")]
   [("EAX","08049BD4"), ("EBX","00000006"), ("EBP","00000001"), ("8049BF9","00"), ("8049BFA","00"), ("8049BFB","00"), ("8049BFC","00"), ("OF","T"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("EIP","080484B0")];

(* XCHG DWORD ESI, DWORD ECX *)
val _ = x86_test "87F1"
   [("ESI","34915132"), ("ECX","FFFFFFFF"), ("OF","T"), ("SF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("EIP","0804848B")]
   [("ESI","FFFFFFFF"), ("ECX","34915132"), ("OF","T"), ("SF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("EIP","0804848D")];

(* XCHG DWORD EAX, DWORD EBX *)
val _ = x86_test "93"
   [("EAX","00000001"), ("EBX","00000001"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EAX","00000001"), ("EBX","00000001"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804848C")];

(* XCHG DWORD EDX, DWORD EBX *)
val _ = x86_test "87D3"
   [("EDX","57B20F57"), ("EBX","FFFFFFFE"), ("OF","T"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("EIP","0804848B")]
   [("EDX","FFFFFFFE"), ("EBX","57B20F57"), ("OF","T"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("EIP","0804848D")];

(* XCHG DWORD EAX, DWORD EBP *)
val _ = x86_test "95"
   [("EAX","00000000"), ("EBP","00000000"), ("OF","T"), ("SF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("EIP","0804848B")]
   [("EAX","00000000"), ("EBP","00000000"), ("OF","T"), ("SF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("EIP","0804848C")];

(* XCHG DWORD EAX, DWORD ESI *)
val _ = x86_test "96"
   [("EAX","494FA39A"), ("ESI","00000001"), ("SF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EAX","00000001"), ("ESI","494FA39A"), ("SF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804848C")];

(* XCHG DWORD EDI, DWORD EAX *)
val _ = x86_test "97"
   [("EDI","00000001"), ("EAX","FFFFFFFE"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("EIP","0804848B")]
   [("EDI","FFFFFFFE"), ("EAX","00000001"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("EIP","0804848C")];

(* XCHG DWORD EAX, DWORD EDX *)
val _ = x86_test "92"
   [("EAX","FFFFFFFE"), ("EDX","FFFFFFFF"), ("OF","T"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("EIP","0804848B")]
   [("EAX","FFFFFFFF"), ("EDX","FFFFFFFE"), ("OF","T"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("EIP","0804848C")];

(* XCHG DWORD EAX, DWORD ESI *)
val _ = x86_test "96"
   [("EAX","FFFFFFFF"), ("ESI","00000001"), ("OF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","0804848B")]
   [("EAX","00000001"), ("ESI","FFFFFFFF"), ("OF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","0804848C")];

(* XCHG DWORD ESI, DWORD EBP *)
val _ = x86_test "87F5"
   [("ESI","00000000"), ("EBP","3CC4930E"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("EIP","0804848B")]
   [("ESI","3CC4930E"), ("EBP","00000000"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("EIP","0804848D")];

(* XCHG DWORD EAX, DWORD ESI *)
val _ = x86_test "96"
   [("EAX","6D97A91D"), ("ESI","60C6CC15"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("EIP","0804848B")]
   [("EAX","60C6CC15"), ("ESI","6D97A91D"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("EIP","0804848C")];

(* XCHG DWORD EAX, DWORD EDX *)
val _ = x86_test "92"
   [("EAX","FFFFFFFF"), ("EDX","00000002"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EAX","00000002"), ("EDX","FFFFFFFF"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848C")];

(* XCHG DWORD [EAX + 4*ESI+36], DWORD EDI *)
val _ = x86_test "877CB024"
   [("EAX","08049BD4"), ("ESI","00000002"), ("EDI","00000001"), ("8049C00","BB"), ("8049C01","BB"), ("8049C02","57"), ("8049C03","6B"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AC")]
   [("EAX","08049BD4"), ("ESI","00000002"), ("EDI","6B57BBBB"), ("8049C00","01"), ("8049C01","00"), ("8049C02","00"), ("8049C03","00"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484B0")];

(* XCHG DWORD EAX, DWORD ESI *)
val _ = x86_test "96"
   [("EAX","FFFFFFFF"), ("ESI","00000001"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EAX","00000001"), ("ESI","FFFFFFFF"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848C")];

(* XCHG DWORD [loc132], DWORD EDX *)
val _ = x86_test "8715C49B0408"
   [("EDX","FFFFFFFF"), ("8049BC4","E6"), ("8049BC5","97"), ("8049BC6","29"), ("8049BC7","65"), ("SF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484A4")]
   [("EDX","652997E6"), ("8049BC4","FF"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("SF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484AA")];

(* XCHG DWORD EAX, DWORD ECX *)
val _ = x86_test "91"
   [("EAX","00000000"), ("ECX","00000002"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EAX","00000002"), ("ECX","00000000"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848C")];

(* XCHG DWORD [loc146], DWORD ESI *)
val _ = x86_test "8735C49B0408"
   [("ESI","00000002"), ("8049BC4","FF"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484A4")]
   [("ESI","FFFFFFFF"), ("8049BC4","02"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AA")];

(* XCHG DWORD EAX, DWORD EBX *)
val _ = x86_test "93"
   [("EAX","31239FE8"), ("EBX","00000000"), ("OF","T"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("EIP","0804848B")]
   [("EAX","00000000"), ("EBX","31239FE8"), ("OF","T"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("EIP","0804848C")];

(* XCHG DWORD EAX, DWORD EDI *)
val _ = x86_test "97"
   [("EAX","FFFFFFFF"), ("EDI","00000000"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EAX","00000000"), ("EDI","FFFFFFFF"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","0804848C")];

(* XCHG DWORD EAX, DWORD ECX *)
val _ = x86_test "91"
   [("EAX","00000002"), ("ECX","00000000"), ("OF","T"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("EIP","0804848B")]
   [("EAX","00000000"), ("ECX","00000002"), ("OF","T"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("EIP","0804848C")];

(* XCHG DWORD [loc207], DWORD ECX *)
val _ = x86_test "870DC49B0408"
   [("ECX","00000002"), ("8049BC4","01"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("OF","T"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("EIP","080484A4")]
   [("ECX","00000001"), ("8049BC4","02"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("OF","T"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("EIP","080484AA")];

(* XCHG DWORD EAX, DWORD EDI *)
val _ = x86_test "97"
   [("EAX","FFFFFFFF"), ("EDI","00000002"), ("OF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","0804848B")]
   [("EAX","00000002"), ("EDI","FFFFFFFF"), ("OF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","0804848C")];

(* XCHG DWORD EAX, DWORD EBP *)
val _ = x86_test "95"
   [("EAX","00000001"), ("EBP","FFFFFFFF"), ("OF","T"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("EIP","0804848B")]
   [("EAX","FFFFFFFF"), ("EBP","00000001"), ("OF","T"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("EIP","0804848C")];

(* XCHG DWORD [EBX + 8*EDX], DWORD EBP *)
val _ = x86_test "872CD3"
   [("EBX","08049BD4"), ("EDX","00000012"), ("EBP","00000002"), ("8049C64","02"), ("8049C65","00"), ("8049C66","00"), ("8049C67","00"), ("SF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484AB")]
   [("EBX","08049BD4"), ("EDX","00000012"), ("EBP","00000002"), ("8049C64","02"), ("8049C65","00"), ("8049C66","00"), ("8049C67","00"), ("SF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484AE")];

(* XCHG DWORD EAX, DWORD ESI *)
val _ = x86_test "96"
   [("EAX","00000001"), ("ESI","FFFFFFFE"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EAX","FFFFFFFE"), ("ESI","00000001"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("OF","F"), ("EIP","0804848C")];

(* XCHG DWORD [loc269], DWORD EBP *)
val _ = x86_test "872DC49B0408"
   [("EBP","FFFFFFFE"), ("8049BC4","01"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("OF","T"), ("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("EIP","080484A4")]
   [("EBP","00000001"), ("8049BC4","FE"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("OF","T"), ("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("EIP","080484AA")];

(* XCHG DWORD EAX, DWORD ECX *)
val _ = x86_test "91"
   [("EAX","3F1394DD"), ("ECX","FFFFFFFF"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EAX","FFFFFFFF"), ("ECX","3F1394DD"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848C")];

(* XCHG DWORD EAX, DWORD ESI *)
val _ = x86_test "96"
   [("EAX","109EBE47"), ("ESI","FFFFFFFE"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EAX","FFFFFFFE"), ("ESI","109EBE47"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("OF","F"), ("EIP","0804848C")];

(* XCHG DWORD [loc313], DWORD EDX *)
val _ = x86_test "8715C49B0408"
   [("EDX","FFFFFFFF"), ("8049BC4","01"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("OF","F"), ("EIP","080484A4")]
   [("EDX","00000001"), ("8049BC4","FF"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("OF","F"), ("EIP","080484AA")];

(* XCHG DWORD EAX, DWORD ECX *)
val _ = x86_test "91"
   [("EAX","00000001"), ("ECX","FFFFFFFF"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EAX","FFFFFFFF"), ("ECX","00000001"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848C")];

(* XCHG DWORD [loc15], DWORD EBP *)
val _ = x86_test "872DC49B0408"
   [("EBP","00000001"), ("8049BC4","02"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("OF","T"), ("SF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("EIP","080484A4")]
   [("EBP","00000002"), ("8049BC4","01"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("OF","T"), ("SF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("EIP","080484AA")];

(* XCHG DWORD EAX, DWORD EDI *)
val _ = x86_test "97"
   [("EAX","00000002"), ("EDI","03B95A1E"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EAX","03B95A1E"), ("EDI","00000002"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848C")];

(* XCHG DWORD EAX, DWORD EBX *)
val _ = x86_test "93"
   [("EAX","FFFFFFFE"), ("EBX","00000002"), ("OF","T"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("EIP","0804848B")]
   [("EAX","00000002"), ("EBX","FFFFFFFE"), ("OF","T"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("EIP","0804848C")];

(* XCHG DWORD EDX, DWORD EDI *)
val _ = x86_test "87D7"
   [("EDX","00000000"), ("EDI","FFFFFFFF"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EDX","FFFFFFFF"), ("EDI","00000000"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804848D")];

(* XCHG DWORD EAX, DWORD EDX *)
val _ = x86_test "92"
   [("EAX","00000002"), ("EDX","321FFB8E"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EAX","321FFB8E"), ("EDX","00000002"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","0804848C")];

(* XCHG DWORD [EBP + EDI], DWORD ECX *)
val _ = x86_test "874C3D00"
   [("EBP","08049BD4"), ("EDI","00000024"), ("ECX","00000000"), ("8049BF8","01"), ("8049BF9","00"), ("8049BFA","00"), ("8049BFB","00"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AC")]
   [("EBP","08049BD4"), ("EDI","00000024"), ("ECX","00000001"), ("8049BF8","00"), ("8049BF9","00"), ("8049BFA","00"), ("8049BFB","00"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484B0")];

(* XCHG DWORD EAX, DWORD EDI *)
val _ = x86_test "97"
   [("EAX","00000002"), ("EDI","00000001"), ("OF","T"), ("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("EIP","0804848B")]
   [("EAX","00000001"), ("EDI","00000002"), ("OF","T"), ("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("EIP","0804848C")];

(* XCHG DWORD EDX, DWORD EAX *)
val _ = x86_test "92"
   [("EDX","00000001"), ("EAX","00000000"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EDX","00000000"), ("EAX","00000001"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848C")];

(* XCHG DWORD EDX, DWORD ESI *)
val _ = x86_test "87D6"
   [("EDX","0DDCE38C"), ("ESI","36CE3D24"), ("SF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EDX","36CE3D24"), ("ESI","0DDCE38C"), ("SF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804848D")];

(* XCHG DWORD EAX, DWORD ESI *)
val _ = x86_test "96"
   [("EAX","00000000"), ("ESI","FFFFFFFE"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EAX","FFFFFFFE"), ("ESI","00000000"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848C")];

(* XCHG DWORD [EDI + 2*EBP], DWORD EDX *)
val _ = x86_test "87146F"
   [("EDI","08049BD4"), ("EBP","00000001"), ("EDX","FFFFFFFF"), ("8049BD6","01"), ("8049BD7","00"), ("8049BD8","00"), ("8049BD9","00"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AB")]
   [("EDI","08049BD4"), ("EBP","00000001"), ("EDX","00000001"), ("8049BD6","FF"), ("8049BD7","FF"), ("8049BD8","FF"), ("8049BD9","FF"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AE")];

(* XCHG DWORD [ESI + EBX], DWORD ECX *)
val _ = x86_test "870C1E"
   [("ESI","08049BD4"), ("EBX","000000B9"), ("ECX","FFFFFFFE"), ("8049C8D","02"), ("8049C8E","00"), ("8049C8F","00"), ("8049C90","00"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","080484AB")]
   [("ESI","08049BD4"), ("EBX","000000B9"), ("ECX","00000002"), ("8049C8D","FE"), ("8049C8E","FF"), ("8049C8F","FF"), ("8049C90","FF"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","080484AE")];

(* XCHG DWORD ECX, DWORD EBX *)
val _ = x86_test "87CB"
   [("ECX","00000002"), ("EBX","00000001"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","0804848B")]
   [("ECX","00000001"), ("EBX","00000002"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","0804848D")];

(* XCHG DWORD EAX, DWORD ECX *)
val _ = x86_test "91"
   [("EAX","FFFFFFFF"), ("ECX","00000001"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("EIP","0804848B")]
   [("EAX","00000001"), ("ECX","FFFFFFFF"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("EIP","0804848C")];

(* XCHG DWORD EBP, DWORD EBX *)
val _ = x86_test "87EB"
   [("EBP","63BDC379"), ("EBX","4FE517AB"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("EIP","0804848B")]
   [("EBP","4FE517AB"), ("EBX","63BDC379"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("EIP","0804848D")];

(* XCHG DWORD EAX, DWORD EBX *)
val _ = x86_test "93"
   [("EAX","FFFFFFFF"), ("EBX","00000000"), ("OF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","0804848B")]
   [("EAX","00000000"), ("EBX","FFFFFFFF"), ("OF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","0804848C")];

(* XCHG DWORD EAX, DWORD EBX *)
val _ = x86_test "93"
   [("EAX","FFFFFFFF"), ("EBX","7D652382"), ("SF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EAX","7D652382"), ("EBX","FFFFFFFF"), ("SF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804848C")];

(* XCHG DWORD EAX, DWORD EDI *)
val _ = x86_test "97"
   [("EAX","FFFFFFFF"), ("EDI","00000000"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("EIP","0804848B")]
   [("EAX","00000000"), ("EDI","FFFFFFFF"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("EIP","0804848C")];

(* XCHG DWORD ESI, DWORD EDI *)
val _ = x86_test "87F7"
   [("ESI","0AA9014B"), ("EDI","00000001"), ("SF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804848B")]
   [("ESI","00000001"), ("EDI","0AA9014B"), ("SF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804848D")];

(* XCHG DWORD EAX, DWORD ESI *)
val _ = x86_test "96"
   [("EAX","00000002"), ("ESI","00000001"), ("SF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EAX","00000001"), ("ESI","00000002"), ("SF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804848C")];

(* XCHG DWORD EAX, DWORD EDI *)
val _ = x86_test "97"
   [("EAX","FFFFFFFE"), ("EDI","FFFFFFFE"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EAX","FFFFFFFE"), ("EDI","FFFFFFFE"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848C")];

(* XCHG DWORD EAX, DWORD ESI *)
val _ = x86_test "96"
   [("EAX","FFFFFFFF"), ("ESI","00000001"), ("OF","T"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("EIP","0804848B")]
   [("EAX","00000001"), ("ESI","FFFFFFFF"), ("OF","T"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("EIP","0804848C")];

(* XCHG DWORD EBP, DWORD EDI *)
val _ = x86_test "87EF"
   [("EBP","00000000"), ("EDI","00000001"), ("OF","T"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("EIP","0804848B")]
   [("EBP","00000001"), ("EDI","00000000"), ("OF","T"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("EIP","0804848D")];

(* XCHG DWORD EAX, DWORD EBX *)
val _ = x86_test "93"
   [("EAX","7D4602C2"), ("EBX","FFFFFFFF"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EAX","FFFFFFFF"), ("EBX","7D4602C2"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("OF","F"), ("EIP","0804848C")];

(* XCHG DWORD [EDX + 4*EBP+6], DWORD EDI *)
val _ = x86_test "877CAA06"
   [("EDX","08049BD4"), ("EBP","0000000B"), ("EDI","45E1222C"), ("8049C06","01"), ("8049C07","00"), ("8049C08","00"), ("8049C09","00"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AC")]
   [("EDX","08049BD4"), ("EBP","0000000B"), ("EDI","00000001"), ("8049C06","2C"), ("8049C07","22"), ("8049C08","E1"), ("8049C09","45"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484B0")];

(* XCHG DWORD EAX, DWORD EBP *)
val _ = x86_test "95"
   [("EAX","00000002"), ("EBP","00000000"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EAX","00000000"), ("EBP","00000002"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848C")];

(* XCHG DWORD EDX, DWORD EDI *)
val _ = x86_test "87D7"
   [("EDX","740CE9BE"), ("EDI","FFFFFFFF"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EDX","FFFFFFFF"), ("EDI","740CE9BE"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848D")];

(* XCHG DWORD EAX, DWORD ECX *)
val _ = x86_test "91"
   [("EAX","FFFFFFFE"), ("ECX","00000002"), ("OF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","0804848B")]
   [("EAX","00000002"), ("ECX","FFFFFFFE"), ("OF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","0804848C")];