[PATCH] D17174: [LVI] Greatly strengthen inductive reasoning on predicates

[Philip Reames via llvm-commits]

reames added a comment.

Actually, the example is related to this change.  It's still worth taking as is and addressing separately though.  The issue your example highlights is that we're poisoning the cache when encountering %iv.next in the cycle, and then using the cached overdefined rather than recomputing.  We should bypass the cache for the query instruction itself to avoid this problem.


http://reviews.llvm.org/D17174