pext rax, rbx, rcxOpcode: c4e2e2f5c1
| State # | flag |
rax |
rbx |
rcx |
rdx |
||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | |
| 1800 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000000
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= | 0x0000000000000000 |
0x0000000000000000
|
= | — |
0x0000000000000000
|
Δ |
| 1801 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000000
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= | 0x0000000000000001 |
0x0000000000000001
|
= | — |
0x0000000000000000
|
Δ |
| 1802 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000001
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= | 0x0000000000000002 |
0x0000000000000002
|
= | — |
0x0000000000000000
|
Δ |
| 1803 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000002
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | — |
0x0000000000000000
|
Δ |
| 1804 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x000000000000003F
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= | 0x000000000000007E |
0x000000000000007E
|
= | — |
0x0000000000000000
|
Δ |
| 1805 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x000000000000007E
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= | 0x000000000000007F |
0x000000000000007F
|
= | — |
0x0000000000000000
|
Δ |
| 1806 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000001
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= | 0x0000000000000080 |
0x0000000000000080
|
= | — |
0x0000000000000000
|
Δ |
| 1807 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000002
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= | 0x0000000000000081 |
0x0000000000000081
|
= | — |
0x0000000000000000
|
Δ |
| 1808 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000003
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= | 0x0000000000000082 |
0x0000000000000082
|
= | — |
0x0000000000000000
|
Δ |
| 1809 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x000000000000007E
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= | 0x00000000000000FD |
0x00000000000000FD
|
= | — |
0x0000000000000000
|
Δ |
| 1810 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= | 0x00000000000000FE |
0x00000000000000FE
|
= | 0x00000000000000FE |
0x00000000000000FE
|
= | — |
0x0000000000000000
|
Δ |
| 1811 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x00000000000000FE
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= | 0x00000000000000FF |
0x00000000000000FF
|
= | — |
0x0000000000000000
|
Δ |
| 1812 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000000
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | — |
0x0000000000000000
|
Δ |
| 1813 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000000
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | — |
0x0000000000000000
|
Δ |
| 1814 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000001
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | — |
0x0000000000000000
|
Δ |
| 1815 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000001
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | — |
0x0000000000000000
|
Δ |
| 1816 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= | 0x00000000000000FE |
0x00000000000000FE
|
= | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | — |
0x0000000000000000
|
Δ |
| 1817 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x00000000000000FE
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | — |
0x0000000000000000
|
Δ |
| 1818 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000000
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x0000000000000000 |
0x0000000000000000
|
= | — |
0x0000000000000000
|
Δ |
| 1819 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000001
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x0000000000000001 |
0x0000000000000001
|
= | — |
0x0000000000000000
|
Δ |
| 1820 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000001
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x0000000000000002 |
0x0000000000000002
|
= | — |
0x0000000000000000
|
Δ |
| 1821 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000003
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | — |
0x0000000000000000
|
Δ |
| 1822 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x000000000000003F
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x000000000000007E |
0x000000000000007E
|
= | — |
0x0000000000000000
|
Δ |
| 1823 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x000000000000007F |
0x000000000000007F
|
= | — |
0x0000000000000000
|
Δ |
| 1824 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000001
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x0000000000000080 |
0x0000000000000080
|
= | — |
0x0000000000000000
|
Δ |
| 1825 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000003
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x0000000000000081 |
0x0000000000000081
|
= | — |
0x0000000000000000
|
Δ |
| 1826 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000003
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x0000000000000082 |
0x0000000000000082
|
= | — |
0x0000000000000000
|
Δ |
| 1827 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x00000000000000FD |
0x00000000000000FD
|
= | — |
0x0000000000000000
|
Δ |
| 1828 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x00000000000000FE |
0x00000000000000FE
|
= | — |
0x0000000000000000
|
Δ |
| 1829 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x00000000000000FF
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x00000000000000FF |
0x00000000000000FF
|
= | — |
0x0000000000000000
|
Δ |
| 1830 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000000
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | — |
0x0000000000000000
|
Δ |
| 1831 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000001
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | — |
0x0000000000000000
|
Δ |
| 1832 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000001
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | — |
0x0000000000000000
|
Δ |
| 1833 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000001
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | — |
0x0000000000000000
|
Δ |
| 1834 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= | 0x00000000000000FF |
0x00000000000000FF
|
= | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | — |
0x0000000000000000
|
Δ |
| 1835 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x00000000000000FF
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | — |
0x0000000000000000
|
Δ |
| 1836 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x0000000000000000 |
0x0000000000000000
|
= | — |
0x0000000000000000
|
Δ |
| 1837 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x0000000000000001 |
0x0000000000000001
|
= | — |
0x0000000000000000
|
Δ |
| 1838 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x0000000000000002 |
0x0000000000000002
|
= | — |
0x0000000000000000
|
Δ |
| 1839 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | — |
0x0000000000000000
|
Δ |
| 1840 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x000000000000007E |
0x000000000000007E
|
= | — |
0x0000000000000000
|
Δ |
| 1841 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x000000000000007F |
0x000000000000007F
|
= | — |
0x0000000000000000
|
Δ |
| 1842 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x0000000000000080 |
0x0000000000000080
|
= | — |
0x0000000000000000
|
Δ |
| 1843 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x0000000000000081 |
0x0000000000000081
|
= | — |
0x0000000000000000
|
Δ |
| 1844 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x0000000000000082 |
0x0000000000000082
|
= | — |
0x0000000000000000
|
Δ |
| 1845 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x00000000000000FD |
0x00000000000000FD
|
= | — |
0x0000000000000000
|
Δ |
| 1846 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x00000000000000FE |
0x00000000000000FE
|
= | — |
0x0000000000000000
|
Δ |
| 1847 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x00000000000000FF |
0x00000000000000FF
|
= | — |
0x0000000000000000
|
Δ |
| 1848 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x00FFFFFFFFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | — |
0x0000000000000000
|
Δ |
| 1849 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x01FFFFFFFFFFFFFE
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | — |
0x0000000000000000
|
Δ |