[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