[llvm] [InstCombine] Retain inbounds when canonicalising add+gep (PR #72244)

[via llvm-commits]

john-brawn-arm wrote:

I ran the tests in add-gep.ll through alive2 and for the positive tests it agreed that retaining the inbounds qualifier is correct:
https://alive2.llvm.org/ce/z/whkdbm
https://alive2.llvm.org/ce/z/o4pssG
https://alive2.llvm.org/ce/z/YQ8Ha6
https://alive2.llvm.org/ce/z/Qtdpr-
and for the negative tests retaining the inbounds qualifier in incorrect:
https://alive2.llvm.org/ce/z/Nfvrc8
https://alive2.llvm.org/ce/z/2JzbfF
https://alive2.llvm.org/ce/z/-59R9m
https://alive2.llvm.org/ce/z/9_oiy8


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