(* CMOVNE DWORD EAX, DWORD ESI *)
val _ = x86_test "0F45C6"
   [("EAX","FFFFFFFF"), ("ESI","62AE8578"), ("OF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","0804848B")]
   [("EAX","62AE8578"), ("ESI","62AE8578"), ("OF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","0804848E")];

(* CMOVNE DWORD ECX, DWORD EDI *)
val _ = x86_test "0F45CF"
   [("ECX","31D3B113"), ("EDI","FFFFFFFF"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804848B")]
   [("ECX","FFFFFFFF"), ("EDI","FFFFFFFF"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804848E")];

(* CMOVNE DWORD EBP, DWORD [ESI + 4*EDX+2] *)
val _ = x86_test "0F456C9602"
   [("EBP","00000002"), ("ESI","08049BD4"), ("EDX","00000003"), ("8049BE2","02"), ("8049BE3","00"), ("8049BE4","00"), ("8049BE5","00"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AC")]
   [("EBP","00000002"), ("ESI","08049BD4"), ("EDX","00000003"), ("8049BE2","02"), ("8049BE3","00"), ("8049BE4","00"), ("8049BE5","00"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484B1")];

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

(* CMOVNE DWORD EDX, DWORD [EDI + 8*EBX] *)
val _ = x86_test "0F4514DF"
   [("EDX","00000000"), ("EDI","08049BD4"), ("EBX","00000011"), ("8049C5C","FE"), ("8049C5D","FF"), ("8049C5E","FF"), ("8049C5F","FF"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("EIP","080484AB")]
   [("EDX","00000000"), ("EDI","08049BD4"), ("EBX","00000011"), ("8049C5C","FE"), ("8049C5D","FF"), ("8049C5E","FF"), ("8049C5F","FF"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("EIP","080484AF")];

(* CMOVNE DWORD EDX, DWORD [loc2] *)
val _ = x86_test "0F4515C49B0408"
   [("EDX","FFFFFFFE"), ("8049BC4","FE"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("OF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","080484A4")]
   [("EDX","FFFFFFFE"), ("8049BC4","FE"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("OF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","080484AB")];

(* CMOVNE DWORD EBP, DWORD [EDI + 2*EBX+2] *)
val _ = x86_test "0F456C5F02"
   [("EBP","FFFFFFFE"), ("EDI","08049BD4"), ("EBX","00000016"), ("8049C02","02"), ("8049C03","00"), ("8049C04","00"), ("8049C05","00"), ("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("EIP","080484AC")]
   [("EBP","FFFFFFFE"), ("EDI","08049BD4"), ("EBX","00000016"), ("8049C02","02"), ("8049C03","00"), ("8049C04","00"), ("8049C05","00"), ("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("EIP","080484B1")];

(* CMOVNE DWORD EBX, DWORD [EAX + EDX+38] *)
val _ = x86_test "0F455C1026"
   [("EBX","00000002"), ("EAX","08049BD4"), ("EDX","00000031"), ("8049C2B","66"), ("8049C2C","46"), ("8049C2D","8C"), ("8049C2E","28"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AC")]
   [("EBX","288C4666"), ("EAX","08049BD4"), ("EDX","00000031"), ("8049C2B","66"), ("8049C2C","46"), ("8049C2D","8C"), ("8049C2E","28"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484B1")];

(* CMOVNE DWORD EDI, DWORD ESI *)
val _ = x86_test "0F45FE"
   [("EDI","00000001"), ("ESI","61038198"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EDI","61038198"), ("ESI","61038198"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848E")];

(* CMOVNE DWORD ESI, DWORD [EAX + 2*EDI] *)
val _ = x86_test "0F453478"
   [("ESI","00000000"), ("EAX","08049BD4"), ("EDI","0000000C"), ("8049BEC","FE"), ("8049BED","FF"), ("8049BEE","FF"), ("8049BEF","FF"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("OF","F"), ("EIP","080484AB")]
   [("ESI","00000000"), ("EAX","08049BD4"), ("EDI","0000000C"), ("8049BEC","FE"), ("8049BED","FF"), ("8049BEE","FF"), ("8049BEF","FF"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("OF","F"), ("EIP","080484AF")];

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

(* CMOVNE DWORD ECX, DWORD EDX *)
val _ = x86_test "0F45CA"
   [("ECX","00000002"), ("EDX","2C8AA8B2"), ("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804848B")]
   [("ECX","2C8AA8B2"), ("EDX","2C8AA8B2"), ("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804848E")];

(* CMOVNE DWORD EDX, DWORD EDI *)
val _ = x86_test "0F45D7"
   [("EDX","14FF137D"), ("EDI","6F108CB1"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("EIP","0804848B")]
   [("EDX","14FF137D"), ("EDI","6F108CB1"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("EIP","0804848E")];

(* CMOVNE DWORD ESI, DWORD [EDX + 4*ECX+16] *)
val _ = x86_test "0F45748A10"
   [("ESI","00000000"), ("EDX","08049BD4"), ("ECX","00000016"), ("8049C3C","FF"), ("8049C3D","FF"), ("8049C3E","FF"), ("8049C3F","FF"), ("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484AC")]
   [("ESI","FFFFFFFF"), ("EDX","08049BD4"), ("ECX","00000016"), ("8049C3C","FF"), ("8049C3D","FF"), ("8049C3E","FF"), ("8049C3F","FF"), ("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484B1")];

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

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

(* CMOVNE DWORD EBP, DWORD [EAX + ESI+39] *)
val _ = x86_test "0F456C3027"
   [("EBP","00000002"), ("EAX","08049BD4"), ("ESI","0000000A"), ("8049C05","FF"), ("8049C06","FF"), ("8049C07","FF"), ("8049C08","FF"), ("OF","T"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("EIP","080484AC")]
   [("EBP","FFFFFFFF"), ("EAX","08049BD4"), ("ESI","0000000A"), ("8049C05","FF"), ("8049C06","FF"), ("8049C07","FF"), ("8049C08","FF"), ("OF","T"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("EIP","080484B1")];

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

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

(* CMOVNE DWORD ECX, DWORD [EDX + ESI] *)
val _ = x86_test "0F450C32"
   [("ECX","00000000"), ("EDX","08049BD4"), ("ESI","00000015"), ("8049BE9","01"), ("8049BEA","00"), ("8049BEB","00"), ("8049BEC","00"), ("OF","T"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("EIP","080484AB")]
   [("ECX","00000001"), ("EDX","08049BD4"), ("ESI","00000015"), ("8049BE9","01"), ("8049BEA","00"), ("8049BEB","00"), ("8049BEC","00"), ("OF","T"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("EIP","080484AF")];

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

(* CMOVNE DWORD EDX, DWORD [loc53] *)
val _ = x86_test "0F4515C49B0408"
   [("EDX","FFFFFFFE"), ("8049BC4","FE"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("EIP","080484A4")]
   [("EDX","FFFFFFFE"), ("8049BC4","FE"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("EIP","080484AB")];

(* CMOVNE DWORD EBX, DWORD EBP *)
val _ = x86_test "0F45DD"
   [("EBX","00000001"), ("EBP","75A46E4F"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("EIP","0804848B")]
   [("EBX","00000001"), ("EBP","75A46E4F"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("EIP","0804848E")];

(* CMOVNE DWORD EDX, DWORD [EDI + 4*EAX+10] *)
val _ = x86_test "0F4554870A"
   [("EDX","FFFFFFFE"), ("EDI","08049BD4"), ("EAX","00000020"), ("8049C5E","FF"), ("8049C5F","FF"), ("8049C60","FF"), ("8049C61","FF"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","080484AC")]
   [("EDX","FFFFFFFE"), ("EDI","08049BD4"), ("EAX","00000020"), ("8049C5E","FF"), ("8049C5F","FF"), ("8049C60","FF"), ("8049C61","FF"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","080484B1")];

(* CMOVNE DWORD EDX, DWORD [loc112] *)
val _ = x86_test "0F4515C49B0408"
   [("EDX","00000001"), ("8049BC4","FE"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","080484A4")]
   [("EDX","00000001"), ("8049BC4","FE"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","080484AB")];

(* CMOVNE DWORD EBX, DWORD [EDX + EAX+10] *)
val _ = x86_test "0F455C020A"
   [("EBX","00000000"), ("EDX","08049BD4"), ("EAX","00000007"), ("8049BE5","02"), ("8049BE6","00"), ("8049BE7","00"), ("8049BE8","00"), ("OF","T"), ("SF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("EIP","080484AC")]
   [("EBX","00000002"), ("EDX","08049BD4"), ("EAX","00000007"), ("8049BE5","02"), ("8049BE6","00"), ("8049BE7","00"), ("8049BE8","00"), ("OF","T"), ("SF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("EIP","080484B1")];

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

(* CMOVNE DWORD EDI, DWORD [loc26] *)
val _ = x86_test "0F453DC49B0408"
   [("EDI","00000002"), ("8049BC4","FE"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("OF","T"), ("SF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("EIP","080484A4")]
   [("EDI","FFFFFFFE"), ("8049BC4","FE"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("OF","T"), ("SF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("EIP","080484AB")];

(* CMOVNE DWORD ESI, DWORD [loc68] *)
val _ = x86_test "0F4535C49B0408"
   [("ESI","00000001"), ("8049BC4","A4"), ("8049BC5","08"), ("8049BC6","48"), ("8049BC7","39"), ("OF","T"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("EIP","080484A4")]
   [("ESI","00000001"), ("8049BC4","A4"), ("8049BC5","08"), ("8049BC6","48"), ("8049BC7","39"), ("OF","T"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("EIP","080484AB")];

(* CMOVNE DWORD EBX, DWORD [loc81] *)
val _ = x86_test "0F451DC49B0408"
   [("EBX","00000002"), ("8049BC4","00"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484A4")]
   [("EBX","00000000"), ("8049BC4","00"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AB")];

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

(* CMOVNE DWORD EAX, DWORD [loc93] *)
val _ = x86_test "0F4505C49B0408"
   [("EAX","00000001"), ("8049BC4","AA"), ("8049BC5","6F"), ("8049BC6","AF"), ("8049BC7","78"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484A4")]
   [("EAX","78AF6FAA"), ("8049BC4","AA"), ("8049BC5","6F"), ("8049BC6","AF"), ("8049BC7","78"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484AB")];

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

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

(* CMOVNE DWORD ECX, DWORD [EDI + ESI] *)
val _ = x86_test "0F450C37"
   [("ECX","65E31506"), ("EDI","08049BD4"), ("ESI","00000050"), ("8049C24","02"), ("8049C25","00"), ("8049C26","00"), ("8049C27","00"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("EIP","080484AB")]
   [("ECX","65E31506"), ("EDI","08049BD4"), ("ESI","00000050"), ("8049C24","02"), ("8049C25","00"), ("8049C26","00"), ("8049C27","00"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("EIP","080484AF")];

(* CMOVNE DWORD ECX, DWORD [EDX + 4*EDI+31] *)
val _ = x86_test "0F454CBA1F"
   [("ECX","00000000"), ("EDX","08049BD4"), ("EDI","00000000"), ("8049BF3","FF"), ("8049BF4","FF"), ("8049BF5","FF"), ("8049BF6","FF"), ("OF","T"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("EIP","080484AC")]
   [("ECX","FFFFFFFF"), ("EDX","08049BD4"), ("EDI","00000000"), ("8049BF3","FF"), ("8049BF4","FF"), ("8049BF5","FF"), ("8049BF6","FF"), ("OF","T"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("EIP","080484B1")];

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

(* CMOVNE DWORD EDI, DWORD EAX *)
val _ = x86_test "0F45F8"
   [("EDI","00000000"), ("EAX","7FBE39E3"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848B")]
   [("EDI","7FBE39E3"), ("EAX","7FBE39E3"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848E")];

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

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

(* CMOVNE DWORD EAX, DWORD EDX *)
val _ = x86_test "0F45C2"
   [("EAX","FFFFFFFE"), ("EDX","3B60A2A3"), ("OF","T"), ("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("EIP","0804848B")]
   [("EAX","3B60A2A3"), ("EDX","3B60A2A3"), ("OF","T"), ("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("EIP","0804848E")];

(* CMOVNE DWORD EBX, DWORD [ECX + EAX] *)
val _ = x86_test "0F451C01"
   [("EBX","6F9AA294"), ("ECX","08049BD4"), ("EAX","0000001D"), ("8049BF1","42"), ("8049BF2","A5"), ("8049BF3","16"), ("8049BF4","5C"), ("OF","T"), ("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("EIP","080484AB")]
   [("EBX","5C16A542"), ("ECX","08049BD4"), ("EAX","0000001D"), ("8049BF1","42"), ("8049BF2","A5"), ("8049BF3","16"), ("8049BF4","5C"), ("OF","T"), ("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("EIP","080484AF")];

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

(* CMOVNE DWORD EDI, DWORD [ESI + 4*ECX] *)
val _ = x86_test "0F453C8E"
   [("EDI","00000000"), ("ESI","08049BD4"), ("ECX","00000016"), ("8049C2C","02"), ("8049C2D","00"), ("8049C2E","00"), ("8049C2F","00"), ("OF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","080484AB")]
   [("EDI","00000002"), ("ESI","08049BD4"), ("ECX","00000016"), ("8049C2C","02"), ("8049C2D","00"), ("8049C2E","00"), ("8049C2F","00"), ("OF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","080484AF")];

(* CMOVNE DWORD EBX, DWORD [loc235] *)
val _ = x86_test "0F451DC49B0408"
   [("EBX","00000001"), ("8049BC4","61"), ("8049BC5","C4"), ("8049BC6","E9"), ("8049BC7","4C"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","080484A4")]
   [("EBX","00000001"), ("8049BC4","61"), ("8049BC5","C4"), ("8049BC6","E9"), ("8049BC7","4C"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","080484AB")];

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

(* CMOVNE DWORD ECX, DWORD [loc263] *)
val _ = x86_test "0F450DC49B0408"
   [("ECX","00000000"), ("8049BC4","01"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("EIP","080484A4")]
   [("ECX","00000000"), ("8049BC4","01"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("EIP","080484AB")];

(* CMOVNE DWORD EDI, DWORD [EBP + EDX+1] *)
val _ = x86_test "0F457C1501"
   [("EDI","00000000"), ("EBP","08049BD4"), ("EDX","0000004B"), ("8049C20","02"), ("8049C21","00"), ("8049C22","00"), ("8049C23","00"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("EIP","080484AC")]
   [("EDI","00000000"), ("EBP","08049BD4"), ("EDX","0000004B"), ("8049C20","02"), ("8049C21","00"), ("8049C22","00"), ("8049C23","00"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("EIP","080484B1")];

(* CMOVNE DWORD ESI, DWORD EBP *)
val _ = x86_test "0F45F5"
   [("ESI","00000002"), ("EBP","FFFFFFFF"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848B")]
   [("ESI","FFFFFFFF"), ("EBP","FFFFFFFF"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804848E")];

(* CMOVNE DWORD ECX, DWORD [loc298] *)
val _ = x86_test "0F450DC49B0408"
   [("ECX","FFFFFFFF"), ("8049BC4","02"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("OF","F"), ("EIP","080484A4")]
   [("ECX","FFFFFFFF"), ("8049BC4","02"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("OF","F"), ("EIP","080484AB")];

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

(* CMOVNE DWORD ECX, DWORD [ESI + 4*EBP+34] *)
val _ = x86_test "0F454CAE22"
   [("ECX","FFFFFFFF"), ("ESI","08049BD4"), ("EBP","00000017"), ("8049C52","FF"), ("8049C53","FF"), ("8049C54","FF"), ("8049C55","FF"), ("OF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("SF","F"), ("EIP","080484AC")]
   [("ECX","FFFFFFFF"), ("ESI","08049BD4"), ("EBP","00000017"), ("8049C52","FF"), ("8049C53","FF"), ("8049C54","FF"), ("8049C55","FF"), ("OF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("SF","F"), ("EIP","080484B1")];

(* CMOVNE DWORD EAX, DWORD [EBP + EDX+15] *)
val _ = x86_test "0F4544150F"
   [("EAX","00000000"), ("EBP","08049BD4"), ("EDX","0000005F"), ("8049C42","00"), ("8049C43","00"), ("8049C44","00"), ("8049C45","00"), ("OF","T"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("EIP","080484AC")]
   [("EAX","00000000"), ("EBP","08049BD4"), ("EDX","0000005F"), ("8049C42","00"), ("8049C43","00"), ("8049C44","00"), ("8049C45","00"), ("OF","T"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("EIP","080484B1")];

(* CMOVNE DWORD EBX, DWORD [ESI + 8*EBP] *)
val _ = x86_test "0F451CEE"
   [("EBX","00000000"), ("ESI","08049BD4"), ("EBP","00000000"), ("8049BD4","FF"), ("8049BD5","FF"), ("8049BD6","FF"), ("8049BD7","FF"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("EIP","080484AB")]
   [("EBX","00000000"), ("ESI","08049BD4"), ("EBP","00000000"), ("8049BD4","FF"), ("8049BD5","FF"), ("8049BD6","FF"), ("8049BD7","FF"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("EIP","080484AF")];

(* CMOVNE DWORD EDX, DWORD [loc90] *)
val _ = x86_test "0F4515C49B0408"
   [("EDX","00000001"), ("8049BC4","02"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("OF","T"), ("SF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("EIP","080484A4")]
   [("EDX","00000002"), ("8049BC4","02"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("OF","T"), ("SF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("EIP","080484AB")];

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

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

(* CMOVNE DWORD ECX, DWORD [EDI + 2*EAX+11] *)
val _ = x86_test "0F454C470B"
   [("ECX","00000000"), ("EDI","08049BD4"), ("EAX","0000001D"), ("8049C19","FF"), ("8049C1A","FF"), ("8049C1B","FF"), ("8049C1C","FF"), ("OF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("SF","F"), ("EIP","080484AC")]
   [("ECX","FFFFFFFF"), ("EDI","08049BD4"), ("EAX","0000001D"), ("8049C19","FF"), ("8049C1A","FF"), ("8049C1B","FF"), ("8049C1C","FF"), ("OF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("SF","F"), ("EIP","080484B1")];

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

(* CMOVNE DWORD ECX, DWORD [EAX + 8*EBX+20] *)
val _ = x86_test "0F454CD814"
   [("ECX","00000000"), ("EAX","08049BD4"), ("EBX","00000013"), ("8049C80","76"), ("8049C81","BA"), ("8049C82","9A"), ("8049C83","70"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("OF","F"), ("EIP","080484AC")]
   [("ECX","00000000"), ("EAX","08049BD4"), ("EBX","00000013"), ("8049C80","76"), ("8049C81","BA"), ("8049C82","9A"), ("8049C83","70"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("OF","F"), ("EIP","080484B1")];

(* CMOVNE DWORD EBX, DWORD ESI *)
val _ = x86_test "0F45DE"
   [("EBX","00000000"), ("ESI","020B5FF1"), ("OF","T"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("EIP","0804848B")]
   [("EBX","020B5FF1"), ("ESI","020B5FF1"), ("OF","T"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("EIP","0804848E")];

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

(* CMOVNE DWORD EBX, DWORD [loc39] *)
val _ = x86_test "0F451DC49B0408"
   [("EBX","22800B2D"), ("8049BC4","FF"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("SF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484A4")]
   [("EBX","FFFFFFFF"), ("8049BC4","FF"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("SF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484AB")];

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

(* CMOVNE DWORD EDI, DWORD [EBP + EDX+14] *)
val _ = x86_test "0F457C150E"
   [("EDI","2B5EFB04"), ("EBP","08049BD4"), ("EDX","0000002B"), ("8049C0D","00"), ("8049C0E","00"), ("8049C0F","00"), ("8049C10","00"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("OF","F"), ("EIP","080484AC")]
   [("EDI","2B5EFB04"), ("EBP","08049BD4"), ("EDX","0000002B"), ("8049C0D","00"), ("8049C0E","00"), ("8049C0F","00"), ("8049C10","00"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("OF","F"), ("EIP","080484B1")];

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

(* CMOVNE DWORD EDI, DWORD [loc179] *)
val _ = x86_test "0F453DC49B0408"
   [("EDI","00000002"), ("8049BC4","02"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("EIP","080484A4")]
   [("EDI","00000002"), ("8049BC4","02"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("EIP","080484AB")];

(* CMOVNE DWORD ESI, DWORD EDI *)
val _ = x86_test "0F45F7"
   [("ESI","7373CECA"), ("EDI","00000001"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("OF","F"), ("EIP","0804848B")]
   [("ESI","00000001"), ("EDI","00000001"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("OF","F"), ("EIP","0804848E")];

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

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

(* CMOVNE DWORD EBX, DWORD [loc255] *)
val _ = x86_test "0F451DC49B0408"
   [("EBX","FFFFFFFF"), ("8049BC4","01"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","080484A4")]
   [("EBX","FFFFFFFF"), ("8049BC4","01"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","080484AB")];