14.4 循环封闭的SSA形式

在整个树级的循环优化过程中，SSA形式需要有一个额外的加强条件：没有SSA名字在它所定义的循环之外被使用。满足这样条件的SSA形式称作“循环封闭的SSA形式”-LCSSA。为了形成LCSSA，对于在循环外使用SSA名字的，必须在循环的出口创建PHI节点。为了节省内存，在LCSSA中只支持实际的操作数（不包括虚拟SSA名）。

LCSSA有许多好处：

• 许多优化（值范围分析，最终值替换）都对在循环中定义的而在循环外使用的值感兴趣，即，对那些我们创建的新PHI节点。
• 在归约变量分析中，没有必要指定将要执行分析的循环——标量演化分析总是返回SSA名字被定义的循环。
• 它使得循环转换中更新SSA形式变得更简单。没有LCSSA的话，像循环展开这样的操作可能会强迫创建距离循环任意远的PHI节点，然而使用LCSSA的话，SSA形式能够被局部更新。不过，由于我们只是在LCSSA中保持真实的操作书，所以我们不能使用这个好处（我们本来能够局部更新真实操作数，但是这样并不比使用通用SSA形式更新更有效；对SSA的改动是相同的）。

不管怎样，这还意味着LCSSA必须被更新。这通常是很直白的，除非你在循环中创建了一个新值，并在外面使用，或者除非你操作了循环出口边（有函数被提供使得这些操作变得简单）。rewrite_into_loop_closed_ssa用来将SSA形式重写为 LCSSA，verify_loop_closed_ssa用来检查LCSSA所保持的不变性。