为何GCC在-O0编译时会冗余将字符串地址加载到rax？

问题背景 #

使用GCC 13.1.1在x86_64 Linux平台编译以下C代码时，发现-O0（关闭优化）和开启优化（-O1/-O2/-O3）的汇编输出存在明显差异：

测试代码 #

#include <stdio.h>

int main() {
    printf("HI\n");
    return 0;
}

-O0下的汇编输出 #

...
    lea rax, .LC0[rip]
    mov rdi, rax
    call    puts@PLT
    ....

开启优化后的汇编输出 #

...
    lea rdi, .LC0[rip]
    call    puts@PLT
    mov eax, 0
    ...

疑问点：

• 开启优化的版本直接将字符串地址加载到rdi（函数第一个参数寄存器），执行效率更高；但-O0版本却先加载到rax再转到rdi，且GCC已经把printf替换为puts（属于小优化），为何还要保留这种看似冗余的操作？
• 若这是-O0下函数调用的默认行为，直接加载到rdi难道不是更合理的默认方式？

解答 #

1. -O0的核心目标不是性能，而是调试友好与编译速度 #

-O0的设计定位是快速编译+方便调试，而非生成高效代码。它会刻意避免复杂优化，甚至生成“冗余”的指令序列，核心原因有两个：

• 降低编译器自身实现复杂度：GCC在-O0下会采用一套通用的中间代码处理流程——不管是计算变量值还是获取常量地址，先把结果放到临时寄存器（比如rax），再转到目标寄存器（比如参数寄存器rdi）。这种统一路径不需要为不同场景编写特殊逻辑，能大幅减少编译器的编译时间，符合-O0快速编译的需求。
• 提升调试体验：调试时，临时寄存器rax会保留中间结果的状态。比如你在调用puts前打断点，能通过查看rax的值确认字符串地址是否正确；如果直接用lea rdi, .LC0[rip]，rdi会被直接覆盖，调试时无法观察到这个地址加载的中间过程。

2. printf替换为puts属于零成本安全优化 #

即使在-O0下，GCC也会做这类不影响调试、几乎无编译开销的小优化：printf("HI\n")完全可以等价替换为puts("HI")，因为字符串里没有格式化占位符，替换后既不改变程序逻辑，还能减少函数调用的开销，和-O0的核心目标不冲突。

3. 为何不直接加载到rdi？ #

直接生成lea rdi, .LC0[rip]虽然更高效，但需要编译器在中间阶段额外判断“当前表达式可以直接写入参数寄存器”，这会增加编译逻辑的复杂度，违背了-O0“快速编译、简化实现”的设计原则。对-O0来说，性能是次要的，保持编译流程简单、调试时能观察到完整的变量/寄存器变化才是核心需求。

内容的提问来源于stack exchange，提问作者ZarakshR