shlx eax, ebx, ecxOpcode: c4e271f7c3
| State # | flag |
rax |
rbx |
rcx |
rdx |
||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | |
| 3500 | — |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x00000000FFFFFC08
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x0000000000000082 |
0x0000000000000082
|
= | — |
0x0000000000000000
|
Δ |
| 3501 | — |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000040000000
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x00000000000000FD |
0x00000000000000FD
|
= | — |
0x0000000000000000
|
Δ |
| 3502 | — |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000080000000
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x00000000000000FE |
0x00000000000000FE
|
= | — |
0x0000000000000000
|
Δ |
| 3503 | — |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x00000000000000FF |
0x00000000000000FF
|
= | — |
0x0000000000000000
|
Δ |
| 3504 | — |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x00000000FFFFFF02
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | — |
0x0000000000000000
|
Δ |
| 3505 | — |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x00000000FFFFFE04
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | — |
0x0000000000000000
|
Δ |
| 3506 | — |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x00000000FFFFFC08
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | — |
0x0000000000000000
|
Δ |
| 3507 | — |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x00000000FFFFFF02
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | — |
0x0000000000000000
|
Δ |
| 3508 | — |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000080000000
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | — |
0x0000000000000000
|
Δ |
| 3509 | — |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | — |
0x0000000000000000
|
Δ |
| 3510 | — |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x00000000FFFFFF80
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x0000000000000000 |
0x0000000000000000
|
= | — |
0x0000000000000000
|
Δ |
| 3511 | — |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x00000000FFFFFF00
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x0000000000000001 |
0x0000000000000001
|
= | — |
0x0000000000000000
|
Δ |
| 3512 | — |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x00000000FFFFFE00
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x0000000000000002 |
0x0000000000000002
|
= | — |
0x0000000000000000
|
Δ |
| 3513 | — |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x00000000FFFFFC00
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | — |
0x0000000000000000
|
Δ |
| 3514 | — |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x000000000000007E |
0x000000000000007E
|
= | — |
0x0000000000000000
|
Δ |
| 3515 | — |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x000000000000007F |
0x000000000000007F
|
= | — |
0x0000000000000000
|
Δ |
| 3516 | — |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x00000000FFFFFF80
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x0000000000000080 |
0x0000000000000080
|
= | — |
0x0000000000000000
|
Δ |
| 3517 | — |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x00000000FFFFFF00
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x0000000000000081 |
0x0000000000000081
|
= | — |
0x0000000000000000
|
Δ |
| 3518 | — |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x00000000FFFFFE00
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x0000000000000082 |
0x0000000000000082
|
= | — |
0x0000000000000000
|
Δ |
| 3519 | — |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x00000000000000FD |
0x00000000000000FD
|
= | — |
0x0000000000000000
|
Δ |
| 3520 | — |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x00000000000000FE |
0x00000000000000FE
|
= | — |
0x0000000000000000
|
Δ |
| 3521 | — |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x00000000000000FF |
0x00000000000000FF
|
= | — |
0x0000000000000000
|
Δ |
| 3522 | — |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x00000000FFFFFF80
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | — |
0x0000000000000000
|
Δ |
| 3523 | — |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x00000000FFFFFF00
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | — |
0x0000000000000000
|
Δ |
| 3524 | — |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x00000000FFFFFE00
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | — |
0x0000000000000000
|
Δ |
| 3525 | — |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x00000000FFFFFF80
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | — |
0x0000000000000000
|
Δ |
| 3526 | — |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | — |
0x0000000000000000
|
Δ |
| 3527 | — |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | — |
0x0000000000000000
|
Δ |
| 3528 | — |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x00000000FFFFFFFE
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0x0000000000000000 |
0x0000000000000000
|
= | — |
0x0000000000000000
|
Δ |
| 3529 | — |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x00000000FFFFFFFC
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0x0000000000000001 |
0x0000000000000001
|
= | — |
0x0000000000000000
|
Δ |
| 3530 | — |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x00000000FFFFFFF8
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0x0000000000000002 |
0x0000000000000002
|
= | — |
0x0000000000000000
|
Δ |
| 3531 | — |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x00000000FFFFFFF0
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | — |
0x0000000000000000
|
Δ |
| 3532 | — |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000080000000
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0x000000000000007E |
0x000000000000007E
|
= | — |
0x0000000000000000
|
Δ |
| 3533 | — |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0x000000000000007F |
0x000000000000007F
|
= | — |
0x0000000000000000
|
Δ |
| 3534 | — |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x00000000FFFFFFFE
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0x0000000000000080 |
0x0000000000000080
|
= | — |
0x0000000000000000
|
Δ |
| 3535 | — |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x00000000FFFFFFFC
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0x0000000000000081 |
0x0000000000000081
|
= | — |
0x0000000000000000
|
Δ |
| 3536 | — |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x00000000FFFFFFF8
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0x0000000000000082 |
0x0000000000000082
|
= | — |
0x0000000000000000
|
Δ |
| 3537 | — |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x00000000C0000000
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0x00000000000000FD |
0x00000000000000FD
|
= | — |
0x0000000000000000
|
Δ |
| 3538 | — |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000080000000
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0x00000000000000FE |
0x00000000000000FE
|
= | — |
0x0000000000000000
|
Δ |
| 3539 | — |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0x00000000000000FF |
0x00000000000000FF
|
= | — |
0x0000000000000000
|
Δ |
| 3540 | — |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x00000000FFFFFFFE
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | — |
0x0000000000000000
|
Δ |
| 3541 | — |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x00000000FFFFFFFC
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | — |
0x0000000000000000
|
Δ |
| 3542 | — |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x00000000FFFFFFF8
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | — |
0x0000000000000000
|
Δ |
| 3543 | — |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x00000000FFFFFFFE
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | — |
0x0000000000000000
|
Δ |
| 3544 | — |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000080000000
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | — |
0x0000000000000000
|
Δ |
| 3545 | — |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | — |
0x0000000000000000
|
Δ |
| 3546 | — |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x00000000FFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0x0000000000000000 |
0x0000000000000000
|
= | — |
0x0000000000000000
|
Δ |
| 3547 | — |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x00000000FFFFFFFE
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0x0000000000000001 |
0x0000000000000001
|
= | — |
0x0000000000000000
|
Δ |
| 3548 | — |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x00000000FFFFFFFC
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0x0000000000000002 |
0x0000000000000002
|
= | — |
0x0000000000000000
|
Δ |
| 3549 | — |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x00000000FFFFFFF8
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | — |
0x0000000000000000
|
Δ |