数据流分析与 SSA | 什么是静态单赋值 SSA

什么是静态单赋值 SSA。

SSA 是 ​​static​​ single assignment 的缩写，也就是静态单赋值形式。

顾名思义，就是每个变量只有唯一的赋值。