cmovnae rax, rbxOpcode: 480f42c3
| State # | flag |
rax |
rbx |
||||||
|---|---|---|---|---|---|---|---|---|---|
| Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | |
| 1750 | 0x0000000000000800 |
0x0000000000010802
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x0000000000000002 |
0x0000000000000002
|
= |
| 1751 | 0x00000000000008D5 |
0x00000000000108D7
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000002
|
Δ | 0x0000000000000002 |
0x0000000000000002
|
= |
| 1752 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x0000000000000003 |
0x0000000000000003
|
= |
| 1753 | 0x0000000000000001 |
0x0000000000010003
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000003
|
Δ | 0x0000000000000003 |
0x0000000000000003
|
= |
| 1754 | 0x0000000000000004 |
0x0000000000010006
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x0000000000000003 |
0x0000000000000003
|
= |
| 1755 | 0x0000000000000010 |
0x0000000000010012
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x0000000000000003 |
0x0000000000000003
|
= |
| 1756 | 0x0000000000000040 |
0x0000000000010042
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x0000000000000003 |
0x0000000000000003
|
= |
| 1757 | 0x0000000000000080 |
0x0000000000010082
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x0000000000000003 |
0x0000000000000003
|
= |
| 1758 | 0x0000000000000800 |
0x0000000000010802
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x0000000000000003 |
0x0000000000000003
|
= |
| 1759 | 0x00000000000008D5 |
0x00000000000108D7
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000003
|
Δ | 0x0000000000000003 |
0x0000000000000003
|
= |
| 1760 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x000000000000007E |
0x000000000000007E
|
= |
| 1761 | 0x0000000000000001 |
0x0000000000010003
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x000000000000007E
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= |
| 1762 | 0x0000000000000004 |
0x0000000000010006
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x000000000000007E |
0x000000000000007E
|
= |
| 1763 | 0x0000000000000010 |
0x0000000000010012
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x000000000000007E |
0x000000000000007E
|
= |
| 1764 | 0x0000000000000040 |
0x0000000000010042
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x000000000000007E |
0x000000000000007E
|
= |
| 1765 | 0x0000000000000080 |
0x0000000000010082
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x000000000000007E |
0x000000000000007E
|
= |
| 1766 | 0x0000000000000800 |
0x0000000000010802
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x000000000000007E |
0x000000000000007E
|
= |
| 1767 | 0x00000000000008D5 |
0x00000000000108D7
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x000000000000007E
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= |
| 1768 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x000000000000007F |
0x000000000000007F
|
= |
| 1769 | 0x0000000000000001 |
0x0000000000010003
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x000000000000007F
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= |
| 1770 | 0x0000000000000004 |
0x0000000000010006
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x000000000000007F |
0x000000000000007F
|
= |
| 1771 | 0x0000000000000010 |
0x0000000000010012
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x000000000000007F |
0x000000000000007F
|
= |
| 1772 | 0x0000000000000040 |
0x0000000000010042
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x000000000000007F |
0x000000000000007F
|
= |
| 1773 | 0x0000000000000080 |
0x0000000000010082
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x000000000000007F |
0x000000000000007F
|
= |
| 1774 | 0x0000000000000800 |
0x0000000000010802
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x000000000000007F |
0x000000000000007F
|
= |
| 1775 | 0x00000000000008D5 |
0x00000000000108D7
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x000000000000007F
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= |
| 1776 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x0000000000000080 |
0x0000000000000080
|
= |
| 1777 | 0x0000000000000001 |
0x0000000000010003
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000080
|
Δ | 0x0000000000000080 |
0x0000000000000080
|
= |
| 1778 | 0x0000000000000004 |
0x0000000000010006
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x0000000000000080 |
0x0000000000000080
|
= |
| 1779 | 0x0000000000000010 |
0x0000000000010012
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x0000000000000080 |
0x0000000000000080
|
= |
| 1780 | 0x0000000000000040 |
0x0000000000010042
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x0000000000000080 |
0x0000000000000080
|
= |
| 1781 | 0x0000000000000080 |
0x0000000000010082
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x0000000000000080 |
0x0000000000000080
|
= |
| 1782 | 0x0000000000000800 |
0x0000000000010802
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x0000000000000080 |
0x0000000000000080
|
= |
| 1783 | 0x00000000000008D5 |
0x00000000000108D7
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000080
|
Δ | 0x0000000000000080 |
0x0000000000000080
|
= |
| 1784 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x0000000000000081 |
0x0000000000000081
|
= |
| 1785 | 0x0000000000000001 |
0x0000000000010003
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000081
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= |
| 1786 | 0x0000000000000004 |
0x0000000000010006
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x0000000000000081 |
0x0000000000000081
|
= |
| 1787 | 0x0000000000000010 |
0x0000000000010012
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x0000000000000081 |
0x0000000000000081
|
= |
| 1788 | 0x0000000000000040 |
0x0000000000010042
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x0000000000000081 |
0x0000000000000081
|
= |
| 1789 | 0x0000000000000080 |
0x0000000000010082
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x0000000000000081 |
0x0000000000000081
|
= |
| 1790 | 0x0000000000000800 |
0x0000000000010802
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x0000000000000081 |
0x0000000000000081
|
= |
| 1791 | 0x00000000000008D5 |
0x00000000000108D7
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000081
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= |
| 1792 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x0000000000000082 |
0x0000000000000082
|
= |
| 1793 | 0x0000000000000001 |
0x0000000000010003
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000082
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= |
| 1794 | 0x0000000000000004 |
0x0000000000010006
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x0000000000000082 |
0x0000000000000082
|
= |
| 1795 | 0x0000000000000010 |
0x0000000000010012
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x0000000000000082 |
0x0000000000000082
|
= |
| 1796 | 0x0000000000000040 |
0x0000000000010042
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x0000000000000082 |
0x0000000000000082
|
= |
| 1797 | 0x0000000000000080 |
0x0000000000010082
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x0000000000000082 |
0x0000000000000082
|
= |
| 1798 | 0x0000000000000800 |
0x0000000000010802
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x0000000000000082 |
0x0000000000000082
|
= |
| 1799 | 0x00000000000008D5 |
0x00000000000108D7
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x0000000000000082
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= |