Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Static Single Information Form C. Scott Ananian and Martin Rinard

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
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


Source: Ananian, C. Scott - One Laptop Per Child


Collections: Computer Technologies and Information Sciences