[llvm] [LAA] Keep pointer checks on partial analysis (PR #139719)

[Ramkumar Ramachandra via llvm-commits]

artagnon wrote:

See 234cc40a ([LAA] Limit no-overlap check to at least one loop-invariant accesses.): @fhahn has good reason to believe that compile-time will blow up. From the comment:

```cpp
  // Check if we can prove that Sink only accesses memory after Src's end or
  // vice versa. At the moment this is limited to cases where either source or
  // sink are loop invariant to avoid compile-time increases. This is not
  // required for correctness.
```

https://github.com/llvm/llvm-project/pull/139719