[PATCH] D132703: [LAA] Use BTC to rule out dependences if one ptr is loop invariant.

[Michael Kruse via Phabricator via llvm-commits]

Meinersbur added a comment.

It is a bit irritating that the current logic does not consider which direction the pointers are traveling. E.g. `Src = &D[0]` and `Sink = %D[1+ i]` never overlap (with non-negative `i`), but the code seems to consider `Src` before or after `Sink` symmetrically. But that's what the current code does. Changing that as @reames suggested computing memory regions relative to the base pointer might require more some effort, but this smaller change looks fine to me.

If `Src` and `Sink` don't use the same base pointer then `getMinusSCEV(Sink, Src)` will not return anything usable anyway.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D132703/new/

https://reviews.llvm.org/D132703