[PATCH] D36135: [RFC] Make infinite loops available in postdom tree, but do not connect them to thereverse reachable part of the CFG

[Jakub (Kuba) Kuderski via llvm-commits]

Hi Danny,

That sounds super-interesting and I'd really appreciate if you shared some
less formal description, if you have time.

Best,
Kuba

On Fri, Feb 2, 2018 at 12:51 PM, Daniel Berlin <dberlin at dberlin.org> wrote:

> FWIW: I now have a expected linear time algorithm to do non-termination
> sensitive control dependence if we want it.
>
> (I'm too lazy to formalize and publish it, but i did work with some folks
> to verify it would work)
>
> On Fri, Feb 2, 2018 at 9:43 AM, Jakub Kuderski via Phabricator <
> reviews at reviews.llvm.org> wrote:
>
>> kuhar requested changes to this revision.
>> kuhar added a comment.
>> This revision now requires changes to proceed.
>>
>> Marking it so that it doesn't take place in my to-review queue.
>>
>>
>> https://reviews.llvm.org/D36135
>>
>>
>>
>>
>


-- 
Jakub Kuderski
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20180205/2087fa0a/attachment.html>