Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

From Data to Effects Dependence Graphs: Source-to-Source Transformations for C

Abstract : Program optimizations, transformations and analyses are ap-plied to intermediate representations, which usually do not include ex-plicit variable declarations. This description level is fine for middle-ends and for source-to-source optimizers of simple languages such as For-tran77. However, the C language, especially its C99 standard, is much more flexible. Variable and type declarations can appear almost any-where in source code, and they cannot become implicit in the output code of a C source-to-source compiler. We show that declaration statements can be handled like the other state-ments and with the same algorithms if new effect information is defined and handled by the compiler, such as writing the environment when a variable is declared and reading it when it is accessed. Our solution is useful because no legal transformation is hindered by our new effects and because existing algorithms are either not modified or only slightly modified by filtering upon the effect kind. This extension has been used for several years in our PIPS framework and has remained compatible with its new developments such as offloading compilers for GPUs and coprocessors.
Type de document :
Communication dans un congrès
Liste complète des métadonnées

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

https://hal-mines-paristech.archives-ouvertes.fr/hal-01112308
Contributeur : Claire Medrala <>
Soumis le : lundi 2 février 2015 - 15:59:38
Dernière modification le : mercredi 14 octobre 2020 - 03:52:18
Archivage à long terme le : : mercredi 27 mai 2015 - 15:43:25

Fichier

A-596 (2).pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01112308, version 1

Citation

Nelson Lossing, Pierre Guillou, Mehdi Amini, François Irigoin. From Data to Effects Dependence Graphs: Source-to-Source Transformations for C. the 18th International Workshop on Compilers for Parallel Computing (CPC'15), Jan 2015, Londres, United Kingdom. ⟨hal-01112308⟩

Partager

Métriques

Consultations de la notice

285

Téléchargements de fichiers

96