SSA（static single assignment)（静态单赋值）

SSA属于控制流分析，所以有些相关的概念如控制流图，控制树，n控制m，直接控制和真控制需要参考如下文章：
控制流分析

引入

例如：

SSA

一个问题：

这是肯定的，有了SSA，做出上面的判断不难。
上面都是一些简单的SSA改写，下面有分支，则更加麻烦，需要一些程序化的方法（后面介绍）。如下：

这个时候经过分支之后，对x引用，我们很难知道到底引用了哪一个x,所以我们引入了一个非常重要的PHINode也就是ϕ\phiϕ节点，从而将这个SSA的初衷完成。初衷前面已经说了，现在啰嗦一遍，即：

这样，我们引用x2的时候，我们知道x2的定义赋值就在那个ϕ\phiϕ节点，而不是不确定。
接下来，我们说出构造ϕ\phiϕ节点的具体做法。

注意：

再举一个例子。

则：

上面是不是已经够难了，下面有一个更难的：

所以，我们希望有一种程序化的方法来将这个ϕ\phiϕ节点的位置和定义都准确地输出。下面介绍这个方法。

控制边界

这里需要先介绍一个概念，控制边界（Dominance Frontier）。等下构造SSA的时候会用到。

假设有如下的控制流图：

按照上面的控制边界的定义，我们可以得到如下的结果，即我们要计算每一个节点的控制边界。

以3为例，演示一下节点3的控制边界为什么是4。DF(3)={4}。
首先，对于节点3，我们候选的只有{4，5}，因为在控制流图中3的后面。考虑4节点，其前驱节点有{3，6}，由于3控制3。所以满足控制边界的定义（1）。由于3不控制4，满足控制边界的定义（2）。关于控制的概念，忘记了的，可以参考本文开头的链接文章。由于满足两个定义，所以4是3的控制边界。
对于5，其前驱节点有{4，8，9}，3不控制里面的任何一个，所以不满足定义（1）。
所以3的控制边界只有4。

引入ϕ\phiϕ

下面介绍如何通过已经计算好的控制边界来引入ϕ\phiϕ节点。
先给出这个算法的伪代码，先不要着急一看到伪代码就不想看，其实有的伪代码挺好懂的。

我们按照这个算法的初始化步骤，走一走就是这样。如下。再重复一遍，我们要先找到对x赋过值的基本块，这里只有{1，8，10}。所以按照那个伪代码就可以初始化3个数据结构如下图的右上角。然后开始循环，当前，1就是循环里的N。

经过若干步得到：

最后：

通过这个算法，找到了引入ϕ\phiϕ节点的位置，但是我们还需要将上面红色的x给改个名字，例如x1,x2…xn等。

重命名

翻译

以上就是SSA的全部了。