为使用指针的函数生成SSA

Question

我正在尝试使用本文中描述的算法将命令式编程语言转换为管理范式：http://www.sciencedirect.com/science/article/pii/S1571066105825964

在这篇论文中，Zadarnovsky等人。描述将SSA程序转换为ANF形式的算法，然后继续介绍我目前不感兴趣的优化算法。

我的问题是:如何将指针变量转换为SSA形式？

Answer 1

指针是一个值，就像整数或浮点数是一个值一样。

下面是一个表示x.z的example from the libfirm documentation

​

​

这是SSA形式的数据依赖图(边方向相反的数据流)。黄色地址节点包含x的符号地址。成员操作提取指向z字段的指针。加载操作获取该指针并将值加载到那里。Load还通过蓝色边缘获取另一个值，即内存状态。Proj节点表示加载的值，可供其他操作使用。