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Δ
5150 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF80 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x0000000000000002 0x0000000000000002 = — 0x0000000000000000 Δ
5151 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF80 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x0000000000000003 0x0000000000000003 = — 0x0000000000000000 Δ
5152 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF80 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x000000000000007E 0x000000000000007E = — 0x0000000000000000 Δ
5153 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF80 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x000000000000007F 0x000000000000007F = — 0x0000000000000000 Δ
5154 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF80 0x00000000FFFFFFFE Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x0000000000000080 0x0000000000000080 = — 0x0000000000000000 Δ
5155 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF80 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x0000000000000081 0x0000000000000081 = — 0x0000000000000000 Δ
5156 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF80 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x0000000000000082 0x0000000000000082 = — 0x0000000000000000 Δ
5157 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF80 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00000000000000FD 0x00000000000000FD = — 0x0000000000000000 Δ
5158 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF80 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00000000000000FE 0x00000000000000FE = — 0x0000000000000000 Δ
5159 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF80 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00000000000000FF 0x00000000000000FF = — 0x0000000000000000 Δ
5160 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF80 0x00000000FFFFFFFE Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 = — 0x0000000000000000 Δ
5161 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF80 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = — 0x0000000000000000 Δ
5162 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF80 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = — 0x0000000000000000 Δ
5163 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF80 0x00000000FFFFFFFE Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = — 0x0000000000000000 Δ
5164 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF80 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = — 0x0000000000000000 Δ
5165 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF80 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = — 0x0000000000000000 Δ
5166 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF80 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000000 0x0000000000000000 = — 0x0000000000000000 Δ
5167 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF80 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000001 0x0000000000000001 = — 0x0000000000000000 Δ
5168 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF80 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000002 0x0000000000000002 = — 0x0000000000000000 Δ
5169 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF80 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000003 0x0000000000000003 = — 0x0000000000000000 Δ
5170 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF80 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x000000000000007E 0x000000000000007E = — 0x0000000000000000 Δ
5171 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF80 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x000000000000007F 0x000000000000007F = — 0x0000000000000000 Δ
5172 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF80 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000080 0x0000000000000080 = — 0x0000000000000000 Δ
5173 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF80 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000081 0x0000000000000081 = — 0x0000000000000000 Δ
5174 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF80 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000000000000082 0x0000000000000082 = — 0x0000000000000000 Δ
5175 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF80 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x00000000000000FD 0x00000000000000FD = — 0x0000000000000000 Δ
5176 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF80 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x00000000000000FE 0x00000000000000FE = — 0x0000000000000000 Δ
5177 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF80 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x00000000000000FF 0x00000000000000FF = — 0x0000000000000000 Δ
5178 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF80 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 = — 0x0000000000000000 Δ
5179 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF80 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = — 0x0000000000000000 Δ
5180 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF80 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = — 0x0000000000000000 Δ
5181 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF80 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = — 0x0000000000000000 Δ
5182 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF80 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = — 0x0000000000000000 Δ
5183 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF80 0x00000000FFFFFFFF Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = — 0x0000000000000000 Δ
5184 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x0000000000000000 Δ 0x0000000000000000 0x0000000000000000 = 0x0000000000000000 0x0000000000000000 = — 0x0000000000000000 Δ
5185 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x0000000000000000 Δ 0x0000000000000000 0x0000000000000000 = 0x0000000000000001 0x0000000000000001 = — 0x0000000000000000 Δ
5186 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x0000000000000000 Δ 0x0000000000000000 0x0000000000000000 = 0x0000000000000002 0x0000000000000002 = — 0x0000000000000000 Δ
5187 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x0000000000000000 Δ 0x0000000000000000 0x0000000000000000 = 0x0000000000000003 0x0000000000000003 = — 0x0000000000000000 Δ
5188 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x0000000000000000 Δ 0x0000000000000000 0x0000000000000000 = 0x000000000000007E 0x000000000000007E = — 0x0000000000000000 Δ
5189 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x0000000000000000 Δ 0x0000000000000000 0x0000000000000000 = 0x000000000000007F 0x000000000000007F = — 0x0000000000000000 Δ
5190 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x0000000000000000 Δ 0x0000000000000000 0x0000000000000000 = 0x0000000000000080 0x0000000000000080 = — 0x0000000000000000 Δ
5191 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x0000000000000000 Δ 0x0000000000000000 0x0000000000000000 = 0x0000000000000081 0x0000000000000081 = — 0x0000000000000000 Δ
5192 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x0000000000000000 Δ 0x0000000000000000 0x0000000000000000 = 0x0000000000000082 0x0000000000000082 = — 0x0000000000000000 Δ
5193 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x0000000000000000 Δ 0x0000000000000000 0x0000000000000000 = 0x00000000000000FD 0x00000000000000FD = — 0x0000000000000000 Δ
5194 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x0000000000000000 Δ 0x0000000000000000 0x0000000000000000 = 0x00000000000000FE 0x00000000000000FE = — 0x0000000000000000 Δ
5195 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x0000000000000000 Δ 0x0000000000000000 0x0000000000000000 = 0x00000000000000FF 0x00000000000000FF = — 0x0000000000000000 Δ
5196 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x0000000000000000 Δ 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 = — 0x0000000000000000 Δ
5197 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x0000000000000000 Δ 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 = — 0x0000000000000000 Δ
5198 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x0000000000000000 Δ 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 = — 0x0000000000000000 Δ
5199 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0x0000000000000000 Δ 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 = — 0x0000000000000000 Δ
← Prev Page 104 of 117 Next →