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

[Mikael Holmén via Phabricator via llvm-commits]

uabelho added a comment.

Ok, so now when
 https://reviews.llvm.org/D40146
has landed, can that be used to solve PR33357?

Can we replace the "trivially dead" checks

pred_empty(BB)

in JumpThreadingPass::ProcessBlock and JumpThreadingPass::runImpl with

!DT->isReachableFromEntry(BB)

and problem is solved?

Do we need something more to preserve DT while JumpThreading is running so we can use it? Hopefully something that isn't very costly?

If someone explains how it can be used I'll try to find the time to update the patch.


https://reviews.llvm.org/D34135