別名分析
 |
別名分析（Alias analysis）是編譯器理論中的一種程序分析技術。當程序中同時出現兩個甚至多個符號代表同樣一個內存位置時，這些符號便可稱作別名。與此相對應的，當兩個或更多指針指向同一個地址時，那些指針稱作別名指針。別名分析則是判斷一個程序內是否存在別名的算法。
別名（Alias）的存在會增加編譯器的優化難度，甚至阻止某種優化的發生。因此，別名是否存在於程序中，對於一些優化手段是不可或缺的一個信息。在這種場景下，別名分析顯得尤為重要。
參考
[編輯]- Appel, Andrew W. Modern Compiler Implementation in ML. Cambridge, UK: Cambridge University Press. 1998. ISBN 0-521-60764-7.