Loop nest synthesis using the polyhedral library
Hervé Le Verge, Vincent Van Dongen, Doran K. Wilde · 1994
: A new method to synthesis loop nests given a polyhedral domain, the context domain, and the loop nesting order is described. The method is based on functions in the IRISA polyhedral library. Key-words: Polyhedral scanning problem (R'esum'e : tsvp) email: [email protected] Working at CRIM (Centre de recherche Informatique de Montr'eal), 1801 Mc Gill college suite 800, H3A 2N4, Montreal, Canada email: [email protected] work was partially supported by the Esprit Basic Research Action NANA 2, Number 6632 and by NSF Grant No. MIP-910852. Centre National de la Recherche Scientifique Institut National de Recherche en Informatique (URA 227) Universit e de Rennes 1 -- Insa de Rennes et en Automatique -- unit e de recherche de Rennes La synth`ese de nids de boucles avec la biblioth`eque poly'edrique R'esum'e : Une nouvelle m'ethode de synth`ese de nids de boucles est d'ecrite `a partir d'un domaine poly'edrique, d'un domaine contextuel, et de l'ordre sur les boucles imbriqu'ee...