Characterization of program dependecies by integer programming technique

Yvon Jégou 1
1 CALCPAR - Calculateurs Parallèles
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
Abstract : Integer programming techniques can be used in the characterization of relations between the variables of programs. Such techniques are considered to be far too expensive to be used in an automatic optimizing tool. We show that the cost of such a technique can be balanced by the quality of the information that can be extracted. Our algorithm transforms sets of equations and constraints that are extracted, by the optimizing compiler from programs and produces a characterization of the solution domain of the system. The result is a restricted domain of possible values for each variable as well as a set of new pertinent constraints. The system is run incrementally from the compiler. Its application domain is not limited to the computation of dependencies. In fact, it can be useful everywhere the decision of the compiler depends on the characterization of relations between variables of the program.
Type de document :
Rapport
[Research Report] RR-2138, INRIA. 1993
Liste complète des métadonnées

https://hal.inria.fr/inria-00074534
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 15:41:53
Dernière modification le : mercredi 16 mai 2018 - 11:23:14
Document(s) archivé(s) le : dimanche 4 avril 2010 - 21:42:17

Fichiers

Identifiants

  • HAL Id : inria-00074534, version 1

Citation

Yvon Jégou. Characterization of program dependecies by integer programming technique. [Research Report] RR-2138, INRIA. 1993. 〈inria-00074534〉

Partager

Métriques

Consultations de la notice

167

Téléchargements de fichiers

59