shrx eax, ebx, ecx

Opcode: c4e273f7c3

Instruction: SHRX
Undefined flags: none

Total states: 5,832
State # flag rax rbx rcx
InitialFinalΔ InitialFinalΔ InitialFinalΔ InitialFinalΔ
5400 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x00000000FFFFFF00 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 = 0x0000000000000000 0x0000000000000000 =
5401 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x000000007FFFFF80 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 = 0x0000000000000001 0x0000000000000001 =
5402 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x000000003FFFFFC0 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 = 0x0000000000000002 0x0000000000000002 =
5403 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x000000001FFFFFE0 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 = 0x0000000000000003 0x0000000000000003 =
5404 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x0000000000000003 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 = 0x000000000000007E 0x000000000000007E =
5405 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x0000000000000001 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 = 0x000000000000007F 0x000000000000007F =
5406 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x00000000FFFFFF00 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 = 0x0000000000000080 0x0000000000000080 =
5407 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x000000007FFFFF80 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 = 0x0000000000000081 0x0000000000000081 =
5408 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x000000003FFFFFC0 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 = 0x0000000000000082 0x0000000000000082 =
5409 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x0000000000000007 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 = 0x00000000000000FD 0x00000000000000FD =
5410 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x0000000000000003 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 = 0x00000000000000FE 0x00000000000000FE =
5411 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x0000000000000001 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 = 0x00000000000000FF 0x00000000000000FF =
5412 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x00000000FFFFFF00 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 = 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 =
5413 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x000000007FFFFF80 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 = 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 =
5414 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x000000003FFFFFC0 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 = 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
5415 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x00000000FFFFFF00 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
5416 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x0000000000000003 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
5417 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x0000000000000001 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
5418 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x00000000FFFFFF01 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x0000000000000000 0x0000000000000000 =
5419 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x000000007FFFFF80 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x0000000000000001 0x0000000000000001 =
5420 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x000000003FFFFFC0 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x0000000000000002 0x0000000000000002 =
5421 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x000000001FFFFFE0 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x0000000000000003 0x0000000000000003 =
5422 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x0000000000000003 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x000000000000007E 0x000000000000007E =
5423 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x0000000000000001 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x000000000000007F 0x000000000000007F =
5424 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x00000000FFFFFF01 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x0000000000000080 0x0000000000000080 =
5425 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x000000007FFFFF80 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x0000000000000081 0x0000000000000081 =
5426 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x000000003FFFFFC0 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x0000000000000082 0x0000000000000082 =
5427 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x0000000000000007 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x00000000000000FD 0x00000000000000FD =
5428 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x0000000000000003 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x00000000000000FE 0x00000000000000FE =
5429 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x0000000000000001 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0x00000000000000FF 0x00000000000000FF =
5430 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x00000000FFFFFF01 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 =
5431 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x000000007FFFFF80 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 =
5432 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x000000003FFFFFC0 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
5433 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x00000000FFFFFF01 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
5434 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x0000000000000003 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
5435 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x0000000000000001 Δ 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
5436 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x00000000FFFFFF02 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0x0000000000000000 0x0000000000000000 =
5437 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x000000007FFFFF81 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0x0000000000000001 0x0000000000000001 =
5438 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x000000003FFFFFC0 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0x0000000000000002 0x0000000000000002 =
5439 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x000000001FFFFFE0 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0x0000000000000003 0x0000000000000003 =
5440 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x0000000000000003 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0x000000000000007E 0x000000000000007E =
5441 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x0000000000000001 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0x000000000000007F 0x000000000000007F =
5442 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x00000000FFFFFF02 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0x0000000000000080 0x0000000000000080 =
5443 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x000000007FFFFF81 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0x0000000000000081 0x0000000000000081 =
5444 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x000000003FFFFFC0 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0x0000000000000082 0x0000000000000082 =
5445 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x0000000000000007 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0x00000000000000FD 0x00000000000000FD =
5446 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x0000000000000003 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0x00000000000000FE 0x00000000000000FE =
5447 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x0000000000000001 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0x00000000000000FF 0x00000000000000FF =
5448 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x00000000FFFFFF02 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 =
5449 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x000000007FFFFF81 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 =
← Prev Page 109 of 117 Next →