Dlaczego metoda main() skompilowana przez D ma 32-bitową wartość zwracaną na komputerze 64-bitowym?

Question

Tutaj jest bardzo mały plik źródłowy w D:

void main() 
{ 
} 

i tutaj demontaż objdump w pliku .o:

Disassembly of section .text._Dmain: 
0000000000000000 <_Dmain>: 
void main() 
    0: 55      push %rbp 
    1: 48 8b ec    mov %rsp,%rbp 
    4: 31 c0     xor %eax,%eax 
{ 
    6: 5d      pop %rbp 
    7: c3      retq 

Kompilator jest DMD64 D Compiler v2.056 działa na Linux x86_64 maszyna.

Zastanawiam się, dlaczego tylko 32-bitowy EAX jest czyszczony zamiast całego 64-bitowego RAX? Zakładam, że jest to wartość zwracana, wymagana tak jak w programie C, nawet jeśli nie została potwierdzona w źródle D.

Answer 1

xor %eax,%eax 

Czyści cały dokument rax w formacie x64. Operacja na rejestrach dwordowych automatycznie usuwa wysoki dword z pełnego rejestru.