[PATCH] D42381: [DA] Correct size parameter from dependency analysis to AA

[Hal Finkel via Phabricator via llvm-commits]

hfinkel accepted this revision.
hfinkel added a comment.
This revision is now accepted and ready to land.

In https://reviews.llvm.org/D42381#1061394, @dmgreen wrote:

> But in here:
>
>   for (int i = 0; i < n; i++) {
>     A[i + 2] = i;
>     ... = A[i];
>
>
> the load and store are mayalias. We need the fact that the underlying obects are mustalias (otherwise a number of tests are failing in a way that looks like it's discovering less dependencies, more are confused)


Ah, okay. LGTM.


https://reviews.llvm.org/D42381