cmovae eax, ebxOpcode: 0f43c3
| State # | flag |
rax |
rbx |
||||||
|---|---|---|---|---|---|---|---|---|---|
| Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | |
| 800 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x00000000000000FE
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= |
| 801 | 0x0000000000000001 |
0x0000000000010003
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= | 0x00000000000000FE |
0x00000000000000FE
|
= |
| 802 | 0x0000000000000004 |
0x0000000000010006
|
Δ | 0x000000000000007F |
0x00000000000000FE
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= |
| 803 | 0x0000000000000010 |
0x0000000000010012
|
Δ | 0x000000000000007F |
0x00000000000000FE
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= |
| 804 | 0x0000000000000040 |
0x0000000000010042
|
Δ | 0x000000000000007F |
0x00000000000000FE
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= |
| 805 | 0x0000000000000080 |
0x0000000000010082
|
Δ | 0x000000000000007F |
0x00000000000000FE
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= |
| 806 | 0x0000000000000800 |
0x0000000000010802
|
Δ | 0x000000000000007F |
0x00000000000000FE
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= |
| 807 | 0x00000000000008D5 |
0x00000000000108D7
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= | 0x00000000000000FE |
0x00000000000000FE
|
= |
| 808 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x00000000000000FF
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= |
| 809 | 0x0000000000000001 |
0x0000000000010003
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= | 0x00000000000000FF |
0x00000000000000FF
|
= |
| 810 | 0x0000000000000004 |
0x0000000000010006
|
Δ | 0x000000000000007F |
0x00000000000000FF
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= |
| 811 | 0x0000000000000010 |
0x0000000000010012
|
Δ | 0x000000000000007F |
0x00000000000000FF
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= |
| 812 | 0x0000000000000040 |
0x0000000000010042
|
Δ | 0x000000000000007F |
0x00000000000000FF
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= |
| 813 | 0x0000000000000080 |
0x0000000000010082
|
Δ | 0x000000000000007F |
0x00000000000000FF
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= |
| 814 | 0x0000000000000800 |
0x0000000000010802
|
Δ | 0x000000000000007F |
0x00000000000000FF
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= |
| 815 | 0x00000000000008D5 |
0x00000000000108D7
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= | 0x00000000000000FF |
0x00000000000000FF
|
= |
| 816 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x00000000FFFFFF00
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= |
| 817 | 0x0000000000000001 |
0x0000000000010003
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= |
| 818 | 0x0000000000000004 |
0x0000000000010006
|
Δ | 0x000000000000007F |
0x00000000FFFFFF00
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= |
| 819 | 0x0000000000000010 |
0x0000000000010012
|
Δ | 0x000000000000007F |
0x00000000FFFFFF00
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= |
| 820 | 0x0000000000000040 |
0x0000000000010042
|
Δ | 0x000000000000007F |
0x00000000FFFFFF00
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= |
| 821 | 0x0000000000000080 |
0x0000000000010082
|
Δ | 0x000000000000007F |
0x00000000FFFFFF00
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= |
| 822 | 0x0000000000000800 |
0x0000000000010802
|
Δ | 0x000000000000007F |
0x00000000FFFFFF00
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= |
| 823 | 0x00000000000008D5 |
0x00000000000108D7
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= |
| 824 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x00000000FFFFFF01
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= |
| 825 | 0x0000000000000001 |
0x0000000000010003
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= |
| 826 | 0x0000000000000004 |
0x0000000000010006
|
Δ | 0x000000000000007F |
0x00000000FFFFFF01
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= |
| 827 | 0x0000000000000010 |
0x0000000000010012
|
Δ | 0x000000000000007F |
0x00000000FFFFFF01
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= |
| 828 | 0x0000000000000040 |
0x0000000000010042
|
Δ | 0x000000000000007F |
0x00000000FFFFFF01
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= |
| 829 | 0x0000000000000080 |
0x0000000000010082
|
Δ | 0x000000000000007F |
0x00000000FFFFFF01
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= |
| 830 | 0x0000000000000800 |
0x0000000000010802
|
Δ | 0x000000000000007F |
0x00000000FFFFFF01
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= |
| 831 | 0x00000000000008D5 |
0x00000000000108D7
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= |
| 832 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x00000000FFFFFF02
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= |
| 833 | 0x0000000000000001 |
0x0000000000010003
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= |
| 834 | 0x0000000000000004 |
0x0000000000010006
|
Δ | 0x000000000000007F |
0x00000000FFFFFF02
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= |
| 835 | 0x0000000000000010 |
0x0000000000010012
|
Δ | 0x000000000000007F |
0x00000000FFFFFF02
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= |
| 836 | 0x0000000000000040 |
0x0000000000010042
|
Δ | 0x000000000000007F |
0x00000000FFFFFF02
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= |
| 837 | 0x0000000000000080 |
0x0000000000010082
|
Δ | 0x000000000000007F |
0x00000000FFFFFF02
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= |
| 838 | 0x0000000000000800 |
0x0000000000010802
|
Δ | 0x000000000000007F |
0x00000000FFFFFF02
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= |
| 839 | 0x00000000000008D5 |
0x00000000000108D7
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= |
| 840 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x00000000FFFFFF80
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= |
| 841 | 0x0000000000000001 |
0x0000000000010003
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= |
| 842 | 0x0000000000000004 |
0x0000000000010006
|
Δ | 0x000000000000007F |
0x00000000FFFFFF80
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= |
| 843 | 0x0000000000000010 |
0x0000000000010012
|
Δ | 0x000000000000007F |
0x00000000FFFFFF80
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= |
| 844 | 0x0000000000000040 |
0x0000000000010042
|
Δ | 0x000000000000007F |
0x00000000FFFFFF80
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= |
| 845 | 0x0000000000000080 |
0x0000000000010082
|
Δ | 0x000000000000007F |
0x00000000FFFFFF80
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= |
| 846 | 0x0000000000000800 |
0x0000000000010802
|
Δ | 0x000000000000007F |
0x00000000FFFFFF80
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= |
| 847 | 0x00000000000008D5 |
0x00000000000108D7
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= |
| 848 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x00000000FFFFFFFE
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= |
| 849 | 0x0000000000000001 |
0x0000000000010003
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= |