cmovo rax, qword ptr [r8 + 0x0]

Opcode: 490f4000

Instruction: CMOVO
Undefined flags: none

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