编译器优化基础：从-O0到-O3，你真的了解吗？
说到编译器优化，我估计很多刚入行的朋友会觉得——不就是加个-O3嘛，跑得快就完事了。嗯，我以前也这么想。直到有一次，我在一个实时音频处理项目里，发现优化后的代码居然产生了奇怪的爆音。排查了整整两天，最后发现是编译器把某个循环给“优化”掉了。
从那以后，我养成了一个习惯：先搞清楚每个优化等级到底干了什么，再决定用哪个。今天咱们就来聊聊编译器优化的那些门道。
优化等级：从-O0到-O3
GCC和TI的编译器，都支持这几个等级。说白了，就是编译器帮你干活的多少。
| 等级 | 说明 | 典型场景 |
|---|---|---|
| -O0 | 不做任何优化，代码原样编译 | 调试阶段，单步跟踪 |
| -O1 | 基本优化，减少代码体积 | 快速验证，轻度优化 |
| -O2 | 大部分优化，平衡体积和速度 | 产品发布，日常使用 |
| -O3 | 激进优化，追求极致速度 | 计算密集型，DSP算法 |
重要提醒：-O3 并不总是比 -O2 快。我在项目中遇到过，-O3 生成的代码体积暴增，反而把指令缓存撑爆了，性能不升反降。
每个等级到底干了什么？
-O0： 就是“你写啥我编啥”。变量全部在内存里，不做寄存器分配。你想想看，调试的时候能看到每个变量的值，就是因为这个。但代价就是——慢，非常慢。
-O1： 开始做“小动作”了。比如常量折叠、死代码消除。举个例子：
// 原始代码
int a = 5;
int b = a + 3;
int c = b * 2;
// -O1 优化后
int c = 16; // 直接算好了-O2： 这是我最常用的等级。它包含了几乎所有不增加代码体积的优化。比如循环展开、函数内联、公共子表达式消除。我个人习惯，产品发布时先用 -O2 跑一遍，如果性能不够再考虑 -O3。
-O3： 这个就有点“狠”了。它会做向量化、循环交换、甚至自动并行化。但要注意，代码体积可能会翻倍。我曾经在一个DSP项目里，-O3 编译出来的代码比 -O2 大了40%，结果L1缓存装不下，性能反而下降了15%。
常见编译器优化选项
除了等级，还有一些“开关”可以单独控制。我挑几个最常用的说说：
- -funroll-loops： 循环展开。把循环体复制几份，减少循环次数。适合循环次数固定的场景。
- -finline-functions： 函数内联。把短函数直接嵌入调用处，省去调用开销。但别滥用，内联太多会让代码膨胀。
- -fomit-frame-pointer： 省略帧指针。省一个寄存器出来，但调试会变困难。
- -ffast-math： 快速数学运算。这个要小心！它会违反IEEE浮点标准，精度会下降。我在音频算法里用过一次，结果滤波器的系数全乱了。
我的建议： 先别急着开 -O3。先用 -O2 配合 -funroll-loops 和 -finline-functions，往往就能达到不错的性能。实在不行再上 -O3。
如何查看编译器生成的汇编代码？
这个技能太重要了。你想想看，光看C代码，你永远不知道编译器到底干了什么。只有看汇编，才能知道它有没有“偷懒”或者“过度优化”。
方法很简单：
// GCC
gcc -O2 -S main.c -o main.s
// TI C6000 编译器
cl6x -O2 -k main.c // -k 保留汇编文件生成的 .s 文件就是汇编代码。我一般会重点关注：
- 循环体： 有没有被展开？有没有用上SIMD指令？
- 函数调用： 有没有被内联？参数怎么传递的？
- 内存访问： 有没有多余的加载/存储？
举个例子，我曾经优化一个FIR滤波器，C代码写得很漂亮，但看汇编发现——每次循环都从内存重新加载系数。这就是典型的“编译器没优化好”。我加了个 restrict 关键字，告诉编译器这些指针不重叠，结果性能提升了30%。
避坑指南： 我曾经在调试一个音频算法时，发现 -O2 和 -O3 的结果不一样。查了半天，原来是 -O3 把某个浮点运算的顺序改了，导致精度误差累积。从那以后，我养成了一个习惯：每次改优化等级，都要跑一遍回归测试。
知识体系：编译器优化全景图
下面这张图，是我自己总结的编译器优化知识体系。你可以把它当作一个“检查清单”，每次做优化时对照着看：
这张图想表达的是：优化等级、优化选项、汇编分析、性能验证，这四个维度是环环相扣的。你不能只盯着 -O3 猛干，而忽略了汇编分析和性能验证。
嗯，说到这儿，我想起一个案例。有个同事做图像处理，开了 -O3 觉得速度够了，结果产品上线后，在某些设备上出现花屏。后来发现是 -O3 把某个内存访问顺序改了，导致缓存一致性问题。如果当时他看了汇编代码，这个问题早就能发现。
所以我的建议是：每次改优化选项，都生成一份汇编代码看看。花不了几分钟，但能帮你避免很多坑。
实用技巧： 在TI的CCS里，可以用 --src_interlist 选项，生成C代码和汇编代码混排的文件。这样一眼就能看出每行C代码对应什么汇编，特别方便。
好了，关于编译器优化的基础，咱们就聊到这儿。记住一句话：优化不是玄学，是科学。搞清楚每个选项干了什么，再配合汇编分析，你就能真正掌控你的代码性能。