pext eax, ebx, ecxOpcode: c4e262f5c1
| State # | flag |
rax |
rbx |
rcx |
rdx |
||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | |
| 4200 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000001
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0x0000000000000080 |
0x0000000000000080
|
= | — |
0x0000000000000000
|
Δ |
| 4201 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000003
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0x0000000000000081 |
0x0000000000000081
|
= | — |
0x0000000000000000
|
Δ |
| 4202 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000003
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0x0000000000000082 |
0x0000000000000082
|
= | — |
0x0000000000000000
|
Δ |
| 4203 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x000000000000007F
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0x00000000000000FD |
0x00000000000000FD
|
= | — |
0x0000000000000000
|
Δ |
| 4204 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x000000000000007F
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0x00000000000000FE |
0x00000000000000FE
|
= | — |
0x0000000000000000
|
Δ |
| 4205 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x00000000000000FF
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0x00000000000000FF |
0x00000000000000FF
|
= | — |
0x0000000000000000
|
Δ |
| 4206 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000FFFFFF
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | — |
0x0000000000000000
|
Δ |
| 4207 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000001FFFFFF
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | — |
0x0000000000000000
|
Δ |
| 4208 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000001FFFFFF
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | — |
0x0000000000000000
|
Δ |
| 4209 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000001FFFFFF
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | — |
0x0000000000000000
|
Δ |
| 4210 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x000000007FFFFFFF
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | — |
0x0000000000000000
|
Δ |
| 4211 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x00000000FFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | — |
0x0000000000000000
|
Δ |
| 4212 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x0000000000000000
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0x0000000000000000 |
0x0000000000000000
|
= | — |
0x0000000000000000
|
Δ |
| 4213 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x0000000000000000
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0x0000000000000001 |
0x0000000000000001
|
= | — |
0x0000000000000000
|
Δ |
| 4214 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x0000000000000000
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0x0000000000000002 |
0x0000000000000002
|
= | — |
0x0000000000000000
|
Δ |
| 4215 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x0000000000000000
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | — |
0x0000000000000000
|
Δ |
| 4216 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x0000000000000000
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0x000000000000007E |
0x000000000000007E
|
= | — |
0x0000000000000000
|
Δ |
| 4217 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x0000000000000000
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0x000000000000007F |
0x000000000000007F
|
= | — |
0x0000000000000000
|
Δ |
| 4218 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x0000000000000000
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0x0000000000000080 |
0x0000000000000080
|
= | — |
0x0000000000000000
|
Δ |
| 4219 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x0000000000000000
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0x0000000000000081 |
0x0000000000000081
|
= | — |
0x0000000000000000
|
Δ |
| 4220 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x0000000000000000
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0x0000000000000082 |
0x0000000000000082
|
= | — |
0x0000000000000000
|
Δ |
| 4221 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x0000000000000000
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0x00000000000000FD |
0x00000000000000FD
|
= | — |
0x0000000000000000
|
Δ |
| 4222 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x0000000000000000
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0x00000000000000FE |
0x00000000000000FE
|
= | — |
0x0000000000000000
|
Δ |
| 4223 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x0000000000000000
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0x00000000000000FF |
0x00000000000000FF
|
= | — |
0x0000000000000000
|
Δ |
| 4224 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x0000000000000000
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | — |
0x0000000000000000
|
Δ |
| 4225 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x0000000000000000
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | — |
0x0000000000000000
|
Δ |
| 4226 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x0000000000000000
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | — |
0x0000000000000000
|
Δ |
| 4227 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x0000000000000000
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | — |
0x0000000000000000
|
Δ |
| 4228 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x0000000000000000
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | — |
0x0000000000000000
|
Δ |
| 4229 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x0000000000000000
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | — |
0x0000000000000000
|
Δ |
| 4230 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x0000000000000000
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= | 0x0000000000000000 |
0x0000000000000000
|
= | — |
0x0000000000000000
|
Δ |
| 4231 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x0000000000000001
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= | 0x0000000000000001 |
0x0000000000000001
|
= | — |
0x0000000000000000
|
Δ |
| 4232 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x0000000000000000
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= | 0x0000000000000002 |
0x0000000000000002
|
= | — |
0x0000000000000000
|
Δ |
| 4233 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x0000000000000001
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | — |
0x0000000000000000
|
Δ |
| 4234 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x0000000000000000
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= | 0x000000000000007E |
0x000000000000007E
|
= | — |
0x0000000000000000
|
Δ |
| 4235 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x0000000000000001
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= | 0x000000000000007F |
0x000000000000007F
|
= | — |
0x0000000000000000
|
Δ |
| 4236 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x0000000000000000
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= | 0x0000000000000080 |
0x0000000000000080
|
= | — |
0x0000000000000000
|
Δ |
| 4237 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x0000000000000001
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= | 0x0000000000000081 |
0x0000000000000081
|
= | — |
0x0000000000000000
|
Δ |
| 4238 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x0000000000000000
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= | 0x0000000000000082 |
0x0000000000000082
|
= | — |
0x0000000000000000
|
Δ |
| 4239 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x0000000000000001
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= | 0x00000000000000FD |
0x00000000000000FD
|
= | — |
0x0000000000000000
|
Δ |
| 4240 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x0000000000000000
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= | 0x00000000000000FE |
0x00000000000000FE
|
= | — |
0x0000000000000000
|
Δ |
| 4241 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x0000000000000001
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= | 0x00000000000000FF |
0x00000000000000FF
|
= | — |
0x0000000000000000
|
Δ |
| 4242 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x0000000000000000
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | — |
0x0000000000000000
|
Δ |
| 4243 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x0000000000000001
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | — |
0x0000000000000000
|
Δ |
| 4244 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x0000000000000000
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | — |
0x0000000000000000
|
Δ |
| 4245 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x0000000000000000
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | — |
0x0000000000000000
|
Δ |
| 4246 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x0000000000000000
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | — |
0x0000000000000000
|
Δ |
| 4247 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x0000000000000001
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | — |
0x0000000000000000
|
Δ |
| 4248 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x0000000000000000
|
Δ | 0x0000000000000002 |
0x0000000000000002
|
= | 0x0000000000000000 |
0x0000000000000000
|
= | — |
0x0000000000000000
|
Δ |
| 4249 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x0000000000000000
|
Δ | 0x0000000000000002 |
0x0000000000000002
|
= | 0x0000000000000001 |
0x0000000000000001
|
= | — |
0x0000000000000000
|
Δ |