mulx rax, rbx, rcx

Opcode: c4e2e3f6c1

Instruction: MULX
Undefined flags: none

Total states: 81
State # flag rax rbx rcx rdx
InitialFinalΔ InitialFinalΔ InitialFinalΔ InitialFinalΔ InitialFinalΔ
50 — 0x0000000000010002 Δ 0x0000000000000001 0x0000000000000000 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000001 0x0000000000000001 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
51 — 0x0000000000010002 Δ 0x0000000000000001 0x0000000000000000 Δ 0xFFFFFFFFFFFFFFFF 0x0000000000000000 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000000 0x0000000000000000 =
52 — 0x0000000000010002 Δ 0x0000000000000001 0x0000000000000000 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000001 0x0000000000000001 =
53 — 0x0000000000010002 Δ 0x0000000000000001 0xFFFFFFFFFFFFFFFE Δ 0xFFFFFFFFFFFFFFFF 0x0000000000000001 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
54 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x0000000000000000 Δ 0x0000000000000000 0x0000000000000000 = 0x0000000000000000 0x0000000000000000 = 0x0000000000000000 0x0000000000000000 =
55 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x0000000000000000 Δ 0x0000000000000000 0x0000000000000000 = 0x0000000000000000 0x0000000000000000 = 0x0000000000000001 0x0000000000000001 =
56 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x0000000000000000 Δ 0x0000000000000000 0x0000000000000000 = 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
57 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x0000000000000000 Δ 0x0000000000000000 0x0000000000000000 = 0x0000000000000001 0x0000000000000001 = 0x0000000000000000 0x0000000000000000 =
58 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x0000000000000000 Δ 0x0000000000000000 0x0000000000000001 Δ 0x0000000000000001 0x0000000000000001 = 0x0000000000000001 0x0000000000000001 =
59 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x0000000000000000 Δ 0x0000000000000000 0xFFFFFFFFFFFFFFFF Δ 0x0000000000000001 0x0000000000000001 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
60 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x0000000000000000 Δ 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000000 0x0000000000000000 =
61 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x0000000000000000 Δ 0x0000000000000000 0xFFFFFFFFFFFFFFFF Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000001 0x0000000000000001 =
62 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFE Δ 0x0000000000000000 0x0000000000000001 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
63 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x0000000000000000 Δ 0x0000000000000001 0x0000000000000000 Δ 0x0000000000000000 0x0000000000000000 = 0x0000000000000000 0x0000000000000000 =
64 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x0000000000000000 Δ 0x0000000000000001 0x0000000000000000 Δ 0x0000000000000000 0x0000000000000000 = 0x0000000000000001 0x0000000000000001 =
65 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x0000000000000000 Δ 0x0000000000000001 0x0000000000000000 Δ 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
66 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x0000000000000000 Δ 0x0000000000000001 0x0000000000000000 Δ 0x0000000000000001 0x0000000000000001 = 0x0000000000000000 0x0000000000000000 =
67 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x0000000000000000 Δ 0x0000000000000001 0x0000000000000001 = 0x0000000000000001 0x0000000000000001 = 0x0000000000000001 0x0000000000000001 =
68 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x0000000000000000 Δ 0x0000000000000001 0xFFFFFFFFFFFFFFFF Δ 0x0000000000000001 0x0000000000000001 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
69 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x0000000000000000 Δ 0x0000000000000001 0x0000000000000000 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000000 0x0000000000000000 =
70 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x0000000000000000 Δ 0x0000000000000001 0xFFFFFFFFFFFFFFFF Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000001 0x0000000000000001 =
71 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFE Δ 0x0000000000000001 0x0000000000000001 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
72 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x0000000000000000 Δ 0xFFFFFFFFFFFFFFFF 0x0000000000000000 Δ 0x0000000000000000 0x0000000000000000 = 0x0000000000000000 0x0000000000000000 =
73 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x0000000000000000 Δ 0xFFFFFFFFFFFFFFFF 0x0000000000000000 Δ 0x0000000000000000 0x0000000000000000 = 0x0000000000000001 0x0000000000000001 =
74 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x0000000000000000 Δ 0xFFFFFFFFFFFFFFFF 0x0000000000000000 Δ 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
75 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x0000000000000000 Δ 0xFFFFFFFFFFFFFFFF 0x0000000000000000 Δ 0x0000000000000001 0x0000000000000001 = 0x0000000000000000 0x0000000000000000 =
76 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x0000000000000000 Δ 0xFFFFFFFFFFFFFFFF 0x0000000000000001 Δ 0x0000000000000001 0x0000000000000001 = 0x0000000000000001 0x0000000000000001 =
77 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x0000000000000000 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000001 0x0000000000000001 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
78 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x0000000000000000 Δ 0xFFFFFFFFFFFFFFFF 0x0000000000000000 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000000 0x0000000000000000 =
79 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0x0000000000000000 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000001 0x0000000000000001 =
80 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFE Δ 0xFFFFFFFFFFFFFFFF 0x0000000000000001 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
← Prev Page 2 of 2