Title | ||
---|---|---|
Integer affine transformations of parametric ℤ-polytopes and applications to loop nest optimization |
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 to solve a difficult geometric operation that is raised by this model: the integer affine transformation of parametric ℤ-polytopes. The result of such a transformation is given by a worst-case exponential union of ℤ-polytopes. We also propose a polynomial algorithm (for fixed dimension), to count points in arbitrary unions of a fixed number of parametric ℤ-polytopes. We implemented these algorithms and compared them to other existing algorithms, for a set of applications to loop nest analysis and optimization. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1145/2207222.2207224 | TACO |
Keywords | Field | DocType |
affine loop nest,existing algorithm,polyhedral model,well-known compiler optimization framework,integer affine transformation,difficult geometric operation,fixed dimension,loop nest analysis,loop nest optimization,arbitrary union,fixed number,affine transformation,compiler optimization,ehrhart polynomial | Affine transformation,Integer,Discrete mathematics,Loop nest optimization,Affine combination,Computer science,Parallel computing,Optimizing compiler,Parametric statistics,Polytope,Polytope model | Journal |
Volume | Issue | ISSN |
9 | 2 | 1544-3566 |
Citations | PageRank | References |
3 | 0.36 | 30 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Rachid Seghir | 1 | 110 | 6.96 |
Vincent Loechner | 2 | 295 | 22.19 |
Benoît Meister | 3 | 138 | 12.84 |