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

Adam Nemet anemet at apple.com
Tue Jun 23 23:07:42 PDT 2015

OK, so I guess we're back to the original idea of using DepCands to limit the search space.

I.e. rather than:

  for each p in Pointers:
    for each r in Pointers after p:

we could do:

  for each set S in DepCands:
    for each pointer p in S:
      for each pointer r in S after p:



More information about the llvm-commits mailing list