[llvm] [SCEV] Reject comparision of pointers to different address spaces in SCEVWrapPredicate::implies (PR #137935)

[Florian Hahn via llvm-commits]

================
@@ -14967,6 +14967,9 @@ bool SCEVWrapPredicate::implies(const SCEVPredicate *N,
   if (Start->getType()->isPointerTy() != OpStart->getType()->isPointerTy())
     return false;
 
+  if (Start->getType()->isPointerTy() && Start->getType() != OpStart->getType())
----------------
fhahn wrote:

nit: might be worth adding a comment here to say that this rejects pointers in different address spaces?

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