Efficiently Building the Gated Single Assignment Form in Codes with Pointers in Modern Optimizing Compilers