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

[Florian Hahn via Phabricator via llvm-commits]

fhahn planned changes to this revision.
fhahn added a comment.

In https://reviews.llvm.org/D46201#1123382, @philip.pfaffe wrote:

> 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).


Right, we should only set EQ for levels that with induction variables involved. I will update the patch


https://reviews.llvm.org/D46201