非SSA转化成SSA

静态单赋值形式

每个遍历仅仅被赋值一次。

变量仅在单bb块内被多次赋值。重命名

复制代码
a = 1;
b = a;
a = 2;
d = a;

==================>
 a1 = 1;
 b = a1;
 a2 = 2;
 d = a2;

复制代码

变量块跨bb块被多次赋值,插入phi节点,并重命名

复制代码
   B1
if (cond)
    B2    
a = b; 
else
    B3
    a = c;

B4:
    d = a

======================>
if (cond)
    a1 = b;
else
    a2 = c;
a3 = phi(B2, a1, B3, a2)

d = a3;
复制代码

支配树的具体实现和支配相关概念可以参考

https://blog.csdn.net/dashuniuniu/article/details/52224882

第一步建立支配树。

主要是通过计算IDOM节点,参考论文

// A Simple , Fast Dominance Algorithm by Keith D .Cooper .  算法伪代码如下:

 第二部计算支配边界:

 第三步:

确定需要 进行重命名的变量和blocks

 

第四步
按照后序列顺序,把bbk内有多次赋值的变量,向该bb块后面所有的支配边界插入phi指令。

 

第五步

按从根节点开始,对Multidef的Var进行重命名,注意更新phi中的var的名字;

varTni需要一个栈,用于存储bb块当前需要的名字。

posted @   zzas12345  阅读(8)  评论(0编辑  收藏  举报
相关博文:
阅读排行:
· 在鹅厂做java开发是什么体验
· 百万级群聊的设计实践
· WPF到Web的无缝过渡:英雄联盟客户端的OpenSilver迁移实战
· 永远不要相信用户的输入:从 SQL 注入攻防看输入验证的重要性
· 浏览器原生「磁吸」效果!Anchor Positioning 锚点定位神器解析
点击右上角即可分享
微信分享提示