Re: [Qemu-devel] [PATCH for-2.4] tcg/i386: ignore high bits for user mode 32-bit qemu_ld/st

[Richard Henderson]

On 07/15/2015 02:55 PM, Aurelien Jarno wrote:
> Fix that by either using the ADDR32 prefix (in case GUEST_BASE == 0 or
> a segment register is in use), or by doing an explicit zero-extension.
> The zero-extension can be done in place as we know the registers holds
> a 32-bit value.

I'd prefer not to do that, even if we can show that it's true.  I have an 
alternative that I'll post shortly.


r~