Warum würde gcc in dasselbe Register wechseln?

Question

Für dieses Stück C-Code:

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

gcc 4.6 O3 die folgende Montage erzeugt:

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 

Könnte mir jemand sagen, warum es dies tun wollen?

movl %esi, %esi 

Answer 1

Das löscht die oberen 32 Bits. Beim Schreiben in ein 32-Bit-Register in x86-64 werden die oberen 32 Bits automatisch gelöscht. Da esi einen 32-Bit-Parameter enthält, können die oberen 32 Bits einen beliebigen Wert enthalten. Daher müssen sie gelöscht werden, bevor rsi verwendet werden kann.