tzcnt ax, bxOpcode: 66f30fbcc3
| State # | flag |
rax |
rbx |
||||||
|---|---|---|---|---|---|---|---|---|---|
| Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | |
| 850 | 0x0000000000000004 |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000001
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= |
| 851 | 0x0000000000000010 |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000001
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= |
| 852 | 0x0000000000000040 |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000001
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= |
| 853 | 0x0000000000000080 |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000001
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= |
| 854 | 0x0000000000000800 |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000001
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= |
| 855 | 0x00000000000008D5 |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x0000000000000001
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= |
| 856 | 0x0000000000000000 |
0x0000000000010042
|
Δ | 0x000000000000007F |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= |
| 857 | 0x0000000000000001 |
0x0000000000010042
|
Δ | 0x000000000000007F |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= |
| 858 | 0x0000000000000004 |
0x0000000000010042
|
Δ | 0x000000000000007F |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= |
| 859 | 0x0000000000000010 |
0x0000000000010042
|
Δ | 0x000000000000007F |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= |
| 860 | 0x0000000000000040 |
0x0000000000010042
|
Δ | 0x000000000000007F |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= |
| 861 | 0x0000000000000080 |
0x0000000000010042
|
Δ | 0x000000000000007F |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= |
| 862 | 0x0000000000000800 |
0x0000000000010042
|
Δ | 0x000000000000007F |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= |
| 863 | 0x00000000000008D5 |
0x0000000000010042
|
Δ | 0x000000000000007F |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= |
| 864 | 0x0000000000000000 |
0x0000000000010003
|
Δ | 0x0000000000000080 |
0x0000000000000010
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= |
| 865 | 0x0000000000000001 |
0x0000000000010003
|
Δ | 0x0000000000000080 |
0x0000000000000010
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= |
| 866 | 0x0000000000000004 |
0x0000000000010003
|
Δ | 0x0000000000000080 |
0x0000000000000010
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= |
| 867 | 0x0000000000000010 |
0x0000000000010003
|
Δ | 0x0000000000000080 |
0x0000000000000010
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= |
| 868 | 0x0000000000000040 |
0x0000000000010003
|
Δ | 0x0000000000000080 |
0x0000000000000010
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= |
| 869 | 0x0000000000000080 |
0x0000000000010003
|
Δ | 0x0000000000000080 |
0x0000000000000010
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= |
| 870 | 0x0000000000000800 |
0x0000000000010003
|
Δ | 0x0000000000000080 |
0x0000000000000010
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= |
| 871 | 0x00000000000008D5 |
0x0000000000010003
|
Δ | 0x0000000000000080 |
0x0000000000000010
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= |
| 872 | 0x0000000000000000 |
0x0000000000010042
|
Δ | 0x0000000000000080 |
0x0000000000000000
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= |
| 873 | 0x0000000000000001 |
0x0000000000010042
|
Δ | 0x0000000000000080 |
0x0000000000000000
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= |
| 874 | 0x0000000000000004 |
0x0000000000010042
|
Δ | 0x0000000000000080 |
0x0000000000000000
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= |
| 875 | 0x0000000000000010 |
0x0000000000010042
|
Δ | 0x0000000000000080 |
0x0000000000000000
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= |
| 876 | 0x0000000000000040 |
0x0000000000010042
|
Δ | 0x0000000000000080 |
0x0000000000000000
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= |
| 877 | 0x0000000000000080 |
0x0000000000010042
|
Δ | 0x0000000000000080 |
0x0000000000000000
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= |
| 878 | 0x0000000000000800 |
0x0000000000010042
|
Δ | 0x0000000000000080 |
0x0000000000000000
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= |
| 879 | 0x00000000000008D5 |
0x0000000000010042
|
Δ | 0x0000000000000080 |
0x0000000000000000
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= |
| 880 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0x0000000000000080 |
0x0000000000000001
|
Δ | 0x0000000000000002 |
0x0000000000000002
|
= |
| 881 | 0x0000000000000001 |
0x0000000000010002
|
Δ | 0x0000000000000080 |
0x0000000000000001
|
Δ | 0x0000000000000002 |
0x0000000000000002
|
= |
| 882 | 0x0000000000000004 |
0x0000000000010002
|
Δ | 0x0000000000000080 |
0x0000000000000001
|
Δ | 0x0000000000000002 |
0x0000000000000002
|
= |
| 883 | 0x0000000000000010 |
0x0000000000010002
|
Δ | 0x0000000000000080 |
0x0000000000000001
|
Δ | 0x0000000000000002 |
0x0000000000000002
|
= |
| 884 | 0x0000000000000040 |
0x0000000000010002
|
Δ | 0x0000000000000080 |
0x0000000000000001
|
Δ | 0x0000000000000002 |
0x0000000000000002
|
= |
| 885 | 0x0000000000000080 |
0x0000000000010002
|
Δ | 0x0000000000000080 |
0x0000000000000001
|
Δ | 0x0000000000000002 |
0x0000000000000002
|
= |
| 886 | 0x0000000000000800 |
0x0000000000010002
|
Δ | 0x0000000000000080 |
0x0000000000000001
|
Δ | 0x0000000000000002 |
0x0000000000000002
|
= |
| 887 | 0x00000000000008D5 |
0x0000000000010002
|
Δ | 0x0000000000000080 |
0x0000000000000001
|
Δ | 0x0000000000000002 |
0x0000000000000002
|
= |
| 888 | 0x0000000000000000 |
0x0000000000010042
|
Δ | 0x0000000000000080 |
0x0000000000000000
|
Δ | 0x0000000000000003 |
0x0000000000000003
|
= |
| 889 | 0x0000000000000001 |
0x0000000000010042
|
Δ | 0x0000000000000080 |
0x0000000000000000
|
Δ | 0x0000000000000003 |
0x0000000000000003
|
= |
| 890 | 0x0000000000000004 |
0x0000000000010042
|
Δ | 0x0000000000000080 |
0x0000000000000000
|
Δ | 0x0000000000000003 |
0x0000000000000003
|
= |
| 891 | 0x0000000000000010 |
0x0000000000010042
|
Δ | 0x0000000000000080 |
0x0000000000000000
|
Δ | 0x0000000000000003 |
0x0000000000000003
|
= |
| 892 | 0x0000000000000040 |
0x0000000000010042
|
Δ | 0x0000000000000080 |
0x0000000000000000
|
Δ | 0x0000000000000003 |
0x0000000000000003
|
= |
| 893 | 0x0000000000000080 |
0x0000000000010042
|
Δ | 0x0000000000000080 |
0x0000000000000000
|
Δ | 0x0000000000000003 |
0x0000000000000003
|
= |
| 894 | 0x0000000000000800 |
0x0000000000010042
|
Δ | 0x0000000000000080 |
0x0000000000000000
|
Δ | 0x0000000000000003 |
0x0000000000000003
|
= |
| 895 | 0x00000000000008D5 |
0x0000000000010042
|
Δ | 0x0000000000000080 |
0x0000000000000000
|
Δ | 0x0000000000000003 |
0x0000000000000003
|
= |
| 896 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0x0000000000000080 |
0x0000000000000001
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= |
| 897 | 0x0000000000000001 |
0x0000000000010002
|
Δ | 0x0000000000000080 |
0x0000000000000001
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= |
| 898 | 0x0000000000000004 |
0x0000000000010002
|
Δ | 0x0000000000000080 |
0x0000000000000001
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= |
| 899 | 0x0000000000000010 |
0x0000000000010002
|
Δ | 0x0000000000000080 |
0x0000000000000001
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= |