Revisiting Out-of-SSA Translation for Correctness, Code Quality, and Efficiency (original) (raw)

Rapport (Rapport De Recherche) Année : 2008

Résumé

Static single assignment (SSA) form is an intermediate program representation in which many code optimizations can be performed with fast and easy-to-implement algorithms. However, some of these optimizations create situations where the SSA variables arising from the same original variable now have overlapping live ranges. This complicates the translation out of SSA code into standard code. There are three issues to consider: correctness, code quality (elimination of copies), and algorithm efficiency (speed and memory footprint). Briggs et al. proposed patches to correct the initial approach of Cytron et al. A cleaner and more general approach was proposed by Sreedhar et al., along with techniques to reduce the number of generated copies. We propose a new approach based on coalescing and a precise view of interferences, in which correctness and optimizations are separated. Our approach is provably correct and simpler to implement, with no patches or particular cases as in previous solutions, while reducing the number of generated copies. Also, experiments with SPEC CINT2000 show that it is 2x faster and 10x less memory-consuming than the Method~III of Sreedhar et al., which makes it suitable for just-in-time compilation.

Mots clés

Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00349925

Soumis le : lundi 23 novembre 2009-14:42:57

Dernière modification le : lundi 13 octobre 2025-09:44:14

Archivage à long terme le : jeudi 23 septembre 2010-10:56:34

Dates et versions

inria-00349925 , version 1 (05-01-2009)

inria-00349925 , version 2 (23-11-2009)

inria-00349925 , version 3 (22-06-2011)

Licence

Identifiants

Citer

Benoit Boissinot, Alain Darte, Fabrice Rastello, Benoît Dupont de Dinechin, Christophe Guillon. Revisiting Out-of-SSA Translation for Correctness, Code Quality, and Efficiency. [Research Report] 2008, pp.14. ⟨inria-00349925v2⟩

1341 Consultations

9528 Téléchargements