Skip to Main content Skip to Navigation
Reports

Declarative Transformations in the Polyhedral Model

Abstract : Despite the availability of sophisticated automatic optimizers, performance-critical code sections are in practice still tuned by human experts. Pragma-based languages such as OpenMP or OpenACC are the standard interface to apply such transformations to large code bases and loop transformation pragmas would be a straightforward extension to provide fine-grained control over a compilers loop optimizer. However, the manual optimization of programs via explicit sequences of directives is unlikely to fully solve this problem as expressing complex optimization sequences explicitly results in difficult to read and non-performance-portable code. We address this problem by presenting a novel framework of composable program transformations based on the internal tree-like program representation of a polyhedral compiler. Based on a set of tree matchers and transformers, we describe an embedded transformation language which provides the foundation for the development of program optimization tactics. Using this language, we express core building blocks such as loop tiling, fusion, or data-layout-transformations, and compose them to higher-level transformations expressing algorithm-specific optimization strategies for stencils, dense linear-algebra, etc. We expect our approach to simplify the development of polyhedral optimizers and integration of polyhedral and syntactic approaches.
Complete list of metadata

Cited literature [50 references]  Display  Hide  Download

https://hal.inria.fr/hal-01965599
Contributor : Albert Cohen <>
Submitted on : Wednesday, December 26, 2018 - 1:15:52 PM
Last modification on : Wednesday, October 14, 2020 - 4:06:40 AM
Long-term archiving on: : Wednesday, March 27, 2019 - 1:12:04 PM

File

RR-9243.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01965599, version 1

Collections

Citation

Oleksandr Zinenko, Lorenzo Chelini, Tobias Grosser. Declarative Transformations in the Polyhedral Model. [Research Report] RR-9243, Inria; ENS Paris - Ecole Normale Supérieure de Paris; ETH Zurich; TU Delft; IBM Zürich. 2018. ⟨hal-01965599⟩

Share

Metrics

Record views

287

Files downloads

872