sarx rax, rbx, rcxOpcode: c4e2f2f7c3
| State # | flag |
rax |
rbx |
rcx |
rdx |
||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | |
| 3150 | — |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0xFFFFFFFFFFFFFF01
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0x0000000000000000 |
0x0000000000000000
|
= | — |
0x0000000000000000
|
Δ |
| 3151 | — |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0xFFFFFFFFFFFFFF80
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0x0000000000000001 |
0x0000000000000001
|
= | — |
0x0000000000000000
|
Δ |
| 3152 | — |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0xFFFFFFFFFFFFFFC0
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0x0000000000000002 |
0x0000000000000002
|
= | — |
0x0000000000000000
|
Δ |
| 3153 | — |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0xFFFFFFFFFFFFFFE0
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | — |
0x0000000000000000
|
Δ |
| 3154 | — |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0xFFFFFFFFFFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0x000000000000007E |
0x000000000000007E
|
= | — |
0x0000000000000000
|
Δ |
| 3155 | — |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0xFFFFFFFFFFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0x000000000000007F |
0x000000000000007F
|
= | — |
0x0000000000000000
|
Δ |
| 3156 | — |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0xFFFFFFFFFFFFFF01
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0x0000000000000080 |
0x0000000000000080
|
= | — |
0x0000000000000000
|
Δ |
| 3157 | — |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0xFFFFFFFFFFFFFF80
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0x0000000000000081 |
0x0000000000000081
|
= | — |
0x0000000000000000
|
Δ |
| 3158 | — |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0xFFFFFFFFFFFFFFC0
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0x0000000000000082 |
0x0000000000000082
|
= | — |
0x0000000000000000
|
Δ |
| 3159 | — |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0xFFFFFFFFFFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0x00000000000000FD |
0x00000000000000FD
|
= | — |
0x0000000000000000
|
Δ |
| 3160 | — |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0xFFFFFFFFFFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0x00000000000000FE |
0x00000000000000FE
|
= | — |
0x0000000000000000
|
Δ |
| 3161 | — |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0xFFFFFFFFFFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0x00000000000000FF |
0x00000000000000FF
|
= | — |
0x0000000000000000
|
Δ |
| 3162 | — |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0xFFFFFFFFFFFFFF01
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | — |
0x0000000000000000
|
Δ |
| 3163 | — |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0xFFFFFFFFFFFFFF80
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | — |
0x0000000000000000
|
Δ |
| 3164 | — |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0xFFFFFFFFFFFFFFC0
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | — |
0x0000000000000000
|
Δ |
| 3165 | — |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0xFFFFFFFFFFFFFF01
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | — |
0x0000000000000000
|
Δ |
| 3166 | — |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0xFFFFFFFFFFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | — |
0x0000000000000000
|
Δ |
| 3167 | — |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0xFFFFFFFFFFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | — |
0x0000000000000000
|
Δ |
| 3168 | — |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0xFFFFFFFFFFFFFF02
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x0000000000000000 |
0x0000000000000000
|
= | — |
0x0000000000000000
|
Δ |
| 3169 | — |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0xFFFFFFFFFFFFFF81
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x0000000000000001 |
0x0000000000000001
|
= | — |
0x0000000000000000
|
Δ |
| 3170 | — |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0xFFFFFFFFFFFFFFC0
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x0000000000000002 |
0x0000000000000002
|
= | — |
0x0000000000000000
|
Δ |
| 3171 | — |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0xFFFFFFFFFFFFFFE0
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | — |
0x0000000000000000
|
Δ |
| 3172 | — |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0xFFFFFFFFFFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x000000000000007E |
0x000000000000007E
|
= | — |
0x0000000000000000
|
Δ |
| 3173 | — |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0xFFFFFFFFFFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x000000000000007F |
0x000000000000007F
|
= | — |
0x0000000000000000
|
Δ |
| 3174 | — |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0xFFFFFFFFFFFFFF02
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x0000000000000080 |
0x0000000000000080
|
= | — |
0x0000000000000000
|
Δ |
| 3175 | — |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0xFFFFFFFFFFFFFF81
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x0000000000000081 |
0x0000000000000081
|
= | — |
0x0000000000000000
|
Δ |
| 3176 | — |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0xFFFFFFFFFFFFFFC0
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x0000000000000082 |
0x0000000000000082
|
= | — |
0x0000000000000000
|
Δ |
| 3177 | — |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0xFFFFFFFFFFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x00000000000000FD |
0x00000000000000FD
|
= | — |
0x0000000000000000
|
Δ |
| 3178 | — |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0xFFFFFFFFFFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x00000000000000FE |
0x00000000000000FE
|
= | — |
0x0000000000000000
|
Δ |
| 3179 | — |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0xFFFFFFFFFFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x00000000000000FF |
0x00000000000000FF
|
= | — |
0x0000000000000000
|
Δ |
| 3180 | — |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0xFFFFFFFFFFFFFF02
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | — |
0x0000000000000000
|
Δ |
| 3181 | — |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0xFFFFFFFFFFFFFF81
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | — |
0x0000000000000000
|
Δ |
| 3182 | — |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0xFFFFFFFFFFFFFFC0
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | — |
0x0000000000000000
|
Δ |
| 3183 | — |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0xFFFFFFFFFFFFFF02
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | — |
0x0000000000000000
|
Δ |
| 3184 | — |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0xFFFFFFFFFFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | — |
0x0000000000000000
|
Δ |
| 3185 | — |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0xFFFFFFFFFFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | — |
0x0000000000000000
|
Δ |
| 3186 | — |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0xFFFFFFFFFFFFFF80
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x0000000000000000 |
0x0000000000000000
|
= | — |
0x0000000000000000
|
Δ |
| 3187 | — |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0xFFFFFFFFFFFFFFC0
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x0000000000000001 |
0x0000000000000001
|
= | — |
0x0000000000000000
|
Δ |
| 3188 | — |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0xFFFFFFFFFFFFFFE0
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x0000000000000002 |
0x0000000000000002
|
= | — |
0x0000000000000000
|
Δ |
| 3189 | — |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0xFFFFFFFFFFFFFFF0
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | — |
0x0000000000000000
|
Δ |
| 3190 | — |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0xFFFFFFFFFFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x000000000000007E |
0x000000000000007E
|
= | — |
0x0000000000000000
|
Δ |
| 3191 | — |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0xFFFFFFFFFFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x000000000000007F |
0x000000000000007F
|
= | — |
0x0000000000000000
|
Δ |
| 3192 | — |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0xFFFFFFFFFFFFFF80
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x0000000000000080 |
0x0000000000000080
|
= | — |
0x0000000000000000
|
Δ |
| 3193 | — |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0xFFFFFFFFFFFFFFC0
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x0000000000000081 |
0x0000000000000081
|
= | — |
0x0000000000000000
|
Δ |
| 3194 | — |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0xFFFFFFFFFFFFFFE0
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x0000000000000082 |
0x0000000000000082
|
= | — |
0x0000000000000000
|
Δ |
| 3195 | — |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0xFFFFFFFFFFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x00000000000000FD |
0x00000000000000FD
|
= | — |
0x0000000000000000
|
Δ |
| 3196 | — |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0xFFFFFFFFFFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x00000000000000FE |
0x00000000000000FE
|
= | — |
0x0000000000000000
|
Δ |
| 3197 | — |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0xFFFFFFFFFFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x00000000000000FF |
0x00000000000000FF
|
= | — |
0x0000000000000000
|
Δ |
| 3198 | — |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0xFFFFFFFFFFFFFF80
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | — |
0x0000000000000000
|
Δ |
| 3199 | — |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0xFFFFFFFFFFFFFFC0
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | — |
0x0000000000000000
|
Δ |