shrx rax, rbx, rcx

Opcode: c4e2f3f7c3

Instruction: SHRX
Undefined flags: none

Total states: 5,832
State # flag rax rbx rcx
InitialFinalΔ InitialFinalΔ InitialFinalΔ InitialFinalΔ
3300 — 0x0000000000010002 Δ 0x00000000000000FE 0x0000000000000003 Δ 0x0000000000000003 0x0000000000000003 = 0x0000000000000080 0x0000000000000080 =
3301 — 0x0000000000010002 Δ 0x00000000000000FE 0x0000000000000001 Δ 0x0000000000000003 0x0000000000000003 = 0x0000000000000081 0x0000000000000081 =
3302 — 0x0000000000010002 Δ 0x00000000000000FE 0x0000000000000000 Δ 0x0000000000000003 0x0000000000000003 = 0x0000000000000082 0x0000000000000082 =
3303 — 0x0000000000010002 Δ 0x00000000000000FE 0x0000000000000000 Δ 0x0000000000000003 0x0000000000000003 = 0x00000000000000FD 0x00000000000000FD =
3304 — 0x0000000000010002 Δ 0x00000000000000FE 0x0000000000000000 Δ 0x0000000000000003 0x0000000000000003 = 0x00000000000000FE 0x00000000000000FE =
3305 — 0x0000000000010002 Δ 0x00000000000000FE 0x0000000000000000 Δ 0x0000000000000003 0x0000000000000003 = 0x00000000000000FF 0x00000000000000FF =
3306 — 0x0000000000010002 Δ 0x00000000000000FE 0x0000000000000003 Δ 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 =
3307 — 0x0000000000010002 Δ 0x00000000000000FE 0x0000000000000001 Δ 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 =
3308 — 0x0000000000010002 Δ 0x00000000000000FE 0x0000000000000000 Δ 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
3309 — 0x0000000000010002 Δ 0x00000000000000FE 0x0000000000000003 Δ 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
3310 — 0x0000000000010002 Δ 0x00000000000000FE 0x0000000000000000 Δ 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
3311 — 0x0000000000010002 Δ 0x00000000000000FE 0x0000000000000000 Δ 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
3312 — 0x0000000000010002 Δ 0x00000000000000FE 0x000000000000007E Δ 0x000000000000007E 0x000000000000007E = 0x0000000000000000 0x0000000000000000 =
3313 — 0x0000000000010002 Δ 0x00000000000000FE 0x000000000000003F Δ 0x000000000000007E 0x000000000000007E = 0x0000000000000001 0x0000000000000001 =
3314 — 0x0000000000010002 Δ 0x00000000000000FE 0x000000000000001F Δ 0x000000000000007E 0x000000000000007E = 0x0000000000000002 0x0000000000000002 =
3315 — 0x0000000000010002 Δ 0x00000000000000FE 0x000000000000000F Δ 0x000000000000007E 0x000000000000007E = 0x0000000000000003 0x0000000000000003 =
3316 — 0x0000000000010002 Δ 0x00000000000000FE 0x0000000000000000 Δ 0x000000000000007E 0x000000000000007E = 0x000000000000007E 0x000000000000007E =
3317 — 0x0000000000010002 Δ 0x00000000000000FE 0x0000000000000000 Δ 0x000000000000007E 0x000000000000007E = 0x000000000000007F 0x000000000000007F =
3318 — 0x0000000000010002 Δ 0x00000000000000FE 0x000000000000007E Δ 0x000000000000007E 0x000000000000007E = 0x0000000000000080 0x0000000000000080 =
3319 — 0x0000000000010002 Δ 0x00000000000000FE 0x000000000000003F Δ 0x000000000000007E 0x000000000000007E = 0x0000000000000081 0x0000000000000081 =
3320 — 0x0000000000010002 Δ 0x00000000000000FE 0x000000000000001F Δ 0x000000000000007E 0x000000000000007E = 0x0000000000000082 0x0000000000000082 =
3321 — 0x0000000000010002 Δ 0x00000000000000FE 0x0000000000000000 Δ 0x000000000000007E 0x000000000000007E = 0x00000000000000FD 0x00000000000000FD =
3322 — 0x0000000000010002 Δ 0x00000000000000FE 0x0000000000000000 Δ 0x000000000000007E 0x000000000000007E = 0x00000000000000FE 0x00000000000000FE =
3323 — 0x0000000000010002 Δ 0x00000000000000FE 0x0000000000000000 Δ 0x000000000000007E 0x000000000000007E = 0x00000000000000FF 0x00000000000000FF =
3324 — 0x0000000000010002 Δ 0x00000000000000FE 0x000000000000007E Δ 0x000000000000007E 0x000000000000007E = 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 =
3325 — 0x0000000000010002 Δ 0x00000000000000FE 0x000000000000003F Δ 0x000000000000007E 0x000000000000007E = 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 =
3326 — 0x0000000000010002 Δ 0x00000000000000FE 0x000000000000001F Δ 0x000000000000007E 0x000000000000007E = 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
3327 — 0x0000000000010002 Δ 0x00000000000000FE 0x000000000000007E Δ 0x000000000000007E 0x000000000000007E = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
3328 — 0x0000000000010002 Δ 0x00000000000000FE 0x0000000000000000 Δ 0x000000000000007E 0x000000000000007E = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
3329 — 0x0000000000010002 Δ 0x00000000000000FE 0x0000000000000000 Δ 0x000000000000007E 0x000000000000007E = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
3330 — 0x0000000000010002 Δ 0x00000000000000FE 0x000000000000007F Δ 0x000000000000007F 0x000000000000007F = 0x0000000000000000 0x0000000000000000 =
3331 — 0x0000000000010002 Δ 0x00000000000000FE 0x000000000000003F Δ 0x000000000000007F 0x000000000000007F = 0x0000000000000001 0x0000000000000001 =
3332 — 0x0000000000010002 Δ 0x00000000000000FE 0x000000000000001F Δ 0x000000000000007F 0x000000000000007F = 0x0000000000000002 0x0000000000000002 =
3333 — 0x0000000000010002 Δ 0x00000000000000FE 0x000000000000000F Δ 0x000000000000007F 0x000000000000007F = 0x0000000000000003 0x0000000000000003 =
3334 — 0x0000000000010002 Δ 0x00000000000000FE 0x0000000000000000 Δ 0x000000000000007F 0x000000000000007F = 0x000000000000007E 0x000000000000007E =
3335 — 0x0000000000010002 Δ 0x00000000000000FE 0x0000000000000000 Δ 0x000000000000007F 0x000000000000007F = 0x000000000000007F 0x000000000000007F =
3336 — 0x0000000000010002 Δ 0x00000000000000FE 0x000000000000007F Δ 0x000000000000007F 0x000000000000007F = 0x0000000000000080 0x0000000000000080 =
3337 — 0x0000000000010002 Δ 0x00000000000000FE 0x000000000000003F Δ 0x000000000000007F 0x000000000000007F = 0x0000000000000081 0x0000000000000081 =
3338 — 0x0000000000010002 Δ 0x00000000000000FE 0x000000000000001F Δ 0x000000000000007F 0x000000000000007F = 0x0000000000000082 0x0000000000000082 =
3339 — 0x0000000000010002 Δ 0x00000000000000FE 0x0000000000000000 Δ 0x000000000000007F 0x000000000000007F = 0x00000000000000FD 0x00000000000000FD =
3340 — 0x0000000000010002 Δ 0x00000000000000FE 0x0000000000000000 Δ 0x000000000000007F 0x000000000000007F = 0x00000000000000FE 0x00000000000000FE =
3341 — 0x0000000000010002 Δ 0x00000000000000FE 0x0000000000000000 Δ 0x000000000000007F 0x000000000000007F = 0x00000000000000FF 0x00000000000000FF =
3342 — 0x0000000000010002 Δ 0x00000000000000FE 0x000000000000007F Δ 0x000000000000007F 0x000000000000007F = 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 =
3343 — 0x0000000000010002 Δ 0x00000000000000FE 0x000000000000003F Δ 0x000000000000007F 0x000000000000007F = 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 =
3344 — 0x0000000000010002 Δ 0x00000000000000FE 0x000000000000001F Δ 0x000000000000007F 0x000000000000007F = 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
3345 — 0x0000000000010002 Δ 0x00000000000000FE 0x000000000000007F Δ 0x000000000000007F 0x000000000000007F = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
3346 — 0x0000000000010002 Δ 0x00000000000000FE 0x0000000000000000 Δ 0x000000000000007F 0x000000000000007F = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
3347 — 0x0000000000010002 Δ 0x00000000000000FE 0x0000000000000000 Δ 0x000000000000007F 0x000000000000007F = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
3348 — 0x0000000000010002 Δ 0x00000000000000FE 0x0000000000000080 Δ 0x0000000000000080 0x0000000000000080 = 0x0000000000000000 0x0000000000000000 =
3349 — 0x0000000000010002 Δ 0x00000000000000FE 0x0000000000000040 Δ 0x0000000000000080 0x0000000000000080 = 0x0000000000000001 0x0000000000000001 =
← Prev Page 67 of 117 Next →