GCC扩展内联汇编关于寄存器的一点问题

源码：

#include <stdio.h>
#include <stdlib.h>

int main()
{
    int result = 0;
    int input = 1;
    __asm__ __volatile__ ("addl %2,%0":"=r"(result): "r"(result),"r"(input));
    printf("The result = %d\n",result);
    return 0;
}

反汇编：

0x00401343	movl   $0x0,0x1c(%esp)
0x0040134B	movl   $0x1,0x18(%esp)
0x00401353	mov    0x1c(%esp),%eax
0x00401357	mov    0x18(%esp),%edx
0x0040135B	add    %edx,%ebx   #这里ebx的内容是不确定的
0x0040135D	mov    %ebx,0x1c(%esp)

按照预计，应该会把result和input都放到寄存器中，如result放到edx，input放到eax中。然后执行addl %eax,%edx.但是反汇编的结果是addl %edx,%ebx。也就是addl的目的操作数一直是ebx。而ebx中是一个不确定的值，所以结果一直不对。

-----------------------------------------------------------------------------------------------------------------------------------------------------------------------------
在上面的代码中不能确保输出参数result和第一个输入参数result一定被放在同一个寄存器中了，所以下面用了一个比较稳妥的方法。使用占位符，保证他俩存在一个register中。

0x00401343	movl   $0x0,0x1c(%esp)
0x0040134B	movl   $0x1,0x18(%esp)
0x00401353	mov    0x1c(%esp),%edx
0x00401357	mov    0x18(%esp),%eax
0x0040135B	mov    %edx,%ebx
0x0040135D	add    %eax,%ebx
0x0040135F	mov    %ebx,0x1c(%esp)

因为使用的"r"，编译器会自己安排通用寄存器来放置变量。可见开始的时候，result被放在edx中。后来应该使用占位符，使得第一个输入参数和输出参数使用同一个寄存器。从倒数第2,3条指令中可见，它将edx中的内容mov到ebx中。然后再执行addl指令。

所以这里考虑，是不是编译器进行优化或者是规定了扩展内联汇编中输出变量默认存在ebx中？