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

[Philip Reames via llvm-commits]

preames 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?

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