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

[Nikita Popov via llvm-commits]

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

```suggestion
    if (Start->getType() != OpStart->getType())
```

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