add comment

Author: vikramRH

llvm/lib/Analysis/ScalarEvolution.cpp

@@ -14967,6 +14967,7 @@ bool SCEVWrapPredicate::implies(const SCEVPredicate *N,
   if (Start->getType()->isPointerTy() != OpStart->getType()->isPointerTy())
     return false;
 
+  // Reject pointers to different address spaces.
   if (Start->getType()->isPointerTy() && Start->getType() != OpStart->getType())
     return false;