xadd rax, rbxOpcode: 480fc1d8
| State # | flag |
rax |
rbx |
||||||
|---|---|---|---|---|---|---|---|---|---|
| Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | |
| 1500 | 0x0000000000000040 |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x000000000000017F
|
Δ | 0x0000000000000081 |
0x00000000000000FE
|
Δ |
| 1501 | 0x0000000000000080 |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x000000000000017F
|
Δ | 0x0000000000000081 |
0x00000000000000FE
|
Δ |
| 1502 | 0x0000000000000800 |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x000000000000017F
|
Δ | 0x0000000000000081 |
0x00000000000000FE
|
Δ |
| 1503 | 0x00000000000008D5 |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x000000000000017F
|
Δ | 0x0000000000000081 |
0x00000000000000FE
|
Δ |
| 1504 | 0x0000000000000000 |
0x0000000000010012
|
Δ | 0x00000000000000FE |
0x0000000000000180
|
Δ | 0x0000000000000082 |
0x00000000000000FE
|
Δ |
| 1505 | 0x0000000000000001 |
0x0000000000010012
|
Δ | 0x00000000000000FE |
0x0000000000000180
|
Δ | 0x0000000000000082 |
0x00000000000000FE
|
Δ |
| 1506 | 0x0000000000000004 |
0x0000000000010012
|
Δ | 0x00000000000000FE |
0x0000000000000180
|
Δ | 0x0000000000000082 |
0x00000000000000FE
|
Δ |
| 1507 | 0x0000000000000010 |
0x0000000000010012
|
Δ | 0x00000000000000FE |
0x0000000000000180
|
Δ | 0x0000000000000082 |
0x00000000000000FE
|
Δ |
| 1508 | 0x0000000000000040 |
0x0000000000010012
|
Δ | 0x00000000000000FE |
0x0000000000000180
|
Δ | 0x0000000000000082 |
0x00000000000000FE
|
Δ |
| 1509 | 0x0000000000000080 |
0x0000000000010012
|
Δ | 0x00000000000000FE |
0x0000000000000180
|
Δ | 0x0000000000000082 |
0x00000000000000FE
|
Δ |
| 1510 | 0x0000000000000800 |
0x0000000000010012
|
Δ | 0x00000000000000FE |
0x0000000000000180
|
Δ | 0x0000000000000082 |
0x00000000000000FE
|
Δ |
| 1511 | 0x00000000000008D5 |
0x0000000000010012
|
Δ | 0x00000000000000FE |
0x0000000000000180
|
Δ | 0x0000000000000082 |
0x00000000000000FE
|
Δ |
| 1512 | 0x0000000000000000 |
0x0000000000010012
|
Δ | 0x00000000000000FE |
0x00000000000001FB
|
Δ | 0x00000000000000FD |
0x00000000000000FE
|
Δ |
| 1513 | 0x0000000000000001 |
0x0000000000010012
|
Δ | 0x00000000000000FE |
0x00000000000001FB
|
Δ | 0x00000000000000FD |
0x00000000000000FE
|
Δ |
| 1514 | 0x0000000000000004 |
0x0000000000010012
|
Δ | 0x00000000000000FE |
0x00000000000001FB
|
Δ | 0x00000000000000FD |
0x00000000000000FE
|
Δ |
| 1515 | 0x0000000000000010 |
0x0000000000010012
|
Δ | 0x00000000000000FE |
0x00000000000001FB
|
Δ | 0x00000000000000FD |
0x00000000000000FE
|
Δ |
| 1516 | 0x0000000000000040 |
0x0000000000010012
|
Δ | 0x00000000000000FE |
0x00000000000001FB
|
Δ | 0x00000000000000FD |
0x00000000000000FE
|
Δ |
| 1517 | 0x0000000000000080 |
0x0000000000010012
|
Δ | 0x00000000000000FE |
0x00000000000001FB
|
Δ | 0x00000000000000FD |
0x00000000000000FE
|
Δ |
| 1518 | 0x0000000000000800 |
0x0000000000010012
|
Δ | 0x00000000000000FE |
0x00000000000001FB
|
Δ | 0x00000000000000FD |
0x00000000000000FE
|
Δ |
| 1519 | 0x00000000000008D5 |
0x0000000000010012
|
Δ | 0x00000000000000FE |
0x00000000000001FB
|
Δ | 0x00000000000000FD |
0x00000000000000FE
|
Δ |
| 1520 | 0x0000000000000000 |
0x0000000000010016
|
Δ | 0x00000000000000FE |
0x00000000000001FC
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= |
| 1521 | 0x0000000000000001 |
0x0000000000010016
|
Δ | 0x00000000000000FE |
0x00000000000001FC
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= |
| 1522 | 0x0000000000000004 |
0x0000000000010016
|
Δ | 0x00000000000000FE |
0x00000000000001FC
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= |
| 1523 | 0x0000000000000010 |
0x0000000000010016
|
Δ | 0x00000000000000FE |
0x00000000000001FC
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= |
| 1524 | 0x0000000000000040 |
0x0000000000010016
|
Δ | 0x00000000000000FE |
0x00000000000001FC
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= |
| 1525 | 0x0000000000000080 |
0x0000000000010016
|
Δ | 0x00000000000000FE |
0x00000000000001FC
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= |
| 1526 | 0x0000000000000800 |
0x0000000000010016
|
Δ | 0x00000000000000FE |
0x00000000000001FC
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= |
| 1527 | 0x00000000000008D5 |
0x0000000000010016
|
Δ | 0x00000000000000FE |
0x00000000000001FC
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= |
| 1528 | 0x0000000000000000 |
0x0000000000010012
|
Δ | 0x00000000000000FE |
0x00000000000001FD
|
Δ | 0x00000000000000FF |
0x00000000000000FE
|
Δ |
| 1529 | 0x0000000000000001 |
0x0000000000010012
|
Δ | 0x00000000000000FE |
0x00000000000001FD
|
Δ | 0x00000000000000FF |
0x00000000000000FE
|
Δ |
| 1530 | 0x0000000000000004 |
0x0000000000010012
|
Δ | 0x00000000000000FE |
0x00000000000001FD
|
Δ | 0x00000000000000FF |
0x00000000000000FE
|
Δ |
| 1531 | 0x0000000000000010 |
0x0000000000010012
|
Δ | 0x00000000000000FE |
0x00000000000001FD
|
Δ | 0x00000000000000FF |
0x00000000000000FE
|
Δ |
| 1532 | 0x0000000000000040 |
0x0000000000010012
|
Δ | 0x00000000000000FE |
0x00000000000001FD
|
Δ | 0x00000000000000FF |
0x00000000000000FE
|
Δ |
| 1533 | 0x0000000000000080 |
0x0000000000010012
|
Δ | 0x00000000000000FE |
0x00000000000001FD
|
Δ | 0x00000000000000FF |
0x00000000000000FE
|
Δ |
| 1534 | 0x0000000000000800 |
0x0000000000010012
|
Δ | 0x00000000000000FE |
0x00000000000001FD
|
Δ | 0x00000000000000FF |
0x00000000000000FE
|
Δ |
| 1535 | 0x00000000000008D5 |
0x0000000000010012
|
Δ | 0x00000000000000FE |
0x00000000000001FD
|
Δ | 0x00000000000000FF |
0x00000000000000FE
|
Δ |
| 1536 | 0x0000000000000000 |
0x0000000000010082
|
Δ | 0x00000000000000FE |
0xFFFFFFFFFFFFFFFE
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x00000000000000FE
|
Δ |
| 1537 | 0x0000000000000001 |
0x0000000000010082
|
Δ | 0x00000000000000FE |
0xFFFFFFFFFFFFFFFE
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x00000000000000FE
|
Δ |
| 1538 | 0x0000000000000004 |
0x0000000000010082
|
Δ | 0x00000000000000FE |
0xFFFFFFFFFFFFFFFE
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x00000000000000FE
|
Δ |
| 1539 | 0x0000000000000010 |
0x0000000000010082
|
Δ | 0x00000000000000FE |
0xFFFFFFFFFFFFFFFE
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x00000000000000FE
|
Δ |
| 1540 | 0x0000000000000040 |
0x0000000000010082
|
Δ | 0x00000000000000FE |
0xFFFFFFFFFFFFFFFE
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x00000000000000FE
|
Δ |
| 1541 | 0x0000000000000080 |
0x0000000000010082
|
Δ | 0x00000000000000FE |
0xFFFFFFFFFFFFFFFE
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x00000000000000FE
|
Δ |
| 1542 | 0x0000000000000800 |
0x0000000000010082
|
Δ | 0x00000000000000FE |
0xFFFFFFFFFFFFFFFE
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x00000000000000FE
|
Δ |
| 1543 | 0x00000000000008D5 |
0x0000000000010082
|
Δ | 0x00000000000000FE |
0xFFFFFFFFFFFFFFFE
|
Δ | 0xFFFFFFFFFFFFFF00 |
0x00000000000000FE
|
Δ |
| 1544 | 0x0000000000000000 |
0x0000000000010086
|
Δ | 0x00000000000000FE |
0xFFFFFFFFFFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x00000000000000FE
|
Δ |
| 1545 | 0x0000000000000001 |
0x0000000000010086
|
Δ | 0x00000000000000FE |
0xFFFFFFFFFFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x00000000000000FE
|
Δ |
| 1546 | 0x0000000000000004 |
0x0000000000010086
|
Δ | 0x00000000000000FE |
0xFFFFFFFFFFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x00000000000000FE
|
Δ |
| 1547 | 0x0000000000000010 |
0x0000000000010086
|
Δ | 0x00000000000000FE |
0xFFFFFFFFFFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x00000000000000FE
|
Δ |
| 1548 | 0x0000000000000040 |
0x0000000000010086
|
Δ | 0x00000000000000FE |
0xFFFFFFFFFFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x00000000000000FE
|
Δ |
| 1549 | 0x0000000000000080 |
0x0000000000010086
|
Δ | 0x00000000000000FE |
0xFFFFFFFFFFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFF01 |
0x00000000000000FE
|
Δ |