adc rax, rbxOpcode: 4811d8
| State # | flag |
rax |
rbx |
||||||
|---|---|---|---|---|---|---|---|---|---|
| Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | |
| 2350 | 0x0000000000000800 |
0x0000000000010017
|
Δ | 0xFFFFFFFFFFFFFFFE |
0x000000000000007D
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= |
| 2351 | 0x00000000000008D5 |
0x0000000000010017
|
Δ | 0xFFFFFFFFFFFFFFFE |
0x000000000000007E
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= |
| 2352 | 0x0000000000000000 |
0x0000000000010007
|
Δ | 0xFFFFFFFFFFFFFFFE |
0x000000000000007E
|
Δ | 0x0000000000000080 |
0x0000000000000080
|
= |
| 2353 | 0x0000000000000001 |
0x0000000000010003
|
Δ | 0xFFFFFFFFFFFFFFFE |
0x000000000000007F
|
Δ | 0x0000000000000080 |
0x0000000000000080
|
= |
| 2354 | 0x0000000000000004 |
0x0000000000010007
|
Δ | 0xFFFFFFFFFFFFFFFE |
0x000000000000007E
|
Δ | 0x0000000000000080 |
0x0000000000000080
|
= |
| 2355 | 0x0000000000000010 |
0x0000000000010007
|
Δ | 0xFFFFFFFFFFFFFFFE |
0x000000000000007E
|
Δ | 0x0000000000000080 |
0x0000000000000080
|
= |
| 2356 | 0x0000000000000040 |
0x0000000000010007
|
Δ | 0xFFFFFFFFFFFFFFFE |
0x000000000000007E
|
Δ | 0x0000000000000080 |
0x0000000000000080
|
= |
| 2357 | 0x0000000000000080 |
0x0000000000010007
|
Δ | 0xFFFFFFFFFFFFFFFE |
0x000000000000007E
|
Δ | 0x0000000000000080 |
0x0000000000000080
|
= |
| 2358 | 0x0000000000000800 |
0x0000000000010007
|
Δ | 0xFFFFFFFFFFFFFFFE |
0x000000000000007E
|
Δ | 0x0000000000000080 |
0x0000000000000080
|
= |
| 2359 | 0x00000000000008D5 |
0x0000000000010003
|
Δ | 0xFFFFFFFFFFFFFFFE |
0x000000000000007F
|
Δ | 0x0000000000000080 |
0x0000000000000080
|
= |
| 2360 | 0x0000000000000000 |
0x0000000000010003
|
Δ | 0xFFFFFFFFFFFFFFFE |
0x000000000000007F
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= |
| 2361 | 0x0000000000000001 |
0x0000000000010013
|
Δ | 0xFFFFFFFFFFFFFFFE |
0x0000000000000080
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= |
| 2362 | 0x0000000000000004 |
0x0000000000010003
|
Δ | 0xFFFFFFFFFFFFFFFE |
0x000000000000007F
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= |
| 2363 | 0x0000000000000010 |
0x0000000000010003
|
Δ | 0xFFFFFFFFFFFFFFFE |
0x000000000000007F
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= |
| 2364 | 0x0000000000000040 |
0x0000000000010003
|
Δ | 0xFFFFFFFFFFFFFFFE |
0x000000000000007F
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= |
| 2365 | 0x0000000000000080 |
0x0000000000010003
|
Δ | 0xFFFFFFFFFFFFFFFE |
0x000000000000007F
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= |
| 2366 | 0x0000000000000800 |
0x0000000000010003
|
Δ | 0xFFFFFFFFFFFFFFFE |
0x000000000000007F
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= |
| 2367 | 0x00000000000008D5 |
0x0000000000010013
|
Δ | 0xFFFFFFFFFFFFFFFE |
0x0000000000000080
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= |
| 2368 | 0x0000000000000000 |
0x0000000000010013
|
Δ | 0xFFFFFFFFFFFFFFFE |
0x0000000000000080
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= |
| 2369 | 0x0000000000000001 |
0x0000000000010017
|
Δ | 0xFFFFFFFFFFFFFFFE |
0x0000000000000081
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= |
| 2370 | 0x0000000000000004 |
0x0000000000010013
|
Δ | 0xFFFFFFFFFFFFFFFE |
0x0000000000000080
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= |
| 2371 | 0x0000000000000010 |
0x0000000000010013
|
Δ | 0xFFFFFFFFFFFFFFFE |
0x0000000000000080
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= |
| 2372 | 0x0000000000000040 |
0x0000000000010013
|
Δ | 0xFFFFFFFFFFFFFFFE |
0x0000000000000080
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= |
| 2373 | 0x0000000000000080 |
0x0000000000010013
|
Δ | 0xFFFFFFFFFFFFFFFE |
0x0000000000000080
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= |
| 2374 | 0x0000000000000800 |
0x0000000000010013
|
Δ | 0xFFFFFFFFFFFFFFFE |
0x0000000000000080
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= |
| 2375 | 0x00000000000008D5 |
0x0000000000010017
|
Δ | 0xFFFFFFFFFFFFFFFE |
0x0000000000000081
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= |
| 2376 | 0x0000000000000000 |
0x0000000000010013
|
Δ | 0xFFFFFFFFFFFFFFFE |
0x00000000000000FB
|
Δ | 0x00000000000000FD |
0x00000000000000FD
|
= |
| 2377 | 0x0000000000000001 |
0x0000000000010017
|
Δ | 0xFFFFFFFFFFFFFFFE |
0x00000000000000FC
|
Δ | 0x00000000000000FD |
0x00000000000000FD
|
= |
| 2378 | 0x0000000000000004 |
0x0000000000010013
|
Δ | 0xFFFFFFFFFFFFFFFE |
0x00000000000000FB
|
Δ | 0x00000000000000FD |
0x00000000000000FD
|
= |
| 2379 | 0x0000000000000010 |
0x0000000000010013
|
Δ | 0xFFFFFFFFFFFFFFFE |
0x00000000000000FB
|
Δ | 0x00000000000000FD |
0x00000000000000FD
|
= |
| 2380 | 0x0000000000000040 |
0x0000000000010013
|
Δ | 0xFFFFFFFFFFFFFFFE |
0x00000000000000FB
|
Δ | 0x00000000000000FD |
0x00000000000000FD
|
= |
| 2381 | 0x0000000000000080 |
0x0000000000010013
|
Δ | 0xFFFFFFFFFFFFFFFE |
0x00000000000000FB
|
Δ | 0x00000000000000FD |
0x00000000000000FD
|
= |
| 2382 | 0x0000000000000800 |
0x0000000000010013
|
Δ | 0xFFFFFFFFFFFFFFFE |
0x00000000000000FB
|
Δ | 0x00000000000000FD |
0x00000000000000FD
|
= |
| 2383 | 0x00000000000008D5 |
0x0000000000010017
|
Δ | 0xFFFFFFFFFFFFFFFE |
0x00000000000000FC
|
Δ | 0x00000000000000FD |
0x00000000000000FD
|
= |
| 2384 | 0x0000000000000000 |
0x0000000000010017
|
Δ | 0xFFFFFFFFFFFFFFFE |
0x00000000000000FC
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= |
| 2385 | 0x0000000000000001 |
0x0000000000010013
|
Δ | 0xFFFFFFFFFFFFFFFE |
0x00000000000000FD
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= |
| 2386 | 0x0000000000000004 |
0x0000000000010017
|
Δ | 0xFFFFFFFFFFFFFFFE |
0x00000000000000FC
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= |
| 2387 | 0x0000000000000010 |
0x0000000000010017
|
Δ | 0xFFFFFFFFFFFFFFFE |
0x00000000000000FC
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= |
| 2388 | 0x0000000000000040 |
0x0000000000010017
|
Δ | 0xFFFFFFFFFFFFFFFE |
0x00000000000000FC
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= |
| 2389 | 0x0000000000000080 |
0x0000000000010017
|
Δ | 0xFFFFFFFFFFFFFFFE |
0x00000000000000FC
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= |
| 2390 | 0x0000000000000800 |
0x0000000000010017
|
Δ | 0xFFFFFFFFFFFFFFFE |
0x00000000000000FC
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= |
| 2391 | 0x00000000000008D5 |
0x0000000000010013
|
Δ | 0xFFFFFFFFFFFFFFFE |
0x00000000000000FD
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= |
| 2392 | 0x0000000000000000 |
0x0000000000010013
|
Δ | 0xFFFFFFFFFFFFFFFE |
0x00000000000000FD
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= |
| 2393 | 0x0000000000000001 |
0x0000000000010013
|
Δ | 0xFFFFFFFFFFFFFFFE |
0x00000000000000FE
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= |
| 2394 | 0x0000000000000004 |
0x0000000000010013
|
Δ | 0xFFFFFFFFFFFFFFFE |
0x00000000000000FD
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= |
| 2395 | 0x0000000000000010 |
0x0000000000010013
|
Δ | 0xFFFFFFFFFFFFFFFE |
0x00000000000000FD
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= |
| 2396 | 0x0000000000000040 |
0x0000000000010013
|
Δ | 0xFFFFFFFFFFFFFFFE |
0x00000000000000FD
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= |
| 2397 | 0x0000000000000080 |
0x0000000000010013
|
Δ | 0xFFFFFFFFFFFFFFFE |
0x00000000000000FD
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= |
| 2398 | 0x0000000000000800 |
0x0000000000010013
|
Δ | 0xFFFFFFFFFFFFFFFE |
0x00000000000000FD
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= |
| 2399 | 0x00000000000008D5 |
0x0000000000010013
|
Δ | 0xFFFFFFFFFFFFFFFE |
0x00000000000000FE
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= |