bsr rax, rbxOpcode: 480fbdc3
| State # | flag |
rax |
rbx |
||||||
|---|---|---|---|---|---|---|---|---|---|
| Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | |
| 1700 | 0x0000000000000040 |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000007
|
Δ | 0x00000000000000FD |
0x00000000000000FD
|
= |
| 1701 | 0x0000000000000080 |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000007
|
Δ | 0x00000000000000FD |
0x00000000000000FD
|
= |
| 1702 | 0x0000000000000800 |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000007
|
Δ | 0x00000000000000FD |
0x00000000000000FD
|
= |
| 1703 | 0x00000000000008D5 |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000007
|
Δ | 0x00000000000000FD |
0x00000000000000FD
|
= |
| 1704 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000007
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= |
| 1705 | 0x0000000000000001 |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000007
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= |
| 1706 | 0x0000000000000004 |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000007
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= |
| 1707 | 0x0000000000000010 |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000007
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= |
| 1708 | 0x0000000000000040 |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000007
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= |
| 1709 | 0x0000000000000080 |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000007
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= |
| 1710 | 0x0000000000000800 |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000007
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= |
| 1711 | 0x00000000000008D5 |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000007
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= |
| 1712 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000007
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= |
| 1713 | 0x0000000000000001 |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000007
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= |
| 1714 | 0x0000000000000004 |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000007
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= |
| 1715 | 0x0000000000000010 |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000007
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= |
| 1716 | 0x0000000000000040 |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000007
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= |
| 1717 | 0x0000000000000080 |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000007
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= |
| 1718 | 0x0000000000000800 |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000007
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= |
| 1719 | 0x00000000000008D5 |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000007
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= |
| 1720 | 0x0000000000000000 |
0x0000000000010006
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x000000000000003F
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= |
| 1721 | 0x0000000000000001 |
0x0000000000010006
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x000000000000003F
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= |
| 1722 | 0x0000000000000004 |
0x0000000000010006
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x000000000000003F
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= |
| 1723 | 0x0000000000000010 |
0x0000000000010006
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x000000000000003F
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= |
| 1724 | 0x0000000000000040 |
0x0000000000010006
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x000000000000003F
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= |
| 1725 | 0x0000000000000080 |
0x0000000000010006
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x000000000000003F
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= |
| 1726 | 0x0000000000000800 |
0x0000000000010006
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x000000000000003F
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= |
| 1727 | 0x00000000000008D5 |
0x0000000000010006
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x000000000000003F
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= |
| 1728 | 0x0000000000000000 |
0x0000000000010006
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x000000000000003F
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= |
| 1729 | 0x0000000000000001 |
0x0000000000010006
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x000000000000003F
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= |
| 1730 | 0x0000000000000004 |
0x0000000000010006
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x000000000000003F
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= |
| 1731 | 0x0000000000000010 |
0x0000000000010006
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x000000000000003F
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= |
| 1732 | 0x0000000000000040 |
0x0000000000010006
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x000000000000003F
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= |
| 1733 | 0x0000000000000080 |
0x0000000000010006
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x000000000000003F
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= |
| 1734 | 0x0000000000000800 |
0x0000000000010006
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x000000000000003F
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= |
| 1735 | 0x00000000000008D5 |
0x0000000000010006
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x000000000000003F
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= |
| 1736 | 0x0000000000000000 |
0x0000000000010006
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x000000000000003F
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= |
| 1737 | 0x0000000000000001 |
0x0000000000010006
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x000000000000003F
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= |
| 1738 | 0x0000000000000004 |
0x0000000000010006
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x000000000000003F
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= |
| 1739 | 0x0000000000000010 |
0x0000000000010006
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x000000000000003F
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= |
| 1740 | 0x0000000000000040 |
0x0000000000010006
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x000000000000003F
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= |
| 1741 | 0x0000000000000080 |
0x0000000000010006
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x000000000000003F
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= |
| 1742 | 0x0000000000000800 |
0x0000000000010006
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x000000000000003F
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= |
| 1743 | 0x00000000000008D5 |
0x0000000000010006
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x000000000000003F
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= |
| 1744 | 0x0000000000000000 |
0x0000000000010006
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x000000000000003F
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= |
| 1745 | 0x0000000000000001 |
0x0000000000010006
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x000000000000003F
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= |
| 1746 | 0x0000000000000004 |
0x0000000000010006
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x000000000000003F
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= |
| 1747 | 0x0000000000000010 |
0x0000000000010006
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x000000000000003F
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= |
| 1748 | 0x0000000000000040 |
0x0000000000010006
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x000000000000003F
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= |
| 1749 | 0x0000000000000080 |
0x0000000000010006
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x000000000000003F
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= |