[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...
Size: 8558 bytes
Desc: not available
More information about the llvm-commits