Technical Report Number
We present an algorithm for incrementally including may-alias information into Static Single Assignment form by computing a sequence of increasingly precise (and correspondingly larger) partial SSA forms. Our experiments show significant speedup of our method over exhaustive use of may-alias information, as optimization problems converge well before most may-aliases are needed.
Cytron, Ron and Gershbein, Reid, "Efficient Accommodation of May-Alias Information in SSA Form" Report Number: WUCS-92-48 (1992). All Computer Science and Engineering Research.