cmovna ax, word ptr [r8 - 0x20]

Opcode: 66410f4640e0

Instruction: CMOVNA
Undefined flags: none

Total states: 432
State # flag mem0_value r8 rax
InitialFinalΔ InitialFinalΔ InitialFinalΔ InitialFinalΔ
350 0x0000000000000800 0x0000000000010802 Δ 0x00000000000000FE 0x00000000000000FE = 0x0000666666010120 0x0000666666010120 = 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
351 0x00000000000008D5 0x00000000000108D7 Δ 0x00000000000000FE 0x00000000000000FE = 0x0000666666010120 0x0000666666010120 = 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFF00FE Δ
352 0x0000000000000000 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000666666010120 0x0000666666010120 = 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
353 0x0000000000000001 0x0000000000010003 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000666666010120 0x0000666666010120 = 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFFFF Δ
354 0x0000000000000004 0x0000000000010006 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000666666010120 0x0000666666010120 = 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
355 0x0000000000000010 0x0000000000010012 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000666666010120 0x0000666666010120 = 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
356 0x0000000000000040 0x0000000000010042 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000666666010120 0x0000666666010120 = 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFFFF Δ
357 0x0000000000000080 0x0000000000010082 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000666666010120 0x0000666666010120 = 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
358 0x0000000000000800 0x0000000000010802 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000666666010120 0x0000666666010120 = 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
359 0x00000000000008D5 0x00000000000108D7 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000666666010120 0x0000666666010120 = 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFFFF Δ
360 0x0000000000000000 0x0000000000010002 Δ 0x0000000000000003 0x0000000000000003 = 0x0000666666010120 0x0000666666010120 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
361 0x0000000000000001 0x0000000000010003 Δ 0x0000000000000003 0x0000000000000003 = 0x0000666666010120 0x0000666666010120 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFF0003 Δ
362 0x0000000000000004 0x0000000000010006 Δ 0x0000000000000003 0x0000000000000003 = 0x0000666666010120 0x0000666666010120 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
363 0x0000000000000010 0x0000000000010012 Δ 0x0000000000000003 0x0000000000000003 = 0x0000666666010120 0x0000666666010120 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
364 0x0000000000000040 0x0000000000010042 Δ 0x0000000000000003 0x0000000000000003 = 0x0000666666010120 0x0000666666010120 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFF0003 Δ
365 0x0000000000000080 0x0000000000010082 Δ 0x0000000000000003 0x0000000000000003 = 0x0000666666010120 0x0000666666010120 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
366 0x0000000000000800 0x0000000000010802 Δ 0x0000000000000003 0x0000000000000003 = 0x0000666666010120 0x0000666666010120 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
367 0x00000000000008D5 0x00000000000108D7 Δ 0x0000000000000003 0x0000000000000003 = 0x0000666666010120 0x0000666666010120 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFF0003 Δ
368 0x0000000000000000 0x0000000000010002 Δ 0x00000000000000FE 0x00000000000000FE = 0x0000666666010120 0x0000666666010120 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
369 0x0000000000000001 0x0000000000010003 Δ 0x00000000000000FE 0x00000000000000FE = 0x0000666666010120 0x0000666666010120 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFF00FE Δ
370 0x0000000000000004 0x0000000000010006 Δ 0x00000000000000FE 0x00000000000000FE = 0x0000666666010120 0x0000666666010120 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
371 0x0000000000000010 0x0000000000010012 Δ 0x00000000000000FE 0x00000000000000FE = 0x0000666666010120 0x0000666666010120 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
372 0x0000000000000040 0x0000000000010042 Δ 0x00000000000000FE 0x00000000000000FE = 0x0000666666010120 0x0000666666010120 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFF00FE Δ
373 0x0000000000000080 0x0000000000010082 Δ 0x00000000000000FE 0x00000000000000FE = 0x0000666666010120 0x0000666666010120 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
374 0x0000000000000800 0x0000000000010802 Δ 0x00000000000000FE 0x00000000000000FE = 0x0000666666010120 0x0000666666010120 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
375 0x00000000000008D5 0x00000000000108D7 Δ 0x00000000000000FE 0x00000000000000FE = 0x0000666666010120 0x0000666666010120 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFF00FE Δ
376 0x0000000000000000 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000666666010120 0x0000666666010120 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
377 0x0000000000000001 0x0000000000010003 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000666666010120 0x0000666666010120 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFFFF Δ
378 0x0000000000000004 0x0000000000010006 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000666666010120 0x0000666666010120 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
379 0x0000000000000010 0x0000000000010012 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000666666010120 0x0000666666010120 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
380 0x0000000000000040 0x0000000000010042 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000666666010120 0x0000666666010120 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFFFF Δ
381 0x0000000000000080 0x0000000000010082 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000666666010120 0x0000666666010120 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
382 0x0000000000000800 0x0000000000010802 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000666666010120 0x0000666666010120 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
383 0x00000000000008D5 0x00000000000108D7 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000666666010120 0x0000666666010120 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFFFF Δ
384 0x0000000000000000 0x0000000000010002 Δ 0x0000000000000003 0x0000000000000003 = 0x0000666666010120 0x0000666666010120 = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
385 0x0000000000000001 0x0000000000010003 Δ 0x0000000000000003 0x0000000000000003 = 0x0000666666010120 0x0000666666010120 = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFF0003 Δ
386 0x0000000000000004 0x0000000000010006 Δ 0x0000000000000003 0x0000000000000003 = 0x0000666666010120 0x0000666666010120 = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
387 0x0000000000000010 0x0000000000010012 Δ 0x0000000000000003 0x0000000000000003 = 0x0000666666010120 0x0000666666010120 = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
388 0x0000000000000040 0x0000000000010042 Δ 0x0000000000000003 0x0000000000000003 = 0x0000666666010120 0x0000666666010120 = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFF0003 Δ
389 0x0000000000000080 0x0000000000010082 Δ 0x0000000000000003 0x0000000000000003 = 0x0000666666010120 0x0000666666010120 = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
390 0x0000000000000800 0x0000000000010802 Δ 0x0000000000000003 0x0000000000000003 = 0x0000666666010120 0x0000666666010120 = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
391 0x00000000000008D5 0x00000000000108D7 Δ 0x0000000000000003 0x0000000000000003 = 0x0000666666010120 0x0000666666010120 = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFF0003 Δ
392 0x0000000000000000 0x0000000000010002 Δ 0x00000000000000FE 0x00000000000000FE = 0x0000666666010120 0x0000666666010120 = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
393 0x0000000000000001 0x0000000000010003 Δ 0x00000000000000FE 0x00000000000000FE = 0x0000666666010120 0x0000666666010120 = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFF00FE Δ
394 0x0000000000000004 0x0000000000010006 Δ 0x00000000000000FE 0x00000000000000FE = 0x0000666666010120 0x0000666666010120 = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
395 0x0000000000000010 0x0000000000010012 Δ 0x00000000000000FE 0x00000000000000FE = 0x0000666666010120 0x0000666666010120 = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
396 0x0000000000000040 0x0000000000010042 Δ 0x00000000000000FE 0x00000000000000FE = 0x0000666666010120 0x0000666666010120 = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFF00FE Δ
397 0x0000000000000080 0x0000000000010082 Δ 0x00000000000000FE 0x00000000000000FE = 0x0000666666010120 0x0000666666010120 = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
398 0x0000000000000800 0x0000000000010802 Δ 0x00000000000000FE 0x00000000000000FE = 0x0000666666010120 0x0000666666010120 = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
399 0x00000000000008D5 0x00000000000108D7 Δ 0x00000000000000FE 0x00000000000000FE = 0x0000666666010120 0x0000666666010120 = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFF00FE Δ
← Prev Page 8 of 9 Next →