CC 2023
Sat 25 - Sun 26 February 2023 Montréal, Canada
Sun 26 Feb 2023 11:20 - 11:40 at St. Laurent 3 - Optimizations Chair(s): Louis-Noël Pouchet

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 Feb

Displayed 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
20m
Talk
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
20m
Talk
LAGrad: Statically Optimized Differentiable Programming in MLIR
Research Papers
Mai Jacob Peng McGill University, Christophe Dubach McGill University; Mila
DOI
12:00
20m
Talk
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