[PATCH] D14476: [LVI] Introduce an intersect operation on lattice values

[Philip Reames via llvm-commits]

reames updated this revision to Diff 46586.
reames added a comment.
Herald added a subscriber: mcrosier.

Updated patch w/Nick's comments -- the key point I was confused about is that the previous code implicitly treated the result on the edge as overdefined without ever explicitly making it so.  Adding that explicit step and then updating the intersect logic makes things far more clear.


http://reviews.llvm.org/D14476

Files:
  lib/Analysis/LazyValueInfo.cpp
  test/Transforms/CorrelatedValuePropagation/conflict.ll
  test/Transforms/JumpThreading/induction.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D14476.46586.patch
Type: text/x-patch
Size: 8558 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20160202/a1ad6726/attachment.bin>