Improvements to the Psi-SSA representation

Francois De Ferriere

Modern compiler implementations use the Static Single Assignment representation as a way to efficiently implement optimizing algorithms. However this representation is not well ada…