`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	Δ
2250	`0x0000000000000004`	`0x0000000000010006`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0x00000000000000FF`	`0x00000000000000FF`	=	`—`	`0x0000000000000000`	Δ
2251	`0x0000000000000010`	`0x0000000000010012`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0x00000000000000FF`	`0x00000000000000FF`	=	`—`	`0x0000000000000000`	Δ
2252	`0x0000000000000040`	`0x0000000000010042`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0x00000000000000FF`	`0x00000000000000FF`	=	`—`	`0x0000000000000000`	Δ
2253	`0x0000000000000080`	`0x0000000000010082`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFF00FF`	Δ	`0x00000000000000FF`	`0x00000000000000FF`	=	`—`	`0x0000000000000000`	Δ
2254	`0x0000000000000800`	`0x0000000000010802`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFF00FF`	Δ	`0x00000000000000FF`	`0x00000000000000FF`	=	`—`	`0x0000000000000000`	Δ
2255	`0x00000000000008D5`	`0x00000000000108D7`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0x00000000000000FF`	`0x00000000000000FF`	=	`—`	`0x0000000000000000`	Δ
2256	`0x0000000000000000`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0xFFFFFFFFFFFFFF00`	`0xFFFFFFFFFFFFFF00`	=	`—`	`0x0000000000000000`	Δ
2257	`0x0000000000000001`	`0x0000000000010003`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0xFFFFFFFFFFFFFF00`	`0xFFFFFFFFFFFFFF00`	=	`—`	`0x0000000000000000`	Δ
2258	`0x0000000000000004`	`0x0000000000010006`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0xFFFFFFFFFFFFFF00`	`0xFFFFFFFFFFFFFF00`	=	`—`	`0x0000000000000000`	Δ
2259	`0x0000000000000010`	`0x0000000000010012`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0xFFFFFFFFFFFFFF00`	`0xFFFFFFFFFFFFFF00`	=	`—`	`0x0000000000000000`	Δ
2260	`0x0000000000000040`	`0x0000000000010042`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0xFFFFFFFFFFFFFF00`	`0xFFFFFFFFFFFFFF00`	=	`—`	`0x0000000000000000`	Δ
2261	`0x0000000000000080`	`0x0000000000010082`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF00`	Δ	`0xFFFFFFFFFFFFFF00`	`0xFFFFFFFFFFFFFF00`	=	`—`	`0x0000000000000000`	Δ
2262	`0x0000000000000800`	`0x0000000000010802`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF00`	Δ	`0xFFFFFFFFFFFFFF00`	`0xFFFFFFFFFFFFFF00`	=	`—`	`0x0000000000000000`	Δ
2263	`0x00000000000008D5`	`0x00000000000108D7`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0xFFFFFFFFFFFFFF00`	`0xFFFFFFFFFFFFFF00`	=	`—`	`0x0000000000000000`	Δ
2264	`0x0000000000000000`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0xFFFFFFFFFFFFFF01`	`0xFFFFFFFFFFFFFF01`	=	`—`	`0x0000000000000000`	Δ
2265	`0x0000000000000001`	`0x0000000000010003`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0xFFFFFFFFFFFFFF01`	`0xFFFFFFFFFFFFFF01`	=	`—`	`0x0000000000000000`	Δ
2266	`0x0000000000000004`	`0x0000000000010006`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0xFFFFFFFFFFFFFF01`	`0xFFFFFFFFFFFFFF01`	=	`—`	`0x0000000000000000`	Δ
2267	`0x0000000000000010`	`0x0000000000010012`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0xFFFFFFFFFFFFFF01`	`0xFFFFFFFFFFFFFF01`	=	`—`	`0x0000000000000000`	Δ
2268	`0x0000000000000040`	`0x0000000000010042`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0xFFFFFFFFFFFFFF01`	`0xFFFFFFFFFFFFFF01`	=	`—`	`0x0000000000000000`	Δ
2269	`0x0000000000000080`	`0x0000000000010082`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF01`	Δ	`0xFFFFFFFFFFFFFF01`	`0xFFFFFFFFFFFFFF01`	=	`—`	`0x0000000000000000`	Δ
2270	`0x0000000000000800`	`0x0000000000010802`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF01`	Δ	`0xFFFFFFFFFFFFFF01`	`0xFFFFFFFFFFFFFF01`	=	`—`	`0x0000000000000000`	Δ
2271	`0x00000000000008D5`	`0x00000000000108D7`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0xFFFFFFFFFFFFFF01`	`0xFFFFFFFFFFFFFF01`	=	`—`	`0x0000000000000000`	Δ
2272	`0x0000000000000000`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0xFFFFFFFFFFFFFF02`	`0xFFFFFFFFFFFFFF02`	=	`—`	`0x0000000000000000`	Δ
2273	`0x0000000000000001`	`0x0000000000010003`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0xFFFFFFFFFFFFFF02`	`0xFFFFFFFFFFFFFF02`	=	`—`	`0x0000000000000000`	Δ
2274	`0x0000000000000004`	`0x0000000000010006`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0xFFFFFFFFFFFFFF02`	`0xFFFFFFFFFFFFFF02`	=	`—`	`0x0000000000000000`	Δ
2275	`0x0000000000000010`	`0x0000000000010012`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0xFFFFFFFFFFFFFF02`	`0xFFFFFFFFFFFFFF02`	=	`—`	`0x0000000000000000`	Δ
2276	`0x0000000000000040`	`0x0000000000010042`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0xFFFFFFFFFFFFFF02`	`0xFFFFFFFFFFFFFF02`	=	`—`	`0x0000000000000000`	Δ
2277	`0x0000000000000080`	`0x0000000000010082`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF02`	Δ	`0xFFFFFFFFFFFFFF02`	`0xFFFFFFFFFFFFFF02`	=	`—`	`0x0000000000000000`	Δ
2278	`0x0000000000000800`	`0x0000000000010802`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF02`	Δ	`0xFFFFFFFFFFFFFF02`	`0xFFFFFFFFFFFFFF02`	=	`—`	`0x0000000000000000`	Δ
2279	`0x00000000000008D5`	`0x00000000000108D7`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0xFFFFFFFFFFFFFF02`	`0xFFFFFFFFFFFFFF02`	=	`—`	`0x0000000000000000`	Δ
2280	`0x0000000000000000`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`—`	`0x0000000000000000`	Δ
2281	`0x0000000000000001`	`0x0000000000010003`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`—`	`0x0000000000000000`	Δ
2282	`0x0000000000000004`	`0x0000000000010006`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`—`	`0x0000000000000000`	Δ
2283	`0x0000000000000010`	`0x0000000000010012`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`—`	`0x0000000000000000`	Δ
2284	`0x0000000000000040`	`0x0000000000010042`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`—`	`0x0000000000000000`	Δ
2285	`0x0000000000000080`	`0x0000000000010082`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`—`	`0x0000000000000000`	Δ
2286	`0x0000000000000800`	`0x0000000000010802`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`—`	`0x0000000000000000`	Δ
2287	`0x00000000000008D5`	`0x00000000000108D7`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`—`	`0x0000000000000000`	Δ
2288	`0x0000000000000000`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFFFE`	=	`—`	`0x0000000000000000`	Δ
2289	`0x0000000000000001`	`0x0000000000010003`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFFFE`	=	`—`	`0x0000000000000000`	Δ
2290	`0x0000000000000004`	`0x0000000000010006`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFFFE`	=	`—`	`0x0000000000000000`	Δ
2291	`0x0000000000000010`	`0x0000000000010012`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFFFE`	=	`—`	`0x0000000000000000`	Δ
2292	`0x0000000000000040`	`0x0000000000010042`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFFFE`	=	`—`	`0x0000000000000000`	Δ
2293	`0x0000000000000080`	`0x0000000000010082`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFFFE`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFFFE`	=	`—`	`0x0000000000000000`	Δ
2294	`0x0000000000000800`	`0x0000000000010802`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFFFE`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFFFE`	=	`—`	`0x0000000000000000`	Δ
2295	`0x00000000000008D5`	`0x00000000000108D7`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFFFE`	=	`—`	`0x0000000000000000`	Δ
2296	`0x0000000000000000`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`—`	`0x0000000000000000`	Δ
2297	`0x0000000000000001`	`0x0000000000010003`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`—`	`0x0000000000000000`	Δ
2298	`0x0000000000000004`	`0x0000000000010006`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`—`	`0x0000000000000000`	Δ
2299	`0x0000000000000010`	`0x0000000000010012`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`—`	`0x0000000000000000`	Δ