非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块当前需要的名字。
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】凌霞软件回馈社区,博客园 & 1Panel & Halo 联合会员上线
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】博客园社区专享云产品让利特惠,阿里云新客6.5折上折
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· 在鹅厂做java开发是什么体验
· 百万级群聊的设计实践
· WPF到Web的无缝过渡:英雄联盟客户端的OpenSilver迁移实战
· 永远不要相信用户的输入:从 SQL 注入攻防看输入验证的重要性
· 浏览器原生「磁吸」效果!Anchor Positioning 锚点定位神器解析