LangRef.html says that inttoptr and ptrtoint always use zero-extension