Teach instsimplify how to simplify comparisons of pointers which are

constant-offsets of a common base using the generic GEP-walking logic
I added for computing pointer differences in the same situation.

llvm-svn: 153419