sarx eax, ebx, ecx

Opcode: c4e272f7c3

Instruction: SARX
Undefined flags: none

Total states: 5,832
State # flag rax rbx rcx
InitialFinalΔ InitialFinalΔ InitialFinalΔ InitialFinalΔ
5750 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFFC0 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x0000000000000082 0x0000000000000082 =
5751 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x00000000000000FD 0x00000000000000FD =
5752 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x00000000000000FE 0x00000000000000FE =
5753 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x00000000000000FF 0x00000000000000FF =
5754 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFF01 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 =
5755 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFF80 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 =
5756 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFFC0 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
5757 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFF01 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
5758 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
5759 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
5760 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFF02 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0x0000000000000000 0x0000000000000000 =
5761 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFF81 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0x0000000000000001 0x0000000000000001 =
5762 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFFC0 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0x0000000000000002 0x0000000000000002 =
5763 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFFE0 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0x0000000000000003 0x0000000000000003 =
5764 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0x000000000000007E 0x000000000000007E =
5765 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0x000000000000007F 0x000000000000007F =
5766 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFF02 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0x0000000000000080 0x0000000000000080 =
5767 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFF81 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0x0000000000000081 0x0000000000000081 =
5768 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFFC0 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0x0000000000000082 0x0000000000000082 =
5769 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0x00000000000000FD 0x00000000000000FD =
5770 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0x00000000000000FE 0x00000000000000FE =
5771 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0x00000000000000FF 0x00000000000000FF =
5772 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFF02 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 =
5773 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFF81 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 =
5774 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFFC0 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
5775 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFF02 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
5776 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
5777 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
5778 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFF80 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x0000000000000000 0x0000000000000000 =
5779 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFFC0 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x0000000000000001 0x0000000000000001 =
5780 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFFE0 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x0000000000000002 0x0000000000000002 =
5781 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFFF0 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x0000000000000003 0x0000000000000003 =
5782 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x000000000000007E 0x000000000000007E =
5783 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x000000000000007F 0x000000000000007F =
5784 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFF80 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x0000000000000080 0x0000000000000080 =
5785 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFFC0 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x0000000000000081 0x0000000000000081 =
5786 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFFE0 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x0000000000000082 0x0000000000000082 =
5787 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x00000000000000FD 0x00000000000000FD =
5788 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x00000000000000FE 0x00000000000000FE =
5789 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x00000000000000FF 0x00000000000000FF =
5790 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFF80 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 =
5791 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFFC0 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 =
5792 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFFE0 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
5793 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFF80 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
5794 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
5795 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
5796 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFFFE Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x0000000000000000 0x0000000000000000 =
5797 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x0000000000000001 0x0000000000000001 =
5798 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x0000000000000002 0x0000000000000002 =
5799 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x0000000000000003 0x0000000000000003 =
← Prev Page 116 of 117 Next →