Towards an SSA based compiler back-end : some interesting properties of SSA and its extensions

par Benoit Boissinot

Thèse de doctorat en Informatique

Sous la direction de Fabrice Rastello.

Soutenue en 2010

à Lyon, École normale supérieure , en partenariat avec Laboratoire de l'informatique du parallélisme (Lyon) (laboratoire) .

  • Titre traduit

    Vers un compilateur avec une phase terminal basé sur SSA : des propriétés intéressantes de la forme SSA et de ses extensions


  • Résumé

    Les contributions de cette thèse s'articulent autour de trois axes, en lien avec la forme SSA. Tout d'abord, nous nous sommes intéressés aux algorithmes d'analyse de vivacité sous la forme SSA. Nous présentons un algorithme rapide, qui s'appuie sur la structure du programme (notamment les boucles) et sur les propriétés spécifiques à la forme SSA. Ensuite nous présentons une représentation dérivée de SSA : la forme Static Single Information (SSI). D'abord, nous clarifions les différentes définitions apparues antérieurement. Puis nous montrons que le graphe d'intersection de la vivacité des variables sous la forme SSI est un graphe d'intervalles. Ceci nous permet de présenter un algorithme de vivacité plus efficace. Finalement dans un dernière partie nous proposons une approche novatrice pour la redescente SSA. Notre méthode, bien que conceptuellement plus simple, nous permet d'obtenir des résultats de qualité équivalente aux méthodes précédentes. .


  • Résumé

    This thesis is articulated around three topics, all of them related to the SSA form. First, we explore the optimization of liveness algorithms when applied to program in SSA form. In particular we present an efficient algorithm, based on the structure of the program (the loops) and based on properties specific to SSA form. Next we present an intermediate representation which is a variant of SSA: the Static Single Information form (SSI). We clarify the different definitions for this form which appeared in the literature, pointing out the points where they diverge. Then we prove that the interference graph (the intersection graph of the live-ranges) of variables under SSI form is an interval graph. Finally, we propose a new approach to the problem of SSA destruction. Our method, while simpler than previous approach, gives us results comparable to more complex and not always proved approaches.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (102 p.)
  • Annexes : Bibliogr. p. [96]-102

Où se trouve cette thèse ?

  • Bibliothèque : Bibliothèque Diderot Sciences (Lyon).
  • Disponible pour le PEB
  • Bibliothèque : Bibliothèque Diderot Sciences (Lyon).
  • Non disponible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.