shlx rax, rbx, rcxOpcode: c4e2f1f7c3
| State # | flag |
rax |
rbx |
rcx |
rdx |
||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | |
| 4100 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x00000000000003FC
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | — |
0x0000000000000000
|
Δ |
| 4101 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x00000000000000FF
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | — |
0x0000000000000000
|
Δ |
| 4102 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xC000000000000000
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | — |
0x0000000000000000
|
Δ |
| 4103 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x8000000000000000
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | — |
0x0000000000000000
|
Δ |
| 4104 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x0000000000000000 |
0x0000000000000000
|
= | — |
0x0000000000000000
|
Δ |
| 4105 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFE00
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x0000000000000001 |
0x0000000000000001
|
= | — |
0x0000000000000000
|
Δ |
| 4106 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFC00
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x0000000000000002 |
0x0000000000000002
|
= | — |
0x0000000000000000
|
Δ |
| 4107 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFF800
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | — |
0x0000000000000000
|
Δ |
| 4108 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x000000000000007E |
0x000000000000007E
|
= | — |
0x0000000000000000
|
Δ |
| 4109 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x000000000000007F |
0x000000000000007F
|
= | — |
0x0000000000000000
|
Δ |
| 4110 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x0000000000000080 |
0x0000000000000080
|
= | — |
0x0000000000000000
|
Δ |
| 4111 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFE00
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x0000000000000081 |
0x0000000000000081
|
= | — |
0x0000000000000000
|
Δ |
| 4112 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFC00
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x0000000000000082 |
0x0000000000000082
|
= | — |
0x0000000000000000
|
Δ |
| 4113 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x00000000000000FD |
0x00000000000000FD
|
= | — |
0x0000000000000000
|
Δ |
| 4114 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x00000000000000FE |
0x00000000000000FE
|
= | — |
0x0000000000000000
|
Δ |
| 4115 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x00000000000000FF |
0x00000000000000FF
|
= | — |
0x0000000000000000
|
Δ |
| 4116 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | — |
0x0000000000000000
|
Δ |
| 4117 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFE00
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | — |
0x0000000000000000
|
Δ |
| 4118 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFC00
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | — |
0x0000000000000000
|
Δ |
| 4119 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | — |
0x0000000000000000
|
Δ |
| 4120 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | — |
0x0000000000000000
|
Δ |
| 4121 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | — |
0x0000000000000000
|
Δ |
| 4122 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF01
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0x0000000000000000 |
0x0000000000000000
|
= | — |
0x0000000000000000
|
Δ |
| 4123 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFE02
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0x0000000000000001 |
0x0000000000000001
|
= | — |
0x0000000000000000
|
Δ |
| 4124 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFC04
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0x0000000000000002 |
0x0000000000000002
|
= | — |
0x0000000000000000
|
Δ |
| 4125 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFF808
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | — |
0x0000000000000000
|
Δ |
| 4126 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x4000000000000000
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0x000000000000007E |
0x000000000000007E
|
= | — |
0x0000000000000000
|
Δ |
| 4127 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x8000000000000000
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0x000000000000007F |
0x000000000000007F
|
= | — |
0x0000000000000000
|
Δ |
| 4128 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF01
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0x0000000000000080 |
0x0000000000000080
|
= | — |
0x0000000000000000
|
Δ |
| 4129 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFE02
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0x0000000000000081 |
0x0000000000000081
|
= | — |
0x0000000000000000
|
Δ |
| 4130 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFC04
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0x0000000000000082 |
0x0000000000000082
|
= | — |
0x0000000000000000
|
Δ |
| 4131 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x2000000000000000
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0x00000000000000FD |
0x00000000000000FD
|
= | — |
0x0000000000000000
|
Δ |
| 4132 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x4000000000000000
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0x00000000000000FE |
0x00000000000000FE
|
= | — |
0x0000000000000000
|
Δ |
| 4133 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x8000000000000000
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0x00000000000000FF |
0x00000000000000FF
|
= | — |
0x0000000000000000
|
Δ |
| 4134 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF01
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | — |
0x0000000000000000
|
Δ |
| 4135 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFE02
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | — |
0x0000000000000000
|
Δ |
| 4136 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFC04
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | — |
0x0000000000000000
|
Δ |
| 4137 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF01
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | — |
0x0000000000000000
|
Δ |
| 4138 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x4000000000000000
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | — |
0x0000000000000000
|
Δ |
| 4139 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x8000000000000000
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | — |
0x0000000000000000
|
Δ |
| 4140 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF02
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x0000000000000000 |
0x0000000000000000
|
= | — |
0x0000000000000000
|
Δ |
| 4141 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFE04
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x0000000000000001 |
0x0000000000000001
|
= | — |
0x0000000000000000
|
Δ |
| 4142 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFC08
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x0000000000000002 |
0x0000000000000002
|
= | — |
0x0000000000000000
|
Δ |
| 4143 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFF810
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | — |
0x0000000000000000
|
Δ |
| 4144 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x8000000000000000
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x000000000000007E |
0x000000000000007E
|
= | — |
0x0000000000000000
|
Δ |
| 4145 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x000000000000007F |
0x000000000000007F
|
= | — |
0x0000000000000000
|
Δ |
| 4146 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF02
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x0000000000000080 |
0x0000000000000080
|
= | — |
0x0000000000000000
|
Δ |
| 4147 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFE04
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x0000000000000081 |
0x0000000000000081
|
= | — |
0x0000000000000000
|
Δ |
| 4148 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFC08
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x0000000000000082 |
0x0000000000000082
|
= | — |
0x0000000000000000
|
Δ |
| 4149 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x4000000000000000
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x00000000000000FD |
0x00000000000000FD
|
= | — |
0x0000000000000000
|
Δ |