¿Por qué gcc movl al mismo registro?

Question

Por esta pieza de código C:

uint64_t roundUp(uint64_t value, uint32_t blockSize) 
{ 
    return (value + blockSize - 1) & ~(blockSize - 1); 
} 

gcc 4.6 -O3 genera el siguiente montaje:

roundUp(unsigned long, unsigned int): 
.LFB0: 
    .cfi_startproc 
    movl %esi, %edx 
    movl %esi, %esi 
    leaq -1(%rdi,%rsi), %rax 
    negl %edx 
    andl %edx, %eax 
    ret 
    .cfi_endproc 

Podría alguien decirme por qué iba a querer hacer esto?

movl %esi, %esi 

Answer 1

Que borra los 32 bits superiores. Cuando escribe en un registro de 32 bits en x86-64, los 32 bits superiores se borran automáticamente. Como esi contiene un parámetro de 32 bits, los 32 bits superiores podrían contener cualquier valor, por lo que deben borrarse antes de poder usar rsi.