| | |
Summary: Static Single Information Form
C. Scott Ananian and Martin Rinard
Laboratory for Computer Science
Massachusetts Institute of Technology
Cambridge, MA 02139
fcananian, rinardg@flexc.lcs.mit.edu
Abstract
This paper presents a new intermediate format called Static
Single Information (SSI) form. SSI form generalizes the tra-
ditional concept of a variable de nition to include all infor-
mation de nition points, or points where the analysis may
obtain information about the value in a variable. Informa-
tion de nition points include conditional branches as well
as assignments. Because SSI form provides a new name for
each variable at each information de nition point, it pro-
vides excellent support for both predicated analyses, which
exploit information gained from conditionals, and backwards
data
ow analyses.
We have developed a Java compiler that uses SSI form
as its primary program representation. We have used SSI
|
