如何通过GCC自定义优化指令生成指定汇编输出？

要让GCC把你那段简单代码编译成mov rax, 1; ret的汇编，核心是要让编译器做常量传播和死代码消除，同时关掉调试相关的冗余行为，以下是具体步骤：

编译命令 #

直接用这组选项编译你的代码（假设源文件叫test.c）：

gcc -O0 -fomit-frame-pointer -fipa-constant-propagation -fdelete-dead-code test.c -S -o test.s

• -O0：基础关闭全优化，我们手动添加需要的子选项
• -fomit-frame-pointer：关闭栈帧保留，避免生成不必要的栈操作
• -fipa-constant-propagation：完成常量传播，把b=1直接替换成返回值
• -fdelete-dead-code：删掉没用的变量a以及相关的内存操作

预期汇编输出 #

编译后打开test.s，x86_64架构下会得到：

main:
        mov     eax, 1
        ret

为什么之前的尝试失败？ #

• 单个优化选项无法独立生效：很多优化依赖基础数据流分析，比如常量传播需要先识别死代码，单独加一个选项编译器不会完成完整的分析流程
• -Og是调试友好的优化级别，它会强制保留变量的内存映射方便调试，哪怕你关掉部分子选项，编译器还是会优先保证调试可用性，不会把常量直接塞寄存器
• 没关栈帧保留：默认情况下GCC会生成栈帧相关指令，阻碍直接返回常量的优化

Clang的对应操作 #

如果后续要在Clang上做类似尝试，用这组命令就行：

clang -O0 -fomit-frame-pointer -dead-code-elimination -constant-propagation test.c -S -o test.s

Clang的优化选项命名更直白，核心逻辑和GCC一致：关栈帧、做常量传播、删死代码。

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