[llvm] [InstCombine] Optimize GEP comparisons with constant offsets (PR #208547)

[Ömer Sinan Ağacan via llvm-commits]

osa1 wrote:

Thanks @dtcxzyw for the alive2 proof (I wasn't sure how to prove this myself in alive2).

Do you mind if I copy the link to the PR description so that it'll be in the commit message?

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