shlx rax, rbx, rcxOpcode: c4e2f1f7c3
| State # | flag |
rax |
rbx |
rcx |
rdx |
||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | |
| 5100 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF01
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0x0000000000000080 |
0x0000000000000080
|
= | — |
0x0000000000000000
|
Δ |
| 5101 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFE02
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0x0000000000000081 |
0x0000000000000081
|
= | — |
0x0000000000000000
|
Δ |
| 5102 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFC04
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0x0000000000000082 |
0x0000000000000082
|
= | — |
0x0000000000000000
|
Δ |
| 5103 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x2000000000000000
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0x00000000000000FD |
0x00000000000000FD
|
= | — |
0x0000000000000000
|
Δ |
| 5104 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x4000000000000000
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0x00000000000000FE |
0x00000000000000FE
|
= | — |
0x0000000000000000
|
Δ |
| 5105 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x8000000000000000
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0x00000000000000FF |
0x00000000000000FF
|
= | — |
0x0000000000000000
|
Δ |
| 5106 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF01
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | — |
0x0000000000000000
|
Δ |
| 5107 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFE02
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | — |
0x0000000000000000
|
Δ |
| 5108 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFC04
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | — |
0x0000000000000000
|
Δ |
| 5109 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF01
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | — |
0x0000000000000000
|
Δ |
| 5110 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x4000000000000000
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | — |
0x0000000000000000
|
Δ |
| 5111 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x8000000000000000
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | — |
0x0000000000000000
|
Δ |
| 5112 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF02
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x0000000000000000 |
0x0000000000000000
|
= | — |
0x0000000000000000
|
Δ |
| 5113 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFE04
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x0000000000000001 |
0x0000000000000001
|
= | — |
0x0000000000000000
|
Δ |
| 5114 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFC08
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x0000000000000002 |
0x0000000000000002
|
= | — |
0x0000000000000000
|
Δ |
| 5115 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFF810
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | — |
0x0000000000000000
|
Δ |
| 5116 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x8000000000000000
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x000000000000007E |
0x000000000000007E
|
= | — |
0x0000000000000000
|
Δ |
| 5117 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x000000000000007F |
0x000000000000007F
|
= | — |
0x0000000000000000
|
Δ |
| 5118 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF02
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x0000000000000080 |
0x0000000000000080
|
= | — |
0x0000000000000000
|
Δ |
| 5119 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFE04
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x0000000000000081 |
0x0000000000000081
|
= | — |
0x0000000000000000
|
Δ |
| 5120 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFC08
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x0000000000000082 |
0x0000000000000082
|
= | — |
0x0000000000000000
|
Δ |
| 5121 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x4000000000000000
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x00000000000000FD |
0x00000000000000FD
|
= | — |
0x0000000000000000
|
Δ |
| 5122 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x8000000000000000
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x00000000000000FE |
0x00000000000000FE
|
= | — |
0x0000000000000000
|
Δ |
| 5123 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x00000000000000FF |
0x00000000000000FF
|
= | — |
0x0000000000000000
|
Δ |
| 5124 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF02
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | — |
0x0000000000000000
|
Δ |
| 5125 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFE04
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | — |
0x0000000000000000
|
Δ |
| 5126 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFC08
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | — |
0x0000000000000000
|
Δ |
| 5127 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF02
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | — |
0x0000000000000000
|
Δ |
| 5128 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x8000000000000000
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | — |
0x0000000000000000
|
Δ |
| 5129 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | — |
0x0000000000000000
|
Δ |
| 5130 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x0000000000000000 |
0x0000000000000000
|
= | — |
0x0000000000000000
|
Δ |
| 5131 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF00
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x0000000000000001 |
0x0000000000000001
|
= | — |
0x0000000000000000
|
Δ |
| 5132 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFE00
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x0000000000000002 |
0x0000000000000002
|
= | — |
0x0000000000000000
|
Δ |
| 5133 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFC00
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | — |
0x0000000000000000
|
Δ |
| 5134 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x000000000000007E |
0x000000000000007E
|
= | — |
0x0000000000000000
|
Δ |
| 5135 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x000000000000007F |
0x000000000000007F
|
= | — |
0x0000000000000000
|
Δ |
| 5136 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x0000000000000080 |
0x0000000000000080
|
= | — |
0x0000000000000000
|
Δ |
| 5137 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF00
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x0000000000000081 |
0x0000000000000081
|
= | — |
0x0000000000000000
|
Δ |
| 5138 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFE00
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x0000000000000082 |
0x0000000000000082
|
= | — |
0x0000000000000000
|
Δ |
| 5139 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x00000000000000FD |
0x00000000000000FD
|
= | — |
0x0000000000000000
|
Δ |
| 5140 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x00000000000000FE |
0x00000000000000FE
|
= | — |
0x0000000000000000
|
Δ |
| 5141 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x00000000000000FF |
0x00000000000000FF
|
= | — |
0x0000000000000000
|
Δ |
| 5142 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | — |
0x0000000000000000
|
Δ |
| 5143 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF00
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | — |
0x0000000000000000
|
Δ |
| 5144 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFE00
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | — |
0x0000000000000000
|
Δ |
| 5145 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | — |
0x0000000000000000
|
Δ |
| 5146 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | — |
0x0000000000000000
|
Δ |
| 5147 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | — |
0x0000000000000000
|
Δ |
| 5148 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFFFE
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0x0000000000000000 |
0x0000000000000000
|
= | — |
0x0000000000000000
|
Δ |
| 5149 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFFFC
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0x0000000000000001 |
0x0000000000000001
|
= | — |
0x0000000000000000
|
Δ |