Question

#!cpp
#include <stdint.h>
uint64_t f6 (uint64_t a)
{
        return a>>7;
};

代码 21.5: MSVC 2012 /Ox /Ob1

#!bash
_a$ = 8                                     ; size = 8
_f6     PROC
        mov     eax, DWORD PTR _a$[esp-4]
        mov     edx, DWORD PTR _a$[esp]
        shrd    eax, edx, 7
        shr     edx, 7
        ret     0
_f6     ENDP

代码 21.6: GCC 4.8.1 -O3 -fno-inline

#!bash
_f6:
        mov     edx, DWORD PTR [esp+8]
        mov     eax, DWORD PTR [esp+4]
        shrd        eax, edx, 7
        shr     edx, 7
        ret

右移也是分成两步完成：先移低位，然后移高位。但是低位部分通过指令 SHRD 移动，它将 EDX 的值移动 7 位，并从 EAX 借来 1 位，也就是从高位部分。而高位部分通过更受欢迎的指令 SHR 移动：的确，高位释放出来的位置用 0 填充。