`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	Δ
1200	`0x0000000000000000`	`0x0000000000010002`	Δ	`0x0000000000000082`	`0x0000000000000038`	Δ	`0x0000000000000080`	`0x0000000000000080`	=	`—`	`0x0000000000000000`	Δ
1201	`0x0000000000000001`	`0x0000000000010002`	Δ	`0x0000000000000082`	`0x0000000000000038`	Δ	`0x0000000000000080`	`0x0000000000000080`	=	`—`	`0x0000000000000000`	Δ
1202	`0x0000000000000004`	`0x0000000000010002`	Δ	`0x0000000000000082`	`0x0000000000000038`	Δ	`0x0000000000000080`	`0x0000000000000080`	=	`—`	`0x0000000000000000`	Δ
1203	`0x0000000000000010`	`0x0000000000010002`	Δ	`0x0000000000000082`	`0x0000000000000038`	Δ	`0x0000000000000080`	`0x0000000000000080`	=	`—`	`0x0000000000000000`	Δ
1204	`0x0000000000000040`	`0x0000000000010002`	Δ	`0x0000000000000082`	`0x0000000000000038`	Δ	`0x0000000000000080`	`0x0000000000000080`	=	`—`	`0x0000000000000000`	Δ
1205	`0x0000000000000080`	`0x0000000000010002`	Δ	`0x0000000000000082`	`0x0000000000000038`	Δ	`0x0000000000000080`	`0x0000000000000080`	=	`—`	`0x0000000000000000`	Δ
1206	`0x0000000000000800`	`0x0000000000010002`	Δ	`0x0000000000000082`	`0x0000000000000038`	Δ	`0x0000000000000080`	`0x0000000000000080`	=	`—`	`0x0000000000000000`	Δ
1207	`0x00000000000008D5`	`0x0000000000010002`	Δ	`0x0000000000000082`	`0x0000000000000038`	Δ	`0x0000000000000080`	`0x0000000000000080`	=	`—`	`0x0000000000000000`	Δ
1208	`0x0000000000000000`	`0x0000000000010002`	Δ	`0x0000000000000082`	`0x0000000000000038`	Δ	`0x0000000000000081`	`0x0000000000000081`	=	`—`	`0x0000000000000000`	Δ
1209	`0x0000000000000001`	`0x0000000000010002`	Δ	`0x0000000000000082`	`0x0000000000000038`	Δ	`0x0000000000000081`	`0x0000000000000081`	=	`—`	`0x0000000000000000`	Δ
1210	`0x0000000000000004`	`0x0000000000010002`	Δ	`0x0000000000000082`	`0x0000000000000038`	Δ	`0x0000000000000081`	`0x0000000000000081`	=	`—`	`0x0000000000000000`	Δ
1211	`0x0000000000000010`	`0x0000000000010002`	Δ	`0x0000000000000082`	`0x0000000000000038`	Δ	`0x0000000000000081`	`0x0000000000000081`	=	`—`	`0x0000000000000000`	Δ
1212	`0x0000000000000040`	`0x0000000000010002`	Δ	`0x0000000000000082`	`0x0000000000000038`	Δ	`0x0000000000000081`	`0x0000000000000081`	=	`—`	`0x0000000000000000`	Δ
1213	`0x0000000000000080`	`0x0000000000010002`	Δ	`0x0000000000000082`	`0x0000000000000038`	Δ	`0x0000000000000081`	`0x0000000000000081`	=	`—`	`0x0000000000000000`	Δ
1214	`0x0000000000000800`	`0x0000000000010002`	Δ	`0x0000000000000082`	`0x0000000000000038`	Δ	`0x0000000000000081`	`0x0000000000000081`	=	`—`	`0x0000000000000000`	Δ
1215	`0x00000000000008D5`	`0x0000000000010002`	Δ	`0x0000000000000082`	`0x0000000000000038`	Δ	`0x0000000000000081`	`0x0000000000000081`	=	`—`	`0x0000000000000000`	Δ
1216	`0x0000000000000000`	`0x0000000000010002`	Δ	`0x0000000000000082`	`0x0000000000000038`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`—`	`0x0000000000000000`	Δ
1217	`0x0000000000000001`	`0x0000000000010002`	Δ	`0x0000000000000082`	`0x0000000000000038`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`—`	`0x0000000000000000`	Δ
1218	`0x0000000000000004`	`0x0000000000010002`	Δ	`0x0000000000000082`	`0x0000000000000038`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`—`	`0x0000000000000000`	Δ
1219	`0x0000000000000010`	`0x0000000000010002`	Δ	`0x0000000000000082`	`0x0000000000000038`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`—`	`0x0000000000000000`	Δ
1220	`0x0000000000000040`	`0x0000000000010002`	Δ	`0x0000000000000082`	`0x0000000000000038`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`—`	`0x0000000000000000`	Δ
1221	`0x0000000000000080`	`0x0000000000010002`	Δ	`0x0000000000000082`	`0x0000000000000038`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`—`	`0x0000000000000000`	Δ
1222	`0x0000000000000800`	`0x0000000000010002`	Δ	`0x0000000000000082`	`0x0000000000000038`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`—`	`0x0000000000000000`	Δ
1223	`0x00000000000008D5`	`0x0000000000010002`	Δ	`0x0000000000000082`	`0x0000000000000038`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`—`	`0x0000000000000000`	Δ
1224	`0x0000000000000000`	`0x0000000000010002`	Δ	`0x0000000000000082`	`0x0000000000000038`	Δ	`0x00000000000000FD`	`0x00000000000000FD`	=	`—`	`0x0000000000000000`	Δ
1225	`0x0000000000000001`	`0x0000000000010002`	Δ	`0x0000000000000082`	`0x0000000000000038`	Δ	`0x00000000000000FD`	`0x00000000000000FD`	=	`—`	`0x0000000000000000`	Δ
1226	`0x0000000000000004`	`0x0000000000010002`	Δ	`0x0000000000000082`	`0x0000000000000038`	Δ	`0x00000000000000FD`	`0x00000000000000FD`	=	`—`	`0x0000000000000000`	Δ
1227	`0x0000000000000010`	`0x0000000000010002`	Δ	`0x0000000000000082`	`0x0000000000000038`	Δ	`0x00000000000000FD`	`0x00000000000000FD`	=	`—`	`0x0000000000000000`	Δ
1228	`0x0000000000000040`	`0x0000000000010002`	Δ	`0x0000000000000082`	`0x0000000000000038`	Δ	`0x00000000000000FD`	`0x00000000000000FD`	=	`—`	`0x0000000000000000`	Δ
1229	`0x0000000000000080`	`0x0000000000010002`	Δ	`0x0000000000000082`	`0x0000000000000038`	Δ	`0x00000000000000FD`	`0x00000000000000FD`	=	`—`	`0x0000000000000000`	Δ
1230	`0x0000000000000800`	`0x0000000000010002`	Δ	`0x0000000000000082`	`0x0000000000000038`	Δ	`0x00000000000000FD`	`0x00000000000000FD`	=	`—`	`0x0000000000000000`	Δ
1231	`0x00000000000008D5`	`0x0000000000010002`	Δ	`0x0000000000000082`	`0x0000000000000038`	Δ	`0x00000000000000FD`	`0x00000000000000FD`	=	`—`	`0x0000000000000000`	Δ
1232	`0x0000000000000000`	`0x0000000000010002`	Δ	`0x0000000000000082`	`0x0000000000000038`	Δ	`0x00000000000000FE`	`0x00000000000000FE`	=	`—`	`0x0000000000000000`	Δ
1233	`0x0000000000000001`	`0x0000000000010002`	Δ	`0x0000000000000082`	`0x0000000000000038`	Δ	`0x00000000000000FE`	`0x00000000000000FE`	=	`—`	`0x0000000000000000`	Δ
1234	`0x0000000000000004`	`0x0000000000010002`	Δ	`0x0000000000000082`	`0x0000000000000038`	Δ	`0x00000000000000FE`	`0x00000000000000FE`	=	`—`	`0x0000000000000000`	Δ
1235	`0x0000000000000010`	`0x0000000000010002`	Δ	`0x0000000000000082`	`0x0000000000000038`	Δ	`0x00000000000000FE`	`0x00000000000000FE`	=	`—`	`0x0000000000000000`	Δ
1236	`0x0000000000000040`	`0x0000000000010002`	Δ	`0x0000000000000082`	`0x0000000000000038`	Δ	`0x00000000000000FE`	`0x00000000000000FE`	=	`—`	`0x0000000000000000`	Δ
1237	`0x0000000000000080`	`0x0000000000010002`	Δ	`0x0000000000000082`	`0x0000000000000038`	Δ	`0x00000000000000FE`	`0x00000000000000FE`	=	`—`	`0x0000000000000000`	Δ
1238	`0x0000000000000800`	`0x0000000000010002`	Δ	`0x0000000000000082`	`0x0000000000000038`	Δ	`0x00000000000000FE`	`0x00000000000000FE`	=	`—`	`0x0000000000000000`	Δ
1239	`0x00000000000008D5`	`0x0000000000010002`	Δ	`0x0000000000000082`	`0x0000000000000038`	Δ	`0x00000000000000FE`	`0x00000000000000FE`	=	`—`	`0x0000000000000000`	Δ
1240	`0x0000000000000000`	`0x0000000000010002`	Δ	`0x0000000000000082`	`0x0000000000000038`	Δ	`0x00000000000000FF`	`0x00000000000000FF`	=	`—`	`0x0000000000000000`	Δ
1241	`0x0000000000000001`	`0x0000000000010002`	Δ	`0x0000000000000082`	`0x0000000000000038`	Δ	`0x00000000000000FF`	`0x00000000000000FF`	=	`—`	`0x0000000000000000`	Δ
1242	`0x0000000000000004`	`0x0000000000010002`	Δ	`0x0000000000000082`	`0x0000000000000038`	Δ	`0x00000000000000FF`	`0x00000000000000FF`	=	`—`	`0x0000000000000000`	Δ
1243	`0x0000000000000010`	`0x0000000000010002`	Δ	`0x0000000000000082`	`0x0000000000000038`	Δ	`0x00000000000000FF`	`0x00000000000000FF`	=	`—`	`0x0000000000000000`	Δ
1244	`0x0000000000000040`	`0x0000000000010002`	Δ	`0x0000000000000082`	`0x0000000000000038`	Δ	`0x00000000000000FF`	`0x00000000000000FF`	=	`—`	`0x0000000000000000`	Δ
1245	`0x0000000000000080`	`0x0000000000010002`	Δ	`0x0000000000000082`	`0x0000000000000038`	Δ	`0x00000000000000FF`	`0x00000000000000FF`	=	`—`	`0x0000000000000000`	Δ
1246	`0x0000000000000800`	`0x0000000000010002`	Δ	`0x0000000000000082`	`0x0000000000000038`	Δ	`0x00000000000000FF`	`0x00000000000000FF`	=	`—`	`0x0000000000000000`	Δ
1247	`0x00000000000008D5`	`0x0000000000010002`	Δ	`0x0000000000000082`	`0x0000000000000038`	Δ	`0x00000000000000FF`	`0x00000000000000FF`	=	`—`	`0x0000000000000000`	Δ
1248	`0x0000000000000000`	`0x0000000000010042`	Δ	`0x0000000000000082`	`0x0000000000000000`	Δ	`0xFFFFFFFFFFFFFF00`	`0xFFFFFFFFFFFFFF00`	=	`—`	`0x0000000000000000`	Δ
1249	`0x0000000000000001`	`0x0000000000010042`	Δ	`0x0000000000000082`	`0x0000000000000000`	Δ	`0xFFFFFFFFFFFFFF00`	`0xFFFFFFFFFFFFFF00`	=	`—`	`0x0000000000000000`	Δ