Verimag

Détails sur le séminaire

VERIMAG/AMPHI CTL
16 avril 2009 - 14h00
Les représentations SSA et Psi-SSA
par Christophe Guillon de STMicroelectronics



Résumé : La représentation SSA (Static Single Assignment) est fréquemment
utilisée dans les compilateurs récents pour l'implémentation efficace
d'algorithmes d'optimisations. Dans cette représentation, chaque
définition d'une variable, statiquement dans un programme, est
renommée de manière unique, et des opérations PHI sont introduites
pour fusionner des définitions venant de flots de contrôle différents.
La représentation Psi-SSA est une extension de la représentation SSA
qui prend en compte les définitions dans des opérations exécutées
conditionnellement sur un prédicat. Des opérations PSI sont
introduites pour fusionner des définitions exécutées
conditionnellement sur des prédicats.
Cette présentation a pour but de décrire ces deux représentations,
leurs algorithmes de construction et de destruction, ainsi que les
transformations qui peuvent être mises en oeuvre sur ces
représentations.
La représentation Psi-SSA est utilisée dans le compilateur C/C++ de
STMicroelectronics, basé sur le compilateur Open64, pour la famille de
processeurs ST200.



Les tranparents de la presentation.

La présentation sera faite par Christophe Guillon, sur des
transparents faits par Francois de Ferriere.

Contact | Plan du site | Site réalisé avec SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 916246