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

Philip Reames via llvm-commits llvm-commits at lists.llvm.org
Mon Feb 1 16:10:23 PST 2016

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.



-------------- 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>

More information about the llvm-commits mailing list