bsr eax, ebxOpcode: 0fbdc3
| State # | flag |
rax |
rbx |
||||||
|---|---|---|---|---|---|---|---|---|---|
| Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | |
| 1400 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000000000007
|
Δ | 0x0000000000000080 |
0x0000000000000080
|
= |
| 1401 | 0x0000000000000001 |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000000000007
|
Δ | 0x0000000000000080 |
0x0000000000000080
|
= |
| 1402 | 0x0000000000000004 |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000000000007
|
Δ | 0x0000000000000080 |
0x0000000000000080
|
= |
| 1403 | 0x0000000000000010 |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000000000007
|
Δ | 0x0000000000000080 |
0x0000000000000080
|
= |
| 1404 | 0x0000000000000040 |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000000000007
|
Δ | 0x0000000000000080 |
0x0000000000000080
|
= |
| 1405 | 0x0000000000000080 |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000000000007
|
Δ | 0x0000000000000080 |
0x0000000000000080
|
= |
| 1406 | 0x0000000000000800 |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000000000007
|
Δ | 0x0000000000000080 |
0x0000000000000080
|
= |
| 1407 | 0x00000000000008D5 |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000000000007
|
Δ | 0x0000000000000080 |
0x0000000000000080
|
= |
| 1408 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000000000007
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= |
| 1409 | 0x0000000000000001 |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000000000007
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= |
| 1410 | 0x0000000000000004 |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000000000007
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= |
| 1411 | 0x0000000000000010 |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000000000007
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= |
| 1412 | 0x0000000000000040 |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000000000007
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= |
| 1413 | 0x0000000000000080 |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000000000007
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= |
| 1414 | 0x0000000000000800 |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000000000007
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= |
| 1415 | 0x00000000000008D5 |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000000000007
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= |
| 1416 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000000000007
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= |
| 1417 | 0x0000000000000001 |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000000000007
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= |
| 1418 | 0x0000000000000004 |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000000000007
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= |
| 1419 | 0x0000000000000010 |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000000000007
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= |
| 1420 | 0x0000000000000040 |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000000000007
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= |
| 1421 | 0x0000000000000080 |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000000000007
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= |
| 1422 | 0x0000000000000800 |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000000000007
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= |
| 1423 | 0x00000000000008D5 |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000000000007
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= |
| 1424 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000000000007
|
Δ | 0x00000000000000FD |
0x00000000000000FD
|
= |
| 1425 | 0x0000000000000001 |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000000000007
|
Δ | 0x00000000000000FD |
0x00000000000000FD
|
= |
| 1426 | 0x0000000000000004 |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000000000007
|
Δ | 0x00000000000000FD |
0x00000000000000FD
|
= |
| 1427 | 0x0000000000000010 |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000000000007
|
Δ | 0x00000000000000FD |
0x00000000000000FD
|
= |
| 1428 | 0x0000000000000040 |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000000000007
|
Δ | 0x00000000000000FD |
0x00000000000000FD
|
= |
| 1429 | 0x0000000000000080 |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000000000007
|
Δ | 0x00000000000000FD |
0x00000000000000FD
|
= |
| 1430 | 0x0000000000000800 |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000000000007
|
Δ | 0x00000000000000FD |
0x00000000000000FD
|
= |
| 1431 | 0x00000000000008D5 |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000000000007
|
Δ | 0x00000000000000FD |
0x00000000000000FD
|
= |
| 1432 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000000000007
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= |
| 1433 | 0x0000000000000001 |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000000000007
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= |
| 1434 | 0x0000000000000004 |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000000000007
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= |
| 1435 | 0x0000000000000010 |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000000000007
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= |
| 1436 | 0x0000000000000040 |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000000000007
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= |
| 1437 | 0x0000000000000080 |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000000000007
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= |
| 1438 | 0x0000000000000800 |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000000000007
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= |
| 1439 | 0x00000000000008D5 |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000000000007
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= |
| 1440 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000000000007
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= |
| 1441 | 0x0000000000000001 |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000000000007
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= |
| 1442 | 0x0000000000000004 |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000000000007
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= |
| 1443 | 0x0000000000000010 |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000000000007
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= |
| 1444 | 0x0000000000000040 |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000000000007
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= |
| 1445 | 0x0000000000000080 |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000000000007
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= |
| 1446 | 0x0000000000000800 |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000000000007
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= |
| 1447 | 0x00000000000008D5 |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x0000000000000007
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= |
| 1448 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x000000000000001F
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= |
| 1449 | 0x0000000000000001 |
0x0000000000010002
|
Δ | 0x00000000000000FE |
0x000000000000001F
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= |