在asm中把两个数字加在一起[重复]

Question

我已经将下面的c程序编译成asm，看看它使用了什么指令。我在C中的内容是：

int add(int num1, int num2) {
    int num3 = num1 + num2;
    return num3;
}

我对指令“应该是什么”的想法（根据我对asm非常有限的知识）是：

null

add:
        push    rbp
        mov     rbp, rsp
        mov     DWORD PTR [rbp-20], edi
        mov     DWORD PTR [rbp-24], esi
        mov     edx, DWORD PTR [rbp-20]
        mov     eax, DWORD PTR [rbp-24]
        add     eax, edx
        mov     DWORD PTR [rbp-4], eax
        mov     eax, DWORD PTR [rbp-4]
        pop     rbp
        ret

Answer 1

这看起来像是在可能的最低优化设置下专门编译的代码。它所做的是将参数（在寄存器edi和esi)存储到堆栈内存(rbp-offset)，然后将它们重新加载到寄存器eax和edx中以添加它们，将结果存储回堆栈内存[rbp-4]中的int num3中，然后重新加载以返回eax中的结果。

其中很多都是多余的，很容易做到：

add:
    add edi, esi
    mov eax, edi
    ret

或者在实践中使用，GCC-O1或更高版本实际上是

add:
    lea    eax, [rdi+rsi]
    ret

gcc/clang的默认值是-O0，它会对一致性调试进行反优化，将变量保留在C语句之间的内存中，而不是寄存器中。看到为什么clang用-O0生成低效的asm（对于这个简单的浮点和）吗？了解细节。