shlx rax, rbx, rcxOpcode: c4e2f1f7c3
| State # | flag |
rax |
rbx |
rcx |
rdx |
||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | |
| 1150 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x4000000000000000
|
Δ | 0x00000000000000FD |
0x00000000000000FD
|
= | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | — |
0x0000000000000000
|
Δ |
| 1151 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x8000000000000000
|
Δ | 0x00000000000000FD |
0x00000000000000FD
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | — |
0x0000000000000000
|
Δ |
| 1152 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x00000000000000FE
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= | 0x0000000000000000 |
0x0000000000000000
|
= | — |
0x0000000000000000
|
Δ |
| 1153 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x00000000000001FC
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= | 0x0000000000000001 |
0x0000000000000001
|
= | — |
0x0000000000000000
|
Δ |
| 1154 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x00000000000003F8
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= | 0x0000000000000002 |
0x0000000000000002
|
= | — |
0x0000000000000000
|
Δ |
| 1155 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x00000000000007F0
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | — |
0x0000000000000000
|
Δ |
| 1156 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x8000000000000000
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= | 0x000000000000007E |
0x000000000000007E
|
= | — |
0x0000000000000000
|
Δ |
| 1157 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x0000000000000000
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= | 0x000000000000007F |
0x000000000000007F
|
= | — |
0x0000000000000000
|
Δ |
| 1158 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x00000000000000FE
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= | 0x0000000000000080 |
0x0000000000000080
|
= | — |
0x0000000000000000
|
Δ |
| 1159 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x00000000000001FC
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= | 0x0000000000000081 |
0x0000000000000081
|
= | — |
0x0000000000000000
|
Δ |
| 1160 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x00000000000003F8
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= | 0x0000000000000082 |
0x0000000000000082
|
= | — |
0x0000000000000000
|
Δ |
| 1161 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0xC000000000000000
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= | 0x00000000000000FD |
0x00000000000000FD
|
= | — |
0x0000000000000000
|
Δ |
| 1162 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x8000000000000000
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= | 0x00000000000000FE |
0x00000000000000FE
|
= | — |
0x0000000000000000
|
Δ |
| 1163 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x0000000000000000
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= | 0x00000000000000FF |
0x00000000000000FF
|
= | — |
0x0000000000000000
|
Δ |
| 1164 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x00000000000000FE
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | — |
0x0000000000000000
|
Δ |
| 1165 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x00000000000001FC
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | — |
0x0000000000000000
|
Δ |
| 1166 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x00000000000003F8
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | — |
0x0000000000000000
|
Δ |
| 1167 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x00000000000000FE
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | — |
0x0000000000000000
|
Δ |
| 1168 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x8000000000000000
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | — |
0x0000000000000000
|
Δ |
| 1169 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x0000000000000000
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | — |
0x0000000000000000
|
Δ |
| 1170 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x00000000000000FF
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x0000000000000000 |
0x0000000000000000
|
= | — |
0x0000000000000000
|
Δ |
| 1171 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x00000000000001FE
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x0000000000000001 |
0x0000000000000001
|
= | — |
0x0000000000000000
|
Δ |
| 1172 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x00000000000003FC
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x0000000000000002 |
0x0000000000000002
|
= | — |
0x0000000000000000
|
Δ |
| 1173 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x00000000000007F8
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | — |
0x0000000000000000
|
Δ |
| 1174 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0xC000000000000000
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x000000000000007E |
0x000000000000007E
|
= | — |
0x0000000000000000
|
Δ |
| 1175 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x8000000000000000
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x000000000000007F |
0x000000000000007F
|
= | — |
0x0000000000000000
|
Δ |
| 1176 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x00000000000000FF
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x0000000000000080 |
0x0000000000000080
|
= | — |
0x0000000000000000
|
Δ |
| 1177 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x00000000000001FE
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x0000000000000081 |
0x0000000000000081
|
= | — |
0x0000000000000000
|
Δ |
| 1178 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x00000000000003FC
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x0000000000000082 |
0x0000000000000082
|
= | — |
0x0000000000000000
|
Δ |
| 1179 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0xE000000000000000
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x00000000000000FD |
0x00000000000000FD
|
= | — |
0x0000000000000000
|
Δ |
| 1180 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0xC000000000000000
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x00000000000000FE |
0x00000000000000FE
|
= | — |
0x0000000000000000
|
Δ |
| 1181 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x8000000000000000
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x00000000000000FF |
0x00000000000000FF
|
= | — |
0x0000000000000000
|
Δ |
| 1182 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x00000000000000FF
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | — |
0x0000000000000000
|
Δ |
| 1183 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x00000000000001FE
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | — |
0x0000000000000000
|
Δ |
| 1184 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x00000000000003FC
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | — |
0x0000000000000000
|
Δ |
| 1185 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x00000000000000FF
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | — |
0x0000000000000000
|
Δ |
| 1186 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0xC000000000000000
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | — |
0x0000000000000000
|
Δ |
| 1187 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x8000000000000000
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | — |
0x0000000000000000
|
Δ |
| 1188 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0xFFFFFFFFFFFFFF00
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x0000000000000000 |
0x0000000000000000
|
= | — |
0x0000000000000000
|
Δ |
| 1189 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0xFFFFFFFFFFFFFE00
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x0000000000000001 |
0x0000000000000001
|
= | — |
0x0000000000000000
|
Δ |
| 1190 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0xFFFFFFFFFFFFFC00
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x0000000000000002 |
0x0000000000000002
|
= | — |
0x0000000000000000
|
Δ |
| 1191 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0xFFFFFFFFFFFFF800
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | — |
0x0000000000000000
|
Δ |
| 1192 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x000000000000007E |
0x000000000000007E
|
= | — |
0x0000000000000000
|
Δ |
| 1193 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x000000000000007F |
0x000000000000007F
|
= | — |
0x0000000000000000
|
Δ |
| 1194 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0xFFFFFFFFFFFFFF00
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x0000000000000080 |
0x0000000000000080
|
= | — |
0x0000000000000000
|
Δ |
| 1195 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0xFFFFFFFFFFFFFE00
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x0000000000000081 |
0x0000000000000081
|
= | — |
0x0000000000000000
|
Δ |
| 1196 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0xFFFFFFFFFFFFFC00
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x0000000000000082 |
0x0000000000000082
|
= | — |
0x0000000000000000
|
Δ |
| 1197 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x00000000000000FD |
0x00000000000000FD
|
= | — |
0x0000000000000000
|
Δ |
| 1198 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x00000000000000FE |
0x00000000000000FE
|
= | — |
0x0000000000000000
|
Δ |
| 1199 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x00000000000000FF |
0x00000000000000FF
|
= | — |
0x0000000000000000
|
Δ |