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

[Dave Green via Phabricator via llvm-commits]

dmgreen added a comment.

> Does the fallback add anything?

We need to detect things like this as mustalias (to find the flow dependence), not mayalias (confused):

  for (int i = 0; i < n; i++) {
    A[i + 2] = i;
    ... = A[i];

Unless you mean just do the alias analysis like this:?

  return AA->alias(GetUnderlyingObject(LocA.Ptr), MemoryLocation::UnknownSize, LocA.AATags, GetUnderlyingObject(LocB.Ptr), MemoryLocation::UnknownSize, LocB.AATags)


https://reviews.llvm.org/D42381