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

Philip Reames via llvm-commits llvm-commits at lists.llvm.org
Fri Feb 26 13:42:23 PST 2016

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.


More information about the llvm-commits mailing list