sarx eax, ebx, ecxOpcode: c4e272f7c3
| State # | flag |
rax |
rbx |
rcx |
rdx |
||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | |
| 4700 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x000000000000003F
|
Δ | 0x00000000000000FD |
0x00000000000000FD
|
= | 0x0000000000000002 |
0x0000000000000002
|
= | — |
0x0000000000000000
|
Δ |
| 4701 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x000000000000001F
|
Δ | 0x00000000000000FD |
0x00000000000000FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | — |
0x0000000000000000
|
Δ |
| 4702 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000000
|
Δ | 0x00000000000000FD |
0x00000000000000FD
|
= | 0x000000000000007E |
0x000000000000007E
|
= | — |
0x0000000000000000
|
Δ |
| 4703 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000000
|
Δ | 0x00000000000000FD |
0x00000000000000FD
|
= | 0x000000000000007F |
0x000000000000007F
|
= | — |
0x0000000000000000
|
Δ |
| 4704 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x00000000000000FD
|
Δ | 0x00000000000000FD |
0x00000000000000FD
|
= | 0x0000000000000080 |
0x0000000000000080
|
= | — |
0x0000000000000000
|
Δ |
| 4705 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x000000000000007E
|
Δ | 0x00000000000000FD |
0x00000000000000FD
|
= | 0x0000000000000081 |
0x0000000000000081
|
= | — |
0x0000000000000000
|
Δ |
| 4706 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x000000000000003F
|
Δ | 0x00000000000000FD |
0x00000000000000FD
|
= | 0x0000000000000082 |
0x0000000000000082
|
= | — |
0x0000000000000000
|
Δ |
| 4707 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000000
|
Δ | 0x00000000000000FD |
0x00000000000000FD
|
= | 0x00000000000000FD |
0x00000000000000FD
|
= | — |
0x0000000000000000
|
Δ |
| 4708 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000000
|
Δ | 0x00000000000000FD |
0x00000000000000FD
|
= | 0x00000000000000FE |
0x00000000000000FE
|
= | — |
0x0000000000000000
|
Δ |
| 4709 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000000
|
Δ | 0x00000000000000FD |
0x00000000000000FD
|
= | 0x00000000000000FF |
0x00000000000000FF
|
= | — |
0x0000000000000000
|
Δ |
| 4710 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x00000000000000FD
|
Δ | 0x00000000000000FD |
0x00000000000000FD
|
= | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | — |
0x0000000000000000
|
Δ |
| 4711 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x000000000000007E
|
Δ | 0x00000000000000FD |
0x00000000000000FD
|
= | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | — |
0x0000000000000000
|
Δ |
| 4712 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x000000000000003F
|
Δ | 0x00000000000000FD |
0x00000000000000FD
|
= | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | — |
0x0000000000000000
|
Δ |
| 4713 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x00000000000000FD
|
Δ | 0x00000000000000FD |
0x00000000000000FD
|
= | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | — |
0x0000000000000000
|
Δ |
| 4714 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000000
|
Δ | 0x00000000000000FD |
0x00000000000000FD
|
= | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | — |
0x0000000000000000
|
Δ |
| 4715 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000000
|
Δ | 0x00000000000000FD |
0x00000000000000FD
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | — |
0x0000000000000000
|
Δ |
| 4716 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x00000000000000FE
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= | 0x0000000000000000 |
0x0000000000000000
|
= | — |
0x0000000000000000
|
Δ |
| 4717 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x000000000000007F
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= | 0x0000000000000001 |
0x0000000000000001
|
= | — |
0x0000000000000000
|
Δ |
| 4718 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x000000000000003F
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= | 0x0000000000000002 |
0x0000000000000002
|
= | — |
0x0000000000000000
|
Δ |
| 4719 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x000000000000001F
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | — |
0x0000000000000000
|
Δ |
| 4720 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000000
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= | 0x000000000000007E |
0x000000000000007E
|
= | — |
0x0000000000000000
|
Δ |
| 4721 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000000
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= | 0x000000000000007F |
0x000000000000007F
|
= | — |
0x0000000000000000
|
Δ |
| 4722 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x00000000000000FE
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= | 0x0000000000000080 |
0x0000000000000080
|
= | — |
0x0000000000000000
|
Δ |
| 4723 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x000000000000007F
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= | 0x0000000000000081 |
0x0000000000000081
|
= | — |
0x0000000000000000
|
Δ |
| 4724 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x000000000000003F
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= | 0x0000000000000082 |
0x0000000000000082
|
= | — |
0x0000000000000000
|
Δ |
| 4725 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000000
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= | 0x00000000000000FD |
0x00000000000000FD
|
= | — |
0x0000000000000000
|
Δ |
| 4726 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000000
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= | 0x00000000000000FE |
0x00000000000000FE
|
= | — |
0x0000000000000000
|
Δ |
| 4727 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000000
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= | 0x00000000000000FF |
0x00000000000000FF
|
= | — |
0x0000000000000000
|
Δ |
| 4728 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x00000000000000FE
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | — |
0x0000000000000000
|
Δ |
| 4729 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x000000000000007F
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | — |
0x0000000000000000
|
Δ |
| 4730 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x000000000000003F
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | — |
0x0000000000000000
|
Δ |
| 4731 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x00000000000000FE
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | — |
0x0000000000000000
|
Δ |
| 4732 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000000
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | — |
0x0000000000000000
|
Δ |
| 4733 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000000
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | — |
0x0000000000000000
|
Δ |
| 4734 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x00000000000000FF
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x0000000000000000 |
0x0000000000000000
|
= | — |
0x0000000000000000
|
Δ |
| 4735 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x000000000000007F
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x0000000000000001 |
0x0000000000000001
|
= | — |
0x0000000000000000
|
Δ |
| 4736 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x000000000000003F
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x0000000000000002 |
0x0000000000000002
|
= | — |
0x0000000000000000
|
Δ |
| 4737 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x000000000000001F
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | — |
0x0000000000000000
|
Δ |
| 4738 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000000
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x000000000000007E |
0x000000000000007E
|
= | — |
0x0000000000000000
|
Δ |
| 4739 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000000
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x000000000000007F |
0x000000000000007F
|
= | — |
0x0000000000000000
|
Δ |
| 4740 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x00000000000000FF
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x0000000000000080 |
0x0000000000000080
|
= | — |
0x0000000000000000
|
Δ |
| 4741 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x000000000000007F
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x0000000000000081 |
0x0000000000000081
|
= | — |
0x0000000000000000
|
Δ |
| 4742 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x000000000000003F
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x0000000000000082 |
0x0000000000000082
|
= | — |
0x0000000000000000
|
Δ |
| 4743 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000000
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x00000000000000FD |
0x00000000000000FD
|
= | — |
0x0000000000000000
|
Δ |
| 4744 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000000
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x00000000000000FE |
0x00000000000000FE
|
= | — |
0x0000000000000000
|
Δ |
| 4745 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x0000000000000000
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x00000000000000FF |
0x00000000000000FF
|
= | — |
0x0000000000000000
|
Δ |
| 4746 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x00000000000000FF
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | — |
0x0000000000000000
|
Δ |
| 4747 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x000000000000007F
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | — |
0x0000000000000000
|
Δ |
| 4748 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x000000000000003F
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | — |
0x0000000000000000
|
Δ |
| 4749 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0x00000000000000FF
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | — |
0x0000000000000000
|
Δ |