Skip to Main content Skip to Navigation
Conference papers

Code Generation in the Polyhedral Model Is Easier Than You Think

Cédric Bastoul 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, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8623
Abstract : Many advances in automatic parallelization and optimization have been achieved through the polyhedral model. It has been extensively shown that this computational model provides convenient abstractions to reason about and apply program transformations. Nevertheless, the complexity of code generation has long been a deterrent for using polyhedral representation in optimizing compilers. First, code generators have a hard time coping with generated code size and control overhead that may spoil theoretical benefits achieved by the transformations. Second, this step is usually time consuming, hampering the integration of the polyhedral framework in production compilers or feedback-directed, iterative optimization schemes. Moreover, current code generation algorithms only cover a restrictive set of possible transformation functions. This paper discusses a general transformation framework able to deal with non-unimodular, non-invertible, non-integral or even non-uniform functions. It presents several improvements to a state-of-the-art code generation algorithm. Two directions are explored: generated code size and code generator efficiency. Experimental evidence proves the ability of the improved method to handle real-life problems.
Complete list of metadata

Cited literature [27 references]  Display  Hide  Download
Contributor : Cédric Bastoul Connect in order to contact the contributor
Submitted on : Wednesday, January 18, 2006 - 1:42:39 PM
Last modification on : Thursday, July 8, 2021 - 3:48:43 AM
Long-term archiving on: : Saturday, April 3, 2010 - 9:31:27 PM


  • HAL Id : hal-00017260, version 1



Cédric Bastoul. Code Generation in the Polyhedral Model Is Easier Than You Think. 2004, pp.7--16. ⟨hal-00017260⟩



Les métriques sont temporairement indisponibles