On 05/23/2014 11:57 AM, Richard Henderson wrote:
> This specific bug may only be visible on s390. It is unique in that it
> has a 32-bit register move operation that does not modify the high bits
> of the 64-bit register. Unlike x86_64 + aarch64 which zero the high
> bits, or sparc64 + ppc64 that
A bug reported by Hartmut Penner visible on s390 host and ppc64 guest:
IN:
0x001ff378: lwz r3,436(r7)
0x001ff37c: lis r0,-17874
0x001ff380: ori r0,r0,35747
0x001ff384: mulhwu r4,r3,r0
0x001ff388: rlwinm r5,r4,29,3,31
0x001ff38c: r
