shlx rax, qword ptr [r8 + r9 * 1 - 0x20], rcx

Opcode: c482f1f74408e0

Instruction: SHLX
Undefined flags: none

Total states: 648
State # flag mem0_value r8 r9 rax rcx rdx
InitialFinalΔ InitialFinalΔ InitialFinalΔ InitialFinalΔ InitialFinalΔ InitialFinalΔ InitialFinalΔ
450 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x000066666601011D 0x000066666601011D = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF01 Δ 0x0000000000000000 0x0000000000000000 = — 0x0000000000000000 Δ
451 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x000066666601011D 0x000066666601011D = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFE02 Δ 0x0000000000000001 0x0000000000000001 = — 0x0000000000000000 Δ
452 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x000066666601011D 0x000066666601011D = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFC04 Δ 0x0000000000000002 0x0000000000000002 = — 0x0000000000000000 Δ
453 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x000066666601011D 0x000066666601011D = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFF808 Δ 0x0000000000000003 0x0000000000000003 = — 0x0000000000000000 Δ
454 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x000066666601011D 0x000066666601011D = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF00 0x4000000000000000 Δ 0x000000000000007E 0x000000000000007E = — 0x0000000000000000 Δ
455 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x000066666601011D 0x000066666601011D = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF00 0x8000000000000000 Δ 0x000000000000007F 0x000000000000007F = — 0x0000000000000000 Δ
456 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x000066666601011D 0x000066666601011D = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF01 Δ 0x0000000000000080 0x0000000000000080 = — 0x0000000000000000 Δ
457 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x000066666601011D 0x000066666601011D = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFE02 Δ 0x0000000000000081 0x0000000000000081 = — 0x0000000000000000 Δ
458 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x000066666601011D 0x000066666601011D = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFC04 Δ 0x0000000000000082 0x0000000000000082 = — 0x0000000000000000 Δ
459 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x000066666601011D 0x000066666601011D = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF00 0x2000000000000000 Δ 0x00000000000000FD 0x00000000000000FD = — 0x0000000000000000 Δ
460 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x000066666601011D 0x000066666601011D = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF00 0x4000000000000000 Δ 0x00000000000000FE 0x00000000000000FE = — 0x0000000000000000 Δ
461 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x000066666601011D 0x000066666601011D = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF00 0x8000000000000000 Δ 0x00000000000000FF 0x00000000000000FF = — 0x0000000000000000 Δ
462 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x000066666601011D 0x000066666601011D = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF01 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 = — 0x0000000000000000 Δ
463 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x000066666601011D 0x000066666601011D = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFE02 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = — 0x0000000000000000 Δ
464 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x000066666601011D 0x000066666601011D = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFC04 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = — 0x0000000000000000 Δ
465 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x000066666601011D 0x000066666601011D = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF01 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = — 0x0000000000000000 Δ
466 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x000066666601011D 0x000066666601011D = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF00 0x4000000000000000 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = — 0x0000000000000000 Δ
467 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x000066666601011D 0x000066666601011D = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF00 0x8000000000000000 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = — 0x0000000000000000 Δ
468 — 0x0000000000010002 Δ 0x0000000000000080 0x0000000000000080 = 0x000066666601011D 0x000066666601011D = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF01 0x0000000000000080 Δ 0x0000000000000000 0x0000000000000000 = — 0x0000000000000000 Δ
469 — 0x0000000000010002 Δ 0x0000000000000080 0x0000000000000080 = 0x000066666601011D 0x000066666601011D = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF01 0x0000000000000100 Δ 0x0000000000000001 0x0000000000000001 = — 0x0000000000000000 Δ
470 — 0x0000000000010002 Δ 0x0000000000000080 0x0000000000000080 = 0x000066666601011D 0x000066666601011D = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF01 0x0000000000000200 Δ 0x0000000000000002 0x0000000000000002 = — 0x0000000000000000 Δ
471 — 0x0000000000010002 Δ 0x0000000000000080 0x0000000000000080 = 0x000066666601011D 0x000066666601011D = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF01 0x0000000000000400 Δ 0x0000000000000003 0x0000000000000003 = — 0x0000000000000000 Δ
472 — 0x0000000000010002 Δ 0x0000000000000080 0x0000000000000080 = 0x000066666601011D 0x000066666601011D = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF01 0x0000000000000000 Δ 0x000000000000007E 0x000000000000007E = — 0x0000000000000000 Δ
473 — 0x0000000000010002 Δ 0x0000000000000080 0x0000000000000080 = 0x000066666601011D 0x000066666601011D = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF01 0x0000000000000000 Δ 0x000000000000007F 0x000000000000007F = — 0x0000000000000000 Δ
474 — 0x0000000000010002 Δ 0x0000000000000080 0x0000000000000080 = 0x000066666601011D 0x000066666601011D = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF01 0x0000000000000080 Δ 0x0000000000000080 0x0000000000000080 = — 0x0000000000000000 Δ
475 — 0x0000000000010002 Δ 0x0000000000000080 0x0000000000000080 = 0x000066666601011D 0x000066666601011D = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF01 0x0000000000000100 Δ 0x0000000000000081 0x0000000000000081 = — 0x0000000000000000 Δ
476 — 0x0000000000010002 Δ 0x0000000000000080 0x0000000000000080 = 0x000066666601011D 0x000066666601011D = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF01 0x0000000000000200 Δ 0x0000000000000082 0x0000000000000082 = — 0x0000000000000000 Δ
477 — 0x0000000000010002 Δ 0x0000000000000080 0x0000000000000080 = 0x000066666601011D 0x000066666601011D = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF01 0x0000000000000000 Δ 0x00000000000000FD 0x00000000000000FD = — 0x0000000000000000 Δ
478 — 0x0000000000010002 Δ 0x0000000000000080 0x0000000000000080 = 0x000066666601011D 0x000066666601011D = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF01 0x0000000000000000 Δ 0x00000000000000FE 0x00000000000000FE = — 0x0000000000000000 Δ
479 — 0x0000000000010002 Δ 0x0000000000000080 0x0000000000000080 = 0x000066666601011D 0x000066666601011D = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF01 0x0000000000000000 Δ 0x00000000000000FF 0x00000000000000FF = — 0x0000000000000000 Δ
480 — 0x0000000000010002 Δ 0x0000000000000080 0x0000000000000080 = 0x000066666601011D 0x000066666601011D = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF01 0x0000000000000080 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 = — 0x0000000000000000 Δ
481 — 0x0000000000010002 Δ 0x0000000000000080 0x0000000000000080 = 0x000066666601011D 0x000066666601011D = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF01 0x0000000000000100 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = — 0x0000000000000000 Δ
482 — 0x0000000000010002 Δ 0x0000000000000080 0x0000000000000080 = 0x000066666601011D 0x000066666601011D = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF01 0x0000000000000200 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = — 0x0000000000000000 Δ
483 — 0x0000000000010002 Δ 0x0000000000000080 0x0000000000000080 = 0x000066666601011D 0x000066666601011D = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF01 0x0000000000000080 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = — 0x0000000000000000 Δ
484 — 0x0000000000010002 Δ 0x0000000000000080 0x0000000000000080 = 0x000066666601011D 0x000066666601011D = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF01 0x0000000000000000 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = — 0x0000000000000000 Δ
485 — 0x0000000000010002 Δ 0x0000000000000080 0x0000000000000080 = 0x000066666601011D 0x000066666601011D = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF01 0x0000000000000000 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = — 0x0000000000000000 Δ
486 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x000066666601011D 0x000066666601011D = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x0000000000000000 0x0000000000000000 = — 0x0000000000000000 Δ
487 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x000066666601011D 0x000066666601011D = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFE02 Δ 0x0000000000000001 0x0000000000000001 = — 0x0000000000000000 Δ
488 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x000066666601011D 0x000066666601011D = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFC04 Δ 0x0000000000000002 0x0000000000000002 = — 0x0000000000000000 Δ
489 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x000066666601011D 0x000066666601011D = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFF808 Δ 0x0000000000000003 0x0000000000000003 = — 0x0000000000000000 Δ
490 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x000066666601011D 0x000066666601011D = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF01 0x4000000000000000 Δ 0x000000000000007E 0x000000000000007E = — 0x0000000000000000 Δ
491 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x000066666601011D 0x000066666601011D = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF01 0x8000000000000000 Δ 0x000000000000007F 0x000000000000007F = — 0x0000000000000000 Δ
492 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x000066666601011D 0x000066666601011D = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x0000000000000080 0x0000000000000080 = — 0x0000000000000000 Δ
493 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x000066666601011D 0x000066666601011D = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFE02 Δ 0x0000000000000081 0x0000000000000081 = — 0x0000000000000000 Δ
494 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x000066666601011D 0x000066666601011D = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFC04 Δ 0x0000000000000082 0x0000000000000082 = — 0x0000000000000000 Δ
495 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x000066666601011D 0x000066666601011D = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF01 0x2000000000000000 Δ 0x00000000000000FD 0x00000000000000FD = — 0x0000000000000000 Δ
496 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x000066666601011D 0x000066666601011D = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF01 0x4000000000000000 Δ 0x00000000000000FE 0x00000000000000FE = — 0x0000000000000000 Δ
497 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x000066666601011D 0x000066666601011D = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF01 0x8000000000000000 Δ 0x00000000000000FF 0x00000000000000FF = — 0x0000000000000000 Δ
498 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x000066666601011D 0x000066666601011D = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 = — 0x0000000000000000 Δ
499 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x000066666601011D 0x000066666601011D = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFE02 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = — 0x0000000000000000 Δ
← Prev Page 10 of 13 Next →