cmpxchg8b qword ptr [r8 + 0x0]

Opcode: 410fc708

Instruction: CMPXCHG8B
Undefined flags: none

Total states: 648
State # flag mem0_value r8 rax rbx rcx rdx
InitialFinalΔ InitialFinalΔ InitialFinalΔ InitialFinalΔ InitialFinalΔ InitialFinalΔ InitialFinalΔ
50 0x0000000000000004 0x0000000000010006 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000000 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000000 0x0000000000000000 =
51 0x0000000000000010 0x0000000000010012 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000000 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000000 0x0000000000000000 =
52 0x0000000000000040 0x0000000000010002 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000000 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000000 0x0000000000000000 =
53 0x0000000000000080 0x0000000000010082 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000000 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000000 0x0000000000000000 =
54 0x0000000000000800 0x0000000000010802 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000000 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000000 0x0000000000000000 =
55 0x00000000000008D5 0x0000000000010897 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000000 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000000 0x0000000000000000 =
56 0x0000000000000000 0x0000000000010002 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000000 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000001 0x0000000000000000 Δ
57 0x0000000000000001 0x0000000000010003 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000000 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000001 0x0000000000000000 Δ
58 0x0000000000000004 0x0000000000010006 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000000 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000001 0x0000000000000000 Δ
59 0x0000000000000010 0x0000000000010012 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000000 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000001 0x0000000000000000 Δ
60 0x0000000000000040 0x0000000000010002 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000000 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000001 0x0000000000000000 Δ
61 0x0000000000000080 0x0000000000010082 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000000 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000001 0x0000000000000000 Δ
62 0x0000000000000800 0x0000000000010802 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000000 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000001 0x0000000000000000 Δ
63 0x00000000000008D5 0x0000000000010897 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000000 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000001 0x0000000000000000 Δ
64 0x0000000000000000 0x0000000000010002 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000000 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0xFFFFFFFFFFFFFFFF 0x0000000000000000 Δ
65 0x0000000000000001 0x0000000000010003 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000000 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0xFFFFFFFFFFFFFFFF 0x0000000000000000 Δ
66 0x0000000000000004 0x0000000000010006 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000000 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0xFFFFFFFFFFFFFFFF 0x0000000000000000 Δ
67 0x0000000000000010 0x0000000000010012 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000000 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0xFFFFFFFFFFFFFFFF 0x0000000000000000 Δ
68 0x0000000000000040 0x0000000000010002 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000000 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0xFFFFFFFFFFFFFFFF 0x0000000000000000 Δ
69 0x0000000000000080 0x0000000000010082 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000000 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0xFFFFFFFFFFFFFFFF 0x0000000000000000 Δ
70 0x0000000000000800 0x0000000000010802 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000000 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0xFFFFFFFFFFFFFFFF 0x0000000000000000 Δ
71 0x00000000000008D5 0x0000000000010897 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000000 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0xFFFFFFFFFFFFFFFF 0x0000000000000000 Δ
72 0x0000000000000000 0x0000000000010002 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000000 0x0000000000000001 Δ 0x0000000000000001 0x0000000000000001 = 0x0000000000000000 0x0000000000000000 = 0x0000000000000000 0x0000000000000000 =
73 0x0000000000000001 0x0000000000010003 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000000 0x0000000000000001 Δ 0x0000000000000001 0x0000000000000001 = 0x0000000000000000 0x0000000000000000 = 0x0000000000000000 0x0000000000000000 =
74 0x0000000000000004 0x0000000000010006 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000000 0x0000000000000001 Δ 0x0000000000000001 0x0000000000000001 = 0x0000000000000000 0x0000000000000000 = 0x0000000000000000 0x0000000000000000 =
75 0x0000000000000010 0x0000000000010012 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000000 0x0000000000000001 Δ 0x0000000000000001 0x0000000000000001 = 0x0000000000000000 0x0000000000000000 = 0x0000000000000000 0x0000000000000000 =
76 0x0000000000000040 0x0000000000010002 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000000 0x0000000000000001 Δ 0x0000000000000001 0x0000000000000001 = 0x0000000000000000 0x0000000000000000 = 0x0000000000000000 0x0000000000000000 =
77 0x0000000000000080 0x0000000000010082 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000000 0x0000000000000001 Δ 0x0000000000000001 0x0000000000000001 = 0x0000000000000000 0x0000000000000000 = 0x0000000000000000 0x0000000000000000 =
78 0x0000000000000800 0x0000000000010802 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000000 0x0000000000000001 Δ 0x0000000000000001 0x0000000000000001 = 0x0000000000000000 0x0000000000000000 = 0x0000000000000000 0x0000000000000000 =
79 0x00000000000008D5 0x0000000000010897 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000000 0x0000000000000001 Δ 0x0000000000000001 0x0000000000000001 = 0x0000000000000000 0x0000000000000000 = 0x0000000000000000 0x0000000000000000 =
80 0x0000000000000000 0x0000000000010002 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000000 0x0000000000000001 Δ 0x0000000000000001 0x0000000000000001 = 0x0000000000000000 0x0000000000000000 = 0x0000000000000001 0x0000000000000000 Δ
81 0x0000000000000001 0x0000000000010003 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000000 0x0000000000000001 Δ 0x0000000000000001 0x0000000000000001 = 0x0000000000000000 0x0000000000000000 = 0x0000000000000001 0x0000000000000000 Δ
82 0x0000000000000004 0x0000000000010006 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000000 0x0000000000000001 Δ 0x0000000000000001 0x0000000000000001 = 0x0000000000000000 0x0000000000000000 = 0x0000000000000001 0x0000000000000000 Δ
83 0x0000000000000010 0x0000000000010012 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000000 0x0000000000000001 Δ 0x0000000000000001 0x0000000000000001 = 0x0000000000000000 0x0000000000000000 = 0x0000000000000001 0x0000000000000000 Δ
84 0x0000000000000040 0x0000000000010002 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000000 0x0000000000000001 Δ 0x0000000000000001 0x0000000000000001 = 0x0000000000000000 0x0000000000000000 = 0x0000000000000001 0x0000000000000000 Δ
85 0x0000000000000080 0x0000000000010082 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000000 0x0000000000000001 Δ 0x0000000000000001 0x0000000000000001 = 0x0000000000000000 0x0000000000000000 = 0x0000000000000001 0x0000000000000000 Δ
86 0x0000000000000800 0x0000000000010802 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000000 0x0000000000000001 Δ 0x0000000000000001 0x0000000000000001 = 0x0000000000000000 0x0000000000000000 = 0x0000000000000001 0x0000000000000000 Δ
87 0x00000000000008D5 0x0000000000010897 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000000 0x0000000000000001 Δ 0x0000000000000001 0x0000000000000001 = 0x0000000000000000 0x0000000000000000 = 0x0000000000000001 0x0000000000000000 Δ
88 0x0000000000000000 0x0000000000010002 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000000 0x0000000000000001 Δ 0x0000000000000001 0x0000000000000001 = 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFFFF 0x0000000000000000 Δ
89 0x0000000000000001 0x0000000000010003 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000000 0x0000000000000001 Δ 0x0000000000000001 0x0000000000000001 = 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFFFF 0x0000000000000000 Δ
90 0x0000000000000004 0x0000000000010006 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000000 0x0000000000000001 Δ 0x0000000000000001 0x0000000000000001 = 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFFFF 0x0000000000000000 Δ
91 0x0000000000000010 0x0000000000010012 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000000 0x0000000000000001 Δ 0x0000000000000001 0x0000000000000001 = 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFFFF 0x0000000000000000 Δ
92 0x0000000000000040 0x0000000000010002 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000000 0x0000000000000001 Δ 0x0000000000000001 0x0000000000000001 = 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFFFF 0x0000000000000000 Δ
93 0x0000000000000080 0x0000000000010082 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000000 0x0000000000000001 Δ 0x0000000000000001 0x0000000000000001 = 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFFFF 0x0000000000000000 Δ
94 0x0000000000000800 0x0000000000010802 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000000 0x0000000000000001 Δ 0x0000000000000001 0x0000000000000001 = 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFFFF 0x0000000000000000 Δ
95 0x00000000000008D5 0x0000000000010897 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000000 0x0000000000000001 Δ 0x0000000000000001 0x0000000000000001 = 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFFFF 0x0000000000000000 Δ
96 0x0000000000000000 0x0000000000010002 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000000 0x0000000000000001 Δ 0x0000000000000001 0x0000000000000001 = 0x0000000000000001 0x0000000000000001 = 0x0000000000000000 0x0000000000000000 =
97 0x0000000000000001 0x0000000000010003 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000000 0x0000000000000001 Δ 0x0000000000000001 0x0000000000000001 = 0x0000000000000001 0x0000000000000001 = 0x0000000000000000 0x0000000000000000 =
98 0x0000000000000004 0x0000000000010006 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000000 0x0000000000000001 Δ 0x0000000000000001 0x0000000000000001 = 0x0000000000000001 0x0000000000000001 = 0x0000000000000000 0x0000000000000000 =
99 0x0000000000000010 0x0000000000010012 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000000 0x0000000000000001 Δ 0x0000000000000001 0x0000000000000001 = 0x0000000000000001 0x0000000000000001 = 0x0000000000000000 0x0000000000000000 =
← Prev Page 2 of 13 Next →