GCC下宏扩展后的++i

听讨论的时候，遇到一题是关于++i*++i的——这样的讨论意义不大，却也可以一窥编译器对相关问题的处理。

原题如下

相关代码说明如下

#include <stdio.h>
#define POWER(X) X*X
int main()
{
        int ch = 8;
        int sum = POWER(ch++);
        sum = POWER(++ch);
        return 0;
}

如果添加printf输出，其第一个sum = 64，第二个sum = 144

将上面的进行汇编编译得到。

gcc -S test.c

程序main的主要汇编代码

main:
        pushl   %ebp
        movl    %esp, %ebp
        subl    $16, %esp
        movl    $8, -8(%ebp)
        movl    -8(%ebp), %eax
        imull   -8(%ebp), %eax
        movl    %eax, -4(%ebp)
        addl    $1, -8(%ebp)
        addl    $1, -8(%ebp)
        addl    $1, -8(%ebp)
        addl    $1, -8(%ebp)
        movl    -8(%ebp), %eax
        imull   -8(%ebp), %eax
        movl    %eax, -4(%ebp)
        movl    $0, %eax
        leave
        ret

少去进栈出栈的操作，i++*i++产生的汇编代码是

　　　　　movl    -8(%ebp), %eax
        imull   -8(%ebp), %eax
        movl    %eax, -4(%ebp)
        addl    $1, -8(%ebp)
        addl    $1, -8(%ebp)

++i*++i产生的汇编代码是

        addl    $1, -8(%ebp)
        addl    $1, -8(%ebp)
        movl    -8(%ebp), %eax
        imull   -8(%ebp), %eax

由上面的代码可以看出

1）i++的自增操作是在整个乘法完成之后才进行的,而++i的操作则是在乘法之前进行。

2）movl和imull总是连续出现，进行乘法的时候，左右的操作数是从同一块内存取出来的，因此计算结果肯定是完全平方数。

找到一篇相似的文章《分析gcc下的i++与++i》（gfw），在后续讨论三个i++的情况。后面还有总结，先一并摘抄过来。

++i*i++*++i的汇编代码为  

        movl    $8, -8(%ebp)
        addl    $1, -8(%ebp)
        movl    -8(%ebp), %eax
        imull   -8(%ebp), %eax
        addl    $1, -8(%ebp)
        imull   -8(%ebp), %eax
        movl    %eax, -4(%ebp)
        addl    $1, -8(%ebp)
        leave
        ret

摘录

分析一下上面的代码，结论就很清晰了，所有的i++操作会在整个表达式计算完后才计算，除了最左边的乘法会从同一块内存取操作数外，后续的乘法的作操作数就是直接取的上次计算的结果。

总结一下：

    1.从左向右计算
    2.最左边的乘法从同一内存取操作数，因此肯定是完全平方数
    3.所有的i++可以替换成i
    4.所有的++i先计算增一，再取增一后的值

比如计算 i++*++i*++i*i++*++i (i=3): 结果是 4×4×5×5×6=2400.