Data Dependence Analysis of Assembly Code

Wolfram Amme 1 Peter Braun Eberhard Zehendner François Thomasset 1
1 A3 - Advanced analysis to code optimization
UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France
Abstract : Determination of data dependences is a task typically performed with high-leve- l language source code in today's optimizing and parallelizing compilers. Very little work has been done in the field of data dependence analysis on assembly language code, but this area will be of growing importance, e.g. for increasing ILP. A central element of a data dependence analysis in this case is a method for memory reference disambiguation which decides whether two memory operations may/must access the same memory location. In this paper we describe a new approach for determination of data dependences in assembly code. Our method is based on a sophisticated algorithm for symbolic value propagation, and it can derive value-based dependences between memory operations instead of just address-based dependences. We have integrated our method into the SALTO system for assembly language optimization. Experimental results show that our approach greatly improves the accuracy of the dependence analysis in many cases.
Type de document :
Rapport
[Research Report] RR-3764, INRIA. 1999
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00072898
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 11:14:05
Dernière modification le : jeudi 9 février 2017 - 15:55:28
Document(s) archivé(s) le : dimanche 4 avril 2010 - 23:27:01

Fichiers

Identifiants

  • HAL Id : inria-00072898, version 1

Collections

Citation

Wolfram Amme, Peter Braun, Eberhard Zehendner, François Thomasset. Data Dependence Analysis of Assembly Code. [Research Report] RR-3764, INRIA. 1999. 〈inria-00072898〉

Partager

Métriques

Consultations de la notice

187

Téléchargements de fichiers

1161