rcl qword ptr [0x666666010100], 0x3

Opcode: 48c11500f19aff03

Instruction: RCL
Undefined flags: OF

Total states: 24
State # flag mem0_value
InitialFinalΔ InitialFinalΔ
0 0x0000000000000000 0x0000000000010002 Δ 0x0000000000000000 0x0000000000000000 =
1 0x0000000000000001 0x0000000000010002 Δ 0x0000000000000000 0x0000000000000004 Δ
2 0x0000000000000004 0x0000000000010006 Δ 0x0000000000000000 0x0000000000000000 =
3 0x0000000000000010 0x0000000000010012 Δ 0x0000000000000000 0x0000000000000000 =
4 0x0000000000000040 0x0000000000010042 Δ 0x0000000000000000 0x0000000000000000 =
5 0x0000000000000080 0x0000000000010082 Δ 0x0000000000000000 0x0000000000000000 =
6 0x0000000000000800 0x0000000000010002 Δ 0x0000000000000000 0x0000000000000000 =
7 0x00000000000008D5 0x00000000000100D6 Δ 0x0000000000000000 0x0000000000000004 Δ
8 0x0000000000000000 0x0000000000010002 Δ 0x0000000000000081 0x0000000000000408 Δ
9 0x0000000000000001 0x0000000000010002 Δ 0x0000000000000081 0x000000000000040C Δ
10 0x0000000000000004 0x0000000000010006 Δ 0x0000000000000081 0x0000000000000408 Δ
11 0x0000000000000010 0x0000000000010012 Δ 0x0000000000000081 0x0000000000000408 Δ
12 0x0000000000000040 0x0000000000010042 Δ 0x0000000000000081 0x0000000000000408 Δ
13 0x0000000000000080 0x0000000000010082 Δ 0x0000000000000081 0x0000000000000408 Δ
14 0x0000000000000800 0x0000000000010002 Δ 0x0000000000000081 0x0000000000000408 Δ
15 0x00000000000008D5 0x00000000000100D6 Δ 0x0000000000000081 0x000000000000040C Δ
16 0x0000000000000000 0x0000000000010003 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFF813 Δ
17 0x0000000000000001 0x0000000000010003 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFF817 Δ
18 0x0000000000000004 0x0000000000010007 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFF813 Δ
19 0x0000000000000010 0x0000000000010013 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFF813 Δ
20 0x0000000000000040 0x0000000000010043 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFF813 Δ
21 0x0000000000000080 0x0000000000010083 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFF813 Δ
22 0x0000000000000800 0x0000000000010003 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFF813 Δ
23 0x00000000000008D5 0x00000000000100D7 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFF817 Δ
Page 1 of 1