Titre : Traiter et filtrer n'importe quoi dans GCC avec MELT

Auteur : Basile Starynkevitch -  CEA LIST

Abstract :

Le compilateur GCC est un énorme logiciel libre patrimonial, qui
accepte depuis peu des greffons (pour faire presque tout). On voudrait
coder ceux-ci dans un langage applicatif de haut niveau, mais hélas en
utiliser une implantation existante est irréaliste. On a donc conçu et
réalisé un dialecte Lispien MELT [Middle End Lisp Translator], traduit
en du C dans le style des internes de GCC. Ce dialecte traite aussi
bien des valeurs que des trucs (gimple ou tree ...) internes à GCC. On
décrit les constructions linguistiques pour adapter le code C généré à
ce style, et tout particulièrement un filtrage (pattern matching)
flexible et adapté aux internes de GCC.