SSI Revisited

Abstract : The static single information (SSI) form, proposed by Ananian, then in a more general form by Singer, is an extension of the static single assignment (SSA) form. The latter is a well-established compiler intermediate representation that has been successfully used for numerous compiler analysis and optimizations. Several interesting results have also been shown for SSI concerning liveness analysis and representation of live-ranges of variables, which could make SSI appealing for just-in-time compilation. Unfortunately, previous literature on the SSI form is sparse and appears to be partly incorrect. Our paper corrects some of the mistakes that have been made. Our main result is a complete proof that, even for the most general definition of SSI, basic blocks, and thus program points, can be totally ordered so that live-ranges of variables correspond to intervals. This corrects the erroneous proof of Brisk and Sarrafzadeh.
Type de document :
Rapport
[Research Report] LIP 2009-24, 2009, pp.17
Liste complète des métadonnées

Littérature citée [19 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00404236
Contributeur : Benoit Boissinot <>
Soumis le : mercredi 15 juillet 2009 - 17:37:07
Dernière modification le : lundi 2 octobre 2017 - 16:06:02
Document(s) archivé(s) le : lundi 15 octobre 2012 - 15:21:35

Fichier

bboissin-ssi-RR.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00404236, version 1

Collections

Citation

Benoit Boissinot, Philip Brisk, Alain Darte, Fabrice Rastello. SSI Revisited. [Research Report] LIP 2009-24, 2009, pp.17. 〈inria-00404236〉

Partager

Métriques

Consultations de la notice

314

Téléchargements de fichiers

300