But du projet

Rassembler plusieurs bibliothèques en une seule, qui sera distribuée sous forme de package (dans sourceforge) et intégré à gcc : PolyLib, CLoog, PIPLib, Barvinok, et les projections entières de polyèdres paramétrés.

Description

Le modèle polyédrique est utilisé afin d'analyser et d'optimiser les boucles affines accédants à des tableaux dans des langages variés. Une branche de développement de gcc vise à intégrer ce modèle aux prochaines versions de gcc (dans les optimisations agressives : -O3). Plusieurs outils ont été développés par des communautés scientifiques variées, sous forme de bibliothèques :

• PolyLib : manipulation de polyèdres (paramétrés), de Z-polyèdres (paramétrés), dénombrement des points entiers ;
• Barvinok : dénombrement de points entiers de polyèdres ;
• CLoog : génération des boucles parcourant une union de polyèdres ;
• PIP : calcul du minimum (lexicographique) entier d'un polyèdre paramétré ;
• projections entières : calcul et dénombrement des projections entières de polyèdres paramétrés.

Travail à réaliser

Le code de ces bibliothèques (programmées en C) ne subira pas de grand changement, elles sont toutes compatibles avec les structures de données définies dans Polylib. Le travail consistera à rassembler ces bibliothèques : outils de génération des Makefiles, structurer l'arborescence, préparer les outils de génération automatique de la documentation.

Contact : Vincent Loechner.