InstSimplify: Don't simplify gep X, (Y-X) to Y if types differ