cmovae ax, bx

Opcode: 660f43c3

Instruction: CMOVAE
Undefined flags: none

Total states: 2,592
State # flag rax rbx rdx
InitialFinalΔ InitialFinalΔ InitialFinalΔ InitialFinalΔ
2000 0x0000000000000000 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFFFE Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x0000000000000000 Δ
2001 0x0000000000000001 0x0000000000010003 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x0000000000000000 Δ
2002 0x0000000000000004 0x0000000000010006 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFFFE Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x0000000000000000 Δ
2003 0x0000000000000010 0x0000000000010012 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFFFE Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x0000000000000000 Δ
2004 0x0000000000000040 0x0000000000010042 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFFFE Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x0000000000000000 Δ
2005 0x0000000000000080 0x0000000000010082 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFFFE Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x0000000000000000 Δ
2006 0x0000000000000800 0x0000000000010802 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFFFE Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x0000000000000000 Δ
2007 0x00000000000008D5 0x00000000000108D7 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x0000000000000000 Δ
2008 0x0000000000000000 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFFFF Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000000 Δ
2009 0x0000000000000001 0x0000000000010003 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000000 Δ
2010 0x0000000000000004 0x0000000000010006 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFFFF Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000000 Δ
2011 0x0000000000000010 0x0000000000010012 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFFFF Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000000 Δ
2012 0x0000000000000040 0x0000000000010042 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFFFF Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000000 Δ
2013 0x0000000000000080 0x0000000000010082 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFFFF Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000000 Δ
2014 0x0000000000000800 0x0000000000010802 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFFFF Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000000 Δ
2015 0x00000000000008D5 0x00000000000108D7 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000000 Δ
2016 0x0000000000000000 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFF0000 Δ 0x0000000000000000 0x0000000000000000 = 0x0000000000000000 Δ
2017 0x0000000000000001 0x0000000000010003 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0x0000000000000000 0x0000000000000000 = 0x0000000000000000 Δ
2018 0x0000000000000004 0x0000000000010006 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFF0000 Δ 0x0000000000000000 0x0000000000000000 = 0x0000000000000000 Δ
2019 0x0000000000000010 0x0000000000010012 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFF0000 Δ 0x0000000000000000 0x0000000000000000 = 0x0000000000000000 Δ
2020 0x0000000000000040 0x0000000000010042 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFF0000 Δ 0x0000000000000000 0x0000000000000000 = 0x0000000000000000 Δ
2021 0x0000000000000080 0x0000000000010082 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFF0000 Δ 0x0000000000000000 0x0000000000000000 = 0x0000000000000000 Δ
2022 0x0000000000000800 0x0000000000010802 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFF0000 Δ 0x0000000000000000 0x0000000000000000 = 0x0000000000000000 Δ
2023 0x00000000000008D5 0x00000000000108D7 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0x0000000000000000 0x0000000000000000 = 0x0000000000000000 Δ
2024 0x0000000000000000 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFF0001 Δ 0x0000000000000001 0x0000000000000001 = 0x0000000000000000 Δ
2025 0x0000000000000001 0x0000000000010003 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0x0000000000000001 0x0000000000000001 = 0x0000000000000000 Δ
2026 0x0000000000000004 0x0000000000010006 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFF0001 Δ 0x0000000000000001 0x0000000000000001 = 0x0000000000000000 Δ
2027 0x0000000000000010 0x0000000000010012 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFF0001 Δ 0x0000000000000001 0x0000000000000001 = 0x0000000000000000 Δ
2028 0x0000000000000040 0x0000000000010042 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFF0001 Δ 0x0000000000000001 0x0000000000000001 = 0x0000000000000000 Δ
2029 0x0000000000000080 0x0000000000010082 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFF0001 Δ 0x0000000000000001 0x0000000000000001 = 0x0000000000000000 Δ
2030 0x0000000000000800 0x0000000000010802 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFF0001 Δ 0x0000000000000001 0x0000000000000001 = 0x0000000000000000 Δ
2031 0x00000000000008D5 0x00000000000108D7 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0x0000000000000001 0x0000000000000001 = 0x0000000000000000 Δ
2032 0x0000000000000000 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFF0002 Δ 0x0000000000000002 0x0000000000000002 = 0x0000000000000000 Δ
2033 0x0000000000000001 0x0000000000010003 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0x0000000000000002 0x0000000000000002 = 0x0000000000000000 Δ
2034 0x0000000000000004 0x0000000000010006 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFF0002 Δ 0x0000000000000002 0x0000000000000002 = 0x0000000000000000 Δ
2035 0x0000000000000010 0x0000000000010012 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFF0002 Δ 0x0000000000000002 0x0000000000000002 = 0x0000000000000000 Δ
2036 0x0000000000000040 0x0000000000010042 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFF0002 Δ 0x0000000000000002 0x0000000000000002 = 0x0000000000000000 Δ
2037 0x0000000000000080 0x0000000000010082 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFF0002 Δ 0x0000000000000002 0x0000000000000002 = 0x0000000000000000 Δ
2038 0x0000000000000800 0x0000000000010802 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFF0002 Δ 0x0000000000000002 0x0000000000000002 = 0x0000000000000000 Δ
2039 0x00000000000008D5 0x00000000000108D7 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0x0000000000000002 0x0000000000000002 = 0x0000000000000000 Δ
2040 0x0000000000000000 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFF0003 Δ 0x0000000000000003 0x0000000000000003 = 0x0000000000000000 Δ
2041 0x0000000000000001 0x0000000000010003 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0x0000000000000003 0x0000000000000003 = 0x0000000000000000 Δ
2042 0x0000000000000004 0x0000000000010006 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFF0003 Δ 0x0000000000000003 0x0000000000000003 = 0x0000000000000000 Δ
2043 0x0000000000000010 0x0000000000010012 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFF0003 Δ 0x0000000000000003 0x0000000000000003 = 0x0000000000000000 Δ
2044 0x0000000000000040 0x0000000000010042 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFF0003 Δ 0x0000000000000003 0x0000000000000003 = 0x0000000000000000 Δ
2045 0x0000000000000080 0x0000000000010082 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFF0003 Δ 0x0000000000000003 0x0000000000000003 = 0x0000000000000000 Δ
2046 0x0000000000000800 0x0000000000010802 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFF0003 Δ 0x0000000000000003 0x0000000000000003 = 0x0000000000000000 Δ
2047 0x00000000000008D5 0x00000000000108D7 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0x0000000000000003 0x0000000000000003 = 0x0000000000000000 Δ
2048 0x0000000000000000 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFF007E Δ 0x000000000000007E 0x000000000000007E = 0x0000000000000000 Δ
2049 0x0000000000000001 0x0000000000010003 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0x000000000000007E 0x000000000000007E = 0x0000000000000000 Δ
← Prev Page 41 of 52 Next →