LLVM中的实时值
|
假设我在CFG中(除其他外)有两个基本块A和B,其边缘从A到B。我需要执行以下操作:
获得整个生命值的集合S
那个边缘(可以是
过度逼近,即可能
包含非实时值
不再)
将每个人映射到另一个
值(S-> S \')
替换-在B及其
后继者-价值的所有用途
在S中具有映射值(S \')
LLVM是否提供一种简单的方法来进行第一点和第三点(因为我似乎无法找到它)?如果没有,您对此有什么建议吗?
注意:交叉张贴在LLVM邮件列表上
没有找到相关结果
已邀请:
1 个回复
锑寝粒