修改编译器优化等级后ARM编译二进制文件无变化问题咨询

哦，这个问题我太熟悉了——你的测试代码实在是太简单了，编译器在几乎所有优化等级下都会把它压缩成完全一样的结果，根本没给不同优化等级发挥的空间！

核心原因 #

你的代码没有任何副作用：既没有打印输出、修改全局变量，也没有调用外部系统接口。编译器的优化逻辑是：只要代码不影响程序的外部行为，就可以安全地剔除无用计算。

看你的代码：

#include <stdio.h>
int main(){
    int x =10, y =20;
    int z;
    z =x+y;
    return 0;
}

x、y是局部常量，计算z=x+y的过程对程序最终返回0的结果没有任何影响。不管你用-O0、-O1还是更高优化等级，编译器都会直接把main函数简化成一句return 0;，自然生成的二进制文件完全一致。

验证方法 #

你可以通过以下方式直观确认：

• 生成汇编代码对比：

  # 生成O0等级的汇编
  arm-linux-gnueabi-gcc -S -O0 test.c -o test_o0.s
  # 生成O1等级的汇编
  arm-linux-gnueabi-gcc -S -O1 test.c -o test_o1.s
  

  打开两个.s文件对比，会发现它们的main函数几乎完全相同，都是直接返回0。
• 反编译二进制文件：

  arm-linux-gnueabi-objdump -d test
  

  查看输出的main函数指令，会发现只有简短的返回操作，完全没有加法相关的指令。

如何看到优化等级的差异 #

修改测试代码，加入有副作用的操作（比如打印输出），让编译器无法轻易剔除核心计算：

#include <stdio.h>
int main(){
    int x =10, y =20;
    int z;
    z =x+y;
    printf("Result: %d\n", z); // 新增打印，产生外部可见的副作用
    return 0;
}

现在再用不同优化等级编译：

arm-linux-gnueabi-gcc -O0 -o test_o0 test.c
arm-linux-gnueabi-gcc -O1 -o test_o1 test.c

你会发现test_o0和test_o1的大小、内容都有明显差异：

• -O0会保留更多调试符号，代码中会保留变量赋值、加法的完整流程；
• -O1会提前完成常量计算，直接把30作为参数传给printf，同时精简指令。

关于你的操作 #

你的编译命令arm-linux-gnueabi-gcc -O1 -o test test.c是完全正确的，参数使用没有问题。问题出在测试代码的选择上——ARM官方的这个示例更适合演示基础编译流程，而非优化等级的差异。

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