Polyèdres et compilation

Abstract

La premiere utilisation de polyedres pour resoudre un probleme de compilation, la parallelisation automatique de boucles en presence d'appels de procedure, a ete decrite et implemente il y a pres de trente ans. Le modele polyedrique est maintenant reconnu internationalement et est en phase d'integration dans le compilateur GCC, bien que la complexite exponentielle des algorithmes associes ait ete pendant tres longtemps un motif justifiant leur refus pur et simple. L'objectif de cet article est de donner de nombreux exemples d'utilisation des polyedres dans un compilateur optimiseur et de montrer qu'ils permettent de poser des conditions simples pour garantir la legalite de transformations.