(* NOT DWORD [ECX + 2*EBP+15] *)
val _ = x86_test "F754690F"
   [("ECX","08049BC4"), ("EBP","00000000"), ("8049BD3","02"), ("8049BD4","00"), ("8049BD5","00"), ("8049BD6","00"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("EIP","080484A7")]
   [("ECX","08049BC4"), ("EBP","00000000"), ("8049BD3","FD"), ("8049BD4","FF"), ("8049BD5","FF"), ("8049BD6","FF"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("EIP","080484AB")];

(* NOT DWORD EBX *)
val _ = x86_test "F7D3"
   [("EBX","FFFFFFFF"), ("OF","T"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("EIP","08048486")]
   [("EBX","00000000"), ("OF","T"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("EIP","08048488")];

(* NOT DWORD EDI *)
val _ = x86_test "F7D7"
   [("EDI","00000001"), ("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("EIP","08048486")]
   [("EDI","FFFFFFFE"), ("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("EIP","08048488")];

(* NOT DWORD [EBP + EBX] *)
val _ = x86_test "F7541D00"
   [("EBP","08049BC4"), ("EBX","0000000F"), ("8049BD3","FF"), ("8049BD4","FF"), ("8049BD5","FF"), ("8049BD6","FF"), ("OF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","080484A7")]
   [("EBP","08049BC4"), ("EBX","0000000F"), ("8049BD3","00"), ("8049BD4","00"), ("8049BD5","00"), ("8049BD6","00"), ("OF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","080484AB")];

(* NOT DWORD [EDI + EBX] *)
val _ = x86_test "F7141F"
   [("EDI","08049BC4"), ("EBX","0000001B"), ("8049BDF","FE"), ("8049BE0","FF"), ("8049BE1","FF"), ("8049BE2","FF"), ("OF","T"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("EIP","080484A6")]
   [("EDI","08049BC4"), ("EBX","0000001B"), ("8049BDF","01"), ("8049BE0","00"), ("8049BE1","00"), ("8049BE2","00"), ("OF","T"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("EIP","080484A9")];

(* NOT DWORD EBP *)
val _ = x86_test "F7D5"
   [("EBP","FFFFFFFF"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("EIP","08048486")]
   [("EBP","00000000"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("EIP","08048488")];

(* NOT DWORD [loc63] *)
val _ = x86_test "F715C49B0408"
   [("8049BC4","01"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("EIP","0804849F")]
   [("8049BC4","FE"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("EIP","080484A5")];

(* NOT DWORD [EDX + 4*EBP] *)
val _ = x86_test "F714AA"
   [("EDX","08049BC4"), ("EBP","00000022"), ("8049C4C","FE"), ("8049C4D","FF"), ("8049C4E","FF"), ("8049C4F","FF"), ("OF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","080484A6")]
   [("EDX","08049BC4"), ("EBP","00000022"), ("8049C4C","01"), ("8049C4D","00"), ("8049C4E","00"), ("8049C4F","00"), ("OF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","080484A9")];

(* NOT DWORD [EBP + 4*EDI+2] *)
val _ = x86_test "F754BD02"
   [("EBP","08049BC4"), ("EDI","00000008"), ("8049BE6","13"), ("8049BE7","D0"), ("8049BE8","65"), ("8049BE9","0B"), ("OF","T"), ("SF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("EIP","080484A7")]
   [("EBP","08049BC4"), ("EDI","00000008"), ("8049BE6","EC"), ("8049BE7","2F"), ("8049BE8","9A"), ("8049BE9","F4"), ("OF","T"), ("SF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("EIP","080484AB")];

(* NOT DWORD ESI *)
val _ = x86_test "F7D6"
   [("ESI","FFFFFFFF"), ("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048486")]
   [("ESI","00000000"), ("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048488")];

(* NOT DWORD EBX *)
val _ = x86_test "F7D3"
   [("EBX","00000002"), ("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048486")]
   [("EBX","FFFFFFFD"), ("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048488")];

(* NOT DWORD EDI *)
val _ = x86_test "F7D7"
   [("EDI","FFFFFFFE"), ("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048486")]
   [("EDI","00000001"), ("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048488")];

(* NOT DWORD [ESI + 8*EBX] *)
val _ = x86_test "F714DE"
   [("ESI","08049BC4"), ("EBX","00000001"), ("8049BCC","02"), ("8049BCD","00"), ("8049BCE","00"), ("8049BCF","00"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("EIP","080484A6")]
   [("ESI","08049BC4"), ("EBX","00000001"), ("8049BCC","FD"), ("8049BCD","FF"), ("8049BCE","FF"), ("8049BCF","FF"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("EIP","080484A9")];

(* NOT DWORD [EAX + EDX] *)
val _ = x86_test "F71410"
   [("EAX","08049BC4"), ("EDX","00000014"), ("8049BD8","FE"), ("8049BD9","FF"), ("8049BDA","FF"), ("8049BDB","FF"), ("OF","T"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("EIP","080484A6")]
   [("EAX","08049BC4"), ("EDX","00000014"), ("8049BD8","01"), ("8049BD9","00"), ("8049BDA","00"), ("8049BDB","00"), ("OF","T"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("EIP","080484A9")];

(* NOT DWORD EDI *)
val _ = x86_test "F7D7"
   [("EDI","00000001"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("OF","F"), ("EIP","08048486")]
   [("EDI","FFFFFFFE"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("OF","F"), ("EIP","08048488")];

(* NOT DWORD EDI *)
val _ = x86_test "F7D7"
   [("EDI","5EA2B3A2"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048486")]
   [("EDI","A15D4C5D"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048488")];

(* NOT DWORD ECX *)
val _ = x86_test "F7D1"
   [("ECX","00000001"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048486")]
   [("ECX","FFFFFFFE"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048488")];

(* NOT DWORD [ESI + 8*EAX] *)
val _ = x86_test "F714C6"
   [("ESI","08049BC4"), ("EAX","00000000"), ("8049BC4","0E"), ("8049BC5","26"), ("8049BC6","5C"), ("8049BC7","63"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("EIP","080484A6")]
   [("ESI","08049BC4"), ("EAX","00000000"), ("8049BC4","F1"), ("8049BC5","D9"), ("8049BC6","A3"), ("8049BC7","9C"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("EIP","080484A9")];

(* NOT DWORD [EDX + 2*ECX] *)
val _ = x86_test "F7144A"
   [("EDX","08049BC4"), ("ECX","00000005"), ("8049BCE","00"), ("8049BCF","00"), ("8049BD0","00"), ("8049BD1","00"), ("OF","T"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("EIP","080484A6")]
   [("EDX","08049BC4"), ("ECX","00000005"), ("8049BCE","FF"), ("8049BCF","FF"), ("8049BD0","FF"), ("8049BD1","FF"), ("OF","T"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("EIP","080484A9")];

(* NOT DWORD [loc83] *)
val _ = x86_test "F715C49B0408"
   [("8049BC4","FF"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("OF","T"), ("SF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("EIP","0804849F")]
   [("8049BC4","00"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("OF","T"), ("SF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("EIP","080484A5")];

(* NOT DWORD [loc123] *)
val _ = x86_test "F715C49B0408"
   [("8049BC4","00"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("OF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("SF","F"), ("EIP","0804849F")]
   [("8049BC4","FF"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("OF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("SF","F"), ("EIP","080484A5")];

(* NOT DWORD [loc12] *)
val _ = x86_test "F715C49B0408"
   [("8049BC4","01"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804849F")]
   [("8049BC4","FE"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484A5")];

(* NOT DWORD [loc76] *)
val _ = x86_test "F715C49B0408"
   [("8049BC4","FE"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","0804849F")]
   [("8049BC4","01"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","080484A5")];

(* NOT DWORD EAX *)
val _ = x86_test "F7D0"
   [("EAX","00000000"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","08048486")]
   [("EAX","FFFFFFFF"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","08048488")];

(* NOT DWORD EBX *)
val _ = x86_test "F7D3"
   [("EBX","00000002"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048486")]
   [("EBX","FFFFFFFD"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048488")];

(* NOT DWORD ECX *)
val _ = x86_test "F7D1"
   [("ECX","00000000"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("OF","F"), ("EIP","08048486")]
   [("ECX","FFFFFFFF"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("OF","F"), ("EIP","08048488")];

(* NOT DWORD ECX *)
val _ = x86_test "F7D1"
   [("ECX","49C49FC6"), ("OF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048486")]
   [("ECX","B63B6039"), ("OF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048488")];

(* NOT DWORD [EAX + 8*EBP] *)
val _ = x86_test "F714E8"
   [("EAX","08049BC4"), ("EBP","00000014"), ("8049C64","00"), ("8049C65","00"), ("8049C66","00"), ("8049C67","00"), ("SF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484A6")]
   [("EAX","08049BC4"), ("EBP","00000014"), ("8049C64","FF"), ("8049C65","FF"), ("8049C66","FF"), ("8049C67","FF"), ("SF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484A9")];

(* NOT DWORD EBP *)
val _ = x86_test "F7D5"
   [("EBP","00000001"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","08048486")]
   [("EBP","FFFFFFFE"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","08048488")];

(* NOT DWORD EDX *)
val _ = x86_test "F7D2"
   [("EDX","00000002"), ("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("EIP","08048486")]
   [("EDX","FFFFFFFD"), ("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("EIP","08048488")];

(* NOT DWORD EAX *)
val _ = x86_test "F7D0"
   [("EAX","FFFFFFFF"), ("OF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048486")]
   [("EAX","00000000"), ("OF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048488")];

(* NOT DWORD [ECX + 4*EBP+35] *)
val _ = x86_test "F754A923"
   [("ECX","08049BC4"), ("EBP","00000000"), ("8049BE7","02"), ("8049BE8","00"), ("8049BE9","00"), ("8049BEA","00"), ("OF","T"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("EIP","080484A7")]
   [("ECX","08049BC4"), ("EBP","00000000"), ("8049BE7","FD"), ("8049BE8","FF"), ("8049BE9","FF"), ("8049BEA","FF"), ("OF","T"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("EIP","080484AB")];

(* NOT DWORD [ECX + 2*EBP] *)
val _ = x86_test "F71469"
   [("ECX","08049BC4"), ("EBP","00000008"), ("8049BD4","FE"), ("8049BD5","FF"), ("8049BD6","FF"), ("8049BD7","FF"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","080484A6")]
   [("ECX","08049BC4"), ("EBP","00000008"), ("8049BD4","01"), ("8049BD5","00"), ("8049BD6","00"), ("8049BD7","00"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","080484A9")];

(* NOT DWORD ESI *)
val _ = x86_test "F7D6"
   [("ESI","00000002"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","08048486")]
   [("ESI","FFFFFFFD"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","08048488")];

(* NOT DWORD ECX *)
val _ = x86_test "F7D1"
   [("ECX","3911FF48"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","08048486")]
   [("ECX","C6EE00B7"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","08048488")];

(* NOT DWORD [EBX + 2*ESI+37] *)
val _ = x86_test "F7547325"
   [("EBX","08049BC4"), ("ESI","00000009"), ("8049BFB","EA"), ("8049BFC","9C"), ("8049BFD","94"), ("8049BFE","21"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","080484A7")]
   [("EBX","08049BC4"), ("ESI","00000009"), ("8049BFB","15"), ("8049BFC","63"), ("8049BFD","6B"), ("8049BFE","DE"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","080484AB")];

(* NOT DWORD [EDX + 2*EAX] *)
val _ = x86_test "F71442"
   [("EDX","08049BC4"), ("EAX","00000008"), ("8049BD4","FE"), ("8049BD5","FF"), ("8049BD6","FF"), ("8049BD7","FF"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484A6")]
   [("EDX","08049BC4"), ("EAX","00000008"), ("8049BD4","01"), ("8049BD5","00"), ("8049BD6","00"), ("8049BD7","00"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484A9")];

(* NOT DWORD [EBP + ECX+30] *)
val _ = x86_test "F7540D1E"
   [("EBP","08049BC4"), ("ECX","00000007"), ("8049BE9","02"), ("8049BEA","00"), ("8049BEB","00"), ("8049BEC","00"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("OF","F"), ("EIP","080484A7")]
   [("EBP","08049BC4"), ("ECX","00000007"), ("8049BE9","FD"), ("8049BEA","FF"), ("8049BEB","FF"), ("8049BEC","FF"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("OF","F"), ("EIP","080484AB")];

(* NOT DWORD [loc149] *)
val _ = x86_test "F715C49B0408"
   [("8049BC4","01"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("EIP","0804849F")]
   [("8049BC4","FE"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("EIP","080484A5")];

(* NOT DWORD [EDI + ECX+28] *)
val _ = x86_test "F7540F1C"
   [("EDI","08049BC4"), ("ECX","00000001"), ("8049BE1","FE"), ("8049BE2","FF"), ("8049BE3","FF"), ("8049BE4","FF"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484A7")]
   [("EDI","08049BC4"), ("ECX","00000001"), ("8049BE1","01"), ("8049BE2","00"), ("8049BE3","00"), ("8049BE4","00"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484AB")];

(* NOT DWORD EBP *)
val _ = x86_test "F7D5"
   [("EBP","FFFFFFFF"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("EIP","08048486")]
   [("EBP","00000000"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("EIP","08048488")];

(* NOT DWORD EBX *)
val _ = x86_test "F7D3"
   [("EBX","FFFFFFFF"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("OF","F"), ("EIP","08048486")]
   [("EBX","00000000"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("OF","F"), ("EIP","08048488")];

(* NOT DWORD [loc179] *)
val _ = x86_test "F715C49B0408"
   [("8049BC4","00"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("OF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","0804849F")]
   [("8049BC4","FF"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("OF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","080484A5")];

(* NOT DWORD EDX *)
val _ = x86_test "F7D2"
   [("EDX","00000000"), ("OF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048486")]
   [("EDX","FFFFFFFF"), ("OF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048488")];

(* NOT DWORD [EBX + 2*ECX] *)
val _ = x86_test "F7144B"
   [("EBX","08049BC4"), ("ECX","00000000"), ("8049BC4","01"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("EIP","080484A6")]
   [("EBX","08049BC4"), ("ECX","00000000"), ("8049BC4","FE"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("EIP","080484A9")];

(* NOT DWORD [ESI + 8*EDX] *)
val _ = x86_test "F714D6"
   [("ESI","08049BC4"), ("EDX","00000000"), ("8049BC4","FE"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484A6")]
   [("ESI","08049BC4"), ("EDX","00000000"), ("8049BC4","01"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484A9")];

(* NOT DWORD ECX *)
val _ = x86_test "F7D1"
   [("ECX","00000000"), ("OF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048486")]
   [("ECX","FFFFFFFF"), ("OF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048488")];

(* NOT DWORD [loc65] *)
val _ = x86_test "F715C49B0408"
   [("8049BC4","FE"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("OF","F"), ("EIP","0804849F")]
   [("8049BC4","01"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("OF","F"), ("EIP","080484A5")];

(* NOT DWORD EAX *)
val _ = x86_test "F7D0"
   [("EAX","FFFFFFFE"), ("OF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048486")]
   [("EAX","00000001"), ("OF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048488")];

(* NOT DWORD ESI *)
val _ = x86_test "F7D6"
   [("ESI","FFFFFFFE"), ("OF","T"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("EIP","08048486")]
   [("ESI","00000001"), ("OF","T"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("EIP","08048488")];

(* NOT DWORD ECX *)
val _ = x86_test "F7D1"
   [("ECX","FFFFFFFF"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048486")]
   [("ECX","00000000"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048488")];

(* NOT DWORD EAX *)
val _ = x86_test "F7D0"
   [("EAX","00000001"), ("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048486")]
   [("EAX","FFFFFFFE"), ("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048488")];

(* NOT DWORD ESI *)
val _ = x86_test "F7D6"
   [("ESI","FFFFFFFE"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048486")]
   [("ESI","00000001"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048488")];

(* NOT DWORD [ESI + 4*EBP] *)
val _ = x86_test "F714AE"
   [("ESI","08049BC4"), ("EBP","0000000F"), ("8049C00","4A"), ("8049C01","39"), ("8049C02","63"), ("8049C03","31"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484A6")]
   [("ESI","08049BC4"), ("EBP","0000000F"), ("8049C00","B5"), ("8049C01","C6"), ("8049C02","9C"), ("8049C03","CE"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484A9")];

(* NOT DWORD [EDI + 8*ESI] *)
val _ = x86_test "F714F7"
   [("EDI","08049BC4"), ("ESI","0000000B"), ("8049C1C","00"), ("8049C1D","00"), ("8049C1E","00"), ("8049C1F","00"), ("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("EIP","080484A6")]
   [("EDI","08049BC4"), ("ESI","0000000B"), ("8049C1C","FF"), ("8049C1D","FF"), ("8049C1E","FF"), ("8049C1F","FF"), ("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("EIP","080484A9")];

(* NOT DWORD EDI *)
val _ = x86_test "F7D7"
   [("EDI","3CD4CDBE"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","08048486")]
   [("EDI","C32B3241"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","08048488")];

(* NOT DWORD [loc223] *)
val _ = x86_test "F715C49B0408"
   [("8049BC4","00"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("OF","F"), ("EIP","0804849F")]
   [("8049BC4","FF"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("OF","F"), ("EIP","080484A5")];

(* NOT DWORD EBX *)
val _ = x86_test "F7D3"
   [("EBX","FFFFFFFE"), ("OF","T"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("EIP","08048486")]
   [("EBX","00000001"), ("OF","T"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("EIP","08048488")];

(* NOT DWORD [loc236] *)
val _ = x86_test "F715C49B0408"
   [("8049BC4","01"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","0804849F")]
   [("8049BC4","FE"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","080484A5")];

(* NOT DWORD [EDI + 4*EDX] *)
val _ = x86_test "F71497"
   [("EDI","08049BC4"), ("EDX","00000007"), ("8049BE0","FF"), ("8049BE1","FF"), ("8049BE2","FF"), ("8049BE3","FF"), ("OF","T"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("EIP","080484A6")]
   [("EDI","08049BC4"), ("EDX","00000007"), ("8049BE0","00"), ("8049BE1","00"), ("8049BE2","00"), ("8049BE3","00"), ("OF","T"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("EIP","080484A9")];

(* NOT DWORD [loc271] *)
val _ = x86_test "F715C49B0408"
   [("8049BC4","61"), ("8049BC5","A8"), ("8049BC6","25"), ("8049BC7","6B"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("EIP","0804849F")]
   [("8049BC4","9E"), ("8049BC5","57"), ("8049BC6","DA"), ("8049BC7","94"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("EIP","080484A5")];

(* NOT DWORD EDI *)
val _ = x86_test "F7D7"
   [("EDI","50EC4D48"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("EIP","08048486")]
   [("EDI","AF13B2B7"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("EIP","08048488")];

(* NOT DWORD [loc281] *)
val _ = x86_test "F715C49B0408"
   [("8049BC4","00"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","0804849F")]
   [("8049BC4","FF"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484A5")];

(* NOT DWORD [loc306] *)
val _ = x86_test "F715C49B0408"
   [("8049BC4","01"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","0804849F")]
   [("8049BC4","FE"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","080484A5")];

(* NOT DWORD [loc20] *)
val _ = x86_test "F715C49B0408"
   [("8049BC4","FE"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("OF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","0804849F")]
   [("8049BC4","01"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("OF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","080484A5")];

(* NOT DWORD [loc26] *)
val _ = x86_test "F715C49B0408"
   [("8049BC4","01"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","0804849F")]
   [("8049BC4","FE"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","080484A5")];

(* NOT DWORD ECX *)
val _ = x86_test "F7D1"
   [("ECX","FFFFFFFE"), ("OF","T"), ("SF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("EIP","08048486")]
   [("ECX","00000001"), ("OF","T"), ("SF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("EIP","08048488")];

(* NOT DWORD ESI *)
val _ = x86_test "F7D6"
   [("ESI","00000002"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("OF","F"), ("EIP","08048486")]
   [("ESI","FFFFFFFD"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("OF","F"), ("EIP","08048488")];

(* NOT DWORD ECX *)
val _ = x86_test "F7D1"
   [("ECX","00000001"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","08048486")]
   [("ECX","FFFFFFFE"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","08048488")];

(* NOT DWORD [loc75] *)
val _ = x86_test "F715C49B0408"
   [("8049BC4","FF"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","0804849F")]
   [("8049BC4","00"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","080484A5")];

(* NOT DWORD EDX *)
val _ = x86_test "F7D2"
   [("EDX","00000001"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048486")]
   [("EDX","FFFFFFFE"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048488")];

(* NOT DWORD EBX *)
val _ = x86_test "F7D3"
   [("EBX","00000001"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048486")]
   [("EBX","FFFFFFFE"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048488")];

(* NOT DWORD [EAX + 4*EBX] *)
val _ = x86_test "F71498"
   [("EAX","08049BC4"), ("EBX","00000015"), ("8049C18","FC"), ("8049C19","5B"), ("8049C1A","81"), ("8049C1B","6E"), ("SF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484A6")]
   [("EAX","08049BC4"), ("EBX","00000015"), ("8049C18","03"), ("8049C19","A4"), ("8049C1A","7E"), ("8049C1B","91"), ("SF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484A9")];

(* NOT DWORD [loc137] *)
val _ = x86_test "F715C49B0408"
   [("8049BC4","FE"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("EIP","0804849F")]
   [("8049BC4","01"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("EIP","080484A5")];

(* NOT DWORD EAX *)
val _ = x86_test "F7D0"
   [("EAX","FFFFFFFF"), ("OF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048486")]
   [("EAX","00000000"), ("OF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048488")];

(* NOT DWORD [EBX + 8*EAX+28] *)
val _ = x86_test "F754C31C"
   [("EBX","08049BC4"), ("EAX","00000012"), ("8049C70","01"), ("8049C71","00"), ("8049C72","00"), ("8049C73","00"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("OF","F"), ("EIP","080484A7")]
   [("EBX","08049BC4"), ("EAX","00000012"), ("8049C70","FE"), ("8049C71","FF"), ("8049C72","FF"), ("8049C73","FF"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("OF","F"), ("EIP","080484AB")];

(* NOT DWORD [EAX + 8*EDI+24] *)
val _ = x86_test "F754F818"
   [("EAX","08049BC4"), ("EDI","00000001"), ("8049BE4","60"), ("8049BE5","21"), ("8049BE6","2F"), ("8049BE7","3E"), ("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484A7")]
   [("EAX","08049BC4"), ("EDI","00000001"), ("8049BE4","9F"), ("8049BE5","DE"), ("8049BE6","D0"), ("8049BE7","C1"), ("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484AB")];

(* NOT DWORD EDI *)
val _ = x86_test "F7D7"
   [("EDI","39B40600"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("OF","F"), ("EIP","08048486")]
   [("EDI","C64BF9FF"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("OF","F"), ("EIP","08048488")];

(* NOT DWORD EDI *)
val _ = x86_test "F7D7"
   [("EDI","00000002"), ("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048486")]
   [("EDI","FFFFFFFD"), ("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048488")];

(* NOT DWORD EBP *)
val _ = x86_test "F7D5"
   [("EBP","00000001"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("OF","F"), ("EIP","08048486")]
   [("EBP","FFFFFFFE"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("OF","F"), ("EIP","08048488")];

(* NOT DWORD [ESI + 4*EBP+14] *)
val _ = x86_test "F754AE0E"
   [("ESI","08049BC4"), ("EBP","00000004"), ("8049BE2","00"), ("8049BE3","00"), ("8049BE4","00"), ("8049BE5","00"), ("SF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484A7")]
   [("ESI","08049BC4"), ("EBP","00000004"), ("8049BE2","FF"), ("8049BE3","FF"), ("8049BE4","FF"), ("8049BE5","FF"), ("SF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","080484AB")];

(* NOT DWORD EAX *)
val _ = x86_test "F7D0"
   [("EAX","58C253C3"), ("SF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048486")]
   [("EAX","A73DAC3C"), ("SF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048488")];

(* NOT DWORD EDX *)
val _ = x86_test "F7D2"
   [("EDX","00000001"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048486")]
   [("EDX","FFFFFFFE"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048488")];

(* NOT DWORD EDX *)
val _ = x86_test "F7D2"
   [("EDX","00000001"), ("OF","T"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("EIP","08048486")]
   [("EDX","FFFFFFFE"), ("OF","T"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("EIP","08048488")];

(* NOT DWORD [loc77] *)
val _ = x86_test "F715C49B0408"
   [("8049BC4","FF"), ("8049BC5","FF"), ("8049BC6","FF"), ("8049BC7","FF"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("OF","F"), ("EIP","0804849F")]
   [("8049BC4","00"), ("8049BC5","00"), ("8049BC6","00"), ("8049BC7","00"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("OF","F"), ("EIP","080484A5")];