out dx, eax

Opcode: ef

Instruction: OUT
Undefined flags: none

Total states: 900
State # flag rax rdx
InitialFinalΔ InitialFinalΔ InitialFinalΔ
800 — 0x0000000000010002 Δ 0x00000000FFFFFF02 0x00000000FFFFFF02 = 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
801 — 0x0000000000010002 Δ 0x00000000FFFFFF80 0x00000000FFFFFF80 = 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
802 — 0x0000000000010002 Δ 0x00000000FFFFFFFE 0x00000000FFFFFFFE = 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
803 — 0x0000000000010002 Δ 0x00000000FFFFFFFF 0x00000000FFFFFFFF = 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
804 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 = 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
805 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
806 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
807 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
808 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
809 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
810 — 0x0000000000010002 Δ 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
811 — 0x0000000000010002 Δ 0x0000000000000001 0x0000000000000001 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
812 — 0x0000000000010002 Δ 0x0000000000000002 0x0000000000000002 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
813 — 0x0000000000010002 Δ 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
814 — 0x0000000000010002 Δ 0x000000000000007E 0x000000000000007E = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
815 — 0x0000000000010002 Δ 0x000000000000007F 0x000000000000007F = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
816 — 0x0000000000010002 Δ 0x0000000000000080 0x0000000000000080 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
817 — 0x0000000000010002 Δ 0x0000000000000081 0x0000000000000081 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
818 — 0x0000000000010002 Δ 0x0000000000000082 0x0000000000000082 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
819 — 0x0000000000010002 Δ 0x00000000000000FD 0x00000000000000FD = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
820 — 0x0000000000010002 Δ 0x00000000000000FE 0x00000000000000FE = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
821 — 0x0000000000010002 Δ 0x00000000000000FF 0x00000000000000FF = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
822 — 0x0000000000010002 Δ 0x000000000000FF00 0x000000000000FF00 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
823 — 0x0000000000010002 Δ 0x000000000000FF01 0x000000000000FF01 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
824 — 0x0000000000010002 Δ 0x000000000000FF02 0x000000000000FF02 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
825 — 0x0000000000010002 Δ 0x000000000000FF80 0x000000000000FF80 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
826 — 0x0000000000010002 Δ 0x000000000000FFFE 0x000000000000FFFE = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
827 — 0x0000000000010002 Δ 0x000000000000FFFF 0x000000000000FFFF = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
828 — 0x0000000000010002 Δ 0x00000000FFFFFF00 0x00000000FFFFFF00 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
829 — 0x0000000000010002 Δ 0x00000000FFFFFF01 0x00000000FFFFFF01 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
830 — 0x0000000000010002 Δ 0x00000000FFFFFF02 0x00000000FFFFFF02 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
831 — 0x0000000000010002 Δ 0x00000000FFFFFF80 0x00000000FFFFFF80 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
832 — 0x0000000000010002 Δ 0x00000000FFFFFFFE 0x00000000FFFFFFFE = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
833 — 0x0000000000010002 Δ 0x00000000FFFFFFFF 0x00000000FFFFFFFF = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
834 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
835 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
836 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
837 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
838 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
839 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
840 — 0x0000000000010002 Δ 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
841 — 0x0000000000010002 Δ 0x0000000000000001 0x0000000000000001 = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
842 — 0x0000000000010002 Δ 0x0000000000000002 0x0000000000000002 = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
843 — 0x0000000000010002 Δ 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
844 — 0x0000000000010002 Δ 0x000000000000007E 0x000000000000007E = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
845 — 0x0000000000010002 Δ 0x000000000000007F 0x000000000000007F = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
846 — 0x0000000000010002 Δ 0x0000000000000080 0x0000000000000080 = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
847 — 0x0000000000010002 Δ 0x0000000000000081 0x0000000000000081 = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
848 — 0x0000000000010002 Δ 0x0000000000000082 0x0000000000000082 = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
849 — 0x0000000000010002 Δ 0x00000000000000FD 0x00000000000000FD = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
← Prev Page 17 of 18 Next →