[llvm] [InstSimplify] Add additional checks when substituting pointers (PR #125385)

[Nikita Popov via llvm-commits]

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

LGTM, but please add a positive test where both pointers have the same underlying object.

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