Abstract de la publi numéro 208

This paper proposes a method to perform static pointer analysis using Abstract Interpretation techniques. The results are used to improve low-level optimizations (address disambiguation is chosen as an example) by transmitting information from the high-level passes of the static analysis all along the compilation process. The static pointer analysis is performed on the Abstract Syntax Tree form of C programs. The efficiency of our method is measured by using the obtained information to improve disambiguation in the load/store queue of a superscalar processor. The results are encouraging since, on a mean, we obtain a speedup of 1.12.