Modèle Polyédrique Sémantique pour Tableaux et Listes

The polyhedral model is a powerful reasonning framework that permits to optimize intensive computation kernels (piece of mperative code). However in this report we propose to define a “Semantic Polyhedral Model”, a formalisation of the main concepts on which the polyhedral model is built, from the notion of operation to data dependencies. This formulation, which is no longer based on syntactic computations but rather on semantic definitions, enables us to characterize the domain on which the polyhedral domain optimisations will apply. We also propose some extensions on programs with lists and memory sharing.Le modèle polyédrique est un modèle puissant qui permet d’optimiser des noyau de calculs intensifs (des morceaux de code impératif). Dans ce rapport on se propose de définir un « Modèle Polyédrique Sémantique » qui se veut une formalisation des concepts présent dans le modèle original en repartant de la notion d’opération jusqu’au concept de dépendance en données.Cette reformulation qui repose non plus sur des concepts syntaxiques mais sémantiques permet alors de caractériser le spectre d’application du modèle polyédrique. Nous proposons aussi des extensions pour des programmes utilisant des listes et qui font du partage mémoire