(* CMPXCHG DWORD EBP, DWORD EDX *)
val _ = x86_test "0FB1D5"
   [("EBP","FFFFFFFF"), ("EDX","00000001"), ("EAX","00000293"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EBP","FFFFFFFF"), ("EDX","00000001"), ("EAX","FFFFFFFF"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848E")];

(* CMPXCHG DWORD EDX, DWORD ESI *)
val _ = x86_test "0FB1F2"
   [("EDX","694D0235"), ("ESI","00000000"), ("EAX","00000AD6"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("EIP","0804848B")]
   [("EDX","694D0235"), ("ESI","00000000"), ("EAX","694D0235"), ("SF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804848E")];

(* CMPXCHG DWORD ECX, DWORD ESI *)
val _ = x86_test "0FB1F1"
   [("ECX","6C00290D"), ("ESI","FFFFFFFF"), ("EAX","00000AC2"), ("OF","T"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("EIP","0804848B")]
   [("ECX","6C00290D"), ("ESI","FFFFFFFF"), ("EAX","6C00290D"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804848E")];

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

(* CMPXCHG DWORD EBP, DWORD ESI *)
val _ = x86_test "0FB1F5"
   [("EBP","FFFFFFFE"), ("ESI","00000000"), ("EAX","00000AD2"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("EIP","0804848B")]
   [("EBP","FFFFFFFE"), ("ESI","00000000"), ("EAX","FFFFFFFE"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848E")];

(* CMPXCHG DWORD [EDI + 8*ESI+18], DWORD EAX *)
val _ = x86_test "0FB144F712"
   [("EDI","08049BD4"), ("ESI","00000002"), ("EAX","FFFFFFFF"), ("8049BF6","02"), ("8049BF7","00"), ("8049BF8","00"), ("8049BF9","00"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("EIP","080484AC")]
   [("EDI","08049BD4"), ("ESI","00000002"), ("EAX","00000002"), ("8049BF6","02"), ("8049BF7","00"), ("8049BF8","00"), ("8049BF9","00"), ("SF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484B1")];

(* CMPXCHG DWORD ESI, DWORD EDX *)
val _ = x86_test "0FB1D6"
   [("ESI","00000002"), ("EDX","720CC5D8"), ("EAX","000002D6"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("OF","F"), ("EIP","0804848B")]
   [("ESI","00000002"), ("EDX","720CC5D8"), ("EAX","00000002"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848E")];

(* CMPXCHG DWORD EAX, DWORD ECX *)
val _ = x86_test "0FB1C8"
   [("EAX","FFFFFFFE"), ("ECX","0186AC4D"), ("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("EIP","0804848B")]
   [("EAX","0186AC4D"), ("ECX","0186AC4D"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848E")];

(* CMPXCHG DWORD [loc315], DWORD EAX *)
val _ = x86_test "0FB105C49B0408"
   [("EAX","00000001"), ("8049BC4","FE"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","080484A4")]
   [("EAX","FFFFFFFE"), ("8049BC4","FE"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AB")];

(* CMPXCHG DWORD EDI, DWORD EBX *)
val _ = x86_test "0FB1DF"
   [("EDI","15803D38"), ("EBX","00000001"), ("EAX","000002C2"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EDI","15803D38"), ("EBX","00000001"), ("EAX","15803D38"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804848E")];

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

(* CMPXCHG DWORD [loc14], DWORD EDI *)
val _ = x86_test "0FB13DC49B0408"
   [("EDI","00000000"), ("EAX","00000A16"), ("8049BC4","7C"), ("8049BC5","32"), ("8049BC6","26"), ("8049BC7","54"), ("OF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("SF","F"), ("EIP","080484A4")]
   [("EDI","00000000"), ("EAX","5426327C"), ("8049BC4","7C"), ("8049BC5","32"), ("8049BC6","26"), ("8049BC7","54"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("OF","F"), ("EIP","080484AB")];

(* CMPXCHG DWORD [loc25], DWORD EBP *)
val _ = x86_test "0FB12DC49B0408"
   [("EBP","7A2CEE1C"), ("EAX","00000A87"), ("8049BC4","00"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("OF","T"), ("SF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("EIP","080484A4")]
   [("EBP","7A2CEE1C"), ("EAX","00000000"), ("8049BC4","00"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AB")];

(* CMPXCHG DWORD EBP, DWORD ESI *)
val _ = x86_test "0FB1F5"
   [("EBP","0D6EC957"), ("ESI","00000002"), ("EAX","000002D7"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("OF","F"), ("EIP","0804848B")]
   [("EBP","0D6EC957"), ("ESI","00000002"), ("EAX","0D6EC957"), ("SF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804848E")];

(* CMPXCHG DWORD [ESI + EBP+20], DWORD EDI *)
val _ = x86_test "0FB17C2E14"
   [("ESI","08049BD4"), ("EBP","00000008"), ("EDI","5C234048"), ("EAX","00000282"), ("8049BF0","C8"), ("8049BF1","48"), ("8049BF2","5D"), ("8049BF3","69"), ("SF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484AC")]
   [("ESI","08049BD4"), ("EBP","00000008"), ("EDI","5C234048"), ("EAX","695D48C8"), ("8049BF0","C8"), ("8049BF1","48"), ("8049BF2","5D"), ("8049BF3","69"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484B1")];

(* CMPXCHG DWORD [loc22], DWORD ECX *)
val _ = x86_test "0FB10DC49B0408"
   [("ECX","00000000"), ("EAX","000002D2"), ("8049BC4","02"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("OF","F"), ("EIP","080484A4")]
   [("ECX","00000000"), ("EAX","00000002"), ("8049BC4","02"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AB")];

(* CMPXCHG DWORD [EAX + EBP], DWORD ECX *)
val _ = x86_test "0FB10C28"
   [("EAX","08049BD4"), ("EBP","00000008"), ("ECX","FFFFFFFE"), ("8049BDC","01"), ("8049BDD","00"), ("8049BDE","00"), ("8049BDF","00"), ("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("EIP","080484AB")]
   [("EAX","00000001"), ("EBP","00000008"), ("ECX","FFFFFFFE"), ("8049BDC","01"), ("8049BDD","00"), ("8049BDE","00"), ("8049BDF","00"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AF")];

(* CMPXCHG DWORD EBX, DWORD EBP *)
val _ = x86_test "0FB1EB"
   [("EBX","FFFFFFFF"), ("EBP","08CD870C"), ("EAX","00000AC3"), ("OF","T"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("EIP","0804848B")]
   [("EBX","FFFFFFFF"), ("EBP","08CD870C"), ("EAX","FFFFFFFF"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848E")];

(* CMPXCHG DWORD [loc80], DWORD EBP *)
val _ = x86_test "0FB12DC49B0408"
   [("EBP","72B4CA12"), ("EAX","00000AD7"), ("8049BC4","D5"), ("8049BC5","DE"), ("8049BC6","57"), ("8049BC7","4F"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("EIP","080484A4")]
   [("EBP","72B4CA12"), ("EAX","4F57DED5"), ("8049BC4","D5"), ("8049BC5","DE"), ("8049BC6","57"), ("8049BC7","4F"), ("SF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484AB")];

(* CMPXCHG DWORD [loc86], DWORD ECX *)
val _ = x86_test "0FB10DC49B0408"
   [("ECX","00000001"), ("EAX","00000AC6"), ("8049BC4","00"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("EIP","080484A4")]
   [("ECX","00000001"), ("EAX","00000000"), ("8049BC4","00"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AB")];

(* CMPXCHG DWORD EBP, DWORD EBX *)
val _ = x86_test "0FB1DD"
   [("EBP","3753A080"), ("EBX","00000001"), ("EAX","00000AC7"), ("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("EIP","0804848B")]
   [("EBP","3753A080"), ("EBX","00000001"), ("EAX","3753A080"), ("SF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804848E")];

(* CMPXCHG DWORD ECX, DWORD ESI *)
val _ = x86_test "0FB1F1"
   [("ECX","00000000"), ("ESI","FFFFFFFE"), ("EAX","00000AC7"), ("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("EIP","0804848B")]
   [("ECX","00000000"), ("ESI","FFFFFFFE"), ("EAX","00000000"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848E")];

(* CMPXCHG DWORD [EDI + 8*ESI+30], DWORD EBP *)
val _ = x86_test "0FB16CF71E"
   [("EDI","08049BD4"), ("ESI","00000005"), ("EBP","FFFFFFFE"), ("EAX","00000A02"), ("8049C1A","E0"), ("8049C1B","FE"), ("8049C1C","48"), ("8049C1D","5C"), ("OF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","080484AC")]
   [("EDI","08049BD4"), ("ESI","00000005"), ("EBP","FFFFFFFE"), ("EAX","5C48FEE0"), ("8049C1A","E0"), ("8049C1B","FE"), ("8049C1C","48"), ("8049C1D","5C"), ("SF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484B1")];

(* CMPXCHG DWORD EDX, DWORD EAX *)
val _ = x86_test "0FB1C2"
   [("EDX","00000000"), ("EAX","6D383F85"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EDX","00000000"), ("EAX","00000000"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848E")];

(* CMPXCHG DWORD [EBX + 8*EBP+31], DWORD ESI *)
val _ = x86_test "0FB174EB1F"
   [("EBX","08049BD4"), ("EBP","00000017"), ("ESI","1CC8E670"), ("EAX","00000A12"), ("8049CAB","97"), ("8049CAC","2E"), ("8049CAD","BC"), ("8049CAE","7C"), ("OF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","080484AC")]
   [("EBX","08049BD4"), ("EBP","00000017"), ("ESI","1CC8E670"), ("EAX","7CBC2E97"), ("8049CAB","97"), ("8049CAC","2E"), ("8049CAD","BC"), ("8049CAE","7C"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("OF","F"), ("EIP","080484B1")];

(* CMPXCHG DWORD [loc17], DWORD EBX *)
val _ = x86_test "0FB11DC49B0408"
   [("EBX","FFFFFFFF"), ("EAX","00000216"), ("8049BC4","9D"), ("8049BC5","33"), ("8049BC6","E8"), ("8049BC7","24"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484A4")]
   [("EBX","FFFFFFFF"), ("EAX","24E8339D"), ("8049BC4","9D"), ("8049BC5","33"), ("8049BC6","E8"), ("8049BC7","24"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484AB")];

(* CMPXCHG DWORD EDX, DWORD EBP *)
val _ = x86_test "0FB1EA"
   [("EDX","00000002"), ("EBP","FFFFFFFF"), ("EAX","00000A87"), ("OF","T"), ("SF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("EIP","0804848B")]
   [("EDX","00000002"), ("EBP","FFFFFFFF"), ("EAX","00000002"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848E")];

(* CMPXCHG DWORD EBP, DWORD ESI *)
val _ = x86_test "0FB1F5"
   [("EBP","00000001"), ("ESI","FFFFFFFF"), ("EAX","000002D3"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EBP","00000001"), ("ESI","FFFFFFFF"), ("EAX","00000001"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848E")];

(* CMPXCHG DWORD [loc134], DWORD EDX *)
val _ = x86_test "0FB115C49B0408"
   [("EDX","FFFFFFFF"), ("EAX","000002C2"), ("8049BC4","FE"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","080484A4")]
   [("EDX","FFFFFFFF"), ("EAX","FFFFFFFE"), ("8049BC4","FE"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AB")];

(* CMPXCHG DWORD EBP, DWORD ESI *)
val _ = x86_test "0FB1F5"
   [("EBP","00000000"), ("ESI","FFFFFFFF"), ("EAX","00000A97"), ("OF","T"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("EIP","0804848B")]
   [("EBP","00000000"), ("ESI","FFFFFFFF"), ("EAX","00000000"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848E")];

(* CMPXCHG DWORD [EAX + 4*EBP], DWORD EDX *)
val _ = x86_test "0FB114A8"
   [("EAX","08049BD4"), ("EBP","0000000F"), ("EDX","00000000"), ("8049C10","FE"), ("8049C11","FF"), ("8049C12","FF"), ("8049C13","FF"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("EIP","080484AB")]
   [("EAX","FFFFFFFE"), ("EBP","0000000F"), ("EDX","00000000"), ("8049C10","FE"), ("8049C11","FF"), ("8049C12","FF"), ("8049C13","FF"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AF")];

(* CMPXCHG DWORD [EBP + 4*EDI+5], DWORD ESI *)
val _ = x86_test "0FB174BD05"
   [("EBP","08049BD4"), ("EDI","00000014"), ("ESI","7745437F"), ("EAX","00000213"), ("8049C29","02"), ("8049C2A","00"), ("8049C2B","00"), ("8049C2C","00"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AC")]
   [("EBP","08049BD4"), ("EDI","00000014"), ("ESI","7745437F"), ("EAX","00000002"), ("8049C29","02"), ("8049C2A","00"), ("8049C2B","00"), ("8049C2C","00"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484B1")];

(* CMPXCHG DWORD [EDX + ECX], DWORD EAX *)
val _ = x86_test "0FB1040A"
   [("EDX","08049BD4"), ("ECX","00000025"), ("EAX","FFFFFFFF"), ("8049BF9","FF"), ("8049BFA","FF"), ("8049BFB","FF"), ("8049BFC","FF"), ("OF","T"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("EIP","080484AB")]
   [("EDX","08049BD4"), ("ECX","00000025"), ("EAX","FFFFFFFF"), ("8049BF9","FF"), ("8049BFA","FF"), ("8049BFB","FF"), ("8049BFC","FF"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AF")];

(* CMPXCHG DWORD [EBP + EDX], DWORD EAX *)
val _ = x86_test "0FB1441500"
   [("EBP","08049BD4"), ("EDX","00000032"), ("EAX","00000000"), ("8049C06","FF"), ("8049C07","FF"), ("8049C08","FF"), ("8049C09","FF"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AC")]
   [("EBP","08049BD4"), ("EDX","00000032"), ("EAX","FFFFFFFF"), ("8049C06","FF"), ("8049C07","FF"), ("8049C08","FF"), ("8049C09","FF"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484B1")];

(* CMPXCHG DWORD [ECX + 2*EBX+37], DWORD EDI *)
val _ = x86_test "0FB17C5925"
   [("ECX","08049BD4"), ("EBX","0000000D"), ("EDI","FFFFFFFE"), ("EAX","00000213"), ("8049C13","00"), ("8049C14","00"), ("8049C15","00"), ("8049C16","00"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AC")]
   [("ECX","08049BD4"), ("EBX","0000000D"), ("EDI","FFFFFFFE"), ("EAX","00000000"), ("8049C13","00"), ("8049C14","00"), ("8049C15","00"), ("8049C16","00"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484B1")];

(* CMPXCHG DWORD [loc245], DWORD ECX *)
val _ = x86_test "0FB10DC49B0408"
   [("ECX","00000001"), ("EAX","000002C6"), ("8049BC4","00"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("OF","F"), ("EIP","080484A4")]
   [("ECX","00000001"), ("EAX","00000000"), ("8049BC4","00"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AB")];

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

(* CMPXCHG DWORD [ECX + EBX], DWORD EBP *)
val _ = x86_test "0FB12C19"
   [("ECX","08049BD4"), ("EBX","000000E4"), ("EBP","FFFFFFFE"), ("EAX","00000AD6"), ("8049CB8","FE"), ("8049CB9","FF"), ("8049CBA","FF"), ("8049CBB","FF"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("EIP","080484AB")]
   [("ECX","08049BD4"), ("EBX","000000E4"), ("EBP","FFFFFFFE"), ("EAX","FFFFFFFE"), ("8049CB8","FE"), ("8049CB9","FF"), ("8049CBA","FF"), ("8049CBB","FF"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AF")];

(* CMPXCHG DWORD [EDI + 2*ECX+14], DWORD EDX *)
val _ = x86_test "0FB1544F0E"
   [("EDI","08049BD4"), ("ECX","00000049"), ("EDX","00000001"), ("EAX","00000A17"), ("8049C74","01"), ("8049C75","00"), ("8049C76","00"), ("8049C77","00"), ("OF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("SF","F"), ("EIP","080484AC")]
   [("EDI","08049BD4"), ("ECX","00000049"), ("EDX","00000001"), ("EAX","00000001"), ("8049C74","01"), ("8049C75","00"), ("8049C76","00"), ("8049C77","00"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484B1")];

(* CMPXCHG DWORD ECX, DWORD EDX *)
val _ = x86_test "0FB1D1"
   [("ECX","00000000"), ("EDX","00000001"), ("EAX","000002C7"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","0804848B")]
   [("ECX","00000000"), ("EDX","00000001"), ("EAX","00000000"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848E")];

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

(* CMPXCHG DWORD [EDI + 8*ECX+31], DWORD ESI *)
val _ = x86_test "0FB174CF1F"
   [("EDI","08049BD4"), ("ECX","00000004"), ("ESI","FFFFFFFE"), ("EAX","000002C7"), ("8049C13","02"), ("8049C14","00"), ("8049C15","00"), ("8049C16","00"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","080484AC")]
   [("EDI","08049BD4"), ("ECX","00000004"), ("ESI","FFFFFFFE"), ("EAX","00000002"), ("8049C13","02"), ("8049C14","00"), ("8049C15","00"), ("8049C16","00"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484B1")];

(* CMPXCHG DWORD [EDI + EBP+6], DWORD EAX *)
val _ = x86_test "0FB1442F06"
   [("EDI","08049BD4"), ("EBP","00000007"), ("EAX","02FAA29A"), ("8049BE1","02"), ("8049BE2","00"), ("8049BE3","00"), ("8049BE4","00"), ("OF","T"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("EIP","080484AC")]
   [("EDI","08049BD4"), ("EBP","00000007"), ("EAX","00000002"), ("8049BE1","02"), ("8049BE2","00"), ("8049BE3","00"), ("8049BE4","00"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484B1")];

(* CMPXCHG DWORD [loc187], DWORD EBX *)
val _ = x86_test "0FB11DC49B0408"
   [("EBX","FFFFFFFE"), ("EAX","00000AC6"), ("8049BC4","01"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("EIP","080484A4")]
   [("EBX","FFFFFFFE"), ("EAX","00000001"), ("8049BC4","01"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AB")];

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

(* CMPXCHG DWORD [loc256], DWORD EAX *)
val _ = x86_test "0FB105C49B0408"
   [("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","01"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("SF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484AB")];

(* CMPXCHG DWORD [loc19], DWORD EDI *)
val _ = x86_test "0FB13DC49B0408"
   [("EDI","1E5EFE49"), ("EAX","00000216"), ("8049BC4","00"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484A4")]
   [("EDI","1E5EFE49"), ("EAX","00000000"), ("8049BC4","00"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AB")];

(* CMPXCHG DWORD EBX, DWORD EDX *)
val _ = x86_test "0FB1D3"
   [("EBX","169BEFDC"), ("EDX","00000002"), ("EAX","000002C7"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EBX","169BEFDC"), ("EDX","00000002"), ("EAX","169BEFDC"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("OF","F"), ("EIP","0804848E")];

(* CMPXCHG DWORD [EDX + EBP+38], DWORD EBX *)
val _ = x86_test "0FB15C2A26"
   [("EDX","08049BD4"), ("EBP","00000007"), ("EBX","FFFFFFFE"), ("EAX","00000283"), ("8049C01","01"), ("8049C02","00"), ("8049C03","00"), ("8049C04","00"), ("SF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484AC")]
   [("EDX","08049BD4"), ("EBP","00000007"), ("EBX","FFFFFFFE"), ("EAX","00000001"), ("8049C01","01"), ("8049C02","00"), ("8049C03","00"), ("8049C04","00"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484B1")];

(* CMPXCHG DWORD [loc49], DWORD EBX *)
val _ = x86_test "0FB11DC49B0408"
   [("EBX","00000001"), ("EAX","00000296"), ("8049BC4","FF"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484A4")]
   [("EBX","00000001"), ("EAX","FFFFFFFF"), ("8049BC4","FF"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AB")];

(* CMPXCHG DWORD [loc53], DWORD EDI *)
val _ = x86_test "0FB13DC49B0408"
   [("EDI","00000002"), ("EAX","00000292"), ("8049BC4","00"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484A4")]
   [("EDI","00000002"), ("EAX","00000000"), ("8049BC4","00"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AB")];

(* CMPXCHG DWORD EBX, DWORD ESI *)
val _ = x86_test "0FB1F3"
   [("EBX","FFFFFFFF"), ("ESI","00000001"), ("EAX","00000AC6"), ("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("EIP","0804848B")]
   [("EBX","FFFFFFFF"), ("ESI","00000001"), ("EAX","FFFFFFFF"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848E")];

(* CMPXCHG DWORD ESI, DWORD EBX *)
val _ = x86_test "0FB1DE"
   [("ESI","00000002"), ("EBX","FFFFFFFE"), ("EAX","000002D6"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("OF","F"), ("EIP","0804848B")]
   [("ESI","00000002"), ("EBX","FFFFFFFE"), ("EAX","00000002"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848E")];

(* CMPXCHG DWORD [ESI + EBP+9], DWORD ECX *)
val _ = x86_test "0FB14C2E09"
   [("ESI","08049BD4"), ("EBP","0000004F"), ("ECX","FFFFFFFE"), ("EAX","00000A93"), ("8049C2C","02"), ("8049C2D","00"), ("8049C2E","00"), ("8049C2F","00"), ("OF","T"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("EIP","080484AC")]
   [("ESI","08049BD4"), ("EBP","0000004F"), ("ECX","FFFFFFFE"), ("EAX","00000002"), ("8049C2C","02"), ("8049C2D","00"), ("8049C2E","00"), ("8049C2F","00"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484B1")];

(* CMPXCHG DWORD EBX, DWORD EDI *)
val _ = x86_test "0FB1FB"
   [("EBX","00000000"), ("EDI","FFFFFFFF"), ("EAX","00000A16"), ("OF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("SF","F"), ("EIP","0804848B")]
   [("EBX","00000000"), ("EDI","FFFFFFFF"), ("EAX","00000000"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848E")];

(* CMPXCHG DWORD ESI, DWORD EDI *)
val _ = x86_test "0FB1FE"
   [("ESI","FFFFFFFE"), ("EDI","FFFFFFFE"), ("EAX","000002D6"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("OF","F"), ("EIP","0804848B")]
   [("ESI","FFFFFFFE"), ("EDI","FFFFFFFE"), ("EAX","FFFFFFFE"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848E")];

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

(* CMPXCHG DWORD EBX, DWORD EBP *)
val _ = x86_test "0FB1EB"
   [("EBX","00000000"), ("EBP","6AB697B2"), ("EAX","00000A96"), ("OF","T"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("EIP","0804848B")]
   [("EBX","00000000"), ("EBP","6AB697B2"), ("EAX","00000000"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848E")];

(* CMPXCHG DWORD [loc225], DWORD ESI *)
val _ = x86_test "0FB135C49B0408"
   [("ESI","00000001"), ("EAX","000002D2"), ("8049BC4","02"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("OF","F"), ("EIP","080484A4")]
   [("ESI","00000001"), ("EAX","00000002"), ("8049BC4","02"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AB")];

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

(* CMPXCHG DWORD [loc283], DWORD ESI *)
val _ = x86_test "0FB135C49B0408"
   [("ESI","00000000"), ("EAX","00000296"), ("8049BC4","01"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484A4")]
   [("ESI","00000000"), ("EAX","00000001"), ("8049BC4","01"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AB")];

(* CMPXCHG DWORD [ECX + ESI], DWORD EDI *)
val _ = x86_test "0FB13C31"
   [("ECX","08049BD4"), ("ESI","00000002"), ("EDI","FFFFFFFE"), ("EAX","00000217"), ("8049BD6","01"), ("8049BD7","00"), ("8049BD8","00"), ("8049BD9","00"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AB")]
   [("ECX","08049BD4"), ("ESI","00000002"), ("EDI","FFFFFFFE"), ("EAX","00000001"), ("8049BD6","01"), ("8049BD7","00"), ("8049BD8","00"), ("8049BD9","00"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AF")];

(* CMPXCHG DWORD EBX, DWORD EDI *)
val _ = x86_test "0FB1FB"
   [("EBX","00000001"), ("EDI","FFFFFFFF"), ("EAX","00000A97"), ("OF","T"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("EIP","0804848B")]
   [("EBX","00000001"), ("EDI","FFFFFFFF"), ("EAX","00000001"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848E")];