Scanning polyhedra without Do-loops

We study in this paper the problem of polyhedron scanning which appears for example when generating code for transformed loop nests in automatic parallelization. After a review of related works, we detail our method to scan affine images of polyhedra. After some experimental results we show how our method applies to unions of affine images of polyhedra. We have taken the option to generate low level code without loops. This has allowed us to have a completely general and fully parameterized method without losing efficiency