sar word ptr [r8 + r9 * 1 + 0x0], cl

Opcode: 6643d33c08

Instruction: SAR
Undefined flags: AF, OF

Total states: 288
State # flag mem0_value r8 r9 rcx
InitialFinalΔ InitialFinalΔ InitialFinalΔ InitialFinalΔ InitialFinalΔ
250 0x0000000000000004 0x0000000000010003 Δ 0x00000000000000FF 0x000000000000007F Δ 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 =
251 0x0000000000000010 0x0000000000010003 Δ 0x00000000000000FF 0x000000000000007F Δ 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 =
252 0x0000000000000040 0x0000000000010003 Δ 0x00000000000000FF 0x000000000000007F Δ 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 =
253 0x0000000000000080 0x0000000000010003 Δ 0x00000000000000FF 0x000000000000007F Δ 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 =
254 0x0000000000000800 0x0000000000010003 Δ 0x00000000000000FF 0x000000000000007F Δ 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 =
255 0x00000000000008D5 0x0000000000010003 Δ 0x00000000000000FF 0x000000000000007F Δ 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 =
256 0x0000000000000000 0x0000000000010007 Δ 0x00000000000000FF 0x000000000000003F Δ 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
257 0x0000000000000001 0x0000000000010007 Δ 0x00000000000000FF 0x000000000000003F Δ 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
258 0x0000000000000004 0x0000000000010007 Δ 0x00000000000000FF 0x000000000000003F Δ 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
259 0x0000000000000010 0x0000000000010007 Δ 0x00000000000000FF 0x000000000000003F Δ 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
260 0x0000000000000040 0x0000000000010007 Δ 0x00000000000000FF 0x000000000000003F Δ 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
261 0x0000000000000080 0x0000000000010007 Δ 0x00000000000000FF 0x000000000000003F Δ 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
262 0x0000000000000800 0x0000000000010007 Δ 0x00000000000000FF 0x000000000000003F Δ 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
263 0x00000000000008D5 0x0000000000010007 Δ 0x00000000000000FF 0x000000000000003F Δ 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFFFF02 =
264 0x0000000000000000 0x0000000000010002 Δ 0x00000000000000FF 0x00000000000000FF = 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
265 0x0000000000000001 0x0000000000010003 Δ 0x00000000000000FF 0x00000000000000FF = 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
266 0x0000000000000004 0x0000000000010006 Δ 0x00000000000000FF 0x00000000000000FF = 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
267 0x0000000000000010 0x0000000000010012 Δ 0x00000000000000FF 0x00000000000000FF = 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
268 0x0000000000000040 0x0000000000010042 Δ 0x00000000000000FF 0x00000000000000FF = 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
269 0x0000000000000080 0x0000000000010082 Δ 0x00000000000000FF 0x00000000000000FF = 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
270 0x0000000000000800 0x0000000000010802 Δ 0x00000000000000FF 0x00000000000000FF = 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
271 0x00000000000008D5 0x00000000000108D7 Δ 0x00000000000000FF 0x00000000000000FF = 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFF80 0xFFFFFFFFFFFFFF80 =
272 0x0000000000000000 0x0000000000010046 Δ 0x00000000000000FF 0x0000000000000000 Δ 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
273 0x0000000000000001 0x0000000000010046 Δ 0x00000000000000FF 0x0000000000000000 Δ 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
274 0x0000000000000004 0x0000000000010046 Δ 0x00000000000000FF 0x0000000000000000 Δ 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
275 0x0000000000000010 0x0000000000010046 Δ 0x00000000000000FF 0x0000000000000000 Δ 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
276 0x0000000000000040 0x0000000000010046 Δ 0x00000000000000FF 0x0000000000000000 Δ 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
277 0x0000000000000080 0x0000000000010046 Δ 0x00000000000000FF 0x0000000000000000 Δ 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
278 0x0000000000000800 0x0000000000010046 Δ 0x00000000000000FF 0x0000000000000000 Δ 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
279 0x00000000000008D5 0x0000000000010046 Δ 0x00000000000000FF 0x0000000000000000 Δ 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE =
280 0x0000000000000000 0x0000000000010046 Δ 0x00000000000000FF 0x0000000000000000 Δ 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
281 0x0000000000000001 0x0000000000010046 Δ 0x00000000000000FF 0x0000000000000000 Δ 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
282 0x0000000000000004 0x0000000000010046 Δ 0x00000000000000FF 0x0000000000000000 Δ 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
283 0x0000000000000010 0x0000000000010046 Δ 0x00000000000000FF 0x0000000000000000 Δ 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
284 0x0000000000000040 0x0000000000010046 Δ 0x00000000000000FF 0x0000000000000000 Δ 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
285 0x0000000000000080 0x0000000000010046 Δ 0x00000000000000FF 0x0000000000000000 Δ 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
286 0x0000000000000800 0x0000000000010046 Δ 0x00000000000000FF 0x0000000000000000 Δ 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
287 0x00000000000008D5 0x0000000000010046 Δ 0x00000000000000FF 0x0000000000000000 Δ 0x00006666660100FD 0x00006666660100FD = 0x0000000000000003 0x0000000000000003 = 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF =
← Prev Page 6 of 6