cmovle ax, bxOpcode: 660f4ec3
| State # | flag |
rax |
rbx |
||||||
|---|---|---|---|---|---|---|---|---|---|
| Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | |
| 2200 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x000000000000007F |
0x000000000000007F
|
= |
| 2201 | 0x0000000000000001 |
0x0000000000010003
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x000000000000007F |
0x000000000000007F
|
= |
| 2202 | 0x0000000000000004 |
0x0000000000010006
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x000000000000007F |
0x000000000000007F
|
= |
| 2203 | 0x0000000000000010 |
0x0000000000010012
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x000000000000007F |
0x000000000000007F
|
= |
| 2204 | 0x0000000000000040 |
0x0000000000010042
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFF007F
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= |
| 2205 | 0x0000000000000080 |
0x0000000000010082
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFF007F
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= |
| 2206 | 0x0000000000000800 |
0x0000000000010802
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFF007F
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= |
| 2207 | 0x00000000000008D5 |
0x00000000000108D7
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFF007F
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= |
| 2208 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x0000000000000080 |
0x0000000000000080
|
= |
| 2209 | 0x0000000000000001 |
0x0000000000010003
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x0000000000000080 |
0x0000000000000080
|
= |
| 2210 | 0x0000000000000004 |
0x0000000000010006
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x0000000000000080 |
0x0000000000000080
|
= |
| 2211 | 0x0000000000000010 |
0x0000000000010012
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x0000000000000080 |
0x0000000000000080
|
= |
| 2212 | 0x0000000000000040 |
0x0000000000010042
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFF0080
|
Δ | 0x0000000000000080 |
0x0000000000000080
|
= |
| 2213 | 0x0000000000000080 |
0x0000000000010082
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFF0080
|
Δ | 0x0000000000000080 |
0x0000000000000080
|
= |
| 2214 | 0x0000000000000800 |
0x0000000000010802
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFF0080
|
Δ | 0x0000000000000080 |
0x0000000000000080
|
= |
| 2215 | 0x00000000000008D5 |
0x00000000000108D7
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFF0080
|
Δ | 0x0000000000000080 |
0x0000000000000080
|
= |
| 2216 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x0000000000000081 |
0x0000000000000081
|
= |
| 2217 | 0x0000000000000001 |
0x0000000000010003
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x0000000000000081 |
0x0000000000000081
|
= |
| 2218 | 0x0000000000000004 |
0x0000000000010006
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x0000000000000081 |
0x0000000000000081
|
= |
| 2219 | 0x0000000000000010 |
0x0000000000010012
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x0000000000000081 |
0x0000000000000081
|
= |
| 2220 | 0x0000000000000040 |
0x0000000000010042
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFF0081
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= |
| 2221 | 0x0000000000000080 |
0x0000000000010082
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFF0081
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= |
| 2222 | 0x0000000000000800 |
0x0000000000010802
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFF0081
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= |
| 2223 | 0x00000000000008D5 |
0x00000000000108D7
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFF0081
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= |
| 2224 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x0000000000000082 |
0x0000000000000082
|
= |
| 2225 | 0x0000000000000001 |
0x0000000000010003
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x0000000000000082 |
0x0000000000000082
|
= |
| 2226 | 0x0000000000000004 |
0x0000000000010006
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x0000000000000082 |
0x0000000000000082
|
= |
| 2227 | 0x0000000000000010 |
0x0000000000010012
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x0000000000000082 |
0x0000000000000082
|
= |
| 2228 | 0x0000000000000040 |
0x0000000000010042
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFF0082
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= |
| 2229 | 0x0000000000000080 |
0x0000000000010082
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFF0082
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= |
| 2230 | 0x0000000000000800 |
0x0000000000010802
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFF0082
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= |
| 2231 | 0x00000000000008D5 |
0x00000000000108D7
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFF0082
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= |
| 2232 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x00000000000000FD |
0x00000000000000FD
|
= |
| 2233 | 0x0000000000000001 |
0x0000000000010003
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x00000000000000FD |
0x00000000000000FD
|
= |
| 2234 | 0x0000000000000004 |
0x0000000000010006
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x00000000000000FD |
0x00000000000000FD
|
= |
| 2235 | 0x0000000000000010 |
0x0000000000010012
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x00000000000000FD |
0x00000000000000FD
|
= |
| 2236 | 0x0000000000000040 |
0x0000000000010042
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFF00FD
|
Δ | 0x00000000000000FD |
0x00000000000000FD
|
= |
| 2237 | 0x0000000000000080 |
0x0000000000010082
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFF00FD
|
Δ | 0x00000000000000FD |
0x00000000000000FD
|
= |
| 2238 | 0x0000000000000800 |
0x0000000000010802
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFF00FD
|
Δ | 0x00000000000000FD |
0x00000000000000FD
|
= |
| 2239 | 0x00000000000008D5 |
0x00000000000108D7
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFF00FD
|
Δ | 0x00000000000000FD |
0x00000000000000FD
|
= |
| 2240 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x00000000000000FE |
0x00000000000000FE
|
= |
| 2241 | 0x0000000000000001 |
0x0000000000010003
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x00000000000000FE |
0x00000000000000FE
|
= |
| 2242 | 0x0000000000000004 |
0x0000000000010006
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x00000000000000FE |
0x00000000000000FE
|
= |
| 2243 | 0x0000000000000010 |
0x0000000000010012
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x00000000000000FE |
0x00000000000000FE
|
= |
| 2244 | 0x0000000000000040 |
0x0000000000010042
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFF00FE
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= |
| 2245 | 0x0000000000000080 |
0x0000000000010082
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFF00FE
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= |
| 2246 | 0x0000000000000800 |
0x0000000000010802
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFF00FE
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= |
| 2247 | 0x00000000000008D5 |
0x00000000000108D7
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFF00FE
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= |
| 2248 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x00000000000000FF |
0x00000000000000FF
|
= |
| 2249 | 0x0000000000000001 |
0x0000000000010003
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x00000000000000FF |
0x00000000000000FF
|
= |