Dlaczego MSVC niepotrzebnie używa stosu przy zwracaniu małej struktury do rejestru?

Question

Skompilowałem następujący kod na MSVC 2013, 64, Release zbudować z/02

struct Point 
{ 
    int x; 
    int y; 
}; 

Point xUnit() 
{ 
    Point p; 
    p.x = 1; 
    p.y = 0; 
    return p; 
} 

Wygenerowany kod montaż do xUnit() jest:

mov QWORD PTR p$[rsp], 1 
mov rax, QWORD PTR p$[rsp] 
ret 0 

Dlaczego pisać na stosie, a następnie natychmiast wrócić do rax, aby powrócić?

się było spodziewać, że:

mov rax, 1 
ret 0 

Answer 1

wersja X86 wydaje się dobrze (czyli generować "mov eax, 1").

Domyślam się, że wersje X86 i X64 są oddzielnymi podstawami kodu, a optymalizacja znaleziona w jednym celu niekoniecznie występuje w drugim.