Generalize the "trunc(ptrtoint(x)) - trunc(ptrtoint(y)) ->