pext rax, rbx, rcxOpcode: c4e2e2f5c1
| State # | flag |
rax |
rbx |
rcx |
rdx |
||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | |
| 4900 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x0000000000000001
|
Δ | 0x0000000000000002 |
0x0000000000000002
|
= | 0x000000000000007E |
0x000000000000007E
|
= | — |
0x0000000000000000
|
Δ |
| 4901 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x0000000000000002
|
Δ | 0x0000000000000002 |
0x0000000000000002
|
= | 0x000000000000007F |
0x000000000000007F
|
= | — |
0x0000000000000000
|
Δ |
| 4902 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x0000000000000000
|
Δ | 0x0000000000000002 |
0x0000000000000002
|
= | 0x0000000000000080 |
0x0000000000000080
|
= | — |
0x0000000000000000
|
Δ |
| 4903 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x0000000000000000
|
Δ | 0x0000000000000002 |
0x0000000000000002
|
= | 0x0000000000000081 |
0x0000000000000081
|
= | — |
0x0000000000000000
|
Δ |
| 4904 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x0000000000000001
|
Δ | 0x0000000000000002 |
0x0000000000000002
|
= | 0x0000000000000082 |
0x0000000000000082
|
= | — |
0x0000000000000000
|
Δ |
| 4905 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x0000000000000000
|
Δ | 0x0000000000000002 |
0x0000000000000002
|
= | 0x00000000000000FD |
0x00000000000000FD
|
= | — |
0x0000000000000000
|
Δ |
| 4906 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x0000000000000001
|
Δ | 0x0000000000000002 |
0x0000000000000002
|
= | 0x00000000000000FE |
0x00000000000000FE
|
= | — |
0x0000000000000000
|
Δ |
| 4907 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x0000000000000002
|
Δ | 0x0000000000000002 |
0x0000000000000002
|
= | 0x00000000000000FF |
0x00000000000000FF
|
= | — |
0x0000000000000000
|
Δ |
| 4908 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x0000000000000000
|
Δ | 0x0000000000000002 |
0x0000000000000002
|
= | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | — |
0x0000000000000000
|
Δ |
| 4909 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x0000000000000000
|
Δ | 0x0000000000000002 |
0x0000000000000002
|
= | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | — |
0x0000000000000000
|
Δ |
| 4910 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x0000000000000001
|
Δ | 0x0000000000000002 |
0x0000000000000002
|
= | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | — |
0x0000000000000000
|
Δ |
| 4911 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x0000000000000000
|
Δ | 0x0000000000000002 |
0x0000000000000002
|
= | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | — |
0x0000000000000000
|
Δ |
| 4912 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x0000000000000001
|
Δ | 0x0000000000000002 |
0x0000000000000002
|
= | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | — |
0x0000000000000000
|
Δ |
| 4913 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x0000000000000002
|
Δ | 0x0000000000000002 |
0x0000000000000002
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | — |
0x0000000000000000
|
Δ |
| 4914 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x0000000000000000
|
Δ | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000000 |
0x0000000000000000
|
= | — |
0x0000000000000000
|
Δ |
| 4915 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x0000000000000001
|
Δ | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000001 |
0x0000000000000001
|
= | — |
0x0000000000000000
|
Δ |
| 4916 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x0000000000000001
|
Δ | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000002 |
0x0000000000000002
|
= | — |
0x0000000000000000
|
Δ |
| 4917 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x0000000000000003
|
Δ | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | — |
0x0000000000000000
|
Δ |
| 4918 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x0000000000000001
|
Δ | 0x0000000000000003 |
0x0000000000000003
|
= | 0x000000000000007E |
0x000000000000007E
|
= | — |
0x0000000000000000
|
Δ |
| 4919 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x0000000000000003
|
Δ | 0x0000000000000003 |
0x0000000000000003
|
= | 0x000000000000007F |
0x000000000000007F
|
= | — |
0x0000000000000000
|
Δ |
| 4920 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x0000000000000000
|
Δ | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000080 |
0x0000000000000080
|
= | — |
0x0000000000000000
|
Δ |
| 4921 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x0000000000000001
|
Δ | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000081 |
0x0000000000000081
|
= | — |
0x0000000000000000
|
Δ |
| 4922 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x0000000000000001
|
Δ | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000082 |
0x0000000000000082
|
= | — |
0x0000000000000000
|
Δ |
| 4923 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x0000000000000001
|
Δ | 0x0000000000000003 |
0x0000000000000003
|
= | 0x00000000000000FD |
0x00000000000000FD
|
= | — |
0x0000000000000000
|
Δ |
| 4924 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x0000000000000001
|
Δ | 0x0000000000000003 |
0x0000000000000003
|
= | 0x00000000000000FE |
0x00000000000000FE
|
= | — |
0x0000000000000000
|
Δ |
| 4925 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x0000000000000003
|
Δ | 0x0000000000000003 |
0x0000000000000003
|
= | 0x00000000000000FF |
0x00000000000000FF
|
= | — |
0x0000000000000000
|
Δ |
| 4926 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x0000000000000000
|
Δ | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | — |
0x0000000000000000
|
Δ |
| 4927 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x0000000000000001
|
Δ | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | — |
0x0000000000000000
|
Δ |
| 4928 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x0000000000000001
|
Δ | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | — |
0x0000000000000000
|
Δ |
| 4929 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x0000000000000000
|
Δ | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | — |
0x0000000000000000
|
Δ |
| 4930 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x0000000000000001
|
Δ | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | — |
0x0000000000000000
|
Δ |
| 4931 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x0000000000000003
|
Δ | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | — |
0x0000000000000000
|
Δ |
| 4932 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x0000000000000000
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= | 0x0000000000000000 |
0x0000000000000000
|
= | — |
0x0000000000000000
|
Δ |
| 4933 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x0000000000000000
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= | 0x0000000000000001 |
0x0000000000000001
|
= | — |
0x0000000000000000
|
Δ |
| 4934 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x0000000000000001
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= | 0x0000000000000002 |
0x0000000000000002
|
= | — |
0x0000000000000000
|
Δ |
| 4935 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x0000000000000002
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | — |
0x0000000000000000
|
Δ |
| 4936 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x000000000000003F
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= | 0x000000000000007E |
0x000000000000007E
|
= | — |
0x0000000000000000
|
Δ |
| 4937 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x000000000000007E
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= | 0x000000000000007F |
0x000000000000007F
|
= | — |
0x0000000000000000
|
Δ |
| 4938 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x0000000000000000
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= | 0x0000000000000080 |
0x0000000000000080
|
= | — |
0x0000000000000000
|
Δ |
| 4939 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x0000000000000000
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= | 0x0000000000000081 |
0x0000000000000081
|
= | — |
0x0000000000000000
|
Δ |
| 4940 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x0000000000000001
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= | 0x0000000000000082 |
0x0000000000000082
|
= | — |
0x0000000000000000
|
Δ |
| 4941 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x000000000000003E
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= | 0x00000000000000FD |
0x00000000000000FD
|
= | — |
0x0000000000000000
|
Δ |
| 4942 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x000000000000003F
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= | 0x00000000000000FE |
0x00000000000000FE
|
= | — |
0x0000000000000000
|
Δ |
| 4943 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x000000000000007E
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= | 0x00000000000000FF |
0x00000000000000FF
|
= | — |
0x0000000000000000
|
Δ |
| 4944 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x0000000000000000
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | — |
0x0000000000000000
|
Δ |
| 4945 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x0000000000000000
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | — |
0x0000000000000000
|
Δ |
| 4946 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x0000000000000001
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | — |
0x0000000000000000
|
Δ |
| 4947 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x0000000000000000
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | — |
0x0000000000000000
|
Δ |
| 4948 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x000000000000003F
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | — |
0x0000000000000000
|
Δ |
| 4949 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x000000000000007E
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | — |
0x0000000000000000
|
Δ |