39｜中端优化第2关：全局优化要怎么搞？

全局优化是编译器中的重要环节，本文介绍了基于图的IR进行全局优化的方法。文章首先讲解了变量版本与控制流的关系，通过VarProxy类来表示不同版本的变量定义，并将其与控制流绑定，以确定程序中引用的是哪个版本。接着详细讨论了全局的死代码删除，以及部分冗余消除等优化技术。文章还介绍了划分基本块和指令调度的算法，以及循环无关代码外提的优化方法。全文深入浅出地介绍了全局优化的相关概念和实现方法，对于编译器领域的技术人员具有一定的参考价值。