生成SSA爲通過使用本文所描述的算法使用指針

Question

我想要的命令式編程語言轉換成管理範式（ANF）功能：http://www.sciencedirect.com/science/article/pii/S1571066105825964

在論文中，Zadarnovsky等。描述一種將SSA程序轉換爲ANF格式的算法，然後繼續提出我目前不感興趣的優化算法。

我的問題是：如何將指針變量轉換爲SSA格式？

Answer 1

指針是一個值，就像整數或浮點數是一個值。

下面是一個example from the libfirm documentation 表示x.z：

這是一個數據依賴圖中SSA形式（使用反相邊緣方向的數據流）。 黃色地址節點包含符號地址x。 成員操作會提取指向z字段的指針。 加載操作使用該指針並在那裏加載值。 加載也需要通過藍色邊緣的另一個值，即 的內存狀態。 Proj節點表示加載的值，可供其他操作使用。