GCC hotpatching?

Question

Quando compilo questo pezzo di codice

unsigned char A[] = {1, 2, 3, 4}; 

unsigned int 
f (unsigned int x) 
{ 
    return A[x]; 
} 

uscite gcc

mov edi, edi 
movzx eax, BYTE PTR A[rdi] 
ret 

su una macchina x86_64.

La domanda è: perché esiste un'istruzione nop (mov edi, edi)?

Sto usando gcc-4.4.4.

Answer 1

In modalità 64 bit, mov edi, edi non è un no-op. Quello che fa è impostare i primi 32 bit di rdi su 0.

Questo è un caso particolare del fatto generale che tutte le operazioni a 32 bit cancellano i primi 32 bit del registro di destinazione in modalità 64 bit. (Ciò consente una CPU più efficiente che lasciarle invariate e forse è anche più utile.)