The Polyhedral Model Is More Widely Applicable Than You Think

Mohamed-Walid Benabderrahmane 1 Louis-Noël Pouchet 1 Albert Cohen 1 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 : The polyhedral model is a powerful framework for automatic optimization and parallelization. It is based on an algebraic representation of programs, allowing to construct and search for complex sequences of optimizations. This model is now mature and reaches production compilers. The main limitation of the polyhedral model is known to be its restriction to statically predictable, loop-based program parts. This paper removes this limitation, allowing to operate on general data-dependent control-flow. We embed control and exit predicates as first-class citizens of the algebraic representation, from program analysis to code generation. Complementing previous (partial) attempts in this direction, our work concentrates on extending the code generation step and does not compromise the expressiveness of the model. We present experimental evidence that our extension is relevant for program optimization and parallelization, showing performance improvements on benchmarks that were thought to be out of reach of the polyhedral model.
Type de document :
Communication dans un congrès
Proceedings of the International Conference on Compiler Construction (ETAPS CC'10), Mar 2010, Paphos, Cyprus. Springer-Verlag, pp.283--303, 2010
Liste complète des métadonnées

Littérature citée [36 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00551087
Contributeur : Cédric Bastoul <>
Soumis le : dimanche 2 janvier 2011 - 15:18:20
Dernière modification le : vendredi 23 février 2018 - 13:42:23
Document(s) archivé(s) le : lundi 5 novembre 2012 - 15:05:41

Fichier

BPCB10-CC.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00551087, version 1

Collections

Citation

Mohamed-Walid Benabderrahmane, Louis-Noël Pouchet, Albert Cohen, Cédric Bastoul. The Polyhedral Model Is More Widely Applicable Than You Think. Proceedings of the International Conference on Compiler Construction (ETAPS CC'10), Mar 2010, Paphos, Cyprus. Springer-Verlag, pp.283--303, 2010. 〈inria-00551087〉

Partager

Métriques

Consultations de la notice

329

Téléchargements de fichiers

314