pext rax, rbx, rcx

Opcode: c4e2e2f5c1

Instruction: PEXT
Undefined flags: none

Total states: 5,832
State # flag rax rbx rcx
InitialFinalΔ InitialFinalΔ InitialFinalΔ InitialFinalΔ
3800 — 0x0000000000010002 Δ 0x00000000000000FF 0x0000000000000000 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x0000000000000002 0x0000000000000002 =
3801 — 0x0000000000010002 Δ 0x00000000000000FF 0x0000000000000001 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x0000000000000003 0x0000000000000003 =
3802 — 0x0000000000010002 Δ 0x00000000000000FF 0x0000000000000000 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x000000000000007E 0x000000000000007E =
3803 — 0x0000000000010002 Δ 0x00000000000000FF 0x0000000000000001 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x000000000000007F 0x000000000000007F =
3804 — 0x0000000000010002 Δ 0x00000000000000FF 0x0000000000000000 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x0000000000000080 0x0000000000000080 =
3805 — 0x0000000000010002 Δ 0x00000000000000FF 0x0000000000000001 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x0000000000000081 0x0000000000000081 =
3806 — 0x0000000000010002 Δ 0x00000000000000FF 0x0000000000000000 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x0000000000000082 0x0000000000000082 =
3807 — 0x0000000000010002 Δ 0x00000000000000FF 0x0000000000000001 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x00000000000000FD 0x00000000000000FD =
3808 — 0x0000000000010002 Δ 0x00000000000000FF 0x0000000000000000 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x00000000000000FE 0x00000000000000FE =
3809 — 0x0000000000010002 Δ 0x00000000000000FF 0x0000000000000001 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x00000000000000FF 0x00000000000000FF =
3810 — 0x0000000000010002 Δ 0x00000000000000FF 0x00FFFFFFFFFFFFFF Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 =
3811 — 0x0000000000010002 Δ 0x00000000000000FF 0x01FFFFFFFFFFFFFF Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 =
3812 — 0x0000000000010002 Δ 0x00000000000000FF 0x01FFFFFFFFFFFFFE Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
3813 — 0x0000000000010002 Δ 0x00000000000000FF 0x01FFFFFFFFFFFFFE Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
3814 — 0x0000000000010002 Δ 0x00000000000000FF 0x7FFFFFFFFFFFFF80 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
3815 — 0x0000000000010002 Δ 0x00000000000000FF 0xFFFFFFFFFFFFFF01 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
3816 — 0x0000000000010002 Δ 0x00000000000000FF 0x0000000000000000 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0x0000000000000000 0x0000000000000000 =
3817 — 0x0000000000010002 Δ 0x00000000000000FF 0x0000000000000000 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0x0000000000000001 0x0000000000000001 =
3818 — 0x0000000000010002 Δ 0x00000000000000FF 0x0000000000000001 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0x0000000000000002 0x0000000000000002 =
3819 — 0x0000000000010002 Δ 0x00000000000000FF 0x0000000000000002 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0x0000000000000003 0x0000000000000003 =
3820 — 0x0000000000010002 Δ 0x00000000000000FF 0x0000000000000001 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0x000000000000007E 0x000000000000007E =
3821 — 0x0000000000010002 Δ 0x00000000000000FF 0x0000000000000002 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0x000000000000007F 0x000000000000007F =
3822 — 0x0000000000010002 Δ 0x00000000000000FF 0x0000000000000000 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0x0000000000000080 0x0000000000000080 =
3823 — 0x0000000000010002 Δ 0x00000000000000FF 0x0000000000000000 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0x0000000000000081 0x0000000000000081 =
3824 — 0x0000000000010002 Δ 0x00000000000000FF 0x0000000000000001 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0x0000000000000082 0x0000000000000082 =
3825 — 0x0000000000010002 Δ 0x00000000000000FF 0x0000000000000000 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0x00000000000000FD 0x00000000000000FD =
3826 — 0x0000000000010002 Δ 0x00000000000000FF 0x0000000000000001 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0x00000000000000FE 0x00000000000000FE =
3827 — 0x0000000000010002 Δ 0x00000000000000FF 0x0000000000000002 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0x00000000000000FF 0x00000000000000FF =
3828 — 0x0000000000010002 Δ 0x00000000000000FF 0x00FFFFFFFFFFFFFF Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 =
3829 — 0x0000000000010002 Δ 0x00000000000000FF 0x01FFFFFFFFFFFFFE Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 =
3830 — 0x0000000000010002 Δ 0x00000000000000FF 0x01FFFFFFFFFFFFFF Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
3831 — 0x0000000000010002 Δ 0x00000000000000FF 0x01FFFFFFFFFFFFFE Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
3832 — 0x0000000000010002 Δ 0x00000000000000FF 0x7FFFFFFFFFFFFF81 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
3833 — 0x0000000000010002 Δ 0x00000000000000FF 0xFFFFFFFFFFFFFF02 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
3834 — 0x0000000000010002 Δ 0x00000000000000FF 0x0000000000000000 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x0000000000000000 0x0000000000000000 =
3835 — 0x0000000000010002 Δ 0x00000000000000FF 0x0000000000000000 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x0000000000000001 0x0000000000000001 =
3836 — 0x0000000000010002 Δ 0x00000000000000FF 0x0000000000000000 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x0000000000000002 0x0000000000000002 =
3837 — 0x0000000000010002 Δ 0x00000000000000FF 0x0000000000000000 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x0000000000000003 0x0000000000000003 =
3838 — 0x0000000000010002 Δ 0x00000000000000FF 0x0000000000000000 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x000000000000007E 0x000000000000007E =
3839 — 0x0000000000010002 Δ 0x00000000000000FF 0x0000000000000000 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x000000000000007F 0x000000000000007F =
3840 — 0x0000000000010002 Δ 0x00000000000000FF 0x0000000000000001 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x0000000000000080 0x0000000000000080 =
3841 — 0x0000000000010002 Δ 0x00000000000000FF 0x0000000000000002 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x0000000000000081 0x0000000000000081 =
3842 — 0x0000000000010002 Δ 0x00000000000000FF 0x0000000000000002 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x0000000000000082 0x0000000000000082 =
3843 — 0x0000000000010002 Δ 0x00000000000000FF 0x0000000000000040 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x00000000000000FD 0x00000000000000FD =
3844 — 0x0000000000010002 Δ 0x00000000000000FF 0x0000000000000040 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x00000000000000FE 0x00000000000000FE =
3845 — 0x0000000000010002 Δ 0x00000000000000FF 0x0000000000000080 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x00000000000000FF 0x00000000000000FF =
3846 — 0x0000000000010002 Δ 0x00000000000000FF 0x00FFFFFFFFFFFFFF Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 =
3847 — 0x0000000000010002 Δ 0x00000000000000FF 0x01FFFFFFFFFFFFFE Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 =
3848 — 0x0000000000010002 Δ 0x00000000000000FF 0x01FFFFFFFFFFFFFE Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
3849 — 0x0000000000010002 Δ 0x00000000000000FF 0x01FFFFFFFFFFFFFF Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
← Prev Page 77 of 117 Next →