adc rax, rbx

Opcode: 4811d8

Instruction: ADC
Undefined flags: none

Total states: 2,592
State # flag rax rbx
InitialFinalΔ InitialFinalΔ InitialFinalΔ
2550 0x0000000000000800 0x0000000000010087 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFEFF Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 =
2551 0x00000000000008D5 0x0000000000010097 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFF00 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 =
2552 0x0000000000000000 0x0000000000010097 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFF00 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 =
2553 0x0000000000000001 0x0000000000010093 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFF01 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 =
2554 0x0000000000000004 0x0000000000010097 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFF00 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 =
2555 0x0000000000000010 0x0000000000010097 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFF00 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 =
2556 0x0000000000000040 0x0000000000010097 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFF00 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 =
2557 0x0000000000000080 0x0000000000010097 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFF00 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 =
2558 0x0000000000000800 0x0000000000010097 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFF00 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 =
2559 0x00000000000008D5 0x0000000000010093 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFF01 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 =
2560 0x0000000000000000 0x0000000000010093 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFF01 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
2561 0x0000000000000001 0x0000000000010093 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFF02 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
2562 0x0000000000000004 0x0000000000010093 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFF01 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
2563 0x0000000000000010 0x0000000000010093 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFF01 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
2564 0x0000000000000040 0x0000000000010093 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFF01 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
2565 0x0000000000000080 0x0000000000010093 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFF01 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
2566 0x0000000000000800 0x0000000000010093 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFF01 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
2567 0x00000000000008D5 0x0000000000010093 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFF02 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
2568 0x0000000000000000 0x0000000000010083 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFF7F Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
2569 0x0000000000000001 0x0000000000010093 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFF80 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
2570 0x0000000000000004 0x0000000000010083 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFF7F Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
2571 0x0000000000000010 0x0000000000010083 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFF7F Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
2572 0x0000000000000040 0x0000000000010083 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFF7F Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
2573 0x0000000000000080 0x0000000000010083 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFF7F Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
2574 0x0000000000000800 0x0000000000010083 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFF7F Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
2575 0x00000000000008D5 0x0000000000010093 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFF80 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
2576 0x0000000000000000 0x0000000000010093 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFD Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
2577 0x0000000000000001 0x0000000000010093 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFE Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
2578 0x0000000000000004 0x0000000000010093 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFD Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
2579 0x0000000000000010 0x0000000000010093 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFD Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
2580 0x0000000000000040 0x0000000000010093 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFD Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
2581 0x0000000000000080 0x0000000000010093 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFD Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
2582 0x0000000000000800 0x0000000000010093 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFD Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
2583 0x00000000000008D5 0x0000000000010093 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFE Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
2584 0x0000000000000000 0x0000000000010093 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFE Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
2585 0x0000000000000001 0x0000000000010097 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
2586 0x0000000000000004 0x0000000000010093 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFE Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
2587 0x0000000000000010 0x0000000000010093 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFE Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
2588 0x0000000000000040 0x0000000000010093 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFE Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
2589 0x0000000000000080 0x0000000000010093 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFE Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
2590 0x0000000000000800 0x0000000000010093 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFE Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
2591 0x00000000000008D5 0x0000000000010097 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
← Prev Page 52 of 52