为什么 "movl , %edx" 而不是 "movl [=11=], %edx"

Question

最近看汇编IA32，做了一个简单的玩具例子：

#include <stdio.h>

int array[10];
int i = 0;
int sum = 0;

int main(void)
{
    for (i = 0; i < 10; i++)
    {
        array[i] = i;
        sum += array[i];
    }

    printf("SUM = %d\n",sum);
    return 0;
}

是的，我知道不太推荐使用全局变量。我在没有优化的情况下编译了上面的代码并使用了标志 -s，我得到了这个程序集：

  main:
        ...
        movl    [=13=], %eax
        subl    %eax, %esp
        movl    [=13=], i
    .L2:
        cmpl    , i
        jle .L5
        jmp .L3
    .L5:
        movl    i, %edx
        movl    i, %eax
        movl    %eax, array(,%edx,4)
        movl    i, %eax
        movl    array(,%eax,4), %eax
        addl    %eax, sum
        incl    i
        jmp .L2

没什么花哨的，也很容易理解，这是一个普通的while循环。然后我用 -O2 编译了相同的代码并得到了以下程序集：

main:
    ...
    xorl    %eax, %eax
    movl    [=14=], i
    movl    , %edx
    .p2align 2,,3
.L6:
    movl    sum, %ecx
    addl    %eax, %ecx
    movl    %eax, array-4(,%edx,4)
    movl    %edx, %eax
    incl    %edx
    cmpl    , %eax
    movl    %ecx, sum
    movl    %eax, i
    jle .L6
    subl    , %esp
    pushl   %ecx
    pushl   $.LC0
    call    printf
    xorl    %eax, %eax
    leave
    ret

在这种情况下，它转换为 do while 类型的循环。从上面的汇编中我不明白的是为什么 "movl , %edx" 然后 "movl %eax, array-4(,%edx,4)"。

%edx 以 1 而不是 0 开始，然后在访问数组时它从初始位置开始 -4（4 字节 = 整数）。为什么不干脆呢？

movl    [=15=], %edx
...
array (,%edx,4)

如果你需要一直做 -4，而不是从 1 开始。

出于教育原因，我正在使用 "GCC: (GNU) 3.2.3 20030502 (Red Hat Linux 3.2.3-24)" 来生成易于理解的程序集。

Answer 1

我想我终于明白了，我测试了：

...

int main(void)
{
        for (i = 0; i < 10; i+=2)
        {
         ...
        }
}

并得到：

movl    , %edx

并使用 for (i = 0; i < 10; i +=3) 得到 :

movl    , %edx

最后用 (i = 1; i < 10; i +=3) 得到：

movl    , %edx

因此，编译器正在初始化 %edx = i (i的初始值) + incrementStep;

为什么 "movl , %edx" 而不是 "movl [=11=], %edx"

Why "movl $1, %edx" instead of "movl $0, %edx" in a do while

c

x86

assembly

gcc

for-loop