cmovnbe ax, bx

Opcode: 660f47c3

Instruction: CMOVNBE
Undefined flags: none

Total states: 2,592
State # flag rax rbx
InitialFinalΔ InitialFinalΔ InitialFinalΔ
1700 0x0000000000000040 0x0000000000010042 Δ 0x00000000000000FF 0x00000000000000FF = 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
1701 0x0000000000000080 0x0000000000010082 Δ 0x00000000000000FF 0x000000000000FF02 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
1702 0x0000000000000800 0x0000000000010802 Δ 0x00000000000000FF 0x000000000000FF02 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
1703 0x00000000000008D5 0x00000000000108D7 Δ 0x00000000000000FF 0x00000000000000FF = 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
1704 0x0000000000000000 0x0000000000010002 Δ 0x00000000000000FF 0x000000000000FF80 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
1705 0x0000000000000001 0x0000000000010003 Δ 0x00000000000000FF 0x00000000000000FF = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
1706 0x0000000000000004 0x0000000000010006 Δ 0x00000000000000FF 0x000000000000FF80 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
1707 0x0000000000000010 0x0000000000010012 Δ 0x00000000000000FF 0x000000000000FF80 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
1708 0x0000000000000040 0x0000000000010042 Δ 0x00000000000000FF 0x00000000000000FF = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
1709 0x0000000000000080 0x0000000000010082 Δ 0x00000000000000FF 0x000000000000FF80 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
1710 0x0000000000000800 0x0000000000010802 Δ 0x00000000000000FF 0x000000000000FF80 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
1711 0x00000000000008D5 0x00000000000108D7 Δ 0x00000000000000FF 0x00000000000000FF = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
1712 0x0000000000000000 0x0000000000010002 Δ 0x00000000000000FF 0x000000000000FFFE Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
1713 0x0000000000000001 0x0000000000010003 Δ 0x00000000000000FF 0x00000000000000FF = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
1714 0x0000000000000004 0x0000000000010006 Δ 0x00000000000000FF 0x000000000000FFFE Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
1715 0x0000000000000010 0x0000000000010012 Δ 0x00000000000000FF 0x000000000000FFFE Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
1716 0x0000000000000040 0x0000000000010042 Δ 0x00000000000000FF 0x00000000000000FF = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
1717 0x0000000000000080 0x0000000000010082 Δ 0x00000000000000FF 0x000000000000FFFE Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
1718 0x0000000000000800 0x0000000000010802 Δ 0x00000000000000FF 0x000000000000FFFE Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
1719 0x00000000000008D5 0x00000000000108D7 Δ 0x00000000000000FF 0x00000000000000FF = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
1720 0x0000000000000000 0x0000000000010002 Δ 0x00000000000000FF 0x000000000000FFFF Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
1721 0x0000000000000001 0x0000000000010003 Δ 0x00000000000000FF 0x00000000000000FF = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
1722 0x0000000000000004 0x0000000000010006 Δ 0x00000000000000FF 0x000000000000FFFF Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
1723 0x0000000000000010 0x0000000000010012 Δ 0x00000000000000FF 0x000000000000FFFF Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
1724 0x0000000000000040 0x0000000000010042 Δ 0x00000000000000FF 0x00000000000000FF = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
1725 0x0000000000000080 0x0000000000010082 Δ 0x00000000000000FF 0x000000000000FFFF Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
1726 0x0000000000000800 0x0000000000010802 Δ 0x00000000000000FF 0x000000000000FFFF Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
1727 0x00000000000008D5 0x00000000000108D7 Δ 0x00000000000000FF 0x00000000000000FF = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
1728 0x0000000000000000 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFF0000 Δ 0x0000000000000000 0x0000000000000000 =
1729 0x0000000000000001 0x0000000000010003 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 = 0x0000000000000000 0x0000000000000000 =
1730 0x0000000000000004 0x0000000000010006 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFF0000 Δ 0x0000000000000000 0x0000000000000000 =
1731 0x0000000000000010 0x0000000000010012 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFF0000 Δ 0x0000000000000000 0x0000000000000000 =
1732 0x0000000000000040 0x0000000000010042 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 = 0x0000000000000000 0x0000000000000000 =
1733 0x0000000000000080 0x0000000000010082 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFF0000 Δ 0x0000000000000000 0x0000000000000000 =
1734 0x0000000000000800 0x0000000000010802 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFF0000 Δ 0x0000000000000000 0x0000000000000000 =
1735 0x00000000000008D5 0x00000000000108D7 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 = 0x0000000000000000 0x0000000000000000 =
1736 0x0000000000000000 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFF0001 Δ 0x0000000000000001 0x0000000000000001 =
1737 0x0000000000000001 0x0000000000010003 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 = 0x0000000000000001 0x0000000000000001 =
1738 0x0000000000000004 0x0000000000010006 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFF0001 Δ 0x0000000000000001 0x0000000000000001 =
1739 0x0000000000000010 0x0000000000010012 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFF0001 Δ 0x0000000000000001 0x0000000000000001 =
1740 0x0000000000000040 0x0000000000010042 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 = 0x0000000000000001 0x0000000000000001 =
1741 0x0000000000000080 0x0000000000010082 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFF0001 Δ 0x0000000000000001 0x0000000000000001 =
1742 0x0000000000000800 0x0000000000010802 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFF0001 Δ 0x0000000000000001 0x0000000000000001 =
1743 0x00000000000008D5 0x00000000000108D7 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 = 0x0000000000000001 0x0000000000000001 =
1744 0x0000000000000000 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFF0002 Δ 0x0000000000000002 0x0000000000000002 =
1745 0x0000000000000001 0x0000000000010003 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 = 0x0000000000000002 0x0000000000000002 =
1746 0x0000000000000004 0x0000000000010006 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFF0002 Δ 0x0000000000000002 0x0000000000000002 =
1747 0x0000000000000010 0x0000000000010012 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFF0002 Δ 0x0000000000000002 0x0000000000000002 =
1748 0x0000000000000040 0x0000000000010042 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 = 0x0000000000000002 0x0000000000000002 =
1749 0x0000000000000080 0x0000000000010082 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFF0002 Δ 0x0000000000000002 0x0000000000000002 =
← Prev Page 35 of 52 Next →