bsr rax, rbxOpcode: 480fbdc3
| State # | flag |
rax |
rbx |
||||||
|---|---|---|---|---|---|---|---|---|---|
| Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | |
| 1250 | 0x0000000000000004 |
0x0000000000010006
|
Δ | 0x00000000000000FD |
0x0000000000000006
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= |
| 1251 | 0x0000000000000010 |
0x0000000000010006
|
Δ | 0x00000000000000FD |
0x0000000000000006
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= |
| 1252 | 0x0000000000000040 |
0x0000000000010006
|
Δ | 0x00000000000000FD |
0x0000000000000006
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= |
| 1253 | 0x0000000000000080 |
0x0000000000010006
|
Δ | 0x00000000000000FD |
0x0000000000000006
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= |
| 1254 | 0x0000000000000800 |
0x0000000000010006
|
Δ | 0x00000000000000FD |
0x0000000000000006
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= |
| 1255 | 0x00000000000008D5 |
0x0000000000010006
|
Δ | 0x00000000000000FD |
0x0000000000000006
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= |
| 1256 | 0x0000000000000000 |
0x0000000000010006
|
Δ | 0x00000000000000FD |
0x0000000000000006
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= |
| 1257 | 0x0000000000000001 |
0x0000000000010006
|
Δ | 0x00000000000000FD |
0x0000000000000006
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= |
| 1258 | 0x0000000000000004 |
0x0000000000010006
|
Δ | 0x00000000000000FD |
0x0000000000000006
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= |
| 1259 | 0x0000000000000010 |
0x0000000000010006
|
Δ | 0x00000000000000FD |
0x0000000000000006
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= |
| 1260 | 0x0000000000000040 |
0x0000000000010006
|
Δ | 0x00000000000000FD |
0x0000000000000006
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= |
| 1261 | 0x0000000000000080 |
0x0000000000010006
|
Δ | 0x00000000000000FD |
0x0000000000000006
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= |
| 1262 | 0x0000000000000800 |
0x0000000000010006
|
Δ | 0x00000000000000FD |
0x0000000000000006
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= |
| 1263 | 0x00000000000008D5 |
0x0000000000010006
|
Δ | 0x00000000000000FD |
0x0000000000000006
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= |
| 1264 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0x0000000000000007
|
Δ | 0x0000000000000080 |
0x0000000000000080
|
= |
| 1265 | 0x0000000000000001 |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0x0000000000000007
|
Δ | 0x0000000000000080 |
0x0000000000000080
|
= |
| 1266 | 0x0000000000000004 |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0x0000000000000007
|
Δ | 0x0000000000000080 |
0x0000000000000080
|
= |
| 1267 | 0x0000000000000010 |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0x0000000000000007
|
Δ | 0x0000000000000080 |
0x0000000000000080
|
= |
| 1268 | 0x0000000000000040 |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0x0000000000000007
|
Δ | 0x0000000000000080 |
0x0000000000000080
|
= |
| 1269 | 0x0000000000000080 |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0x0000000000000007
|
Δ | 0x0000000000000080 |
0x0000000000000080
|
= |
| 1270 | 0x0000000000000800 |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0x0000000000000007
|
Δ | 0x0000000000000080 |
0x0000000000000080
|
= |
| 1271 | 0x00000000000008D5 |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0x0000000000000007
|
Δ | 0x0000000000000080 |
0x0000000000000080
|
= |
| 1272 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0x0000000000000007
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= |
| 1273 | 0x0000000000000001 |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0x0000000000000007
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= |
| 1274 | 0x0000000000000004 |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0x0000000000000007
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= |
| 1275 | 0x0000000000000010 |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0x0000000000000007
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= |
| 1276 | 0x0000000000000040 |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0x0000000000000007
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= |
| 1277 | 0x0000000000000080 |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0x0000000000000007
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= |
| 1278 | 0x0000000000000800 |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0x0000000000000007
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= |
| 1279 | 0x00000000000008D5 |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0x0000000000000007
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= |
| 1280 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0x0000000000000007
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= |
| 1281 | 0x0000000000000001 |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0x0000000000000007
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= |
| 1282 | 0x0000000000000004 |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0x0000000000000007
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= |
| 1283 | 0x0000000000000010 |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0x0000000000000007
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= |
| 1284 | 0x0000000000000040 |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0x0000000000000007
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= |
| 1285 | 0x0000000000000080 |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0x0000000000000007
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= |
| 1286 | 0x0000000000000800 |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0x0000000000000007
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= |
| 1287 | 0x00000000000008D5 |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0x0000000000000007
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= |
| 1288 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0x0000000000000007
|
Δ | 0x00000000000000FD |
0x00000000000000FD
|
= |
| 1289 | 0x0000000000000001 |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0x0000000000000007
|
Δ | 0x00000000000000FD |
0x00000000000000FD
|
= |
| 1290 | 0x0000000000000004 |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0x0000000000000007
|
Δ | 0x00000000000000FD |
0x00000000000000FD
|
= |
| 1291 | 0x0000000000000010 |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0x0000000000000007
|
Δ | 0x00000000000000FD |
0x00000000000000FD
|
= |
| 1292 | 0x0000000000000040 |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0x0000000000000007
|
Δ | 0x00000000000000FD |
0x00000000000000FD
|
= |
| 1293 | 0x0000000000000080 |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0x0000000000000007
|
Δ | 0x00000000000000FD |
0x00000000000000FD
|
= |
| 1294 | 0x0000000000000800 |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0x0000000000000007
|
Δ | 0x00000000000000FD |
0x00000000000000FD
|
= |
| 1295 | 0x00000000000008D5 |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0x0000000000000007
|
Δ | 0x00000000000000FD |
0x00000000000000FD
|
= |
| 1296 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0x0000000000000007
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= |
| 1297 | 0x0000000000000001 |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0x0000000000000007
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= |
| 1298 | 0x0000000000000004 |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0x0000000000000007
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= |
| 1299 | 0x0000000000000010 |
0x0000000000010002
|
Δ | 0x00000000000000FD |
0x0000000000000007
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= |