别名分析:修订间差异
外观
删除的内容 添加的内容
新条目 |
修饰语句 |
||
(未显示2个用户的5个中间版本) | |||
第1行: | 第1行: | ||
{{Multiple issues| |
|||
⚫ | |||
{{Expand language|1=en|time=2023-01-12T08:29:54+00:00}} |
|||
{{No footnotes|time=2023-01-12T08:29:54+00:00}} |
|||
{{Refimprove|time=2023-01-12T08:29:54+00:00}} |
|||
}} |
|||
{{NoteTA|G1=IT}} |
|||
⚫ | |||
别名(Alias)的存在会增加编译器的优化难度,甚至阻止某种优化的发生。因此,别名是否存在于程序中,对于一些优化手段是不可或缺的一个信息。在这种场景下,别名分析显得尤为重要。 |
别名(Alias)的存在会增加编译器的优化难度,甚至阻止某种优化的发生。因此,别名是否存在于程序中,对于一些优化手段是不可或缺的一个信息。在这种场景下,别名分析显得尤为重要。 |
||
第6行: | 第12行: | ||
{{Reflist}} |
{{Reflist}} |
||
* {{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:编译器最佳化]] |
2023年3月11日 (六) 06:13的最新版本
别名分析(Alias analysis)是编译器理论中的一种程序分析技术。当程序中同时出现两个甚至多个符号代表同样一个内存位置时,这些符号便可称作别名。与此相对应的,当两个或更多指针指向同一个地址时,那些指针称作别名指针。别名分析则是判断一个程序内是否存在别名的算法。
别名(Alias)的存在会增加编译器的优化难度,甚至阻止某种优化的发生。因此,别名是否存在于程序中,对于一些优化手段是不可或缺的一个信息。在这种场景下,别名分析显得尤为重要。
参考[编辑]
- Appel, Andrew W. Modern Compiler Implementation in ML. Cambridge, UK: Cambridge University Press. 1998. ISBN 0-521-60764-7.
|