Integer Affine Transformations of Parametric Z-polytopes and Applications to Loop Nest Optimization - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2010

Integer Affine Transformations of Parametric Z-polytopes and Applications to Loop Nest Optimization

Résumé

The polyhedral model is a well-known compiler optimization framework for the analysis and transformation of affine loop nests. We present a new method concerning a difficult geometric operation that is raised by this model: the integer affine transformation of parametric Z-polytopes. The result of such a transformation is given by a worst-case exponential union of Z-polytopes. We also propose a polynomial algorithm (for fixed dimension), to count points in arbitrary unions of a fixed number of parametric Z-polytopes. We implemented these algorithms and compared them to other existing algorithms, for a set of applications to loop nest analysis and optimization.
Fichier principal
Vignette du fichier
rapport.pdf (262.99 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00534686 , version 1 (10-11-2010)

Identifiants

  • HAL Id : inria-00534686 , version 1

Citer

Rachid Seghir, Vincent Loechner, Benoit Meister. Integer Affine Transformations of Parametric Z-polytopes and Applications to Loop Nest Optimization. [Research Report] 2010, pp.30. ⟨inria-00534686⟩
180 Consultations
365 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More