cmovnge ax, bx

Opcode: 660f4cc3

Instruction: CMOVNGE
Undefined flags: none

Total states: 2,592
State # flag rax rbx rdx
InitialFinalΔ InitialFinalΔ InitialFinalΔ InitialFinalΔ
2350 0x0000000000000800 0x0000000000010802 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFF007F Δ 0x000000000000007F 0x000000000000007F = 0x0000000000000000 Δ
2351 0x00000000000008D5 0x00000000000108D7 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x000000000000007F 0x000000000000007F = 0x0000000000000000 Δ
2352 0x0000000000000000 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x0000000000000080 0x0000000000000080 = 0x0000000000000000 Δ
2353 0x0000000000000001 0x0000000000010003 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x0000000000000080 0x0000000000000080 = 0x0000000000000000 Δ
2354 0x0000000000000004 0x0000000000010006 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x0000000000000080 0x0000000000000080 = 0x0000000000000000 Δ
2355 0x0000000000000010 0x0000000000010012 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x0000000000000080 0x0000000000000080 = 0x0000000000000000 Δ
2356 0x0000000000000040 0x0000000000010042 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x0000000000000080 0x0000000000000080 = 0x0000000000000000 Δ
2357 0x0000000000000080 0x0000000000010082 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFF0080 Δ 0x0000000000000080 0x0000000000000080 = 0x0000000000000000 Δ
2358 0x0000000000000800 0x0000000000010802 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFF0080 Δ 0x0000000000000080 0x0000000000000080 = 0x0000000000000000 Δ
2359 0x00000000000008D5 0x00000000000108D7 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x0000000000000080 0x0000000000000080 = 0x0000000000000000 Δ
2360 0x0000000000000000 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x0000000000000081 0x0000000000000081 = 0x0000000000000000 Δ
2361 0x0000000000000001 0x0000000000010003 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x0000000000000081 0x0000000000000081 = 0x0000000000000000 Δ
2362 0x0000000000000004 0x0000000000010006 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x0000000000000081 0x0000000000000081 = 0x0000000000000000 Δ
2363 0x0000000000000010 0x0000000000010012 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x0000000000000081 0x0000000000000081 = 0x0000000000000000 Δ
2364 0x0000000000000040 0x0000000000010042 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x0000000000000081 0x0000000000000081 = 0x0000000000000000 Δ
2365 0x0000000000000080 0x0000000000010082 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFF0081 Δ 0x0000000000000081 0x0000000000000081 = 0x0000000000000000 Δ
2366 0x0000000000000800 0x0000000000010802 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFF0081 Δ 0x0000000000000081 0x0000000000000081 = 0x0000000000000000 Δ
2367 0x00000000000008D5 0x00000000000108D7 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x0000000000000081 0x0000000000000081 = 0x0000000000000000 Δ
2368 0x0000000000000000 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x0000000000000082 0x0000000000000082 = 0x0000000000000000 Δ
2369 0x0000000000000001 0x0000000000010003 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x0000000000000082 0x0000000000000082 = 0x0000000000000000 Δ
2370 0x0000000000000004 0x0000000000010006 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x0000000000000082 0x0000000000000082 = 0x0000000000000000 Δ
2371 0x0000000000000010 0x0000000000010012 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x0000000000000082 0x0000000000000082 = 0x0000000000000000 Δ
2372 0x0000000000000040 0x0000000000010042 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x0000000000000082 0x0000000000000082 = 0x0000000000000000 Δ
2373 0x0000000000000080 0x0000000000010082 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFF0082 Δ 0x0000000000000082 0x0000000000000082 = 0x0000000000000000 Δ
2374 0x0000000000000800 0x0000000000010802 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFF0082 Δ 0x0000000000000082 0x0000000000000082 = 0x0000000000000000 Δ
2375 0x00000000000008D5 0x00000000000108D7 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x0000000000000082 0x0000000000000082 = 0x0000000000000000 Δ
2376 0x0000000000000000 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00000000000000FD 0x00000000000000FD = 0x0000000000000000 Δ
2377 0x0000000000000001 0x0000000000010003 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00000000000000FD 0x00000000000000FD = 0x0000000000000000 Δ
2378 0x0000000000000004 0x0000000000010006 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00000000000000FD 0x00000000000000FD = 0x0000000000000000 Δ
2379 0x0000000000000010 0x0000000000010012 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00000000000000FD 0x00000000000000FD = 0x0000000000000000 Δ
2380 0x0000000000000040 0x0000000000010042 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00000000000000FD 0x00000000000000FD = 0x0000000000000000 Δ
2381 0x0000000000000080 0x0000000000010082 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFF00FD Δ 0x00000000000000FD 0x00000000000000FD = 0x0000000000000000 Δ
2382 0x0000000000000800 0x0000000000010802 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFF00FD Δ 0x00000000000000FD 0x00000000000000FD = 0x0000000000000000 Δ
2383 0x00000000000008D5 0x00000000000108D7 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00000000000000FD 0x00000000000000FD = 0x0000000000000000 Δ
2384 0x0000000000000000 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00000000000000FE 0x00000000000000FE = 0x0000000000000000 Δ
2385 0x0000000000000001 0x0000000000010003 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00000000000000FE 0x00000000000000FE = 0x0000000000000000 Δ
2386 0x0000000000000004 0x0000000000010006 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00000000000000FE 0x00000000000000FE = 0x0000000000000000 Δ
2387 0x0000000000000010 0x0000000000010012 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00000000000000FE 0x00000000000000FE = 0x0000000000000000 Δ
2388 0x0000000000000040 0x0000000000010042 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00000000000000FE 0x00000000000000FE = 0x0000000000000000 Δ
2389 0x0000000000000080 0x0000000000010082 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFF00FE Δ 0x00000000000000FE 0x00000000000000FE = 0x0000000000000000 Δ
2390 0x0000000000000800 0x0000000000010802 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFF00FE Δ 0x00000000000000FE 0x00000000000000FE = 0x0000000000000000 Δ
2391 0x00000000000008D5 0x00000000000108D7 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00000000000000FE 0x00000000000000FE = 0x0000000000000000 Δ
2392 0x0000000000000000 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00000000000000FF 0x00000000000000FF = 0x0000000000000000 Δ
2393 0x0000000000000001 0x0000000000010003 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00000000000000FF 0x00000000000000FF = 0x0000000000000000 Δ
2394 0x0000000000000004 0x0000000000010006 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00000000000000FF 0x00000000000000FF = 0x0000000000000000 Δ
2395 0x0000000000000010 0x0000000000010012 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00000000000000FF 0x00000000000000FF = 0x0000000000000000 Δ
2396 0x0000000000000040 0x0000000000010042 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00000000000000FF 0x00000000000000FF = 0x0000000000000000 Δ
2397 0x0000000000000080 0x0000000000010082 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFF00FF Δ 0x00000000000000FF 0x00000000000000FF = 0x0000000000000000 Δ
2398 0x0000000000000800 0x0000000000010802 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFF00FF Δ 0x00000000000000FF 0x00000000000000FF = 0x0000000000000000 Δ
2399 0x00000000000008D5 0x00000000000108D7 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00000000000000FF 0x00000000000000FF = 0x0000000000000000 Δ
← Prev Page 48 of 52 Next →