编译代码中的冗余指令

Question

可能重复:
LEA EAX有什么意义,[EAX]？

在反汇编练习中,我观察到以下代码:

TEST.CPP:

#include <stdio.h>

int main(int argc, char * argv[]) {
    for (int i = 0; i < 10 ; ++i) {
        printf("%i\n", i);
    }
    int i = 0;
    while ( i < 10) {
        printf("%i\n", i);
        ++i;
    }
    return 0;
}

使用vc ++ 2008进行优化编译:

cl /Ox test.cpp

主要功能的反汇编:

.text:00401000 var_4           = dword ptr -4 ; BTW, IDA fails to see that esi is pushed to save it, not to allocate space to local variable
.text:00401000
.text:00401000                 push    esi
.text:00401001                 xor     esi, esi
.text:00401003
.text:00401003 loc_401003:                             ; CODE XREF: sub_401000+15j
.text:00401003                 push    esi
.text:00401004                 push    offset byte_40A150
.text:00401009                 call    sub_401038      ; printf 
.text:0040100E                 inc     esi
.text:0040100F                 add     esp, 8
.text:00401012                 cmp     esi, 0Ah
.text:00401015                 jl      short loc_401003
.text:00401017                 xor     esi, esi
.text:00401019                 lea     esp, [esp+0]
.text:00401020
.text:00401020 loc_401020:                             ; CODE XREF: sub_401000+32j
.text:00401020                 push    esi
.text:00401021                 push    offset unk_40A154
.text:00401026                 call    sub_401038      ; printf 
.text:0040102B                 inc     esi
.text:0040102C                 add     esp, 8
.text:0040102F                 cmp     esi, 0Ah
.text:00401032                 jl      short loc_401020
.text:00401034                 xor     eax, eax
.text:00401036                 pop     esi
.text:00401037                 retn

现在,我不是一个专家,正如你从示例代码中看到的那样,但考虑到我编写了原始代码,我能够弄清楚这个汇编列表.唯一困扰我的是以下几行:

.text:00401019                 lea     esp, [esp+0]

为什么编译器会这样做？它不会影响任何寄存器或标志,它看起来像冗余代码.我唯一能想到的是编译器在第二个循环中对齐jmp所在的代码(loc_401020)这可能是原因吗？

Answer 1

是的，看起来它正在插入填充以对齐跳转目标。如果您/Fa曾经让编译器生成程序集输出，它将显示为npad 7，明确表示它正在插入填充。从那里开始，由汇编程序挑选出它可以找到的最有效的指令序列来使用指定的空间，同时使用尽可能少的 CPU 时间。