`cmovc rax, rbx`

Opcode: 480f42c3

Instruction: CMOVC
Undefined flags: none

Total states: 2,592

State #	`flag`			`rax`			`rbx`			`rdx`
State #	Initial	Final	Δ	Initial	Final	Δ	Initial	Final	Δ	Initial	Final	Δ
1250	`0x0000000000000004`	`0x0000000000010006`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`0xFFFFFFFFFFFFFF00`	`0xFFFFFFFFFFFFFF00`	=	`—`	`0x0000000000000000`	Δ
1251	`0x0000000000000010`	`0x0000000000010012`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`0xFFFFFFFFFFFFFF00`	`0xFFFFFFFFFFFFFF00`	=	`—`	`0x0000000000000000`	Δ
1252	`0x0000000000000040`	`0x0000000000010042`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`0xFFFFFFFFFFFFFF00`	`0xFFFFFFFFFFFFFF00`	=	`—`	`0x0000000000000000`	Δ
1253	`0x0000000000000080`	`0x0000000000010082`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`0xFFFFFFFFFFFFFF00`	`0xFFFFFFFFFFFFFF00`	=	`—`	`0x0000000000000000`	Δ
1254	`0x0000000000000800`	`0x0000000000010802`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`0xFFFFFFFFFFFFFF00`	`0xFFFFFFFFFFFFFF00`	=	`—`	`0x0000000000000000`	Δ
1255	`0x00000000000008D5`	`0x00000000000108D7`	Δ	`0x0000000000000082`	`0xFFFFFFFFFFFFFF00`	Δ	`0xFFFFFFFFFFFFFF00`	`0xFFFFFFFFFFFFFF00`	=	`—`	`0x0000000000000000`	Δ
1256	`0x0000000000000000`	`0x0000000000010002`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`0xFFFFFFFFFFFFFF01`	`0xFFFFFFFFFFFFFF01`	=	`—`	`0x0000000000000000`	Δ
1257	`0x0000000000000001`	`0x0000000000010003`	Δ	`0x0000000000000082`	`0xFFFFFFFFFFFFFF01`	Δ	`0xFFFFFFFFFFFFFF01`	`0xFFFFFFFFFFFFFF01`	=	`—`	`0x0000000000000000`	Δ
1258	`0x0000000000000004`	`0x0000000000010006`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`0xFFFFFFFFFFFFFF01`	`0xFFFFFFFFFFFFFF01`	=	`—`	`0x0000000000000000`	Δ
1259	`0x0000000000000010`	`0x0000000000010012`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`0xFFFFFFFFFFFFFF01`	`0xFFFFFFFFFFFFFF01`	=	`—`	`0x0000000000000000`	Δ
1260	`0x0000000000000040`	`0x0000000000010042`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`0xFFFFFFFFFFFFFF01`	`0xFFFFFFFFFFFFFF01`	=	`—`	`0x0000000000000000`	Δ
1261	`0x0000000000000080`	`0x0000000000010082`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`0xFFFFFFFFFFFFFF01`	`0xFFFFFFFFFFFFFF01`	=	`—`	`0x0000000000000000`	Δ
1262	`0x0000000000000800`	`0x0000000000010802`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`0xFFFFFFFFFFFFFF01`	`0xFFFFFFFFFFFFFF01`	=	`—`	`0x0000000000000000`	Δ
1263	`0x00000000000008D5`	`0x00000000000108D7`	Δ	`0x0000000000000082`	`0xFFFFFFFFFFFFFF01`	Δ	`0xFFFFFFFFFFFFFF01`	`0xFFFFFFFFFFFFFF01`	=	`—`	`0x0000000000000000`	Δ
1264	`0x0000000000000000`	`0x0000000000010002`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`0xFFFFFFFFFFFFFF02`	`0xFFFFFFFFFFFFFF02`	=	`—`	`0x0000000000000000`	Δ
1265	`0x0000000000000001`	`0x0000000000010003`	Δ	`0x0000000000000082`	`0xFFFFFFFFFFFFFF02`	Δ	`0xFFFFFFFFFFFFFF02`	`0xFFFFFFFFFFFFFF02`	=	`—`	`0x0000000000000000`	Δ
1266	`0x0000000000000004`	`0x0000000000010006`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`0xFFFFFFFFFFFFFF02`	`0xFFFFFFFFFFFFFF02`	=	`—`	`0x0000000000000000`	Δ
1267	`0x0000000000000010`	`0x0000000000010012`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`0xFFFFFFFFFFFFFF02`	`0xFFFFFFFFFFFFFF02`	=	`—`	`0x0000000000000000`	Δ
1268	`0x0000000000000040`	`0x0000000000010042`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`0xFFFFFFFFFFFFFF02`	`0xFFFFFFFFFFFFFF02`	=	`—`	`0x0000000000000000`	Δ
1269	`0x0000000000000080`	`0x0000000000010082`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`0xFFFFFFFFFFFFFF02`	`0xFFFFFFFFFFFFFF02`	=	`—`	`0x0000000000000000`	Δ
1270	`0x0000000000000800`	`0x0000000000010802`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`0xFFFFFFFFFFFFFF02`	`0xFFFFFFFFFFFFFF02`	=	`—`	`0x0000000000000000`	Δ
1271	`0x00000000000008D5`	`0x00000000000108D7`	Δ	`0x0000000000000082`	`0xFFFFFFFFFFFFFF02`	Δ	`0xFFFFFFFFFFFFFF02`	`0xFFFFFFFFFFFFFF02`	=	`—`	`0x0000000000000000`	Δ
1272	`0x0000000000000000`	`0x0000000000010002`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`—`	`0x0000000000000000`	Δ
1273	`0x0000000000000001`	`0x0000000000010003`	Δ	`0x0000000000000082`	`0xFFFFFFFFFFFFFF80`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`—`	`0x0000000000000000`	Δ
1274	`0x0000000000000004`	`0x0000000000010006`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`—`	`0x0000000000000000`	Δ
1275	`0x0000000000000010`	`0x0000000000010012`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`—`	`0x0000000000000000`	Δ
1276	`0x0000000000000040`	`0x0000000000010042`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`—`	`0x0000000000000000`	Δ
1277	`0x0000000000000080`	`0x0000000000010082`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`—`	`0x0000000000000000`	Δ
1278	`0x0000000000000800`	`0x0000000000010802`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`—`	`0x0000000000000000`	Δ
1279	`0x00000000000008D5`	`0x00000000000108D7`	Δ	`0x0000000000000082`	`0xFFFFFFFFFFFFFF80`	Δ	`0xFFFFFFFFFFFFFF80`	`0xFFFFFFFFFFFFFF80`	=	`—`	`0x0000000000000000`	Δ
1280	`0x0000000000000000`	`0x0000000000010002`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFFFE`	=	`—`	`0x0000000000000000`	Δ
1281	`0x0000000000000001`	`0x0000000000010003`	Δ	`0x0000000000000082`	`0xFFFFFFFFFFFFFFFE`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFFFE`	=	`—`	`0x0000000000000000`	Δ
1282	`0x0000000000000004`	`0x0000000000010006`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFFFE`	=	`—`	`0x0000000000000000`	Δ
1283	`0x0000000000000010`	`0x0000000000010012`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFFFE`	=	`—`	`0x0000000000000000`	Δ
1284	`0x0000000000000040`	`0x0000000000010042`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFFFE`	=	`—`	`0x0000000000000000`	Δ
1285	`0x0000000000000080`	`0x0000000000010082`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFFFE`	=	`—`	`0x0000000000000000`	Δ
1286	`0x0000000000000800`	`0x0000000000010802`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFFFE`	=	`—`	`0x0000000000000000`	Δ
1287	`0x00000000000008D5`	`0x00000000000108D7`	Δ	`0x0000000000000082`	`0xFFFFFFFFFFFFFFFE`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFFFE`	=	`—`	`0x0000000000000000`	Δ
1288	`0x0000000000000000`	`0x0000000000010002`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`—`	`0x0000000000000000`	Δ
1289	`0x0000000000000001`	`0x0000000000010003`	Δ	`0x0000000000000082`	`0xFFFFFFFFFFFFFFFF`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`—`	`0x0000000000000000`	Δ
1290	`0x0000000000000004`	`0x0000000000010006`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`—`	`0x0000000000000000`	Δ
1291	`0x0000000000000010`	`0x0000000000010012`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`—`	`0x0000000000000000`	Δ
1292	`0x0000000000000040`	`0x0000000000010042`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`—`	`0x0000000000000000`	Δ
1293	`0x0000000000000080`	`0x0000000000010082`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`—`	`0x0000000000000000`	Δ
1294	`0x0000000000000800`	`0x0000000000010802`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`—`	`0x0000000000000000`	Δ
1295	`0x00000000000008D5`	`0x00000000000108D7`	Δ	`0x0000000000000082`	`0xFFFFFFFFFFFFFFFF`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`—`	`0x0000000000000000`	Δ
1296	`0x0000000000000000`	`0x0000000000010002`	Δ	`0x00000000000000FD`	`0x00000000000000FD`	=	`0x0000000000000000`	`0x0000000000000000`	=	`—`	`0x0000000000000000`	Δ
1297	`0x0000000000000001`	`0x0000000000010003`	Δ	`0x00000000000000FD`	`0x0000000000000000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`—`	`0x0000000000000000`	Δ
1298	`0x0000000000000004`	`0x0000000000010006`	Δ	`0x00000000000000FD`	`0x00000000000000FD`	=	`0x0000000000000000`	`0x0000000000000000`	=	`—`	`0x0000000000000000`	Δ
1299	`0x0000000000000010`	`0x0000000000010012`	Δ	`0x00000000000000FD`	`0x00000000000000FD`	=	`0x0000000000000000`	`0x0000000000000000`	=	`—`	`0x0000000000000000`	Δ