下面这些常见的基础优化都包含在-O2优化选项中,除了循环展开需要使用-funroll-loops选项。
1. constant propagation(常量传播)
2. copy propagation(复制传播)
3. constant folding(常量折叠)
4. redundancy elimination(冗余消除)
上图中a+b计算了多次,就是冗余,优化后只需计算一次。
5. range propagation(范围传播)
6. expression simplifcation(表达式化简)
7. algebraic simplification(代数化简)
8. Common Subexpression Elimination (CSE,公共子表达式删除)
9. unreachable code elimination(不可达代码消除)
10. Dead Code Elimination(DCE, 死代码消除)
11.循环不变表达式外提
12. jump threading
13. cross jumping
cross jumping,也叫尾部合并,将不同基本块中相同的尾部代码合并到一起。