[PATCH] [LAA] Merge memchecks for accesses separated by a constant offset

[Adam Nemet]

In http://reviews.llvm.org/D10386#191741, @sbaranga wrote:

> I've looked at this in more detail, and there is a problem with NoDep dependencies since they are not considered to be either forward or backward.  We need to consider these as well, since otherwise we would not cover common cases (and also wouldn't solve the problem for interleaved accesses).


Good point but let's see first if we can do this without adding "fake" dependence types for these.  Sounds like we should be able to work this out with using *both* DepCands and InterestingDependences:

If the pointers fall in the same set in DepCands and don't have unknown dependence between then we should be able to add them in the same checking pointer group.  Do you agree?


http://reviews.llvm.org/D10386

EMAIL PREFERENCES
  http://reviews.llvm.org/settings/panel/emailpreferences/