Parameterized Construction of Program Representations for Sparse Dataflow Analyses

Résumé : L'analyse de flot de données, associe en général l'information calculée, aux régions de flot de contrôle. Informellement cette analyse est dite dense, si ces régions sont trop petites, i.e. par exemple restreintes aux points de programme situés entre deux instructions. A l'opposé, cette analyse est dite creuse, si ces régions comprennent de nombreux points consécutifs. Cet article présente une méthode de construction systématique d'une représentation de programme qui permet de manière naturelle l'implémentation d'analyses creuses. Cette forme englobe plusieurs forme existante comme la forme SSA, la forme SSI, ou la forme e-SSA. En particulier, l'algorithme présenté est plus rapide, plus simple et moins gourmand que les méthodes existantes de construction de SSI --Static Single Information. Aussi, la représentation ainsi construite se trouve être isomorphe au graphe d'évaluation creux (Sparse Evaluation Graph --- SEG in English) de Choi et al. dans le cas particulier ou le problème d'analyse de flot de données peut être partitionné par variable. Cela dit, contrairement aux SEG, l'approche ici décrite n'est pas restreinte à cette famille de problèmes.
Type de document :
Rapport
[Research Report] RR-8491, Inria. 2014, pp.27
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00963590
Contributeur : Fabrice Rastello <>
Soumis le : vendredi 21 mars 2014 - 15:08:40
Dernière modification le : mercredi 11 avril 2018 - 01:56:05
Document(s) archivé(s) le : samedi 21 juin 2014 - 11:47:01

Fichiers

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

Identifiants

  • HAL Id : hal-00963590, version 1
  • ARXIV : 1403.5952

Collections

Citation

André Tavares, Benoit Boissinot, Fernando Pereira, Fabrice Rastello. Parameterized Construction of Program Representations for Sparse Dataflow Analyses. [Research Report] RR-8491, Inria. 2014, pp.27. 〈hal-00963590〉

Partager

Métriques

Consultations de la notice

568

Téléchargements de fichiers

521