cmovnle ax, bx

Opcode: 660f4fc3

Instruction: CMOVNLE
Undefined flags: none

Total states: 2,592
State # flag rax rbx rdx
InitialFinalΔ InitialFinalΔ InitialFinalΔ InitialFinalΔ
1900 0x0000000000000040 0x0000000000010042 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x0000000000000003 0x0000000000000003 = — 0x0000000000000000 Δ
1901 0x0000000000000080 0x0000000000010082 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x0000000000000003 0x0000000000000003 = — 0x0000000000000000 Δ
1902 0x0000000000000800 0x0000000000010802 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x0000000000000003 0x0000000000000003 = — 0x0000000000000000 Δ
1903 0x00000000000008D5 0x00000000000108D7 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x0000000000000003 0x0000000000000003 = — 0x0000000000000000 Δ
1904 0x0000000000000000 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFF007E Δ 0x000000000000007E 0x000000000000007E = — 0x0000000000000000 Δ
1905 0x0000000000000001 0x0000000000010003 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFF007E Δ 0x000000000000007E 0x000000000000007E = — 0x0000000000000000 Δ
1906 0x0000000000000004 0x0000000000010006 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFF007E Δ 0x000000000000007E 0x000000000000007E = — 0x0000000000000000 Δ
1907 0x0000000000000010 0x0000000000010012 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFF007E Δ 0x000000000000007E 0x000000000000007E = — 0x0000000000000000 Δ
1908 0x0000000000000040 0x0000000000010042 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x000000000000007E 0x000000000000007E = — 0x0000000000000000 Δ
1909 0x0000000000000080 0x0000000000010082 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x000000000000007E 0x000000000000007E = — 0x0000000000000000 Δ
1910 0x0000000000000800 0x0000000000010802 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x000000000000007E 0x000000000000007E = — 0x0000000000000000 Δ
1911 0x00000000000008D5 0x00000000000108D7 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x000000000000007E 0x000000000000007E = — 0x0000000000000000 Δ
1912 0x0000000000000000 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFF007F Δ 0x000000000000007F 0x000000000000007F = — 0x0000000000000000 Δ
1913 0x0000000000000001 0x0000000000010003 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFF007F Δ 0x000000000000007F 0x000000000000007F = — 0x0000000000000000 Δ
1914 0x0000000000000004 0x0000000000010006 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFF007F Δ 0x000000000000007F 0x000000000000007F = — 0x0000000000000000 Δ
1915 0x0000000000000010 0x0000000000010012 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFF007F Δ 0x000000000000007F 0x000000000000007F = — 0x0000000000000000 Δ
1916 0x0000000000000040 0x0000000000010042 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x000000000000007F 0x000000000000007F = — 0x0000000000000000 Δ
1917 0x0000000000000080 0x0000000000010082 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x000000000000007F 0x000000000000007F = — 0x0000000000000000 Δ
1918 0x0000000000000800 0x0000000000010802 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x000000000000007F 0x000000000000007F = — 0x0000000000000000 Δ
1919 0x00000000000008D5 0x00000000000108D7 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x000000000000007F 0x000000000000007F = — 0x0000000000000000 Δ
1920 0x0000000000000000 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFF0080 Δ 0x0000000000000080 0x0000000000000080 = — 0x0000000000000000 Δ
1921 0x0000000000000001 0x0000000000010003 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFF0080 Δ 0x0000000000000080 0x0000000000000080 = — 0x0000000000000000 Δ
1922 0x0000000000000004 0x0000000000010006 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFF0080 Δ 0x0000000000000080 0x0000000000000080 = — 0x0000000000000000 Δ
1923 0x0000000000000010 0x0000000000010012 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFF0080 Δ 0x0000000000000080 0x0000000000000080 = — 0x0000000000000000 Δ
1924 0x0000000000000040 0x0000000000010042 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x0000000000000080 0x0000000000000080 = — 0x0000000000000000 Δ
1925 0x0000000000000080 0x0000000000010082 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x0000000000000080 0x0000000000000080 = — 0x0000000000000000 Δ
1926 0x0000000000000800 0x0000000000010802 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x0000000000000080 0x0000000000000080 = — 0x0000000000000000 Δ
1927 0x00000000000008D5 0x00000000000108D7 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x0000000000000080 0x0000000000000080 = — 0x0000000000000000 Δ
1928 0x0000000000000000 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFF0081 Δ 0x0000000000000081 0x0000000000000081 = — 0x0000000000000000 Δ
1929 0x0000000000000001 0x0000000000010003 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFF0081 Δ 0x0000000000000081 0x0000000000000081 = — 0x0000000000000000 Δ
1930 0x0000000000000004 0x0000000000010006 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFF0081 Δ 0x0000000000000081 0x0000000000000081 = — 0x0000000000000000 Δ
1931 0x0000000000000010 0x0000000000010012 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFF0081 Δ 0x0000000000000081 0x0000000000000081 = — 0x0000000000000000 Δ
1932 0x0000000000000040 0x0000000000010042 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x0000000000000081 0x0000000000000081 = — 0x0000000000000000 Δ
1933 0x0000000000000080 0x0000000000010082 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x0000000000000081 0x0000000000000081 = — 0x0000000000000000 Δ
1934 0x0000000000000800 0x0000000000010802 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x0000000000000081 0x0000000000000081 = — 0x0000000000000000 Δ
1935 0x00000000000008D5 0x00000000000108D7 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x0000000000000081 0x0000000000000081 = — 0x0000000000000000 Δ
1936 0x0000000000000000 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFF0082 Δ 0x0000000000000082 0x0000000000000082 = — 0x0000000000000000 Δ
1937 0x0000000000000001 0x0000000000010003 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFF0082 Δ 0x0000000000000082 0x0000000000000082 = — 0x0000000000000000 Δ
1938 0x0000000000000004 0x0000000000010006 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFF0082 Δ 0x0000000000000082 0x0000000000000082 = — 0x0000000000000000 Δ
1939 0x0000000000000010 0x0000000000010012 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFF0082 Δ 0x0000000000000082 0x0000000000000082 = — 0x0000000000000000 Δ
1940 0x0000000000000040 0x0000000000010042 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x0000000000000082 0x0000000000000082 = — 0x0000000000000000 Δ
1941 0x0000000000000080 0x0000000000010082 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x0000000000000082 0x0000000000000082 = — 0x0000000000000000 Δ
1942 0x0000000000000800 0x0000000000010802 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x0000000000000082 0x0000000000000082 = — 0x0000000000000000 Δ
1943 0x00000000000008D5 0x00000000000108D7 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x0000000000000082 0x0000000000000082 = — 0x0000000000000000 Δ
1944 0x0000000000000000 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFF00FD Δ 0x00000000000000FD 0x00000000000000FD = — 0x0000000000000000 Δ
1945 0x0000000000000001 0x0000000000010003 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFF00FD Δ 0x00000000000000FD 0x00000000000000FD = — 0x0000000000000000 Δ
1946 0x0000000000000004 0x0000000000010006 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFF00FD Δ 0x00000000000000FD 0x00000000000000FD = — 0x0000000000000000 Δ
1947 0x0000000000000010 0x0000000000010012 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFF00FD Δ 0x00000000000000FD 0x00000000000000FD = — 0x0000000000000000 Δ
1948 0x0000000000000040 0x0000000000010042 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x00000000000000FD 0x00000000000000FD = — 0x0000000000000000 Δ
1949 0x0000000000000080 0x0000000000010082 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x00000000000000FD 0x00000000000000FD = — 0x0000000000000000 Δ
← Prev Page 39 of 52 Next →