search for: 5d26eddf

...he original SSAPRE, i suggest looking at > http://jcse.kiise.org/posting/2-3/jcse_2-3_31.pdf > > Thanks - I will read through this paper. Chris -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20131103/5d26eddf/attachment.html>

Is there a reason this is better than the modified algorithm created by Ferrante? It looks like yours has as bad a worst case time bound in reality. That is, the algorithm runs in O(sum of the size of all the dominance frontiers). http://www.cs.rice.edu/~keith/Embed/dom.pdf See figure 5. It will only touch nodes actually in the dominance frontier. This is what GCC uses. There are actually real