shlx rax, rbx, rcxOpcode: c4e2f1f7c3
| State # | flag |
rax |
rbx |
rcx |
rdx |
||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | |
| 4000 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000000
|
Δ | 0x0000000000000080 |
0x0000000000000080
|
= | 0x000000000000007E |
0x000000000000007E
|
= | — |
0x0000000000000000
|
Δ |
| 4001 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000000
|
Δ | 0x0000000000000080 |
0x0000000000000080
|
= | 0x000000000000007F |
0x000000000000007F
|
= | — |
0x0000000000000000
|
Δ |
| 4002 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000080
|
Δ | 0x0000000000000080 |
0x0000000000000080
|
= | 0x0000000000000080 |
0x0000000000000080
|
= | — |
0x0000000000000000
|
Δ |
| 4003 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000100
|
Δ | 0x0000000000000080 |
0x0000000000000080
|
= | 0x0000000000000081 |
0x0000000000000081
|
= | — |
0x0000000000000000
|
Δ |
| 4004 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000200
|
Δ | 0x0000000000000080 |
0x0000000000000080
|
= | 0x0000000000000082 |
0x0000000000000082
|
= | — |
0x0000000000000000
|
Δ |
| 4005 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000000
|
Δ | 0x0000000000000080 |
0x0000000000000080
|
= | 0x00000000000000FD |
0x00000000000000FD
|
= | — |
0x0000000000000000
|
Δ |
| 4006 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000000
|
Δ | 0x0000000000000080 |
0x0000000000000080
|
= | 0x00000000000000FE |
0x00000000000000FE
|
= | — |
0x0000000000000000
|
Δ |
| 4007 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000000
|
Δ | 0x0000000000000080 |
0x0000000000000080
|
= | 0x00000000000000FF |
0x00000000000000FF
|
= | — |
0x0000000000000000
|
Δ |
| 4008 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000080
|
Δ | 0x0000000000000080 |
0x0000000000000080
|
= | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | — |
0x0000000000000000
|
Δ |
| 4009 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000100
|
Δ | 0x0000000000000080 |
0x0000000000000080
|
= | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | — |
0x0000000000000000
|
Δ |
| 4010 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000200
|
Δ | 0x0000000000000080 |
0x0000000000000080
|
= | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | — |
0x0000000000000000
|
Δ |
| 4011 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000080
|
Δ | 0x0000000000000080 |
0x0000000000000080
|
= | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | — |
0x0000000000000000
|
Δ |
| 4012 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000000
|
Δ | 0x0000000000000080 |
0x0000000000000080
|
= | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | — |
0x0000000000000000
|
Δ |
| 4013 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000000
|
Δ | 0x0000000000000080 |
0x0000000000000080
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | — |
0x0000000000000000
|
Δ |
| 4014 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000081
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= | 0x0000000000000000 |
0x0000000000000000
|
= | — |
0x0000000000000000
|
Δ |
| 4015 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000102
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= | 0x0000000000000001 |
0x0000000000000001
|
= | — |
0x0000000000000000
|
Δ |
| 4016 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000204
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= | 0x0000000000000002 |
0x0000000000000002
|
= | — |
0x0000000000000000
|
Δ |
| 4017 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000408
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | — |
0x0000000000000000
|
Δ |
| 4018 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x4000000000000000
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= | 0x000000000000007E |
0x000000000000007E
|
= | — |
0x0000000000000000
|
Δ |
| 4019 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x8000000000000000
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= | 0x000000000000007F |
0x000000000000007F
|
= | — |
0x0000000000000000
|
Δ |
| 4020 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000081
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= | 0x0000000000000080 |
0x0000000000000080
|
= | — |
0x0000000000000000
|
Δ |
| 4021 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000102
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= | 0x0000000000000081 |
0x0000000000000081
|
= | — |
0x0000000000000000
|
Δ |
| 4022 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000204
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= | 0x0000000000000082 |
0x0000000000000082
|
= | — |
0x0000000000000000
|
Δ |
| 4023 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x2000000000000000
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= | 0x00000000000000FD |
0x00000000000000FD
|
= | — |
0x0000000000000000
|
Δ |
| 4024 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x4000000000000000
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= | 0x00000000000000FE |
0x00000000000000FE
|
= | — |
0x0000000000000000
|
Δ |
| 4025 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x8000000000000000
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= | 0x00000000000000FF |
0x00000000000000FF
|
= | — |
0x0000000000000000
|
Δ |
| 4026 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000081
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | — |
0x0000000000000000
|
Δ |
| 4027 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000102
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | — |
0x0000000000000000
|
Δ |
| 4028 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000204
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | — |
0x0000000000000000
|
Δ |
| 4029 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000081
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | — |
0x0000000000000000
|
Δ |
| 4030 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x4000000000000000
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | — |
0x0000000000000000
|
Δ |
| 4031 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x8000000000000000
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | — |
0x0000000000000000
|
Δ |
| 4032 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000082
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= | 0x0000000000000000 |
0x0000000000000000
|
= | — |
0x0000000000000000
|
Δ |
| 4033 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000104
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= | 0x0000000000000001 |
0x0000000000000001
|
= | — |
0x0000000000000000
|
Δ |
| 4034 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000208
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= | 0x0000000000000002 |
0x0000000000000002
|
= | — |
0x0000000000000000
|
Δ |
| 4035 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000410
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | — |
0x0000000000000000
|
Δ |
| 4036 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x8000000000000000
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= | 0x000000000000007E |
0x000000000000007E
|
= | — |
0x0000000000000000
|
Δ |
| 4037 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000000
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= | 0x000000000000007F |
0x000000000000007F
|
= | — |
0x0000000000000000
|
Δ |
| 4038 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000082
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= | 0x0000000000000080 |
0x0000000000000080
|
= | — |
0x0000000000000000
|
Δ |
| 4039 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000104
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= | 0x0000000000000081 |
0x0000000000000081
|
= | — |
0x0000000000000000
|
Δ |
| 4040 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000208
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= | 0x0000000000000082 |
0x0000000000000082
|
= | — |
0x0000000000000000
|
Δ |
| 4041 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x4000000000000000
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= | 0x00000000000000FD |
0x00000000000000FD
|
= | — |
0x0000000000000000
|
Δ |
| 4042 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x8000000000000000
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= | 0x00000000000000FE |
0x00000000000000FE
|
= | — |
0x0000000000000000
|
Δ |
| 4043 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000000
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= | 0x00000000000000FF |
0x00000000000000FF
|
= | — |
0x0000000000000000
|
Δ |
| 4044 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000082
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | — |
0x0000000000000000
|
Δ |
| 4045 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000104
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | — |
0x0000000000000000
|
Δ |
| 4046 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000208
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | — |
0x0000000000000000
|
Δ |
| 4047 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000082
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | — |
0x0000000000000000
|
Δ |
| 4048 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x8000000000000000
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | — |
0x0000000000000000
|
Δ |
| 4049 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000000
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | — |
0x0000000000000000
|
Δ |