为使用指针的函数生成SSA

Question

我试图通过使用本文所述的算法将命令式编程语言转换为行政范式（ANF）：http://www.sciencedirect.com/science/article/pii/S1571066105825964

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

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

Answer 1

指针是一个值，就像一个整数或float是一个值。

这是example from the libfirm documentation 代表x.z：

这是SSA格式的数据依赖图（边向反转的数据流）。 黄色地址节点包含符号地址x。 Member操作提取指向z字段的指针。 Load操作接受该指针并在那里加载值。 加载也通过蓝色边缘获取另一个值， 记忆状态。 Proj节点表示加载的值，可以由其他操作使用。