shrx rax, rbx, rcx

Opcode: c4e2f3f7c3

Instruction: SHRX
Undefined flags: none

Total states: 5,832
State # flag rax rbx rcx
InitialFinalΔ InitialFinalΔ InitialFinalΔ InitialFinalΔ
3050 — 0x0000000000010002 Δ 0x00000000000000FD 0x0000000000000020 Δ 0x0000000000000081 0x0000000000000081 = 0x0000000000000082 0x0000000000000082 =
3051 — 0x0000000000010002 Δ 0x00000000000000FD 0x0000000000000000 Δ 0x0000000000000081 0x0000000000000081 = 0x00000000000000FD 0x00000000000000FD =
3052 — 0x0000000000010002 Δ 0x00000000000000FD 0x0000000000000000 Δ 0x0000000000000081 0x0000000000000081 = 0x00000000000000FE 0x00000000000000FE =
3053 — 0x0000000000010002 Δ 0x00000000000000FD 0x0000000000000000 Δ 0x0000000000000081 0x0000000000000081 = 0x00000000000000FF 0x00000000000000FF =
3054 — 0x0000000000010002 Δ 0x00000000000000FD 0x0000000000000081 Δ 0x0000000000000081 0x0000000000000081 = 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 =
3055 — 0x0000000000010002 Δ 0x00000000000000FD 0x0000000000000040 Δ 0x0000000000000081 0x0000000000000081 = 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 =
3056 — 0x0000000000010002 Δ 0x00000000000000FD 0x0000000000000020 Δ 0x0000000000000081 0x0000000000000081 = 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
3057 — 0x0000000000010002 Δ 0x00000000000000FD 0x0000000000000081 Δ 0x0000000000000081 0x0000000000000081 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
3058 — 0x0000000000010002 Δ 0x00000000000000FD 0x0000000000000000 Δ 0x0000000000000081 0x0000000000000081 = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
3059 — 0x0000000000010002 Δ 0x00000000000000FD 0x0000000000000000 Δ 0x0000000000000081 0x0000000000000081 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
3060 — 0x0000000000010002 Δ 0x00000000000000FD 0x0000000000000082 Δ 0x0000000000000082 0x0000000000000082 = 0x0000000000000000 0x0000000000000000 =
3061 — 0x0000000000010002 Δ 0x00000000000000FD 0x0000000000000041 Δ 0x0000000000000082 0x0000000000000082 = 0x0000000000000001 0x0000000000000001 =
3062 — 0x0000000000010002 Δ 0x00000000000000FD 0x0000000000000020 Δ 0x0000000000000082 0x0000000000000082 = 0x0000000000000002 0x0000000000000002 =
3063 — 0x0000000000010002 Δ 0x00000000000000FD 0x0000000000000010 Δ 0x0000000000000082 0x0000000000000082 = 0x0000000000000003 0x0000000000000003 =
3064 — 0x0000000000010002 Δ 0x00000000000000FD 0x0000000000000000 Δ 0x0000000000000082 0x0000000000000082 = 0x000000000000007E 0x000000000000007E =
3065 — 0x0000000000010002 Δ 0x00000000000000FD 0x0000000000000000 Δ 0x0000000000000082 0x0000000000000082 = 0x000000000000007F 0x000000000000007F =
3066 — 0x0000000000010002 Δ 0x00000000000000FD 0x0000000000000082 Δ 0x0000000000000082 0x0000000000000082 = 0x0000000000000080 0x0000000000000080 =
3067 — 0x0000000000010002 Δ 0x00000000000000FD 0x0000000000000041 Δ 0x0000000000000082 0x0000000000000082 = 0x0000000000000081 0x0000000000000081 =
3068 — 0x0000000000010002 Δ 0x00000000000000FD 0x0000000000000020 Δ 0x0000000000000082 0x0000000000000082 = 0x0000000000000082 0x0000000000000082 =
3069 — 0x0000000000010002 Δ 0x00000000000000FD 0x0000000000000000 Δ 0x0000000000000082 0x0000000000000082 = 0x00000000000000FD 0x00000000000000FD =
3070 — 0x0000000000010002 Δ 0x00000000000000FD 0x0000000000000000 Δ 0x0000000000000082 0x0000000000000082 = 0x00000000000000FE 0x00000000000000FE =
3071 — 0x0000000000010002 Δ 0x00000000000000FD 0x0000000000000000 Δ 0x0000000000000082 0x0000000000000082 = 0x00000000000000FF 0x00000000000000FF =
3072 — 0x0000000000010002 Δ 0x00000000000000FD 0x0000000000000082 Δ 0x0000000000000082 0x0000000000000082 = 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 =
3073 — 0x0000000000010002 Δ 0x00000000000000FD 0x0000000000000041 Δ 0x0000000000000082 0x0000000000000082 = 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 =
3074 — 0x0000000000010002 Δ 0x00000000000000FD 0x0000000000000020 Δ 0x0000000000000082 0x0000000000000082 = 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
3075 — 0x0000000000010002 Δ 0x00000000000000FD 0x0000000000000082 Δ 0x0000000000000082 0x0000000000000082 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
3076 — 0x0000000000010002 Δ 0x00000000000000FD 0x0000000000000000 Δ 0x0000000000000082 0x0000000000000082 = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
3077 — 0x0000000000010002 Δ 0x00000000000000FD 0x0000000000000000 Δ 0x0000000000000082 0x0000000000000082 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
3078 — 0x0000000000010002 Δ 0x00000000000000FD 0x00000000000000FD = 0x00000000000000FD 0x00000000000000FD = 0x0000000000000000 0x0000000000000000 =
3079 — 0x0000000000010002 Δ 0x00000000000000FD 0x000000000000007E Δ 0x00000000000000FD 0x00000000000000FD = 0x0000000000000001 0x0000000000000001 =
3080 — 0x0000000000010002 Δ 0x00000000000000FD 0x000000000000003F Δ 0x00000000000000FD 0x00000000000000FD = 0x0000000000000002 0x0000000000000002 =
3081 — 0x0000000000010002 Δ 0x00000000000000FD 0x000000000000001F Δ 0x00000000000000FD 0x00000000000000FD = 0x0000000000000003 0x0000000000000003 =
3082 — 0x0000000000010002 Δ 0x00000000000000FD 0x0000000000000000 Δ 0x00000000000000FD 0x00000000000000FD = 0x000000000000007E 0x000000000000007E =
3083 — 0x0000000000010002 Δ 0x00000000000000FD 0x0000000000000000 Δ 0x00000000000000FD 0x00000000000000FD = 0x000000000000007F 0x000000000000007F =
3084 — 0x0000000000010002 Δ 0x00000000000000FD 0x00000000000000FD = 0x00000000000000FD 0x00000000000000FD = 0x0000000000000080 0x0000000000000080 =
3085 — 0x0000000000010002 Δ 0x00000000000000FD 0x000000000000007E Δ 0x00000000000000FD 0x00000000000000FD = 0x0000000000000081 0x0000000000000081 =
3086 — 0x0000000000010002 Δ 0x00000000000000FD 0x000000000000003F Δ 0x00000000000000FD 0x00000000000000FD = 0x0000000000000082 0x0000000000000082 =
3087 — 0x0000000000010002 Δ 0x00000000000000FD 0x0000000000000000 Δ 0x00000000000000FD 0x00000000000000FD = 0x00000000000000FD 0x00000000000000FD =
3088 — 0x0000000000010002 Δ 0x00000000000000FD 0x0000000000000000 Δ 0x00000000000000FD 0x00000000000000FD = 0x00000000000000FE 0x00000000000000FE =
3089 — 0x0000000000010002 Δ 0x00000000000000FD 0x0000000000000000 Δ 0x00000000000000FD 0x00000000000000FD = 0x00000000000000FF 0x00000000000000FF =
3090 — 0x0000000000010002 Δ 0x00000000000000FD 0x00000000000000FD = 0x00000000000000FD 0x00000000000000FD = 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 =
3091 — 0x0000000000010002 Δ 0x00000000000000FD 0x000000000000007E Δ 0x00000000000000FD 0x00000000000000FD = 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 =
3092 — 0x0000000000010002 Δ 0x00000000000000FD 0x000000000000003F Δ 0x00000000000000FD 0x00000000000000FD = 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
3093 — 0x0000000000010002 Δ 0x00000000000000FD 0x00000000000000FD = 0x00000000000000FD 0x00000000000000FD = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
3094 — 0x0000000000010002 Δ 0x00000000000000FD 0x0000000000000000 Δ 0x00000000000000FD 0x00000000000000FD = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
3095 — 0x0000000000010002 Δ 0x00000000000000FD 0x0000000000000000 Δ 0x00000000000000FD 0x00000000000000FD = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
3096 — 0x0000000000010002 Δ 0x00000000000000FD 0x00000000000000FE Δ 0x00000000000000FE 0x00000000000000FE = 0x0000000000000000 0x0000000000000000 =
3097 — 0x0000000000010002 Δ 0x00000000000000FD 0x000000000000007F Δ 0x00000000000000FE 0x00000000000000FE = 0x0000000000000001 0x0000000000000001 =
3098 — 0x0000000000010002 Δ 0x00000000000000FD 0x000000000000003F Δ 0x00000000000000FE 0x00000000000000FE = 0x0000000000000002 0x0000000000000002 =
3099 — 0x0000000000010002 Δ 0x00000000000000FD 0x000000000000001F Δ 0x00000000000000FE 0x00000000000000FE = 0x0000000000000003 0x0000000000000003 =
← Prev Page 62 of 117 Next →