[llvm] [LAA] Always require non-wrapping pointers for runtime checks. (PR #127543)

[Florian Hahn via llvm-commits]

fhahn wrote:

> Only skimming this, so if my comment is off base, feel free to ignore.
> 
> I thought the idea of the runtime checks was that we included the scev predicate checks? If the no-overflow was added as a PSE assumption, shouldn't checking that predicate be included in the runtime check itself?

Yep, LoopAccessAnalysis will add NoWrap predicates for the pointer AddRecs we fail to prove no-wrap, so with this change we will have additional wrap checks in those cases. The SCEV predicates are checked before the memory runtime checks.

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