静态单赋值(SSA SSA中的所有赋值都是针对不同名的变量 对于同一个变量在不同路径中定值的情況, 可以使用Φ函数来合并不同的定值 -if (flag)x-1; else=1; y=x*a -if(flag )x-1; else x2=1; x3=((, x2) y=X3a静态单赋值（SSA） • SSA中的所有赋值都是针对不同名的变量 • 对于同一个变量在不同路径中定值的情况， 可以使用φ函数来合并不同的定值 – if (flag) x=-1; else x = 1; y = x*a – if (flag) x1=-1; else x2 = 1; x3=φ(x1 ,x2 )； – y = x3*a