Write a Blog >>
CC 2022
Tue 5 - Wed 6 April 2022 Online conference
Tue 5 Apr 2022 12:50 - 13:05 at CC Virtual Room - Session 2: Compiler Theory Chair(s): EunJung (EJ) Park

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 Apr

Displayed 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
15m
Paper
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
15m
Paper
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
15m
Paper
On the Computation of Interprocedural Weak Control Closure
CC Research Papers
Abu Naser Masud Malardalen University, Bjorn Lisper Malardalen University
DOI
13:35
15m
Paper
Seamless Deductive Inference via MacrosArtifacts Evaluated – Reusable v1.1Artifacts Available v1.1Results Reproduced v1.1
CC Research Papers
Arash Sahebolamri , Thomas Gilray University of Alabama at Birmingham, Kristopher Micinski Syracuse University
DOI