Skip to Main content Skip to Navigation
Reports

Facilitating the Exploration of Compositions of Program Transformations

Albert Cohen 1 Sylvain Girbal 1 Olivier Temam 1
1 ALCHEMY - Architectures, Languages and Compilers to Harness the End of Moore Years
LRI - Laboratoire de Recherche en Informatique, UP11 - Université Paris-Sud - Paris 11, CNRS - Centre National de la Recherche Scientifique : UMR8623, Inria Saclay - Ile de France
Abstract : Static cost models have a hard time coping with hardware components exhibiting complex run-time behaviors, calling for alternative solutions. Iterative optimization is emerging as a promising research direction, but currently, it is mostly limited to finding the parameters of program transformations. We want to extend the scope and efficiency of iterative optimization techniques by searching not only for the appropriate parameters of a given transformation, but for the program transformations themselves, and especially for compositions of program transformations. The purpose of this article is to introduce a framework for easily expressing compositions of program transformations. This framework relies on a unified polyhedral representation of loops and statements. The key is to clearly separate the impact of each program transformation on the following three components: the iteration domain, the schedule and the memory access functions. We show that, within this framework, composing a long sequence of program transformations induces no code size explosion. As a result, searching for compositions of transformations is not hampered by the multiplicity of compositions, and in many cases, it is equivalent to testing different values for the coefficients of the representation matrices. Our techniques have been implemented on top of the Open64/ORC compiler.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00071468
Contributor : Rapport de Recherche Inria <>
Submitted on : Tuesday, May 23, 2006 - 5:38:16 PM
Last modification on : Wednesday, September 16, 2020 - 5:07:09 PM
Long-term archiving on: : Sunday, April 4, 2010 - 10:17:03 PM

Identifiers

  • HAL Id : inria-00071468, version 1

Collections

Citation

Albert Cohen, Sylvain Girbal, Olivier Temam. Facilitating the Exploration of Compositions of Program Transformations. [Research Report] RR-5114, INRIA. 2004. ⟨inria-00071468⟩

Share

Metrics

Record views

272

Files downloads

298