(* XADD DWORD EBX, DWORD EAX *)
val _ = x86_test "0FC1C3"
   [("EBX","FFFFFFFF"), ("EAX","FFFFFFFE"), ("OF","T"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("EIP","0804848B")]
   [("EBX","FFFFFFFD"), ("EAX","FFFFFFFF"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804848E")];

(* XADD DWORD [loc31], DWORD EAX *)
val _ = x86_test "0FC105C49B0408"
   [("EAX","FFFFFFFE"), ("8049BC4","01"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484A4")]
   [("EAX","00000001"), ("8049BC4","FF"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484AB")];

(* XADD DWORD [loc37], DWORD EDX *)
val _ = x86_test "0FC115C49B0408"
   [("EDX","FFFFFFFE"), ("8049BC4","90"), ("8049BC5","DC"), ("8049BC6","6E"), ("8049BC7","3E"), ("SF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484A4")]
   [("EDX","3E6EDC90"), ("8049BC4","8E"), ("8049BC5","DC"), ("8049BC6","6E"), ("8049BC7","3E"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AB")];

(* XADD DWORD ECX, DWORD EDI *)
val _ = x86_test "0FC1F9"
   [("ECX","FFFFFFFE"), ("EDI","00000002"), ("OF","T"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("EIP","0804848B")]
   [("ECX","00000000"), ("EDI","FFFFFFFE"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("SF","F"), ("OF","F"), ("EIP","0804848E")];

(* XADD DWORD ESI, DWORD EDX *)
val _ = x86_test "0FC1D6"
   [("ESI","FFFFFFFF"), ("EDX","00000000"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("OF","F"), ("EIP","0804848B")]
   [("ESI","FFFFFFFF"), ("EDX","FFFFFFFF"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804848E")];

(* XADD DWORD [loc15], DWORD ESI *)
val _ = x86_test "0FC135C49B0408"
   [("ESI","50177C13"), ("8049BC4","01"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("EIP","080484A4")]
   [("ESI","00000001"), ("8049BC4","14"), ("8049BC5","7C"), ("8049BC6","17"), ("8049BC7","50"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AB")];

(* XADD DWORD ECX, DWORD EAX *)
val _ = x86_test "0FC1C1"
   [("ECX","00000001"), ("EAX","00000001"), ("OF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","0804848B")]
   [("ECX","00000002"), ("EAX","00000001"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848E")];

(* XADD DWORD [loc49], DWORD EDI *)
val _ = x86_test "0FC13DC49B0408"
   [("EDI","50D59BAF"), ("8049BC4","00"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484A4")]
   [("EDI","00000000"), ("8049BC4","AF"), ("8049BC5","9B"), ("8049BC6","D5"), ("8049BC7","50"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AB")];

(* XADD DWORD EAX, DWORD EDX *)
val _ = x86_test "0FC1D0"
   [("EAX","142D7F14"), ("EDX","FFFFFFFF"), ("SF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EAX","142D7F13"), ("EDX","142D7F14"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848E")];

(* XADD DWORD [loc109], DWORD EDX *)
val _ = x86_test "0FC115C49B0408"
   [("EDX","00000000"), ("8049BC4","59"), ("8049BC5","29"), ("8049BC6","86"), ("8049BC7","46"), ("SF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484A4")]
   [("EDX","46862959"), ("8049BC4","59"), ("8049BC5","29"), ("8049BC6","86"), ("8049BC7","46"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AB")];

(* XADD DWORD [loc113], DWORD ECX *)
val _ = x86_test "0FC10DC49B0408"
   [("ECX","FFFFFFFF"), ("8049BC4","00"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("OF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("SF","F"), ("EIP","080484A4")]
   [("ECX","00000000"), ("8049BC4","FF"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484AB")];

(* XADD DWORD [loc125], DWORD EDX *)
val _ = x86_test "0FC115C49B0408"
   [("EDX","00000000"), ("8049BC4","01"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484A4")]
   [("EDX","00000001"), ("8049BC4","01"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AB")];

(* XADD DWORD EDI, DWORD ECX *)
val _ = x86_test "0FC1CF"
   [("EDI","238043EA"), ("ECX","00000002"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EDI","238043EC"), ("ECX","238043EA"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848E")];

(* XADD DWORD [loc164], DWORD EBP *)
val _ = x86_test "0FC12DC49B0408"
   [("EBP","FFFFFFFF"), ("8049BC4","FE"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("EIP","080484A4")]
   [("EBP","FFFFFFFE"), ("8049BC4","FD"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484AB")];

(* XADD DWORD [EDI + EDX], DWORD EBX *)
val _ = x86_test "0FC11C17"
   [("EDI","08049BD4"), ("EDX","0000000E"), ("EBX","FFFFFFFF"), ("8049BE2","00"), ("8049BE3","00"), ("8049BE4","00"), ("8049BE5","00"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("OF","F"), ("EIP","080484AB")]
   [("EDI","08049BD4"), ("EDX","0000000E"), ("EBX","00000000"), ("8049BE2","FF"), ("8049BE3","FF"), ("8049BE4","FF"), ("8049BE5","FF"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484AF")];

(* XADD DWORD [EAX + 8*EBP], DWORD EDX *)
val _ = x86_test "0FC114E8"
   [("EAX","08049BD4"), ("EBP","00000001"), ("EDX","00000001"), ("8049BDC","FF"), ("8049BDD","FF"), ("8049BDE","FF"), ("8049BDF","FF"), ("OF","T"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("EIP","080484AB")]
   [("EAX","08049BD4"), ("EBP","00000001"), ("EDX","FFFFFFFF"), ("8049BDC","00"), ("8049BDD","00"), ("8049BDE","00"), ("8049BDF","00"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("SF","F"), ("OF","F"), ("EIP","080484AF")];

(* XADD DWORD [loc209], DWORD EBX *)
val _ = x86_test "0FC11DC49B0408"
   [("EBX","00000001"), ("8049BC4","00"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("OF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","080484A4")]
   [("EBX","00000000"), ("8049BC4","01"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AB")];

(* XADD DWORD ECX, DWORD EDX *)
val _ = x86_test "0FC1D1"
   [("ECX","FFFFFFFE"), ("EDX","3B1F9C6C"), ("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("EIP","0804848B")]
   [("ECX","3B1F9C6A"), ("EDX","FFFFFFFE"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848E")];

(* XADD DWORD [loc218], DWORD ESI *)
val _ = x86_test "0FC135C49B0408"
   [("ESI","00000000"), ("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","01"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AB")];

(* XADD DWORD ECX, DWORD ESI *)
val _ = x86_test "0FC1F1"
   [("ECX","FFFFFFFE"), ("ESI","5E1A60C1"), ("OF","T"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("EIP","0804848B")]
   [("ECX","5E1A60BF"), ("ESI","FFFFFFFE"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848E")];

(* XADD DWORD EAX, DWORD EDX *)
val _ = x86_test "0FC1D0"
   [("EAX","00000001"), ("EDX","00000001"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EAX","00000002"), ("EDX","00000001"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848E")];

(* XADD DWORD ESI, DWORD EBX *)
val _ = x86_test "0FC1DE"
   [("ESI","FFFFFFFE"), ("EBX","00000001"), ("OF","T"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("EIP","0804848B")]
   [("ESI","FFFFFFFF"), ("EBX","FFFFFFFE"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804848E")];

(* XADD DWORD EAX, DWORD ECX *)
val _ = x86_test "0FC1C8"
   [("EAX","00000000"), ("ECX","46CF1499"), ("OF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("SF","F"), ("EIP","0804848B")]
   [("EAX","46CF1499"), ("ECX","00000000"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848E")];

(* XADD DWORD [EDX + EBX], DWORD EBP *)
val _ = x86_test "0FC12C1A"
   [("EDX","08049BD4"), ("EBX","0000003B"), ("EBP","00000002"), ("8049C0F","02"), ("8049C10","00"), ("8049C11","00"), ("8049C12","00"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AB")]
   [("EDX","08049BD4"), ("EBX","0000003B"), ("EBP","00000002"), ("8049C0F","04"), ("8049C10","00"), ("8049C11","00"), ("8049C12","00"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AF")];

(* XADD DWORD [ECX + EDX+2], DWORD EBP *)
val _ = x86_test "0FC16C1102"
   [("ECX","08049BD4"), ("EDX","00000014"), ("EBP","00000001"), ("8049BEA","02"), ("8049BEB","00"), ("8049BEC","00"), ("8049BED","00"), ("OF","T"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("EIP","080484AC")]
   [("ECX","08049BD4"), ("EDX","00000014"), ("EBP","00000002"), ("8049BEA","03"), ("8049BEB","00"), ("8049BEC","00"), ("8049BED","00"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484B1")];

(* XADD DWORD [EDX + EBX], DWORD EDI *)
val _ = x86_test "0FC13C1A"
   [("EDX","08049BD4"), ("EBX","00000097"), ("EDI","00000000"), ("8049C6B","FF"), ("8049C6C","FF"), ("8049C6D","FF"), ("8049C6E","FF"), ("OF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","080484AB")]
   [("EDX","08049BD4"), ("EBX","00000097"), ("EDI","FFFFFFFF"), ("8049C6B","FF"), ("8049C6C","FF"), ("8049C6D","FF"), ("8049C6E","FF"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484AF")];

(* XADD DWORD [ECX + 4*EAX], DWORD ESI *)
val _ = x86_test "0FC13481"
   [("ECX","08049BD4"), ("EAX","00000006"), ("ESI","FFFFFFFE"), ("8049BEC","FF"), ("8049BED","FF"), ("8049BEE","FF"), ("8049BEF","FF"), ("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("EIP","080484AB")]
   [("ECX","08049BD4"), ("EAX","00000006"), ("ESI","FFFFFFFF"), ("8049BEC","FD"), ("8049BED","FF"), ("8049BEE","FF"), ("8049BEF","FF"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484AF")];

(* XADD DWORD EDX, DWORD EDI *)
val _ = x86_test "0FC1FA"
   [("EDX","FFFFFFFE"), ("EDI","FFFFFFFE"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EDX","FFFFFFFC"), ("EDI","FFFFFFFE"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("OF","F"), ("EIP","0804848E")];

(* XADD DWORD [loc25], DWORD ESI *)
val _ = x86_test "0FC135C49B0408"
   [("ESI","00000001"), ("8049BC4","01"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("OF","F"), ("EIP","080484A4")]
   [("ESI","00000001"), ("8049BC4","02"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AB")];

(* XADD DWORD [ECX + 4*EBP], DWORD EAX *)
val _ = x86_test "0FC104A9"
   [("ECX","08049BD4"), ("EBP","00000013"), ("EAX","00000002"), ("8049C20","02"), ("8049C21","00"), ("8049C22","00"), ("8049C23","00"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("EIP","080484AB")]
   [("ECX","08049BD4"), ("EBP","00000013"), ("EAX","00000002"), ("8049C20","04"), ("8049C21","00"), ("8049C22","00"), ("8049C23","00"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AF")];

(* XADD DWORD EDX, DWORD ESI *)
val _ = x86_test "0FC1F2"
   [("EDX","FFFFFFFF"), ("ESI","FFFFFFFE"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("EIP","0804848B")]
   [("EDX","FFFFFFFD"), ("ESI","FFFFFFFF"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804848E")];

(* XADD DWORD [EBX + ESI+37], DWORD EDI *)
val _ = x86_test "0FC17C3325"
   [("EBX","08049BD4"), ("ESI","00000032"), ("EDI","FFFFFFFE"), ("8049C2B","FE"), ("8049C2C","FF"), ("8049C2D","FF"), ("8049C2E","FF"), ("OF","T"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("EIP","080484AC")]
   [("EBX","08049BD4"), ("ESI","00000032"), ("EDI","FFFFFFFE"), ("8049C2B","FC"), ("8049C2C","FF"), ("8049C2D","FF"), ("8049C2E","FF"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("OF","F"), ("EIP","080484B1")];

(* XADD DWORD [loc57], DWORD EBX *)
val _ = x86_test "0FC11DC49B0408"
   [("EBX","FFFFFFFF"), ("8049BC4","FF"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","080484A4")]
   [("EBX","FFFFFFFF"), ("8049BC4","FE"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484AB")];

(* XADD DWORD [EBX + EAX], DWORD ESI *)
val _ = x86_test "0FC13403"
   [("EBX","08049BD4"), ("EAX","0000000B"), ("ESI","FFFFFFFF"), ("8049BDF","00"), ("8049BE0","00"), ("8049BE1","00"), ("8049BE2","00"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("EIP","080484AB")]
   [("EBX","08049BD4"), ("EAX","0000000B"), ("ESI","00000000"), ("8049BDF","FF"), ("8049BE0","FF"), ("8049BE1","FF"), ("8049BE2","FF"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484AF")];

(* XADD DWORD [loc78], DWORD ESI *)
val _ = x86_test "0FC135C49B0408"
   [("ESI","73D25BFD"), ("8049BC4","00"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("OF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","080484A4")]
   [("ESI","00000000"), ("8049BC4","FD"), ("8049BC5","5B"), ("8049BC6","D2"), ("8049BC7","73"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AB")];

(* XADD DWORD EBX, DWORD EDI *)
val _ = x86_test "0FC1FB"
   [("EBX","FFFFFFFE"), ("EDI","FFFFFFFE"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EBX","FFFFFFFC"), ("EDI","FFFFFFFE"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("OF","F"), ("EIP","0804848E")];

(* XADD DWORD [loc115], DWORD ESI *)
val _ = x86_test "0FC135C49B0408"
   [("ESI","00000000"), ("8049BC4","00"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("EIP","080484A4")]
   [("ESI","00000000"), ("8049BC4","00"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AB")];

(* XADD DWORD EBX, DWORD EDX *)
val _ = x86_test "0FC1D3"
   [("EBX","FFFFFFFF"), ("EDX","FFFFFFFE"), ("SF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EBX","FFFFFFFD"), ("EDX","FFFFFFFF"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804848E")];

(* XADD DWORD [loc44], DWORD EBX *)
val _ = x86_test "0FC11DC49B0408"
   [("EBX","00000001"), ("8049BC4","00"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("OF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","080484A4")]
   [("EBX","00000000"), ("8049BC4","01"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AB")];

(* XADD DWORD ECX, DWORD EBP *)
val _ = x86_test "0FC1E9"
   [("ECX","00000000"), ("EBP","00000001"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("OF","F"), ("EIP","0804848B")]
   [("ECX","00000001"), ("EBP","00000000"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848E")];

(* XADD DWORD [loc0], DWORD EDX *)
val _ = x86_test "0FC115C49B0408"
   [("EDX","FFFFFFFE"), ("8049BC4","01"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("OF","F"), ("EIP","080484A4")]
   [("EDX","00000001"), ("8049BC4","FF"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484AB")];

(* XADD DWORD [EDX + 2*ESI+5], DWORD ECX *)
val _ = x86_test "0FC14C7205"
   [("EDX","08049BD4"), ("ESI","00000027"), ("ECX","26C05E04"), ("8049C27","FE"), ("8049C28","FF"), ("8049C29","FF"), ("8049C2A","FF"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("OF","F"), ("EIP","080484AC")]
   [("EDX","08049BD4"), ("ESI","00000027"), ("ECX","FFFFFFFE"), ("8049C27","02"), ("8049C28","5E"), ("8049C29","C0"), ("8049C2A","26"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484B1")];

(* XADD DWORD EAX, DWORD EBP *)
val _ = x86_test "0FC1E8"
   [("EAX","00000002"), ("EBP","FFFFFFFE"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EAX","00000000"), ("EBP","00000002"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("SF","F"), ("OF","F"), ("EIP","0804848E")];

(* XADD DWORD EDX, DWORD EBX *)
val _ = x86_test "0FC1DA"
   [("EDX","420242F6"), ("EBX","67321663"), ("OF","T"), ("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("EIP","0804848B")]
   [("EDX","A9345959"), ("EBX","420242F6"), ("OF","T"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("EIP","0804848E")];

(* XADD DWORD EBX, DWORD EDI *)
val _ = x86_test "0FC1FB"
   [("EBX","660A265C"), ("EDI","FFFFFFFE"), ("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("EIP","0804848B")]
   [("EBX","660A265A"), ("EDI","660A265C"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848E")];

(* XADD DWORD [EAX + EDI], DWORD EDX *)
val _ = x86_test "0FC11438"
   [("EAX","08049BD4"), ("EDI","0000001B"), ("EDX","00000002"), ("8049BEF","01"), ("8049BF0","00"), ("8049BF1","00"), ("8049BF2","00"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("EIP","080484AB")]
   [("EAX","08049BD4"), ("EDI","0000001B"), ("EDX","00000001"), ("8049BEF","03"), ("8049BF0","00"), ("8049BF1","00"), ("8049BF2","00"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AF")];

(* XADD DWORD [EAX + EDX], DWORD ESI *)
val _ = x86_test "0FC13410"
   [("EAX","08049BD4"), ("EDX","00000010"), ("ESI","48C71843"), ("8049BE4","02"), ("8049BE5","00"), ("8049BE6","00"), ("8049BE7","00"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("EIP","080484AB")]
   [("EAX","08049BD4"), ("EDX","00000010"), ("ESI","00000002"), ("8049BE4","45"), ("8049BE5","18"), ("8049BE6","C7"), ("8049BE7","48"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AF")];

(* XADD DWORD [loc139], DWORD EDI *)
val _ = x86_test "0FC13DC49B0408"
   [("EDI","2B00CF0D"), ("8049BC4","00"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("EIP","080484A4")]
   [("EDI","00000000"), ("8049BC4","0D"), ("8049BC5","CF"), ("8049BC6","00"), ("8049BC7","2B"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AB")];

(* XADD DWORD [EDX + 8*ESI+38], DWORD EDI *)
val _ = x86_test "0FC17CF226"
   [("EDX","08049BD4"), ("ESI","0000000A"), ("EDI","00000002"), ("8049C4A","FF"), ("8049C4B","FF"), ("8049C4C","FF"), ("8049C4D","FF"), ("OF","T"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("EIP","080484AC")]
   [("EDX","08049BD4"), ("ESI","0000000A"), ("EDI","FFFFFFFF"), ("8049C4A","01"), ("8049C4B","00"), ("8049C4C","00"), ("8049C4D","00"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484B1")];

(* XADD DWORD EAX, DWORD EBP *)
val _ = x86_test "0FC1E8"
   [("EAX","00000000"), ("EBP","59BC3B8E"), ("OF","T"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("EIP","0804848B")]
   [("EAX","59BC3B8E"), ("EBP","00000000"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848E")];

(* XADD DWORD [loc241], DWORD ESI *)
val _ = x86_test "0FC135C49B0408"
   [("ESI","00000002"), ("8049BC4","00"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("OF","T"), ("SF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("EIP","080484A4")]
   [("ESI","00000000"), ("8049BC4","02"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AB")];

(* XADD DWORD [ECX + 2*EAX+13], DWORD EBP *)
val _ = x86_test "0FC16C410D"
   [("ECX","08049BD4"), ("EAX","00000013"), ("EBP","00000001"), ("8049C07","8A"), ("8049C08","CD"), ("8049C09","C2"), ("8049C0A","30"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("EIP","080484AC")]
   [("ECX","08049BD4"), ("EAX","00000013"), ("EBP","30C2CD8A"), ("8049C07","8B"), ("8049C08","CD"), ("8049C09","C2"), ("8049C0A","30"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484B1")];

(* XADD DWORD EDI, DWORD EDX *)
val _ = x86_test "0FC1D7"
   [("EDI","00000002"), ("EDX","FFFFFFFF"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EDI","00000001"), ("EDX","00000002"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848E")];

(* XADD DWORD [loc273], DWORD EDX *)
val _ = x86_test "0FC115C49B0408"
   [("EDX","657B2739"), ("8049BC4","FF"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484A4")]
   [("EDX","FFFFFFFF"), ("8049BC4","38"), ("8049BC5","27"), ("8049BC6","7B"), ("8049BC7","65"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AB")];

(* XADD DWORD EDX, DWORD ESI *)
val _ = x86_test "0FC1F2"
   [("EDX","00000000"), ("ESI","FFFFFFFF"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("EIP","0804848B")]
   [("EDX","FFFFFFFF"), ("ESI","00000000"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804848E")];

(* XADD DWORD EAX, DWORD ESI *)
val _ = x86_test "0FC1F0"
   [("EAX","00000002"), ("ESI","00000002"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EAX","00000004"), ("ESI","00000002"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848E")];

(* XADD DWORD ECX, DWORD EDX *)
val _ = x86_test "0FC1D1"
   [("ECX","0708289F"), ("EDX","FFFFFFFE"), ("OF","T"), ("SF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("EIP","0804848B")]
   [("ECX","0708289D"), ("EDX","0708289F"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848E")];

(* XADD DWORD EBX, DWORD ESI *)
val _ = x86_test "0FC1F3"
   [("EBX","2ADED7F4"), ("ESI","00000000"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("EIP","0804848B")]
   [("EBX","2ADED7F4"), ("ESI","2ADED7F4"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848E")];

(* XADD DWORD EBP, DWORD EDX *)
val _ = x86_test "0FC1D5"
   [("EBP","6FD4EFE8"), ("EDX","FFFFFFFE"), ("OF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("SF","F"), ("EIP","0804848B")]
   [("EBP","6FD4EFE6"), ("EDX","6FD4EFE8"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848E")];

(* XADD DWORD [ESI + EBX+29], DWORD EBP *)
val _ = x86_test "0FC16C1E1D"
   [("ESI","08049BD4"), ("EBX","0000001D"), ("EBP","00000001"), ("8049C0E","01"), ("8049C0F","00"), ("8049C10","00"), ("8049C11","00"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("OF","F"), ("EIP","080484AC")]
   [("ESI","08049BD4"), ("EBX","0000001D"), ("EBP","00000001"), ("8049C0E","02"), ("8049C0F","00"), ("8049C10","00"), ("8049C11","00"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484B1")];

(* XADD DWORD [ECX + 8*EDI], DWORD ESI *)
val _ = x86_test "0FC134F9"
   [("ECX","08049BD4"), ("EDI","00000001"), ("ESI","00000001"), ("8049BDC","01"), ("8049BDD","00"), ("8049BDE","00"), ("8049BDF","00"), ("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484AB")]
   [("ECX","08049BD4"), ("EDI","00000001"), ("ESI","00000001"), ("8049BDC","02"), ("8049BDD","00"), ("8049BDE","00"), ("8049BDF","00"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AF")];

(* XADD DWORD [loc162], DWORD ESI *)
val _ = x86_test "0FC135C49B0408"
   [("ESI","FFFFFFFE"), ("8049BC4","01"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","080484A4")]
   [("ESI","00000001"), ("8049BC4","FF"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484AB")];

(* XADD DWORD EBX, DWORD EBP *)
val _ = x86_test "0FC1EB"
   [("EBX","6D1FACD2"), ("EBP","00000000"), ("SF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EBX","6D1FACD2"), ("EBP","6D1FACD2"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848E")];

(* XADD DWORD [EBP + 4*ECX], DWORD EDI *)
val _ = x86_test "0FC17C8D00"
   [("EBP","08049BD4"), ("ECX","0000001D"), ("EDI","00000000"), ("8049C48","01"), ("8049C49","00"), ("8049C4A","00"), ("8049C4B","00"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("EIP","080484AC")]
   [("EBP","08049BD4"), ("ECX","0000001D"), ("EDI","00000001"), ("8049C48","01"), ("8049C49","00"), ("8049C4A","00"), ("8049C4B","00"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484B1")];

(* XADD DWORD ESI, DWORD EAX *)
val _ = x86_test "0FC1C6"
   [("ESI","00000002"), ("EAX","FFFFFFFE"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848B")]
   [("ESI","00000000"), ("EAX","00000002"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("SF","F"), ("OF","F"), ("EIP","0804848E")];

(* XADD DWORD [EAX + 4*EDI+3], DWORD EBP *)
val _ = x86_test "0FC16CB803"
   [("EAX","08049BD4"), ("EDI","00000003"), ("EBP","FFFFFFFE"), ("8049BE3","01"), ("8049BE4","00"), ("8049BE5","00"), ("8049BE6","00"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AC")]
   [("EAX","08049BD4"), ("EDI","00000003"), ("EBP","00000001"), ("8049BE3","FF"), ("8049BE4","FF"), ("8049BE5","FF"), ("8049BE6","FF"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484B1")];

(* XADD DWORD EBX, DWORD EBP *)
val _ = x86_test "0FC1EB"
   [("EBX","00000001"), ("EBP","FFFFFFFE"), ("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("EIP","0804848B")]
   [("EBX","FFFFFFFF"), ("EBP","00000001"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804848E")];

(* XADD DWORD [EAX + 4*EBP], DWORD EBX *)
val _ = x86_test "0FC11CA8"
   [("EAX","08049BD4"), ("EBP","0000000B"), ("EBX","00000001"), ("8049C00","02"), ("8049C01","00"), ("8049C02","00"), ("8049C03","00"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("OF","F"), ("EIP","080484AB")]
   [("EAX","08049BD4"), ("EBP","0000000B"), ("EBX","00000002"), ("8049C00","03"), ("8049C01","00"), ("8049C02","00"), ("8049C03","00"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AF")];

(* XADD DWORD EBX, DWORD EBP *)
val _ = x86_test "0FC1EB"
   [("EBX","00000001"), ("EBP","79EFD184"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EBX","79EFD185"), ("EBP","00000001"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848E")];

(* XADD DWORD ECX, DWORD EBP *)
val _ = x86_test "0FC1E9"
   [("ECX","00000000"), ("EBP","7D3D8922"), ("OF","T"), ("SF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("EIP","0804848B")]
   [("ECX","7D3D8922"), ("EBP","00000000"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848E")];

(* XADD DWORD EDI, DWORD ESI *)
val _ = x86_test "0FC1F7"
   [("EDI","7C2C5AD0"), ("ESI","FFFFFFFF"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EDI","7C2C5ACF"), ("ESI","7C2C5AD0"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848E")];

(* XADD DWORD ECX, DWORD EBX *)
val _ = x86_test "0FC1D9"
   [("ECX","00000002"), ("EBX","00000001"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("EIP","0804848B")]
   [("ECX","00000003"), ("EBX","00000002"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848E")];

(* XADD DWORD [loc50], DWORD ECX *)
val _ = x86_test "0FC10DC49B0408"
   [("ECX","00000000"), ("8049BC4","FE"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("EIP","080484A4")]
   [("ECX","FFFFFFFE"), ("8049BC4","FE"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("SF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484AB")];

(* XADD DWORD [loc59], DWORD ECX *)
val _ = x86_test "0FC10DC49B0408"
   [("ECX","7C51BCEC"), ("8049BC4","01"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("SF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484A4")]
   [("ECX","00000001"), ("8049BC4","ED"), ("8049BC5","BC"), ("8049BC6","51"), ("8049BC7","7C"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AB")];

(* XADD DWORD [loc71], DWORD EAX *)
val _ = x86_test "0FC105C49B0408"
   [("EAX","7B906E9A"), ("8049BC4","FE"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484A4")]
   [("EAX","FFFFFFFE"), ("8049BC4","98"), ("8049BC5","6E"), ("8049BC6","90"), ("8049BC7","7B"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AB")];

(* XADD DWORD [loc77], DWORD EBX *)
val _ = x86_test "0FC11DC49B0408"
   [("EBX","FFFFFFFF"), ("8049BC4","00"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("OF","F"), ("EIP","080484A4")]
   [("EBX","00000000"), ("8049BC4","FF"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484AB")];

(* XADD DWORD [EDX + ESI], DWORD ECX *)
val _ = x86_test "0FC10C32"
   [("EDX","08049BD4"), ("ESI","0000001F"), ("ECX","FFFFFFFF"), ("8049BF3","FF"), ("8049BF4","FF"), ("8049BF5","FF"), ("8049BF6","FF"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("OF","F"), ("EIP","080484AB")]
   [("EDX","08049BD4"), ("ESI","0000001F"), ("ECX","FFFFFFFF"), ("8049BF3","FE"), ("8049BF4","FF"), ("8049BF5","FF"), ("8049BF6","FF"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484AF")];

(* XADD DWORD EAX, DWORD EBP *)
val _ = x86_test "0FC1E8"
   [("EAX","00000000"), ("EBP","00000000"), ("SF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EAX","00000000"), ("EBP","00000000"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848E")];

(* XADD DWORD [loc110], DWORD ECX *)
val _ = x86_test "0FC10DC49B0408"
   [("ECX","FFFFFFFE"), ("8049BC4","02"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484A4")]
   [("ECX","00000002"), ("8049BC4","00"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("SF","F"), ("OF","F"), ("EIP","080484AB")];

(* XADD DWORD [EAX + EBX], DWORD EBP *)
val _ = x86_test "0FC12C18"
   [("EAX","08049BD4"), ("EBX","0000008F"), ("EBP","00000000"), ("8049C63","02"), ("8049C64","00"), ("8049C65","00"), ("8049C66","00"), ("OF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("SF","F"), ("EIP","080484AB")]
   [("EAX","08049BD4"), ("EBX","0000008F"), ("EBP","00000002"), ("8049C63","02"), ("8049C64","00"), ("8049C65","00"), ("8049C66","00"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AF")];

(* XADD DWORD EDI, DWORD EDX *)
val _ = x86_test "0FC1D7"
   [("EDI","00000000"), ("EDX","FFFFFFFF"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EDI","FFFFFFFF"), ("EDX","00000000"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804848E")];

(* XADD DWORD EDI, DWORD EBP *)
val _ = x86_test "0FC1EF"
   [("EDI","00000001"), ("EBP","00000002"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EDI","00000003"), ("EBP","00000001"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848E")];

(* XADD DWORD [loc174], DWORD ECX *)
val _ = x86_test "0FC10DC49B0408"
   [("ECX","FFFFFFFF"), ("8049BC4","FF"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("EIP","080484A4")]
   [("ECX","FFFFFFFF"), ("8049BC4","FE"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484AB")];

(* XADD DWORD ECX, DWORD ESI *)
val _ = x86_test "0FC1F1"
   [("ECX","FFFFFFFF"), ("ESI","FFFFFFFE"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","0804848B")]
   [("ECX","FFFFFFFD"), ("ESI","FFFFFFFF"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804848E")];

(* XADD DWORD EBX, DWORD ECX *)
val _ = x86_test "0FC1CB"
   [("EBX","00000002"), ("ECX","640B52D5"), ("OF","T"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("EIP","0804848B")]
   [("EBX","640B52D7"), ("ECX","00000002"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848E")];

(* XADD DWORD [EDI + ECX+25], DWORD EBP *)
val _ = x86_test "0FC16C0F19"
   [("EDI","08049BD4"), ("ECX","00000007"), ("EBP","00000000"), ("8049BF4","01"), ("8049BF5","00"), ("8049BF6","00"), ("8049BF7","00"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("EIP","080484AC")]
   [("EDI","08049BD4"), ("ECX","00000007"), ("EBP","00000001"), ("8049BF4","01"), ("8049BF5","00"), ("8049BF6","00"), ("8049BF7","00"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484B1")];

(* XADD DWORD [loc210], DWORD EBX *)
val _ = x86_test "0FC11DC49B0408"
   [("EBX","00000002"), ("8049BC4","FE"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("OF","T"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("EIP","080484A4")]
   [("EBX","FFFFFFFE"), ("8049BC4","00"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("SF","F"), ("OF","F"), ("EIP","080484AB")];

(* XADD DWORD ESI, DWORD EDX *)
val _ = x86_test "0FC1D6"
   [("ESI","00000000"), ("EDX","00000002"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","0804848B")]
   [("ESI","00000002"), ("EDX","00000000"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848E")];

(* XADD DWORD EAX, DWORD EBX *)
val _ = x86_test "0FC1D8"
   [("EAX","00000000"), ("EBX","FFFFFFFE"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EAX","FFFFFFFE"), ("EBX","00000000"), ("SF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804848E")];

(* XADD DWORD [EDI + 4*EBX+8], DWORD EBP *)
val _ = x86_test "0FC16C9F08"
   [("EDI","08049BD4"), ("EBX","00000000"), ("EBP","00000002"), ("8049BDC","02"), ("8049BDD","00"), ("8049BDE","00"), ("8049BDF","00"), ("OF","T"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("EIP","080484AC")]
   [("EDI","08049BD4"), ("EBX","00000000"), ("EBP","00000002"), ("8049BDC","04"), ("8049BDD","00"), ("8049BDE","00"), ("8049BDF","00"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484B1")];

(* XADD DWORD [EBX + 8*EDX], DWORD EDI *)
val _ = x86_test "0FC13CD3"
   [("EBX","08049BD4"), ("EDX","0000000E"), ("EDI","FFFFFFFF"), ("8049C44","02"), ("8049C45","00"), ("8049C46","00"), ("8049C47","00"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("OF","F"), ("EIP","080484AB")]
   [("EBX","08049BD4"), ("EDX","0000000E"), ("EDI","00000002"), ("8049C44","01"), ("8049C45","00"), ("8049C46","00"), ("8049C47","00"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AF")];