[PATCH] D34135: [LVI] Add initial result to avoid infinite getValueFromCondition recursion

[Eli Friedman via Phabricator via llvm-commits]

efriedma added a comment.

> If the issue in JumpThreading is determining reachability at all times

Yes, that's the primary issue.  If we had some cheap way to make JumpThreading avoid visiting unreachable blocks, that would be fine. JumpThreading already has code to kill off unreachable blocks, but it only runs once per iteration of the pass (because it takes O(N) time, where N is the number of CFG edges in the function).

If the dynamic DomTree work solves that, that fine, but I'm not sure it makes sense to block this patch indefinitely on that.


https://reviews.llvm.org/D34135