如何实现程序中的静态单赋值（SSA）优化技术？
- 内容介绍
- 文章标签
- 相关推荐
本文共计2958个文字，预计阅读时间需要12分钟。
本文是系列文章的第七篇，聚焦于知名SSA——编译器领域的佼佼者。SSA，即Static Single Assignment，是编译器领域中一个重要的概念，它代表了该领域最伟大的发展之一，也是影响最广的进步之一。文中内容主要源自学习DCC888的笔记或个人对SSA的理解整理。
本章是系列文章的第七章，终于来到了鼎鼎大名的SSA，SSA是编译器领域最伟大的发明之一，也是影响最广的发明。
7.1控制流图回顾本文中的所有内容来自学习DCC888的学习笔记或者自己理解的整理，如需转载请注明出处。周荣华@燧原科技
对下面的c代码保存成7.1.cc：
1 int max(int a, int b) { 2 int ans = a; 3 if (b > a) { 4 ans = b; 5 } 6 return ans; 7 }
直接用clang生成bc→ dot→ svg，最终svg的结果如下：
如果经过一轮opt的优化“opt -mem2reg 7.1.ll -o 7.1.1.bc”之后的结果，就变成了这样（注意，需要删除ll里面的optnone属性，否则opt不会生效）：
除了我们本来准备跑的mem2reg的pass外，优化前后最后一个BB里是不是还多了一个phi函数？
7.1.1静态单赋值范式（SSA Form）静态单赋值，字面意思是对静态的变量只有一次赋值点。这是现在所有编译器都广泛使用的属性，也是编译器历史上最具有突破性意义的属性，简化了各种分析和优化的过程。
本文共计2958个文字，预计阅读时间需要12分钟。
本文是系列文章的第七篇，聚焦于知名SSA——编译器领域的佼佼者。SSA，即Static Single Assignment，是编译器领域中一个重要的概念，它代表了该领域最伟大的发展之一，也是影响最广的进步之一。文中内容主要源自学习DCC888的笔记或个人对SSA的理解整理。
本章是系列文章的第七章，终于来到了鼎鼎大名的SSA，SSA是编译器领域最伟大的发明之一，也是影响最广的发明。
7.1控制流图回顾本文中的所有内容来自学习DCC888的学习笔记或者自己理解的整理，如需转载请注明出处。周荣华@燧原科技
对下面的c代码保存成7.1.cc：
1 int max(int a, int b) { 2 int ans = a; 3 if (b > a) { 4 ans = b; 5 } 6 return ans; 7 }
直接用clang生成bc→ dot→ svg，最终svg的结果如下：
如果经过一轮opt的优化“opt -mem2reg 7.1.ll -o 7.1.1.bc”之后的结果，就变成了这样（注意，需要删除ll里面的optnone属性，否则opt不会生效）：
除了我们本来准备跑的mem2reg的pass外，优化前后最后一个BB里是不是还多了一个phi函数？
7.1.1静态单赋值范式（SSA Form）静态单赋值，字面意思是对静态的变量只有一次赋值点。这是现在所有编译器都广泛使用的属性，也是编译器历史上最具有突破性意义的属性，简化了各种分析和优化的过程。