bsf rax, rbxOpcode: 480fbcc3
| State # | flag |
rax |
rbx |
||||||
|---|---|---|---|---|---|---|---|---|---|
| Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | |
| 800 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000001
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= |
| 801 | 0x0000000000000001 |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000001
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= |
| 802 | 0x0000000000000004 |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000001
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= |
| 803 | 0x0000000000000010 |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000001
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= |
| 804 | 0x0000000000000040 |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000001
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= |
| 805 | 0x0000000000000080 |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000001
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= |
| 806 | 0x0000000000000800 |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000001
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= |
| 807 | 0x00000000000008D5 |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000001
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= |
| 808 | 0x0000000000000000 |
0x0000000000010006
|
Δ | 0x000000000000007F |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= |
| 809 | 0x0000000000000001 |
0x0000000000010006
|
Δ | 0x000000000000007F |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= |
| 810 | 0x0000000000000004 |
0x0000000000010006
|
Δ | 0x000000000000007F |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= |
| 811 | 0x0000000000000010 |
0x0000000000010006
|
Δ | 0x000000000000007F |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= |
| 812 | 0x0000000000000040 |
0x0000000000010006
|
Δ | 0x000000000000007F |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= |
| 813 | 0x0000000000000080 |
0x0000000000010006
|
Δ | 0x000000000000007F |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= |
| 814 | 0x0000000000000800 |
0x0000000000010006
|
Δ | 0x000000000000007F |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= |
| 815 | 0x00000000000008D5 |
0x0000000000010006
|
Δ | 0x000000000000007F |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= |
| 816 | 0x0000000000000000 |
0x0000000000010006
|
Δ | 0x0000000000000080 |
0x0000000000000000
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= |
| 817 | 0x0000000000000001 |
0x0000000000010006
|
Δ | 0x0000000000000080 |
0x0000000000000000
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= |
| 818 | 0x0000000000000004 |
0x0000000000010006
|
Δ | 0x0000000000000080 |
0x0000000000000000
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= |
| 819 | 0x0000000000000010 |
0x0000000000010006
|
Δ | 0x0000000000000080 |
0x0000000000000000
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= |
| 820 | 0x0000000000000040 |
0x0000000000010006
|
Δ | 0x0000000000000080 |
0x0000000000000000
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= |
| 821 | 0x0000000000000080 |
0x0000000000010006
|
Δ | 0x0000000000000080 |
0x0000000000000000
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= |
| 822 | 0x0000000000000800 |
0x0000000000010006
|
Δ | 0x0000000000000080 |
0x0000000000000000
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= |
| 823 | 0x00000000000008D5 |
0x0000000000010006
|
Δ | 0x0000000000000080 |
0x0000000000000000
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= |
| 824 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0x0000000000000080 |
0x0000000000000001
|
Δ | 0x0000000000000002 |
0x0000000000000002
|
= |
| 825 | 0x0000000000000001 |
0x0000000000010002
|
Δ | 0x0000000000000080 |
0x0000000000000001
|
Δ | 0x0000000000000002 |
0x0000000000000002
|
= |
| 826 | 0x0000000000000004 |
0x0000000000010002
|
Δ | 0x0000000000000080 |
0x0000000000000001
|
Δ | 0x0000000000000002 |
0x0000000000000002
|
= |
| 827 | 0x0000000000000010 |
0x0000000000010002
|
Δ | 0x0000000000000080 |
0x0000000000000001
|
Δ | 0x0000000000000002 |
0x0000000000000002
|
= |
| 828 | 0x0000000000000040 |
0x0000000000010002
|
Δ | 0x0000000000000080 |
0x0000000000000001
|
Δ | 0x0000000000000002 |
0x0000000000000002
|
= |
| 829 | 0x0000000000000080 |
0x0000000000010002
|
Δ | 0x0000000000000080 |
0x0000000000000001
|
Δ | 0x0000000000000002 |
0x0000000000000002
|
= |
| 830 | 0x0000000000000800 |
0x0000000000010002
|
Δ | 0x0000000000000080 |
0x0000000000000001
|
Δ | 0x0000000000000002 |
0x0000000000000002
|
= |
| 831 | 0x00000000000008D5 |
0x0000000000010002
|
Δ | 0x0000000000000080 |
0x0000000000000001
|
Δ | 0x0000000000000002 |
0x0000000000000002
|
= |
| 832 | 0x0000000000000000 |
0x0000000000010006
|
Δ | 0x0000000000000080 |
0x0000000000000000
|
Δ | 0x0000000000000003 |
0x0000000000000003
|
= |
| 833 | 0x0000000000000001 |
0x0000000000010006
|
Δ | 0x0000000000000080 |
0x0000000000000000
|
Δ | 0x0000000000000003 |
0x0000000000000003
|
= |
| 834 | 0x0000000000000004 |
0x0000000000010006
|
Δ | 0x0000000000000080 |
0x0000000000000000
|
Δ | 0x0000000000000003 |
0x0000000000000003
|
= |
| 835 | 0x0000000000000010 |
0x0000000000010006
|
Δ | 0x0000000000000080 |
0x0000000000000000
|
Δ | 0x0000000000000003 |
0x0000000000000003
|
= |
| 836 | 0x0000000000000040 |
0x0000000000010006
|
Δ | 0x0000000000000080 |
0x0000000000000000
|
Δ | 0x0000000000000003 |
0x0000000000000003
|
= |
| 837 | 0x0000000000000080 |
0x0000000000010006
|
Δ | 0x0000000000000080 |
0x0000000000000000
|
Δ | 0x0000000000000003 |
0x0000000000000003
|
= |
| 838 | 0x0000000000000800 |
0x0000000000010006
|
Δ | 0x0000000000000080 |
0x0000000000000000
|
Δ | 0x0000000000000003 |
0x0000000000000003
|
= |
| 839 | 0x00000000000008D5 |
0x0000000000010006
|
Δ | 0x0000000000000080 |
0x0000000000000000
|
Δ | 0x0000000000000003 |
0x0000000000000003
|
= |
| 840 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0x0000000000000080 |
0x0000000000000001
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= |
| 841 | 0x0000000000000001 |
0x0000000000010002
|
Δ | 0x0000000000000080 |
0x0000000000000001
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= |
| 842 | 0x0000000000000004 |
0x0000000000010002
|
Δ | 0x0000000000000080 |
0x0000000000000001
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= |
| 843 | 0x0000000000000010 |
0x0000000000010002
|
Δ | 0x0000000000000080 |
0x0000000000000001
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= |
| 844 | 0x0000000000000040 |
0x0000000000010002
|
Δ | 0x0000000000000080 |
0x0000000000000001
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= |
| 845 | 0x0000000000000080 |
0x0000000000010002
|
Δ | 0x0000000000000080 |
0x0000000000000001
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= |
| 846 | 0x0000000000000800 |
0x0000000000010002
|
Δ | 0x0000000000000080 |
0x0000000000000001
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= |
| 847 | 0x00000000000008D5 |
0x0000000000010002
|
Δ | 0x0000000000000080 |
0x0000000000000001
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= |
| 848 | 0x0000000000000000 |
0x0000000000010006
|
Δ | 0x0000000000000080 |
0x0000000000000000
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= |
| 849 | 0x0000000000000001 |
0x0000000000010006
|
Δ | 0x0000000000000080 |
0x0000000000000000
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= |