别名分析：修订间差异
删除的内容 添加的内容
小无编辑摘要 |
增加或调整分类 |
||
| 第13行： | 第13行： | ||
* {{cite book |author=Appel, Andrew W. |title=Modern Compiler Implementation in ML |publisher=Cambridge University Press |location=Cambridge, UK |year=1998 |isbn=0-521-60764-7 }} |
* {{cite book |author=Appel, Andrew W. |title=Modern Compiler Implementation in ML |publisher=Cambridge University Press |location=Cambridge, UK |year=1998 |isbn=0-521-60764-7 }} |
||
{{编译器优化}} |
|||
[[Category:静态程序分析]] |
[[Category:静态程序分析]] |
||
[[Category:编译器最佳化]] |
|||
2023年1月12日 (四) 15:54的版本
 |
别名分析（Alias analysis）是编译器理论中的一种优化技术。当两个或更多指针指向同一个地址时，那些指针便是别名指针，而别名分析便是一种判断某一指针是否为别名指针的方式。
别名（Alias）的存在会增加编译器的优化难度，甚至阻止某种优化的发生。因此，别名是否存在于程序中，对于一些优化手段是不可或缺的一个信息。在这种场景下，别名分析显得尤为重要。
参考
- Appel, Andrew W. Modern Compiler Implementation in ML. Cambridge, UK: Cambridge University Press. 1998. ISBN 0-521-60764-7.
| |||||||||||||||||||||||||||||||||||||||||||||||