A Hotspot-Driven Semi-automated Competitive Analysis Framework for Identifying Compiler Key Optimizations
Abstract: High-performance compilers play an important role in improving the run-time performance of a program, and it is hard and time-consuming to identify the key optimizations implemented in a high-performance compiler with traditional program analysis. In this paper, we propose a hotspot-driven semi-automated competitive analysis framework for identifying key optimizations through comparing the hotspot codes generated by any two different compilers. Our framework is platform-agnostic and works well on both AArch64 and X64 platforms, which automates the stages of hotspot detection and dynamic binary instrumentation only for selected hotspots. With the instrumented instruction characterization information, the framework users can analyze the binary code within a much smaller scope to explore practical optimizations implemented in any of the compilers compared. To demonstrate the effectiveness and practicality, we conduct experiments on SPECspeed 2017 Integer benchmarks (CINT2017) and their binaries generated by open-source GCC compiler versus proprietary Huawei BiSheng and Intel ICC compilers on AArch64 and X64 platforms respectively. Empirical studies show that our methods can identify several significant optimizations that have been implemented by proprietary compilers and as well can be implemented in open-source compilers. To our industry partner, the identified key optimizations shed great light on optimizing their GCC-based product compiler, which delivers 20.83% improvement for SPECrate 2017 Integer on AArch64 platform.
Sun 26 FebDisplayed time zone: Eastern Time (US & Canada) change
11:20 - 12:20 | OptimizationsResearch Papers at St. Laurent 3 Chair(s): Louis-Noël Pouchet Colorado State University, USA | ||
11:20 20mTalk | A Hotspot-Driven Semi-automated Competitive Analysis Framework for Identifying Compiler Key Optimizations Research Papers Wenlong Mu East China Normal University, Yilei Zhang East China Normal University, Bo Huang East China Normal University, Jianmei Guo East China Normal University, Shiqiang Cui Hangzhou Hongjun Microelectronics Technology DOI | ||
11:40 20mTalk | LAGrad: Statically Optimized Differentiable Programming in MLIR Research Papers DOI | ||
12:00 20mTalk | Lazy Evaluation for the Lazy: Automatically Transforming Call-by-Value into Call-by-Need Research Papers Breno Campos Ferreira Guimarães Federal University of Minas Gerais, Fernando Magno Quintão Pereira Federal University of Minas Gerais DOI |