cmovb rax, rbxOpcode: 480f42c3
| State # | flag |
rax |
rbx |
||||||
|---|---|---|---|---|---|---|---|---|---|
| Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | |
| 400 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0x0000000000000002 |
0x0000000000000002
|
= | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= |
| 401 | 0x0000000000000001 |
0x0000000000010003
|
Δ | 0x0000000000000002 |
0xFFFFFFFFFFFFFF02
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= |
| 402 | 0x0000000000000004 |
0x0000000000010006
|
Δ | 0x0000000000000002 |
0x0000000000000002
|
= | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= |
| 403 | 0x0000000000000010 |
0x0000000000010012
|
Δ | 0x0000000000000002 |
0x0000000000000002
|
= | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= |
| 404 | 0x0000000000000040 |
0x0000000000010042
|
Δ | 0x0000000000000002 |
0x0000000000000002
|
= | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= |
| 405 | 0x0000000000000080 |
0x0000000000010082
|
Δ | 0x0000000000000002 |
0x0000000000000002
|
= | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= |
| 406 | 0x0000000000000800 |
0x0000000000010802
|
Δ | 0x0000000000000002 |
0x0000000000000002
|
= | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= |
| 407 | 0x00000000000008D5 |
0x00000000000108D7
|
Δ | 0x0000000000000002 |
0xFFFFFFFFFFFFFF02
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= |
| 408 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0x0000000000000002 |
0x0000000000000002
|
= | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= |
| 409 | 0x0000000000000001 |
0x0000000000010003
|
Δ | 0x0000000000000002 |
0xFFFFFFFFFFFFFF80
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= |
| 410 | 0x0000000000000004 |
0x0000000000010006
|
Δ | 0x0000000000000002 |
0x0000000000000002
|
= | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= |
| 411 | 0x0000000000000010 |
0x0000000000010012
|
Δ | 0x0000000000000002 |
0x0000000000000002
|
= | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= |
| 412 | 0x0000000000000040 |
0x0000000000010042
|
Δ | 0x0000000000000002 |
0x0000000000000002
|
= | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= |
| 413 | 0x0000000000000080 |
0x0000000000010082
|
Δ | 0x0000000000000002 |
0x0000000000000002
|
= | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= |
| 414 | 0x0000000000000800 |
0x0000000000010802
|
Δ | 0x0000000000000002 |
0x0000000000000002
|
= | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= |
| 415 | 0x00000000000008D5 |
0x00000000000108D7
|
Δ | 0x0000000000000002 |
0xFFFFFFFFFFFFFF80
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= |
| 416 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0x0000000000000002 |
0x0000000000000002
|
= | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= |
| 417 | 0x0000000000000001 |
0x0000000000010003
|
Δ | 0x0000000000000002 |
0xFFFFFFFFFFFFFFFE
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= |
| 418 | 0x0000000000000004 |
0x0000000000010006
|
Δ | 0x0000000000000002 |
0x0000000000000002
|
= | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= |
| 419 | 0x0000000000000010 |
0x0000000000010012
|
Δ | 0x0000000000000002 |
0x0000000000000002
|
= | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= |
| 420 | 0x0000000000000040 |
0x0000000000010042
|
Δ | 0x0000000000000002 |
0x0000000000000002
|
= | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= |
| 421 | 0x0000000000000080 |
0x0000000000010082
|
Δ | 0x0000000000000002 |
0x0000000000000002
|
= | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= |
| 422 | 0x0000000000000800 |
0x0000000000010802
|
Δ | 0x0000000000000002 |
0x0000000000000002
|
= | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= |
| 423 | 0x00000000000008D5 |
0x00000000000108D7
|
Δ | 0x0000000000000002 |
0xFFFFFFFFFFFFFFFE
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= |
| 424 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0x0000000000000002 |
0x0000000000000002
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= |
| 425 | 0x0000000000000001 |
0x0000000000010003
|
Δ | 0x0000000000000002 |
0xFFFFFFFFFFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= |
| 426 | 0x0000000000000004 |
0x0000000000010006
|
Δ | 0x0000000000000002 |
0x0000000000000002
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= |
| 427 | 0x0000000000000010 |
0x0000000000010012
|
Δ | 0x0000000000000002 |
0x0000000000000002
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= |
| 428 | 0x0000000000000040 |
0x0000000000010042
|
Δ | 0x0000000000000002 |
0x0000000000000002
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= |
| 429 | 0x0000000000000080 |
0x0000000000010082
|
Δ | 0x0000000000000002 |
0x0000000000000002
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= |
| 430 | 0x0000000000000800 |
0x0000000000010802
|
Δ | 0x0000000000000002 |
0x0000000000000002
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= |
| 431 | 0x00000000000008D5 |
0x00000000000108D7
|
Δ | 0x0000000000000002 |
0xFFFFFFFFFFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= |
| 432 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000000 |
0x0000000000000000
|
= |
| 433 | 0x0000000000000001 |
0x0000000000010003
|
Δ | 0x0000000000000003 |
0x0000000000000000
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= |
| 434 | 0x0000000000000004 |
0x0000000000010006
|
Δ | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000000 |
0x0000000000000000
|
= |
| 435 | 0x0000000000000010 |
0x0000000000010012
|
Δ | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000000 |
0x0000000000000000
|
= |
| 436 | 0x0000000000000040 |
0x0000000000010042
|
Δ | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000000 |
0x0000000000000000
|
= |
| 437 | 0x0000000000000080 |
0x0000000000010082
|
Δ | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000000 |
0x0000000000000000
|
= |
| 438 | 0x0000000000000800 |
0x0000000000010802
|
Δ | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000000 |
0x0000000000000000
|
= |
| 439 | 0x00000000000008D5 |
0x00000000000108D7
|
Δ | 0x0000000000000003 |
0x0000000000000000
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= |
| 440 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000001 |
0x0000000000000001
|
= |
| 441 | 0x0000000000000001 |
0x0000000000010003
|
Δ | 0x0000000000000003 |
0x0000000000000001
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= |
| 442 | 0x0000000000000004 |
0x0000000000010006
|
Δ | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000001 |
0x0000000000000001
|
= |
| 443 | 0x0000000000000010 |
0x0000000000010012
|
Δ | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000001 |
0x0000000000000001
|
= |
| 444 | 0x0000000000000040 |
0x0000000000010042
|
Δ | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000001 |
0x0000000000000001
|
= |
| 445 | 0x0000000000000080 |
0x0000000000010082
|
Δ | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000001 |
0x0000000000000001
|
= |
| 446 | 0x0000000000000800 |
0x0000000000010802
|
Δ | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000001 |
0x0000000000000001
|
= |
| 447 | 0x00000000000008D5 |
0x00000000000108D7
|
Δ | 0x0000000000000003 |
0x0000000000000001
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= |
| 448 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000002 |
0x0000000000000002
|
= |
| 449 | 0x0000000000000001 |
0x0000000000010003
|
Δ | 0x0000000000000003 |
0x0000000000000002
|
Δ | 0x0000000000000002 |
0x0000000000000002
|
= |