CMU-CS-03-128
Computer Science Department
School of Computer Science, Carnegie Mellon University



CMU-CS-03-128

Programmer Specified Pointer Independence

David Koes, Mihai Budiu, Girish Venkataramani, Seth Copen Goldstein

April 2003

CMU-CS-03-128.ps
CMU-CS-03-128.pdf


Keywords: Compilers, pointer analysis, user annotations


Good alias analysis is essential in order to achieve high performance on modern processors, yet interproce-dural analysis does not scale well. We present a source code annotation, #pragma independent, which is a more flexible, intuitive and useful way for the programmer to provide pointer aliasing information than the current C99 restrict keyword. We describe a tool which highlights the most important and most likely correct locations at which a programmer can insert the pragmas. We show that such annotations can be used effectively in compilers to achieve speedups of up to 1.2x.

14 pages


Return to: SCS Technical Report Collection
School of Computer Science homepage

This page maintained by reports@cs.cmu.edu