[PATCH] D34108: [JumpThreading][LVI] Invalidate LVI information after blocks are merged

[Anna Thomas via Phabricator via llvm-commits]

anna created this revision.

After a single predecessor is merged into a basic block, we need to invalidate
the LVI information for the new merged block, when LVI is not provably true for
all of instructions in the new block.
The test cases added show the correct LVI information using the LVI printer
pass.


https://reviews.llvm.org/D34108

Files:
  lib/Transforms/Scalar/JumpThreading.cpp
  test/Analysis/LazyValueAnalysis/lvi-after-jumpthreading.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D34108.102200.patch
Type: text/x-patch
Size: 5150 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20170612/7b143256/attachment.bin>