From the Intel manual: "When in 64-bit mode [...] 32-bit operands generate a 32-bit result, zero-extended to a 64-bit result in the destination general-purpose register."