On the complexity of loop fusion

Alain Darte (1)

1 LIP - Laboratoire de l'Informatique du Parallélisme

Loop fusion is a program transformation that combines several loops into one. It is used in parallelizing compilers mainly for increasing the granularity of loops and for improving data reuse. The goal of this report is to study, from a theoretical point of view, several variants of the loop fusion problem -- identifying polynomially solvable cases and NP-complete cases -- and to make the link between these problems and some scheduling problems that arise from completely different areas. We study, among others, the fusion of loops of different types, and the fusion of loops when combined with loop shifting.

La fusion de boucles est une transformation de programme qui combine plusieurs boucles en une seule. Elle est utilisée dans les compilateurs-paralléliseurs, principalement pour augmenter la granularité des boucles et pour améliorer la réutilisation des données. Le but de ce rapport est d'étudier d'un point de vue théorique plusieurs variantes du problème de fusion de boucles -- en identifiant les cas solubles en temps polynomial et les cas NP-complets -- et d'établir le lien entre ces problèmes et quelques problèmes d'ordonnancement provenant de domaines complètement différents. Nous étudions notamment le problème de la fusion de boucles typées ainsi que le problème de la fusion de boucles avec décalage.

Mots clés: Complexity; Loop Distribution; Loop Fusion; Parallelization

Mots clés: Complexité; Distribution de Boucles; Fusion de Boucles; Parallélisation

Domaines: Informatique [cs]

Alain Darte. On the complexity of loop fusion. [Research Report] LIP RR-1998-50, Laboratoire de l'informatique du parallélisme. 1998, 2+17p. ⟨hal-02101854⟩