shlx rax, qword ptr [r8 + 0x20], rcx

Opcode: c4c2f1f74020

Instruction: SHLX
Undefined flags: none

Total states: 972
State # flag mem0_value r8 rax rcx rdx
InitialFinalΔ InitialFinalΔ InitialFinalΔ InitialFinalΔ InitialFinalΔ InitialFinalΔ
450 — 0x0000000000010002 Δ 0x00000000000000FD 0x00000000000000FD = 0x00006666660100E0 0x00006666660100E0 = 0x0000000000000082 0x00000000000000FD Δ 0x0000000000000000 0x0000000000000000 = — 0x0000000000000000 Δ
451 — 0x0000000000010002 Δ 0x00000000000000FD 0x00000000000000FD = 0x00006666660100E0 0x00006666660100E0 = 0x0000000000000082 0x00000000000001FA Δ 0x0000000000000001 0x0000000000000001 = — 0x0000000000000000 Δ
452 — 0x0000000000010002 Δ 0x00000000000000FD 0x00000000000000FD = 0x00006666660100E0 0x00006666660100E0 = 0x0000000000000082 0x00000000000003F4 Δ 0x0000000000000002 0x0000000000000002 = — 0x0000000000000000 Δ
453 — 0x0000000000010002 Δ 0x00000000000000FD 0x00000000000000FD = 0x00006666660100E0 0x00006666660100E0 = 0x0000000000000082 0x00000000000007E8 Δ 0x0000000000000003 0x0000000000000003 = — 0x0000000000000000 Δ
454 — 0x0000000000010002 Δ 0x00000000000000FD 0x00000000000000FD = 0x00006666660100E0 0x00006666660100E0 = 0x0000000000000082 0x4000000000000000 Δ 0x000000000000007E 0x000000000000007E = — 0x0000000000000000 Δ
455 — 0x0000000000010002 Δ 0x00000000000000FD 0x00000000000000FD = 0x00006666660100E0 0x00006666660100E0 = 0x0000000000000082 0x8000000000000000 Δ 0x000000000000007F 0x000000000000007F = — 0x0000000000000000 Δ
456 — 0x0000000000010002 Δ 0x00000000000000FD 0x00000000000000FD = 0x00006666660100E0 0x00006666660100E0 = 0x0000000000000082 0x00000000000000FD Δ 0x0000000000000080 0x0000000000000080 = — 0x0000000000000000 Δ
457 — 0x0000000000010002 Δ 0x00000000000000FD 0x00000000000000FD = 0x00006666660100E0 0x00006666660100E0 = 0x0000000000000082 0x00000000000001FA Δ 0x0000000000000081 0x0000000000000081 = — 0x0000000000000000 Δ
458 — 0x0000000000010002 Δ 0x00000000000000FD 0x00000000000000FD = 0x00006666660100E0 0x00006666660100E0 = 0x0000000000000082 0x00000000000003F4 Δ 0x0000000000000082 0x0000000000000082 = — 0x0000000000000000 Δ
459 — 0x0000000000010002 Δ 0x00000000000000FD 0x00000000000000FD = 0x00006666660100E0 0x00006666660100E0 = 0x0000000000000082 0xA000000000000000 Δ 0x00000000000000FD 0x00000000000000FD = — 0x0000000000000000 Δ
460 — 0x0000000000010002 Δ 0x00000000000000FD 0x00000000000000FD = 0x00006666660100E0 0x00006666660100E0 = 0x0000000000000082 0x4000000000000000 Δ 0x00000000000000FE 0x00000000000000FE = — 0x0000000000000000 Δ
461 — 0x0000000000010002 Δ 0x00000000000000FD 0x00000000000000FD = 0x00006666660100E0 0x00006666660100E0 = 0x0000000000000082 0x8000000000000000 Δ 0x00000000000000FF 0x00000000000000FF = — 0x0000000000000000 Δ
462 — 0x0000000000010002 Δ 0x00000000000000FD 0x00000000000000FD = 0x00006666660100E0 0x00006666660100E0 = 0x0000000000000082 0x00000000000000FD Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 = — 0x0000000000000000 Δ
463 — 0x0000000000010002 Δ 0x00000000000000FD 0x00000000000000FD = 0x00006666660100E0 0x00006666660100E0 = 0x0000000000000082 0x00000000000001FA Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = — 0x0000000000000000 Δ
464 — 0x0000000000010002 Δ 0x00000000000000FD 0x00000000000000FD = 0x00006666660100E0 0x00006666660100E0 = 0x0000000000000082 0x00000000000003F4 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = — 0x0000000000000000 Δ
465 — 0x0000000000010002 Δ 0x00000000000000FD 0x00000000000000FD = 0x00006666660100E0 0x00006666660100E0 = 0x0000000000000082 0x00000000000000FD Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = — 0x0000000000000000 Δ
466 — 0x0000000000010002 Δ 0x00000000000000FD 0x00000000000000FD = 0x00006666660100E0 0x00006666660100E0 = 0x0000000000000082 0x4000000000000000 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = — 0x0000000000000000 Δ
467 — 0x0000000000010002 Δ 0x00000000000000FD 0x00000000000000FD = 0x00006666660100E0 0x00006666660100E0 = 0x0000000000000082 0x8000000000000000 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = — 0x0000000000000000 Δ
468 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0x0000000000000082 0xFFFFFFFFFFFFFFFE Δ 0x0000000000000000 0x0000000000000000 = — 0x0000000000000000 Δ
469 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0x0000000000000082 0xFFFFFFFFFFFFFFFC Δ 0x0000000000000001 0x0000000000000001 = — 0x0000000000000000 Δ
470 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0x0000000000000082 0xFFFFFFFFFFFFFFF8 Δ 0x0000000000000002 0x0000000000000002 = — 0x0000000000000000 Δ
471 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0x0000000000000082 0xFFFFFFFFFFFFFFF0 Δ 0x0000000000000003 0x0000000000000003 = — 0x0000000000000000 Δ
472 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0x0000000000000082 0x8000000000000000 Δ 0x000000000000007E 0x000000000000007E = — 0x0000000000000000 Δ
473 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0x0000000000000082 0x0000000000000000 Δ 0x000000000000007F 0x000000000000007F = — 0x0000000000000000 Δ
474 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0x0000000000000082 0xFFFFFFFFFFFFFFFE Δ 0x0000000000000080 0x0000000000000080 = — 0x0000000000000000 Δ
475 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0x0000000000000082 0xFFFFFFFFFFFFFFFC Δ 0x0000000000000081 0x0000000000000081 = — 0x0000000000000000 Δ
476 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0x0000000000000082 0xFFFFFFFFFFFFFFF8 Δ 0x0000000000000082 0x0000000000000082 = — 0x0000000000000000 Δ
477 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0x0000000000000082 0xC000000000000000 Δ 0x00000000000000FD 0x00000000000000FD = — 0x0000000000000000 Δ
478 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0x0000000000000082 0x8000000000000000 Δ 0x00000000000000FE 0x00000000000000FE = — 0x0000000000000000 Δ
479 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0x0000000000000082 0x0000000000000000 Δ 0x00000000000000FF 0x00000000000000FF = — 0x0000000000000000 Δ
480 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0x0000000000000082 0xFFFFFFFFFFFFFFFE Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 = — 0x0000000000000000 Δ
481 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0x0000000000000082 0xFFFFFFFFFFFFFFFC Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = — 0x0000000000000000 Δ
482 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0x0000000000000082 0xFFFFFFFFFFFFFFF8 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = — 0x0000000000000000 Δ
483 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0x0000000000000082 0xFFFFFFFFFFFFFFFE Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = — 0x0000000000000000 Δ
484 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0x0000000000000082 0x8000000000000000 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = — 0x0000000000000000 Δ
485 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0x0000000000000082 0x0000000000000000 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = — 0x0000000000000000 Δ
486 — 0x0000000000010002 Δ 0x0000000000000002 0x0000000000000002 = 0x00006666660100E0 0x00006666660100E0 = 0x00000000000000FD 0x0000000000000002 Δ 0x0000000000000000 0x0000000000000000 = — 0x0000000000000000 Δ
487 — 0x0000000000010002 Δ 0x0000000000000002 0x0000000000000002 = 0x00006666660100E0 0x00006666660100E0 = 0x00000000000000FD 0x0000000000000004 Δ 0x0000000000000001 0x0000000000000001 = — 0x0000000000000000 Δ
488 — 0x0000000000010002 Δ 0x0000000000000002 0x0000000000000002 = 0x00006666660100E0 0x00006666660100E0 = 0x00000000000000FD 0x0000000000000008 Δ 0x0000000000000002 0x0000000000000002 = — 0x0000000000000000 Δ
489 — 0x0000000000010002 Δ 0x0000000000000002 0x0000000000000002 = 0x00006666660100E0 0x00006666660100E0 = 0x00000000000000FD 0x0000000000000010 Δ 0x0000000000000003 0x0000000000000003 = — 0x0000000000000000 Δ
490 — 0x0000000000010002 Δ 0x0000000000000002 0x0000000000000002 = 0x00006666660100E0 0x00006666660100E0 = 0x00000000000000FD 0x8000000000000000 Δ 0x000000000000007E 0x000000000000007E = — 0x0000000000000000 Δ
491 — 0x0000000000010002 Δ 0x0000000000000002 0x0000000000000002 = 0x00006666660100E0 0x00006666660100E0 = 0x00000000000000FD 0x0000000000000000 Δ 0x000000000000007F 0x000000000000007F = — 0x0000000000000000 Δ
492 — 0x0000000000010002 Δ 0x0000000000000002 0x0000000000000002 = 0x00006666660100E0 0x00006666660100E0 = 0x00000000000000FD 0x0000000000000002 Δ 0x0000000000000080 0x0000000000000080 = — 0x0000000000000000 Δ
493 — 0x0000000000010002 Δ 0x0000000000000002 0x0000000000000002 = 0x00006666660100E0 0x00006666660100E0 = 0x00000000000000FD 0x0000000000000004 Δ 0x0000000000000081 0x0000000000000081 = — 0x0000000000000000 Δ
494 — 0x0000000000010002 Δ 0x0000000000000002 0x0000000000000002 = 0x00006666660100E0 0x00006666660100E0 = 0x00000000000000FD 0x0000000000000008 Δ 0x0000000000000082 0x0000000000000082 = — 0x0000000000000000 Δ
495 — 0x0000000000010002 Δ 0x0000000000000002 0x0000000000000002 = 0x00006666660100E0 0x00006666660100E0 = 0x00000000000000FD 0x4000000000000000 Δ 0x00000000000000FD 0x00000000000000FD = — 0x0000000000000000 Δ
496 — 0x0000000000010002 Δ 0x0000000000000002 0x0000000000000002 = 0x00006666660100E0 0x00006666660100E0 = 0x00000000000000FD 0x8000000000000000 Δ 0x00000000000000FE 0x00000000000000FE = — 0x0000000000000000 Δ
497 — 0x0000000000010002 Δ 0x0000000000000002 0x0000000000000002 = 0x00006666660100E0 0x00006666660100E0 = 0x00000000000000FD 0x0000000000000000 Δ 0x00000000000000FF 0x00000000000000FF = — 0x0000000000000000 Δ
498 — 0x0000000000010002 Δ 0x0000000000000002 0x0000000000000002 = 0x00006666660100E0 0x00006666660100E0 = 0x00000000000000FD 0x0000000000000002 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 = — 0x0000000000000000 Δ
499 — 0x0000000000010002 Δ 0x0000000000000002 0x0000000000000002 = 0x00006666660100E0 0x00006666660100E0 = 0x00000000000000FD 0x0000000000000004 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = — 0x0000000000000000 Δ
← Prev Page 10 of 20 Next →