[llvm] [LAA] Don't require Stride == 1/-1 for inbounds pointer AddRecs nowrap. (PR #113126)

[Nikita Popov via llvm-commits]

https://github.com/nikic commented:

See https://reviews.llvm.org/D149936 for a previous implementation of the same change. We agreed there that this is correct.

The comment could use an update to stop mentioning "unit stride".

It would probably be cleaner to check hasNoUnsignedSignedWrap() instead of isInBounds(), because then this would directly map to the property that LAA is looking for.

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