别名分析：修订间差异
删除的内容 添加的内容
修饰语句 |
修饰语句 |
||
| 第5行： | 第5行： | ||
}} |
}} |
||
{{NoteTA|G1=IT}} |
{{NoteTA|G1=IT}} |
||
'''别名分析'''（Alias analysis）是[[编译器|编译器理论]]中的一种程序分析技术。当两个或更多指针指向同一个地址时，那些指针 |
'''别名分析'''（Alias analysis）是[[编译器|编译器理论]]中的一种程序分析技术。当程序中同时出现两个甚至多个符号代表同样一个内存位置时，这些符号便可称作'''别名'''。与此相对应的，当两个或更多指针指向同一个地址时，那些指针称作[[别名_(计算)|别名指针]]。别名分析则是判断一个程序内是否存在别名的算法。 |
||
别名（Alias）的存在会增加编译器的优化难度，甚至阻止某种优化的发生。因此，别名是否存在于程序中，对于一些优化手段是不可或缺的一个信息。在这种场景下，别名分析显得尤为重要。 |
别名（Alias）的存在会增加编译器的优化难度，甚至阻止某种优化的发生。因此，别名是否存在于程序中，对于一些优化手段是不可或缺的一个信息。在这种场景下，别名分析显得尤为重要。 |
||
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.
| |||||||||||||||||||||||||||||||||||||||||||||||