Towards an SSA based compiler back-end : some interesting properties of SSA and its extensions
Benoît Boissinot · OpenGrey (Institut de l'Information Scientifique et Technique) · 2010
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..