Summary: ELIMINATING SCOPE AND SELECTION
RESTRICTIONS IN COMPILER OPTIMIZATION
PRESENTED TO THE FACULTY
OF PRINCETON UNIVERSITY
IN CANDIDACY FOR THE DEGREE
OF DOCTOR OF PHILOSOPHY
RECOMMENDED FOR ACCEPTANCE
BY THE DEPARTMENT OF
c Copyright by Spyridon Triantafyllis, 2006.
All Rights Reserved
To meet the challenges presented by the performance requirements of modern architectures,
compilers have been augmented with a rich set of aggressive optimizing transformations.
However, the overall compilation model within which these transformations operate has
remained fundamentally unchanged. This model imposes restrictions on these transforma-
tions' application, limiting their effectiveness.