Team Compsys

Overall Objectives
Scientific Foundations
New Results
Contracts and Grants with Industry
Other Grants and Activities

Section: Software

CLooG: Loop Generation

Participants : Paul Feautrier, Cédric Bastoul [ MCF, IUT d'Orsay ] .

The aim of CLooG is to generate a system of loops that visit once and only once the integer points in the union of several Im2 $\#8484 $ -polyhedra. The algorithm is an improved version of a previous effort by Fabien Quilleré (past Inria project Cosi). The code generated by CLooG is compact and quite efficient [26] . The availability of CLooG on the Web as a free software ( ) has been a triggering factor for a recent increase of interest for the polytope model. Observe for instance the recent implementation of a CLooG/VHDL back-end [34] .


Logo Inria