別名分析

別名分析(Alias analysis)是編譯器理論中的一種程式分析技術。當程式中同時出現兩個甚至多個符號代表同樣一個主記憶體位置時,這些符號便可稱作別名。與此相對應的,當兩個或更多指標指向同一個地址時,那些指標稱作別名指標。別名分析則是判斷一個程式內是否存在別名的演算法。

別名(Alias)的存在會增加編譯器的最佳化難度,甚至阻止某種最佳化的發生。因此,別名是否存在於程式中,對於一些最佳化手段是不可或缺的一個資訊。在這種場景下,別名分析顯得尤為重要。

參考

  • Appel, Andrew W. Modern Compiler Implementation in ML. Cambridge, UK: Cambridge University Press. 1998. ISBN 0-521-60764-7.