shlx eax, dword ptr [r8 + 0x0], ecx

Opcode: c4c271f700

Instruction: SHLX
Undefined flags: none

Total states: 972
State # flag mem0_value r8 rax rcx
InitialFinalΔ InitialFinalΔ InitialFinalΔ InitialFinalΔ InitialFinalΔ
450 — 0x0000000000010002 Δ 0x0000000000000082 0x0000000000000082 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000082 0x0000000000000082 = 0x0000000000000000 0x0000000000000000 =
451 — 0x0000000000010002 Δ 0x0000000000000082 0x0000000000000082 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000082 0x0000000000000104 Δ 0x0000000000000001 0x0000000000000001 =
452 — 0x0000000000010002 Δ 0x0000000000000082 0x0000000000000082 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000082 0x0000000000000208 Δ 0x0000000000000002 0x0000000000000002 =
453 — 0x0000000000010002 Δ 0x0000000000000082 0x0000000000000082 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000082 0x0000000000000410 Δ 0x0000000000000003 0x0000000000000003 =
454 — 0x0000000000010002 Δ 0x0000000000000082 0x0000000000000082 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000082 0x0000000080000000 Δ 0x000000000000007E 0x000000000000007E =
455 — 0x0000000000010002 Δ 0x0000000000000082 0x0000000000000082 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000082 0x0000000000000000 Δ 0x000000000000007F 0x000000000000007F =
456 — 0x0000000000010002 Δ 0x0000000000000082 0x0000000000000082 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000082 0x0000000000000082 = 0x0000000000000080 0x0000000000000080 =
457 — 0x0000000000010002 Δ 0x0000000000000082 0x0000000000000082 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000082 0x0000000000000104 Δ 0x0000000000000081 0x0000000000000081 =
458 — 0x0000000000010002 Δ 0x0000000000000082 0x0000000000000082 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000082 0x0000000000000208 Δ 0x0000000000000082 0x0000000000000082 =
459 — 0x0000000000010002 Δ 0x0000000000000082 0x0000000000000082 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000082 0x0000000040000000 Δ 0x00000000000000FD 0x00000000000000FD =
460 — 0x0000000000010002 Δ 0x0000000000000082 0x0000000000000082 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000082 0x0000000080000000 Δ 0x00000000000000FE 0x00000000000000FE =
461 — 0x0000000000010002 Δ 0x0000000000000082 0x0000000000000082 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000082 0x0000000000000000 Δ 0x00000000000000FF 0x00000000000000FF =
462 — 0x0000000000010002 Δ 0x0000000000000082 0x0000000000000082 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000082 0x0000000000000082 = 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 =
463 — 0x0000000000010002 Δ 0x0000000000000082 0x0000000000000082 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000082 0x0000000000000104 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 =
464 — 0x0000000000010002 Δ 0x0000000000000082 0x0000000000000082 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000082 0x0000000000000208 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
465 — 0x0000000000010002 Δ 0x0000000000000082 0x0000000000000082 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000082 0x0000000000000082 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
466 — 0x0000000000010002 Δ 0x0000000000000082 0x0000000000000082 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000082 0x0000000080000000 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
467 — 0x0000000000010002 Δ 0x0000000000000082 0x0000000000000082 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000082 0x0000000000000000 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
468 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000082 0x00000000FFFFFF80 Δ 0x0000000000000000 0x0000000000000000 =
469 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000082 0x00000000FFFFFF00 Δ 0x0000000000000001 0x0000000000000001 =
470 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000082 0x00000000FFFFFE00 Δ 0x0000000000000002 0x0000000000000002 =
471 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000082 0x00000000FFFFFC00 Δ 0x0000000000000003 0x0000000000000003 =
472 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000082 0x0000000000000000 Δ 0x000000000000007E 0x000000000000007E =
473 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000082 0x0000000000000000 Δ 0x000000000000007F 0x000000000000007F =
474 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000082 0x00000000FFFFFF80 Δ 0x0000000000000080 0x0000000000000080 =
475 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000082 0x00000000FFFFFF00 Δ 0x0000000000000081 0x0000000000000081 =
476 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000082 0x00000000FFFFFE00 Δ 0x0000000000000082 0x0000000000000082 =
477 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000082 0x0000000000000000 Δ 0x00000000000000FD 0x00000000000000FD =
478 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000082 0x0000000000000000 Δ 0x00000000000000FE 0x00000000000000FE =
479 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000082 0x0000000000000000 Δ 0x00000000000000FF 0x00000000000000FF =
480 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000082 0x00000000FFFFFF80 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 =
481 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000082 0x00000000FFFFFF00 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 =
482 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000082 0x00000000FFFFFE00 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
483 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000082 0x00000000FFFFFF80 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
484 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000082 0x0000000000000000 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
485 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x0000666666010100 0x0000666666010100 = 0x0000000000000082 0x0000000000000000 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
486 — 0x0000000000010002 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x00000000000000FD 0x0000000000000001 Δ 0x0000000000000000 0x0000000000000000 =
487 — 0x0000000000010002 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x00000000000000FD 0x0000000000000002 Δ 0x0000000000000001 0x0000000000000001 =
488 — 0x0000000000010002 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x00000000000000FD 0x0000000000000004 Δ 0x0000000000000002 0x0000000000000002 =
489 — 0x0000000000010002 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x00000000000000FD 0x0000000000000008 Δ 0x0000000000000003 0x0000000000000003 =
490 — 0x0000000000010002 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x00000000000000FD 0x0000000040000000 Δ 0x000000000000007E 0x000000000000007E =
491 — 0x0000000000010002 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x00000000000000FD 0x0000000080000000 Δ 0x000000000000007F 0x000000000000007F =
492 — 0x0000000000010002 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x00000000000000FD 0x0000000000000001 Δ 0x0000000000000080 0x0000000000000080 =
493 — 0x0000000000010002 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x00000000000000FD 0x0000000000000002 Δ 0x0000000000000081 0x0000000000000081 =
494 — 0x0000000000010002 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x00000000000000FD 0x0000000000000004 Δ 0x0000000000000082 0x0000000000000082 =
495 — 0x0000000000010002 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x00000000000000FD 0x0000000020000000 Δ 0x00000000000000FD 0x00000000000000FD =
496 — 0x0000000000010002 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x00000000000000FD 0x0000000040000000 Δ 0x00000000000000FE 0x00000000000000FE =
497 — 0x0000000000010002 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x00000000000000FD 0x0000000080000000 Δ 0x00000000000000FF 0x00000000000000FF =
498 — 0x0000000000010002 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x00000000000000FD 0x0000000000000001 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 =
499 — 0x0000000000010002 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x00000000000000FD 0x0000000000000002 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 =
← Prev Page 10 of 20 Next →