利用程序複制及值範圍加速LLVM程序間常數傳遞

Boosting Interprocedural Constant Propagation in Low-Level Virtual Machine Using Procedural Cloning and Value-Range Propagation

吳子杰(Tzu-Chieh Wu)

指導教授 ： 廖世偉

國立臺灣大學/電機資訊學院/資訊工程學研究所/碩士(2013年)

https://doi.org/10.6342/NTU.2013.10130

摘要

無資料

關鍵字

程序間常數傳遞 ； 低階虛擬機 ； 程序複製

並列摘要

Procedures pose barriers for some compiler optimizations because of function call overhead and degradation in quality of information. LLVM has implemented some Interprocedural Optimizations (IPO). However, the Interprocedural constant propagation (IPCP) part does very little. It performs on static functions only and only arguments of all callsites are constants will it works. Furthermore, it uses iterative algorithm which works inefficiently. This paper survey what GCC and some other papers do in IPCP. Then, we improve IPCP pass of LLVM by implementing procedure cloning and using value range to simplify branch.

並列關鍵字

LLVM ； Interprocedural Constant Propagation ； Procedural Cloning ； Value Range Propagation ； Branch Simplify

參考文獻

[2] D. Callahan, K. D. Cooper, K. Kennedy, and L. Torczon, “Interprocedural constant propagation,” SIGPLAN Not., vol. 39, no. 4, pp. 155-166, 2004.

[3] K. D. Cooper, M. W. Hall, and K. Kennedy, “A methodology for procedure cloning,” Computer Languages, vol. 19, no. 2, pp. 105-117, 4//, 1993.

[5] "SPEC: Standard Performance Evaluation Corporation," September 2000.

[1] C. Lattner, “Introduction to the LLVM Compiler System,” in Advanced Computing and Analysis Techniques in Physics Research, Erice, Sicily, Italy, 2008.

[4] B. Greskamp, “A Simple Value Range Propagation Pass for SUIF-1,” 2003.