shrx rax, rbx, rcx

Opcode: c4e2f3f7c3

Instruction: SHRX
Undefined flags: none

Total states: 5,832
State # flag rax rbx rcx
InitialFinalΔ InitialFinalΔ InitialFinalΔ InitialFinalΔ
1000 — 0x0000000000010002 Δ 0x0000000000000003 0x0000000000000000 Δ 0x0000000000000001 0x0000000000000001 = 0x00000000000000FE 0x00000000000000FE =
1001 — 0x0000000000010002 Δ 0x0000000000000003 0x0000000000000000 Δ 0x0000000000000001 0x0000000000000001 = 0x00000000000000FF 0x00000000000000FF =
1002 — 0x0000000000010002 Δ 0x0000000000000003 0x0000000000000001 Δ 0x0000000000000001 0x0000000000000001 = 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 =
1003 — 0x0000000000010002 Δ 0x0000000000000003 0x0000000000000000 Δ 0x0000000000000001 0x0000000000000001 = 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 =
1004 — 0x0000000000010002 Δ 0x0000000000000003 0x0000000000000000 Δ 0x0000000000000001 0x0000000000000001 = 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
1005 — 0x0000000000010002 Δ 0x0000000000000003 0x0000000000000001 Δ 0x0000000000000001 0x0000000000000001 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
1006 — 0x0000000000010002 Δ 0x0000000000000003 0x0000000000000000 Δ 0x0000000000000001 0x0000000000000001 = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
1007 — 0x0000000000010002 Δ 0x0000000000000003 0x0000000000000000 Δ 0x0000000000000001 0x0000000000000001 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
1008 — 0x0000000000010002 Δ 0x0000000000000003 0x0000000000000002 Δ 0x0000000000000002 0x0000000000000002 = 0x0000000000000000 0x0000000000000000 =
1009 — 0x0000000000010002 Δ 0x0000000000000003 0x0000000000000001 Δ 0x0000000000000002 0x0000000000000002 = 0x0000000000000001 0x0000000000000001 =
1010 — 0x0000000000010002 Δ 0x0000000000000003 0x0000000000000000 Δ 0x0000000000000002 0x0000000000000002 = 0x0000000000000002 0x0000000000000002 =
1011 — 0x0000000000010002 Δ 0x0000000000000003 0x0000000000000000 Δ 0x0000000000000002 0x0000000000000002 = 0x0000000000000003 0x0000000000000003 =
1012 — 0x0000000000010002 Δ 0x0000000000000003 0x0000000000000000 Δ 0x0000000000000002 0x0000000000000002 = 0x000000000000007E 0x000000000000007E =
1013 — 0x0000000000010002 Δ 0x0000000000000003 0x0000000000000000 Δ 0x0000000000000002 0x0000000000000002 = 0x000000000000007F 0x000000000000007F =
1014 — 0x0000000000010002 Δ 0x0000000000000003 0x0000000000000002 Δ 0x0000000000000002 0x0000000000000002 = 0x0000000000000080 0x0000000000000080 =
1015 — 0x0000000000010002 Δ 0x0000000000000003 0x0000000000000001 Δ 0x0000000000000002 0x0000000000000002 = 0x0000000000000081 0x0000000000000081 =
1016 — 0x0000000000010002 Δ 0x0000000000000003 0x0000000000000000 Δ 0x0000000000000002 0x0000000000000002 = 0x0000000000000082 0x0000000000000082 =
1017 — 0x0000000000010002 Δ 0x0000000000000003 0x0000000000000000 Δ 0x0000000000000002 0x0000000000000002 = 0x00000000000000FD 0x00000000000000FD =
1018 — 0x0000000000010002 Δ 0x0000000000000003 0x0000000000000000 Δ 0x0000000000000002 0x0000000000000002 = 0x00000000000000FE 0x00000000000000FE =
1019 — 0x0000000000010002 Δ 0x0000000000000003 0x0000000000000000 Δ 0x0000000000000002 0x0000000000000002 = 0x00000000000000FF 0x00000000000000FF =
1020 — 0x0000000000010002 Δ 0x0000000000000003 0x0000000000000002 Δ 0x0000000000000002 0x0000000000000002 = 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 =
1021 — 0x0000000000010002 Δ 0x0000000000000003 0x0000000000000001 Δ 0x0000000000000002 0x0000000000000002 = 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 =
1022 — 0x0000000000010002 Δ 0x0000000000000003 0x0000000000000000 Δ 0x0000000000000002 0x0000000000000002 = 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
1023 — 0x0000000000010002 Δ 0x0000000000000003 0x0000000000000002 Δ 0x0000000000000002 0x0000000000000002 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
1024 — 0x0000000000010002 Δ 0x0000000000000003 0x0000000000000000 Δ 0x0000000000000002 0x0000000000000002 = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
1025 — 0x0000000000010002 Δ 0x0000000000000003 0x0000000000000000 Δ 0x0000000000000002 0x0000000000000002 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
1026 — 0x0000000000010002 Δ 0x0000000000000003 0x0000000000000003 = 0x0000000000000003 0x0000000000000003 = 0x0000000000000000 0x0000000000000000 =
1027 — 0x0000000000010002 Δ 0x0000000000000003 0x0000000000000001 Δ 0x0000000000000003 0x0000000000000003 = 0x0000000000000001 0x0000000000000001 =
1028 — 0x0000000000010002 Δ 0x0000000000000003 0x0000000000000000 Δ 0x0000000000000003 0x0000000000000003 = 0x0000000000000002 0x0000000000000002 =
1029 — 0x0000000000010002 Δ 0x0000000000000003 0x0000000000000000 Δ 0x0000000000000003 0x0000000000000003 = 0x0000000000000003 0x0000000000000003 =
1030 — 0x0000000000010002 Δ 0x0000000000000003 0x0000000000000000 Δ 0x0000000000000003 0x0000000000000003 = 0x000000000000007E 0x000000000000007E =
1031 — 0x0000000000010002 Δ 0x0000000000000003 0x0000000000000000 Δ 0x0000000000000003 0x0000000000000003 = 0x000000000000007F 0x000000000000007F =
1032 — 0x0000000000010002 Δ 0x0000000000000003 0x0000000000000003 = 0x0000000000000003 0x0000000000000003 = 0x0000000000000080 0x0000000000000080 =
1033 — 0x0000000000010002 Δ 0x0000000000000003 0x0000000000000001 Δ 0x0000000000000003 0x0000000000000003 = 0x0000000000000081 0x0000000000000081 =
1034 — 0x0000000000010002 Δ 0x0000000000000003 0x0000000000000000 Δ 0x0000000000000003 0x0000000000000003 = 0x0000000000000082 0x0000000000000082 =
1035 — 0x0000000000010002 Δ 0x0000000000000003 0x0000000000000000 Δ 0x0000000000000003 0x0000000000000003 = 0x00000000000000FD 0x00000000000000FD =
1036 — 0x0000000000010002 Δ 0x0000000000000003 0x0000000000000000 Δ 0x0000000000000003 0x0000000000000003 = 0x00000000000000FE 0x00000000000000FE =
1037 — 0x0000000000010002 Δ 0x0000000000000003 0x0000000000000000 Δ 0x0000000000000003 0x0000000000000003 = 0x00000000000000FF 0x00000000000000FF =
1038 — 0x0000000000010002 Δ 0x0000000000000003 0x0000000000000003 = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 =
1039 — 0x0000000000010002 Δ 0x0000000000000003 0x0000000000000001 Δ 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 =
1040 — 0x0000000000010002 Δ 0x0000000000000003 0x0000000000000000 Δ 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
1041 — 0x0000000000010002 Δ 0x0000000000000003 0x0000000000000003 = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
1042 — 0x0000000000010002 Δ 0x0000000000000003 0x0000000000000000 Δ 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
1043 — 0x0000000000010002 Δ 0x0000000000000003 0x0000000000000000 Δ 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
1044 — 0x0000000000010002 Δ 0x0000000000000003 0x000000000000007E Δ 0x000000000000007E 0x000000000000007E = 0x0000000000000000 0x0000000000000000 =
1045 — 0x0000000000010002 Δ 0x0000000000000003 0x000000000000003F Δ 0x000000000000007E 0x000000000000007E = 0x0000000000000001 0x0000000000000001 =
1046 — 0x0000000000010002 Δ 0x0000000000000003 0x000000000000001F Δ 0x000000000000007E 0x000000000000007E = 0x0000000000000002 0x0000000000000002 =
1047 — 0x0000000000010002 Δ 0x0000000000000003 0x000000000000000F Δ 0x000000000000007E 0x000000000000007E = 0x0000000000000003 0x0000000000000003 =
1048 — 0x0000000000010002 Δ 0x0000000000000003 0x0000000000000000 Δ 0x000000000000007E 0x000000000000007E = 0x000000000000007E 0x000000000000007E =
1049 — 0x0000000000010002 Δ 0x0000000000000003 0x0000000000000000 Δ 0x000000000000007E 0x000000000000007E = 0x000000000000007F 0x000000000000007F =
← Prev Page 21 of 117 Next →