search for: fixphi

...if a sigma is already there before it inserts any. > > 3. InsertSSIphi had the test if (DF_BB == DF->end()) twice, one with > break and the other with continue. I kept the continue, which is the > correct one. > > 4. I changed the order in which we rename variables, and now fixphis > will only need to get the case where a predecessor of a phi is > missing, it will not have to change value for any phi anymore, because > I insert the right information on the first time. > > 5. SSI is not pruned anymore. To have it pruned we needed to test if > a PHI or S...