MSVC：无效的 memcpy 优化？

Question

考虑以下代码：

void MemMove8(void* dst, void* src)
{
    char tmp[8];
    memcpy(tmp, src, 8);
    memcpy(dst, tmp, 8);
}

带有 /O2 的 MSVC (16.7.1) x86 为此函数生成以下程序集：

; _dst$ = ecx
; _src$ = edx
    mov eax, DWORD PTR [edx]
    mov DWORD PTR [ecx], eax
    mov eax, DWORD PTR [edx+4]
    mov DWORD PTR [ecx+4], eax

但如果输入和输出缓冲区重叠，这将不起作用（在某些情况下）。

生成的代码对我来说似乎是错误的；或者这是一个有效的转换，我在这里遗漏了什么？

Answer 1

这是一个错误。

https://developercommunity.visualstudio.com/content/problem/1151407/incorrect-memcpy-optimization.html

这似乎已在 VS 16.8 中修复。