未优化调试构建中编译器为何不直接将edi移至eax？改写汇编可行吗？

原代码与未优化汇编 #

原C函数：

int square(int num) {
    return num;
}

未优化（默认-O0）生成的x86-64汇编：

square:
        push    rbp
        mov     rbp, rsp
        mov     DWORD PTR [rbp-4], edi
        mov     eax, DWORD PTR [rbp-4]
        pop     rbp
        ret

问题1：改写后的汇编能否正常运行？ #

你改写的汇编：

square:
        push    rbp
        mov     rbp, rsp
        mov     eax, edi
        pop     rbp
        ret

完全可以正常运行。x86-64调用约定里，第一个整数参数存在edi寄存器，函数返回值通过eax传递。直接把edi的值移到eax，和先存栈再取值的结果完全一致，逻辑更精简。

问题2：未优化版本为何多一条mov指令？ #

默认-O0（无优化）编译模式下，编译器优先保证贴合C代码抽象逻辑、方便调试，而非执行效率：

• C函数里的参数num属于局部变量，编译器会为它在rbp指向的栈帧中分配存储位置[rbp-4]。
• mov DWORD PTR [rbp-4], edi是把参数从寄存器edi存入局部变量的栈内存，模拟C代码中参数作为局部变量的存储行为。
• mov eax, DWORD PTR [rbp-4]则是从局部变量的内存位置读取值，存入eax作为返回值。

这种冗余操作是为了让调试器随时能通过栈内存查看局部变量num的值——如果直接把edi移到eax，调试时你看不到栈里的num变量，因为它根本没被存在栈上。

开启-O1及以上优化时，编译器会跳过这些冗余栈操作，生成最精简的指令，此时调试便利性让位于执行效率。

内容的提问来源于stack exchange，提问作者Amir reza Riahi