cmovno rax, rbxOpcode: 480f41c3
| State # | flag |
rax |
rbx |
||||||
|---|---|---|---|---|---|---|---|---|---|
| Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | |
| 600 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0x000000000000007E |
0x0000000000000003
|
Δ | 0x0000000000000003 |
0x0000000000000003
|
= |
| 601 | 0x0000000000000001 |
0x0000000000010003
|
Δ | 0x000000000000007E |
0x0000000000000003
|
Δ | 0x0000000000000003 |
0x0000000000000003
|
= |
| 602 | 0x0000000000000004 |
0x0000000000010006
|
Δ | 0x000000000000007E |
0x0000000000000003
|
Δ | 0x0000000000000003 |
0x0000000000000003
|
= |
| 603 | 0x0000000000000010 |
0x0000000000010012
|
Δ | 0x000000000000007E |
0x0000000000000003
|
Δ | 0x0000000000000003 |
0x0000000000000003
|
= |
| 604 | 0x0000000000000040 |
0x0000000000010042
|
Δ | 0x000000000000007E |
0x0000000000000003
|
Δ | 0x0000000000000003 |
0x0000000000000003
|
= |
| 605 | 0x0000000000000080 |
0x0000000000010082
|
Δ | 0x000000000000007E |
0x0000000000000003
|
Δ | 0x0000000000000003 |
0x0000000000000003
|
= |
| 606 | 0x0000000000000800 |
0x0000000000010802
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= | 0x0000000000000003 |
0x0000000000000003
|
= |
| 607 | 0x00000000000008D5 |
0x00000000000108D7
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= | 0x0000000000000003 |
0x0000000000000003
|
= |
| 608 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= | 0x000000000000007E |
0x000000000000007E
|
= |
| 609 | 0x0000000000000001 |
0x0000000000010003
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= | 0x000000000000007E |
0x000000000000007E
|
= |
| 610 | 0x0000000000000004 |
0x0000000000010006
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= | 0x000000000000007E |
0x000000000000007E
|
= |
| 611 | 0x0000000000000010 |
0x0000000000010012
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= | 0x000000000000007E |
0x000000000000007E
|
= |
| 612 | 0x0000000000000040 |
0x0000000000010042
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= | 0x000000000000007E |
0x000000000000007E
|
= |
| 613 | 0x0000000000000080 |
0x0000000000010082
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= | 0x000000000000007E |
0x000000000000007E
|
= |
| 614 | 0x0000000000000800 |
0x0000000000010802
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= | 0x000000000000007E |
0x000000000000007E
|
= |
| 615 | 0x00000000000008D5 |
0x00000000000108D7
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= | 0x000000000000007E |
0x000000000000007E
|
= |
| 616 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0x000000000000007E |
0x000000000000007F
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= |
| 617 | 0x0000000000000001 |
0x0000000000010003
|
Δ | 0x000000000000007E |
0x000000000000007F
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= |
| 618 | 0x0000000000000004 |
0x0000000000010006
|
Δ | 0x000000000000007E |
0x000000000000007F
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= |
| 619 | 0x0000000000000010 |
0x0000000000010012
|
Δ | 0x000000000000007E |
0x000000000000007F
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= |
| 620 | 0x0000000000000040 |
0x0000000000010042
|
Δ | 0x000000000000007E |
0x000000000000007F
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= |
| 621 | 0x0000000000000080 |
0x0000000000010082
|
Δ | 0x000000000000007E |
0x000000000000007F
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= |
| 622 | 0x0000000000000800 |
0x0000000000010802
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= | 0x000000000000007F |
0x000000000000007F
|
= |
| 623 | 0x00000000000008D5 |
0x00000000000108D7
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= | 0x000000000000007F |
0x000000000000007F
|
= |
| 624 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0x000000000000007E |
0x0000000000000080
|
Δ | 0x0000000000000080 |
0x0000000000000080
|
= |
| 625 | 0x0000000000000001 |
0x0000000000010003
|
Δ | 0x000000000000007E |
0x0000000000000080
|
Δ | 0x0000000000000080 |
0x0000000000000080
|
= |
| 626 | 0x0000000000000004 |
0x0000000000010006
|
Δ | 0x000000000000007E |
0x0000000000000080
|
Δ | 0x0000000000000080 |
0x0000000000000080
|
= |
| 627 | 0x0000000000000010 |
0x0000000000010012
|
Δ | 0x000000000000007E |
0x0000000000000080
|
Δ | 0x0000000000000080 |
0x0000000000000080
|
= |
| 628 | 0x0000000000000040 |
0x0000000000010042
|
Δ | 0x000000000000007E |
0x0000000000000080
|
Δ | 0x0000000000000080 |
0x0000000000000080
|
= |
| 629 | 0x0000000000000080 |
0x0000000000010082
|
Δ | 0x000000000000007E |
0x0000000000000080
|
Δ | 0x0000000000000080 |
0x0000000000000080
|
= |
| 630 | 0x0000000000000800 |
0x0000000000010802
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= | 0x0000000000000080 |
0x0000000000000080
|
= |
| 631 | 0x00000000000008D5 |
0x00000000000108D7
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= | 0x0000000000000080 |
0x0000000000000080
|
= |
| 632 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0x000000000000007E |
0x0000000000000081
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= |
| 633 | 0x0000000000000001 |
0x0000000000010003
|
Δ | 0x000000000000007E |
0x0000000000000081
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= |
| 634 | 0x0000000000000004 |
0x0000000000010006
|
Δ | 0x000000000000007E |
0x0000000000000081
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= |
| 635 | 0x0000000000000010 |
0x0000000000010012
|
Δ | 0x000000000000007E |
0x0000000000000081
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= |
| 636 | 0x0000000000000040 |
0x0000000000010042
|
Δ | 0x000000000000007E |
0x0000000000000081
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= |
| 637 | 0x0000000000000080 |
0x0000000000010082
|
Δ | 0x000000000000007E |
0x0000000000000081
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= |
| 638 | 0x0000000000000800 |
0x0000000000010802
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= | 0x0000000000000081 |
0x0000000000000081
|
= |
| 639 | 0x00000000000008D5 |
0x00000000000108D7
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= | 0x0000000000000081 |
0x0000000000000081
|
= |
| 640 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0x000000000000007E |
0x0000000000000082
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= |
| 641 | 0x0000000000000001 |
0x0000000000010003
|
Δ | 0x000000000000007E |
0x0000000000000082
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= |
| 642 | 0x0000000000000004 |
0x0000000000010006
|
Δ | 0x000000000000007E |
0x0000000000000082
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= |
| 643 | 0x0000000000000010 |
0x0000000000010012
|
Δ | 0x000000000000007E |
0x0000000000000082
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= |
| 644 | 0x0000000000000040 |
0x0000000000010042
|
Δ | 0x000000000000007E |
0x0000000000000082
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= |
| 645 | 0x0000000000000080 |
0x0000000000010082
|
Δ | 0x000000000000007E |
0x0000000000000082
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= |
| 646 | 0x0000000000000800 |
0x0000000000010802
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= | 0x0000000000000082 |
0x0000000000000082
|
= |
| 647 | 0x00000000000008D5 |
0x00000000000108D7
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= | 0x0000000000000082 |
0x0000000000000082
|
= |
| 648 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0x000000000000007E |
0x00000000000000FD
|
Δ | 0x00000000000000FD |
0x00000000000000FD
|
= |
| 649 | 0x0000000000000001 |
0x0000000000010003
|
Δ | 0x000000000000007E |
0x00000000000000FD
|
Δ | 0x00000000000000FD |
0x00000000000000FD
|
= |