[llvm] [LAA] Support different strides & non constant dep distances using SCEV. (PR #88039)

[Florian Hahn via llvm-commits]

https://github.com/fhahn commented:

> I would enjoy more textual description of what every condition is meant to check.

There are multiple places that hand off reasoning to called functions, would you like to have a summary of what the function checks there?  Could do as separate patch, as this would be independent of the current patch?

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