%0 Journal Article %1 Bastoul2005-by %A Bastoul, Cédric %A Feautrier, Paul %D 2005 %J Parallel Process. Lett. %K To_Read %N 01n02 %P 3--17 %T Adjusting a program transformation for legality %V 15 %X Program transformations are one of the most valuable compiler techniques to improve parallelism or data locality. However, restructuring compilers have a hard time coping with data dependences. A typical solution is to focus on program parts where the dependences are simple enough to enable any transformation. For more complex problems is only addressed the question of checking whether a transformation is legal or not. In this paper we propose to go further. Starting from a transformation with no guarantee on legality, we show how we can correct it for dependence satisfaction. Two directions are explored: first when transformation properties can be explicitly expressed and second when they are implicit as in the data locality transformation case. Generating code having the best properties is a direct application of this result.

@article{Bastoul2005-by, abstract = {Program transformations are one of the most valuable compiler techniques to improve parallelism or data locality. However, restructuring compilers have a hard time coping with data dependences. A typical solution is to focus on program parts where the dependences are simple enough to enable any transformation. For more complex problems is only addressed the question of checking whether a transformation is legal or not. In this paper we propose to go further. Starting from a transformation with no guarantee on legality, we show how we can correct it for dependence satisfaction. Two directions are explored: first when transformation properties can be explicitly expressed and second when they are implicit as in the data locality transformation case. Generating code having the best properties is a direct application of this result.}, added-at = {2015-04-11T18:41:09.000+0200}, author = {Bastoul, C\'{e}dric and Feautrier, Paul}, biburl = {https://www.bibsonomy.org/bibtex/2c25e25b1f5da97ce8f7fb0a049c3e308/christophv}, interhash = {7554bf7277638e0db6858da727dcac53}, intrahash = {c25e25b1f5da97ce8f7fb0a049c3e308}, journal = {Parallel Process. Lett.}, keywords = {To_Read}, number = {01n02}, pages = {3--17}, timestamp = {2015-04-11T18:41:09.000+0200}, title = {Adjusting a program transformation for legality}, volume = 15, year = 2005 }