为什么现代编译器不合并相邻的内存访问？

Question

考虑以下代码：

bool AllZeroes(const char buf[4])
{
    return buf[0] == 0 &&
           buf[1] == 0 &&
           buf[2] == 0 &&
           buf[3] == 0;
}

AllZeroes(char const*):                        # @AllZeroes(char const*)
        cmp     byte ptr [rdi], 0
        je      .LBB0_2
        xor     eax, eax
        ret
.LBB0_2:
        cmp     byte ptr [rdi + 1], 0
        je      .LBB0_4
        xor     eax, eax
        ret
.LBB0_4:
        cmp     byte ptr [rdi + 2], 0
        je      .LBB0_6
        xor     eax, eax
        ret
.LBB0_6:
        cmp     byte ptr [rdi + 3], 0
        sete    al
        ret

bool AllZeroes(const char buf[4])
{
    return *(int*)buf == 0;
}

AllZeroes2(char const*):                      # @AllZeroes2(char const*)
        cmp     dword ptr [rdi], 0
        sete    al
        ret

Answer 1

有短路评估的事。所以它不能像你想的那样优化。如果buf[0]==0为falsebuf[1]==0不能选中。它可以是UB或禁止使用的东西或其他东西--这一切都必须仍然有效。

https://en.wikipedia.org/wiki/short-circuit_evaluation