On 09.12.2012, at 00:12, Yuras Shumovich <shumovichy at gmail.com> wrote: > It looks wrong for me: the highest part of %rax remains uninitialized. When 32 bits are assigned to any of the standard registers, the upper 32 bits are implicitly set to zero. Intel is weird. Axel