Academic Journal
Effective Function Merging in the SSA Form
| العنوان: | Effective Function Merging in the SSA Form |
|---|---|
| المؤلفون: | Rocha, Rodriguez, Petoumenos, Pavlos, Wang, Zheng, Cole, Murray, Leather, Hugh |
| المساهمون: | Donaldson, Alastair F., Torlak, Emina |
| المصدر: | Rocha , R , Petoumenos , P , Wang , Z , Cole , M & Leather , H 2020 , Effective Function Merging in the SSA Form . in A F Donaldson & E Torlak (eds) , Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2020) . Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) , pp. 854-868 , Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation , lO , 15/06/20 . https://doi.org/10.1145/3385412.3386030 |
| سنة النشر: | 2020 |
| المجموعة: | The University of Manchester: Research Explorer - Publications |
| مصطلحات موضوعية: | code size reduction, function merging, LTO |
| الوصف: | Function merging is an important optimization for reducing code size. This technique eliminates redundant code across functions by merging them into a single function. While initially limited to identical or trivially similar functions, the most recent approach can identify all merging opportunities in arbitrary pairs of functions. However, this approach has a serious limitation which prevents it from reaching its full potential. Because it cannot handle phi-nodes, the state-of-the-art applies register demotion to eliminate them before applying its core algorithm. While a superficially minor workaround, this has a three-fold negative effect: by artificially lengthening the instruction sequences to be aligned, it hinders the identification of mergeable instruction; it prevents a vast number of functions from being profitably merged; it increases compilation overheads, both in terms of compile-time and memory usage. We present SalSSA, a novel approach that fully supports the SSA form, removing any need for register demotion. By doing so, we notably increase the number of profitably merged functions. We implement SalSSA in LLVM and apply it to the SPEC 2006 and 2017 suites. Experimental results show that our approach delivers on average, 7.9% to 9.7% reduction on the final size of the compiled code. This translates to around 2x more code size reduction over the state-of-the-art. Moreover, as a result of aligning shorter sequences of instructions and reducing the number of wasteful merge operations, our new approach incurs an average compile-time overhead of only 5%, 3x less than the state-of-the-art, while also reducing memory usage by over 2x. |
| نوع الوثيقة: | article in journal/newspaper |
| وصف الملف: | application/pdf |
| اللغة: | English |
| DOI: | 10.1145/3385412.3386030 |
| الاتاحة: | https://research.manchester.ac.uk/en/publications/90df1bdc-9903-420c-9ea3-5fdee8f48257 https://doi.org/10.1145/3385412.3386030 https://pure.manchester.ac.uk/ws/files/162099738/main.pdf |
| Rights: | info:eu-repo/semantics/openAccess |
| رقم الانضمام: | edsbas.53795DAE |
| قاعدة البيانات: | BASE |
| DOI: | 10.1145/3385412.3386030 |
|---|