Skip to Main content Skip to Navigation
New interface
Conference papers

Mapping Deviation: A Technique to Adapt or to Guard Loop Transformation Intuitions for Legality

Cédric Bastoul 1, 2, * 
* Corresponding author
1 CAMUS - Compilation pour les Architectures MUlti-coeurS
Inria Nancy - Grand Est, ICube - Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie
Abstract : Parallel architectures are now omnipresent in mainstream electronic devices and exploiting them efficiently is a challenge for all developers. Hence, they need the support of languages, libraries and tools to assist them in the optimization or parallelization task. Compilers can provide a major help by automating this work. However they are very fragile black-boxes. A compiler may take a bad optimization decision because of imprecise heuristics or may turn off an optimization because of imprecise analyses, without providing much control or feedback to the end user. To address this issue, we introduce mapping deviation, a new compiler technique that aims at providing a useful feedback on the semantics of a given program restructuring. Starting from a transformation intuition a user or a compiler wants to apply, our algorithm studies its cor-rectness and can suggest changes or conditions to make it possible rather than being limited to the classical go/no-go answer. This algorithm builds on state-of-the-art polyhedral representation of programs and provides a high flexibility. We present two example applications of this technique: improving semi-automatic optimization tools for programmers and automatically designing runtime tests to check the correctness of a transformation for compilers.
Document type :
Conference papers
Complete list of metadata

Cited literature [43 references]  Display  Hide  Download
Contributor : Cédric Bastoul Connect in order to contact the contributor
Submitted on : Wednesday, February 10, 2016 - 12:45:30 AM
Last modification on : Tuesday, October 25, 2022 - 4:21:36 PM
Long-term archiving on: : Saturday, November 12, 2016 - 3:32:19 PM


Files produced by the author(s)


  • HAL Id : hal-01271998, version 1


Cédric Bastoul. Mapping Deviation: A Technique to Adapt or to Guard Loop Transformation Intuitions for Legality. CC'2016 25th International Conference on Compiler Construction, Mar 2016, Barcelone, Spain. ⟨hal-01271998⟩



Record views


Files downloads