pext rax, rbx, rcx

Opcode: c4e2e2f5c1

Instruction: PEXT
Undefined flags: none

Total states: 5,832
State # flag rax rbx rcx
InitialFinalΔ InitialFinalΔ InitialFinalΔ InitialFinalΔ
4300 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0x000000000000003F Δ 0x000000000000007E 0x000000000000007E = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
4301 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0x000000000000007E Δ 0x000000000000007E 0x000000000000007E = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
4302 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0x0000000000000000 Δ 0x000000000000007F 0x000000000000007F = 0x0000000000000000 0x0000000000000000 =
4303 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0x0000000000000001 Δ 0x000000000000007F 0x000000000000007F = 0x0000000000000001 0x0000000000000001 =
4304 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0x0000000000000001 Δ 0x000000000000007F 0x000000000000007F = 0x0000000000000002 0x0000000000000002 =
4305 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0x0000000000000003 Δ 0x000000000000007F 0x000000000000007F = 0x0000000000000003 0x0000000000000003 =
4306 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0x000000000000003F Δ 0x000000000000007F 0x000000000000007F = 0x000000000000007E 0x000000000000007E =
4307 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0x000000000000007F Δ 0x000000000000007F 0x000000000000007F = 0x000000000000007F 0x000000000000007F =
4308 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0x0000000000000000 Δ 0x000000000000007F 0x000000000000007F = 0x0000000000000080 0x0000000000000080 =
4309 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0x0000000000000001 Δ 0x000000000000007F 0x000000000000007F = 0x0000000000000081 0x0000000000000081 =
4310 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0x0000000000000001 Δ 0x000000000000007F 0x000000000000007F = 0x0000000000000082 0x0000000000000082 =
4311 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0x000000000000003F Δ 0x000000000000007F 0x000000000000007F = 0x00000000000000FD 0x00000000000000FD =
4312 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0x000000000000003F Δ 0x000000000000007F 0x000000000000007F = 0x00000000000000FE 0x00000000000000FE =
4313 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0x000000000000007F Δ 0x000000000000007F 0x000000000000007F = 0x00000000000000FF 0x00000000000000FF =
4314 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0x0000000000000000 Δ 0x000000000000007F 0x000000000000007F = 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 =
4315 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0x0000000000000001 Δ 0x000000000000007F 0x000000000000007F = 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 =
4316 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0x0000000000000001 Δ 0x000000000000007F 0x000000000000007F = 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
4317 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0x0000000000000000 Δ 0x000000000000007F 0x000000000000007F = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
4318 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0x000000000000003F Δ 0x000000000000007F 0x000000000000007F = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
4319 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0x000000000000007F Δ 0x000000000000007F 0x000000000000007F = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
4320 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0x0000000000000000 Δ 0x0000000000000080 0x0000000000000080 = 0x0000000000000000 0x0000000000000000 =
4321 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0x0000000000000000 Δ 0x0000000000000080 0x0000000000000080 = 0x0000000000000001 0x0000000000000001 =
4322 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0x0000000000000000 Δ 0x0000000000000080 0x0000000000000080 = 0x0000000000000002 0x0000000000000002 =
4323 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0x0000000000000000 Δ 0x0000000000000080 0x0000000000000080 = 0x0000000000000003 0x0000000000000003 =
4324 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0x0000000000000000 Δ 0x0000000000000080 0x0000000000000080 = 0x000000000000007E 0x000000000000007E =
4325 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0x0000000000000000 Δ 0x0000000000000080 0x0000000000000080 = 0x000000000000007F 0x000000000000007F =
4326 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0x0000000000000001 Δ 0x0000000000000080 0x0000000000000080 = 0x0000000000000080 0x0000000000000080 =
4327 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0x0000000000000002 Δ 0x0000000000000080 0x0000000000000080 = 0x0000000000000081 0x0000000000000081 =
4328 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0x0000000000000002 Δ 0x0000000000000080 0x0000000000000080 = 0x0000000000000082 0x0000000000000082 =
4329 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0x0000000000000040 Δ 0x0000000000000080 0x0000000000000080 = 0x00000000000000FD 0x00000000000000FD =
4330 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0x0000000000000040 Δ 0x0000000000000080 0x0000000000000080 = 0x00000000000000FE 0x00000000000000FE =
4331 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0x0000000000000080 Δ 0x0000000000000080 0x0000000000000080 = 0x00000000000000FF 0x00000000000000FF =
4332 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0x0000000000000000 Δ 0x0000000000000080 0x0000000000000080 = 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 =
4333 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0x0000000000000000 Δ 0x0000000000000080 0x0000000000000080 = 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 =
4334 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0x0000000000000000 Δ 0x0000000000000080 0x0000000000000080 = 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
4335 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0x0000000000000001 Δ 0x0000000000000080 0x0000000000000080 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
4336 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0x0000000000000040 Δ 0x0000000000000080 0x0000000000000080 = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
4337 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0x0000000000000080 Δ 0x0000000000000080 0x0000000000000080 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
4338 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0x0000000000000000 Δ 0x0000000000000081 0x0000000000000081 = 0x0000000000000000 0x0000000000000000 =
4339 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0x0000000000000001 Δ 0x0000000000000081 0x0000000000000081 = 0x0000000000000001 0x0000000000000001 =
4340 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0x0000000000000000 Δ 0x0000000000000081 0x0000000000000081 = 0x0000000000000002 0x0000000000000002 =
4341 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0x0000000000000001 Δ 0x0000000000000081 0x0000000000000081 = 0x0000000000000003 0x0000000000000003 =
4342 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0x0000000000000000 Δ 0x0000000000000081 0x0000000000000081 = 0x000000000000007E 0x000000000000007E =
4343 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0x0000000000000001 Δ 0x0000000000000081 0x0000000000000081 = 0x000000000000007F 0x000000000000007F =
4344 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0x0000000000000001 Δ 0x0000000000000081 0x0000000000000081 = 0x0000000000000080 0x0000000000000080 =
4345 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0x0000000000000003 Δ 0x0000000000000081 0x0000000000000081 = 0x0000000000000081 0x0000000000000081 =
4346 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0x0000000000000002 Δ 0x0000000000000081 0x0000000000000081 = 0x0000000000000082 0x0000000000000082 =
4347 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0x0000000000000041 Δ 0x0000000000000081 0x0000000000000081 = 0x00000000000000FD 0x00000000000000FD =
4348 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0x0000000000000040 Δ 0x0000000000000081 0x0000000000000081 = 0x00000000000000FE 0x00000000000000FE =
4349 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF01 0x0000000000000081 Δ 0x0000000000000081 0x0000000000000081 = 0x00000000000000FF 0x00000000000000FF =
← Prev Page 87 of 117 Next →