[llvm] [LAA][NFC] Refactor deref no-wrap check; expose broken reverse-loop bounds (PR #211960)

[Florian Hahn via llvm-commits]

https://github.com/fhahn approved this pull request.

LGTM, with some additional suggestions for the naming/comments, thanks

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