sarx eax, ebx, ecxOpcode: c4e272f7c3
| State # | flag |
rax |
rbx |
rcx |
rdx |
||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | |
| 2850 | — |
0x0000000000010002
|
Δ | 0x0000000000000082 |
0x00000000FFFFFF02
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x0000000000000080 |
0x0000000000000080
|
= | — |
0x0000000000000000
|
Δ |
| 2851 | — |
0x0000000000010002
|
Δ | 0x0000000000000082 |
0x00000000FFFFFF81
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x0000000000000081 |
0x0000000000000081
|
= | — |
0x0000000000000000
|
Δ |
| 2852 | — |
0x0000000000010002
|
Δ | 0x0000000000000082 |
0x00000000FFFFFFC0
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x0000000000000082 |
0x0000000000000082
|
= | — |
0x0000000000000000
|
Δ |
| 2853 | — |
0x0000000000010002
|
Δ | 0x0000000000000082 |
0x00000000FFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x00000000000000FD |
0x00000000000000FD
|
= | — |
0x0000000000000000
|
Δ |
| 2854 | — |
0x0000000000010002
|
Δ | 0x0000000000000082 |
0x00000000FFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x00000000000000FE |
0x00000000000000FE
|
= | — |
0x0000000000000000
|
Δ |
| 2855 | — |
0x0000000000010002
|
Δ | 0x0000000000000082 |
0x00000000FFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x00000000000000FF |
0x00000000000000FF
|
= | — |
0x0000000000000000
|
Δ |
| 2856 | — |
0x0000000000010002
|
Δ | 0x0000000000000082 |
0x00000000FFFFFF02
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | — |
0x0000000000000000
|
Δ |
| 2857 | — |
0x0000000000010002
|
Δ | 0x0000000000000082 |
0x00000000FFFFFF81
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | — |
0x0000000000000000
|
Δ |
| 2858 | — |
0x0000000000010002
|
Δ | 0x0000000000000082 |
0x00000000FFFFFFC0
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | — |
0x0000000000000000
|
Δ |
| 2859 | — |
0x0000000000010002
|
Δ | 0x0000000000000082 |
0x00000000FFFFFF02
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | — |
0x0000000000000000
|
Δ |
| 2860 | — |
0x0000000000010002
|
Δ | 0x0000000000000082 |
0x00000000FFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | — |
0x0000000000000000
|
Δ |
| 2861 | — |
0x0000000000010002
|
Δ | 0x0000000000000082 |
0x00000000FFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | — |
0x0000000000000000
|
Δ |
| 2862 | — |
0x0000000000010002
|
Δ | 0x0000000000000082 |
0x00000000FFFFFF80
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x0000000000000000 |
0x0000000000000000
|
= | — |
0x0000000000000000
|
Δ |
| 2863 | — |
0x0000000000010002
|
Δ | 0x0000000000000082 |
0x00000000FFFFFFC0
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x0000000000000001 |
0x0000000000000001
|
= | — |
0x0000000000000000
|
Δ |
| 2864 | — |
0x0000000000010002
|
Δ | 0x0000000000000082 |
0x00000000FFFFFFE0
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x0000000000000002 |
0x0000000000000002
|
= | — |
0x0000000000000000
|
Δ |
| 2865 | — |
0x0000000000010002
|
Δ | 0x0000000000000082 |
0x00000000FFFFFFF0
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | — |
0x0000000000000000
|
Δ |
| 2866 | — |
0x0000000000010002
|
Δ | 0x0000000000000082 |
0x00000000FFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x000000000000007E |
0x000000000000007E
|
= | — |
0x0000000000000000
|
Δ |
| 2867 | — |
0x0000000000010002
|
Δ | 0x0000000000000082 |
0x00000000FFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x000000000000007F |
0x000000000000007F
|
= | — |
0x0000000000000000
|
Δ |
| 2868 | — |
0x0000000000010002
|
Δ | 0x0000000000000082 |
0x00000000FFFFFF80
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x0000000000000080 |
0x0000000000000080
|
= | — |
0x0000000000000000
|
Δ |
| 2869 | — |
0x0000000000010002
|
Δ | 0x0000000000000082 |
0x00000000FFFFFFC0
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x0000000000000081 |
0x0000000000000081
|
= | — |
0x0000000000000000
|
Δ |
| 2870 | — |
0x0000000000010002
|
Δ | 0x0000000000000082 |
0x00000000FFFFFFE0
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x0000000000000082 |
0x0000000000000082
|
= | — |
0x0000000000000000
|
Δ |
| 2871 | — |
0x0000000000010002
|
Δ | 0x0000000000000082 |
0x00000000FFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x00000000000000FD |
0x00000000000000FD
|
= | — |
0x0000000000000000
|
Δ |
| 2872 | — |
0x0000000000010002
|
Δ | 0x0000000000000082 |
0x00000000FFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x00000000000000FE |
0x00000000000000FE
|
= | — |
0x0000000000000000
|
Δ |
| 2873 | — |
0x0000000000010002
|
Δ | 0x0000000000000082 |
0x00000000FFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x00000000000000FF |
0x00000000000000FF
|
= | — |
0x0000000000000000
|
Δ |
| 2874 | — |
0x0000000000010002
|
Δ | 0x0000000000000082 |
0x00000000FFFFFF80
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | — |
0x0000000000000000
|
Δ |
| 2875 | — |
0x0000000000010002
|
Δ | 0x0000000000000082 |
0x00000000FFFFFFC0
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | — |
0x0000000000000000
|
Δ |
| 2876 | — |
0x0000000000010002
|
Δ | 0x0000000000000082 |
0x00000000FFFFFFE0
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | — |
0x0000000000000000
|
Δ |
| 2877 | — |
0x0000000000010002
|
Δ | 0x0000000000000082 |
0x00000000FFFFFF80
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | — |
0x0000000000000000
|
Δ |
| 2878 | — |
0x0000000000010002
|
Δ | 0x0000000000000082 |
0x00000000FFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | — |
0x0000000000000000
|
Δ |
| 2879 | — |
0x0000000000010002
|
Δ | 0x0000000000000082 |
0x00000000FFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | — |
0x0000000000000000
|
Δ |
| 2880 | — |
0x0000000000010002
|
Δ | 0x0000000000000082 |
0x00000000FFFFFFFE
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0x0000000000000000 |
0x0000000000000000
|
= | — |
0x0000000000000000
|
Δ |
| 2881 | — |
0x0000000000010002
|
Δ | 0x0000000000000082 |
0x00000000FFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0x0000000000000001 |
0x0000000000000001
|
= | — |
0x0000000000000000
|
Δ |
| 2882 | — |
0x0000000000010002
|
Δ | 0x0000000000000082 |
0x00000000FFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0x0000000000000002 |
0x0000000000000002
|
= | — |
0x0000000000000000
|
Δ |
| 2883 | — |
0x0000000000010002
|
Δ | 0x0000000000000082 |
0x00000000FFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | — |
0x0000000000000000
|
Δ |
| 2884 | — |
0x0000000000010002
|
Δ | 0x0000000000000082 |
0x00000000FFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0x000000000000007E |
0x000000000000007E
|
= | — |
0x0000000000000000
|
Δ |
| 2885 | — |
0x0000000000010002
|
Δ | 0x0000000000000082 |
0x00000000FFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0x000000000000007F |
0x000000000000007F
|
= | — |
0x0000000000000000
|
Δ |
| 2886 | — |
0x0000000000010002
|
Δ | 0x0000000000000082 |
0x00000000FFFFFFFE
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0x0000000000000080 |
0x0000000000000080
|
= | — |
0x0000000000000000
|
Δ |
| 2887 | — |
0x0000000000010002
|
Δ | 0x0000000000000082 |
0x00000000FFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0x0000000000000081 |
0x0000000000000081
|
= | — |
0x0000000000000000
|
Δ |
| 2888 | — |
0x0000000000010002
|
Δ | 0x0000000000000082 |
0x00000000FFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0x0000000000000082 |
0x0000000000000082
|
= | — |
0x0000000000000000
|
Δ |
| 2889 | — |
0x0000000000010002
|
Δ | 0x0000000000000082 |
0x00000000FFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0x00000000000000FD |
0x00000000000000FD
|
= | — |
0x0000000000000000
|
Δ |
| 2890 | — |
0x0000000000010002
|
Δ | 0x0000000000000082 |
0x00000000FFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0x00000000000000FE |
0x00000000000000FE
|
= | — |
0x0000000000000000
|
Δ |
| 2891 | — |
0x0000000000010002
|
Δ | 0x0000000000000082 |
0x00000000FFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0x00000000000000FF |
0x00000000000000FF
|
= | — |
0x0000000000000000
|
Δ |
| 2892 | — |
0x0000000000010002
|
Δ | 0x0000000000000082 |
0x00000000FFFFFFFE
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | — |
0x0000000000000000
|
Δ |
| 2893 | — |
0x0000000000010002
|
Δ | 0x0000000000000082 |
0x00000000FFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | — |
0x0000000000000000
|
Δ |
| 2894 | — |
0x0000000000010002
|
Δ | 0x0000000000000082 |
0x00000000FFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | — |
0x0000000000000000
|
Δ |
| 2895 | — |
0x0000000000010002
|
Δ | 0x0000000000000082 |
0x00000000FFFFFFFE
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | — |
0x0000000000000000
|
Δ |
| 2896 | — |
0x0000000000010002
|
Δ | 0x0000000000000082 |
0x00000000FFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | — |
0x0000000000000000
|
Δ |
| 2897 | — |
0x0000000000010002
|
Δ | 0x0000000000000082 |
0x00000000FFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | — |
0x0000000000000000
|
Δ |
| 2898 | — |
0x0000000000010002
|
Δ | 0x0000000000000082 |
0x00000000FFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0x0000000000000000 |
0x0000000000000000
|
= | — |
0x0000000000000000
|
Δ |
| 2899 | — |
0x0000000000010002
|
Δ | 0x0000000000000082 |
0x00000000FFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0x0000000000000001 |
0x0000000000000001
|
= | — |
0x0000000000000000
|
Δ |