Compiling for EDGE Architectures
An efficient method of computing static single assignment form