Integer Affine Transformations of Parametric Z-polytopes and Applications to Loop Nest Optimization - Archive ouverte HAL Access content directly
Journal Articles ACM Transactions on Architecture and Code Optimization Year : 2012

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

(1) , (2, 3) , (4)
1
2
3
4

Abstract

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.

Dates and versions

inria-00582388 , version 1 (01-04-2011)

Identifiers

Cite

Rachid Seghir, Vincent Loechner, Benoit Meister. Integer Affine Transformations of Parametric Z-polytopes and Applications to Loop Nest Optimization. ACM Transactions on Architecture and Code Optimization, 2012, 9 (2), pp.8.1-8.27. ⟨10.1145/2207222.2207224⟩. ⟨inria-00582388⟩

Collections

CNRS INRIA INRIA2
54 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More