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