会议论文《一个LLVM变量值区分析Pass的实现》介绍了在LLVM框架下实现变量值区分析的Pass方法。该研究旨在提高程序分析的效率与精度,通过静态分析技术确定变量可能的取值范围。文章详细描述了实现过程及优化策略,并在实际案例中验证了该方法的有效性,为编译器优化提供了新的思路。
文档为pdf格式,0.13MB,总共5页。
举报