>>> Andrew Cooper 02/24/17 7:14 PM >>>
>The emulation tests run `sarx %edx,(%ecx),%ebx` with 0xfedcba98 pointed at by
>%ecx, and 0xff13 in %rdx.
>
>As the instruction uses a 32bit operand size, the expected result is
>0xffdb in %rbx (rather than 0xffdb), due to normal
>usua
The emulation tests run `sarx %edx,(%ecx),%ebx` with 0xfedcba98 pointed at by
%ecx, and 0xff13 in %rdx.
As the instruction uses a 32bit operand size, the expected result is
0xffdb in %rbx (rather than 0xffdb), due to normal
usual zeroing of the upper half of the 64bit regis
