lzcnt rax, rbx

Opcode: f3480fbdc3

Instruction: LZCNT
Undefined flags: AF, OF, PF, SF

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