>用它来清零记忆;这并不罕见,因为mov mem,imm的编码比mov mem,reg大1到4个字节(即使是0也必须编码完整的立即值大小),但通常(gcc)必要的寄存器归零“按需”,并保留更多有用的目的;
>用它来比较零 – 如cmp reg,ebx.这让我感到非常不寻常,因为它应该与test reg,reg完全相同,但是会增加对额外寄存器的依赖性.现在,请记住,这发生在非叶函数中,ebx经常被(被调用者)推入堆栈,因此我不相信这种依赖总是完全免费的.此外,它还以完全相同的方式使用测试reg,reg(test / cmp => jg).

最重要的是,“经典”x86上的寄存器是一种稀缺资源,如果你开始不得不泄漏寄存器,你会浪费很多时间没有充分的理由;为什么要浪费一个通过所有的功能只是为了保持零？ (仍然,考虑一下,我不记得在使用这种“零寄存器”模式的函数中看到很多寄存器溢出).

那么：我错过了什么？它是一个编译器blooper还是一些令人难以置信的智能优化,在2010年特别有趣？

这是一段摘录：

; standard prologue: ebp/esp,SEH,overflow protection,... then:
    xor     ebx,ebx
    mov     [ebp+4],ebx        ; zero out some locals
    mov     [ebp],ebx
    call    function_1
    xor     ecx,ecx            ; ebx _not_ used to zero registers
    cmp     eax,ebx            ; ... but used for compares?! why not test eax,eax?
    setnz   cl                  ; what? it goes through cl to check if eax is not zero?
    cmp     ecx,ebx            ; still,why not test ecx,ecx?
    jnz     function_body
    push    123456
    call    throw_something
function_body:
    mov     edx,[eax]
    mov     ecx,eax            ; it's not like it was interested in ecx anyway...
    mov     eax,[edx+0Ch]
    call    eax                 ; virtual method call; ebx is preserved but possibly pushed/popped
    lea     esi,[eax+10h]
    mov     [ebp+0Ch],esi
    mov     eax,[ebp+10h]
    mov     ecx,[eax-0Ch]
    xor     edi,edi            ; ugain,registers are zeroed as usual
    mov     byte ptr [ebp+4],1
    mov     [ebp+8],ecx
    cmp     ecx,ebx            ; why not test ecx,ecx?
    jg      somewhere

label1:
    lea     eax,[esi-10h]
    mov     byte ptr [ebp+4],bl    ; ok,uses bl to write a zero to memory
    lea     ecx,[eax+0Ch]
    or      edx,0FFFFFFFFh
    lock xadd [ecx],edx
    dec     edx
    test    edx,edx            ; now it's using the regular test reg,reg!
    jg      somewhere_else

注意：这个问题的早期版本说它使用了mov reg,ebx而不是xor ebx,ebx;这只是我没有正确记住的东西.对不起,如果有人提出太多想法,试图理解这一点.