Abstract

This paper presents a new intermediate format called Static Single Information (SSI) form. SSI form generalizes the traditional concept of a variable definition to include all information definition points, or points where the analysis may obtain information about the value in a variable. Information definition points include conditional branches as well as assignments. Because SSI form provides a new name for each variable at each information definition point, it provides excellent support for both predicated analyses, which exploit information gained from conditionals, and backwards dataflow analyses. We have