为什么在一段时间内"movl $1，%edx“而不是"movl $0，%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    $0, %eax
        subl    %eax, %esp
        movl    $0, i
    .L2:
        cmpl    $9, 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

没有太花哨和容易理解，这是一个正常的，而循环。然后，我使用-O2编译了相同的代码，并获得了以下程序集：

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

在这种情况下，它在do类型的循环中进行转换。从上面的程序集中，我不理解为什么"movl $1，%edx"，然后"movl %eax，array-4(，%edx,4)"。

%edx从1开始，而不是0，然后在从初始位置访问数组时(4个字节=整数)。为什么不简单呢？

movl    $0, %edx
...
array (,%edx,4)

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

我使用"GCC：(GNU) 3.2.3 20030502 (RedHatLinux3.2.3-24)“，出于教育原因，生成容易理解的程序集。

Answer 1

我想我终于明白了，我用：

..。

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

并得到：

movl    $2, %edx

和for (i = 0；i< 10；i +=3)并得到：

movl    $3, %edx

最后使用(i = 1；i< 10；i +=3)并得到：

movl    $4, %edx

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