cmovns rax, rbxOpcode: 480f49c3
| State # | flag |
rax |
rbx |
||||||
|---|---|---|---|---|---|---|---|---|---|
| Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | |
| 1900 | 0x0000000000000040 |
0x0000000000010042
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x0000000000000003
|
Δ | 0x0000000000000003 |
0x0000000000000003
|
= |
| 1901 | 0x0000000000000080 |
0x0000000000010082
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0x0000000000000003 |
0x0000000000000003
|
= |
| 1902 | 0x0000000000000800 |
0x0000000000010802
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x0000000000000003
|
Δ | 0x0000000000000003 |
0x0000000000000003
|
= |
| 1903 | 0x00000000000008D5 |
0x00000000000108D7
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0x0000000000000003 |
0x0000000000000003
|
= |
| 1904 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x000000000000007E
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= |
| 1905 | 0x0000000000000001 |
0x0000000000010003
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x000000000000007E
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= |
| 1906 | 0x0000000000000004 |
0x0000000000010006
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x000000000000007E
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= |
| 1907 | 0x0000000000000010 |
0x0000000000010012
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x000000000000007E
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= |
| 1908 | 0x0000000000000040 |
0x0000000000010042
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x000000000000007E
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= |
| 1909 | 0x0000000000000080 |
0x0000000000010082
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0x000000000000007E |
0x000000000000007E
|
= |
| 1910 | 0x0000000000000800 |
0x0000000000010802
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x000000000000007E
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= |
| 1911 | 0x00000000000008D5 |
0x00000000000108D7
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0x000000000000007E |
0x000000000000007E
|
= |
| 1912 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x000000000000007F
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= |
| 1913 | 0x0000000000000001 |
0x0000000000010003
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x000000000000007F
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= |
| 1914 | 0x0000000000000004 |
0x0000000000010006
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x000000000000007F
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= |
| 1915 | 0x0000000000000010 |
0x0000000000010012
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x000000000000007F
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= |
| 1916 | 0x0000000000000040 |
0x0000000000010042
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x000000000000007F
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= |
| 1917 | 0x0000000000000080 |
0x0000000000010082
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0x000000000000007F |
0x000000000000007F
|
= |
| 1918 | 0x0000000000000800 |
0x0000000000010802
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x000000000000007F
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= |
| 1919 | 0x00000000000008D5 |
0x00000000000108D7
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0x000000000000007F |
0x000000000000007F
|
= |
| 1920 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x0000000000000080
|
Δ | 0x0000000000000080 |
0x0000000000000080
|
= |
| 1921 | 0x0000000000000001 |
0x0000000000010003
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x0000000000000080
|
Δ | 0x0000000000000080 |
0x0000000000000080
|
= |
| 1922 | 0x0000000000000004 |
0x0000000000010006
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x0000000000000080
|
Δ | 0x0000000000000080 |
0x0000000000000080
|
= |
| 1923 | 0x0000000000000010 |
0x0000000000010012
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x0000000000000080
|
Δ | 0x0000000000000080 |
0x0000000000000080
|
= |
| 1924 | 0x0000000000000040 |
0x0000000000010042
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x0000000000000080
|
Δ | 0x0000000000000080 |
0x0000000000000080
|
= |
| 1925 | 0x0000000000000080 |
0x0000000000010082
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0x0000000000000080 |
0x0000000000000080
|
= |
| 1926 | 0x0000000000000800 |
0x0000000000010802
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x0000000000000080
|
Δ | 0x0000000000000080 |
0x0000000000000080
|
= |
| 1927 | 0x00000000000008D5 |
0x00000000000108D7
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0x0000000000000080 |
0x0000000000000080
|
= |
| 1928 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x0000000000000081
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= |
| 1929 | 0x0000000000000001 |
0x0000000000010003
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x0000000000000081
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= |
| 1930 | 0x0000000000000004 |
0x0000000000010006
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x0000000000000081
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= |
| 1931 | 0x0000000000000010 |
0x0000000000010012
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x0000000000000081
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= |
| 1932 | 0x0000000000000040 |
0x0000000000010042
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x0000000000000081
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= |
| 1933 | 0x0000000000000080 |
0x0000000000010082
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0x0000000000000081 |
0x0000000000000081
|
= |
| 1934 | 0x0000000000000800 |
0x0000000000010802
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x0000000000000081
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= |
| 1935 | 0x00000000000008D5 |
0x00000000000108D7
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0x0000000000000081 |
0x0000000000000081
|
= |
| 1936 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x0000000000000082
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= |
| 1937 | 0x0000000000000001 |
0x0000000000010003
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x0000000000000082
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= |
| 1938 | 0x0000000000000004 |
0x0000000000010006
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x0000000000000082
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= |
| 1939 | 0x0000000000000010 |
0x0000000000010012
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x0000000000000082
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= |
| 1940 | 0x0000000000000040 |
0x0000000000010042
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x0000000000000082
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= |
| 1941 | 0x0000000000000080 |
0x0000000000010082
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0x0000000000000082 |
0x0000000000000082
|
= |
| 1942 | 0x0000000000000800 |
0x0000000000010802
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x0000000000000082
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= |
| 1943 | 0x00000000000008D5 |
0x00000000000108D7
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0x0000000000000082 |
0x0000000000000082
|
= |
| 1944 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x00000000000000FD
|
Δ | 0x00000000000000FD |
0x00000000000000FD
|
= |
| 1945 | 0x0000000000000001 |
0x0000000000010003
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x00000000000000FD
|
Δ | 0x00000000000000FD |
0x00000000000000FD
|
= |
| 1946 | 0x0000000000000004 |
0x0000000000010006
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x00000000000000FD
|
Δ | 0x00000000000000FD |
0x00000000000000FD
|
= |
| 1947 | 0x0000000000000010 |
0x0000000000010012
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x00000000000000FD
|
Δ | 0x00000000000000FD |
0x00000000000000FD
|
= |
| 1948 | 0x0000000000000040 |
0x0000000000010042
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x00000000000000FD
|
Δ | 0x00000000000000FD |
0x00000000000000FD
|
= |
| 1949 | 0x0000000000000080 |
0x0000000000010082
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0x00000000000000FD |
0x00000000000000FD
|
= |