cmpxchg16b xmmword ptr [r8 + r9 * 1 + 0x0]

Opcode: 4b0fc70c08

Instruction: CMPXCHG16B
Undefined flags: none

Total states: 648
State # flag mem0_value r8 r9 rax rbx rcx rdx
InitialFinalΔ InitialFinalΔ InitialFinalΔ InitialFinalΔ InitialFinalΔ InitialFinalΔ InitialFinalΔ InitialFinalΔ
450 0x0000000000000004 0x0000000000010006 Δ 0x0000000000000001 0x0000000000000001 = 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFF 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFFFF 0xC000000000000000 Δ
451 0x0000000000000010 0x0000000000010012 Δ 0x0000000000000001 0x0000000000000001 = 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFF 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFFFF 0xC000000000000000 Δ
452 0x0000000000000040 0x0000000000010002 Δ 0x0000000000000001 0x0000000000000001 = 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFF 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFFFF 0xC000000000000000 Δ
453 0x0000000000000080 0x0000000000010082 Δ 0x0000000000000001 0x0000000000000001 = 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFF 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFFFF 0xC000000000000000 Δ
454 0x0000000000000800 0x0000000000010802 Δ 0x0000000000000001 0x0000000000000001 = 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFF 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFFFF 0xC000000000000000 Δ
455 0x00000000000008D5 0x0000000000010897 Δ 0x0000000000000001 0x0000000000000001 = 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFF 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFFFF 0xC000000000000000 Δ
456 0x0000000000000000 0x0000000000010002 Δ 0x0000000000000001 0x0000000000000001 = 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFF 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0x0000000000000001 0x0000000000000001 = 0x0000000000000000 0xC000000000000000 Δ
457 0x0000000000000001 0x0000000000010003 Δ 0x0000000000000001 0x0000000000000001 = 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFF 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0x0000000000000001 0x0000000000000001 = 0x0000000000000000 0xC000000000000000 Δ
458 0x0000000000000004 0x0000000000010006 Δ 0x0000000000000001 0x0000000000000001 = 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFF 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0x0000000000000001 0x0000000000000001 = 0x0000000000000000 0xC000000000000000 Δ
459 0x0000000000000010 0x0000000000010012 Δ 0x0000000000000001 0x0000000000000001 = 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFF 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0x0000000000000001 0x0000000000000001 = 0x0000000000000000 0xC000000000000000 Δ
460 0x0000000000000040 0x0000000000010002 Δ 0x0000000000000001 0x0000000000000001 = 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFF 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0x0000000000000001 0x0000000000000001 = 0x0000000000000000 0xC000000000000000 Δ
461 0x0000000000000080 0x0000000000010082 Δ 0x0000000000000001 0x0000000000000001 = 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFF 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0x0000000000000001 0x0000000000000001 = 0x0000000000000000 0xC000000000000000 Δ
462 0x0000000000000800 0x0000000000010802 Δ 0x0000000000000001 0x0000000000000001 = 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFF 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0x0000000000000001 0x0000000000000001 = 0x0000000000000000 0xC000000000000000 Δ
463 0x00000000000008D5 0x0000000000010897 Δ 0x0000000000000001 0x0000000000000001 = 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFF 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0x0000000000000001 0x0000000000000001 = 0x0000000000000000 0xC000000000000000 Δ
464 0x0000000000000000 0x0000000000010002 Δ 0x0000000000000001 0x0000000000000001 = 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFF 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0x0000000000000001 0x0000000000000001 = 0x0000000000000001 0xC000000000000000 Δ
465 0x0000000000000001 0x0000000000010003 Δ 0x0000000000000001 0x0000000000000001 = 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFF 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0x0000000000000001 0x0000000000000001 = 0x0000000000000001 0xC000000000000000 Δ
466 0x0000000000000004 0x0000000000010006 Δ 0x0000000000000001 0x0000000000000001 = 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFF 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0x0000000000000001 0x0000000000000001 = 0x0000000000000001 0xC000000000000000 Δ
467 0x0000000000000010 0x0000000000010012 Δ 0x0000000000000001 0x0000000000000001 = 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFF 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0x0000000000000001 0x0000000000000001 = 0x0000000000000001 0xC000000000000000 Δ
468 0x0000000000000040 0x0000000000010002 Δ 0x0000000000000001 0x0000000000000001 = 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFF 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0x0000000000000001 0x0000000000000001 = 0x0000000000000001 0xC000000000000000 Δ
469 0x0000000000000080 0x0000000000010082 Δ 0x0000000000000001 0x0000000000000001 = 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFF 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0x0000000000000001 0x0000000000000001 = 0x0000000000000001 0xC000000000000000 Δ
470 0x0000000000000800 0x0000000000010802 Δ 0x0000000000000001 0x0000000000000001 = 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFF 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0x0000000000000001 0x0000000000000001 = 0x0000000000000001 0xC000000000000000 Δ
471 0x00000000000008D5 0x0000000000010897 Δ 0x0000000000000001 0x0000000000000001 = 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFF 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0x0000000000000001 0x0000000000000001 = 0x0000000000000001 0xC000000000000000 Δ
472 0x0000000000000000 0x0000000000010002 Δ 0x0000000000000001 0x0000000000000001 = 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFF 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0x0000000000000001 0x0000000000000001 = 0xFFFFFFFFFFFFFFFF 0xC000000000000000 Δ
473 0x0000000000000001 0x0000000000010003 Δ 0x0000000000000001 0x0000000000000001 = 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFF 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0x0000000000000001 0x0000000000000001 = 0xFFFFFFFFFFFFFFFF 0xC000000000000000 Δ
474 0x0000000000000004 0x0000000000010006 Δ 0x0000000000000001 0x0000000000000001 = 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFF 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0x0000000000000001 0x0000000000000001 = 0xFFFFFFFFFFFFFFFF 0xC000000000000000 Δ
475 0x0000000000000010 0x0000000000010012 Δ 0x0000000000000001 0x0000000000000001 = 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFF 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0x0000000000000001 0x0000000000000001 = 0xFFFFFFFFFFFFFFFF 0xC000000000000000 Δ
476 0x0000000000000040 0x0000000000010002 Δ 0x0000000000000001 0x0000000000000001 = 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFF 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0x0000000000000001 0x0000000000000001 = 0xFFFFFFFFFFFFFFFF 0xC000000000000000 Δ
477 0x0000000000000080 0x0000000000010082 Δ 0x0000000000000001 0x0000000000000001 = 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFF 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0x0000000000000001 0x0000000000000001 = 0xFFFFFFFFFFFFFFFF 0xC000000000000000 Δ
478 0x0000000000000800 0x0000000000010802 Δ 0x0000000000000001 0x0000000000000001 = 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFF 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0x0000000000000001 0x0000000000000001 = 0xFFFFFFFFFFFFFFFF 0xC000000000000000 Δ
479 0x00000000000008D5 0x0000000000010897 Δ 0x0000000000000001 0x0000000000000001 = 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFF 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0x0000000000000001 0x0000000000000001 = 0xFFFFFFFFFFFFFFFF 0xC000000000000000 Δ
480 0x0000000000000000 0x0000000000010002 Δ 0x0000000000000001 0x0000000000000001 = 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFF 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000000 0xC000000000000000 Δ
481 0x0000000000000001 0x0000000000010003 Δ 0x0000000000000001 0x0000000000000001 = 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFF 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000000 0xC000000000000000 Δ
482 0x0000000000000004 0x0000000000010006 Δ 0x0000000000000001 0x0000000000000001 = 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFF 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000000 0xC000000000000000 Δ
483 0x0000000000000010 0x0000000000010012 Δ 0x0000000000000001 0x0000000000000001 = 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFF 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000000 0xC000000000000000 Δ
484 0x0000000000000040 0x0000000000010002 Δ 0x0000000000000001 0x0000000000000001 = 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFF 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000000 0xC000000000000000 Δ
485 0x0000000000000080 0x0000000000010082 Δ 0x0000000000000001 0x0000000000000001 = 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFF 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000000 0xC000000000000000 Δ
486 0x0000000000000800 0x0000000000010802 Δ 0x0000000000000001 0x0000000000000001 = 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFF 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000000 0xC000000000000000 Δ
487 0x00000000000008D5 0x0000000000010897 Δ 0x0000000000000001 0x0000000000000001 = 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFF 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000000 0xC000000000000000 Δ
488 0x0000000000000000 0x0000000000010002 Δ 0x0000000000000001 0x0000000000000001 = 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFF 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000001 0xC000000000000000 Δ
489 0x0000000000000001 0x0000000000010003 Δ 0x0000000000000001 0x0000000000000001 = 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFF 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000001 0xC000000000000000 Δ
490 0x0000000000000004 0x0000000000010006 Δ 0x0000000000000001 0x0000000000000001 = 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFF 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000001 0xC000000000000000 Δ
491 0x0000000000000010 0x0000000000010012 Δ 0x0000000000000001 0x0000000000000001 = 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFF 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000001 0xC000000000000000 Δ
492 0x0000000000000040 0x0000000000010002 Δ 0x0000000000000001 0x0000000000000001 = 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFF 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000001 0xC000000000000000 Δ
493 0x0000000000000080 0x0000000000010082 Δ 0x0000000000000001 0x0000000000000001 = 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFF 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000001 0xC000000000000000 Δ
494 0x0000000000000800 0x0000000000010802 Δ 0x0000000000000001 0x0000000000000001 = 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFF 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000001 0xC000000000000000 Δ
495 0x00000000000008D5 0x0000000000010897 Δ 0x0000000000000001 0x0000000000000001 = 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFF 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000001 0xC000000000000000 Δ
496 0x0000000000000000 0x0000000000010002 Δ 0x0000000000000001 0x0000000000000001 = 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFF 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0xFFFFFFFFFFFFFFFF 0xC000000000000000 Δ
497 0x0000000000000001 0x0000000000010003 Δ 0x0000000000000001 0x0000000000000001 = 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFF 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0xFFFFFFFFFFFFFFFF 0xC000000000000000 Δ
498 0x0000000000000004 0x0000000000010006 Δ 0x0000000000000001 0x0000000000000001 = 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFF 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0xFFFFFFFFFFFFFFFF 0xC000000000000000 Δ
499 0x0000000000000010 0x0000000000010012 Δ 0x0000000000000001 0x0000000000000001 = 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFF 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0xFFFFFFFFFFFFFFFF 0xC000000000000000 Δ
← Prev Page 10 of 13 Next →