sarx eax, ebx, ecx

Opcode: c4e272f7c3

Instruction: SARX
Undefined flags: none

Total states: 5,832
State # flag rax rbx rcx rdx
InitialFinalΔ InitialFinalΔ InitialFinalΔ InitialFinalΔ InitialFinalΔ
4150 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0x00000000000000FE 0x00000000000000FE = — 0x0000000000000000 Δ
4151 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0x00000000000000FF 0x00000000000000FF = — 0x0000000000000000 Δ
4152 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x00000000FFFFFF02 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 = — 0x0000000000000000 Δ
4153 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x00000000FFFFFF81 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = — 0x0000000000000000 Δ
4154 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x00000000FFFFFFC0 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = — 0x0000000000000000 Δ
4155 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x00000000FFFFFF02 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = — 0x0000000000000000 Δ
4156 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = — 0x0000000000000000 Δ
4157 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = — 0x0000000000000000 Δ
4158 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x00000000FFFFFF80 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x0000000000000000 0x0000000000000000 = — 0x0000000000000000 Δ
4159 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x00000000FFFFFFC0 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x0000000000000001 0x0000000000000001 = — 0x0000000000000000 Δ
4160 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x00000000FFFFFFE0 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x0000000000000002 0x0000000000000002 = — 0x0000000000000000 Δ
4161 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x00000000FFFFFFF0 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x0000000000000003 0x0000000000000003 = — 0x0000000000000000 Δ
4162 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x000000000000007E 0x000000000000007E = — 0x0000000000000000 Δ
4163 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x000000000000007F 0x000000000000007F = — 0x0000000000000000 Δ
4164 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x00000000FFFFFF80 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x0000000000000080 0x0000000000000080 = — 0x0000000000000000 Δ
4165 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x00000000FFFFFFC0 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x0000000000000081 0x0000000000000081 = — 0x0000000000000000 Δ
4166 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x00000000FFFFFFE0 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x0000000000000082 0x0000000000000082 = — 0x0000000000000000 Δ
4167 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x00000000000000FD 0x00000000000000FD = — 0x0000000000000000 Δ
4168 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x00000000000000FE 0x00000000000000FE = — 0x0000000000000000 Δ
4169 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0x00000000000000FF 0x00000000000000FF = — 0x0000000000000000 Δ
4170 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x00000000FFFFFF80 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 = — 0x0000000000000000 Δ
4171 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x00000000FFFFFFC0 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = — 0x0000000000000000 Δ
4172 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x00000000FFFFFFE0 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = — 0x0000000000000000 Δ
4173 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x00000000FFFFFF80 Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = — 0x0000000000000000 Δ
4174 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = — 0x0000000000000000 Δ
4175 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = — 0x0000000000000000 Δ
4176 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x00000000FFFFFFFE Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x0000000000000000 0x0000000000000000 = — 0x0000000000000000 Δ
4177 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x0000000000000001 0x0000000000000001 = — 0x0000000000000000 Δ
4178 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x0000000000000002 0x0000000000000002 = — 0x0000000000000000 Δ
4179 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x0000000000000003 0x0000000000000003 = — 0x0000000000000000 Δ
4180 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x000000000000007E 0x000000000000007E = — 0x0000000000000000 Δ
4181 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x000000000000007F 0x000000000000007F = — 0x0000000000000000 Δ
4182 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x00000000FFFFFFFE Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x0000000000000080 0x0000000000000080 = — 0x0000000000000000 Δ
4183 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x0000000000000081 0x0000000000000081 = — 0x0000000000000000 Δ
4184 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x0000000000000082 0x0000000000000082 = — 0x0000000000000000 Δ
4185 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00000000000000FD 0x00000000000000FD = — 0x0000000000000000 Δ
4186 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00000000000000FE 0x00000000000000FE = — 0x0000000000000000 Δ
4187 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00000000000000FF 0x00000000000000FF = — 0x0000000000000000 Δ
4188 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x00000000FFFFFFFE Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 = — 0x0000000000000000 Δ
4189 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = — 0x0000000000000000 Δ
4190 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = — 0x0000000000000000 Δ
4191 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x00000000FFFFFFFE Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = — 0x0000000000000000 Δ
4192 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = — 0x0000000000000000 Δ
4193 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = — 0x0000000000000000 Δ
4194 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000000 0x0000000000000000 = — 0x0000000000000000 Δ
4195 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000001 0x0000000000000001 = — 0x0000000000000000 Δ
4196 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000002 0x0000000000000002 = — 0x0000000000000000 Δ
4197 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000003 0x0000000000000003 = — 0x0000000000000000 Δ
4198 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x000000000000007E 0x000000000000007E = — 0x0000000000000000 Δ
4199 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x000000000000007F 0x000000000000007F = — 0x0000000000000000 Δ
← Prev Page 84 of 117 Next →