Graph Transformations for Register-Pressure-Aware Instruction Scheduling
This paper presents graph transformation algorithms for register-pressure-aware instruction scheduling. The proposed transformations add edges to the data dependence graph (DDG) to eliminate solutions that are either redundant or sub-optimal. Register-pressure-aware instruction scheduling aims at balancing two conflicting objectives: maximizing instruction-level parallelism (ILP) and minimizing register pressure (RP). Graph transformations have been previously proposed for the problem of maximizing ILP without considering RP, which is a problem of limited practical value. In the current paper, we extend that work by proposing graph transformations for the RP minimization objective, which is an important objective in practice. Various cost functions are considered for representing RP, and we show that the proposed transformations preserve optimality with respect to each of them. The proposed transformations are used to reduce the size of the solution space before applying a Branch-and-Bound (B&B) algorithm that exhaustively searches for an optimal solution. The proposed transformations and the B&B algorithm were implemented in the LLVM compiler, and their performance was evaluated experimentally on a CPU target and a GPU target. The SPEC CPU2017 floating-point benchmarks were used on the CPU and the PlaidML benchmarks were used on the GPU. The results show that the proposed transformations significantly reduce the compile time while giving approximately the same execution-time performance.
Tue 5 AprDisplayed time zone: Eastern Time (US & Canada) change
12:50 - 13:50 | Session 2: Compiler TheoryCC Research Papers at CC Virtual Room Chair(s): EunJung (EJ) Park Qualcomm, USA | ||
12:50 15mPaper | Graph Transformations for Register-Pressure-Aware Instruction Scheduling CC Research Papers Ghassan Shobaki California State University, Sacramento, Justin Bassett California State University Sacramento, Mark Heffernan Google, Austin Kerbow AMD DOI | ||
13:05 15mPaper | Caviar: An E-Graph Based TRS for Automatic Code Optimization CC Research Papers Smail Kourta New York University Abu Dhabi, Adel Abderahmane NAMANI , Fatima Benbouzid-Si Tayeb École nationale supérieure d'informatique, Kim Hazelwood Facebook, Chris Cummins Facebook, Hugh Leather Facebook, Riyadh Baghdadi NYU Abu Dhabi DOI | ||
13:20 15mPaper | On the Computation of Interprocedural Weak Control Closure CC Research Papers DOI | ||
13:35 15mPaper | Seamless Deductive Inference via Macros CC Research Papers Arash Sahebolamri , Thomas Gilray University of Alabama at Birmingham, Kristopher Micinski Syracuse University DOI |