`lzcnt rax, rbx`

Opcode: f3480fbdc3

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

Total states: 2,592

State #	`flag`			`rax`			`rbx`			`rdx`
State #	Initial	Final	Δ	Initial	Final	Δ	Initial	Final	Δ	Initial	Final	Δ
2300	`0x0000000000000040`	`0x0000000000010042`	Δ	`0xFFFFFFFFFFFFFF80`	`0x0000000000000000`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`—`	`0x0000000000000000`	Δ
2301	`0x0000000000000080`	`0x0000000000010042`	Δ	`0xFFFFFFFFFFFFFF80`	`0x0000000000000000`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`—`	`0x0000000000000000`	Δ
2302	`0x0000000000000800`	`0x0000000000010042`	Δ	`0xFFFFFFFFFFFFFF80`	`0x0000000000000000`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`—`	`0x0000000000000000`	Δ
2303	`0x00000000000008D5`	`0x0000000000010042`	Δ	`0xFFFFFFFFFFFFFF80`	`0x0000000000000000`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`—`	`0x0000000000000000`	Δ
2304	`0x0000000000000000`	`0x0000000000010003`	Δ	`0xFFFFFFFFFFFFFFFE`	`0x0000000000000040`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`—`	`0x0000000000000000`	Δ
2305	`0x0000000000000001`	`0x0000000000010003`	Δ	`0xFFFFFFFFFFFFFFFE`	`0x0000000000000040`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`—`	`0x0000000000000000`	Δ
2306	`0x0000000000000004`	`0x0000000000010003`	Δ	`0xFFFFFFFFFFFFFFFE`	`0x0000000000000040`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`—`	`0x0000000000000000`	Δ
2307	`0x0000000000000010`	`0x0000000000010003`	Δ	`0xFFFFFFFFFFFFFFFE`	`0x0000000000000040`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`—`	`0x0000000000000000`	Δ
2308	`0x0000000000000040`	`0x0000000000010003`	Δ	`0xFFFFFFFFFFFFFFFE`	`0x0000000000000040`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`—`	`0x0000000000000000`	Δ
2309	`0x0000000000000080`	`0x0000000000010003`	Δ	`0xFFFFFFFFFFFFFFFE`	`0x0000000000000040`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`—`	`0x0000000000000000`	Δ
2310	`0x0000000000000800`	`0x0000000000010003`	Δ	`0xFFFFFFFFFFFFFFFE`	`0x0000000000000040`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`—`	`0x0000000000000000`	Δ
2311	`0x00000000000008D5`	`0x0000000000010003`	Δ	`0xFFFFFFFFFFFFFFFE`	`0x0000000000000040`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`—`	`0x0000000000000000`	Δ
2312	`0x0000000000000000`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFFFE`	`0x000000000000003F`	Δ	`0x0000000000000001`	`0x0000000000000001`	=	`—`	`0x0000000000000000`	Δ
2313	`0x0000000000000001`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFFFE`	`0x000000000000003F`	Δ	`0x0000000000000001`	`0x0000000000000001`	=	`—`	`0x0000000000000000`	Δ
2314	`0x0000000000000004`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFFFE`	`0x000000000000003F`	Δ	`0x0000000000000001`	`0x0000000000000001`	=	`—`	`0x0000000000000000`	Δ
2315	`0x0000000000000010`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFFFE`	`0x000000000000003F`	Δ	`0x0000000000000001`	`0x0000000000000001`	=	`—`	`0x0000000000000000`	Δ
2316	`0x0000000000000040`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFFFE`	`0x000000000000003F`	Δ	`0x0000000000000001`	`0x0000000000000001`	=	`—`	`0x0000000000000000`	Δ
2317	`0x0000000000000080`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFFFE`	`0x000000000000003F`	Δ	`0x0000000000000001`	`0x0000000000000001`	=	`—`	`0x0000000000000000`	Δ
2318	`0x0000000000000800`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFFFE`	`0x000000000000003F`	Δ	`0x0000000000000001`	`0x0000000000000001`	=	`—`	`0x0000000000000000`	Δ
2319	`0x00000000000008D5`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFFFE`	`0x000000000000003F`	Δ	`0x0000000000000001`	`0x0000000000000001`	=	`—`	`0x0000000000000000`	Δ
2320	`0x0000000000000000`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFFFE`	`0x000000000000003E`	Δ	`0x0000000000000002`	`0x0000000000000002`	=	`—`	`0x0000000000000000`	Δ
2321	`0x0000000000000001`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFFFE`	`0x000000000000003E`	Δ	`0x0000000000000002`	`0x0000000000000002`	=	`—`	`0x0000000000000000`	Δ
2322	`0x0000000000000004`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFFFE`	`0x000000000000003E`	Δ	`0x0000000000000002`	`0x0000000000000002`	=	`—`	`0x0000000000000000`	Δ
2323	`0x0000000000000010`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFFFE`	`0x000000000000003E`	Δ	`0x0000000000000002`	`0x0000000000000002`	=	`—`	`0x0000000000000000`	Δ
2324	`0x0000000000000040`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFFFE`	`0x000000000000003E`	Δ	`0x0000000000000002`	`0x0000000000000002`	=	`—`	`0x0000000000000000`	Δ
2325	`0x0000000000000080`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFFFE`	`0x000000000000003E`	Δ	`0x0000000000000002`	`0x0000000000000002`	=	`—`	`0x0000000000000000`	Δ
2326	`0x0000000000000800`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFFFE`	`0x000000000000003E`	Δ	`0x0000000000000002`	`0x0000000000000002`	=	`—`	`0x0000000000000000`	Δ
2327	`0x00000000000008D5`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFFFE`	`0x000000000000003E`	Δ	`0x0000000000000002`	`0x0000000000000002`	=	`—`	`0x0000000000000000`	Δ
2328	`0x0000000000000000`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFFFE`	`0x000000000000003E`	Δ	`0x0000000000000003`	`0x0000000000000003`	=	`—`	`0x0000000000000000`	Δ
2329	`0x0000000000000001`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFFFE`	`0x000000000000003E`	Δ	`0x0000000000000003`	`0x0000000000000003`	=	`—`	`0x0000000000000000`	Δ
2330	`0x0000000000000004`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFFFE`	`0x000000000000003E`	Δ	`0x0000000000000003`	`0x0000000000000003`	=	`—`	`0x0000000000000000`	Δ
2331	`0x0000000000000010`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFFFE`	`0x000000000000003E`	Δ	`0x0000000000000003`	`0x0000000000000003`	=	`—`	`0x0000000000000000`	Δ
2332	`0x0000000000000040`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFFFE`	`0x000000000000003E`	Δ	`0x0000000000000003`	`0x0000000000000003`	=	`—`	`0x0000000000000000`	Δ
2333	`0x0000000000000080`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFFFE`	`0x000000000000003E`	Δ	`0x0000000000000003`	`0x0000000000000003`	=	`—`	`0x0000000000000000`	Δ
2334	`0x0000000000000800`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFFFE`	`0x000000000000003E`	Δ	`0x0000000000000003`	`0x0000000000000003`	=	`—`	`0x0000000000000000`	Δ
2335	`0x00000000000008D5`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFFFE`	`0x000000000000003E`	Δ	`0x0000000000000003`	`0x0000000000000003`	=	`—`	`0x0000000000000000`	Δ
2336	`0x0000000000000000`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFFFE`	`0x0000000000000039`	Δ	`0x000000000000007E`	`0x000000000000007E`	=	`—`	`0x0000000000000000`	Δ
2337	`0x0000000000000001`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFFFE`	`0x0000000000000039`	Δ	`0x000000000000007E`	`0x000000000000007E`	=	`—`	`0x0000000000000000`	Δ
2338	`0x0000000000000004`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFFFE`	`0x0000000000000039`	Δ	`0x000000000000007E`	`0x000000000000007E`	=	`—`	`0x0000000000000000`	Δ
2339	`0x0000000000000010`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFFFE`	`0x0000000000000039`	Δ	`0x000000000000007E`	`0x000000000000007E`	=	`—`	`0x0000000000000000`	Δ
2340	`0x0000000000000040`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFFFE`	`0x0000000000000039`	Δ	`0x000000000000007E`	`0x000000000000007E`	=	`—`	`0x0000000000000000`	Δ
2341	`0x0000000000000080`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFFFE`	`0x0000000000000039`	Δ	`0x000000000000007E`	`0x000000000000007E`	=	`—`	`0x0000000000000000`	Δ
2342	`0x0000000000000800`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFFFE`	`0x0000000000000039`	Δ	`0x000000000000007E`	`0x000000000000007E`	=	`—`	`0x0000000000000000`	Δ
2343	`0x00000000000008D5`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFFFE`	`0x0000000000000039`	Δ	`0x000000000000007E`	`0x000000000000007E`	=	`—`	`0x0000000000000000`	Δ
2344	`0x0000000000000000`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFFFE`	`0x0000000000000039`	Δ	`0x000000000000007F`	`0x000000000000007F`	=	`—`	`0x0000000000000000`	Δ
2345	`0x0000000000000001`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFFFE`	`0x0000000000000039`	Δ	`0x000000000000007F`	`0x000000000000007F`	=	`—`	`0x0000000000000000`	Δ
2346	`0x0000000000000004`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFFFE`	`0x0000000000000039`	Δ	`0x000000000000007F`	`0x000000000000007F`	=	`—`	`0x0000000000000000`	Δ
2347	`0x0000000000000010`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFFFE`	`0x0000000000000039`	Δ	`0x000000000000007F`	`0x000000000000007F`	=	`—`	`0x0000000000000000`	Δ
2348	`0x0000000000000040`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFFFE`	`0x0000000000000039`	Δ	`0x000000000000007F`	`0x000000000000007F`	=	`—`	`0x0000000000000000`	Δ
2349	`0x0000000000000080`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFFFE`	`0x0000000000000039`	Δ	`0x000000000000007F`	`0x000000000000007F`	=	`—`	`0x0000000000000000`	Δ