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Δ
1650 0x0000000000010002 Δ 0x000000000000007F 0x0000000000000000 Δ 0x0000000000000001 0x0000000000000001 = 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 = 0x0000000000000000 Δ
1651 0x0000000000010002 Δ 0x000000000000007F 0x0000000000000001 Δ 0x0000000000000001 0x0000000000000001 = 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x0000000000000000 Δ
1652 0x0000000000010002 Δ 0x000000000000007F 0x0000000000000000 Δ 0x0000000000000001 0x0000000000000001 = 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0x0000000000000000 Δ
1653 0x0000000000010002 Δ 0x000000000000007F 0x0000000000000000 Δ 0x0000000000000001 0x0000000000000001 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x0000000000000000 Δ
1654 0x0000000000010002 Δ 0x000000000000007F 0x0000000000000000 Δ 0x0000000000000001 0x0000000000000001 = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x0000000000000000 Δ
1655 0x0000000000010002 Δ 0x000000000000007F 0x0000000000000001 Δ 0x0000000000000001 0x0000000000000001 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000000 Δ
1656 0x0000000000010002 Δ 0x000000000000007F 0x0000000000000000 Δ 0x0000000000000002 0x0000000000000002 = 0x0000000000000000 0x0000000000000000 = 0x0000000000000000 Δ
1657 0x0000000000010002 Δ 0x000000000000007F 0x0000000000000000 Δ 0x0000000000000002 0x0000000000000002 = 0x0000000000000001 0x0000000000000001 = 0x0000000000000000 Δ
1658 0x0000000000010002 Δ 0x000000000000007F 0x0000000000000001 Δ 0x0000000000000002 0x0000000000000002 = 0x0000000000000002 0x0000000000000002 = 0x0000000000000000 Δ
1659 0x0000000000010002 Δ 0x000000000000007F 0x0000000000000002 Δ 0x0000000000000002 0x0000000000000002 = 0x0000000000000003 0x0000000000000003 = 0x0000000000000000 Δ
1660 0x0000000000010002 Δ 0x000000000000007F 0x0000000000000001 Δ 0x0000000000000002 0x0000000000000002 = 0x000000000000007E 0x000000000000007E = 0x0000000000000000 Δ
1661 0x0000000000010002 Δ 0x000000000000007F 0x0000000000000002 Δ 0x0000000000000002 0x0000000000000002 = 0x000000000000007F 0x000000000000007F = 0x0000000000000000 Δ
1662 0x0000000000010002 Δ 0x000000000000007F 0x0000000000000000 Δ 0x0000000000000002 0x0000000000000002 = 0x0000000000000080 0x0000000000000080 = 0x0000000000000000 Δ
1663 0x0000000000010002 Δ 0x000000000000007F 0x0000000000000000 Δ 0x0000000000000002 0x0000000000000002 = 0x0000000000000081 0x0000000000000081 = 0x0000000000000000 Δ
1664 0x0000000000010002 Δ 0x000000000000007F 0x0000000000000001 Δ 0x0000000000000002 0x0000000000000002 = 0x0000000000000082 0x0000000000000082 = 0x0000000000000000 Δ
1665 0x0000000000010002 Δ 0x000000000000007F 0x0000000000000000 Δ 0x0000000000000002 0x0000000000000002 = 0x00000000000000FD 0x00000000000000FD = 0x0000000000000000 Δ
1666 0x0000000000010002 Δ 0x000000000000007F 0x0000000000000001 Δ 0x0000000000000002 0x0000000000000002 = 0x00000000000000FE 0x00000000000000FE = 0x0000000000000000 Δ
1667 0x0000000000010002 Δ 0x000000000000007F 0x0000000000000002 Δ 0x0000000000000002 0x0000000000000002 = 0x00000000000000FF 0x00000000000000FF = 0x0000000000000000 Δ
1668 0x0000000000010002 Δ 0x000000000000007F 0x0000000000000000 Δ 0x0000000000000002 0x0000000000000002 = 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 = 0x0000000000000000 Δ
1669 0x0000000000010002 Δ 0x000000000000007F 0x0000000000000000 Δ 0x0000000000000002 0x0000000000000002 = 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x0000000000000000 Δ
1670 0x0000000000010002 Δ 0x000000000000007F 0x0000000000000001 Δ 0x0000000000000002 0x0000000000000002 = 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0x0000000000000000 Δ
1671 0x0000000000010002 Δ 0x000000000000007F 0x0000000000000000 Δ 0x0000000000000002 0x0000000000000002 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x0000000000000000 Δ
1672 0x0000000000010002 Δ 0x000000000000007F 0x0000000000000001 Δ 0x0000000000000002 0x0000000000000002 = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x0000000000000000 Δ
1673 0x0000000000010002 Δ 0x000000000000007F 0x0000000000000002 Δ 0x0000000000000002 0x0000000000000002 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000000 Δ
1674 0x0000000000010002 Δ 0x000000000000007F 0x0000000000000000 Δ 0x0000000000000003 0x0000000000000003 = 0x0000000000000000 0x0000000000000000 = 0x0000000000000000 Δ
1675 0x0000000000010002 Δ 0x000000000000007F 0x0000000000000001 Δ 0x0000000000000003 0x0000000000000003 = 0x0000000000000001 0x0000000000000001 = 0x0000000000000000 Δ
1676 0x0000000000010002 Δ 0x000000000000007F 0x0000000000000001 Δ 0x0000000000000003 0x0000000000000003 = 0x0000000000000002 0x0000000000000002 = 0x0000000000000000 Δ
1677 0x0000000000010002 Δ 0x000000000000007F 0x0000000000000003 Δ 0x0000000000000003 0x0000000000000003 = 0x0000000000000003 0x0000000000000003 = 0x0000000000000000 Δ
1678 0x0000000000010002 Δ 0x000000000000007F 0x0000000000000001 Δ 0x0000000000000003 0x0000000000000003 = 0x000000000000007E 0x000000000000007E = 0x0000000000000000 Δ
1679 0x0000000000010002 Δ 0x000000000000007F 0x0000000000000003 Δ 0x0000000000000003 0x0000000000000003 = 0x000000000000007F 0x000000000000007F = 0x0000000000000000 Δ
1680 0x0000000000010002 Δ 0x000000000000007F 0x0000000000000000 Δ 0x0000000000000003 0x0000000000000003 = 0x0000000000000080 0x0000000000000080 = 0x0000000000000000 Δ
1681 0x0000000000010002 Δ 0x000000000000007F 0x0000000000000001 Δ 0x0000000000000003 0x0000000000000003 = 0x0000000000000081 0x0000000000000081 = 0x0000000000000000 Δ
1682 0x0000000000010002 Δ 0x000000000000007F 0x0000000000000001 Δ 0x0000000000000003 0x0000000000000003 = 0x0000000000000082 0x0000000000000082 = 0x0000000000000000 Δ
1683 0x0000000000010002 Δ 0x000000000000007F 0x0000000000000001 Δ 0x0000000000000003 0x0000000000000003 = 0x00000000000000FD 0x00000000000000FD = 0x0000000000000000 Δ
1684 0x0000000000010002 Δ 0x000000000000007F 0x0000000000000001 Δ 0x0000000000000003 0x0000000000000003 = 0x00000000000000FE 0x00000000000000FE = 0x0000000000000000 Δ
1685 0x0000000000010002 Δ 0x000000000000007F 0x0000000000000003 Δ 0x0000000000000003 0x0000000000000003 = 0x00000000000000FF 0x00000000000000FF = 0x0000000000000000 Δ
1686 0x0000000000010002 Δ 0x000000000000007F 0x0000000000000000 Δ 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 = 0x0000000000000000 Δ
1687 0x0000000000010002 Δ 0x000000000000007F 0x0000000000000001 Δ 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x0000000000000000 Δ
1688 0x0000000000010002 Δ 0x000000000000007F 0x0000000000000001 Δ 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0x0000000000000000 Δ
1689 0x0000000000010002 Δ 0x000000000000007F 0x0000000000000000 Δ 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x0000000000000000 Δ
1690 0x0000000000010002 Δ 0x000000000000007F 0x0000000000000001 Δ 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x0000000000000000 Δ
1691 0x0000000000010002 Δ 0x000000000000007F 0x0000000000000003 Δ 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000000 Δ
1692 0x0000000000010002 Δ 0x000000000000007F 0x0000000000000000 Δ 0x000000000000007E 0x000000000000007E = 0x0000000000000000 0x0000000000000000 = 0x0000000000000000 Δ
1693 0x0000000000010002 Δ 0x000000000000007F 0x0000000000000000 Δ 0x000000000000007E 0x000000000000007E = 0x0000000000000001 0x0000000000000001 = 0x0000000000000000 Δ
1694 0x0000000000010002 Δ 0x000000000000007F 0x0000000000000001 Δ 0x000000000000007E 0x000000000000007E = 0x0000000000000002 0x0000000000000002 = 0x0000000000000000 Δ
1695 0x0000000000010002 Δ 0x000000000000007F 0x0000000000000002 Δ 0x000000000000007E 0x000000000000007E = 0x0000000000000003 0x0000000000000003 = 0x0000000000000000 Δ
1696 0x0000000000010002 Δ 0x000000000000007F 0x000000000000003F Δ 0x000000000000007E 0x000000000000007E = 0x000000000000007E 0x000000000000007E = 0x0000000000000000 Δ
1697 0x0000000000010002 Δ 0x000000000000007F 0x000000000000007E Δ 0x000000000000007E 0x000000000000007E = 0x000000000000007F 0x000000000000007F = 0x0000000000000000 Δ
1698 0x0000000000010002 Δ 0x000000000000007F 0x0000000000000000 Δ 0x000000000000007E 0x000000000000007E = 0x0000000000000080 0x0000000000000080 = 0x0000000000000000 Δ
1699 0x0000000000010002 Δ 0x000000000000007F 0x0000000000000000 Δ 0x000000000000007E 0x000000000000007E = 0x0000000000000081 0x0000000000000081 = 0x0000000000000000 Δ
← Prev Page 34 of 117 Next →