c++ - 为什么这 8 个字节的写入没有优化成一个 MOV？

Question

我和我的同事都没有成功解释为什么 GCC、ICC 和 Clang 没有优化这个功能

void f(std::uint64_t a, void * p) {
    std::uint8_t *x = reinterpret_cast<std::uint8_t *>(p);
    x[7] = a >> 56;
    x[6] = a >> 48;
    x[5] = a >> 40;
    x[4] = a >> 32;
    x[3] = a >> 24;
    x[2] = a >> 16;
    x[1] = a >> 8;
    x[0] = a;
}

进入这个

mov     QWORD PTR [rsi], rdi

如果我们根据 memcpy 制定 f，它只会发出 mov。为什么 does it not happen如果我们执行看似微不足道的字节写入序列？

Answer 1

我不是专家，但 gcc 只获得了在 gcc 7 中合并相邻存储以获取立即常量的能力:

• 已关闭 立即常量的错误:https://gcc.gnu.org/bugzilla/show_bug.cgi?id=23684
• 打开 分配小结构的错误:https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78821
• 商店合并密码:https://github.com/gcc-mirror/gcc/blob/master/gcc/gimple-ssa-store-merging.c

如果我不得不猜测，根据第二个错误，可能不会等待太久。