|
Funded by the Vicerreitoría de Investigación of the University of A Coruña and the Ministry of Education and Science of Spain 
|
The New Framework for Loop Nest Optimization in GCC: from Prototyping to Evaluation
Sebastian Pop1, Albert Cohen2, Pierre Jouvelot1 and Georges-André Silber1
1 Centre de Recherche en Informatique, Mines de Paris, Fontainebleau, France
2 ALCHEMY Group, INRIA Futurs, Orsay, France
This paper presents a practical prototyping tool for SSA transformations based on PROLOG, and a case study of its applicability using the New Framework for Loop Nest Optimization of the GNU Compiler Collection (GCC). Using this approach, we implemented an induction variable analysis in GCC and performed several experiments for assessing different issues: performance of the generated code, effectiveness of the analyzers and optimizers, compilation overhead, together with possible improvements. This evaluation, based on the SPEC, MiBench and JavaGrande benchmarks on different architectures, suggests that our framework could be of valuable use in production compilers developments such as GCC.
