shrd eax, ebx, 0x1

Opcode: 0facd801

Instruction: SHRD
Undefined flags: AF, OF

Total states: 72
State # flag rax rbx rdx
InitialFinalΔ InitialFinalΔ InitialFinalΔ InitialFinalΔ
50 0x0000000000000004 0x0000000000010807 Δ 0xFFFFFFFFFFFFFFFF 0x000000007FFFFFFF Δ 0x0000000000000000 0x0000000000000000 = — 0x0000000000000000 Δ
51 0x0000000000000010 0x0000000000010807 Δ 0xFFFFFFFFFFFFFFFF 0x000000007FFFFFFF Δ 0x0000000000000000 0x0000000000000000 = — 0x0000000000000000 Δ
52 0x0000000000000040 0x0000000000010807 Δ 0xFFFFFFFFFFFFFFFF 0x000000007FFFFFFF Δ 0x0000000000000000 0x0000000000000000 = — 0x0000000000000000 Δ
53 0x0000000000000080 0x0000000000010807 Δ 0xFFFFFFFFFFFFFFFF 0x000000007FFFFFFF Δ 0x0000000000000000 0x0000000000000000 = — 0x0000000000000000 Δ
54 0x0000000000000800 0x0000000000010807 Δ 0xFFFFFFFFFFFFFFFF 0x000000007FFFFFFF Δ 0x0000000000000000 0x0000000000000000 = — 0x0000000000000000 Δ
55 0x00000000000008D5 0x0000000000010807 Δ 0xFFFFFFFFFFFFFFFF 0x000000007FFFFFFF Δ 0x0000000000000000 0x0000000000000000 = — 0x0000000000000000 Δ
56 0x0000000000000000 0x0000000000010087 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFFFF Δ 0x0000000000000001 0x0000000000000001 = — 0x0000000000000000 Δ
57 0x0000000000000001 0x0000000000010087 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFFFF Δ 0x0000000000000001 0x0000000000000001 = — 0x0000000000000000 Δ
58 0x0000000000000004 0x0000000000010087 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFFFF Δ 0x0000000000000001 0x0000000000000001 = — 0x0000000000000000 Δ
59 0x0000000000000010 0x0000000000010087 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFFFF Δ 0x0000000000000001 0x0000000000000001 = — 0x0000000000000000 Δ
60 0x0000000000000040 0x0000000000010087 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFFFF Δ 0x0000000000000001 0x0000000000000001 = — 0x0000000000000000 Δ
61 0x0000000000000080 0x0000000000010087 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFFFF Δ 0x0000000000000001 0x0000000000000001 = — 0x0000000000000000 Δ
62 0x0000000000000800 0x0000000000010087 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFFFF Δ 0x0000000000000001 0x0000000000000001 = — 0x0000000000000000 Δ
63 0x00000000000008D5 0x0000000000010087 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFFFF Δ 0x0000000000000001 0x0000000000000001 = — 0x0000000000000000 Δ
64 0x0000000000000000 0x0000000000010087 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = — 0x0000000000000000 Δ
65 0x0000000000000001 0x0000000000010087 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = — 0x0000000000000000 Δ
66 0x0000000000000004 0x0000000000010087 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = — 0x0000000000000000 Δ
67 0x0000000000000010 0x0000000000010087 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = — 0x0000000000000000 Δ
68 0x0000000000000040 0x0000000000010087 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = — 0x0000000000000000 Δ
69 0x0000000000000080 0x0000000000010087 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = — 0x0000000000000000 Δ
70 0x0000000000000800 0x0000000000010087 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = — 0x0000000000000000 Δ
71 0x00000000000008D5 0x0000000000010087 Δ 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = — 0x0000000000000000 Δ
← Prev Page 2 of 2