The StaticSingle Assignment Form:Construction and Applicationto Program Optimizations