[llvm] r314435 - [JumpThreading] Preserve DT and LVI across the pass

Sebastian Pop via llvm-commits llvm-commits at lists.llvm.org
Fri Sep 29 08:49:01 PDT 2017


On Fri, Sep 29, 2017 at 10:29 AM, Philip Reames via llvm-commits
<llvm-commits at lists.llvm.org> wrote:
> Er, have you checked the history here?  I thought this preservation was
> removed relatively recently to avoid a correctness bug.

I think the bug you mention was related to jump-threading not preserving LVI,
and this is because LVI was computed by jump-threading
and LVI relies on correct dominators.
I believe that with the committed patch we addressed all the problems
to preserve both dominators and LVI across jump-threading.
Please let us know if you see other problems.

Thanks,
Sebastian


More information about the llvm-commits mailing list