pext rax, rbx, rcx

Opcode: c4e2e2f5c1

Instruction: PEXT
Undefined flags: none

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