require_rv64;
P_X_ULOOP(32, 5, {
  pd = ps1 >> sa;
})