sarx eax, ebx, ecx

Opcode: c4e272f7c3

Instruction: SARX
Undefined flags: none

Total states: 5,832
State # flag rax rbx rcx rdx
InitialFinalΔ InitialFinalΔ InitialFinalΔ InitialFinalΔ InitialFinalΔ
4800 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF02 0x00000000FFFFFF02 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 = — 0x0000000000000000 Δ
4801 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF02 0x00000000FFFFFF81 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = — 0x0000000000000000 Δ
4802 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF02 0x00000000FFFFFFC0 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = — 0x0000000000000000 Δ
4803 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF02 0x00000000FFFFFF02 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = — 0x0000000000000000 Δ
4804 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF02 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = — 0x0000000000000000 Δ
4805 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF02 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = — 0x0000000000000000 Δ
4806 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF02 0x00000000FFFFFF80 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x0000000000000000 0x0000000000000000 = — 0x0000000000000000 Δ
4807 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF02 0x00000000FFFFFFC0 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x0000000000000001 0x0000000000000001 = — 0x0000000000000000 Δ
4808 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF02 0x00000000FFFFFFE0 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x0000000000000002 0x0000000000000002 = — 0x0000000000000000 Δ
4809 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF02 0x00000000FFFFFFF0 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x0000000000000003 0x0000000000000003 = — 0x0000000000000000 Δ
4810 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF02 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x000000000000007E 0x000000000000007E = — 0x0000000000000000 Δ
4811 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF02 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x000000000000007F 0x000000000000007F = — 0x0000000000000000 Δ
4812 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF02 0x00000000FFFFFF80 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x0000000000000080 0x0000000000000080 = — 0x0000000000000000 Δ
4813 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF02 0x00000000FFFFFFC0 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x0000000000000081 0x0000000000000081 = — 0x0000000000000000 Δ
4814 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF02 0x00000000FFFFFFE0 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x0000000000000082 0x0000000000000082 = — 0x0000000000000000 Δ
4815 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF02 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x00000000000000FD 0x00000000000000FD = — 0x0000000000000000 Δ
4816 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF02 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x00000000000000FE 0x00000000000000FE = — 0x0000000000000000 Δ
4817 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF02 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x00000000000000FF 0x00000000000000FF = — 0x0000000000000000 Δ
4818 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF02 0x00000000FFFFFF80 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 = — 0x0000000000000000 Δ
4819 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF02 0x00000000FFFFFFC0 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = — 0x0000000000000000 Δ
4820 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF02 0x00000000FFFFFFE0 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = — 0x0000000000000000 Δ
4821 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF02 0x00000000FFFFFF80 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = — 0x0000000000000000 Δ
4822 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF02 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = — 0x0000000000000000 Δ
4823 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF02 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = — 0x0000000000000000 Δ
4824 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF02 0x00000000FFFFFFFE Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x0000000000000000 0x0000000000000000 = — 0x0000000000000000 Δ
4825 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF02 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x0000000000000001 0x0000000000000001 = — 0x0000000000000000 Δ
4826 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF02 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x0000000000000002 0x0000000000000002 = — 0x0000000000000000 Δ
4827 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF02 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x0000000000000003 0x0000000000000003 = — 0x0000000000000000 Δ
4828 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF02 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x000000000000007E 0x000000000000007E = — 0x0000000000000000 Δ
4829 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF02 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x000000000000007F 0x000000000000007F = — 0x0000000000000000 Δ
4830 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF02 0x00000000FFFFFFFE Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x0000000000000080 0x0000000000000080 = — 0x0000000000000000 Δ
4831 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF02 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x0000000000000081 0x0000000000000081 = — 0x0000000000000000 Δ
4832 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF02 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x0000000000000082 0x0000000000000082 = — 0x0000000000000000 Δ
4833 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF02 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00000000000000FD 0x00000000000000FD = — 0x0000000000000000 Δ
4834 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF02 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00000000000000FE 0x00000000000000FE = — 0x0000000000000000 Δ
4835 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF02 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00000000000000FF 0x00000000000000FF = — 0x0000000000000000 Δ
4836 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF02 0x00000000FFFFFFFE Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 = — 0x0000000000000000 Δ
4837 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF02 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = — 0x0000000000000000 Δ
4838 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF02 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = — 0x0000000000000000 Δ
4839 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF02 0x00000000FFFFFFFE Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = — 0x0000000000000000 Δ
4840 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF02 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = — 0x0000000000000000 Δ
4841 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF02 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = — 0x0000000000000000 Δ
4842 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF02 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000000 0x0000000000000000 = — 0x0000000000000000 Δ
4843 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF02 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000001 0x0000000000000001 = — 0x0000000000000000 Δ
4844 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF02 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000002 0x0000000000000002 = — 0x0000000000000000 Δ
4845 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF02 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000003 0x0000000000000003 = — 0x0000000000000000 Δ
4846 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF02 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x000000000000007E 0x000000000000007E = — 0x0000000000000000 Δ
4847 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF02 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x000000000000007F 0x000000000000007F = — 0x0000000000000000 Δ
4848 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF02 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000080 0x0000000000000080 = — 0x0000000000000000 Δ
4849 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF02 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000081 0x0000000000000081 = — 0x0000000000000000 Δ
← Prev Page 97 of 117 Next →