`cmovnge ax, bx`

Opcode: 660f4cc3

Instruction: CMOVNGE
Undefined flags: none

Total states: 2,592

State #	`flag`			`rax`			`rbx`			`rdx`
State #	Initial	Final	Δ	Initial	Final	Δ	Initial	Final	Δ	Initial	Final	Δ
2200	`0x0000000000000000`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0x000000000000007F`	`0x000000000000007F`	=	`—`	`0x0000000000000000`	Δ
2201	`0x0000000000000001`	`0x0000000000010003`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0x000000000000007F`	`0x000000000000007F`	=	`—`	`0x0000000000000000`	Δ
2202	`0x0000000000000004`	`0x0000000000010006`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0x000000000000007F`	`0x000000000000007F`	=	`—`	`0x0000000000000000`	Δ
2203	`0x0000000000000010`	`0x0000000000010012`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0x000000000000007F`	`0x000000000000007F`	=	`—`	`0x0000000000000000`	Δ
2204	`0x0000000000000040`	`0x0000000000010042`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0x000000000000007F`	`0x000000000000007F`	=	`—`	`0x0000000000000000`	Δ
2205	`0x0000000000000080`	`0x0000000000010082`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFF007F`	Δ	`0x000000000000007F`	`0x000000000000007F`	=	`—`	`0x0000000000000000`	Δ
2206	`0x0000000000000800`	`0x0000000000010802`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFF007F`	Δ	`0x000000000000007F`	`0x000000000000007F`	=	`—`	`0x0000000000000000`	Δ
2207	`0x00000000000008D5`	`0x00000000000108D7`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0x000000000000007F`	`0x000000000000007F`	=	`—`	`0x0000000000000000`	Δ
2208	`0x0000000000000000`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0x0000000000000080`	`0x0000000000000080`	=	`—`	`0x0000000000000000`	Δ
2209	`0x0000000000000001`	`0x0000000000010003`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0x0000000000000080`	`0x0000000000000080`	=	`—`	`0x0000000000000000`	Δ
2210	`0x0000000000000004`	`0x0000000000010006`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0x0000000000000080`	`0x0000000000000080`	=	`—`	`0x0000000000000000`	Δ
2211	`0x0000000000000010`	`0x0000000000010012`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0x0000000000000080`	`0x0000000000000080`	=	`—`	`0x0000000000000000`	Δ
2212	`0x0000000000000040`	`0x0000000000010042`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0x0000000000000080`	`0x0000000000000080`	=	`—`	`0x0000000000000000`	Δ
2213	`0x0000000000000080`	`0x0000000000010082`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFF0080`	Δ	`0x0000000000000080`	`0x0000000000000080`	=	`—`	`0x0000000000000000`	Δ
2214	`0x0000000000000800`	`0x0000000000010802`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFF0080`	Δ	`0x0000000000000080`	`0x0000000000000080`	=	`—`	`0x0000000000000000`	Δ
2215	`0x00000000000008D5`	`0x00000000000108D7`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0x0000000000000080`	`0x0000000000000080`	=	`—`	`0x0000000000000000`	Δ
2216	`0x0000000000000000`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0x0000000000000081`	`0x0000000000000081`	=	`—`	`0x0000000000000000`	Δ
2217	`0x0000000000000001`	`0x0000000000010003`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0x0000000000000081`	`0x0000000000000081`	=	`—`	`0x0000000000000000`	Δ
2218	`0x0000000000000004`	`0x0000000000010006`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0x0000000000000081`	`0x0000000000000081`	=	`—`	`0x0000000000000000`	Δ
2219	`0x0000000000000010`	`0x0000000000010012`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0x0000000000000081`	`0x0000000000000081`	=	`—`	`0x0000000000000000`	Δ
2220	`0x0000000000000040`	`0x0000000000010042`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0x0000000000000081`	`0x0000000000000081`	=	`—`	`0x0000000000000000`	Δ
2221	`0x0000000000000080`	`0x0000000000010082`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFF0081`	Δ	`0x0000000000000081`	`0x0000000000000081`	=	`—`	`0x0000000000000000`	Δ
2222	`0x0000000000000800`	`0x0000000000010802`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFF0081`	Δ	`0x0000000000000081`	`0x0000000000000081`	=	`—`	`0x0000000000000000`	Δ
2223	`0x00000000000008D5`	`0x00000000000108D7`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0x0000000000000081`	`0x0000000000000081`	=	`—`	`0x0000000000000000`	Δ
2224	`0x0000000000000000`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0x0000000000000082`	`0x0000000000000082`	=	`—`	`0x0000000000000000`	Δ
2225	`0x0000000000000001`	`0x0000000000010003`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0x0000000000000082`	`0x0000000000000082`	=	`—`	`0x0000000000000000`	Δ
2226	`0x0000000000000004`	`0x0000000000010006`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0x0000000000000082`	`0x0000000000000082`	=	`—`	`0x0000000000000000`	Δ
2227	`0x0000000000000010`	`0x0000000000010012`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0x0000000000000082`	`0x0000000000000082`	=	`—`	`0x0000000000000000`	Δ
2228	`0x0000000000000040`	`0x0000000000010042`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0x0000000000000082`	`0x0000000000000082`	=	`—`	`0x0000000000000000`	Δ
2229	`0x0000000000000080`	`0x0000000000010082`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFF0082`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`—`	`0x0000000000000000`	Δ
2230	`0x0000000000000800`	`0x0000000000010802`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFF0082`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`—`	`0x0000000000000000`	Δ
2231	`0x00000000000008D5`	`0x00000000000108D7`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0x0000000000000082`	`0x0000000000000082`	=	`—`	`0x0000000000000000`	Δ
2232	`0x0000000000000000`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0x00000000000000FD`	`0x00000000000000FD`	=	`—`	`0x0000000000000000`	Δ
2233	`0x0000000000000001`	`0x0000000000010003`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0x00000000000000FD`	`0x00000000000000FD`	=	`—`	`0x0000000000000000`	Δ
2234	`0x0000000000000004`	`0x0000000000010006`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0x00000000000000FD`	`0x00000000000000FD`	=	`—`	`0x0000000000000000`	Δ
2235	`0x0000000000000010`	`0x0000000000010012`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0x00000000000000FD`	`0x00000000000000FD`	=	`—`	`0x0000000000000000`	Δ
2236	`0x0000000000000040`	`0x0000000000010042`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0x00000000000000FD`	`0x00000000000000FD`	=	`—`	`0x0000000000000000`	Δ
2237	`0x0000000000000080`	`0x0000000000010082`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFF00FD`	Δ	`0x00000000000000FD`	`0x00000000000000FD`	=	`—`	`0x0000000000000000`	Δ
2238	`0x0000000000000800`	`0x0000000000010802`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFF00FD`	Δ	`0x00000000000000FD`	`0x00000000000000FD`	=	`—`	`0x0000000000000000`	Δ
2239	`0x00000000000008D5`	`0x00000000000108D7`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0x00000000000000FD`	`0x00000000000000FD`	=	`—`	`0x0000000000000000`	Δ
2240	`0x0000000000000000`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0x00000000000000FE`	`0x00000000000000FE`	=	`—`	`0x0000000000000000`	Δ
2241	`0x0000000000000001`	`0x0000000000010003`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0x00000000000000FE`	`0x00000000000000FE`	=	`—`	`0x0000000000000000`	Δ
2242	`0x0000000000000004`	`0x0000000000010006`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0x00000000000000FE`	`0x00000000000000FE`	=	`—`	`0x0000000000000000`	Δ
2243	`0x0000000000000010`	`0x0000000000010012`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0x00000000000000FE`	`0x00000000000000FE`	=	`—`	`0x0000000000000000`	Δ
2244	`0x0000000000000040`	`0x0000000000010042`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0x00000000000000FE`	`0x00000000000000FE`	=	`—`	`0x0000000000000000`	Δ
2245	`0x0000000000000080`	`0x0000000000010082`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFF00FE`	Δ	`0x00000000000000FE`	`0x00000000000000FE`	=	`—`	`0x0000000000000000`	Δ
2246	`0x0000000000000800`	`0x0000000000010802`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFF00FE`	Δ	`0x00000000000000FE`	`0x00000000000000FE`	=	`—`	`0x0000000000000000`	Δ
2247	`0x00000000000008D5`	`0x00000000000108D7`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0x00000000000000FE`	`0x00000000000000FE`	=	`—`	`0x0000000000000000`	Δ
2248	`0x0000000000000000`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0x00000000000000FF`	`0x00000000000000FF`	=	`—`	`0x0000000000000000`	Δ
2249	`0x0000000000000001`	`0x0000000000010003`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0x00000000000000FF`	`0x00000000000000FF`	=	`—`	`0x0000000000000000`	Δ