shlx eax, ebx, ecxOpcode: c4e271f7c3
| State # | flag |
rax |
rbx |
rcx |
rdx |
||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | |
| 1250 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x00000000FFFFFE00
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x0000000000000082 |
0x0000000000000082
|
= | — |
0x0000000000000000
|
Δ |
| 1251 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x00000000000000FD |
0x00000000000000FD
|
= | — |
0x0000000000000000
|
Δ |
| 1252 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x00000000000000FE |
0x00000000000000FE
|
= | — |
0x0000000000000000
|
Δ |
| 1253 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x00000000000000FF |
0x00000000000000FF
|
= | — |
0x0000000000000000
|
Δ |
| 1254 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x00000000FFFFFF80
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | — |
0x0000000000000000
|
Δ |
| 1255 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x00000000FFFFFF00
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | — |
0x0000000000000000
|
Δ |
| 1256 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x00000000FFFFFE00
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | — |
0x0000000000000000
|
Δ |
| 1257 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x00000000FFFFFF80
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | — |
0x0000000000000000
|
Δ |
| 1258 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | — |
0x0000000000000000
|
Δ |
| 1259 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | — |
0x0000000000000000
|
Δ |
| 1260 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x00000000FFFFFFFE
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0x0000000000000000 |
0x0000000000000000
|
= | — |
0x0000000000000000
|
Δ |
| 1261 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x00000000FFFFFFFC
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0x0000000000000001 |
0x0000000000000001
|
= | — |
0x0000000000000000
|
Δ |
| 1262 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x00000000FFFFFFF8
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0x0000000000000002 |
0x0000000000000002
|
= | — |
0x0000000000000000
|
Δ |
| 1263 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x00000000FFFFFFF0
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | — |
0x0000000000000000
|
Δ |
| 1264 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x0000000080000000
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0x000000000000007E |
0x000000000000007E
|
= | — |
0x0000000000000000
|
Δ |
| 1265 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0x000000000000007F |
0x000000000000007F
|
= | — |
0x0000000000000000
|
Δ |
| 1266 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x00000000FFFFFFFE
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0x0000000000000080 |
0x0000000000000080
|
= | — |
0x0000000000000000
|
Δ |
| 1267 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x00000000FFFFFFFC
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0x0000000000000081 |
0x0000000000000081
|
= | — |
0x0000000000000000
|
Δ |
| 1268 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x00000000FFFFFFF8
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0x0000000000000082 |
0x0000000000000082
|
= | — |
0x0000000000000000
|
Δ |
| 1269 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x00000000C0000000
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0x00000000000000FD |
0x00000000000000FD
|
= | — |
0x0000000000000000
|
Δ |
| 1270 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x0000000080000000
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0x00000000000000FE |
0x00000000000000FE
|
= | — |
0x0000000000000000
|
Δ |
| 1271 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0x00000000000000FF |
0x00000000000000FF
|
= | — |
0x0000000000000000
|
Δ |
| 1272 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x00000000FFFFFFFE
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | — |
0x0000000000000000
|
Δ |
| 1273 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x00000000FFFFFFFC
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | — |
0x0000000000000000
|
Δ |
| 1274 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x00000000FFFFFFF8
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | — |
0x0000000000000000
|
Δ |
| 1275 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x00000000FFFFFFFE
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | — |
0x0000000000000000
|
Δ |
| 1276 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x0000000080000000
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | — |
0x0000000000000000
|
Δ |
| 1277 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | — |
0x0000000000000000
|
Δ |
| 1278 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x00000000FFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0x0000000000000000 |
0x0000000000000000
|
= | — |
0x0000000000000000
|
Δ |
| 1279 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x00000000FFFFFFFE
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0x0000000000000001 |
0x0000000000000001
|
= | — |
0x0000000000000000
|
Δ |
| 1280 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x00000000FFFFFFFC
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0x0000000000000002 |
0x0000000000000002
|
= | — |
0x0000000000000000
|
Δ |
| 1281 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x00000000FFFFFFF8
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | — |
0x0000000000000000
|
Δ |
| 1282 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x00000000C0000000
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0x000000000000007E |
0x000000000000007E
|
= | — |
0x0000000000000000
|
Δ |
| 1283 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x0000000080000000
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0x000000000000007F |
0x000000000000007F
|
= | — |
0x0000000000000000
|
Δ |
| 1284 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x00000000FFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0x0000000000000080 |
0x0000000000000080
|
= | — |
0x0000000000000000
|
Δ |
| 1285 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x00000000FFFFFFFE
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0x0000000000000081 |
0x0000000000000081
|
= | — |
0x0000000000000000
|
Δ |
| 1286 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x00000000FFFFFFFC
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0x0000000000000082 |
0x0000000000000082
|
= | — |
0x0000000000000000
|
Δ |
| 1287 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x00000000E0000000
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0x00000000000000FD |
0x00000000000000FD
|
= | — |
0x0000000000000000
|
Δ |
| 1288 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x00000000C0000000
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0x00000000000000FE |
0x00000000000000FE
|
= | — |
0x0000000000000000
|
Δ |
| 1289 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x0000000080000000
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0x00000000000000FF |
0x00000000000000FF
|
= | — |
0x0000000000000000
|
Δ |
| 1290 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x00000000FFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | — |
0x0000000000000000
|
Δ |
| 1291 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x00000000FFFFFFFE
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | — |
0x0000000000000000
|
Δ |
| 1292 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x00000000FFFFFFFC
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | — |
0x0000000000000000
|
Δ |
| 1293 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x00000000FFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | — |
0x0000000000000000
|
Δ |
| 1294 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x00000000C0000000
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | — |
0x0000000000000000
|
Δ |
| 1295 | — |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x0000000080000000
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | — |
0x0000000000000000
|
Δ |
| 1296 | — |
0x0000000000010002
|
Δ | 0x000000000000007E |
0x0000000000000000
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0x0000000000000000 |
0x0000000000000000
|
= | — |
0x0000000000000000
|
Δ |
| 1297 | — |
0x0000000000010002
|
Δ | 0x000000000000007E |
0x0000000000000000
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0x0000000000000001 |
0x0000000000000001
|
= | — |
0x0000000000000000
|
Δ |
| 1298 | — |
0x0000000000010002
|
Δ | 0x000000000000007E |
0x0000000000000000
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0x0000000000000002 |
0x0000000000000002
|
= | — |
0x0000000000000000
|
Δ |
| 1299 | — |
0x0000000000010002
|
Δ | 0x000000000000007E |
0x0000000000000000
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | — |
0x0000000000000000
|
Δ |