[PATCH] D46201: [DA] Use SCEV to conclude DVEntry::EQ in some cases.

[Philip Pfaffe via Phabricator via llvm-commits]

philip.pfaffe added a comment.

This does not look correct. Consider the `AA.ll` testcase. Your change makes DA claim there is no output dependency on the load in %for.inner, but there is! Carried over the outer loop. So the result should be `input[* =]` (don't quote me on the syntax though).


https://reviews.llvm.org/D46201