[PATCH] D35851: [Dominators] Include infinite loops in PostDominatorTree

[Jakub Kuderski via Phabricator via llvm-commits]

kuhar added a comment.

In https://reviews.llvm.org/D35851#829720, @grosser wrote:

> In https://reviews.llvm.org/D35851#829611, @dberlin wrote:
>
> > If you stare at 12.5.3 in that book, which presents a simplified explanation of SSUPRE.
> >
> > If you don't include infinite loops and connect them to exit, the sink points will be wrong.  We have an impl of SSUPRE posted for review, i think you can actually get it to happen for real with it (but i haven't had time to play)
>
>
> Could you point me to the phabricator link.  A quick search for SSUPRE did not bring it up.


I believe that's the one: https://reviews.llvm.org/D29866
http://theory.stanford.edu/~robert/papers/rvi.ps


https://reviews.llvm.org/D35851