shlx rax, rbx, rcxOpcode: c4e2f1f7c3
| State # | flag |
rax |
rbx |
rcx |
rdx |
||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | |
| 1600 | — |
0x0000000000010002
|
Δ | 0x000000000000007E |
0x8000000000000000
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | — |
0x0000000000000000
|
Δ |
| 1601 | — |
0x0000000000010002
|
Δ | 0x000000000000007E |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | — |
0x0000000000000000
|
Δ |
| 1602 | — |
0x0000000000010002
|
Δ | 0x000000000000007E |
0xFFFFFFFFFFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0x0000000000000000 |
0x0000000000000000
|
= | — |
0x0000000000000000
|
Δ |
| 1603 | — |
0x0000000000010002
|
Δ | 0x000000000000007E |
0xFFFFFFFFFFFFFFFE
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0x0000000000000001 |
0x0000000000000001
|
= | — |
0x0000000000000000
|
Δ |
| 1604 | — |
0x0000000000010002
|
Δ | 0x000000000000007E |
0xFFFFFFFFFFFFFFFC
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0x0000000000000002 |
0x0000000000000002
|
= | — |
0x0000000000000000
|
Δ |
| 1605 | — |
0x0000000000010002
|
Δ | 0x000000000000007E |
0xFFFFFFFFFFFFFFF8
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | — |
0x0000000000000000
|
Δ |
| 1606 | — |
0x0000000000010002
|
Δ | 0x000000000000007E |
0xC000000000000000
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0x000000000000007E |
0x000000000000007E
|
= | — |
0x0000000000000000
|
Δ |
| 1607 | — |
0x0000000000010002
|
Δ | 0x000000000000007E |
0x8000000000000000
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0x000000000000007F |
0x000000000000007F
|
= | — |
0x0000000000000000
|
Δ |
| 1608 | — |
0x0000000000010002
|
Δ | 0x000000000000007E |
0xFFFFFFFFFFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0x0000000000000080 |
0x0000000000000080
|
= | — |
0x0000000000000000
|
Δ |
| 1609 | — |
0x0000000000010002
|
Δ | 0x000000000000007E |
0xFFFFFFFFFFFFFFFE
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0x0000000000000081 |
0x0000000000000081
|
= | — |
0x0000000000000000
|
Δ |
| 1610 | — |
0x0000000000010002
|
Δ | 0x000000000000007E |
0xFFFFFFFFFFFFFFFC
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0x0000000000000082 |
0x0000000000000082
|
= | — |
0x0000000000000000
|
Δ |
| 1611 | — |
0x0000000000010002
|
Δ | 0x000000000000007E |
0xE000000000000000
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0x00000000000000FD |
0x00000000000000FD
|
= | — |
0x0000000000000000
|
Δ |
| 1612 | — |
0x0000000000010002
|
Δ | 0x000000000000007E |
0xC000000000000000
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0x00000000000000FE |
0x00000000000000FE
|
= | — |
0x0000000000000000
|
Δ |
| 1613 | — |
0x0000000000010002
|
Δ | 0x000000000000007E |
0x8000000000000000
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0x00000000000000FF |
0x00000000000000FF
|
= | — |
0x0000000000000000
|
Δ |
| 1614 | — |
0x0000000000010002
|
Δ | 0x000000000000007E |
0xFFFFFFFFFFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | — |
0x0000000000000000
|
Δ |
| 1615 | — |
0x0000000000010002
|
Δ | 0x000000000000007E |
0xFFFFFFFFFFFFFFFE
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | — |
0x0000000000000000
|
Δ |
| 1616 | — |
0x0000000000010002
|
Δ | 0x000000000000007E |
0xFFFFFFFFFFFFFFFC
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | — |
0x0000000000000000
|
Δ |
| 1617 | — |
0x0000000000010002
|
Δ | 0x000000000000007E |
0xFFFFFFFFFFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | — |
0x0000000000000000
|
Δ |
| 1618 | — |
0x0000000000010002
|
Δ | 0x000000000000007E |
0xC000000000000000
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | — |
0x0000000000000000
|
Δ |
| 1619 | — |
0x0000000000010002
|
Δ | 0x000000000000007E |
0x8000000000000000
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | — |
0x0000000000000000
|
Δ |
| 1620 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000000
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0x0000000000000000 |
0x0000000000000000
|
= | — |
0x0000000000000000
|
Δ |
| 1621 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000000
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0x0000000000000001 |
0x0000000000000001
|
= | — |
0x0000000000000000
|
Δ |
| 1622 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000000
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0x0000000000000002 |
0x0000000000000002
|
= | — |
0x0000000000000000
|
Δ |
| 1623 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000000
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | — |
0x0000000000000000
|
Δ |
| 1624 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000000
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0x000000000000007E |
0x000000000000007E
|
= | — |
0x0000000000000000
|
Δ |
| 1625 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000000
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0x000000000000007F |
0x000000000000007F
|
= | — |
0x0000000000000000
|
Δ |
| 1626 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000000
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0x0000000000000080 |
0x0000000000000080
|
= | — |
0x0000000000000000
|
Δ |
| 1627 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000000
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0x0000000000000081 |
0x0000000000000081
|
= | — |
0x0000000000000000
|
Δ |
| 1628 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000000
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0x0000000000000082 |
0x0000000000000082
|
= | — |
0x0000000000000000
|
Δ |
| 1629 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000000
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0x00000000000000FD |
0x00000000000000FD
|
= | — |
0x0000000000000000
|
Δ |
| 1630 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000000
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0x00000000000000FE |
0x00000000000000FE
|
= | — |
0x0000000000000000
|
Δ |
| 1631 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000000
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0x00000000000000FF |
0x00000000000000FF
|
= | — |
0x0000000000000000
|
Δ |
| 1632 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000000
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | — |
0x0000000000000000
|
Δ |
| 1633 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000000
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | — |
0x0000000000000000
|
Δ |
| 1634 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000000
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | — |
0x0000000000000000
|
Δ |
| 1635 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000000
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | — |
0x0000000000000000
|
Δ |
| 1636 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000000
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | — |
0x0000000000000000
|
Δ |
| 1637 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000000
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | — |
0x0000000000000000
|
Δ |
| 1638 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000001
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= | 0x0000000000000000 |
0x0000000000000000
|
= | — |
0x0000000000000000
|
Δ |
| 1639 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000002
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= | 0x0000000000000001 |
0x0000000000000001
|
= | — |
0x0000000000000000
|
Δ |
| 1640 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000004
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= | 0x0000000000000002 |
0x0000000000000002
|
= | — |
0x0000000000000000
|
Δ |
| 1641 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000008
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | — |
0x0000000000000000
|
Δ |
| 1642 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x4000000000000000
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= | 0x000000000000007E |
0x000000000000007E
|
= | — |
0x0000000000000000
|
Δ |
| 1643 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x8000000000000000
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= | 0x000000000000007F |
0x000000000000007F
|
= | — |
0x0000000000000000
|
Δ |
| 1644 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000001
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= | 0x0000000000000080 |
0x0000000000000080
|
= | — |
0x0000000000000000
|
Δ |
| 1645 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000002
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= | 0x0000000000000081 |
0x0000000000000081
|
= | — |
0x0000000000000000
|
Δ |
| 1646 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000004
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= | 0x0000000000000082 |
0x0000000000000082
|
= | — |
0x0000000000000000
|
Δ |
| 1647 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x2000000000000000
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= | 0x00000000000000FD |
0x00000000000000FD
|
= | — |
0x0000000000000000
|
Δ |
| 1648 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x4000000000000000
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= | 0x00000000000000FE |
0x00000000000000FE
|
= | — |
0x0000000000000000
|
Δ |
| 1649 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x8000000000000000
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= | 0x00000000000000FF |
0x00000000000000FF
|
= | — |
0x0000000000000000
|
Δ |