require_rv64;
P_ULOOP(32, {
  pd = ((uint64_t)ps1 - ps2) >> 1;
})