shlx rax, rbx, rcxOpcode: c4e2f1f7c3
| State # | flag |
rax |
rbx |
rcx |
rdx |
||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | |
| 4500 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFFFE
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0x0000000000000000 |
0x0000000000000000
|
= | — |
0x0000000000000000
|
Δ |
| 4501 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFFFC
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0x0000000000000001 |
0x0000000000000001
|
= | — |
0x0000000000000000
|
Δ |
| 4502 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFFF8
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0x0000000000000002 |
0x0000000000000002
|
= | — |
0x0000000000000000
|
Δ |
| 4503 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFFF0
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | — |
0x0000000000000000
|
Δ |
| 4504 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x8000000000000000
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0x000000000000007E |
0x000000000000007E
|
= | — |
0x0000000000000000
|
Δ |
| 4505 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0x000000000000007F |
0x000000000000007F
|
= | — |
0x0000000000000000
|
Δ |
| 4506 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFFFE
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0x0000000000000080 |
0x0000000000000080
|
= | — |
0x0000000000000000
|
Δ |
| 4507 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFFFC
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0x0000000000000081 |
0x0000000000000081
|
= | — |
0x0000000000000000
|
Δ |
| 4508 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFFF8
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0x0000000000000082 |
0x0000000000000082
|
= | — |
0x0000000000000000
|
Δ |
| 4509 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xC000000000000000
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0x00000000000000FD |
0x00000000000000FD
|
= | — |
0x0000000000000000
|
Δ |
| 4510 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x8000000000000000
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0x00000000000000FE |
0x00000000000000FE
|
= | — |
0x0000000000000000
|
Δ |
| 4511 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0x00000000000000FF |
0x00000000000000FF
|
= | — |
0x0000000000000000
|
Δ |
| 4512 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFFFE
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | — |
0x0000000000000000
|
Δ |
| 4513 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFFFC
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | — |
0x0000000000000000
|
Δ |
| 4514 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFFF8
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | — |
0x0000000000000000
|
Δ |
| 4515 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFFFE
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | — |
0x0000000000000000
|
Δ |
| 4516 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x8000000000000000
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | — |
0x0000000000000000
|
Δ |
| 4517 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | — |
0x0000000000000000
|
Δ |
| 4518 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0x0000000000000000 |
0x0000000000000000
|
= | — |
0x0000000000000000
|
Δ |
| 4519 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFFFE
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0x0000000000000001 |
0x0000000000000001
|
= | — |
0x0000000000000000
|
Δ |
| 4520 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFFFC
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0x0000000000000002 |
0x0000000000000002
|
= | — |
0x0000000000000000
|
Δ |
| 4521 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFFF8
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | — |
0x0000000000000000
|
Δ |
| 4522 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xC000000000000000
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0x000000000000007E |
0x000000000000007E
|
= | — |
0x0000000000000000
|
Δ |
| 4523 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x8000000000000000
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0x000000000000007F |
0x000000000000007F
|
= | — |
0x0000000000000000
|
Δ |
| 4524 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0x0000000000000080 |
0x0000000000000080
|
= | — |
0x0000000000000000
|
Δ |
| 4525 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFFFE
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0x0000000000000081 |
0x0000000000000081
|
= | — |
0x0000000000000000
|
Δ |
| 4526 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFFFC
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0x0000000000000082 |
0x0000000000000082
|
= | — |
0x0000000000000000
|
Δ |
| 4527 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xE000000000000000
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0x00000000000000FD |
0x00000000000000FD
|
= | — |
0x0000000000000000
|
Δ |
| 4528 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xC000000000000000
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0x00000000000000FE |
0x00000000000000FE
|
= | — |
0x0000000000000000
|
Δ |
| 4529 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x8000000000000000
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0x00000000000000FF |
0x00000000000000FF
|
= | — |
0x0000000000000000
|
Δ |
| 4530 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | — |
0x0000000000000000
|
Δ |
| 4531 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFFFE
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | — |
0x0000000000000000
|
Δ |
| 4532 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFFFC
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | — |
0x0000000000000000
|
Δ |
| 4533 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | — |
0x0000000000000000
|
Δ |
| 4534 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xC000000000000000
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | — |
0x0000000000000000
|
Δ |
| 4535 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x8000000000000000
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | — |
0x0000000000000000
|
Δ |
| 4536 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000000
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0x0000000000000000 |
0x0000000000000000
|
= | — |
0x0000000000000000
|
Δ |
| 4537 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000000
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0x0000000000000001 |
0x0000000000000001
|
= | — |
0x0000000000000000
|
Δ |
| 4538 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000000
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0x0000000000000002 |
0x0000000000000002
|
= | — |
0x0000000000000000
|
Δ |
| 4539 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000000
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | — |
0x0000000000000000
|
Δ |
| 4540 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000000
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0x000000000000007E |
0x000000000000007E
|
= | — |
0x0000000000000000
|
Δ |
| 4541 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000000
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0x000000000000007F |
0x000000000000007F
|
= | — |
0x0000000000000000
|
Δ |
| 4542 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000000
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0x0000000000000080 |
0x0000000000000080
|
= | — |
0x0000000000000000
|
Δ |
| 4543 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000000
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0x0000000000000081 |
0x0000000000000081
|
= | — |
0x0000000000000000
|
Δ |
| 4544 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000000
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0x0000000000000082 |
0x0000000000000082
|
= | — |
0x0000000000000000
|
Δ |
| 4545 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000000
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0x00000000000000FD |
0x00000000000000FD
|
= | — |
0x0000000000000000
|
Δ |
| 4546 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000000
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0x00000000000000FE |
0x00000000000000FE
|
= | — |
0x0000000000000000
|
Δ |
| 4547 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000000
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0x00000000000000FF |
0x00000000000000FF
|
= | — |
0x0000000000000000
|
Δ |
| 4548 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000000
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | — |
0x0000000000000000
|
Δ |
| 4549 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000000
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | — |
0x0000000000000000
|
Δ |